title: From Spelling to Grammar: A New Framework for Chinese Grammatical Error Correction

abstract: Chinese Grammatical Error Correction (CGEC) aims to generate a correct sentence from an erroneous sequence, where different kinds of errors are mixed. This paper divides the CGEC task into two steps, namely spelling error correction and grammatical error correction. Specifically, we propose a novel zero-shot approach for spelling error correction, which is simple but effective, obtaining a high precision to avoid error accumulation of the pipeline structure. To handle grammatical error correction, we design part-of-speech (POS) features and semantic class features to enhance the neural network model, and propose an auxiliary task to predict the POS sequence of the target sentence. Our proposed framework achieves a 42.11 F0.5 score on CGEC dataset without using any synthetic data or data augmentation methods, which outperforms the previous state-of-the-art by a wide margin of 1.30 points. Moreover, our model produces meaningful POS representations that capture different POS words and convey reasonable POS transition rules.


title: FEniCS implementation of the Virtual Fields Method (VFM) for nonhomogeneous hyperelastic identification

abstract: It is of great significance to identify the nonhomogeneous distribution of material properties in human tissues for different clinical and medical applications. This leads to the requirement of solving an inverse problem in elasticity. The virtual fields method (VFM) is a rather recent inverse method with remarkable computational efficiency compared with the optimization-based methods. In this study, we aim to identify nonhomogeneous hyperelastic material properties using the VFM. We propose two novel algorithms, RE-VFM and NO-VFM. In RE-VFM, the solid is partitioned in different regions and the elastic properties of each region are determined. In NO-VFM, 2 the distribution of elastic properties is completely reconstructed through the inverse problem without partitioning the solid. As the VFM requires to use virtual fields, we proposed an efficient way to construct them and implemented the approach in the FEniCS package. We validated the proposed methods on several examples, including a bilayer structure, a lamina cribosa (LC) model and a cube model embedded with a spherical inclusion. The numerical examples illustrate the feasibility of both RE-VFM and NO-VFM. Notably, the spatial variations of the Young's modulus distribution can be recovered accurately within only 5 iterations. The obtained results reveal the potential of the proposed methods for future clinical applications such as estimating the risk of vision loss related to glaucoma and detecting tumors.


title: Inverting Regional Sensitivity Analysis to reveal sensitive model behaviors

abstract: We address the question of sensitivity analysis for model outputs of any dimension using Regional Sensitivity Analysis (RSA). Classical RSA computes sensitivity indices related to the impact of model inputs variations on the occurrence of a target region of the model output space. In this work, we invert this perspective by proposing to find, for a given target model input, the region whose occurrence is best explained by the variations of this input. When it exists, this region can be seen as a model behavior which is particularly sensitive to the variations of the model input under study. We name this method iRSA (for inverse RSA). iRSA is formalized as an optimization problem using region-based sensitivity indices and solved using dedicated numerical algorithms. Using analytical and numerical examples, including an environmental model producing time series, we show that iRSA can provide a new graphical and interpretable characterization of sensitivity for model outputs of various dimensions.


title: Private Semi-supervised Knowledge Transfer for Deep Learning from Noisy Labels

abstract: Deep learning models trained on large-scale data have achieved encouraging performance in many real-world tasks. Meanwhile, publishing those models trained on sensitive datasets, such as medical records, could pose serious privacy concerns. To counter these issues, one of the current state-of-the-art approaches is the Private Aggregation of Teacher Ensembles, or PATE, which achieved promising results in preserving the utility of the model while providing a strong privacy guarantee. PATE combines an ensemble of "teacher models" trained on sensitive data and transfers the knowledge to a "student" model through the noisy aggregation of teachers' votes for labeling unlabeled public data which the student model will be trained on. However, the knowledge or voted labels learned by the student are noisy due to private aggregation. Learning directly from noisy labels can significantly impact the accuracy of the student model. In this paper, we propose the PATE++ mechanism, which combines the current advanced noisy label training mechanisms with the original PATE framework to enhance its accuracy. A novel structure of Generative Adversarial Nets (GANs) is developed in order to integrate them effectively. In addition, we develop a novel noisy label detection mechanism for semi-supervised model training to further improve student model performance when training with noisy labels. We evaluate our method on Fashion-MNIST and SVHN to show the improvements on the original PATE on all measures.


title: Image-based Early Detection System for Wildfires

abstract: Wildfires are a disastrous phenomenon which cause damage to land, loss of property, air pollution, and even loss of human life. Due to the warmer and drier conditions created by climate change, more severe and uncontrollable wildfires are expected to occur in the coming years. This could lead to a global wildfire crisis and have dire consequences on our planet. Hence, it has become imperative to use technology to help prevent the spread of wildfires. One way to prevent the spread of wildfires before they become too large is to perform early detection i.e, detecting the smoke before the actual fire starts. In this paper, we present our Wildfire Detection and Alert System which use machine learning to detect wildfire smoke with a high degree of accuracy and can send immediate alerts to users. Our technology is currently being used in the USA to monitor data coming in from hundreds of cameras daily. We show that our system has a high true detection rate and a low false detection rate. Our performance evaluation study also shows that on an average our system detects wildfire smoke faster than an actual person.


title: Twisted plasma waves driven by twisted ponderomotive force

abstract: We present results of twisted plasma waves driven by twisted ponderomotive force. With beating of two, co-propagating, Laguerre-Gaussian (LG) orbital angular momentum (OAM) laser pulses with different frequencies and also different twist indices, we can get twisted ponderomotive force. Three-dimensional particle-in-cell simulations are used to demonstrate the twisted plasma waves driven by lasers. The twisted plasma waves have an electron density perturbation with a helical rotating structure. Different from the predictions of the linear fluid theory, the simulation results show a nonlinear rotating current and a static axial magnetic field. Along with the rotating current is the axial OAM carried by particles in the twisted plasma waves. Detailed theoretical analysis of twisted plasma waves is given too.


title: $\mathcal{X}$-Metric: An N-Dimensional Information-Theoretic Framework for Groupwise Registration and Deep Combined Computing

abstract: This paper presents a generic probabilistic framework for estimating the statistical dependency and finding the anatomical correspondences among an arbitrary number of medical images. The method builds on a novel formulation of the $N$-dimensional joint intensity distribution by representing the common anatomy as latent variables and estimating the appearance model with nonparametric estimators. Through connection to maximum likelihood and the expectation-maximization algorithm, an information\hyp{}theoretic metric called $\mathcal{X}$-metric and a co-registration algorithm named $\mathcal{X}$-CoReg are induced, allowing groupwise registration of the $N$ observed images with computational complexity of $\mathcal{O}(N)$. Moreover, the method naturally extends for a weakly-supervised scenario where anatomical labels of certain images are provided. This leads to a combined\hyp{}computing framework implemented with deep learning, which performs registration and segmentation simultaneously and collaboratively in an end-to-end fashion. Extensive experiments were conducted to demonstrate the versatility and applicability of our model, including multimodal groupwise registration, motion correction for dynamic contrast enhanced magnetic resonance images, and deep combined computing for multimodal medical images. Results show the superiority of our method in various applications in terms of both accuracy and efficiency, highlighting the advantage of the proposed representation of the imaging process.


title: Equivalence of the modified Villain formulation and the dual Hamiltonian method in the duality of the XY-plaquette model

abstract: Regarding the duality of the XY-plaquette model in the $2+1d$ system, We compared and discussed the equivalence and difference between the modified Villain formulation, recently introduced by Gorantla et al. to study duality in exotic field theories such as fracton theory, and the standard Villain formulation and dual Hamiltonian method we introduced in our previous paper to study duality between Josephson junctions and quantum phase slips in the $1+1d$ system.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: Cooperative Maneuvers of Highly Automated Vehicles at Urban Intersections: A Game-theoretic Approach

abstract: In this paper, we propose an approach how connected and highly automated vehicles can perform cooperative maneuvers such as lane changes and left-turns at urban intersections where they have to deal with human-operated vehicles and vulnerable road users such as cyclists and pedestrians in so-called mixed traffic. In order to support cooperative maneuvers the urban intersection is equipped with an intelligent controller which has access to different sensors along the intersection to detect and predict the behavior of the traffic participants involved. Since the intersection controller cannot directly control all road users and - not least due to the legal situation - driving decisions must always be made by the vehicle controller itself, we focus on a decentralized control paradigm. In this context, connected and highly automated vehicles use some carefully selected game theory concepts to make the best possible and clear decisions about cooperative maneuvers. The aim is to improve traffic efficiency while maintaining road safety at the same time. Our first results obtained with a prototypical implementation of the approach in a traffic simulation are promising.


title: P4P: Conflict-Aware Motion Prediction for Planning in Autonomous Driving

abstract: Motion prediction is crucial in enabling safe motion planning for autonomous vehicles in interactive scenarios. It allows the planner to identify potential conflicts with other traffic agents and generate safe plans. Existing motion predictors often focus on reducing prediction errors, yet it remains an open question on how well they help identify the conflicts for the planner. In this paper, we evaluate state-of-the-art predictors through novel conflict-related metrics, such as the success rate of identifying conflicts. Surprisingly, the predictors suffer from a low success rate and thus lead to a large percentage of collisions when we test the prediction-planning system in an interactive simulator. To fill the gap, we propose a simple but effective alternative that combines a physics-based trajectory generator and a learning-based relation predictor to identify conflicts and infer conflict relations. We demonstrate that our predictor, P4P, achieves superior performance over existing learning-based predictors in realistic interactive driving scenarios from Waymo Open Motion Dataset.


title: Revisiting Grammatical Error Correction Evaluation and Beyond

