title: Vaccinating according to the maximal endemic equilibrium achieves herd immunity

abstract: We consider the simple epidemiological SIS model for a general heterogeneous population introduced by Lajmanovich and Yorke (1976) in finite dimension, and its infinite dimensional generalization we introduced in previous works. In this model the basic reproducing number $R_0$ is given by the spectral radius of an integral operator. If $R_0>1$, then there exists a maximal endemic equilibrium. In this very general heterogeneous SIS model, we prove that vaccinating according to the profile of this maximal endemic equilibrium ensures herd immunity. Moreover, this vaccination strategy is critical: the resulting effective reproduction number is exactly equal to one. As an application, we estimate that if $R_0 = 2$ in an age-structured community with mixing rates fitted to social activity, applying this strategy would require approximately 29% less vaccine doses than the strategy which consists in vaccinating uniformly a proportion $1 - 1/R_0$ of the population. From a dynamical systems point of view, we prove that the non-maximality of an equilibrium $g$ is equivalent to its linear instability in the original dynamics, and to the linear instability of the disease-free state in the modified dynamics where we vaccinate according to $g$.


title: Considerations for meaningful sign language machine translation based on glosses

abstract: Automatic sign language processing is gaining popularity in Natural Language Processing (NLP) research (Yin et al., 2021). In machine translation (MT) in particular, sign language translation based on glosses is a prominent approach. In this paper, we review recent works on neural gloss translation. We find that limitations of glosses in general and limitations of specific datasets are not discussed in a transparent manner and that there is no common standard for evaluation. To address these issues, we put forward concrete recommendations for future research on gloss translation. Our suggestions advocate awareness of the inherent limitations of gloss-based approaches, realistic datasets, stronger baselines and convincing evaluation.


title: Active volume: An architecture for efficient fault-tolerant quantum computers with limited non-local connections

abstract: In existing general-purpose architectures for surface-code-based fault-tolerant quantum computers, the cost of a quantum computation is determined by the circuit volume, i.e., the number of qubits multiplied by the number of non-Clifford gates. We introduce an architecture using non-2D-local connections in which the cost does not scale with the number of qubits, and instead only with the number of logical operations. Each logical operation has an associated active volume, such that the cost of a quantum computation can be quantified as a sum of active volumes of all operations. For quantum computations with thousands of logical qubits, the active volume can be orders of magnitude lower than the circuit volume. Importantly, the architecture does not require all-to-all connectivity between N logical qubits. Instead, each logical qubit is connected to O(log N) other sites. As an example, we show that, using the same number of logical qubits, a 2048-bit factoring algorithm can be executed 44 times faster than on a general-purpose architecture without non-local connections. With photonic qubits, long-range connections are available and we show how photonic components can be used to construct a fusion-based active-volume quantum computer.


title: Metric entropy of causal, discrete-time LTI systems

abstract: In [1] it is shown that recurrent neural networks (RNNs) can learn - in a metric entropy optimal manner - discrete time, linear time-invariant (LTI) systems. This is effected by comparing the number of bits needed to encode the approximating RNN to the metric entropy of the class of LTI systems under consideration [2, 3]. The purpose of this note is to provide an elementary self-contained proof of the metric entropy results in [2, 3], in the process of which minor mathematical issues appearing in [2, 3] are cleaned up. These corrections also lead to the correction of a constant in a result in [1] (see Remark 2.5).


title: Progressively Dual Prior Guided Few-shot Semantic Segmentation

abstract: Few-shot semantic segmentation task aims at performing segmentation in query images with a few annotated support samples. Currently, few-shot segmentation methods mainly focus on leveraging foreground information without fully utilizing the rich background information, which could result in wrong activation of foreground-like background regions with the inadaptability to dramatic scene changes of support-query image pairs. Meanwhile, the lack of detail mining mechanism could cause coarse parsing results without some semantic components or edge areas since prototypes have limited ability to cope with large object appearance variance. To tackle these problems, we propose a progressively dual prior guided few-shot semantic segmentation network. Specifically, a dual prior mask generation (DPMG) module is firstly designed to suppress the wrong activation in foreground-background comparison manner by regarding background as assisted refinement information. With dual prior masks refining the location of foreground area, we further propose a progressive semantic detail enrichment (PSDE) module which forces the parsing model to capture the hidden semantic details by iteratively erasing the high-confidence foreground region and activating details in the rest region with a hierarchical structure. The collaboration of DPMG and PSDE formulates a novel few-shot segmentation network that can be learned in an end-to-end manner. Comprehensive experiments on PASCAL-5i and MS COCO powerfully demonstrate that our proposed algorithm achieves the great performance.


title: Holographic dark energy through Kaniadakis entropy in non flat universe

abstract: By extending the standard holographic principle to a cosmological framework and combining the non-flat condition with the Kaniadakis entropy, we construct the non-flat Kaniadakis holographic dark energy model. The model employs Kaniadakis parameter $K$ and a parameter $c$. Derivation of the differential equation for KHDE density parameter to describe the evolutionary behavior of the universe is obtained. Such a differential equation could explain both the open as well as closed universe models. The classification based on matter and dark energy (DE) dominated regimes show that the KHDE scenario may be used to specify the Universe's thermal history and that a quintom regime can be encountered. For open and closed both the cases, we find the expressions for the deceleration parameter and the equation of state (EoS) parameter. Also, by varying the associated parameters, classical stability of the method is established. On considering the curvature to be positive, the universe favors the quintom behavior for substantially smaller values as opposed to the flat condition, when only quintessence is attained for such $K$ values. Additionally, we see a similar behavior while considering the curvature to be negative for such $K$ values. Therefore, adding a little bit of spatial geometry that isn't flat to the KHDE enhances the phenomenology while maintaining $K$ values at lower levels. To validate the model parameters, the most recent $30\;H(z)$ dataset measurements, in the redshift range $0.07 \leq z \leq 1.965$ are utilized. In addition, the distance modulus measurement from the current Union 2.1 data set of type Ia supernovae are employed.


title: On the nonreality of the PBR theorem

abstract: The PBR theorem has been hailed as one of the most important theorems in the foundations of quantum mechanics (QM), , cf. E. Samuel Reich, "Quantum theorem shakes foundations", Nature (2011). Here we argue that the special measurement, used by Pusey et al. to derive the theorem, is nonexisting from the Einsteinian view on QM.


title: Learning to Learn: How to Continuously Teach Humans and Machines

abstract: Curriculum design is a fundamental component of education. For example, when we learn mathematics at school, we build upon our knowledge of addition to learn multiplication. These and other concepts must be mastered before our first algebra lesson, which also reinforces our addition and multiplication skills. Designing a curriculum for teaching either a human or a machine shares the underlying goal of maximizing knowledge transfer from earlier to later tasks, while also minimizing forgetting of learned tasks. Prior research on curriculum design for image classification focuses on the ordering of training examples during a single offline task. Here, we investigate the effect of the order in which multiple distinct tasks are learned in a sequence. We focus on the online class-incremental continual learning setting, where algorithms or humans must learn image classes one at a time during a single pass through a dataset. We find that curriculum consistently influences learning outcomes for humans and for multiple continual machine learning algorithms across several benchmark datasets. We introduce a novel-object recognition dataset for human curriculum learning experiments and observe that curricula that are effective for humans are highly correlated with those that are effective for machines. As an initial step towards automated curriculum design for online class-incremental learning, we propose a novel algorithm, dubbed Curriculum Designer (CD), that designs and ranks curricula based on inter-class feature similarities. We find significant overlap between curricula that are empirically highly effective and those that are highly ranked by our CD. Our study establishes a framework for further research on teaching humans and machines to learn continuously using optimized curricula.


title: Star and Semi-Star Transformations in Fullerene Graphs

abstract: A perfect star packing in a graph G is a spanning subgraph of G whose every component is isomorphic to the star graph $K_{1,3}$. A perfect star packing of a fullerene graph G is of type P0 if all the centers of stars lie on hexagons of G. Many fullerene graphs arise from smaller fullerene graphs by applying some transformations. In this paper, we introduce two transformations for fullerene graphs that have perfect star packing of type P0 and examine some characteristics of the graphs obtained from this transformation.


title: Toward a Flexible Metadata Pipeline for Fish Specimen Images

abstract: Flexible metadata pipelines are crucial for supporting the FAIR data principles. Despite this need, researchers seldom report their approaches for identifying metadata standards and protocols that support optimal flexibility. This paper reports on an initiative targeting the development of a flexible metadata pipeline for a collection containing over 300,000 digital fish specimen images, harvested from multiple data repositories and fish collections. The images and their associated metadata are being used for AI-related scientific research involving automated species identification, segmentation and trait extraction. The paper provides contextual background, followed by the presentation of a four-phased approach involving: 1. Assessment of the Problem, 2. Investigation of Solutions, 3. Implementation, and 4. Refinement. The work is part of the NSF Harnessing the Data Revolution, Biology Guided Neural Networks (NSF/HDR-BGNN) project and the HDR Imageomics Institute. An RDF graph prototype pipeline is presented, followed by a discussion of research implications and conclusion summarizing the results.


title: Discrete symmetries and quantum number conservation

abstract: The algebraic formulation of discrete $P$ and $T$ space-time symmetries in terms of the Dirac algebra is shown to be flawed. This is corrected by relating these symmetries to fermion quantum numbers defined by a $Cl_{3,3}$ sub-algebra of the $Cl_{7,7}$ Clifford Unification algebra. A new {\it Conservation Law} is formulated to the effect that fermion decays and interactions conserve all seven quantum numbers defined by $Cl_{7,7}$. This can be applied in the design of high energy experiments and the qualitative interpretation of their results.


title: Unsupervised Superpixel Generation using Edge-Sparse Embedding