abstract: Pretraining-based (PT-based) automatic evaluation metrics (e.g., BERTScore and BARTScore) have been widely used in several sentence generation tasks (e.g., machine translation and text summarization) due to their better correlation with human judgments over traditional overlap-based methods. Although PT-based methods have become the de facto standard for training grammatical error correction (GEC) systems, GEC evaluation still does not benefit from pretrained knowledge. This paper takes the first step towards understanding and improving GEC evaluation with pretraining. We first find that arbitrarily applying PT-based metrics to GEC evaluation brings unsatisfactory correlation results because of the excessive attention to inessential systems outputs (e.g., unchanged parts). To alleviate the limitation, we propose a novel GEC evaluation metric to achieve the best of both worlds, namely PT-M2 which only uses PT-based metrics to score those corrected parts. Experimental results on the CoNLL14 evaluation task show that PT-M2 significantly outperforms existing methods, achieving a new state-of-the-art result of 0.949 Pearson correlation. Further analysis reveals that PT-M2 is robust to evaluate competitive GEC systems. Source code and scripts are freely available at https://github.com/pygongnlp/PT-M2.


title: Rotational spectra of interstellar N- and CN-PAHs: pyrene and coronene

abstract: The detection of benzonitrile (C6H5CN), 1- and 2-cyano-naphthalene (C10H7CN) in the cold, dark molecular cloud TMC-1 at centimetre (cm) wavelengths has opened up prospects for the detection of other N- and CN-containing polycyclic aromatic hydrocarbons (PAHs). In this light, the pure rotational spectra of N-pyrene (C15H9N), CN-pyrene (C15H9CN), N-coronene (C23H11N) and CN-coronene (C23H11CN) are reported here for the first time. The B3LYP/6-311+G(d,p) level of theory, in the Density Functional Theory (DFT) calculations, achieves the best performance for calculating the spectroscopic parameters and simulating the rotational spectra. The large permanent dipole moment of CN-PAHs makes them the most suitable PAH species for detection in the interstellar medium. Additionally, pyrene's smaller partition function makes CN-pyrene a prime candidate to be discovered in cold, dark molecular clouds such as the TMC-1. The present work sets a benchmark for theoretical rotational spectra of N- and CN-containing PAHs and may act as a guide for laboratory experiments and observational searches.


title: Sharp Lower Bound for the Blow-up Rate of Solutions to the Magnetic Zakharov System without the Skin Effect

abstract: In this paper, we consider the Cauchy problem of the magnetic Zakharov system in two-dimensional space: \[ \begin{cases} & i E_{1t}+\Delta E_1-n E_1+\eta E_2 (E_1\overline{E_2}-\overline{E_1} E_2)=0, \\ & i E_{2t}+\Delta E_2-n E_2+\eta E_1(\overline{E_1} E_2-E_1\overline{E_2})=0, \\ & n_t+\nabla \cdot \textbf{v}=0, \\ & \textbf{v}_t+\nabla n+\nabla (|E_1|^2+|E_2|^2)=0, \\ \end{cases} \tag{G-Z} \] with initial data $\left(E_{10}(x),E_{20}(x),n_{0}(x),\mathbf{v}_{0}(x)\right)$, which describes the spontaneous generation of a magnetic field without the skin effect in a cold plasma, where $\eta>0$ is a physical constant coefficient. The two nonlinear terms generated by the cold magnetic field bring in a different difficulty from that for the classical Zakharov system. Assuming the initial mass satisfies the following estimates: \begin{gather*} \frac{||Q||_{L^2(\mathbb{R}^2)}^2}{1+\eta} <||E_{10}||_{L^2(\mathbb{R}^2)}^2+||E_{20}||_{L^2(\mathbb{R}^2)}^2 <\frac{||Q||_{L^2(\mathbb{R}^2)}^2}{\eta}, \end{gather*} where $Q$ is the unique radially positive solution of the equation $-\Delta V+V=V^3 $, we prove that there is a constant $c>0$ depending only on the initial data such that for $t$ near $T$ (the blow-up time), \begin{gather*} \left\|\left(E_1,E_2,n,\textbf{v}\right)\right\|_{H^1(\mathbb{R}^2)\times H^1(\mathbb{R}^2)\times L^2(\mathbb{R}^2)\times L^2(\mathbb{R}^2)}\geqslant \frac{c}{ T-t }. \end{gather*} As the magnetic coefficient $\eta$ tends to $0$, the blow-up rate recovers the result for the classical 2-D Zakharov system due to Merle \cite{25Frank}. For any size positive $\eta$, under the current assumption on the initial mass, we give a mathematically rigorous justification for the fact that the presence of magnetic effects without the skin effect in the cold plasma does not change the optimal lower bound for the blow-up rates.


title: Joint Chinese Word Segmentation and Span-based Constituency Parsing

abstract: In constituency parsing, span-based decoding is an important direction. However, for Chinese sentences, because of their linguistic characteristics, it is necessary to utilize other models to perform word segmentation first, which introduces a series of uncertainties and generally leads to errors in the computation of the constituency tree afterward. This work proposes a method for joint Chinese word segmentation and Span-based Constituency Parsing by adding extra labels to individual Chinese characters on the parse trees. Through experiments, the proposed algorithm outperforms the recent models for joint segmentation and constituency parsing on CTB 5.1.


title: Temporal Consistency Learning of inter-frames for Video Super-Resolution

abstract: Video super-resolution (VSR) is a task that aims to reconstruct high-resolution (HR) frames from the low-resolution (LR) reference frame and multiple neighboring frames. The vital operation is to utilize the relative misaligned frames for the current frame reconstruction and preserve the consistency of the results. Existing methods generally explore information propagation and frame alignment to improve the performance of VSR. However, few studies focus on the temporal consistency of inter-frames. In this paper, we propose a Temporal Consistency learning Network (TCNet) for VSR in an end-to-end manner, to enhance the consistency of the reconstructed videos. A spatio-temporal stability module is designed to learn the self-alignment from inter-frames. Especially, the correlative matching is employed to exploit the spatial dependency from each frame to maintain structural stability. Moreover, a self-attention mechanism is utilized to learn the temporal correspondence to implement an adaptive warping operation for temporal consistency among multi-frames. Besides, a hybrid recurrent architecture is designed to leverage short-term and long-term information. We further present a progressive fusion module to perform a multistage fusion of spatio-temporal features. And the final reconstructed frames are refined by these fused features. Objective and subjective results of various experiments demonstrate that TCNet has superior performance on different benchmark datasets, compared to several state-of-the-art methods.


title: Joint Beamforming Design and 3D DoA Estimation for RIS-aided Communication System

abstract: In this paper, we consider a reconfigurable intelligent surface (RIS)-assisted 3D direction-of-arrival (DoA) estimation system, in which a uniform planar array (UPA) RIS is deployed to provide virtual line-of-sight (LOS) links and reflect the uplink pilot signal to sensors. To overcome the mutually coupled problem between the beamforming design at the RIS and DoA estimation, we explore the separable sparse representation structure and propose an alternating optimization algorithm. The grid-based DoA estimation is modeled as a joint-sparse recovery problem considering the grid bias, and the Joint-2D-OMP method is used to estimate both on-grid and off-grid parts. The corresponding Cram\'er-Rao lower bound (CRLB) is derived to evaluate the estimation. Then, the beampattern at the RIS is optimized to maximize the signal-to-noise (SNR) at sensors according to the estimated angles. Numerical results show that the proposed alternating optimization algorithm can achieve lower estimation error compared to benchmarks of random beamforming design.


title: The Unusual AGN Host NGC 1266: Evidence for Shocks in a Molecular Gas Rich S0 Galaxy with a Low Luminosity Nucleus

abstract: NGC 1266 is a lenticular galaxy (S0) hosting an active galactic nucleus (AGN), and known to contain a large amount of shocked gas. We compare the luminosity ratio of mid-\emph{J} CO lines to IR continuum with star-forming galaxies (SFGs), and then model the CO spectral line energy distribution (SLED). We confirm that in the mid- and high-\emph{J} regions ($J_{\rm up}$ = 4--13), the C-type shock ($v_{\rm s}$ = 25 km s$^{-1}$, $n_{\rm H}$ = $5\times10^{4}$ cm$^{-3}$) can reproduce the CO observations well. The galaxy spectral energy distribution (SED) is constructed and modeled by the code {\tt X-CIGALE} and obtains a set of physical parameters including the star formation rate (SFR, 1.17 $\pm$ 0.47 \emph{M$_{\odot}$}yr$^{-1}$). Also, our work provides SFR derivation of [C\,{\sc ii}] from the neutral hydrogen regions only (1.38 $\pm$ 0.14 $M_{\odot}$yr$^{-1}$). Previous studies have illusive conclusions on the AGN or starburst nature of the NGC 1266 nucleus. Our SED model shows that the hidden AGN in the system is intrinsically low-luminosity, consequently the infrared luminosity of the AGN does not reach the expected level. Archival data from \emph{NuSTAR} hard X-ray observations in the 3--79 keV band shows a marginal detection, disfavoring presence of an obscured luminous AGN and implying that a compact starburst is more likely dominant for the NGC 1266 nucleus.


title: Fine-Tuning Pre-Trained Language Models Effectively by Optimizing Subnetworks Adaptively

abstract: Large-scale pre-trained language models have achieved impressive results on a wide range of downstream tasks recently. However, fine-tuning an extremely large-scale pre-trained language model on limited target datasets is often plagued by overfitting and representation degradation. In this paper, we propose a Dynamic Parameter Selection (DPS) algorithm for the large-scale pre-trained models during fine-tuning, which adaptively selects a more promising subnetwork to perform staging updates based on gradients of back-propagation. Experiments on the GLUE benchmark show that DPS outperforms previous fine-tuning methods in terms of overall performance and stability, and consistently achieves better results with variable pre-trained language models. In addition, DPS brings a large magnitude of improvement in out-of-domain transferring experiments and low-resource scenarios, which shows that it can maintain stable general contextual features and reduce the representation collapse. We release our code at https://github.com/ZhangHaojie077/DPS


title: Existence of quasi-stationary distributions for downward skip-free Markov chains