abstract: Partitioning an image into superpixels based on the similarity of pixels with respect to features such as colour or spatial location can significantly reduce data complexity and improve subsequent image processing tasks. Initial algorithms for unsupervised superpixel generation solely relied on local cues without prioritizing significant edges over arbitrary ones. On the other hand, more recent methods based on unsupervised deep learning either fail to properly address the trade-off between superpixel edge adherence and compactness or lack control over the generated number of superpixels. By using random images with strong spatial correlation as input, \ie, blurred noise images, in a non-convolutional image decoder we can reduce the expected number of contrasts and enforce smooth, connected edges in the reconstructed image. We generate edge-sparse pixel embeddings by encoding additional spatial information into the piece-wise smooth activation maps from the decoder's last hidden layer and use a standard clustering algorithm to extract high quality superpixels. Our proposed method reaches state-of-the-art performance on the BSDS500, PASCAL-Context and a microscopy dataset.


title: Introduction and Exemplars of Uncertainty Decomposition

abstract: Uncertainty plays a crucial role in the machine learning field. Both model trustworthiness and performance require the understanding of uncertainty, especially for models used in high-stake applications where errors can cause cataclysmic consequences, such as medical diagnosis and autonomous driving. Accordingly, uncertainty decomposition and quantification have attracted more and more attention in recent years. This short report aims to demystify the notion of uncertainty decomposition through an introduction to two types of uncertainty and several decomposition exemplars, including maximum likelihood estimation, Gaussian processes, deep neural network, and ensemble learning. In the end, cross connections to other topics in this seminar and two conclusions are provided.


title: Meta-analysis of individualized treatment rules via sign-coherency

abstract: Medical treatments tailored to a patient's baseline characteristics hold the potential of improving patient outcomes while reducing negative side effects. Learning individualized treatment rules (ITRs) often requires aggregation of multiple datasets(sites); however, current ITR methodology does not take between-site heterogeneity into account, which can hurt model generalizability when deploying back to each site. To address this problem, we develop a method for individual-level meta-analysis of ITRs, which jointly learns site-specific ITRs while borrowing information about feature sign-coherency via a scientifically-motivated directionality principle. We also develop an adaptive procedure for model tuning, using information criteria tailored to the ITR learning problem. We study the proposed methods through numerical experiments to understand their performance under different levels of between-site heterogeneity and apply the methodology to estimate ITRs in a large multi-center database of electronic health records. This work extends several popular methodologies for estimating ITRs (A-learning, weighted learning) to the multiple-sites setting.


title: On digraphs without onion star immersions

abstract: The $t$-onion star is the digraph obtained from a star with $2t$ leaves by replacing every edge by a triple of arcs, where in $t$ triples we orient two arcs away from the center, and in the remaining $t$ triples we orient two arcs towards the center. Note that the $t$-onion star contains, as an immersion, every digraph on $t$ vertices where each vertex has outdegree at most $2$ and indegree at most $1$, or vice versa. We investigate the structure in digraphs that exclude a fixed onion star as an immersion. The main discovery is that in such digraphs, for some duality statements true in the undirected setting we can prove their directed analogues. More specifically, we show the next two statements. There is a function $f\colon \mathbb{N}\to \mathbb{N}$ satisfying the following: If a digraph $D$ contains a set $X$ of $2t+1$ vertices such that for any $x,y\in X$ there are $f(t)$ arc-disjoint paths from $x$ to $y$, then $D$ contains the $t$-onion star as an immersion. There is a function $g\colon \mathbb{N}\times \mathbb{N}\to \mathbb{N}$ satisfying the following: If $x$ and $y$ is a pair of vertices in a digraph $D$ such that there are at least $g(t,k)$ arc-disjoint paths from $x$ to $y$ and there are at least $g(t,k)$ arc-disjoint paths from $y$ to $x$, then either $D$ contains the $t$-onion star as an immersion, or there is a family of $2k$ pairwise arc-disjoint paths with $k$ paths from $x$ to $y$ and $k$ paths from $y$ to $x$.


title: EVNet: An Explainable Deep Network for Dimension Reduction

abstract: Dimension reduction (DR) is commonly utilized to capture the intrinsic structure and transform high-dimensional data into low-dimensional space while retaining meaningful properties of the original data. It is used in various applications, such as image recognition, single-cell sequencing analysis, and biomarker discovery. However, contemporary parametric-free and parametric DR techniques suffer from several significant shortcomings, such as the inability to preserve global and local features and the pool generalization performance. On the other hand, regarding explainability, it is crucial to comprehend the embedding process, especially the contribution of each part to the embedding process, while understanding how each feature affects the embedding results that identify critical components and help diagnose the embedding process. To address these problems, we have developed a deep neural network method called EVNet, which provides not only excellent performance in structural maintainability but also explainability to the DR therein. EVNet starts with data augmentation and a manifold-based loss function to improve embedding performance. The explanation is based on saliency maps and aims to examine the trained EVNet parameters and contributions of components during the embedding process. The proposed techniques are integrated with a visual interface to help the user to adjust EVNet to achieve better DR performance and explainability. The interactive visual interface makes it easier to illustrate the data features, compare different DR techniques, and investigate DR. An in-depth experimental comparison shows that EVNet consistently outperforms the state-of-the-art methods in both performance measures and explainability.


title: Object Detection in Aerial Imagery

abstract: Object detection in natural images has achieved remarkable results over the years. However, a similar progress has not yet been observed in aerial object detection due to several challenges, such as high resolution images, instances scale variation, class imbalance etc. We show the performance of two-stage, one-stage and attention based object detectors on the iSAID dataset. Furthermore, we describe some modifications and analysis performed for different models - a) In two stage detector: introduced weighted attention based FPN, class balanced sampler and density prediction head. b) In one stage detector: used weighted focal loss and introduced FPN. c) In attention based detector: compare single,multi-scale attention and demonstrate effect of different backbones. Finally, we show a comparative study highlighting the pros and cons of different models in aerial imagery setting.


title: Underground Diagnosis Based on GPR and Learning in the Model Space

abstract: Ground Penetrating Radar (GPR) has been widely used in pipeline detection and underground diagnosis. In practical applications, the characteristics of the GPR data of the detected area and the likely underground anomalous structures could be rarely acknowledged before fully analyzing the obtained GPR data, causing challenges to identify the underground structures or abnormals automatically. In this paper, a GPR B-scan image diagnosis method based on learning in the model space is proposed. The idea of learning in the model space is to use models fitted on parts of data as more stable and parsimonious representations of the data. For the GPR image, 2-Direction Echo State Network (2D-ESN) is proposed to fit the image segments through the next item prediction. By building the connections between the points on the image in both the horizontal and vertical directions, the 2D-ESN regards the GPR image segment as a whole and could effectively capture the dynamic characteristics of the GPR image. And then, semi-supervised and supervised learning methods could be further implemented on the 2D-ESN models for underground diagnosis. Experiments on real-world datasets are conducted, and the results demonstrate the effectiveness of the proposed model.


title: LSA-T: The first continuous Argentinian Sign Language dataset for Sign Language Translation

abstract: Sign language translation (SLT) is an active field of study that encompasses human-computer interaction, computer vision, natural language processing and machine learning. Progress on this field could lead to higher levels of integration of deaf people. This paper presents, to the best of our knowledge, the first continuous Argentinian Sign Language (LSA) dataset. It contains 14,880 sentence level videos of LSA extracted from the CN Sordos YouTube channel with labels and keypoints annotations for each signer. We also present a method for inferring the active signer, a detailed analysis of the characteristics of the dataset, a visualization tool to explore the dataset and a neural SLT model to serve as baseline for future experiments.


title: Discovering Dynamic Patterns from Spatiotemporal Data with Time-Varying Low-Rank Autoregression

abstract: The problem of broad practical interest in spatiotemporal data analysis, i.e., discovering interpretable dynamic patterns from spatiotemporal data, is studied in this paper. Towards this end, we develop a time-varying reduced-rank vector autoregression (VAR) model whose coefficient matrices are parameterized by low-rank tensor factorization. Benefiting from the tensor factorization structure, the proposed model can simultaneously achieve model compression and pattern discovery. In particular, the proposed model allows one to characterize nonstationarity and time-varying system behaviors underlying spatiotemporal data. To evaluate the proposed model, extensive experiments are conducted on various spatiotemporal data representing different nonlinear dynamical systems, including fluid dynamics, sea surface temperature, USA surface temperature, and NYC taxi trips. Experimental results demonstrate the effectiveness of modeling spatiotemporal data and characterizing spatial/temporal patterns with the proposed model. In the spatial context, the spatial patterns can be automatically extracted and intuitively characterized by the spatial modes. In the temporal context, the complex time-varying system behaviors can be revealed by the temporal modes in the proposed model. Thus, our model lays an insightful foundation for understanding complex spatiotemporal data in real-world dynamical systems. The adapted datasets and Python implementation are publicly available at https://github.com/xinychen/vars.


title: Assessing the physical reality of Milky Way open cluster candidates

abstract: We report results on the analysis of eleven new Milky Way open cluster candidates, recently discovered from the detection of stellar overdensities in the Vector Point diagram, by employing extreme deconvolution Gaussian mixture models. We treated these objects as real open clusters and derived their fundamental properties with their associated intrinsic dispersions by exploring the parameter space through the minimization of likelihood functions on generated synthetic colour-magnitude diagrams (CMDs). The intrinsic dispersions of the resulting ages turned out to be much larger than those usually obtained for open clusters. Indeed, they resemble those of ages and metallicities of composite star field populations. We also traced their stellar number density profiles and mass functions, derived their total masses, Jacobi and tidal radii, which helped us as criteria while assessing their physical nature as real open clusters. Because the eleven candidates show a clear gathering of stars in the proper motion plane and some hint for similar distances, we concluded that they are possibly sparse groups of stars.


title: Quantile-based MANOVA: A new tool for inferring multivariate data in factorial designs