abstract: For downward skip-free continuous-time Markov chains on non-negative integers stopped at zero, existence of a quasi-stationary distribution is studied. The scale function for these processes is introduced and the boundary is classified by a certain integrability condition on the scale function, which gives an extension of Feller's classification of the boundary for birth-and-death processes. The existence and the set of quasi-stationary distributions are characterized by the scale function and the new classification of the boundary.


title: StereoPose: Category-Level 6D Transparent Object Pose Estimation from Stereo Images via Back-View NOCS

abstract: Most existing methods for category-level pose estimation rely on object point clouds. However, when considering transparent objects, depth cameras are usually not able to capture meaningful data, resulting in point clouds with severe artifacts. Without a high-quality point cloud, existing methods are not applicable to challenging transparent objects. To tackle this problem, we present StereoPose, a novel stereo image framework for category-level object pose estimation, ideally suited for transparent objects. For a robust estimation from pure stereo images, we develop a pipeline that decouples category-level pose estimation into object size estimation, initial pose estimation, and pose refinement. StereoPose then estimates object pose based on representation in the normalized object coordinate space~(NOCS). To address the issue of image content aliasing, we further define a back-view NOCS map for the transparent object. The back-view NOCS aims to reduce the network learning ambiguity caused by content aliasing, and leverage informative cues on the back of the transparent object for more accurate pose estimation. To further improve the performance of the stereo framework, StereoPose is equipped with a parallax attention module for stereo feature fusion and an epipolar loss for improving the stereo-view consistency of network predictions. Extensive experiments on the public TOD dataset demonstrate the superiority of the proposed StereoPose framework for category-level 6D transparent object pose estimation.


title: Towards federated multivariate statistical process control (FedMSPC)

abstract: The ongoing transition from a linear (produce-use-dispose) to a circular economy poses significant challenges to current state-of-the-art information and communication technologies. In particular, the derivation of integrated, high-level views on material, process, and product streams from (real-time) data produced along value chains is challenging for several reasons. Most importantly, sufficiently rich data is often available yet not shared across company borders because of privacy concerns which make it impossible to build integrated process models that capture the interrelations between input materials, process parameters, and key performance indicators along value chains. In the current contribution, we propose a privacy-preserving, federated multivariate statistical process control (FedMSPC) framework based on Federated Principal Component Analysis (PCA) and Secure Multiparty Computation to foster the incentive for closer collaboration of stakeholders along value chains. We tested our approach on two industrial benchmark data sets - SECOM and ST-AWFD. Our empirical results demonstrate the superior fault detection capability of the proposed approach compared to standard, single-party (multiway) PCA. Furthermore, we showcase the possibility of our framework to provide privacy-preserving fault diagnosis to each data holder in the value chain to underpin the benefits of secure data sharing and federated process modeling.


title: Adversarial Data Augmentation Using VAE-GAN for Disordered Speech Recognition

abstract: Automatic recognition of disordered speech remains a highly challenging task to date. The underlying neuro-motor conditions, often compounded with co-occurring physical disabilities, lead to the difficulty in collecting large quantities of impaired speech required for ASR system development. This paper presents novel variational auto-encoder generative adversarial network (VAE-GAN) based personalized disordered speech augmentation approaches that simultaneously learn to encode, generate and discriminate synthesized impaired speech. Separate latent features are derived to learn dysarthric speech characteristics and phoneme context representations. Self-supervised pre-trained Wav2vec 2.0 embedding features are also incorporated. Experiments conducted on the UASpeech corpus suggest the proposed adversarial data augmentation approach consistently outperformed the baseline speed perturbation and non-VAE GAN augmentation methods with trained hybrid TDNN and End-to-end Conformer systems. After LHUC speaker adaptation, the best system using VAE-GAN based augmentation produced an overall WER of 27.78% on the UASpeech test set of 16 dysarthric speakers, and the lowest published WER of 57.31% on the subset of speakers with "Very Low" intelligibility.


title: Harmonics of Parton Saturation in Lepton-Jet Correlations at the EIC

abstract: Parton saturation is one of the most intriguing phenomena in the high energy nuclear physics research frontier, especially in the upcoming era of the Electron-Ion Collider (EIC). The lepton-jet correlation in deep inelastic scattering provides us with a new gateway to the parton saturation at the EIC. In particular, we demonstrate that azimuthal angle anisotropies of the lepton-jet correlation are sensitive to the strength of the saturation momentum in the EIC kinematic region. In contrast to the predictions based on the collinear framework calculation, significant nuclear modification of the anisotropies is observed when we compare the saturation physics results in e + p and e + Au scatterings. By measuring these harmonic coefficients at the EIC, one can conduct quantitative analysis in different collisional systems and unveil compelling evidence for saturation effects.


title: A Scharfetter-Gummerl stabilization scheme for HDG approximations of convection-diffusion problems

abstract: We present a Scharfetter-Gummel (SG) stabilization scheme for high-order Hybrid Discontinuous Galerkin (HDG) approximations of convection-diffusion problems. The scheme is based on a careful choice of the stabilization parameters used to define the numerical flux in the HDG method. We show that, in one dimension, the SG-HDG scheme is equivalent to the Finite Volume method stabilized with the Scharfetter--Gummel on the dual grid, for all orders of HDG schemes.


title: Inverse Magnus effect in a rarefied gas

abstract: The transverse force exerted on a rotating sphere immersed in an otherwise uniform flow of a rarefied gas is investigated based on the Bhatnagar-Gross-Krook (BGK) model of the Boltzmann equation assuming the Maxwell boundary condition on the sphere. In several existing studies, it has been shown that the transverse force acting on the sphere, also known as the Magnus force, has opposite signs in the free molecular and continuum flows. The present study intends to clarify the force's transition in terms of the Knudsen number (i.e., the reciprocal ratio of the sphere radius to the molecular mean free path) with a particular interest in the impact of the sphere's surface accommodation. It is found that the threshold of the Knudsen number, at which the transverse force changes the sign, depends only weakly on the accommodation coefficient, suggesting certain robustness in the threshold. The present study is an extension of the previous work [S. Taguchi and T. Tsuji, J. Fluid. Mech. 933, A37 (2022)], in which the case of complete accommodation (diffuse reflection) is exclusively considered.


title: Universality and its limits in non-Hermitian many-body quantum chaos using the Sachdev-Ye-Kitaev model

abstract: Spectral rigidity in Hermitian quantum chaotic systems signals the presence of dynamical universal features at timescales that can be much shorter than the Heisenberg time. We study the analog of this timescale in many-body non-Hermitian quantum chaos by a detailed analysis of long-range spectral correlators. For that purpose, we investigate the number variance and the spectral form factor of a non-Hermitian $q$-body Sachdev-Ye-Kitaev (nHSYK) model, which describes $N$ fermions in zero spatial dimensions. After an analytical and numerical analysis of these spectral observables for non-Hermitian random matrices, and a careful unfolding, we find good agreement with the nHSYK model for $q > 2$ starting at a timescale that decreases sharply with $q$. The source of deviation from universality, identified analytically, is ensemble fluctuations not related to the quantum dynamics. For fixed $q$ and large enough $N$, these fluctuations become dominant up until after the Heisenberg time, so that the spectral form factor is no longer useful for the study of quantum chaos. In all cases, our results point to a weakened or vanishing spectral rigidity that effectively delays the observation of full quantum ergodicity. We also show that the number variance displays nonstationary spectral correlations for both the nHSYK model and random matrices. This nonstationarity, also not related to the quantum dynamics, points to intrinsic limitations of these observables to describe the quantum chaotic motion. On the other hand, we introduce the local spectral form factor, which is shown to be stationary and not affected by collective fluctuations, and propose it as an effective diagnostic of non-Hermitian quantum chaos. For $q = 2$, we find saturation to Poisson statistics at a timescale of $\log D$, compared to a scale of $\sqrt D$ for $ q>2$, with $D $ the total number of states.

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


title: Temporal evolutions and quasi-periodic variations present in the sunspot number and group sunspot area data measured at Kodaikanal Observatory for solar cycles 14 to 24

abstract: The Kodaikanal Observatory has made synoptic observations of the Sun in white light since 1904, and these images are sketched on the Stonyhurst grids called sun charts. These continuous hand-drawn data sets are used for long-term studies of the Sun. This article investigates temporal and periodic variations of the monthly hemispheric sunspot number and sunspot group area for 1905--2016, covering solar cycles 14 to 24. We find that the temporal variations of the sunspot number and group area are different in each hemisphere and peak at different times of the solar cycle in the opposite hemisphere. For both the data sets, Cycle 19 shows maximum amplitude. For the sunspot number time series, Cycle 24 was the weakest, and Cycle 15 for the group area. The existence of double peaks and violation of the ``odd-even rule'' was found in both data sets. We have studied the periodic and quasi-periodic variations in both the time series by wavelet technique. We noticed that along with the fundamental mode of the $\sim$ 11~year cycle and polarity reversal period of 22~years, the sunspot activity data also exhibited several mid-term periodicities in the opposite hemispheres, specifically the Riger group and quasi-biennial periodicities. The temporal evolution of these detected quasi-periodicities also differs in the northern and southern hemispheres. We analyzed the data set statistically to understand the bulk properties and coupling between the opposite hemispheres. The study indicates that the two hemispheric data sets differ, but some dependency could be present.


title: Viscous attenuation of gravitational waves propagating through an inhomogeneous background

abstract: We consider the propagation of gravitational waves in the late-time Universe in the presence of matter distribution inhomogeneities, and we also consider the cosmic fluid to be viscous. In this work, we investigate the cumulative effect of inhomogeneities and viscosity of the cosmic-fluid on the observables associated with the sources of the gravitational waves. Employing Buchert's averaging procedure in the backreaction framework, we consider a model of spacetime in which matter is distributed in-homogeneously across space. Using the modified redshift versus distance relation, through the averaging process in the context of the model, we study the variation of the redshift-dependent part of the observed gravitational wave amplitude for different combinations of our model parameters while simultaneously considering damping of the gravitational wave amplitude due to viscosity of the cosmic-fluid. Then, we investigate the differences occurring in the variation of the redshift-dependent part of the observed gravitational wave amplitude due to consideration of viscous attenuation. We show that there are significant deviations after the inclusion of viscous attenuation in our analysis, depending on the chosen value of the coefficient of viscosity. Our result signifies the importance of the effect of viscosity, within the model of an inhomogeneous Universe, on precision measurements of parameters of compact-binary sources of gravitational waves.


title: Purcell-induced suppression of superradiance for molecular overlayers on noble atom surfaces

abstract: We study the impact of an environment on the electromagnetic responses of a molecule in the presence of a dielectric medium. By applying the dipole-dipole coupling between the molecule's and the environment's degrees of freedom, we can reduce the complex system into its components and predict excitation lifetimes of single and few molecules attached to a dielectric surface by knowing the entire quantum-mechanical properties of the molecules, such as transition energies and dipole moments. The derived theory allows for the description of superradiance between two molecules depending on the geometric arrangement between both concerning their separation and orientation with respect to each other. We analyse the possibility of superradiance between two molecules bound to a dielectric sphere and determine a change of the relevant length scale where the usually considered wavelength in free space is replaced with the binding distance, drastically reducing the length scales at which collective effects can take place.


title: Dual Cheeger constant for weighted graphs over ordered fields

abstract: We consider a dual Cheeger constant $\overline h$ for finite graphs with edge weights from an arbitrary real-closed ordered field. We obtain estimates of $\overline h$ in terms of number of vertices in graph. Further, we estimate the largest eigenvalue for the discrete Laplace operator in terms of $\overline h$ and show the sharpness of estimates. As an example we consider graphs over non-Archimedean field of the Levi-Civita numbers.


title: $B\rho$-defined isochronous mass spectrometry: a new approach for high-precision mass measurements of short-lived nuclei

abstract: A novel technique for broadband high-precision mass measurements of short-lived exotic nuclides is reported. It is based on the isochronous mass spectrometry (IMS) and realizes simultaneous determinations of revolution time and velocity of short-lived stored ions at the cooler storage ring CSRe in Lanzhou. The new technique, named as the $B\rho$-defined IMS or $B\rho$-IMS, boosts the efficiency, sensitivity, and accuracy of mass measurements, and is applied here to measure masses of neutron-deficient $fp$-shell nuclides. In a single accelerator setting, masses of $^{46}$Cr, $^{50}$Fe and $^{54}$Ni are determined with relative uncertainties of (5~-~6)$\times10^{-8}$, thereby improving the input data for testing the unitarity of the Cabibbo-Kobayashi-Maskawa quark mixing matrix. This is the technique of choice for future high-precision measurements of the most rarely produced shortest-lived nuclides.


title: GRAIMATTER Green Paper: Recommendations for disclosure control of trained Machine Learning (ML) models from Trusted Research Environments (TREs)

abstract: TREs are widely, and increasingly used to support statistical analysis of sensitive data across a range of sectors (e.g., health, police, tax and education) as they enable secure and transparent research whilst protecting data confidentiality. There is an increasing desire from academia and industry to train AI models in TREs. The field of AI is developing quickly with applications including spotting human errors, streamlining processes, task automation and decision support. These complex AI models require more information to describe and reproduce, increasing the possibility that sensitive personal data can be inferred from such descriptions. TREs do not have mature processes and controls against these risks. This is a complex topic, and it is unreasonable to expect all TREs to be aware of all risks or that TRE researchers have addressed these risks in AI-specific training. GRAIMATTER has developed a draft set of usable recommendations for TREs to guard against the additional risks when disclosing trained AI models from TREs. The development of these recommendations has been funded by the GRAIMATTER UKRI DARE UK sprint research project. This version of our recommendations was published at the end of the project in September 2022. During the course of the project, we have identified many areas for future investigations to expand and test these recommendations in practice. Therefore, we expect that this document will evolve over time.


title: Semiclassical spacetimes at super-Planckian scales from delocalized sources

abstract: We derive the gravitational field and the spacetime metric generated by sources in quantum superposition of different locations. We start by working in a Newtonian approximation, in which the effective gravitational potential is computed as the expectation value of the gravitational potential operator in a Gaussian distribution of width $R$ for the position of the source. The effective gravitational potential is then covariantly uplifted to a fully relativistic metric in general relativity, describing the spacetime generated by averaging over the state of such sources. These results are then rederived and extended by adopting an independent construction in terms of quantum reference frames. We find three classes of quantum effective metrics which are all asymptotically flat and reproduce the Schwarzschild metric at great distances. The solutions differ, however, in the inner core. The quantum uncertainty $\Delta r\sim R$ in the position of the source prevents the radius of the transverse two-sphere to shrink to zero. Depending on the strength of the quantum superposition effects, we have either a nonsingular black hole with a ``quantum hair'' and an event horizon, a one-way wormhole with a critical null throat or a traversable wormhole. We also provide a detailed study of the geometric and thermodynamic properties of the spacetime structure for each of these three families of models, as well as their phenomenology.


title: Secret Sharing for Generic Theoretic Cryptography

abstract: Sharing a secret efficiently amongst a group of participants is not easy since there is always an adversary / eavesdropper trying to retrieve the secret. In secret sharing schemes, every participant is given a unique share. When the desired group of participants come together and provide their shares, the secret is obtained. For other combinations of shares, a garbage value is returned. A threshold secret sharing scheme was proposed by Shamir and Blakley independently. In this (n,t) threshold secret sharing scheme, the secret can be obtained when at least t out of n participants contribute their shares. This paper proposes a novel algorithm to reveal the secret only to the subsets of participants belonging to the access structure. This scheme implements totally generalized ideal secret sharing. Unlike threshold secret sharing schemes, this scheme reveals the secret only to the authorized sets of participants, not any arbitrary set of users with cardinality more than or equal to t. Since any access structure can be realized with this scheme, this scheme can be exploited to implement various access priorities and access control mechanisms. A major advantage of this scheme over the existing ones is that the shares being distributed to the participants is totally independent of the secret being shared. Hence, no restrictions are imposed on the scheme and it finds a wider use in real world applications.


title: An Open Platform for Simulating the Physical Layer of 6G Communication Systems with Multiple Intelligent Surfaces

abstract: Reconfigurable Intelligent Surfaces (RIS) constitute a promising technology that could fulfill the extreme performance and capacity needs of the upcoming 6G wireless networks, by offering software-defined control over wireless propagation phenomena. Despite the existence of many theoretical models describing various aspects of RIS from the signal processing perspective (e.g., channel fading models), there is no open platform to simulate and study their actual physical-layer behavior, especially in the multi-RIS case. In this paper, we develop an open simulation platform, aimed at modeling the physical-layer electromagnetic coupling and propagation between RIS pairs. We present the platform by initially designing a basic unit cell, and then proceeding to progressively model and simulate multiple and larger RISs. The platform can be used for producing verifiable stochastic models for wireless communication in multi-RIS deployments, such as vehicle-to-everything (V2X) communications in autonomous vehicles and cybersecurity schemes, while its code is freely available to the public.


title: String attractors of episturmian sequences

abstract: In this paper, we describe string attractors of all factors of episturmian sequences and show that their size is equal to the number of distinct letters contained in the factor.


title: Pairing optimization via statistics: Algebraic structure in pairing problems and its application to performance enhancement

abstract: Fully pairing all elements of a set while attempting to maximize the total benefit is a combinatorically difficult problem. Such pairing problems naturally appear in various situations in science, technology, economics, and other fields. In our previous study, we proposed an efficient method to infer the underlying compatibilities among the entities, under the constraint that only the total compatibility is observable. Furthermore, by transforming the pairing problem into a traveling salesman problem with a multi-layer architecture, a pairing optimization algorithm was successfully demonstrated to derive a high-total-compatibility pairing. However, there is substantial room for further performance enhancement by further exploiting the underlying mathematical properties. In this study, we prove the existence of algebraic structures in the pairing problem. We transform the initially estimated compatibility information into an equivalent form where the variance of the individual compatibilities is minimized. We then demonstrate that the total compatibility obtained when using the heuristic pairing algorithm on the transformed problem is significantly higher compared to the previous method. With this improved perspective on the pairing problem using fundamental mathematical properties, we can contribute to practical applications such as wireless communications beyond 5G, where efficient pairing is of critical importance.


title: Multicomponent gauge-Higgs models with discrete Abelian gauge groups

abstract: We consider a variant of the charge-Q compact Abelian-Higgs model, in which an Nf-dimensional complex vector is coupled with an Abelian Z_q gauge field. For Nf=2 and Q=1 we observe several transition lines that belong to the O(4), O(3), and O(2) vector universality classes, depending on the symmetry breaking pattern at the transition. The universality class is independent of $q$ as long as q>=3. The universality class of the transition is uniquely determined by the behavior of the scalar fields; gauge fields do not play any role. We also investigate the system for Nf=15 and Q=2. In the presence of U(1) gauge fields, the system undergoes transitions associated with charged fixed points of the Abelian-Higgs field theory. These continuous transitions turn into first-order ones when the U(1) gauge fields are replaced by the discrete Z_q fields: in the present compact model charged transitions appear to be very sensitive to the nature of the gauge fields


title: Static magnetic and ESR spectroscopic properties of the dimer-chain antiferromagnet BiCoPO$_5$