abstract: Multivariate analysis-of-variance (MANOVA) is a well established tool to examine multivariate endpoints. While classical approaches depend on restrictive assumptions like normality and homogeneity, there is a recent trend to more general and flexible proce dures. In this paper, we proceed on this path, but do not follow the typical mean-focused perspective. Instead we consider general quantiles, in particular the median, for a more robust multivariate analysis. The resulting methodology is applicable for all kind of factorial designs and shown to be asymptotically valid. Our theoretical results are complemented by an extensive simulation study for small and moderate sample sizes. An illustrative data analysis is also presented.


title: Cell Biomechanical Modeling Based on Membrane Theory with Considering Speed Effect of Microinjection

abstract: As an effective method to deliver external materials into biological cells, microinjection has been widely applied in the biomedical field. However, the cognition of cell mechanical property is still inadequate, which greatly limits the efficiency and success rate of injection. Thus, a new rate-dependent mechanical model based on membrane theory is proposed for the first time. In this model, an analytical equilibrium equation between the injection force and cell deformation is established by considering the speed effect of microinjection. Different from the traditional membrane-theory-based model, the elastic coefficient of the constitutive material in the proposed model is modified as a function of the injection velocity and acceleration, effectively simulating the influence of speeds on the mechanical responses and providing a more generalized and practical model. Using this model, other mechanical responses at different speeds can be also accurately predicted, including the distribution of membrane tension and stress and the deformed shape. To verify the validity of the model, numerical simulations and experiments are carried out. The results show that the proposed model can match the real mechanical responses well at different injection speeds.


title: MAPPING: Model Average with Post-processing for Stroke Lesion Segmentation

abstract: Accurate stroke lesion segmentation plays a pivotal role in stroke rehabilitation research, to provide lesion shape and size information which can be used for quantification of the extent of the stroke and to assess treatment efficacy. Recently, automatic segmentation algorithms using deep learning techniques have been developed and achieved promising results. In this report, we present our stroke lesion segmentation model based on nnU-Net framework, and apply it to the Anatomical Tracings of Lesions After Stroke (ATLAS v2.0) dataset. Furthermore, we describe an effective post-processing strategy that can improve some segmentation metrics. Our method took the first place in the 2022 MICCAI ATLAS Challenge with an average Dice score of 0.6667, Lesion-wise F1 score of 0.5643, Simple Lesion Count score of 4.5367, and Volume Difference score of 8804.9102. Our code and trained model weights are publicly available at https://github.com/King-HAW/ATLAS-R2-Docker-Submission.


title: An Optimized Multi-Layer Resource Management in Mobile Edge Computing Networks: A Joint Computation Offloading and Caching Solution

abstract: Nowadays, data caching is being used as a high-speed data storage layer in mobile edge computing networks employing flow control methodologies at an exponential rate. This study shows how to discover the best architecture for backhaul networks with caching capability using a distributed offloading technique. This article used a continuous power flow analysis to achieve the optimum load constraints, wherein the power of macro base stations with various caching capacities is supplied by either an intelligent grid network or renewable energy systems. This work proposes ubiquitous connectivity between users at the cell edge and offloading the macro cells so as to provide features the macro cell itself cannot cope with, such as extreme changes in the required user data rate and energy efficiency. The offloading framework is then reformed into a neural weighted framework that considers convergence and Lyapunov instability requirements of mobile-edge computing under Karush Kuhn Tucker optimization restrictions in order to get accurate solutions. The cell-layer performance is analyzed in the boundary and in the center point of the cells. The analytical and simulation results show that the suggested method outperforms other energy-saving techniques. Also, compared to other solutions studied in the literature, the proposed approach shows a two to three times increase in both the throughput of the cell edge users and the aggregate throughput per cluster.


title: Strong localizations of the Kobayashi distance

abstract: Recently, the visibility property of Kobayashi (almost) geodesics has been used to provide localizations of the Kobayashi distance. In this note, we provide sufficient growth conditions for the Kobayashi distance to obtain new strong multiplicative and additive localization results. Curiously, the conditions we provide are deeply related to the behaviour of the Kobayashi geodesics.


title: The Christoffel-Darboux kernel for topological data analysis

abstract: Persistent homology has been widely used to study the topology of point clouds in $\mathbb{R}^n$. Standard approaches are very sensitive to outliers, and their computational complexity depends badly on the number of data points. In this paper we introduce a novel persistence module for a point cloud using the theory of Christoffel-Darboux kernels. This module is robust to (statistical) outliers in the data, and can be computed in time linear in the number of data points. We illustrate the benefits and limitations of our new module with various numerical examples in $\mathbb{R}^n$, for $n=1, 2, 3$. Our work expands upon recent applications of Christoffel-Darboux kernels in the context of statistical data analysis and geometric inference (Lasserre, Pauwels and Putinar, 2022). There, these kernels are used to construct a polynomial whose level sets capture the geometry of a point cloud in a precise sense. We show that the persistent homology associated to the sublevel set filtration of this polynomial is stable with respect to the Wasserstein distance. Moreover, we show that the persistent homology of this filtration can be computed in singly exponential time in the ambient dimension $n$, using a recent algorithm of Basu & Karisani (2022).


title: Gibbs Manifolds

abstract: Gibbs manifolds are images of affine spaces of symmetric matrices under the exponential map. They arise in applications such as optimization, statistics and quantum~physics, where they extend the ubiquitous role of toric geometry. The Gibbs variety is the zero locus of all polynomials that vanish on the Gibbs manifold. We compute these polynomials and show that the Gibbs variety is low-dimensional. Our theory is applied to a wide range of scenarios, including matrix pencils and quantum optimal transport.

categories: math.OC math-ph math.AG math.MP quant-ph


title: FIREBall-2: flight preparation of a proven balloon payload to image the intermediate redshift circumgalactic medium