abstract: We report a comprehensive study of the static susceptibility, high-field magnetization and high-frequency/high-magnetic field electron spin resonance (HF-ESR) spectroscopy of polycrystalline samples of the bismuth cobalt oxy-phosphate BiCoPO$_5$. This compound features a peculiar spin system that can be considered as antiferromagnetic (AFM) chains built of pairs of ferromagnetically coupled Co spins and interconnected in all three spatial directions. It was previously shown that BiCoPO$_5$ orders antiferromagnetically at $T_{\rm N} \approx 10$ K and this order can be continuously suppressed by magnetic field towards the critical value $\mu_0H_{\rm c} \approx 15$ T. In our experiments we find strongly enhanced magnetic moments and spectroscopic $g$ factors as compared to the expected spin-only values, suggesting a strong contribution of orbital magnetism for the Co$^{2+}$ ions. This is quantitatively confirmed by ab initio quantum chemical calculations. Within the AFM ordered phase, we observe a distinct field-induced magnetic phase transition. Its critical field rises to $\sim 6$ T at $T \ll T_{\rm N}$. The HF-ESR spectra recorded at $T\ll T_{\rm N}$ are very rich comprising up to six resonance modes possibly of the multimagnonic nature that soften towards the critical region around 6 T. Interestingly, we find that the Co moments are not yet fully polarized at $H_{\rm c}$ which supports a theoretical proposal identifying $H_{\rm c}$ as the quantum critical point for the transition of the spin system in BiCoPO$_5$ to the quantum disordered state at stronger fields.


title: PointSee: Image Enhances Point Cloud

abstract: There is a trend to fuse multi-modal information for 3D object detection (3OD). However, the challenging problems of low lightweightness, poor flexibility of plug-and-play, and inaccurate alignment of features are still not well-solved, when designing multi-modal fusion newtorks. We propose PointSee, a lightweight, flexible and effective multi-modal fusion solution to facilitate various 3OD networks by semantic feature enhancement of LiDAR point clouds assembled with scene images. Beyond the existing wisdom of 3OD, PointSee consists of a hidden module (HM) and a seen module (SM): HM decorates LiDAR point clouds using 2D image information in an offline fusion manner, leading to minimal or even no adaptations of existing 3OD networks; SM further enriches the LiDAR point clouds by acquiring point-wise representative semantic features, leading to enhanced performance of existing 3OD networks. Besides the new architecture of PointSee, we propose a simple yet efficient training strategy, to ease the potential inaccurate regressions of 2D object detection networks. Extensive experiments on the popular outdoor/indoor benchmarks show numerical improvements of our PointSee over twenty-two state-of-the-arts.


title: Best-of-Both-Worlds Multiparty Quantum Computation with Publicly Verifiable Identifiable Abort

abstract: Alon et al. (CRYPTO 2021) introduced a multiparty quantum computation protocol that is secure with identifiable abort (MPQC-SWIA). However, their protocol allows only inside MPQC parties to know the identity of malicious players. This becomes problematic when two groups of people disagree and need a third party, like a jury, to verify who the malicious party is. This issue takes on heightened significance in the quantum setting, given that quantum states may exist in only a single copy. Thus, we emphasize the necessity of a protocol with publicly verifiable identifiable abort (PVIA), enabling outside observers with only classical computational power to agree on the identity of the malicious party in case of an abort. However, achieving MPQC with PVIA poses significant challenges due to the no-cloning theorem, and previous works proposed by Mahadev (STOC 2018) and Chung et al. (Eurocrypt 2022) for classical verification of quantum computation fall short. In this paper, we obtain the first MPQC-PVIA protocol assuming post-quantum oblivious transfer and a classical broadcast channel. The core component of our construction is a new authentication primitive called auditable quantum authentication (AQA) that identifies the malicious sender with overwhelming probability. Additionally, we provide the first MPQC protocol with best-of-both-worlds (BoBW) security, which guarantees output delivery with an honest majority and remains secure with abort even if the majority is dishonest. Our best-of-both-worlds MPQC protocol also satisfies PVIA upon abort.


title: A note on when amenable traces are quasidiagonal

abstract: We will show that for a separable exact $C^*$-algebra with a faithful amenable trace, the property that all amenable traces are quasidiagonal is invariant under homotopy.


title: AoI-Based Opportunistic-Fair mmWave Schedulers

abstract: We consider a system with a Base Station (BS) and multiple mobile/stationary users. BS uses millimeter waves (mmWaves) for data transmission and hence needs to align beams in the directions of the end-users. The idea is to avail regular user-position estimates, which help in accurate beam alignment towards multiple users, paving way for opportunistic mmWave schedulers. We propose an online algorithm that uses a dual opportunistic and fair scheduler to allocate data as well as position-update channels, in each slot. Towards this, well-known alpha-fair objective functions of utilities of various users, which further depend upon the age of position-information, are optimized. We illustrate the advantages of the opportunistic scheduler, by comparing it with the previously proposed mmWave schemes; these schedulers choose one user in each slot and start data transmission only after accurate beam alignment. We also discuss two ways of introducing fairness in such schemes, both of which perform inferior to the proposed age-based opportunistic scheduler.


title: Quantum Similarity Testing with Convolutional Neural Networks

abstract: The task of testing whether two uncharacterized quantum devices behave in the same way is crucial for benchmarking near-term quantum computers and quantum simulators, but has so far remained open for continuous-variable quantum systems. In this Letter, we develop a machine learning algorithm for comparing unknown continuous variable states using limited and noisy data. The algorithm works on non-Gaussian quantum states for which similarity testing could not be achieved with previous techniques. Our approach is based on a convolutional neural network that assesses the similarity of quantum states based on a lower-dimensional state representation built from measurement data. The network can be trained offline with classically simulated data from a fiducial set of states sharing structural similarities with the states to be tested, or with experimental data generated by measurements on the fiducial states, or with a combination of simulated and experimental data. We test the performance of the model on noisy cat states and states generated by arbitrary selective number-dependent phase gates. Our network can also be applied to the problem of comparing continuous variable states across different experimental platforms, with different sets of achievable measurements, and to the problem of experimentally testing whether two states are equivalent up to Gaussian unitary transformations.


title: Channel-Aware Pretraining of Joint Encoder-Decoder Self-Supervised Model for Telephonic-Speech ASR

abstract: This paper proposes a novel technique to obtain better downstream ASR performance from a joint encoder-decoder self-supervised model when trained with speech pooled from two different channels (narrow and wide band). The joint encoder-decoder self-supervised model extends the HuBERT model with a Transformer decoder. HuBERT performs clustering of features and predicts the class of every input frame. In simple pooling, which is our baseline, there is no way to identify the channel information. To incorporate channel information, we have proposed non-overlapping cluster IDs for speech from different channels. Our method gives a relative improvement of ~4% over the joint encoder-decoder self-supervised model built with simple pooling of data, which serves as our baseline.


title: Active CT Reconstruction with a Learned Sampling Policy

abstract: Computed tomography (CT) is a widely-used imaging technology that assists clinical decision-making with high-quality human body representations. To reduce the radiation dose posed by CT, sparse-view and limited-angle CT are developed with preserved image quality. However, these methods are still stuck with a fixed or uniform sampling strategy, which inhibits the possibility of acquiring a better image with an even reduced dose. In this paper, we explore this possibility via learning an active sampling policy that optimizes the sampling positions for patient-specific, high-quality reconstruction. To this end, we design an \textit{intelligent agent} for active recommendation of sampling positions based on on-the-fly reconstruction with obtained sinograms in a progressive fashion. With such a design, we achieve better performances on the NIH-AAPM dataset over popular uniform sampling, especially when the number of views is small. Finally, such a design also enables RoI-aware reconstruction with improved reconstruction quality within regions of interest (RoI's) that are clinically important. Experiments on the VerSe dataset demonstrate this ability of our sampling policy, which is difficult to achieve based on uniform sampling.


title: Visually Adversarial Attacks and Defenses in the Physical World: A Survey

abstract: Although Deep Neural Networks (DNNs) have been widely applied in various real-world scenarios, they are vulnerable to adversarial examples. The current adversarial attacks in computer vision can be divided into digital attacks and physical attacks according to their different attack forms. Compared with digital attacks, which generate perturbations in the digital pixels, physical attacks are more practical in the real world. Owing to the serious security problem caused by physically adversarial examples, many works have been proposed to evaluate the physically adversarial robustness of DNNs in the past years. In this paper, we summarize a survey versus the current physically adversarial attacks and physically adversarial defenses in computer vision. To establish a taxonomy, we organize the current physical attacks from attack tasks, attack forms, and attack methods, respectively. Thus, readers can have a systematic knowledge of this topic from different aspects. For the physical defenses, we establish the taxonomy from pre-processing, in-processing, and post-processing for the DNN models to achieve full coverage of the adversarial defenses. Based on the above survey, we finally discuss the challenges of this research field and further outlook on the future direction.


title: On local well-posedness of nonlinear dispersive equations with partially regular data

abstract: We revisit the local well-posedness theory of nonlinear Schr\"odinger and wave equations in Sobolev spaces $H^s$ and $\dot{H}^s$, $0< s\leq 1$. The theory has been well established over the past few decades under Sobolev initial data regular with respect to all spatial variables. But here, we reveal that the initial data do not need to have complete regularity like Sobolev spaces, but only partially regularity with respect to some variables is sufficient. To develop such a new theory, we suggest a refined Strichartz estimate which has a different norm for each spatial variable. This makes it possible to extract a different integrability/regularity of the data from each variable.


title: The QCD topological susceptibility at high temperatures via staggered fermions spectral projectors

abstract: The QCD topological observables are essential inputs to obtain theoretical predictions about axion phenomenology, which are of utmost importance for current and future experimental searches for this particle. Among them, we focus on the topological susceptibility, related to the axion mass. We present lattice results for the topological susceptibility in QCD at high temperatures obtained by discretizing this observable via spectral projectors on eigenmodes of the staggered Dirac operator, and we compare them with those obtained with the standard gluonic definition. The adoption of the spectral discretization is motivated by the large lattice artifacts affecting the standard gluonic susceptibility, related to the choice of non-chiral fermions in the lattice action.


title: Photon Rings Around Warped Black Holes

abstract: The black hole photon ring is a prime target for upcoming space-based VLBI missions seeking to image the fine structure of astrophysical black holes. The classical Lyapunov exponents of the corresponding nearly bound null geodesics control the quasinormal ringing of a perturbed black hole as it settles back down to equilibrium, and they admit a holographic interpretation in terms of quantum Ruelle resonances of the microstate dual to the Kerr black hole. Recent work has identified a number of emergent symmetries related to the intricate self-similar structure of the photon ring. Here, we explore this web of interrelated phenomena in an exactly soluble example that arises as an approximation to the near-extremal Kerr black hole. The self-dual warped AdS$_3$ geometry has a photon ring as well as $\mathsf{SL}(2,\mathbb{R})$ isometries and an exactly calculable quasinormal mode (QNM) spectrum. We show explicitly that the geometric optics approximation reproduces the eikonal limit of the exact QNM spectrum, as well as the approximate "near-ring" wavefunctions. The $\mathsf{SL}(2,\mathbb{R})$ isometries are directly related to the emergent conformal symmetry of the photon ring in black hole images but are distinct from a recently discussed conformal symmetry of the eikonal QNM spectrum. The equivalence of the classical QNM spectrum -- and thus the photon ring -- to the quantum Ruelle resonances in the context of a spacetime with a putative holographic dual suggests that the photon ring of a warped black hole is indeed part of the black hole hologram.


title: Spam Review Detection Using Deep Learning

abstract: A robust and reliable system of detecting spam reviews is a crying need in todays world in order to purchase products without being cheated from online sites. In many online sites, there are options for posting reviews, and thus creating scopes for fake paid reviews or untruthful reviews. These concocted reviews can mislead the general public and put them in a perplexity whether to believe the review or not. Prominent machine learning techniques have been introduced to solve the problem of spam review detection. The majority of current research has concentrated on supervised learning methods, which require labeled data - an inadequacy when it comes to online review. Our focus in this article is to detect any deceptive text reviews. In order to achieve that we have worked with both labeled and unlabeled data and proposed deep learning methods for spam review detection which includes Multi-Layer Perceptron (MLP), Convolutional Neural Network (CNN) and a variant of Recurrent Neural Network (RNN) that is Long Short-Term Memory (LSTM). We have also applied some traditional machine learning classifiers such as Nave Bayes (NB), K Nearest Neighbor (KNN) and Support Vector Machine (SVM) to detect spam reviews and finally, we have shown the performance comparison for both traditional and deep learning classifiers.


title: Repeatable Random Permutation Set

abstract: Random permutation set (RPS), as a recently proposed theory, enables powerful information representation by traversing all possible permutations. However, the repetition of items is not allowed in RPS while it is quite common in real life. To address this issue, we propose repeatable random permutation set ($\rm R^2PS$) which takes the repetition of items into consideration. The right and left junctional sum combination rules are proposed and their properties including consistency, pseudo-Matthew effect and associativity are researched. Based on these properties, a decision support system application is simulated to show the effectiveness of $\rm R^2PS$.


title: Little Tricky Logic: Misconceptions in the Understanding of LTL

abstract: Context: Linear Temporal Logic (LTL) has been used widely in verification. Its importance and popularity have only grown with the revival of temporal logic synthesis, and with new uses of LTL in robotics and planning activities. All these uses demand that the user have a clear understanding of what an LTL specification means. Inquiry: Despite the growing use of LTL, no studies have investigated the misconceptions users actually have in understanding LTL formulas. This paper addresses the gap with a first study of LTL misconceptions. Approach: We study researchers' and learners' understanding of LTL in four rounds (three written surveys, one talk-aloud) spread across a two-year timeframe. Concretely, we decompose "understanding LTL" into three questions. A person reading a spec needs to understand what it is saying, so we study the mapping from LTL to English. A person writing a spec needs to go in the other direction, so we study English to LTL. However, misconceptions could arise from two sources: a misunderstanding of LTL's syntax or of its underlying semantics. Therefore, we also study the relationship between formulas and specific traces. Knowledge: We find several misconceptions that have consequences for learners, tool builders, and designers of new property languages. These findings are already resulting in changes to the Alloy modeling language. We also find that the English to LTL direction was the most common source of errors; unfortunately, this is the critical "authoring" direction in which a subtle mistake can lead to a faulty system. We contribute study instruments that are useful for training learners (whether academic or industrial) who are getting acquainted with LTL, and we provide a code book to assist in the analysis of responses to similar-style questions. Grounding: Our findings are grounded in the responses to our survey rounds. Round 1 used Quizius to identify misconceptions among learners in a way that reduces the threat of expert blind spots. Rounds 2 and 3 confirm that both additional learners and researchers (who work in formal methods, robotics, and related fields) make similar errors. Round 4 adds deep support for our misconceptions via talk-aloud surveys. Importance This work provides useful answers to two critical but unexplored questions: in what ways is LTL tricky and what can be done about it? Our survey instruments can serve as a starting point for other studies.


title: Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal

abstract: Context: Generic programming, as defined by Stepanov, is a methodology for writing efficient and reusable algorithms by considering only the required properties of their underlying data types and operations. Generic programming has proven to be an effective means of constructing libraries of reusable software components in languages that support it. Generics-related language design choices play a major role in how conducive generic programming is in practice. Inquiry: Several mainstream programming languages (e.g. Java and C++) were first created without generics; features to support generic programming were added later, gradually. Much of the existing literature on supporting generic programming focuses thus on retrofitting generic programming into existing languages and identifying related implementation challenges. Is the programming experience significantly better, or different when programming with a language designed for generic programming without limitations from prior language design choices? Approach: We examine Magnolia, a language designed to embody generic programming. Magnolia is representative of an approach to language design rooted in algebraic specifications. We repeat a well-known experiment, where we put Magnolia's generic programming facilities under scrutiny by implementing a subset of the Boost Graph Library, and reflect on our development experience. Knowledge: We discover that the idioms identified as key features for supporting Stepanov-style generic programming in the previous studies and work on the topic do not tell a full story. We clarify which of them are more of a means to an end, rather than fundamental features for supporting generic programming. Based on the development experience with Magnolia, we identify variadics as an additional key feature for generic programming and point out limitations and challenges of genericity by property. Grounding: Our work uses a well-known framework for evaluating the generic programming facilities of a language from the literature to evaluate the algebraic approach through Magnolia, and we draw comparisons with well-known programming languages. Importance: This work gives a fresh perspective on generic programming, and clarifies what are fundamental language properties and their trade-offs when considering supporting Stepanov-style generic programming. The understanding of how to set the ground for generic programming will inform future language design.


title: Out-of-Things Debugging: A Live Debugging Approach for Internet of Things

abstract: Context: Internet of Things (IoT) has become an important kind of distributed systems thanks to the wide-spread of cheap embedded devices equipped with different networking technologies. Although ubiquitous, developing IoT systems remains challenging. Inquiry: A recent field study with 194 IoT developers identifies debugging as one of the main challenges faced when developing IoT systems. This comes from the lack of debugging tools taking into account the unique properties of IoT systems such as non-deterministic data, and hardware restricted devices. On the one hand, offline debuggers allow developers to analyse post-failure recorded program information, but impose too much overhead on the devices while generating such information. Furthermore, the analysis process is also time-consuming and might miss contextual information relevant to find the root cause of bugs. On the other hand, online debuggers do allow debugging a program upon a failure while providing contextual information (e.g., stack trace). In particular, remote online debuggers enable debugging of devices without physical access to them. However, they experience debugging interference due to network delays which complicates bug reproducibility, and have limited support for dynamic software updates on remote devices. Approach: This paper proposes out-of-things debugging, an online debugging approach especially designed for IoT systems. The debugger is always-on as it ensures constant availability to for instance debug post-deployment situations. Upon a failure or breakpoint, out-of-things debugging moves the state of a deployed application to the developer's machine. Developers can then debug the application locally by applying operations (e.g., step commands) to the retrieved state. Once debugging is finished, developers can commit bug fixes to the device through live update capabilities. Finally, by means of a fine-grained flexible interface for accessing remote resources, developers have full control over the debugging overhead imposed on the device, and the access to device hardware resources (e.g., sensors) needed during local debugging. Knowledge: Out-of-things debugging maintains good properties of remote debugging as it does not require physical access to the device to debug it, while reducing debugging interference since there are no network delays on operations (e.g., stepping) issued on the debugger since those happen locally. Furthermore, device resources are only accessed when requested by the user which further mitigates overhead and opens avenues for mocking or simulation of non-accessed resources. Grounding: We implemented an out-of-things debugger as an extension to a WebAssembly Virtual Machine and benchmarked its suitability for IoT. In particular, we compared our solution to remote debugging alternatives based on metrics such as network overhead, memory usage, scalability, and usability in production settings. From the benchmarks, we conclude that our debugger exhibits competitive performance in addition to confining overhead without sacrificing debugging convenience and flexibility. Importance: Out-of-things debugging enables debugging of IoT systems by means of classical online operations (e.g., stepwise execution) while addressing IoT-specific concerns (e.g., hardware limitations). We show that having the debugger always-on does not have to come at cost of performance loss or increased overhead but instead can enforce a smooth-going and flexible debugging experience of IoT systems.


title: Electrically controlling vortices in a neutral exciton polariton condensate at room temperature

abstract: Manipulating bosonic condensates with electric fields is very challenging as the electric fields do not directly interact with the neutral particles of the condensate. Here we demonstrate a simple electric method to tune the vorticity of exciton polariton condensates in a strong coupling liquid crystal (LC) microcavity with CsPbBr$_3$ microplates as active material at room temperature. In such a microcavity, the LC molecular director can be electrically modulated giving control over the polariton condensation in different modes. For isotropic non-resonant optical pumping we demonstrate the spontaneous formation of vortices with topological charges of +1, +2, -2, and -1. The topological vortex charge is controlled by a voltage in the range of 1 to 10 V applied to the microcavity sample. This control is achieved by the interplay of a built-in potential gradient, the anisotropy of the optically active perovskite microplates, and the electrically controllable LC molecular director in our system with intentionally broken rotational symmetry. Besides the fundamental interest in the achieved electric polariton vortex control at room temperature, our work paves the way to micron-sized emitters with electric control over the emitted light's phase profile and quantized orbital angular momentum for information processing and integration into photonic circuits.


title: Matrix Multiplicative Weights Updates in Quantum Zero-Sum Games: Conservation Laws & Recurrence

abstract: Recent advances in quantum computing and in particular, the introduction of quantum GANs, have led to increased interest in quantum zero-sum game theory, extending the scope of learning algorithms for classical games into the quantum realm. In this paper, we focus on learning in quantum zero-sum games under Matrix Multiplicative Weights Update (a generalization of the multiplicative weights update method) and its continuous analogue, Quantum Replicator Dynamics. When each player selects their state according to quantum replicator dynamics, we show that the system exhibits conservation laws in a quantum-information theoretic sense. Moreover, we show that the system exhibits Poincare recurrence, meaning that almost all orbits return arbitrarily close to their initial conditions infinitely often. Our analysis generalizes previous results in the case of classical games.


title: First Lunar Occultation Results with the TIRCAM2 Near-Infrared Imager at the Devasthal 3.6-m Telescope

abstract: TIRCAM2 is the facility near-infrared Imager at the Devasthal 3.6-m telescope in northern India, equipped with an Aladdin III InSb array detector. We have pioneered the use of TIRCAM2 for very fast photometry, with the aim of recording Lunar Occultations (LO). This mode is now operational and publicly offered. In this paper we describe the relevant instrumental details, we provide references to the LO method and the underlying data analysis procedures, and we list the LO events recorded so far. Among the results, we highlight a few which have led to the measurement of one small-separation binary star and of two stellar angular diameters. We conclude with a brief outlook on further possible instrumental developments and an estimate of the scientific return. In particular, we find that the LO technique can detect sources down to K~ 9 mag with SNR=1 on the DOT telescope. Angular diameters larger than ~ 1 milliarcsecond (mas) could be measured with SNR above 10, or K~6 mag. These numbers are only an indication and will depend strongly on observing conditions such as lunar phase and rate of lunar limb motion. Based on statistics alone, there are several thousands LO events observable in principle with the given telescope and instrument every year.


title: Exact physical quantities of a competing spin chain in the thermodynamic limit

abstract: We study the exact physical quantities of a competing spin chain which contains many interesting and meaningful couplings including the nearest neighbor, next nearest neighbor, chiral three spins, Dzyloshinsky-Moriya interactions and unparallel boundary magnetic fields in the thermodynamic limit. We obtain the density of zero roots, surface energies and elementary excitations in different regimes of model parameters. Due to the competition of various interactions, the surface energy and excited spectrum show many different pictures from those of the Heisenberg spin chain.


title: Indefinite causal order for quantum metrology with quantum thermal noise

abstract: A switched quantum channel with indefinite causal order is studied for the fundamental metrological task of phase estimation on a qubit unitary operator affected by quantum thermal noise. Specific capabilities are reported in the switched channel with indefinite order, not accessible with conventional estimation approaches with definite order. Phase estimation can be performed by measuring the control qubit alone, although it does not actively interact with the unitary process -- only the probe qubit doing so. Also, phase estimation becomes possible with a fully depolarized input probe or with an input probe aligned with the rotation axis of the unitary, while this is never possible with conventional approaches. The present study extends to thermal noise, investigations previously carried out with the more symmetric and isotropic qubit depolarizing noise, and it contributes to the timely exploration of properties of quantum channels with indefinite causal order relevant to quantum signal and information processing.


title: Generalized topological bulk-edge correspondence in bulk-Hermitian continuous systems with non-Hermitian boundary conditions

abstract: The bulk-edge correspondence (BEC) is the hallmark of topological systems. In continuous (nonlattice) Hermitian systems with an unbounded wave vector, it was recently shown that the BEC of Chern insulators is modified. How would it be further affected in non-Hermitian systems, experiencing loss and/or gain? In this work, we take the first step in this direction, by studying a bulk-Hermitian continuous system with non-Hermitian boundary conditions. We find in this case that edge modes emerge at the roots of the scattering matrix, as opposed to the Hermitian case, where they emerge at its poles (or, more accurately, coalescence of roots and poles). This entails a nontrivial modification to the relative Levinson's theorem. We then show that the topological structure remains the same as in the Hermitian case, and the generalized BEC holds, provided one employs appropriately modified contours in the wave-vector plane so that the scattering matrix phase winding counts the edge modes correctly. We exemplify all this using a paradigmatic model of waves in a shallow ocean or active systems in the presence of odd viscosity, as well as 2D electron gas with Hall viscosity. We use this opportunity to examine the case of large odd viscosity, where the scattering matrix becomes $2\times2$, which has not been discussed in previous works on the Hermitian generalized BEC.

categories: cond-mat.mes-hall math-ph math.MP physics.ao-ph physics.flu-dyn


title: Principal Balances of Compositional Data for Regression and Classification using Partial Least Squares

abstract: High-dimensional compositional data are commonplace in the modern omics sciences amongst others. Analysis of compositional data requires a proper choice of orthonormal coordinate representation as their relative nature is not compatible with the direct use of standard statistical methods. Principal balances, a specific class of log-ratio coordinates, are well suited to this context since they are constructed in such a way that the first few coordinates capture most of the variability in the original data. Focusing on regression and classification problems in high dimensions, we propose a novel Partial Least Squares (PLS) based procedure to construct principal balances that maximize explained variability of the response variable and notably facilitates interpretability when compared to the ordinary PLS formulation. The proposed PLS principal balance approach can be understood as a generalized version of common logcontrast models, since multiple orthonormal (instead of one) logcontrasts are estimated simultaneously. We demonstrate the performance of the method using both simulated and real data sets.


title: Improving social welfare in non-cooperative games with different types of quantum resources

abstract: We investigate what quantum advantages can be obtained in multipartite non-cooperative games by studying how different types of quantum resources can lead to new Nash equilibria and improve social welfare -- a measure of the quality of an equilibrium. Two different quantum settings are analysed: a first, in which players are given direct access to an entangled quantum state, and a second, which we introduce here, in which they are only given classical advice obtained from quantum devices. For a given game $G$, these two settings give rise to different equilibria characterised by the sets of equilibrium correlations $Q_\textrm{corr}(G)$ and $Q(G)$, respectively. We show that $Q(G)\subseteq Q_\textrm{corr}(G)$, and by exploiting the self-testing property of some correlations, that the inclusion is strict for some games $G$. We make use of SDP optimisation techniques to study how these quantum resources can improve social welfare, obtaining upper and lower bounds on the social welfare reachable in each setting. We investigate, for several games involving conflicting interests, how the social welfare depends on the bias of the game and improve upon a separation that was previously obtained using pseudo-telepathic solutions.


title: Nearly tight universal bounds for the binomial tail probabilities

abstract: We derive simple but nearly tight upper and lower bounds for the binomial lower tail probability (with straightforward generalization to the upper tail probability) that apply to the whole parameter regime. These bounds are easy to compute and are tight within a constant factor of $89/44$. Moreover, they are asymptotically tight in the regimes of large deviation and moderate deviation. By virtue of a surprising connection with Ramanujan's equation, we also provide strong evidences suggesting that the lower bound is tight within a factor of $1.26434$. It may even be regarded as the natural lower bound, given its simplicity and appealing properties. Our bounds significantly outperform the familiar Chernoff bound and reverse Chernoff bounds known in the literature and may find applications in various research areas.


title: Isotropic Gaussian Processes on Finite Spaces of Graphs

abstract: We propose a principled way to define Gaussian process priors on various sets of unweighted graphs: directed or undirected, with or without loops. We endow each of these sets with a geometric structure, inducing the notions of closeness and symmetries, by turning them into a vertex set of an appropriate metagraph. Building on this, we describe the class of priors that respect this structure and are analogous to the Euclidean isotropic processes, like squared exponential or Mat\'ern. We propose an efficient computational technique for the ostensibly intractable problem of evaluating these priors' kernels, making such Gaussian processes usable within the usual toolboxes and downstream applications. We go further to consider sets of equivalence classes of unweighted graphs and define the appropriate versions of priors thereon. We prove a hardness result, showing that in this case, exact kernel computation cannot be performed efficiently. However, we propose a simple Monte Carlo approximation for handling moderately sized cases. Inspired by applications in chemistry, we illustrate the proposed techniques on a real molecular property prediction task in the small data regime.


title: Regular models of modular curves in prime level over ${\mathbb Z}_p^{\mathrm{ur}}$

abstract: We give regular models for modular curves associated with (normalizer of) split and non-split Cartan subgroups of ${\mathrm{GL}}_2 ({\mathbb F}_p )$ (for $p$ any prime, $p\ge 5$). We then compute the group of connected components of the fiber at $p$ of the N\'eron model of their Jacobians.


title: Properties and Patterns of Polarized Gravitational Waves

abstract: We discuss polarization of gravitational radiation within the standard framework of linearized general relativity. The recent experimental discovery of gravitational waves provides the impetus to revisit the implications of the spin-rotation-gravity coupling for polarized gravitational radiation; therefore, we consider the coupling of helicity of gravitational waves to the rotation of an observer or the gravitomagnetic field of a rotating astronomical source. Observational possibilities regarding polarization-dependent effects in connection with future gravitational wave detectors are briefly explored.


title: Data-efficient End-to-end Information Extraction for Statistical Legal Analysis

abstract: Legal practitioners often face a vast amount of documents. Lawyers, for instance, search for appropriate precedents favorable to their clients, while the number of legal precedents is ever-growing. Although legal search engines can assist finding individual target documents and narrowing down the number of candidates, retrieved information is often presented as unstructured text and users have to examine each document thoroughly which could lead to information overloading. This also makes their statistical analysis challenging. Here, we present an end-to-end information extraction (IE) system for legal documents. By formulating IE as a generation task, our system can be easily applied to various tasks without domain-specific engineering effort. The experimental results of four IE tasks on Korean precedents shows that our IE system can achieve competent scores (-2.3 on average) compared to the rule-based baseline with as few as 50 training examples per task and higher score (+5.4 on average) with 200 examples. Finally, our statistical analysis on two case categories--drunk driving and fraud--with 35k precedents reveals the resulting structured information from our IE system faithfully reflects the macroscopic features of Korean legal system.


title: Study on $\Lambda nn$ Bound State and Resonance

abstract: We perform the ab initio no-core shell model (NCSM) calculation to investigate the bound state problem of the three-body $\Lambda nn$ system in chiral next-to-next-to-leading-order NN and chiral leading-order YN interactions. The calculations show that no $\Lambda nn$ bound state exists, but predict a low-lying $\Lambda nn$ resonant state near the threshold with the energy of $E_r= 0.124$ MeV and the width of about $\Gamma=1.161$ MeV. In searching for $\Lambda nn$ resonances, we extend the NCSM calculation to the continuum state by employing the J-matrix formalism in the scattering theory with the hyperspherical oscillator basis.


title: Spectroscopic follow-up of a sub-set of the Gaia/IPHAS catalogue of H\alpha-excess sources

abstract: State-of-the-art techniques to identify H\alpha emission line sources in narrow-band photometric surveys consist of searching for H\alpha excess with reference to nearby objects in the sky (position-based selection). However, while this approach usually yields very few spurious detections, it may fail to select intrinsically faint and/or rare H\alpha-excess sources. In order to obtain a more complete representation of the heterogeneous emission line populations, we recently developed a technique to find outliers relative to nearby objects in the colour-magnitude diagram (CMD-based selection). By combining position-based and CMD-based selections, we built an updated catalogue of H\alpha-excess candidates in the northern Galactic Plane. Here we present spectroscopic follow-up observations and classification of 114 objects from this catalogue, that enable us to test our novel selection method. Out of the 70 spectroscopically confirmed H\alpha emitters in our sample, 15 were identified only by the CMD-based selection, and would have been thus missed by the classic position-based technique. In addition, we explore the distribution of our spectroscopically confirmed emitters in the Gaia CMD. This information can support the classification of emission line sources in large surveys, such as the upcoming WEAVE and 4MOST, especially if augmented with the introduction of other colours.


title: Characterization of Cs-free negative ion production in the ion source SPIDER by Cavity Ring-Down Spectroscopy

abstract: The Neutral beam Injectors of the ITER experiment will be based on negative ion sources for the generation of beams composed by 1 MeV H/D particles. The prototype of these sources is currently under testing in the SPIDER experiment, part of the Neutral Beam Test Facility of Consorzio RFX, Padua, Italy. Among the targets of the experimentation in SPIDER, it is of foremost importance to maximize the beam current density extracted from the source acceleration system. The SPIDER operating conditions can be optimized thanks to a Cavity Ring-down Spectroscopy diagnostic, which is able to give line-integrated measurements of negative ion density in proximity of the acceleration system apertures. Regarding the diagnostic technique, this work presents a phenomenon of drift in ring down time measurements, which develops in a time scale of few hours. This issue may significantly affect negative ion density measurements for plasma pulses of 1 h duration, as required by ITER. Causes and solutions are discussed. Regarding the source performance, this paper presents how negative ion density is influenced by the RF power used to sustain the plasma, and by the magnetic filter field present in SPIDER to limit the amount of co-extracted electrons. In this study, SPIDER was operated in hydrogen and deuterium, in Cs-free conditions.


title: An Empirical Bayes Analysis of Object Trajectory Representation Models

abstract: Linear trajectory models provide mathematical advantages to autonomous driving applications such as motion prediction. However, linear models' expressive power and bias for real-world trajectories have not been thoroughly analyzed. We present an in-depth empirical analysis of the trade-off between model complexity and fit error in modelling object trajectories. We analyze vehicle, cyclist, and pedestrian trajectories. Our methodology estimates observation noise and prior distributions over model parameters from several large-scale datasets. Incorporating these priors can then regularize prediction models. Our results show that linear models do represent real-world trajectories with high fidelity at very moderate model complexity. This suggests the feasibility of using linear trajectory models in future motion prediction systems with inherent mathematical advantages.


title: Mapping the circumnuclear regions of the Circinus galaxy with the Imaging X-ray Polarimetry Explorer

abstract: We report on the Imaging X-ray Polarimetry Explorer (IXPE) observation of the closest and X-ray brightest Compton-thick active galactic nucleus (AGN), the Circinus galaxy. We find the source to be significantly polarized in the 2--6 keV band. From previous studies, the X-ray spectrum is known to be dominated by reflection components, both neutral (torus) and ionized (ionization cones). Our analysis indicates that the polarization degree is $28 \pm 7$ per cent (at 68 per cent confidence level) for the neutral reflector, with a polarization angle of $18{\deg} \pm 5{\deg}$, roughly perpendicular to the radio jet. The polarization of the ionized reflection is unconstrained. A comparison with Monte Carlo simulations of the polarization expected from the torus shows that the neutral reflector is consistent with being an equatorial torus with a half-opening angle of 45{\deg}-55{\deg}. This is the first X-ray polarization detection in a Seyfert galaxy, demonstrating the power of X-ray polarimetry in probing the geometry of the circumnuclear regions of AGNs, and confirming the basic predictions of standard Unification Models.


title: Scaling up the self-optimization model by means of on-the-fly computation of weights

abstract: The Self-Optimization (SO) model is a useful computational model for investigating self-organization in "soft" Artificial life (ALife) as it has been shown to be general enough to model various complex adaptive systems. So far, existing work has been done on relatively small network sizes, precluding the investigation of novel phenomena that might emerge from the complexity arising from large numbers of nodes interacting in interconnected networks. This work introduces a novel implementation of the SO model that scales as $\mathcal{O}\left(N^{2}\right)$ with respect to the number of nodes $N$, and demonstrates the applicability of the SO model to networks with system sizes several orders of magnitude higher than previously was investigated. Removing the prohibitive computational cost of the naive $\mathcal{O}\left(N^{3}\right)$ algorithm, our on-the-fly computation paves the way for investigating substantially larger system sizes, allowing for more variety and complexity in future studies.


title: Round and Bipartize for Vertex Cover Approximation

abstract: The vertex cover problem is a fundamental and widely studied combinatorial optimization problem. It is known that its standard linear programming relaxation is integral for bipartite graphs and half-integral for general graphs. As a consequence, the natural rounding algorithm based on this relaxation computes an optimal solution for bipartite graphs and a $2$-approximation for general graphs. This raises the question of whether one can interpolate the rounding curve of the standard linear programming relaxation in a beyond the worst-case manner, depending on how close the graph is to being bipartite. In this paper, we consider a simple rounding algorithm that exploits the knowledge of an induced bipartite subgraph to attain improved approximation ratios. Equivalently, we suppose that we work with a pair $(G, S)$, consisting of a graph with an odd cycle transversal. If $S$ is a stable set, we prove a tight approximation ratio of $1 + 1/\rho$, where $2\rho -1$ denotes the odd girth (i.e., length of the shortest odd cycle) of the contracted graph $\tilde{G} := G /S$ and satisfies $\rho \in [2,\infty]$. If $S$ is an arbitrary set, we prove a tight approximation ratio of $\left(1+1/\rho \right) (1 - \alpha) + 2 \alpha$, where $\alpha \in [0,1]$ is a natural parameter measuring the quality of the set $S$. The technique used to prove tight improved approximation ratios relies on a structural analysis of the contracted graph $\tilde{G}$. Tightness is shown by constructing classes of weight functions matching the obtained upper bounds. As a byproduct of the structural analysis, we obtain improved tight bounds on the integrality gap and the fractional chromatic number of 3-colorable graphs. We also discuss algorithmic applications in order to find good odd cycle transversals and show optimality of the analysis.


title: Semantic 3D Grid Maps for Autonomous Driving

abstract: Maps play a key role in rapidly developing area of autonomous driving. We survey the literature for different map representations and find that while the world is three-dimensional, it is common to rely on 2D map representations in order to meet real-time constraints. We believe that high levels of situation awareness require a 3D representation as well as the inclusion of semantic information. We demonstrate that our recently presented hierarchical 3D grid mapping framework UFOMap meets the real-time constraints. Furthermore, we show how it can be used to efficiently support more complex functions such as calculating the occluded parts of space and accumulating the output from a semantic segmentation network.


title: Efficient Branch-and-Bound Algorithms for Finding Triangle-Constrained 2-Clubs

abstract: In the Vertex Triangle 2-Club problem, we are given an undirected graph $G$ and aim to find a maximum-vertex subgraph of $G$ that has diameter at most 2 and in which every vertex is contained in at least $\ell$ triangles in the subgraph. So far, the only algorithm for solving Vertex Triangle 2-Club relies on an ILP formulation [Almeida and Br\'as, Comput. Oper. Res. 2019]. In this work, we develop a combinatorial branch-and-bound algorithm that, coupled with a set of data reduction rules, outperforms the existing implementation and is able to find optimal solutions on sparse real-world graphs with more than 100,000 vertices in a few minutes. We also extend our algorithm to the Edge Triangle 2-Club problem where the triangle constraint is imposed on all edges of the subgraph.


title: Generating new gravitational solutions by matrix multiplication

abstract: Explicit solutions to the non-linear field equations of some gravitational theories can be obtained, by means of a Riemann-Hilbert approach, from a canonical Wiener-Hopf factorisation of certain matrix functions called monodromy matrices. In this paper we describe other types of factorisation from which solutions can be constructed in a similar way. Our approach is based on an invariance problem, which does not constitute a Riemann-Hilbert problem and allows to construct solutions that could not have been obtained by Wiener-Hopf factorisation of a monodromy matrix. It gives rise to a novel solution generating method based on matrix multiplications. We show, in particular, that new solutions can be obtained by multiplicative deformation of the canonical Wiener-Hopf factorisation, provided the latter exists, and that one can superpose such solutions. Examples of applications include Kasner, Einstein-Rosen wave and gravitational pulse wave solutions.

categories: math-ph gr-qc hep-th math.AP math.FA math.MP