abstract: FIREBall-2 is a stratospheric balloon-borne 1-m telescope coupled to a UV multi-object slit spectrograph designed to map the faint UV emission surrounding z~0.7 galaxies and quasars through their Lyman-alpha line emission. This spectro-imager had its first launch on September 22nd 2018 out of Ft. Sumner, NM, USA. Because the balloon was punctured, the flight was abruptly interrupted. Instead of the nominal 8 hours above 32 km altitude, the instrument could only perform science acquisition for 45 minutes at this altitude. In addition, the shape of the deflated balloon, combined with a full Moon, revealed a severe off-axis scattered light path, directly into the UV science detector and about 100 times larger than expected. In preparation for the next flight, and in addition to describing FIREBall-2's upgrade, this paper discusses the exposure time calculator (ETC) that has been designed to analyze the instrument's optimal performance (explore the instrument's limitations and subtle trade-offs).


title: Central Limit Theorems via Analytic Combinatorics in Several Variables

abstract: The field of analytic combinatorics is dedicated to the creation of effective techniques to study the large-scale behaviour of combinatorial objects. Although classical results in analytic combinatorics are mainly concerned with univariate generating functions, over the last two decades a theory of analytic combinatorics in several variables (ACSV) has been developed to study the asymptotic behaviour of multivariate sequences. In this work we survey ACSV from a probabilistic perspective, illustrating how its most advanced methods provide efficient algorithms to derive limit theorems, and comparing the results to past work deriving combinatorial limit theorems. Using the results of ACSV, we provide a SageMath package that can automatically compute (and rigorously verify) limit theorems for a large variety of combinatorial generating functions. To illustrate the techniques involved, we also establish explicit local central limit theorems for a family of combinatorial classes whose generating functions are linear in the variables tracking each parameter. Applications covered by this result include the distribution of cycles in certain restricted permutations (proving a limit theorem stated as a conjecture in recent work of Chung et al.), integer compositions, and $n$-colour compositions with varying restrictions and values tracked. Key to establishing these explicit results in arbitrary dimension is an interesting symbolic determinant, which we compute by conjecturing and then proving an appropriate $LU$-factorization. It is our hope that this work provides readers a blueprint to apply the powerful tools of ACSV to prove central limit theorems in their own work, making them more accessible to combinatorialists, probabilists, and those in adjacent fields.


title: Time delay in the quadrupole field of a body at rest in 2PN approximation

abstract: The time delay of a light signal in the quadrupole field of a body at rest is determined in the second post-Newtonian (2PN) approximation in harmonic coordinates. For grazing light rays at Sun, Jupiter, and Saturn the 2PN quadrupole effect in time delay amounts up to 0.004, 0.14, and 0.04 pico-second, respectively. These values are compared with the time delay in the first post-Newtonian (1PN and 1.5PN) approximation, where it turns out that only the first eight mass-multipoles and the spin-dipole of these massive bodies are required for a given goal accuracy of 0.001 pico-second in time-delay measurements in the solar system. In addition, the spin-hexapole of Jupiter is required on that scale of accuracy.


title: Automated Routing of Droplets for DNA Storage on a Digital Microfluidics Platform

abstract: Technologies for sequencing (reading) and synthesizing (writing) DNA have progressed on a Moore's law-like trajectory over the last three decades. This has motivated the idea of using DNA for data storage. Theoretically, DNA-based storage systems could out-compete all existing forms of archival storage. However, a large gap exists between what is theoretically possible in terms of read and write speeds and what has been practically demonstrated with DNA. This paper introduces a novel approach to DNA storage, with automated assembly on a digital microfluidic biochip. This technology offers unprecedented parallelism in DNA assembly using a dual library of "symbols" and "linkers". An algorithmic solution is discussed for the problem of managing droplet traffic on the device, with prioritized three-dimensional "A*" routing. An overview is given of the software that was developed for routing a large number of droplets in parallel on the device, minimizing congestion and maximizing throughput.


title: FastCycle: A Message Sharing Framework for Modular Automated Driving Systems

abstract: Automated Driving Systems (ADS) have rapidly evolved in recent years and their architecture becomes sophisticated. Ensuring robustness, reliability and safety of performance is particularly important. The main challenge in building an ADS is the ability to meet certain stringent performance requirements in terms of both making safe operational decisions and finishing processing in real-time. Middlewares play a crucial role to handle these requirements in ADS. The way middlewares share data between the different system components has a direct impact on the overall performance, particularly the latency overhead. To this end, this paper presents FastCycle as a lightweight multi-threaded zero-copy messaging broker to meet the requirements of a high fidelity ADS in terms of modularity, real-time performance and security. We discuss the architecture and the main features of the proposed framework. Evaluation of the proposed framework based on standard metrics in comparison with popular middlewares used in robotics and automated driving shows the improved performance of our framework. The implementation of FastCycle and the associated comparisons with other frameworks are open sourced.


title: How nanoporous silicon-polypyrrole hybrids flex their muscles in aqueous electrolytes: In operando high-resolution x-ray diffraction and electron tomography-based micromechanical computer simulations

abstract: Macroscopic strain experiments revealed that Si crystals traversed by parallel, channel-like nanopores functionalized with the muscle polymer polypyrrole exhibit large and reversible electrochemo-mechanical actuation in aqueous electrolytes. On the microscopical level this system still bears open questions, as to how the electrochemical expansion and contraction of PPy acts on to np-Si pore walls and how the collective motorics of the pore array emerges from the single-nanopore behavior. An analysis of in operando X-ray diffraction experiments with micromechanical finite element simulations, based on a 3D reconstruction of the nanoporous medium by TEM tomography, shows that the in-plane mechanical response is dominantly isotropic despite the anisotropic elasticity of the single crystalline host matrix. However, the structural anisotropy originating from the parallel alignment of the nanopores lead to significant differences between the in- and out-of-plane electromechanical response. This response is not describable by a simple 2D arrangement of parallel cylindrical channels. Rather, the simulations highlight that the dendritic shape of the Si pore walls, including pore connections between the main channels, cause complex, inhomogeneous stress-strain fields in the crystalline host. Time-dependent X-ray scattering on the dynamics of the actuator properties hint towards the importance of diffusion limitations, plastic deformation and creep in the nanoconfined polymer upon (counter-)ion adsorption and desorption, the very pore-scale processes causing the macroscopic electroactuation. From a more general perspective, our study demonstrates that the combination of TEM tomography-based micromechanical modeling with high-resolution X-ray scattering experiments provides a powerful approach for in operando analysis of nanoporous composites from the single-nanopore up to the porous-medium scale.

categories: cond-mat.mtrl-sci cond-mat.mes-hall cond-mat.soft physics.app-ph physics.chem-ph


title: Synchronization transition of the second-order Kuramoto model on lattices

abstract: The second-order Kuramoto equation describes synchronization of coupled oscillators with inertia, which occur in power grids for example. Contrary to the first-order Kuramoto equation it's synchronization transition behavior is much less known. In case of Gaussian self-frequencies it is discontinuous, in contrast to the continuous transition for the first-order Kuramoto equation. Here we investigate this transition on large 2d and 3d lattices and provide numerical evidence of hybrid phase transitions, that the oscillator phases $\theta_i$, exhibit a crossover, while the frequency spread a real phase transition in 3d. Thus a lower critical dimension $d_l^O=2$ is expected for the frequencies and $d_l^R=4$ for the phases like in the massless case. We provide numerical estimates for the critical exponents, finding that the frequency spread decays as $\sim t^{-d/2}$ in case of aligned initial state of the phases in agreement with the linear approximation. However in 3d, in the case of initially random distribution of $\theta_i$, we find a faster decay, characterized by $\sim t^{-1.8(1)}$ as the consequence of enhanced nonlinearities which appear by the random phase fluctuations.


title: Physics-informed Neural Networks with Unknown Measurement Noise

abstract: Physics-informed neural networks (PINNs) constitute a flexible approach to both finding solutions and identifying parameters of partial differential equations. Most works on the topic assume noiseless data, or data contaminated with weak Gaussian noise. We show that the standard PINN framework breaks down in case of non-Gaussian noise. We give a way of resolving this fundamental issue and we propose to jointly train an energy-based model (EBM) to learn the correct noise distribution. We illustrate the improved performance of our approach using multiple examples.


title: From Markov Processes to Semimartingales

abstract: In the development of stochastic integration and the theory of semimartingales, Markov processes have been a constant source of inspiration. Despite this historical interweaving, it turned out that semimartingales should be considered the `natural' class of processes for many concepts first developed in the Markovian framework. As an example, stochastic differential equations have been invented as a tool to study Markov processes but nowadays are treated separately in the literature. Moreover, the killing of processes has been known for decades before it made its way to the theory of semimartingales most recently. We describe, when these and other important concepts have been invented in the theory of Markov processes and how they were transferred to semimartingales. Further topics include the symbol, characteristics and generalizations of Blumenthal-Getoor indices. Some additional comments on relations between Markov processes and semimartingales round out the paper.


title: RF Properties and Their Variations in a 3D Printed Klystron Circuit and Cavities

abstract: Presently, the manufacturing of active RF devices like klystrons is dominated by expensive and time consuming cycles of machining and brazing. In this article we characterize the RF properties of X-band klystron cavities and an integrated circuit manufactured with a novel additive manufacturing process. Parts are 3D printed in 316L stainless steel with direct metal laser sintering, electroplated in copper, and brazed in one simple braze cycle. Standalone test cavities and integrated circuit cavities were measured throughout the manufacturing process. Un-tuned cavity frequency varies by less than 5% of intended frequency, and Q factors reach above 1200. A tuning study was performed, and unoptimized tuning pins achieved a tuning range of 138 MHz without compromising Q. Klystron system performance was simulated with as-built cavity parameters and realistic tuning. Together, these results show promise that this process can be used to cheaply and quickly manufacture a new generation of highly integrated high power vacuum devices.


title: Proactive Robot Assistance via Spatio-Temporal Object Modeling

abstract: Proactive robot assistance enables a robot to anticipate and provide for a user's needs without being explicitly asked. We formulate proactive assistance as the problem of the robot anticipating temporal patterns of object movements associated with everyday user routines, and proactively assisting the user by placing objects to adapt the environment to their needs. We introduce a generative graph neural network to learn a unified spatio-temporal predictive model of object dynamics from temporal sequences of object arrangements. We additionally contribute the Household Object Movements from Everyday Routines (HOMER) dataset, which tracks household objects associated with human activities of daily living across 50+ days for five simulated households. Our model outperforms the leading baseline in predicting object movement, correctly predicting locations for 11.1% more objects and wrongly predicting locations for 11.5% fewer objects used by the human user.


title: ToothInpaintor: Tooth Inpainting from Partial 3D Dental Model and 2D Panoramic Image

abstract: In orthodontic treatment, a full tooth model consisting of both the crown and root is indispensable in making the treatment plan. However, acquiring tooth root information to obtain the full tooth model from CBCT images is sometimes restricted due to the massive radiation of CBCT scanning. Thus, reconstructing the full tooth shape from the ready-to-use input, e.g., the partial intra-oral scan and the 2D panoramic image, is an applicable and valuable solution. In this paper, we propose a neural network, called ToothInpaintor, that takes as input a partial 3D dental model and a 2D panoramic image and reconstructs the full tooth model with high-quality root(s). Technically, we utilize the implicit representation for both the 3D and 2D inputs, and learn a latent space of the full tooth shapes. At test time, given an input, we successfully project it to the learned latent space via neural optimization to obtain the full tooth model conditioned on the input. To help find the robust projection, a novel adversarial learning module is exploited in our pipeline. We extensively evaluate our method on a dataset collected from real-world clinics. The evaluation, comparison, and comprehensive ablation studies demonstrate that our approach produces accurate complete tooth models robustly and outperforms the state-of-the-art methods.


title: Detection efficiency measurement and operational tests of the X-Arapuca for the first module of DUNE Far Detector

abstract: The Deep Underground Neutrino Experiment (DUNE) is a dual-site experiment for long-baseline neutrino oscillation studies, able to resolve the neutrino mass hierarchy and measure $\delta_{CP}$. DUNE will also have sensitivity to supernova neutrinos and to processes beyond the Standard Model, such as nucleon decay searches. The Far Detector (FD) will consist of four liquid argon TPC (17.5 kt total mass) with systems for the detection of charge and scintillation light produced by an ionization event. The charge detection system permits both calorimetry and position determination. In addition, the photon-detection system (PDS) enhances the detector capabilities for all DUNE physics drivers. The PDS of the first FD module consists of light collector modules placed in the inactive space between the innermost wire planes of the TPC anode. The light collectors, the so-called X-ARAPUCAS, are functionally a light trap that captures wavelength-shifted photons inside boxes with highly reflective internal surfaces where they are guided to Silicon Photo-multipliers (SiPM) by wavelength-shifting (WLS) bars. Functionality and operational tests of the X-ARAPUCAS to be installed in ProtoDUNE-SP phase II (FD DUNE prototype at the scale 1:20), as well as the measurement of their absolute detection efficiency is reported in this publication.


title: Semantic Table Detection with LayoutLMv3

abstract: This paper presents an application of the LayoutLMv3 model for semantic table detection on financial documents from the IIIT-AR-13K dataset. The motivation behind this paper's experiment was that LayoutLMv3's official paper had no results for table detection using semantic information. We concluded that our approach did not improve the model's table detection capabilities, for which we can give several possible reasons. Either the model's weights were unsuitable for our purpose, or we needed to invest more time in optimising the model's hyperparameters. It is also possible that semantic information does not improve a model's table detection accuracy.


title: Object Permanence in Object Detection Leveraging Temporal Priors at Inference Time

abstract: Object permanence is the concept that objects do not suddenly disappear in the physical world. Humans understand this concept at young ages and know that another person is still there, even though it is temporarily occluded. Neural networks currently often struggle with this challenge. Thus, we introduce explicit object permanence into two stage detection approaches drawing inspiration from particle filters. At the core, our detector uses the predictions of previous frames as additional proposals for the current one at inference time. Experiments confirm the feedback loop improving detection performance by a up to 10.3 mAP with little computational overhead. Our approach is suited to extend two-stage detectors for stabilized and reliable detections even under heavy occlusion. Additionally, the ability to apply our method without retraining an existing model promises wide application in real-world tasks.


title: Fast non-Hermitian Toeplitz eigenvalue computations, joining matrix-less algorithms and FDE approximation matrices

abstract: The present work is devoted to the eigenvalue asymptotic expansion of the Toeplitz matrix $T_{n}(a)$ whose generating function $a$ is complex valued and has a power singularity at one point. As a consequence, $T_{n}(a)$ is non-Hermitian and we know that the eigenvalue computation is a non-trivial task in the non-Hermitian setting for large sizes. We follow the work of Bogoya, B\"ottcher, Grudsky, and Maximenko and deduce a complete asymptotic expansion for the eigenvalues. After that, we apply matrix-less algorithms, in the spirit of the work by Ekstr\"om, Furci, Garoni, Serra-Capizzano et al, for computing those eigenvalues. Since the inner and extreme eigenvalues have different asymptotic behaviors, we worked on them independently, and combined the results to produce a high precision global numerical and matrix-less algorithm. The numerical results are very precise and the computational cost of the proposed algorithms is independent of the size of the considered matrices for each eigenvalue, which implies a linear cost when all the spectrum is computed. From the viewpoint of real world applications, we emphasize that the matrix class under consideration includes the matrices stemming from the numerical approximation of fractional diffusion equations. In the final conclusion section a concise discussion on the matter and few open problems are presented.


title: Continuous gravitational wave emission from neutron stars with pinned superfluids in the core

abstract: We investigate the effect of a pinned superfluid component on the gravitational wave emission of a rotating neutron star. Pinning of superfluid vortices to the flux-tubes in the outer core (where the protons are likely to form a type-II superconductor) is a possible mechanism to sustain long-lived and non-axisymmetric neutron currents in the interior, that break the axial symmetry of the unperturbed hydrostatic configuration. We consider pinning-induced perturbations to a stationary corotating configuration, and determine upper limits on the strength of gravitational wave emission due to the pinning of vortices with a strong toroidal magnetic field of the kind predicted by recent magneto-hydrodynamic simulations of neutron star interiors. We estimate the contributions to gravitational wave emission from both the mass and current multipole generated by the pinned vorticity in the outer core, and find that the mass quadrupole can be large enough for gravitational waves to provide the dominant spindown torque in millisecond pulsars.


title: Self Supervised Clustering of Traffic Scenes using Graph Representations

abstract: Examining graphs for similarity is a well-known challenge, but one that is mandatory for grouping graphs together. We present a data-driven method to cluster traffic scenes that is self-supervised, i.e. without manual labelling. We leverage the semantic scene graph model to create a generic graph embedding of the traffic scene, which is then mapped to a low-dimensional embedding space using a Siamese network, in which clustering is performed. In the training process of our novel approach, we augment existing traffic scenes in the Cartesian space to generate positive similarity samples. This allows us to overcome the challenge of reconstructing a graph and at the same time obtain a representation to describe the similarity of traffic scenes. We could show, that the resulting clusters possess common semantic characteristics. The approach was evaluated on the INTERACTION dataset.


title: Uncovering the Dynamics of the Wealth Distribution

abstract: I introduce a new way of decomposing the evolution of the wealth distribution using a simple continuous time stochastic model, which separates the effects of mobility, savings, labor income, rates of return, demography, inheritance, and assortative mating. Based on two results from stochastic calculus, I show that this decomposition is nonparametrically identified and can be estimated based solely on repeated cross-sections of the data. I estimate it in the United States since 1962 using historical data on income, wealth, and demography. I find that the main drivers of the rise of the top 1% wealth share since the 1980s have been, in decreasing level of importance, higher savings at the top, higher rates of return on wealth (essentially in the form of capital gains), and higher labor income inequality. I then use the model to study the effects of wealth taxation. I derive simple formulas for how the tax base reacts to the net-of-tax rate in the long run, which nest insights from several existing models, and can be calibrated using estimable elasticities. In the benchmark calibration, the revenue-maximizing wealth tax rate at the top is high (around 12%), but the revenue collected from the tax is much lower than in the static case.


title: Localized Shortcut Removal

abstract: Machine learning is a data-driven field, and the quality of the underlying datasets plays a crucial role in learning success. However, high performance on held-out test data does not necessarily indicate that a model generalizes or learns anything meaningful. This is often due to the existence of machine learning shortcuts - features in the data that are predictive but unrelated to the problem at hand. To address this issue for datasets where the shortcuts are smaller and more localized than true features, we propose a novel approach to detect and remove them. We use an adversarially trained lens to detect and eliminate highly predictive but semantically unconnected clues in images. In our experiments on both synthetic and real-world data, we show that our proposed approach reliably identifies and neutralizes such shortcuts without causing degradation of model performance on clean data. We believe that our approach can lead to more meaningful and generalizable machine learning models, especially in scenarios where the quality of the underlying datasets is crucial.


title: Intrinsic anomalous Hall effect across the magnetic phase transition of a spin-orbit-coupled Bose-Einstein condensate

abstract: We study theoretically the zero temperature intrinsic anomalous Hall effect in an experimentally realized 2D spin-orbit coupled Bose gas. For anisotropic atomic interactions and as the spin-orbit coupling strength increases, the system undergoes a ground state phase transition from states exhibiting a total in-plane magnetization to those with a perpendicular magnetization along the $z$ direction. We show that finite frequency, or ac, Hall responses exist in both phases in the absence of an artificial magnetic field, as a result of finite inter-band transitions. However, the characteristics of the anomalous Hall responses are drastically different in these two phases because of the different symmetries preserved by the corresponding ground states. In particular, we find a finite dc Hall conductivity in one phase but not the other. The underlying physical reasons for this are analyzed further by exploring relations of the dc Hall conductivity to the system's chirality and Berry curvatures of the Bloch bands. Finally, we discuss an experimental method of probing the anomalous Hall effect in trapped systems.


title: Gravitational-wave cosmology with dark sirens: state of the art and perspectives for 3G detectors

abstract: A joint fit of the mass and redshift distributions of the population of Binary Black Holes detected with Gravitational-Wave observations can be used to obtain constraints on the Hubble parameter and on deviations from General Relativity in the propagation of Gravitational Waves. We first present applications of this technique to the latest catalog of Gravitational-Wave events, focusing on the comparison of different parametrizations for the source-frame mass distribution of Black Hole Binaries. We find that models with more than one feature are favourite by the data, as suggested by population studies, even when varying the cosmology. Then, we discuss perspectives for the use of this technique with third generation Gravitational-Wave detectors, exploiting the recently developed Fisher information matrix Python code GWFAST.


title: Composite Score for Anomaly Detection in Imbalanced Real-World Industrial Dataset

abstract: In recent years, the industrial sector has evolved towards its fourth revolution. The quality control domain is particularly interested in advanced machine learning for computer vision anomaly detection. Nevertheless, several challenges have to be faced, including imbalanced datasets, the image complexity, and the zero-false-negative (ZFN) constraint to guarantee the high-quality requirement. This paper illustrates a use case for an industrial partner, where Printed Circuit Board Assembly (PCBA) images are first reconstructed with a Vector Quantized Generative Adversarial Network (VQGAN) trained on normal products. Then, several multi-level metrics are extracted on a few normal and abnormal images, highlighting anomalies through reconstruction differences. Finally, a classifer is trained to build a composite anomaly score thanks to the metrics extracted. This three-step approach is performed on the public MVTec-AD datasets and on the partner PCBA dataset, where it achieves a regular accuracy of 95.69% and 87.93% under the ZFN constraint.


title: Statistical Shape Analysis of Shape Graphs with Applications to Retinal Blood-Vessel Networks

abstract: This paper provides theoretical and computational developments in statistical shape analysis of shape graphs, and demonstrates them using analysis of complex data from retinal blood-vessel (RBV) networks. The shape graphs are represented by a set of nodes and edges (planar articulated curves) connecting some of these nodes. The goals are to utilize shapes of edges and connectivities and locations of nodes to: (1) characterize full shapes, (2) quantify shape differences, and (3) model statistical variability. We develop a mathematical representation, elastic Riemannian shape metrics, and associated tools for such statistical analysis. Specifically, we derive tools for shape graph registration, geodesics, summaries, and shape modeling. Geodesics are convenient for visualizing optimal deformations, and PCA helps in dimension reduction and statistical modeling. One key challenge here is comparisons of shape graphs with vastly different complexities (in number of nodes and edges). This paper introduces a novel multi-scale representation of shape graphs to handle this challenge. Using the notions of (1) ``effective resistance" to cluster nodes and (2) elastic shape averaging of edge curves, one can reduce shape graph complexity while maintaining overall structures. This way, we can compare shape graphs by bringing them to similar complexity. We demonstrate these ideas on Retinal Blood Vessel (RBV) networks taken from the STARE and DRIVE databases.


title: How to Prepare for the Next Pandemic -- Investigation of Correlation Between Food Prices and COVID-19 From Global and Local Perspectives

abstract: The coronavirus disease (COVID-19) has caused enormous disruptions to not only the United States, but also the global economy. Due to the pandemic, issues in the supply chain and concerns about food shortage drove up the food prices. According to the U.S. Bureau of Labor Statistics, the prices for food increased 4.1% and 3.7% over the year ended in August 2020 and August 2021, respectively, while the amount of annual increase in the food prices prior to the COVID-19 pandemic is less than 2.0%. Previous studies show that such kinds of exogenous disasters, including the 2011 Tohoku Earthquake, 9/11 terrorist attacks, and major infectious diseases, and the resulted unusual food prices often led to subsequent changes in people's consumption behaviors. We hypothesize that the COVID-19 pandemic causes food price changes and the price changes alter people's grocery shopping behaviors as well. To thoroughly explore this, we formulate our analysis from two different perspectives, by collecting data both globally, from China, Japan, United Kingdom, and United States, and locally, from different groups of people inside the US. In particular, we analyze the trends between food prices and COVID-19 as well as between food prices and spending, aiming to find out their correlations and the lessons for preparing the next pandemic.


title: DQ-DETR: Dual Query Detection Transformer for Phrase Extraction and Grounding

abstract: In this paper, we study the problem of visual grounding by considering both phrase extraction and grounding (PEG). In contrast to the previous phrase-known-at-test setting, PEG requires a model to extract phrases from text and locate objects from images simultaneously, which is a more practical setting in real applications. As phrase extraction can be regarded as a $1$D text segmentation problem, we formulate PEG as a dual detection problem and propose a novel DQ-DETR model, which introduces dual queries to probe different features from image and text for object prediction and phrase mask prediction. Each pair of dual queries is designed to have shared positional parts but different content parts. Such a design effectively alleviates the difficulty of modality alignment between image and text (in contrast to a single query design) and empowers Transformer decoder to leverage phrase mask-guided attention to improve performance. To evaluate the performance of PEG, we also propose a new metric CMAP (cross-modal average precision), analogous to the AP metric in object detection. The new metric overcomes the ambiguity of Recall@1 in many-box-to-one-phrase cases in phrase grounding. As a result, our PEG pre-trained DQ-DETR establishes new state-of-the-art results on all visual grounding benchmarks with a ResNet-101 backbone. For example, it achieves $91.04\%$ and $83.51\%$ in terms of recall rate on RefCOCO testA and testB with a ResNet-101 backbone. Code will be availabl at \url{https://github.com/IDEA-Research/DQ-DETR}.


title: Finite groups with small automizers for every abelian subgroup of non prime power order

abstract: In this paper, we discuss about finite groups in which, CGH = NGH, for every abelian subgroup H of non prime power order. Also, we classify all such nilpotent and minimal non nilpotent groups.


title: ReCo: Region-Controlled Text-to-Image Generation

abstract: Recently, large-scale text-to-image (T2I) models have shown impressive performance in generating high-fidelity images, but with limited controllability, e.g., precisely specifying the content in a specific region with a free-form text description. In this paper, we propose an effective technique for such regional control in T2I generation. We augment T2I models' inputs with an extra set of position tokens, which represent the quantized spatial coordinates. Each region is specified by four position tokens to represent the top-left and bottom-right corners, followed by an open-ended natural language regional description. Then, we fine-tune a pre-trained T2I model with such new input interface. Our model, dubbed as ReCo (Region-Controlled T2I), enables the region control for arbitrary objects described by open-ended regional texts rather than by object labels from a constrained category set. Empirically, ReCo achieves better image quality than the T2I model strengthened by positional words (FID: 8.82->7.36, SceneFID: 15.54->6.51 on COCO), together with objects being more accurately placed, amounting to a 20.40% region classification accuracy improvement on COCO. Furthermore, we demonstrate that ReCo can better control the object count, spatial relationship, and region attributes such as color/size, with the free-form regional description. Human evaluation on PaintSkill shows that ReCo is +19.28% and +17.21% more accurate in generating images with correct object count and spatial relationship than the T2I model.


title: Assessing long-term medical remanufacturing emissions with Life Cycle Analysis

abstract: The unsustainable take-make-dispose linear economy prevalent in healthcare contributes 4.4% to global Greenhouse Gas emissions. A popular but not yet widely-embraced solution is to remanufacture common single-use medical devices like electrophysiology catheters, significantly extending their lifetimes by enabling a circular life cycle. To support the adoption of catheter remanufacturing, we propose a comprehensive emission framework and carry out a holistic evaluation of virgin manufactured and remanufactured carbon emissions with Life Cycle Analysis (LCA). We followed ISO modelling standards and NHS reporting guidelines to ensure industry relevance. We conclude that remanufacturing may lead to a reduction of up to 60% per turn (-1.92 kg CO2eq, burden-free) and 57% per life (-1.87 kg CO2eq, burdened). Our extensive sensitivity analysis and industry-informed buy-back scheme simulation revealed long-term emission reductions of up to 48% per remanufactured catheter life (-1.73 kg CO2eq). Our comprehensive results encourage the adoption of electrophysiology catheter remanufacturing, and highlight the importance of estimating long-term emissions in addition to traditional emission metrics.


title: Symmetric Formulas for Products of Permutations

abstract: We study the formula complexity of the word problem $\mathsf{Word}_{S_n,k} : \{0,1\}^{kn^2} \to \{0,1\}$: given $n$-by-$n$ permutation matrices $M_1,\dots,M_k$, compute the $(1,1)$-entry of the matrix product $M_1\cdots M_k$. An important feature of this function is that it is invariant under action of $S_n^{k-1}$ given by \[ (\pi_1,\dots,\pi_{k-1})(M_1,\dots,M_k) = (M_1\pi_1^{-1},\pi_1M_2\pi_2^{-1},\dots,\pi_{k-2}M_{k-1}\pi_{k-1}^{-1},\pi_{k-1}M_k). \] This symmetry is also exhibited in the smallest known unbounded fan-in $\{\mathsf{AND},\mathsf{OR},\mathsf{NOT}\}$-formulas for $\mathsf{Word}_{S_n,k}$, which have size $n^{O(\log k)}$. In this paper we prove a matching $n^{\Omega(\log k)}$ lower bound for $S_n^{k-1}$-invariant formulas computing $\mathsf{Word}_{S_n,k}$. This result is motivated by the fact that a similar lower bound for unrestricted (non-invariant) formulas would separate complexity classes $\mathsf{NC}^1$ and $\mathsf{Logspace}$. Our more general main theorem gives a nearly tight $n^{d(k^{1/d}-1)}$ lower bound on the $G^{k-1}$-invariant depth-$d$ $\{\mathsf{MAJ},\mathsf{AND},\mathsf{OR},\mathsf{NOT}\}$-formula size of $\mathsf{Word}_{G,k}$ for any finite simple group $G$ whose minimum permutation representation has degree~$n$. We also give nearly tight lower bounds on the $G^{k-1}$-invariant depth-$d$ $\{\mathsf{AND},\mathsf{OR},\mathsf{NOT}\}$-formula size in the case where $G$ is an abelian group.


title: G^3: Geolocation via Guidebook Grounding

abstract: We demonstrate how language can improve geolocation: the task of predicting the location where an image was taken. Here we study explicit knowledge from human-written guidebooks that describe the salient and class-discriminative visual features humans use for geolocation. We propose the task of Geolocation via Guidebook Grounding that uses a dataset of StreetView images from a diverse set of locations and an associated textual guidebook for GeoGuessr, a popular interactive geolocation game. Our approach predicts a country for each image by attending over the clues automatically extracted from the guidebook. Supervising attention with country-level pseudo labels achieves the best performance. Our approach substantially outperforms a state-of-the-art image-only geolocation method, with an improvement of over 5% in Top-1 accuracy. Our dataset and code can be found at https://github.com/g-luo/geolocation_via_guidebook_grounding.


title: Zero-Order Optimization for Gaussian Process-based Model Predictive Control

abstract: By enabling constraint-aware online model adaptation, model predictive control using Gaussian process (GP) regression has exhibited impressive performance in real-world applications and received considerable attention in the learning-based control community. Yet, solving the resulting optimal control problem in real-time generally remains a major challenge, due to i) the increased number of augmented states in the optimization problem, as well as ii) computationally expensive evaluations of the posterior mean and covariance and their respective derivatives. To tackle these challenges, we employ i) a tailored Jacobian approximation in a sequential quadratic programming (SQP) approach, and combine it with ii) a parallelizable GP inference and automatic differentiation framework. Reducing the numerical complexity with respect to the state dimension $n_x$ for each SQP iteration from $\mathcal{O}(n_x^6)$ to $\mathcal{O}(n_x^3)$, and accelerating GP evaluations on a graphical processing unit, the proposed algorithm computes suboptimal, yet feasible solutions at drastically reduced computation times and exhibits favorable local convergence properties. Numerical experiments verify the scaling properties and investigate the runtime distribution across different parts of the algorithm.


title: An improvement of the Farrell-Jones conjecture for localising invariants

abstract: The Farrell-Jones conjecture for lax monoidal finitary localising invariants was recently proved by Bunke-Kasprowski-Winges. In this short note, making use of the theory of noncommutative motives, we prove that the lax monoidal assumption is not necessary.


title: Differentiable Dictionary Search: Integrating Linear Mixing with Deep Non-Linear Modelling for Audio Source Separation

abstract: This paper describes several improvements to a new method for signal decomposition that we recently formulated under the name of Differentiable Dictionary Search (DDS). The fundamental idea of DDS is to exploit a class of powerful deep invertible density estimators called normalizing flows, to model the dictionary in a linear decomposition method such as NMF, effectively creating a bijection between the space of dictionary elements and the associated probability space, allowing a differentiable search through the dictionary space, guided by the estimated densities. As the initial formulation was a proof of concept with some practical limitations, we will present several steps towards making it scalable, hoping to improve both the computational complexity of the method and its signal decomposition capabilities. As a testbed for experimental evaluation, we choose the task of frame-level piano transcription, where the signal is to be decomposed into sources whose activity is attributed to individual piano notes. To highlight the impact of improved non-linear modelling of sources, we compare variants of our method to a linear overcomplete NMF baseline. Experimental results will show that even in the absence of additional constraints, our models produce increasingly sparse and precise decompositions, according to two pertinent evaluation measures.


title: Multi-User Privacy Mechanism Design with Non-zero Leakage

abstract: A privacy mechanism design problem is studied through the lens of information theory. In this work, an agent observes useful data $Y=(Y_1,...,Y_N)$ that is correlated with private data $X=(X_1,...,X_N)$ which is assumed to be also accessible by the agent. Here, we consider $K$ users where user $i$ demands a sub-vector of $Y$, denoted by $C_{i}$. The agent wishes to disclose $C_{i}$ to user $i$. Since $C_{i}$ is correlated with $X$ it can not be disclosed directly. A privacy mechanism is designed to generate disclosed data $U$ which maximizes a linear combinations of the users utilities while satisfying a bounded privacy constraint in terms of mutual information. In a similar work it has been assumed that $X_i$ is a deterministic function of $Y_i$, however in this work we let $X_i$ and $Y_i$ be arbitrarily correlated. First, an upper bound on the privacy-utility trade-off is obtained by using a specific transformation, Functional Representation Lemma and Strong Functional Representaion Lemma, then we show that the upper bound can be decomposed into $N$ parallel problems. Next, lower bounds on privacy-utility trade-off are derived using Functional Representation Lemma and Strong Functional Representaion Lemma. The upper bound is tight within a constant and the lower bounds assert that the disclosed data is independent of all $\{X_j\}_{i=1}^N$ except one which we allocate the maximum allowed leakage to it. Finally, the obtained bounds are studied in special cases.


title: Physics-informed neural network methods based on Miura transformations and discovery of new localized wave solutions

abstract: We put forth two physics-informed neural network (PINN) schemes based on Miura transformations and the novelty of this research is the incorporation of Miura transformation constraints into neural networks to solve nonlinear PDEs. The most noteworthy advantage of our method is that we can simply exploit the initial-boundary data of a solution of a certain nonlinear equation to obtain the data-driven solution of another evolution equation with the aid of PINNs and during the process, the Miura transformation plays an indispensable role of a bridge between solutions of two separate equations. It is tailored to the inverse process of the Miura transformation and can overcome the difficulties in solving solutions based on the implicit expression. Moreover, two schemes are applied to perform abundant computational experiments to effectively reproduce dynamic behaviors of solutions for the well-known KdV equation and mKdV equation. Significantly, new data-driven solutions are successfully simulated and one of the most important results is the discovery of a new localized wave solution: kink-bell type solution of the defocusing mKdV equation and it has not been previously observed and reported to our knowledge. It provides a possibility for new types of numerical solutions by fully leveraging the many-to-one relationship between solutions before and after Miura transformations. Performance comparisons in different cases as well as advantages and disadvantages analysis of two schemes are also discussed. On the basis of the performance of two schemes and no free lunch theorem, they both have their own merits and thus more appropriate one should be chosen according to specific cases.


title: A Study of Representational Properties of Unsupervised Anomaly Detection in Brain MRI

abstract: Anomaly detection in MRI is of high clinical value in imaging and diagnosis. Unsupervised methods for anomaly detection provide interesting formulations based on reconstruction or latent embedding, offering a way to observe properties related to factorization. We study four existing modeling methods, and report our empirical observations using simple data science tools, to seek outcomes from the perspective of factorization as it would be most relevant to the task of unsupervised anomaly detection, considering the case of brain structural MRI. Our study indicates that anomaly detection algorithms that exhibit factorization related properties are well capacitated with delineatory capabilities to distinguish between normal and anomaly data. We have validated our observations in multiple anomaly and normal datasets.


title: Hermitian Lie algebroids over analytic spaces

abstract: We develop some important properties of complex Riemannian geometry for complex algebraic varieties and study Hermitian metrics on analytic spaces. Then we define Hermitian metrics on a holomorphic Lie algebroid and consider the associated characteristic foliation with canonically induced inner product. Moreover, we consider an example of a Hermitian Lie algebroid $\mathcal{L}$ and describe the induced inner product on a special $\mathcal{L}$-invariant subspace. Later, we consider hypercohomologies associated with leaf spaces, leaves and some $\mathcal{L}$-invariant subspaces for the characteristic foliation $\mathfrak{a}(\mathcal{L})$ of a holomorphic Lie algebroid $\mathfrak{a}: \mathcal{L} \rightarrow \mathcal{T}_X$ over a Hermitian manifold $X$. Also, we extend the notion equivariant de Rham cohommology in the analytic case.


title: Evolution of an attractive polarized Fermi gas: From a Fermi liquid of polarons to a non-Fermi liquid at the Fulde-Ferrell-Larkin-Ovchinnikov quantum critical point

abstract: The evolution of an attractive polarized two-component Fermi gas at zero temperature is analyzed as its polarization is progressively decreased, from full polarization (corresponding to the polaronic limit) down to a critical polarization when superfluidity sets in. This critical polarization and the nature of the associated superfluid instability are determined within a fully self-consistent $t$-matrix approach implemented exactly at zero temperature. In this way, the polarization-vs-coupling phase diagram at zero temperature is constructed throughout the whole BCS-BEC crossover. Depending on the coupling strength of the inter-particle interaction between the two components, the superfluid instability can be either toward a Fulde-Ferrel-Larkin-Ovchinnikov (FFLO) phase or toward a standard polarized BCS phase. The evolution with polarization of the quasi-particle parameters in the normal Fermi gas turns out to be notably different in the two cases. When the instability is toward a polarized BCS superfluid, quasi-particles in the proximity of the two Fermi surfaces remain well defined for all polarizations. When the instability is instead toward an FFLO superfluid, precursor effects become apparent upon approaching the FFLO quantum critical point (QCP), where the quasi-particle residues vanish and the effective masses diverge. This behavior leads to a complete breakdown of the quasi-particle picture characteristic of a Fermi liquid, similarly to what occurs in heavy-fermion materials at an antiferromagnetic QCP. At unitarity, the system is further investigated at finite temperature, making it possible to identify a non-Fermi liquid region in the temperature-vs-polarization phase diagram associated with the underlying FFLO QCP.


title: Anisotropic strain variations during the confined growth of Au nanowires

abstract: The electrochemical growth of Au nanowires in a template of nano-porous anodic aluminum oxide was investigated in situ by means of grazing-incidence transmission small- and wide-angle x-ray scattering (GTSAXS and GTWAXS), x-ray fluorescence (XRF) and 2-dimensional surface optical reflectance (2D-SOR). The XRF and the overall intensity of the GTWAXS patterns as a function of time were used to monitor the progress of the electrodeposition. Furthermore, we extracted powder diffraction patterns in the direction of growth and in the direction of confinement to follow the evolution of the direction-dependent strain. Quite rapidly after the beginning of the electrodeposition, the strain became tensile in the vertical direction and compressive in the horizontal direction, which showed that the lattice deformation of the nanostructures can be artificially varied by an appropriate choice of the deposition time. By alternating sequences of electrodeposition to sequences of rest, we observed fluctuations of the lattice parameter in the direction of growth, attributed to stress caused by electromigration.. Furthermore, the porous domain size calculated from the GTSAXS patterns was used to monitor how homogeneously the pores were filled.


title: A model-free approach to continuous-time finance

abstract: We present a non-probabilistic, pathwise approach to continuous-time finance based on causal functional calculus. We introduce a definition of self-financing, free from any integration concept and show that the value of a self-financing portfolio is a pathwise integral (every self-financing strategy is a gradient) and that generic domain of functional calculus is inherently arbitrage-free. We then consider the problem of hedging a path-dependent payoff across a generic set of scenarios. We apply the transition principle of Isaacs in differential games and obtain a verification theorem for the optimal solution, which is characterised by a fully non-linear path-dependent equation. For the Asian option, we obtain explicit solution.


title: YZR-net : Self-supervised Hidden representations Invariant to Transformations for profanity detection

abstract: On current {\it e-}learning platforms, live classes are an important tool that provides students with an opportunity to get more involved while learning new concepts. In such classes, the element of interaction with teachers and fellow peers helps in removing learning silos and gives each student a chance to experience some aspects relevant to offline learning in this era of virtual classes. One common way of interaction in a class is through the chats / messaging framework, where the teacher can broadcast messages as well as get instant feedback from the students in the live class. This freedom of interaction is a crucial aspect for any student's learning growth but misuse of it can have serious repercussions. Some miscreants use this framework to send profane messages which can have a negative impact on other students as well as the teacher of the class. These rare but high impact situations obviate the need for automatic detection mechanisms that prevent the posting of such chats on any platform. In this work we develop YZR-Net which is a self-supervised framework that is able to robustly detect profane words used in a chat even if the student tries to add clever modifications to fool the system. The matching mechanism on token / word level allows us to maintain a compact as well as dynamic profane vocabulary which can be updated without retraining the underlying model. Our profanity detection framework is language independent and can handle abuses in both English as well as its transliterated counterpart Hinglish (Hindi language words written in English).


title: The Stack: 3 TB of permissively licensed source code

abstract: Large Language Models (LLMs) play an ever-increasing role in the field of Artificial Intelligence (AI)--not only for natural language processing but also for code understanding and generation. To stimulate open and responsible research on LLMs for code, we introduce The Stack, a 3.1 TB dataset consisting of permissively licensed source code in 30 programming languages. We describe how we collect the full dataset, construct a permissively licensed subset, present a data governance plan, discuss limitations, and show promising results on text2code benchmarks by training 350M-parameter decoders on different Python subsets. We find that (1) near-deduplicating the data significantly boosts performance across all experiments, and (2) it is possible to match previously reported HumanEval and MBPP performance using only permissively licensed data. We make the dataset available at https://hf.co/BigCode, provide a tool called "Am I in The Stack" (https://hf.co/spaces/bigcode/in-the-stack) for developers to search The Stack for copies of their code, and provide a process for code to be removed from the dataset by following the instructions at https://www.bigcode-project.org/docs/about/the-stack/.


title: Revisiting thermodynamic topologies of black holes

abstract: In the generalized off-shell free energy landscape, black holes can be treated as thermodynamic topological defects. The local topological properties of the spacetime can be reflected by the winding numbers at the defects, while the global topological nature can be classified by the topological number which is the sum of all local winding numbers. We propose that the winding numbers can be calculated via the residues of isolated one-order pole points of characterized functions constructed from the off-shell free energy. Using the residue method, we show that the topologies of black holes can be divided into three classes with the topological numbers being -1, 0, and 1, respectively, being consistent with the results obtained in [Phys. Rev. Lett. 129, 191101 (2022)] by using the topological current method. Moreover, we point out that standard defect points, generation and annihilation points, and critical points can be distinguished by coefficients of the Laurent series of the off-shell characterized function at those singular points.


title: Calculation of one-loop integrals for four-photon amplitudes by functional reduction method

abstract: The method for functional reduction of Feynman integrals, proposed by the author, is used to calculate one-loop integrals corresponding to diagrams with four external lines. The integrals that emerge from amplitudes for the scattering of light by light, the photon splitting in an external field and Delbr\"{u}ck scattering are considered. For master integrals in $d$ - dimensions, new analytic results are presented. For $d=4$, these integrals are given by compact expressions in terms of logarithms and dilogarithms.


title: Sentiment analysis and opinion mining on E-commerce site

abstract: Sentiment analysis or opinion mining help to illustrate the phrase NLP (Natural Language Processing). Sentiment analysis has been the most significant topic in recent years. The goal of this study is to solve the sentiment polarity classification challenges in sentiment analysis. A broad technique for categorizing sentiment opposition is presented, along with comprehensive process explanations. With the results of the analysis, both sentence-level classification and review-level categorization are conducted. Finally, we discuss our plans for future sentiment analysis research.


title: Maximal hypersurface in a D-dimensional dynamical spacetime

abstract: In this article, we set up a variational problem to arrive at the equation of the maximal hypersurface in the interior of a spherically symmetric evolving trapped region. In the first part of the article, we present the Lagrangian and the corresponding Euler-Lagrange equations that maximize the interior volume of a trapped region that is formed dynamically due to infalling matter in D-dimensions, with and without the cosmological constant. In the second part, we explore the properties of special radii, which we call Reinhart radii, that play a crucial role in approximating the maximal interior volume of a black hole. We derive a formula to locate these Reinhart radii in terms of coordinate invariants like area radius, principle values of the energy-momentum tensor, Misner-Sharp mass, and cosmological constant. Based on this formula, we estimate the location of Reinhart radii in various scenarios: (a) the case of static BTZ black holes in (2 + 1)-dimensions and for the Schwarzschild, Schwarzschild-de Sitter, and Schwarzschild-anti-de Sitter black holes in D-dimensions. We plot the location of the Reinhart radii in relation to the event horizon and cosmological horizon in a static D-dimensional scenario, (b) cosmological case: we prove that these Reinhart radii do not exist for homogeneous evolving dust for the zero and negative cosmological constant but exist in the presence of positive cosmological constant when the scale factor is greater than a critical value. We also show the relation between these Reinhart radii and Kodama vectors.


title: Graph Convolutional Network for Multi-Target Multi-Camera Vehicle Tracking

abstract: This letter focuses on the task of Multi-Target Multi-Camera vehicle tracking. We propose to associate single-camera trajectories into multi-camera global trajectories by training a Graph Convolutional Network. Our approach simultaneously processes all cameras providing a global solution, and it is also robust to large cameras unsynchronizations. Furthermore, we design a new loss function to deal with class imbalance. Our proposal outperforms the related work showing better generalization and without requiring ad-hoc manual annotations or thresholds, unlike compared approaches.


title: On the Rellich eigendecomposition of para-Hermitian matrices and the sign characteristics of $*$-palindromic matrix polynomials

abstract: We study the eigendecompositions of para-Hermitian matrices $H(z)$, that is, matrix-valued functions that are analytic and Hermitian on the unit circle $S^1 \subset \mathbb C$. In particular, we fill existing gaps in the literature and prove the existence of a decomposition $H(z)=U(z)D(z)U(z)^P$ where, for all $z \in S^1$, $U(z)$ is unitary, $U(z)^P=U(z)^*$ is its conjugate transpose, and $D(z)$ is real diagonal; moreover, $U(z)$ and $D(z)$ are analytic functions of $w=z^{1/N}$ for some positive integer $N$, and $U(z)^P$ is the so-called para-Hermitian conjugate of $U(z)$. This generalizes the celebrated theorem of Rellich for matrix-valued functions that are analytic and Hermitian on the real line. We also show that there also exists a decomposition $H(z)=V(z)C(z)V(z)^P$ where $C(z)$ is pseudo-circulant, $V(z)$ is unitary and both are analytic in $z$. We argue that, in fact, a version of Rellich's theorem can be stated for matrix-valued function that are analytic and Hermitian on any line or any circle on the complex plane. Moreover, we extend these results to para-Hermitian matrices whose entries are Puiseux series (that is, on the unit circle they are analytic in $w$ but possibly not in $z$). Finally, we discuss the implications of our results on the singular value decomposition of a matrix whose entries are $S^1$-analytic functions of $w$, and on the sign characteristics associated with unimodular eigenvalues of $*$-palindromic matrix polynomials.


title: Geometry of holomorphic invariant strongly pseudoconvex complex Finsler metrics on the classical domains

abstract: In this paper, a class of holomorphic invariant metrics is introduced on the irreducible classical domains of type I-IV, which are strongly pseudoconvex complex Finsler metrics in the strict sense of M. Abate and G. Patrizio[2]. These metrics are of particular interest in several complex variables since they are holomorphic invariant complex Finsler metrics found so far in literature which enjoy good regularity as well as strong pseudoconvexity and can be explicitly expressed so as to admit differential geometric studies. They are, however, not necessarily Hermitian quadratic as that of the Bergman metrics. These metrics are explicitly constructed via deformation of the corresponding Bergman metric on the irreducible classical domains of type I-IV, respectively, and they are all proved to be complete Kahler-Berwald metrics. They enjoy very similar curvature properties as that of the Bergman metric on the irreducible classical domains, namely their holomorphic sectional curvatures are bounded between two negative constants, and their holomorphic bisectional curvatures are always non positive and bounded below by negative constants, respectively. From the viewpoint of complex analysis, these metrics are analogues of Bergman metrics in complex Finsler geometry which do not necessarily have Hermitian quadratic restrictions in the viewpoint of S.-S. Chern[7].


title: Index and winding numbers on $T^2/\mathbb{Z}_N$ orbifolds with magnetic flux

abstract: We analyze the number of independent chiral zero modes and the winding numbers at the fixed points on $T^2/{\mathbb{Z}}_N$ ($N=2,3,4,6$) orbifolds with magnetic flux. In the case of $N=2$, we derive the index formula $n_{+}-n_{-}=M/2+(-V_{+}+V_{-})/4=M/2-V_{+}/2+1$ by using the trace formula, where $n_{\pm}$ are the numbers of the $\pm$ chiral zero modes and $V_{\pm}$ are the sums of the winding numbers at the fixed points on $T^2/{\mathbb{Z}}_2$. We also obtain the formula $n_{+}-n_{-}=M/N+(-V_{+}+V_{-})/(2N)=M/N-V_{+}/N+1$ for $N=3,4,6$ under an assumption.


title: Autonomous Assessment of Demonstration Sufficiency via Bayesian Inverse Reinforcement Learning

abstract: We examine the problem of determining demonstration sufficiency: how can a robot self-assess whether it has received enough demonstrations from an expert to ensure a desired level of performance? To address this problem, we propose a novel self-assessment approach based on Bayesian inverse reinforcement learning and value-at-risk, enabling learning-from-demonstration ("LfD") robots to compute high-confidence bounds on their performance and use these bounds to determine when they have a sufficient number of demonstrations. We propose and evaluate two definitions of sufficiency: (1) normalized expected value difference, which measures regret with respect to the human's unobserved reward function, and (2) percent improvement over a baseline policy. We demonstrate how to formulate high-confidence bounds on both of these metrics. We evaluate our approach in simulation for both discrete and continuous state-space domains and illustrate the feasibility of developing a robotic system that can accurately evaluate demonstration sufficiency. We also show that the robot can utilize active learning in asking for demonstrations from specific states which results in fewer demos needed for the robot to still maintain high confidence in its policy. Finally, via a user study, we show that our approach successfully enables robots to perform at users' desired performance levels, without needing too many or perfectly optimal demonstrations.


title: Underdetermined Polarimetric Measurements for Mueller Extrapolations

abstract: Polarized light-matter interactions are mathematically described by the Mueller matrix (MM)-valued polarized bidirectional reflectance distribution function (pBRDF). A pBRDF is parameterized by 16 degrees of freedom that depend upon scattering geometry. A triple degenerate (TD) MM assumption reduces the degrees of freedom to eight: one for reflectance, six for non-depolarizing properties, and one for depolarization. When the non-depolarizing dominant process is known or assumed (e.g. Fresnel reflection), the degrees of freedom are further reduced to two. For a given material, if the TD model is appropriate and the dominant non-depolarizing process is known, then these two degrees of freedom can be estimated from as few as two polarimetric measurements. Thus, the MM can be extrapolated from a reduced number of measurements. The primary contribution of this work is the development and demonstration of a linear estimator for a MM's dominant eigenvalue (i.e. single depolarization parameter) which requires fewer measurements than a full MM reconstruction. MM extrapolations from single snapshot acquisitions with a Sony Triton 5.0MP Polarization Camera are performed at 30 acquisition geometries and two wavelengths on an ensemble of LEGO bricks treated to have varying surface roughness. These extrapolated MMs are compared to MMs reconstructed from a complete dual rotating retarder (DRR) Mueller imaging polarimeter. The flux error mean and mode are 11.06% and 1.03%, respectively, despite a 10x reduction in the number of polarimetric measurements.


title: Automatically Extracting Information in Medical Dialogue: Expert System And Attention for Labelling

abstract: Medical dialogue information extraction is becoming an increasingly significant problem in modern medical care. It is difficult to extract key information from electronic medical records (EMRs) due to their large numbers. Previously, researchers proposed attention-based models for retrieving features from EMRs, but their limitations were reflected in their inability to recognize different categories in medical dialogues. In this paper, we propose a novel model, Expert System and Attention for Labelling (ESAL). We use mixture of experts and pre-trained BERT to retrieve the semantics of different categories, enabling the model to fuse the differences between them. In our experiment, ESAL was applied to a public dataset and the experimental results indicated that ESAL significantly improved the performance of Medical Information Classification.