title: iTiger: An Automatic Issue Title Generation Tool

abstract: In both commercial and open-source software, bug reports or issues are used to track bugs or feature requests. However, the quality of issues can differ a lot. Prior research has found that bug reports with good quality tend to gain more attention than the ones with poor quality. As an essential component of an issue, title quality is an important aspect of issue quality. Moreover, issues are usually presented in a list view, where only the issue title and some metadata are present. In this case, a concise and accurate title is crucial for readers to grasp the general concept of the issue and facilitate the issue triaging. Previous work formulated the issue title generation task as a one-sentence summarization task. A sequence-to-sequence model was employed to solve this task. However, it requires a large amount of domain-specific training data to attain good performance in issue title generation. Recently, pre-trained models, which learned knowledge from large-scale general corpora, have shown much success in software engineering tasks. In this work, we make the first attempt to fine-tune BART, which has been pre-trained using English corpora, to generate issue titles. We implemented the fine-tuned BART as a web tool named iTiger, which can suggest an issue title based on the issue description. iTiger is fine-tuned on 267,094 GitHub issues. We compared iTiger with the state-of-the-art method, i.e., iTAPE, on 33,438 issues. The automatic evaluation shows that iTiger outperforms iTAPE by 29.7%, 50.8%, and 34.1%, in terms of ROUGE-1, ROUGE-2, ROUGE-L F1-scores. The manual evaluation also demonstrates the titles generated by BART are preferred by evaluators over the titles generated by iTAPE in 72.7% of cases. Besides, the evaluators deem our tool as useful and easy-to-use. They are also interested to use our tool in the future.


title: Diversity Subsampling: Custom Subsamples from Large Data Sets

abstract: Subsampling from a large data set is useful in many supervised learning contexts to provide a global view of the data based on only a fraction of the observations. Diverse (or space-filling) subsampling is an appealing subsampling approach when no prior knowledge of the data is available. In this paper, we propose a diversity subsampling approach that selects a subsample from the original data such that the subsample is independently and uniformly distributed over the support of distribution from which the data are drawn, to the maximum extent possible. We give an asymptotic performance guarantee of the proposed method and provide experimental results to show that the proposed method performs well for typical finite-size data. We also compare the proposed method with competing diversity subsampling algorithms and demonstrate numerically that subsamples selected by the proposed method are closer to a uniform sample than subsamples selected by other methods. The proposed DS algorithm is shown to be more efficient than known methods and takes only a few minutes to select tens of thousands of subsample points from a data set of size one million. Our DS algorithm easily generalizes to select subsamples following distributions other than uniform. We provide the FADS Python package to implement the proposed methods.


title: LECA: A Learned Approach for Efficient Cover-agnostic Watermarking

abstract: In this work, we present an efficient multi-bit deep image watermarking method that is cover-agnostic yet also robust to geometric distortions such as translation and scaling as well as other distortions such as JPEG compression and noise. Our design consists of a light-weight watermark encoder jointly trained with a deep neural network based decoder. Such a design allows us to retain the efficiency of the encoder while fully utilizing the power of a deep neural network. Moreover, the watermark encoder is independent of the image content, allowing users to pre-generate the watermarks for further efficiency. To offer robustness towards geometric transformations, we introduced a learned model for predicting the scale and offset of the watermarked images. Moreover, our watermark encoder is independent of the image content, making the generated watermarks universally applicable to different cover images. Experiments show that our method outperforms comparably efficient watermarking methods by a large margin.


title: Frequency Domain Identifiability and Sloppiness of Descriptor Systems with an LFT Structure

abstract: Identifiability and sloppiness are investigated in this paper for the parameters of a descriptor system based on its frequency response samples. Two metrics are suggested respectively for measuring absolute and relative sloppiness of the parameter vector at a prescribed value. In this descriptor system, system matrices are assumed to depend on its parameters through a linear fractional transformation (LFT). When an associated transfer function matrix (TFM) is of full normal row rank, a matrix rank based necessary and sufficient condition is derived for parameter identifiability with a set of finitely many frequency responses. This condition can be verified recursively which is computationally quite appealing, especially when the system is of a large scale. From this condition, an algorithm is suggested to find a set of frequencies with which the frequency responses of the system are capable to uniquely determine its parameters. An ellipsoid approximation is given for the set consisting of all the parameter values with which the associated descriptor system has a frequency response that deviates within a prescribed distance, from that corresponding to a globally identifiable parameter vector value. Explicit formulas are also derived for the suggested absolute and relative sloppiness metrics.


title: FedBC: Calibrating Global and Local Models via Federated Learning Beyond Consensus

abstract: In this work, we quantitatively calibrate the performance of global and local models in federated learning through a multi-criterion optimization-based framework, which we cast as a constrained program. The objective of a device is its local objective, which it seeks to minimize while satisfying nonlinear constraints that quantify the proximity between the local and the global model. By considering the Lagrangian relaxation of this problem, we develop a novel primal-dual method called Federated Learning Beyond Consensus (\texttt{FedBC}). Theoretically, we establish that \texttt{FedBC} converges to a first-order stationary point at rates that matches the state of the art, up to an additional error term that depends on a tolerance parameter introduced to scalarize the multi-criterion formulation. Finally, we demonstrate that \texttt{FedBC} balances the global and local model test accuracy metrics across a suite of datasets (Synthetic, MNIST, CIFAR-10, Shakespeare), achieving competitive performance with state-of-the-art.


title: Fighting Fire with Fire: Avoiding DNN Shortcuts through Priming

abstract: Across applications spanning supervised classification and sequential control, deep learning has been reported to find "shortcut" solutions that fail catastrophically under minor changes in the data distribution. In this paper, we show empirically that DNNs can be coaxed to avoid poor shortcuts by providing an additional "priming" feature computed from key input features, usually a coarse output estimate. Priming relies on approximate domain knowledge of these task-relevant key input features, which is often easy to obtain in practical settings. For example, one might prioritize recent frames over past frames in a video input for visual imitation learning, or salient foreground over background pixels for image classification. On NICO image classification, MuJoCo continuous control, and CARLA autonomous driving, our priming strategy works significantly better than several popular state-of-the-art approaches for feature selection and data augmentation. We connect these empirical findings to recent theoretical results on DNN optimization, and argue theoretically that priming distracts the optimizer away from poor shortcuts by creating better, simpler shortcuts.


title: Wavelength dependence of laser-induced excitation dynamics in silicon

abstract: Effect of laser wavelength on the carrier-phonon dynamics and damage threshold of silicon is studied numerically. Laser excitation dynamics in silicon is studied using Three-Temperature Model (3TM). We consider the evolution of electron, hole, and lattice temperatures separately and including band-gap re-normalization effect on optical properties of silicon. Finite Difference Time Domain method is used to model the laser field. Damage threshold calculated using the 3TM is in reasonable agreement with the experiments. Our results indicate that the competition of inter-band excitation, plasma heating, and electron-phonon relaxation process defines the damage threshold for various wavelengths and pulse durations.


title: Shape fluctuations and radiation from thermally excited electronic states of boron clusters

abstract: The effect of thermal shape fluctuations on the recurrent fluorescence of boron cluster cations, B$_N^+$ ($N=9-14$), has been investigated numerically, with a special emphasis on B$_{13}^+$. For this cluster, the electronic structures of the ground state and the four lowest electronically excited states were calculated using time-dependent density functional theory, and sampled on molecular dynamics trajectories of the cluster calculated at an experimentally relevant excitation energy. The sampled optical transition matrix elements for B$_{13}^+$ allowed to construct its emission spectrum from the thermally populated electronically excited states. The spectrum was found to be broad, reaching down to at least 0.85 eV. This contrasts strongly with the static picture, where the lowest electronic transition happens at 2.3 eV. The low-lying electronic excitations produce a strong increase in the rates of recurrent fluorescence, calculated to peak at $4.6 \times 10^{4}$ s$^{-1}$, with a time-average of $8 \times 10^{3}$ s$^{-1}$. The average value is one order of magnitude higher than the static result, approaching the measured radiation rate. Similar results were found for the other cluster sizes. Furthermore, the radiationless crossing between the ground-state and the first electronic excited state surfaces of B$_{13}^+$ was calculated, found to be very fast compared to experimental time scales, justifying the thermal population assumption.


title: Fluctuation analysis for particle-based stochastic reaction-diffusion models

abstract: Recent works have derived and proven the large-population mean-field limit for several classes of particle-based stochastic reaction-diffusion (PBSRD) models. These limits correspond to systems of partial integral-differential equations (PIDEs) that generalize standard mass-action reaction-diffusion PDE models. In this work we derive and prove the next order fluctuation corrections to such limits, which we show satisfy systems of stochastic PIDEs with Gaussian noise. Numerical examples are presented to illustrate how including the fluctuation corrections can enable the accurate estimation of higher order statistics of the underlying PBSRD model.


title: Pulsed vacuum arc deposition of nitrogen-doped diamond-like coatings for long-term hydrophilicity of electrospun polycaprolactone scaffolds

abstract: The surface hydrophobicity of poly($\epsilon$-caprolactone) electrospun scaffolds prevents their interactions with cells and tissue integration. Plasma treatment of the scaffolds enhances their hydrophilicity. However, the hydrophobicity of scaffolds is restored in about 30 days. In this communication, we report the possibility of polycaprolactone electrospun scaffolds hydrophilization for more than 6 months. For that, diamond-like coating was deposited on the scaffolds surface using pulsed vacuum arc deposition technique in nitrogen atmosphere with sputtering of graphite target. It was established that single-side modification preserving scaffold structure is possible. The diamond-like coatings composition (sp2/sp3 hybridized carbon ratio) was tunable with nitrogen pressure. In vitro tests with fibroblasts cell culture did not reveal any cytotoxic compounds in the samples extracts.


title: Coupling Visual Semantics of Artificial Neural Networks and Human Brain Function via Synchronized Activations

abstract: Artificial neural networks (ANNs), originally inspired by biological neural networks (BNNs), have achieved remarkable successes in many tasks such as visual representation learning. However, whether there exists semantic correlations/connections between the visual representations in ANNs and those in BNNs remains largely unexplored due to both the lack of an effective tool to link and couple two different domains, and the lack of a general and effective framework of representing the visual semantics in BNNs such as human functional brain networks (FBNs). To answer this question, we propose a novel computational framework, Synchronized Activations (Sync-ACT), to couple the visual representation spaces and semantics between ANNs and BNNs in human brain based on naturalistic functional magnetic resonance imaging (nfMRI) data. With this approach, we are able to semantically annotate the neurons in ANNs with biologically meaningful description derived from human brain imaging for the first time. We evaluated the Sync-ACT framework on two publicly available movie-watching nfMRI datasets. The experiments demonstrate a) the significant correlation and similarity of the semantics between the visual representations in FBNs and those in a variety of convolutional neural networks (CNNs) models; b) the close relationship between CNN's visual representation similarity to BNNs and its performance in image classification tasks. Overall, our study introduces a general and effective paradigm to couple the ANNs and BNNs and provides novel insights for future studies such as brain-inspired artificial intelligence.


title: Deep learning for improved keV-scale recoil identification in high resolution gas time projection chambers

abstract: Recoil-imaging gaseous time projection chambers (TPCs) with directional sensitivity are attractive for dark matter (DM) searches. Detectors capable of reconstructing 3D nuclear recoil directions would be uniquely sensitive to the predicted dipole angular distribution of DM recoils that would unambiguously establish the galactic origin of a claimed DM signal and provide powerful discrimination against background recoils from solar neutrinos. These advantages can only be exploited however, if electron recoil backgrounds from gamma rays can be sufficiently suppressed. We introduce a deep learning-based recoil event classifier that uses a 3D convolutional neural network (3DCNN) to identify event species based on their recoil images. We compare electron background rejection performance of the 3DCNN both to the traditional discriminant of track length, as well as discriminants obtained from state-of-the-art shallow learning methods. We train the 3DCNN classifier using recoil charge distributions with ionization energies ranging from 0.5-10.5 $\rm keV_{ee}$, for 25 cm of drift in an 80:10:10 mixture of $\rm He$:$\rm CF_4$:$\rm CHF_3$. The charges are initially segmented into $(100\times 100\times 100)$ $\rm\mu m^3$ bins when determining track length and the shallow learning discriminants, but are rebinned with a reduced segmentation of about $(850\times 850\times 850)$ $\rm\mu m^3$ for the 3DCNN. Despite the courser binning, compared to using track length, we find that classifying events with the 3DCNN reduces electron backgrounds by a factor of up to 1,000 and effectively reduces the energy threshold of our simulated TPC by $30\%$ for fluorine recoils and $50\%$ for helium recoils. We also find that the 3DCNN reduces electron backgrounds by up to a factor of 20 compared to the shallow machine learning approaches, corresponding to a 2 $\rm keV_{ee}$ reduction in the energy threshold.


title: A characterization of rich c-partite (c > 7) tournaments without (c + 2)-cycles

abstract: Let c be an integer. A c-partite tournament is an orientation of a complete c-partite graph. A c-partite tournament is rich if it is strong, and each partite set has at least two vertices. In 1996, Guo and Volkmann characterized the structure of all rich c-partite tournaments without (c + 1)-cycles, which solved a problem by Bondy. They also put forward a problem that what the structure of rich c-partite tournaments without (c + k)-cycles for some k>1 is. In this paper, we answer the question of Guo and Volkmann for k = 2.


title: Joint analysis of DES Year 3 data and CMB lensing from SPT and Planck III: Combined cosmological constraints

abstract: We present cosmological constraints from the analysis of two-point correlation functions between galaxy positions and galaxy lensing measured in Dark Energy Survey (DES) Year 3 data and measurements of cosmic microwave background (CMB) lensing from the South Pole Telescope (SPT) and Planck. When jointly analyzing the DES-only two-point functions and the DES cross-correlations with SPT+Planck CMB lensing, we find $\Omega_{\rm m} = 0.344\pm 0.030$ and $S_8 \equiv \sigma_8 (\Omega_{\rm m}/0.3)^{0.5} = 0.773\pm 0.016$, assuming $\Lambda$CDM. When additionally combining with measurements of the CMB lensing autospectrum, we find $\Omega_{\rm m} = 0.306^{+0.018}_{-0.021}$ and $S_8 = 0.792\pm 0.012$. The high signal-to-noise of the CMB lensing cross-correlations enables several powerful consistency tests of these results, including comparisons with constraints derived from cross-correlations only, and comparisons designed to test the robustness of the galaxy lensing and clustering measurements from DES. Applying these tests to our measurements, we find no evidence of significant biases in the baseline cosmological constraints from the DES-only analyses or from the joint analyses with CMB lensing cross-correlations. However, the CMB lensing cross-correlations suggest possible problems with the correlation function measurements using alternative lens galaxy samples, in particular the redMaGiC galaxies and high-redshift MagLim galaxies, consistent with the findings of previous studies. We use the CMB lensing cross-correlations to identify directions for further investigating these problems.


title: Neolithic stone settlements as locally resonant metasurfaces

abstract: We study the dynamic surface response of neolithic stone settlements obtained with seismic ambient noise techniques near the city of Carnac in French Brittany. Surprisingly, we find that menhirs (neolithic human size standing alone granite stones) with an aspect ratio between 1 and 2 periodically arranged atop a thin layer of sandy soil laid on a granite bedrock, exhibit fundamental resonances in the range of 10 to 25 Hz. We propose an analogic Kelvin-Voigt viscoelastic model that explains the origin of such low frequency resonances. We further explore low frequency filtering effect with full wave finite element simulations. Our numerical results confirm the bending nature of fundamental resonances of the menhirs and further suggest additional resonances of rotational and longitudinal nature in the frequency range 25 to 50 Hz. Our study thus paves the way for large scale seismic metasurfaces consisting of granite stones periodically arranged atop a thin layer of regolith over a bedrock, for ground vibration mitigation in earthquake engineering.


title: Intrinsic Anomalous Hall Effect in a Bosonic Chiral Superfluid

abstract: The anomalous Hall effect has had a profound influence on the understanding of many electronic topological materials but is much less studied in their bosonic counterparts. We predict that an intrinsic anomalous Hall effect exists in a recently realized bosonic chiral superfluid, a $p$-band Bose-Einstein condensate in a 2D hexagonal boron nitride optical lattice [X. Wang et al., https://www.nature.com/articles/s41586-021-03702-0 Nature (London) 596, 227 (2021)]. We evaluate the frequency-dependent Hall conductivity within a multi-orbital Bose-Hubbard model that accurately captures the real experimental system. We find that in the high frequency limit, the Hall conductivity is determined by finite loop current correlations on the $s$-orbital residing sublattice, the latter a defining feature of the system's chirality. In the opposite limit, the dc Hall conductivity can trace its origin back to the non-interacting band Berry curvature at the condensation momentum, although the contribution from atomic interactions can be significant. We discuss available experimental probes to observe this intrinsic anomalous Hall effect at both zero and finite frequencies.


title: The Great Comet of 1106, a Chinese Comet of 1138, and Daylight Comets in late 363 As Key Objects in Computer Simulated History of Kreutz Sungrazer System

abstract: We present the results of our orbital computations in support of the recently proposed contact-binary model for the Kreutz sungrazer system (Sekanina 2021, 2022). We demonstrate that comet Ikeya-Seki (C/1965 S1) previously passed perihelion decades after the Great Comet of 1106 (X/1106 C1) and argue that, like the Great September Comet of 1882 (C/1882 R1), it evidently was a fragment of the comet recorded by the Chinese in September 1138. The 1106 sungrazer appears instead to have been the previous appearance of the Great March Comet of 1843 (C/1843 D1). With no momentum exchange involved, fragments of a Kreutz sungrazer breaking up tidally near perihelion are shown to end up in orbits with markedly different periods because their centers of mass are radially shifted by a few kilometers relative to the parent. The daylight comets of AD 363, recorded by a Roman historian, are accommodated in our computations as the first appearance of the Kreutz sungrazers after their bilobed progenitor's breakup. We link the 1843-1106-363 (Lobe I) and 1882-1138-363 (Lobe II) returns to perihelion by single nongravitational orbits and gravitationally with minor center-of-mass shifts acquired in fragmentation events. We also successfully model the motion of Aristotle's comet as the rotating progenitor that at aphelion split (at a few m/s) into the two lobes, the precursors of, respectively, the 1843 and 1882 sungrazers; and provide a 1963-1041-363 link for comet Pereyra (C/1963 R1). Material fatigue could contribute to sungrazers' fragmentation throughout the orbit, including aphelion. -- Continuing problems with the nongravitational law in orbit software are noted.


title: Experimental Test of Contextuality based on State Discrimination with a Single Qubit

abstract: Exploring quantum phenomena beyond predictions of any classical model has fundamental importance to understand the boundary of classical and quantum descriptions of nature. As a typical property that a quantum system behaves distinctively from a classical counterpart, contextuality has been studied extensively and verified experimentally in systems composed of at least three levels (qutrit). Here we extend the scope of experimental test of contextuality to a minimal quantum system of only two states (qubit) by implementing the minimum error state discrimination on a single $^{171}$Yb$^+$ ion. We observe a substantial violation of a no-go inequality derived by assuming non-contextuality, and firmly conclude that the measured results of state discrimination cannot be reconciled with any non-contextual description. We also quantify the contextual advantage of state discrimination and the tolerance against quantum noises.


title: Efficient Interdependent Systems Recovery Modeling with DeepONets

abstract: Modeling the recovery of interdependent critical infrastructure is a key component of quantifying and optimizing societal resilience to disruptive events. However, simulating the recovery of large-scale interdependent systems under random disruptive events is computationally expensive. Therefore, we propose the application of Deep Operator Networks (DeepONets) in this paper to accelerate the recovery modeling of interdependent systems. DeepONets are ML architectures which identify mathematical operators from data. The form of governing equations DeepONets identify and the governing equation of interdependent systems recovery model are similar. Therefore, we hypothesize that DeepONets can efficiently model the interdependent systems recovery with little training data. We applied DeepONets to a simple case of four interdependent systems with sixteen states. DeepONets, overall, performed satisfactorily in predicting the recovery of these interdependent systems for out of training sample data when compared to reference results.


title: A Feature Memory Rearrangement Network for Visual Inspection of Textured Surface Defects Toward Edge Intelligent Manufacturing

abstract: Recent advances in the industrial inspection of textured surfaces-in the form of visual inspection-have made such inspections possible for efficient, flexible manufacturing systems. We propose an unsupervised feature memory rearrangement network (FMR-Net) to accurately detect various textural defects simultaneously. Consistent with mainstream methods, we adopt the idea of background reconstruction; however, we innovatively utilize artificial synthetic defects to enable the model to recognize anomalies, while traditional wisdom relies only on defect-free samples. First, we employ an encoding module to obtain multiscale features of the textured surface. Subsequently, a contrastive-learning-based memory feature module (CMFM) is proposed to obtain discriminative representations and construct a normal feature memory bank in the latent space, which can be employed as a substitute for defects and fast anomaly scores at the patch level. Next, a novel global feature rearrangement module (GFRM) is proposed to further suppress the reconstruction of residual defects. Finally, a decoding module utilizes the restored features to reconstruct the normal texture background. In addition, to improve inspection performance, a two-phase training strategy is utilized for accurate defect restoration refinement, and we exploit a multimodal inspection method to achieve noise-robust defect localization. We verify our method through extensive experiments and test its practical deployment in collaborative edge--cloud intelligent manufacturing scenarios by means of a multilevel detection method, demonstrating that FMR-Net exhibits state-of-the-art inspection accuracy and shows great potential for use in edge-computing-enabled smart industries.


title: MultiEarth 2022 Deforestation Challenge -- ForestGump

abstract: The estimation of deforestation in the Amazon Forest is challenge task because of the vast size of the area and the difficulty of direct human access. However, it is a crucial problem in that deforestation results in serious environmental problems such as global climate change, reduced biodiversity, etc. In order to effectively solve the problems, satellite imagery would be a good alternative to estimate the deforestation of the Amazon. With a combination of optical images and Synthetic aperture radar (SAR) images, observation of such a massive area regardless of weather conditions become possible. In this paper, we present an accurate deforestation estimation method with conventional UNet and comprehensive data processing. The diverse channels of Sentinel-1, Sentinel-2 and Landsat 8 are carefully selected and utilized to train deep neural networks. With the proposed method, deforestation status for novel queries are successfully estimated with high accuracy.


title: On Local Linear Convergence of Projected Gradient Descent for Unit-Modulus Least Squares

abstract: The unit-modulus least squares (UMLS) problem has a wide spectrum of applications in signal processing, e.g., phase-only beamforming, phase retrieval, radar code design, and sensor network localization. Scalable first-order methods such as projected gradient descent (PGD) have recently been studied as a simple yet efficient approach to solving the UMLS problem. Existing results on the convergence of PGD for UMLS often focus on global convergence to stationary points. As a non-convex problem, only a sublinear convergence rate has been established. However, these results do not explain the fast convergence of PGD frequently observed in practice. This manuscript presents a novel analysis of convergence of PGD for UMLS, justifying the linear convergence behavior of the algorithm near the solution. By exploiting the local structure of the objective function and the constraint set, we establish an exact expression for the convergence rate and characterize the conditions for linear convergence. Simulations show that our theoretical analysis corroborates numerical examples. Furthermore, variants of PGD with adaptive step sizes are proposed based on the new insight revealed in our convergence analysis. The variants show substantial acceleration in practice.


title: Robust Bayesian Recourse

abstract: Algorithmic recourse aims to recommend an informative feedback to overturn an unfavorable machine learning decision. We introduce in this paper the Bayesian recourse, a model-agnostic recourse that minimizes the posterior probability odds ratio. Further, we present its min-max robust counterpart with the goal of hedging against future changes in the machine learning model parameters. The robust counterpart explicitly takes into account possible perturbations of the data in a Gaussian mixture ambiguity set prescribed using the optimal transport (Wasserstein) distance. We show that the resulting worst-case objective function can be decomposed into solving a series of two-dimensional optimization subproblems, and the min-max recourse finding problem is thus amenable to a gradient descent algorithm. Contrary to existing methods for generating robust recourses, the robust Bayesian recourse does not require a linear approximation step. The numerical experiment demonstrates the effectiveness of our proposed robust Bayesian recourse facing model shifts. Our code is available at https://github.com/VinAIResearch/robust-bayesian-recourse.


title: Coregularity of Fano varieties

abstract: The regularity of a Fano variety, denoted by ${\rm reg}(X)$, is the largest dimension of the dual complex of a log Calabi--Yau structure on $X$. The coregularity is defined to be \[ {\rm coreg}(X):= \dim X - {\rm reg}(X)-1. \] The coregularity is the complementary dimension of the regularity. We expect that the coregularity of a Fano variety governs, to a large extent, the geometry of $X$. In this note, we review the history of Fano varieties, give some examples, survey some important theorems, introduce the coregularity, and propose several problems regarding this invariant of Fano varieties.


title: Interpreting Graph-based Sybil Detection Methods as Low-Pass Filtering

abstract: Online social networks (OSNs) are threatened by Sybil attacks, which create fake accounts (also called Sybils) on OSNs and use them for various malicious activities. Therefore, Sybil detection is a fundamental task for OSN security. Most existing Sybil detection methods are based on the graph structure of OSNs, and various methods have been proposed recently. However, although almost all methods have been compared experimentally in terms of detection performance and noise robustness, theoretical understanding of them is still lacking. In this study, we show that existing graph-based Sybil detection methods can be interpreted in a unified framework of low-pass filtering. This framework enables us to theoretically compare and analyze each method from two perspectives: filter kernel properties and the spectrum of shift matrices. Our analysis reveals that the detection performance of each method depends on how well low-pass filtering can extract low frequency components and remove noisy high frequency components. Furthermore, on the basis of the analysis, we propose a novel Sybil detection method called SybilHeat. Numerical experiments on synthetic graphs and real social networks demonstrate that SybilHeat performs consistently well on graphs with various structural properties. This study lays a theoretical foundation for graph-based Sybil detection and leads to a better understanding of Sybil detection methods.


title: Non-Hermitian skin effect and self-acceleration

abstract: Non-Hermitian systems exhibit nontrivial band topology and a strong sensitivity of the energy spectrum on the boundary conditions. Remarkably, a macroscopic number of bulk states get squeezed toward the lattice edges under open boundary conditions, an effect dubbed the non-Hermitian skin effect (NHSE). A well-established dynamical signature of the NHSE in real space is the directional bulk flow (or persistent current) for arbitrary initial excitation of the system, which is observed at long times. Here we unravel a different dynamical signature of the NHSE in real space that manifests itself in the {\em early-time} dynamics of the system, namely self-acceleration of the wave function. Self-acceleration is demonstrated to occur rather generally in single--band lattice models probed by single-site excitation, where the acceleration turns out to be proportional to the area enclosed by the energy spectrum of the Bloch Hamiltonian under periodic boundary conditions. The observation of wave packet self-acceleration at early times is a clear signature of the NHSE and should be experimentally accessible using synthetic non-Hermitian matter, for example in discrete-time photonic quantum walks.


title: Learning Distribution Grid Topologies: A Tutorial

abstract: Unveiling feeder topologies from data is of paramount importance to advance situational awareness and proper utilization of smart resources in power distribution grids. This tutorial summarizes, contrasts, and establishes useful links between recent works on topology identification and detection schemes that have been proposed for power distribution grids. The primary focus is to highlight methods that overcome the limited availability of measurement devices in distribution grids, while enhancing topology estimates using conservation laws of power-flow physics and structural properties of feeders. Grid data from phasor measurement units or smart meters can be collected either passively in the traditional way, or actively, upon actuating grid resources and measuring the feeder's voltage response. Analytical claims on feeder identifiability and detectability are reviewed under disparate meter placement scenarios. Such topology learning claims can be attained exactly or approximately so via algorithmic solutions with various levels of computational complexity, ranging from least-squares fits to convex optimization problems, and from polynomial-time searches over graphs to mixed-integer programs. Although the emphasis is on radial single-phase feeders, extensions to meshed and/or multiphase circuits are sometimes possible and discussed. This tutorial aspires to provide researchers and engineers with knowledge of the current state-of-the-art in tractable distribution grid learning and insights into future directions of work.


title: Device-independent Quantum Fingerprinting for Large Scale Localization

abstract: Although RF fingerprinting is one of the most commonly used techniques for localization, deploying it in a ubiquitous manner requires addressing the challenge of supporting a large number of heterogeneous devices and their variations. We present QHFP, a device-independent quantum fingerprint matching algorithm that addresses two of the issues for realizing worldwide ubiquitous large-scale location tracking systems: storage space and running time as well as devices heterogeneity. In particular, we present a quantum algorithm with a complexity that is exponentially better than the classical techniques, both in space and running time. QHFP also has provisions for handling the inherent localization error due to building the large-scale fingerprint using heterogeneous devices. We give the details of the entire system starting from extracting device-independent features from the raw RSS, mapping the classical feature vectors to their quantum counterparts, and showing a quantum cosine similarity algorithm for fingerprint matching. We have implemented our quantum algorithm and deployed it in a real testbed using the IBM Quantum machine simulator. Results confirm the ability of QHFP to obtain the correct estimated location with an exponential improvement in space and running time compared to the traditional classical counterparts. In addition, the proposed device-independent features lead to more than 20% better accuracy in median error. This highlights the promise of our algorithm for future ubiquitous large-scale worldwide device-independent fingerprinting localization systems.


title: Proximity Graph Maintenance for Fast Online Nearest Neighbor Search

abstract: Approximate Nearest Neighbor (ANN) search is a fundamental technique for (e.g.,) the deployment of recommender systems. Recent studies bring proximity graph-based methods into practitioners' attention -- proximity graph-based methods outperform other solutions such as quantization, hashing, and tree-based ANN algorithm families. In current recommendation systems, data point insertions, deletions, and queries are streamed into the system in an online fashion as users and items change dynamically. As proximity graphs are constructed incrementally by inserting data points as new vertices into the graph, online insertions and queries are well-supported in proximity graph. However, a data point deletion incurs removing a vertex from the proximity graph index, while no proper graph index updating mechanisms are discussed in previous studies. To tackle the challenge, we propose an incremental proximity graph maintenance (IPGM) algorithm for online ANN. IPGM supports both vertex deletion and insertion on proximity graphs. Given a vertex deletion request, we thoroughly investigate solutions to update the connections of the vertex. The proposed updating scheme eliminates the performance drop in online ANN methods on proximity graphs, making the algorithm suitable for practical systems.


title: Spin Peierls transition of $J_{1}-J_{2}$ and extended models with ferromagnetic $J_{1}$.Sublattice dimerization and thermodynamics of zigzag chains in $\beta$-TeVO$_{4}$

abstract: The spin$-1/2$ chain with ferromagnetic exchange $J_1 < 0$ between first neighbors and antiferromagnetic $J_2 > 0$ between second neighbors supports two spin-Peierls (SP) instabilities depending on the frustration $\alpha = J_2/\vert J_1\vert$. Instead of chain dimerization with two spins per unit cell, $J_1-J_2$ models with $\alpha > 0.65$ and linear spin-phonon coupling are unconditionally unstable to sublattice dimerization with four spins per unit cell. Unequal $J_1$ to neighbors to the right and left extends the model to gapped ($\gamma > 0$) chains with conditional SP transitions at $T_{SP}$ to dimerized sublattices and a weaker specific heat $C(T)$ anomaly. The spin susceptibility $\chi(T)$ and $C(T)$ are obtained in the thermodynamic limit by a combination of exact diagonalization of small systems with $\alpha > 0.65$ and density matrix renormalization group (DMRG) calculations of systems up to $N \sim 100$ spins. Both $J_1-J_2$ and $\gamma > 0$ models account quantitatively for $\chi(T)$ and $C(T)$ in the paramagnetic phase of $\beta$-TeVO$_{4}$ for $T > 8$ K, but lower $T$ indicates a gapped chain instead of a $J_1-J_2$ model as previously thought. The same parameters and $T_{SP} = 4.6$ K generate a $C(T)/T$ anomaly that reproduces the anomaly at the $4.6$ K transition of $\beta$-TeVO$_{4}$, but not the weak $\chi(T)$ signature.


title: Topological equivalence canonical forms for linear multivariable systems without control

abstract: In this paper, we discuss the classification problem for linear time-invariant multivariable systems without control. It turns out that the observability and stability are invariant for topological equivalent systems. Abstract results concerning system decomposition according to eigenvalues and observability are obtained. Finally, as concrete examples, the topological equivalence canonical forms for a three dimensional system equipped with a scalar observation are presented explicitly.


title: Transport evidence of superlattice Dirac cones in graphene monolayer on twisted boron nitride substrate

abstract: Strong band engineering in two-dimensional (2D) materials can be achieved by introducing moir\'e superlattices, leading to the emergence of various novel quantum phases with promising potential for future applications. Presented works to create moir\'e patterns have been focused on a twist embedded inside channel materials or between channel and substrate. However, the effects of a twist inside the substrate materials on the unaligned channel materials are much less explored. In this work, we report the realization of superlattice multi-Dirac cones with the coexistence of the main Dirac cone in a monolayer graphene (MLG) on a ~0.14{\deg} twisted double-layer boron nitride (tBN) substrate. Transport measurements reveal the emergence of three pairs of superlattice Dirac points around the pristine Dirac cone, featuring multiple metallic or insulating states surrounding the charge neutrality point (CNP). Displacement field tunable and electron-hole asymmetric Fermi velocities are indicated from temperature dependent measurements, along with the gapless dispersion of superlattice Dirac cones. The experimental observation of multiple Dirac cones in MLG/tBN heterostructure is supported by band structure calculations employing periodic moir\'e potential. Our results unveil the potential of using twisted substrate as a universal band engineering technique for 2D materials regardless of lattice matching and crystal orientations, which might pave the way for a new branch of twistronics.


title: Learning Debiased Classifier with Biased Committee

abstract: Neural networks are prone to be biased towards spurious correlations between classes and latent attributes exhibited in a major portion of training data, which ruins their generalization capability. We propose a new method for training debiased classifiers with no spurious attribute label. The key idea is to employ a committee of classifiers as an auxiliary module that identifies bias-conflicting data, i.e., data without spurious correlation, and assigns large weights to them when training the main classifier. The committee is learned as a bootstrapped ensemble so that a majority of its classifiers are biased as well as being diverse, and intentionally fail to predict classes of bias-conflicting data accordingly. The consensus within the committee on prediction difficulty thus provides a reliable cue for identifying and weighting bias-conflicting data. Moreover, the committee is also trained with knowledge transferred from the main classifier so that it gradually becomes debiased along with the main classifier and emphasizes more difficult data as training progresses. On five real-world datasets, our method outperforms prior arts using no spurious attribute label like ours and even surpasses those relying on bias labels occasionally.


title: Quantization Robust Federated Learning for Efficient Inference on Heterogeneous Devices

abstract: Federated Learning (FL) is a machine learning paradigm to distributively learn machine learning models from decentralized data that remains on-device. Despite the success of standard Federated optimization methods, such as Federated Averaging (FedAvg) in FL, the energy demands and hardware induced constraints for on-device learning have not been considered sufficiently in the literature. Specifically, an essential demand for on-device learning is to enable trained models to be quantized to various bit-widths based on the energy needs and heterogeneous hardware designs across the federation. In this work, we introduce multiple variants of federated averaging algorithm that train neural networks robust to quantization. Such networks can be quantized to various bit-widths with only limited reduction in full precision model accuracy. We perform extensive experiments on standard FL benchmarks to evaluate our proposed FedAvg variants for quantization robustness and provide a convergence analysis for our Quantization-Aware variants in FL. Our results demonstrate that integrating quantization robustness results in FL models that are significantly more robust to different bit-widths during quantized on-device inference.


title: Parallel Pre-trained Transformers (PPT) for Synthetic Data-based Instance Segmentation

abstract: Recently, Synthetic data-based Instance Segmentation has become an exceedingly favorable optimization paradigm since it leverages simulation rendering and physics to generate high-quality image-annotation pairs. In this paper, we propose a Parallel Pre-trained Transformers (PPT) framework to accomplish the synthetic data-based Instance Segmentation task. Specifically, we leverage the off-the-shelf pre-trained vision Transformers to alleviate the gap between natural and synthetic data, which helps to provide good generalization in the downstream synthetic data scene with few samples. Swin-B-based CBNet V2, SwinL-based CBNet V2 and Swin-L-based Uniformer are employed for parallel feature learning, and the results of these three models are fused by pixel-level Non-maximum Suppression (NMS) algorithm to obtain more robust results. The experimental results reveal that PPT ranks first in the CVPR2022 AVA Accessibility Vision and Autonomy Challenge, with a 65.155% mAP.


title: A Multimodal Perceived Stress Classification Framework using Wearable Physiological Sensors

abstract: Mental stress is a largely prevalent condition known to affect many people and could be a serious health concern. The quality of human life can be significantly improved if mental health is properly managed. Towards this, we propose a robust method for perceived stress classification, which is based on using multimodal data, acquired from forty subjects, including three (electroencephalography (EEG), galvanic skin response (GSR), and photoplethysmography (PPG)) physiological modalities. The data is acquired for three minutes duration in an open eyes condition. A perceived stress scale (PSS) questionnaire is used to record the stress of participants, which is then used to assign stress labels (two- and three classes). Time (four from GSR and PPG signals) and frequency (four from EEG signal) domain features are extracted. Among EEG based features, using a frequency band selection algorithm for selecting the optimum EEG frequency subband, the theta band was selected. Further, a wrapper-based method is used for optimal feature selection. Human stress level classification is performed using three different classifiers, which are fed with a fusion of the selected set of features from three modalities. A significant accuracy (95% for two classes, and 77.5% for three classes) was achieved using the multilayer perceptron classifier.


title: Connecting Algorithmic Research and Usage Contexts: A Perspective of Contextualized Evaluation for Explainable AI

abstract: Recent years have seen a surge of interest in the field of explainable AI (XAI), with a plethora of algorithms proposed in the literature. However, a lack of consensus on how to evaluate XAI hinders the advancement of the field. We highlight that XAI is not a monolithic set of technologies -- researchers and practitioners have begun to leverage XAI algorithms to build XAI systems that serve different usage contexts, such as model debugging and decision-support. Algorithmic research of XAI, however, often does not account for these diverse downstream usage contexts, resulting in limited effectiveness or even unintended consequences for actual users, as well as difficulties for practitioners to make technical choices. We argue that one way to close the gap is to develop evaluation methods that account for different user requirements in these usage contexts. Towards this goal, we introduce a perspective of contextualized XAI evaluation by considering the relative importance of XAI evaluation criteria for prototypical usage contexts of XAI. To explore the context dependency of XAI evaluation criteria, we conduct two survey studies, one with XAI topical experts and another with crowd workers. Our results urge for responsible AI research with usage-informed evaluation practices, and provide a nuanced understanding of user requirements for XAI in different usage contexts.


title: DaisyRec 2.0: Benchmarking Recommendation for Rigorous Evaluation

abstract: Recently, one critical issue looms large in the field of recommender systems -- there are no effective benchmarks for rigorous evaluation -- which consequently leads to unreproducible evaluation and unfair comparison. We, therefore, conduct studies from the perspectives of practical theory and experiments, aiming at benchmarking recommendation for rigorous evaluation. Regarding the theoretical study, a series of hyper-factors affecting recommendation performance throughout the whole evaluation chain are systematically summarized and analyzed via an exhaustive review on 141 papers published at eight top-tier conferences within 2017-2020. We then classify them into model-independent and model-dependent hyper-factors, and different modes of rigorous evaluation are defined and discussed in-depth accordingly. For the experimental study, we release DaisyRec 2.0 library by integrating these hyper-factors to perform rigorous evaluation, whereby a holistic empirical study is conducted to unveil the impacts of different hyper-factors on recommendation performance. Supported by the theoretical and experimental studies, we finally create benchmarks for rigorous evaluation by proposing standardized procedures and providing performance of ten state-of-the-arts across six evaluation metrics on six datasets as a reference for later study. Overall, our work sheds light on the issues in recommendation evaluation, provides potential solutions for rigorous evaluation, and lays foundation for further investigation.


title: Play It Cool: Dynamic Shifting Prevents Thermal Throttling

abstract: Machine learning (ML) has entered the mobile era where an enormous number of ML models are deployed on edge devices. However, running common ML models on edge devices continuously may generate excessive heat from the computation, forcing the device to "slow down" to prevent overheating, a phenomenon called thermal throttling. This paper studies the impact of thermal throttling on mobile phones: when it occurs, the CPU clock frequency is reduced, and the model inference latency may increase dramatically. This unpleasant inconsistent behavior has a substantial negative effect on user experience, but it has been overlooked for a long time. To counter thermal throttling, we propose to utilize dynamic networks with shared weights and dynamically shift between large and small ML models seamlessly according to their thermal profile, i.e., shifting to a small model when the system is about to throttle. With the proposed dynamic shifting, the application runs consistently without experiencing CPU clock frequency degradation and latency increase. In addition, we also study the resulting accuracy when dynamic shifting is deployed and show that our approach provides a reasonable trade-off between model latency and model accuracy.


title: Designing Filter Functions of Frequency-Modulated Pulses for High-Fidelity Two-Qubit Gates in Ion Chains

abstract: High-fidelity two-qubit gates in quantum computers are often hampered by fluctuating experimental parameters. The effects of time-varying parameter fluctuations lead to coherent noise on the qubits, which can be suppressed by designing control signals with appropriate filter functions. Here, we develop filter functions for M{\o}lmer-S{\o}rensen gates of trapped-ion quantum computers that accurately predict the change in gate error due to small parameter fluctuations at any frequency. We then design the filter functions of frequency-modulated laser pulses, and compare this method with pulses that are robust to static offsets of the motional-mode frequencies. Experimentally, we measure the noise spectrum of the motional modes and use it for designing the filter functions, which improves the gate fidelity from 99.23(7)% to 99.55(7)% in a five-ion chain.


title: Faint debris disk peering through superflare light echo

abstract: We present the detectability of strong mid-infrared (MIR) light echoes from faint debris disks illuminated by bright superflares of M-dwarf stars. Circumstellar dust grains around an M-dwarf star are simultaneously heated by superflare radiation. One can thus expect their re-emission in the MIR wavelength regime. According to our model calculations for the Proxima Centauri system, the nearest M-dwarf star system, thermal emission echos from an inner ($r < 1~{\rm au}$) debris disk with a total mass down to that of the solar system's zodiacal dust are expected to emerge at wavelengths longer than $\sim 10~{\rm \mu m}$ with a strength comparable to or greater than a white-light superflare. Also, observable echos from inner- ($r \lesssim 0.5~{\rm au}$) debris disks irradiated by energetic ($\gtrsim 10^{33.5}~{\rm ergs}$) superflares of nearby ($D < 3~{\rm pc}$) M-dwarfs are expected. Our simulation results indicate that superflare monitoring using high-speed optical instruments like OASES and its prompt follow-up using ground-based MIR instruments, such as TAO/MIMIZUKU, can detect these MIR light echoes from debris disks around solar neighborhood flare stars.


title: Multiple synchronization transitions in simplicial complexes on multilayer networks

abstract: The presence of higher-order interactions (simplicial complexes) in networks and certain types of multilayer networks has shown to lead to the abrupt first-order transition to synchronization. We discover that simplicial complexes on multilayer networks can yield multiple basins of attraction, leading to multiple routes to the abrupt first-order transition to synchronization. Using the Ott-Antonsen approach, we develop an analytical framework for simplicial complexes on multilayer networks, which thoroughly explains the origin and stability of all possible dynamical states, including multiple synchronization transitions, of the associated coupled dynamics. The study illustrating rich dynamical behaviours could be pivotal to comprehending the impacts of higher-order interactions on dynamics of complex real-world networks, such as brain, social and technological, which have inherent multilayer networks architecture.


title: More on Boundary Conditions for Warped AdS3 in GMG

abstract: In this paper, we study the Aggrawal, Ciambelli, Detournay, and Somerhausen (ACDS) boundary conditions ref[42] for Warped AdS$_3$ (WAdS$_3$) in the framework of General Massive Gravity (GMG) in the quadratic ensemble. We construct the phase space, the asymptotic structure, and the asymptotic symmetry algebra. We know that the global surface charges are finite, but not integrable, and also we find the conditions to make them integrable. In addition, to confirm that the phase space has the same symmetry as that of Warped Conformal Field Theory (WCFT), we compare the bulk entropy of Warped BTZ (WBTZ) black holes with the number of states belonging to a WCFT.


title: Annihilator of $({\mathfrak g},K)$-modules of ${\mathrm O}(p,q)$

abstract: Let ${\mathfrak g}$ denote the complexified Lie algebra of $G={\mathrm O}(p,q)$ and $K$ a maximal compact subgroup of $G$. In the previous paper, we constructed $({\mathfrak g},K)$-modules associated to the finite-dimensional representation of ${\mathfrak sl}_2$ of dimension $m+1$, which we denote by $M^{+}(m)$ and $M^{-}(m)$. The aim of this paper is to show that the annihilator of $M^{\pm}(m)$ is the Joseph ideal if and only if $m=0$. We shall see that an element of the symmetric of square $S^{2}({\mathfrak g})$ that is given in terms of the Casimir elements of ${\mathfrak g}$ and the complexified Lie algebra of $K$ plays a critical role in the proof of the main result.


title: The Wronskian and the variation of parameters method in the theory of linear Stieltjes differential equations of second order

abstract: In this work, we define the notions of Wronskian and simplified Wronskian for Stieltjes derivatives and study some of their properties in a similar manner to the context of time scales or the usual derivative. Later, we use these tools to investigate second order linear differential equations with Stieltjes derivatives to find linearly independent solutions, as well as to derive the variation of parameters method for problems with $g$-continuous coefficients. This theory is later illustrated with some examples such as the study of the one-dimensional linear Helmholtz equation with piecewise-constant coefficients.


title: Ensemble minimaxity of James-Stein estimators

abstract: This article discusses estimation of a multivariate normal mean based on heteroscedastic observations. Under heteroscedasticity, estimators shrinking more on the coordinates with larger variances, seem desirable. Although they are not necessarily minimax in the ordinary sense, we show that such James-Stein type estimators can be ensemble minimax, minimax with respect to the ensemble risk, related to empirical Bayes perspective of Efron and Morris.


title: Nonperturbative approach to the nonlinear photon echo of V-type system

abstract: The analysis of nonlinear spectroscopy, widely used to study the dynamics and structures of condensed-phase matter, typically employs a perturbative approach noticing the weak interaction between the laser and the matter of interest. However, such perturbative approach is no longer applicable once the interaction between the laser and the matter is strong. We adapt the method of quantum dynamical evolution into the calculation of signal and present the response formalism of the nonlinear spectroscopy in a nonperturbative approach. In this new approach, we demonstrate that in addition to the third-order term in the perturbative method, the higher-order terms have essential contributions to the nonlinear signal of the two-pulse and three-pulse photon echo (2PPE and 3PPE). The detailed calculations are demonstrated with the example of a three-level V-type system, which is widely used in the studies of quantum optics. We consider the effect of the environment via a pure dephasing mechanism with both the localized modes of each molecule and the shared modes between molecules.


title: Robust Universal Adversarial Perturbations

abstract: Universal Adversarial Perturbations (UAPs) are imperceptible, image-agnostic vectors that cause deep neural networks (DNNs) to misclassify inputs with high probability. In practical attack scenarios, adversarial perturbations may undergo transformations such as changes in pixel intensity, scaling, etc. before being added to DNN inputs. Existing methods do not create UAPs robust to these real-world transformations, thereby limiting their applicability in practical attack scenarios. In this work, we introduce and formulate UAPs robust against real-world transformations. We build an iterative algorithm using probabilistic robustness bounds and construct such UAPs robust to transformations generated by composing arbitrary sub-differentiable transformation functions. We perform an extensive evaluation on the popular CIFAR-10 and ILSVRC 2012 datasets measuring our UAPs' robustness under a wide range common, real-world transformations such as rotation, contrast changes, etc. We further show that by using a set of primitive transformations our method can generalize well to unseen transformations such as fog, JPEG compression, etc. Our results show that our method can generate UAPs up to 23% more robust than state-of-the-art baselines.


title: Anomalous thermal expansion in a CuAl2-type superconductor CoZr2

abstract: In this work, we show that the CuAl2-type superconductor CoZr2 and alloyed systems exhibit anomalous thermal expansion in a wide temperature range. We performed neutron powder diffraction and X-ray powder diffraction on CoZr2 and observed remarkably anisotropic thermal expansion with a c-axis negative thermal expansion constant of {\alpha}c < -15 {\mu}K-1 in a wide temperature range of T = 50-573 K. With decreasing temperature, the lattice constant a decreases, while the lattice constant c continuously increases in CoZr2. The origin of the anisotropic shrinkage/expansion of the a-axis/c-axis by cooling is explained by the small change in the Co-Zr bond and the systematic decrease in the Zr-Co-Zr angle. Similar thermal expansion was observed in alloyed systems, (Fe,Co,Ni)Zr2 and (Fe,Co,Ni,Rh,Ir)Zr2, which suggests that the phenomenon is common feature in the TrZr2 system. We propose that zero-thermal expansion metals would be achieved by optimizing the contrasting thermal expansion of a-axis and c-axis in TrZr2.


title: Bregman Power k-Means for Clustering Exponential Family Data

abstract: Recent progress in center-based clustering algorithms combats poor local minima by implicit annealing, using a family of generalized means. These methods are variations of Lloyd's celebrated $k$-means algorithm, and are most appropriate for spherical clusters such as those arising from Gaussian data. In this paper, we bridge these algorithmic advances to classical work on hard clustering under Bregman divergences, which enjoy a bijection to exponential family distributions and are thus well-suited for clustering objects arising from a breadth of data generating mechanisms. The elegant properties of Bregman divergences allow us to maintain closed form updates in a simple and transparent algorithm, and moreover lead to new theoretical arguments for establishing finite sample bounds that relax the bounded support assumption made in the existing state of the art. Additionally, we consider thorough empirical analyses on simulated experiments and a case study on rainfall data, finding that the proposed method outperforms existing peer methods in a variety of non-Gaussian data settings.


title: UniCon+: ICTCAS-UCAS Submission to the AVA-ActiveSpeaker Task at ActivityNet Challenge 2022

abstract: This report presents a brief description of our winning solution to the AVA Active Speaker Detection (ASD) task at ActivityNet Challenge 2022. Our underlying model UniCon+ continues to build on our previous work, the Unified Context Network (UniCon) and Extended UniCon which are designed for robust scene-level ASD. We augment the architecture with a simple GRU-based module that allows information of recurring identities to flow across scenes through read and update operations. We report a best result of 94.47% mAP on the AVA-ActiveSpeaker test set, which continues to rank first on this year's challenge leaderboard and significantly pushes the state-of-the-art.


title: First-principles method justifying the Dieke diagram and beyond

abstract: We present a method to determine the model Hamiltonians to treat rare-earth multiplets in solids from the results of the quasiparticle self-consistent \textit{GW} (QSGW) method. We apply the method to trivalent Eu compounds EuCl$_3$, EuN, and Eu-doped GaN after examining free rare-earth ions. We solve the model Hamiltonian by the exact diagonalization. Our results justify applying the Dieke diagram to ions in solid, while its limitation is clarified. In particular, we show that the crystal fields cause sizable breaking of the Russell-Saunders coupling.


title: Improved Poincar\'e-Hardy inequalities on certain subspaces of the Sobolev space

abstract: We prove an improved version of Poincar\'e-Hardy inequality in suitable subspaces of the Sobolev space on the hyperbolic space via Bessel pairs. As a consequence, we obtain a new Hardy type inequality with an improved constant (than the usual Hardy constant). Furthermore, we derive a new kind of improved Caffarelli-Kohn-Nirenberg inequality on the hyperbolic space.


title: Robust mixed finite element methods for a quad-curl singular perturbation problem

abstract: Robust mixed finite element methods are developed for a quad-curl singular perturbation problem. Lower order H(grad curl)-nonconforming but H(curl)-conforming finite elements are constructed, which are extended to nonconforming finite element Stokes complexes and the associated commutative diagrams. Then H(grad curl)-nonconforming finite elements are employed to discretize the quad-curl singular perturbation problem, which possess the sharp and uniform error estimates with respect to the perturbation parameter. The Nitsche's technique is exploited to achieve the optimal convergence rate in the case of the boundary layers. Numerical results are provided to verify the theoretical convergence rates. In addition, the regularity of the quad-curl singular perturbation problem is established.


title: Analysis of sojourn time distributions for semi-Markov models

abstract: This report aims to characterise certain sojourn time distributions that naturally arise from semi-Markov models. To this end, it describes a family of discrete distributions that extend the geometric distribution for both finite and infinite time. We show formulae for the moment generating functions and the mean and variance, and give specific examples. We consider specific parametrised subfamilies; the linear factor model and simple polynomial factor models. We numerically simulate drawing from these distributions and solving for the Maximum Likelihood Estimators (MLEs) for the parameters of each subfamily, including for very small sample sizes. The report then describes the determination of the bias and variance of the MLEs, and shows how they relate to the Fisher information, where they exhibit appropriate concentration effects as the sample size increases. Finally, the report addresses an application of these methods to experimental data, which shows a strong fit with the simple polynomial factor model.


title: Nearest Neighbor Classification based on Imbalanced Data: A Statistical Approach

abstract: When the competing classes in a classification problem are not of comparable size, many popular classifiers exhibit a bias towards larger classes, and the nearest neighbor classifier is no exception. To take care of this problem, we develop a statistical method for nearest neighbor classification based on such imbalanced data sets. First, we construct a classifier for the binary classification problem and then extend it for classification problems involving more than two classes. Unlike the existing oversampling or undersampling methods, our proposed classifiers do not need to generate any pseudo observations or remove any existing observations, hence the results are exactly reproducible. We establish the Bayes risk consistency of these classifiers under appropriate regularity conditions. Their superior performance over the existing methods is amply demonstrated by analyzing several benchmark data sets.


title: Squeezing Limit of the Josephson Ring Modulator as a Non-Degenerate Parametric Amplifier

abstract: Two-mode squeezed vacuum states are a crucial component of quantum technologies. In the microwave domain, they can be produced by Josephson ring modulator which acts as a three-wave mixing non-degenerate parametric amplifier. Here, we solve the master equation of three bosonic modes describing the Josephson ring modulator with a novel numerical method to compute squeezing of output fields and gain at low signal power. We show that the third-order interaction from the three-wave mixing process intrinsically limits squeezing and reduces gain. Since our results are related to other general cavity-based three-wave mixing processes, these imply that any non-degenerate parametric amplifier will have an intrinsic squeezing limit in the output fields.


title: Dual CFT on Dyonic Kerr-Sen black hole and its gauged and ultraspinning counterparts

abstract: We demonstrate that rotating dyonic black holes in Einstein-Maxwell-Dilaton-Axion (EMDA) theory is holographically dual with 2D conformal field theory. We first investigate the duality on dyonic Kerr-Sen black hole with non-vanishing dilaton and axion charges. The near-horizon geometry of extremal dyonic Kerr-Sen spacetime possesses the $SL(2,R) \times U (1)$ isometry allowing to employ the asymptotic symmetry group method to find the corresponding central charge. We find two different branches of the mass which correspond to CFT with two different central charges $c_L=12am_+$ and $c_L=12am_-$. The exact agreement between the Bekenstain-Hawking entropy and entropy from CFT is then found also in two different branches of extremal entropy. Furthermore, we demonstrate that this duality is robust insofar for non-zero AdS length. We show that the duality holds for both dyonic Kerr-Sen-AdS black hole and its ultraspinning counterpart. In both cases, we obtain the expected entropy from CFT which matches exactly with the Bekenstein-Hawking entropy. Since dyonic and axion charges are proportional to $1/m$, we note that there are possibly more than two branches of the central charge for non-zero AdS length in terms of mass. When we turn off dyonic charge, the axion charge vanishes showing the results of Kerr-Sen-AdS black hole. Moreover, when we assume the equal electromagnetic charges, it recovers the results when the dilaton charge vanishes. In the end, we compare the results of dyonic Kerr-Sen-AdS black hole and its ultraspinning counterpart to those of the dyonic Kerr-Newman-AdS black hole and the ultraspinning counterpart. Depending on the dyonic charge parameters, it is found that extremal ultraspinning dyonic Kerr-Sen-AdS black hole is not always superentropic.


title: NVIDIA-UNIBZ Submission for EPIC-KITCHENS-100 Action Anticipation Challenge 2022

abstract: In this report, we describe the technical details of our submission for the EPIC-Kitchen-100 action anticipation challenge. Our modelings, the higher-order recurrent space-time transformer and the message-passing neural network with edge learning, are both recurrent-based architectures which observe only 2.5 seconds inference context to form the action anticipation prediction. By averaging the prediction scores from a set of models compiled with our proposed training pipeline, we achieved strong performance on the test set, which is 19.61% overall mean top-5 recall, recorded as second place on the public leaderboard.


title: Decentralized Gossip-Based Stochastic Bilevel Optimization over Communication Networks

abstract: Bilevel optimization have gained growing interests, with numerous applications found in meta learning, minimax games, reinforcement learning, and nested composition optimization. This paper studies the problem of distributed bilevel optimization over a network where agents can only communicate with neighbors, including examples from multi-task, multi-agent learning and federated learning. In this paper, we propose a gossip-based distributed bilevel learning algorithm that allows networked agents to solve both the inner and outer optimization problems in a single timescale and share information via network propagation. We show that our algorithm enjoys the $\mathcal{O}(\frac{1}{K \epsilon^2})$ per-agent sample complexity for general nonconvex bilevel optimization and $\mathcal{O}(\frac{1}{K \epsilon})$ for strongly convex objective, achieving a speedup that scales linearly with the network size. The sample complexities are optimal in both $\epsilon$ and $K$. We test our algorithm on the examples of hyperparameter tuning and decentralized reinforcement learning. Simulated experiments confirmed that our algorithm achieves the state-of-the-art training efficiency and test accuracy.


title: Exploratory Study of Transverse Proximity Effect around BAL Quasars

abstract: We aim to find out the reason why there exists an anisotropic HI absorption around quasars; i.e., the environments around quasars are highly biased toward producing strong HI absorption in transverse direction while there exists a significant deficit of HI absorption within a few Mpc of quasars along line-of-sight. The most plausible explanation for this opposite trend is that the transverse direction is shadowed from the quasar UV radiation due to dust torus. However, a critical weakness of this idea is that we have no information on inclination angle of our sightline relative to the torus. In this study, we examine environments of quasars with broad absorption troughs in their spectra (i.e., BAL quasars) because it is widely believed that BAL troughs are observed if the central continuum is viewed from the side through their powerful outflows near the dust torus. With closely separated 12 projected quasar pairs at different redshift with separation angle of $\theta$$<$120$^{\prime\prime}$, we examine HI absorption at foreground BAL quasars in spectra of background quasars. We confirm there exist optically thick gas around two of 12 BAL quasars, and that the mean HI absorption strength is EW$_{\rm rest}$$\sim$1A. These are consistent to the past results around non-BAL quasars, although not statistically significant. However, the origins of optically thick HI absorbers around BAL and non-BAL quasars could be different since their column densities are different by $\sim$3 orders of magnitude. The larger sample would be required for narrowing down possible scenarios for the anisotropic HI absorption around quasars.


title: Critical and injective modules over skew polynomial rings

abstract: Let $R$ be a commutative local $k$-algebra of Krull dimension one, where $k$ is a field. Let $\alpha$ be a $k$-algebra automorphism of $R$, and define $S$ to be the skew polynomial algebra $R[\theta; \alpha]$. We offer, under some additional assumptions on $R$, a criterion for $S$ to have injective hulls of all simple $S$-modules locally Artinian - that is, for $S$ to satisfy property $(\diamond)$. It is easy and well known that if $\alpha$ is of finite order, then $S$ has this property, but in order to get the criterion when $\alpha$ has infinite order we found it necessary to classify all cyclic (Krull) critical $S$-modules in this case, a result which may be of independent interest. With the help of the above we show that $\hat{S}=k[[X]][\theta, \alpha]$ satisfies $(\diamond)$ for all $k$-algebra automorphisms $\alpha$ of $k[[X]]$.


title: Electronic Origin of Phase Stability in Mg-Zn-Y Alloys with a Long-Period Stacking Order

abstract: The origin of the phase stability of 18$R$ Mg-Zn-Y alloys with a long-period stacking order (LPSO) is studied using first-principles calculations. We calculate the heat of formation as a function of the number of Zn vacancies to discuss the role of Zn atoms. The calculated convex hull indicates that the Zn atoms in the LPSO alloys are stable even if they number about half of the Y atoms. The bonding state with Zn $p$ orbitals leads to the stability of the LPSO structure because the partial density of states of Mg nearest to the solute cluster forms a valley structure.


title: Groups acting on veering pairs and Kleinian groups

abstract: We show that some laminar group which has an invariant veering pair of laminations is a hyperbolic 3-orbifold group. On the way, we show that from a veering pair of laminations, one can construct a loom space (in the sense of Schleimer-Segerman) as a quotient. Our approach does not assume the existence of any 3-manifold to begin with so this is a geometrization-type result, and supersedes some of the results regarding the relation among veering triangulations, pseudo-Anosov flows, taut foliations in the literature.


title: Guided Diffusion Model for Adversarial Purification from Random Noise

abstract: In this paper, we propose a novel guided diffusion purification approach to provide a strong defense against adversarial attacks. Our model achieves 89.62% robust accuracy under PGD-L_inf attack (eps = 8/255) on the CIFAR-10 dataset. We first explore the essential correlations between unguided diffusion models and randomized smoothing, enabling us to apply the models to certified robustness. The empirical results show that our models outperform randomized smoothing by 5% when the certified L2 radius r is larger than 0.5.


title: Effect of charging-up on the uniformity of a single mask triple GEM detector

abstract: The Gas Electron Multiplier (GEM) detector is one of the advanced members of the Micro Pattern Gas Detector (MPGD) family, used in High Energy Physics (HEP) experiments as a tracking device due to its high rate handling capability and good spatial resolution. The uniformity in the performance of the detector is an essential criterion for any tracking device. The presence of the dielectric medium (Kapton) inside the active volume of the GEM chamber changes its behaviour when exposed to external irradiation. This phenomenon is known as the charging-up effect. In this article, the uniformity in terms of gain, energy resolution and count rate of a Single Mask (SM) triple GEM chamber of dimension 10 cm $\times$ 10 cm are reported for both the charged-up and uncharged GEM foils.


title: Gaining Insights on U.S. Senate Speeches Using a Time Varying Text Based Ideal Point Model

abstract: Estimating political positions of lawmakers has a long tradition in political science. We present the time varying text based ideal point model to study the political positions of lawmakers based on text data. In addition to identifying political positions, our model also provides insights into topical contents and their change over time. We use our model to analyze speeches given in the U.S. Senate between 1981 and 2017 and demonstrate how the results allow to conclude that partisanship between Republicans and Democrats increased in recent years. Further we investigate the political positions of speakers over time as well as at a specific point in time to identify speakers which are positioned at the extremes of their political party based on their speeches. The topics extracted are inspected to assess how their term compositions differ in dependence of the political position as well as how these term compositions change over time.


title: Feature Re-calibration based Multiple Instance Learning for Whole Slide Image Classification

abstract: Whole slide image (WSI) classification is a fundamental task for the diagnosis and treatment of diseases; but, curation of accurate labels is time-consuming and limits the application of fully-supervised methods. To address this, multiple instance learning (MIL) is a popular method that poses classification as a weakly supervised learning task with slide-level labels only. While current MIL methods apply variants of the attention mechanism to re-weight instance features with stronger models, scant attention is paid to the properties of the data distribution. In this work, we propose to re-calibrate the distribution of a WSI bag (instances) by using the statistics of the max-instance (critical) feature. We assume that in binary MIL, positive bags have larger feature magnitudes than negatives, thus we can enforce the model to maximize the discrepancy between bags with a metric feature loss that models positive bags as out-of-distribution. To achieve this, unlike existing MIL methods that use single-batch training modes, we propose balanced-batch sampling to effectively use the feature loss i.e., (+/-) bags simultaneously. Further, we employ a position encoding module (PEM) to model spatial/morphological information, and perform pooling by multi-head self-attention (PSMA) with a Transformer encoder. Experimental results on existing benchmark datasets show our approach is effective and improves over state-of-the-art MIL methods.


title: Symmetric Network with Spatial Relationship Modeling for Natural Language-based Vehicle Retrieval

abstract: Natural language (NL) based vehicle retrieval aims to search specific vehicle given text description. Different from the image-based vehicle retrieval, NL-based vehicle retrieval requires considering not only vehicle appearance, but also surrounding environment and temporal relations. In this paper, we propose a Symmetric Network with Spatial Relationship Modeling (SSM) method for NL-based vehicle retrieval. Specifically, we design a symmetric network to learn the unified cross-modal representations between text descriptions and vehicle images, where vehicle appearance details and vehicle trajectory global information are preserved. Besides, to make better use of location information, we propose a spatial relationship modeling methods to take surrounding environment and mutual relationship between vehicles into consideration. The qualitative and quantitative experiments verify the effectiveness of the proposed method. We achieve 43.92% MRR accuracy on the test set of the 6th AI City Challenge on natural language-based vehicle retrieval track, yielding the 1st place among all valid submissions on the public leaderboard. The code is available at https://github.com/hbchen121/AICITY2022_Track2_SSM.


title: VeriQBench: A Benchmark for Multiple Types of Quantum Circuits

abstract: In this paper, we introduce VeriQBench -- an open source benchmark for quantum circuits. It offers high-level quantum circuit abstractions of various circuit types, including 1) combinational, 2) dynamic, 3) sequential, and 4) variational quantum circuits, which cover almost all existing types of quantum circuits in the literature. Meanwhile, VeriQBench is a versatile benchmark which can be used in verifying quantum software for different applications, as is evidenced by the existing works including quantum circuit verification (e.g., equivalence checking [Hon+21a; WLY21] and model checking [Yin21]), simulation (e.g., fault simulation), testing (e.g., test pattern generation [CY22]) and debugging (e.g., runtime assertions [Li+20b]). All the circuits are described in OpenQASM and are validated on Qiskit and QCOR simulators. With the hope that it can be used by other researchers, VeriQBench is released at: https://github.com/Veri-Q/Benchmark.


title: The Covering Radius of the Third-Order Reed-Muller Code RM(3,7) is 20

abstract: We prove the covering radius of the third-order Reed-Muller code RM(3,7) is 20, which was previously known to be between 20 and 23 (inclusive). The covering radius of RM(3, 7) is the maximum third-order nonlinearity among all 7-variable Boolean functions. It was known that there exist 7-variable Boolean functions with third-order nonlinearity 20. We prove the third-order nonlinearity cannot achieve 21. According to the classification of the quotient space of RM(6,6)/RM(3,6), we classify all 7-variable Boolean functions into 66 types. Firstly, we prove 62 types (among 66) cannot have third-order nonlinearity 21; Secondly, we prove function of the remaining 4 types can be transformed into a type (6, 10) function, if its third-order nonlinearity is 21; Finally, we transform type (6, 10) functions into a specific form, and prove the functions in that form cannot achieve third-order nonlinearity 21 (with the assistance of computers). By the way, we prove that the affine transformation group over any finite field can be generated by two elements.


title: Semiconductor Bowtie Nanoantenna from Coupled Colloidal Quantum Dot Molecules

abstract: Top-down fabricated nanoantenna architectures of both metallic and dielectric materials demonstrated powerful functionalities for Raman and fluorescence enhancement with relevance to single molecule sensing, while inducing directionality of chromophore emission with implications for single photon sources. Herein, we synthesize the smallest bowtie nanoantenna by selective tip-to-tip fusion of two tetrahedral colloidal quantum dots (CQDs) forming a dimer. While the tetrahedral monomers emit non-polarized light, the bowtie architecture manifests nanoantenna functionality of enhanced emission polarization along the bowtie axis as predicted theoretically and revealed by single particle spectroscopy. Theory also predicts the formation of an electric-field hotspot at the bowtie epicenter. This is utilized for selective light induced photocatalytic metal growth at that location, unlike growth on the free tips in dark conditions thus demonstrating the bowtie dimer functionality as a photochemical reaction center. Our findings pave a path for additional bottom-up bowtie architectures applicable in optics, sensing and photocatalysis.


title: Multi-LexSum: Real-World Summaries of Civil Rights Lawsuits at Multiple Granularities

abstract: With the advent of large language models, methods for abstractive summarization have made great strides, creating potential for use in applications to aid knowledge workers processing unwieldy document collections. One such setting is the Civil Rights Litigation Clearinghouse (CRLC) (https://clearinghouse.net),which posts information about large-scale civil rights lawsuits, serving lawyers, scholars, and the general public. Today, summarization in the CRLC requires extensive training of lawyers and law students who spend hours per case understanding multiple relevant documents in order to produce high-quality summaries of key events and outcomes. Motivated by this ongoing real-world summarization effort, we introduce Multi-LexSum, a collection of 9,280 expert-authored summaries drawn from ongoing CRLC writing. Multi-LexSum presents a challenging multi-document summarization task given the length of the source documents, often exceeding two hundred pages per case. Furthermore, Multi-LexSum is distinct from other datasets in its multiple target summaries, each at a different granularity (ranging from one-sentence "extreme" summaries to multi-paragraph narrations of over five hundred words). We present extensive analysis demonstrating that despite the high-quality summaries in the training data (adhering to strict content and style guidelines), state-of-the-art summarization models perform poorly on this task. We release Multi-LexSum for further research in summarization methods as well as to facilitate development of applications to assist in the CRLC's mission at https://multilexsum.github.io.


title: Odd Dimensional Nonlocal Liouville Conformal Field Theories

abstract: We construct Euclidean Liouville conformal field theories in odd number of dimensions. The theories are nonlocal and non-unitary with a log-correlated Liouville field, a ${\cal Q}$-curvature background, and an exponential Liouville-type potential. We study the classical and quantum properties of these theories including the finite entanglement entropy part of the sphere partition function $F$, the boundary conformal anomaly and vertex operators' correlation functions. We derive the analogue of the even-dimensional DOZZ formula and its semi-classical approximation.


title: KiloNeuS: A Versatile Neural Implicit Surface Representation for Real-Time Rendering

abstract: NeRF-based techniques fit wide and deep multi-layer perceptrons (MLPs) to a continuous radiance field that can be rendered from any unseen viewpoint. However, the lack of surface and normals definition and high rendering times limit their usage in typical computer graphics applications. Such limitations have recently been overcome separately, but solving them together remains an open problem. We present KiloNeuS, a neural representation reconstructing an implicit surface represented as a signed distance function (SDF) from multi-view images and enabling real-time rendering by partitioning the space into thousands of tiny MLPs fast to inference. As we learn the implicit surface locally using independent models, resulting in a globally coherent geometry is non-trivial and needs to be addressed during training. We evaluate rendering performance on a GPU-accelerated ray-caster with in-shader neural network inference, resulting in an average of 46 FPS at high resolution, proving a satisfying tradeoff between storage costs and rendering quality. In fact, our evaluation for rendering quality and surface recovery shows that KiloNeuS outperforms its single-MLP counterpart. Finally, to exhibit the versatility of KiloNeuS, we integrate it into an interactive path-tracer taking full advantage of its surface normals. We consider our work a crucial first step toward real-time rendering of implicit neural representations under global illumination.


title: Optical Flow Regularization of Implicit Neural Representations for Video Frame Interpolation

abstract: Recent works have shown the ability of Implicit Neural Representations (INR) to carry meaningful representations of signal derivatives. In this work, we leverage this property to perform Video Frame Interpolation (VFI) by explicitly constraining the derivatives of the INR to satisfy the optical flow constraint equation. We achieve state of the art VFI on limited motion ranges using only a target video and its optical flow, without learning the interpolation operator from additional training data. We further show that constraining the INR derivatives not only allows to better interpolate intermediate frames but also improves the ability of narrow networks to fit the observed frames, which suggests potential applications to video compression and INR optimization.


title: Numerical Simulations of Dark Matter Admixed Neutron Star Binaries

abstract: Multi-messenger observations of compact binary mergers provide a new way to constrain the nature of dark matter that may accumulate in and around neutron stars. In this article, we extend the infrastructure of our numerical-relativity code BAM to enable the simulation of neutron stars that contain an additional mirror dark matter component. We perform single star tests to verify our code and the first binary neutron star simulations of this kind. We find that the presence of dark matter reduces the lifetime of the merger remnant and favors a prompt collapse to a black hole. Furthermore, we find differences in the merger time for systems with the same total mass and mass ratio, but different amounts of dark matter. Finally, we find that electromagnetic signals produced by the merger of binary neutron stars admixed with dark matter are very unlikely to be as bright as their dark matter free counterparts. Given the increasing sensitivity of multi-messenger facilities, our analysis gives a new perspective on how to probe the presence of dark matter.


title: Exploring user needs in relation to algorithmically constructed classifications of publications

abstract: Algorithmic classification of research publications has been created to study different aspects of research. Such classifications can be used to support information needs in universities for decision making. However, the classifications have foremost been evaluated quantitatively regarding their content, but not qualitatively regarding their feasibility in a specific context. The aim of this study was to explore and evaluate the usefulness of such classifications to users in the context of exploring an emerging research area. I conducted four interviews with managers of a project aimed to support research and application of artificial intelligence at the Swedish medical university Karolinska Institutet. The interviews focused on the information need of the managers. To support the project, a classification was created by clustering of publications in a citation network. A cluster map based on this classification was provided to the project leader and one interview focused on the use of the classification in the project in relation to the stated information needs. The interviews showed that the aim of the project was to improve competence, enhance communication between researchers and develop support structures. Getting an overview of artificial intelligence at the university and information about who is doing what was important to fulfill this aim. The cluster map was used to support activities conducted by the project leader, such as interviews and information gathering. It was also used to get overview and display of AI research at KI. Interpretation was found to be challenging in some cases. The interactivity of the map facilitated interpretation. This study was small in scope, but it provides one piece of knowledge about the information needs related to algorithmic classifications.


title: A new phase of massive star formation? A luminous outflow cavity centred on an infrared quiet core

abstract: We present APEX, infrared and radio continuum observations of the G345.88-1.10 hub filament system which is a newly discovered star-forming cloud that hosts an unusually bright bipolar infrared nebulosity at its centre. At a distance of 2.26$^{+0.30}_{-0.21}$ kpc, G345.88-1.10 exhibits a network of parsec-long converging filaments. At the junction of these filaments lie four infrared-quiet fragments. The densest fragment (with M=210 M$_{\odot}$, R$_{\rm{eff}}=0.14$ pc) sits at the centre of a wide (opening angle of $\sim$ 90$\pm$15$^{o}$) bipolar nebulosity. $^{12}$CO(2-1) observations show that these infrared-bright nebulosities are spatially associated with a powerful molecular outflow from the central fragment. Negligible radio continuum and no H30$\alpha$ emission is detected towards the cavities, seemingly excluding that ionising radiation drives the evolution of the cavities. Furthermore, radiative transfer simulations are unable to reproduce the observed combination of a low-luminosity ($\lesssim$ 500 L$_{\odot}$) central source and a surrounding high-luminosity ($\sim 4000$ L$_{\odot}$) mid-infrared-bright bipolar cavity. This suggests that radiative heating from a central protostar cannot be responsible for the illumination of the outflow cavities. To our knowledge, this is the first reported object of this type. The rarity of objects like G345.88-1.10 is likely related to a very short phase in the massive star and/or cluster formation process that was so far unidentified. We discuss whether mechanical energy deposition by one episode or successive episodes of powerful mass accretion in a collapsing hub might explain the observations. While promising in some aspects, a fully coherent scenario that explains the presence of a luminous bipolar cavity centred on an infrared-dark fragment remains elusive at this point.


title: Theoretical and experimental study on Noise Equivalent Power of X-ray semiconductor ultra-fast response material based on the rad-optic effect

abstract: Semiconductor material based on the rad-optic effect enables ultra-fast detection of X-rays and plays an important role in fusion diagnostics. Obtaining the accurate noise equivalent power (NEP) of the semiconductor ultrafast response material is the key to detecting X-rays. In this paper, the refractive index change mechanism of the semiconductor under X-ray irradiation was analyzed, and the quantitative relationship between the diffraction efficiency and the X-ray photon energy was established through the LT-AlGaAs diffraction imaging experiments. The impulse responses of LT-AlGaAs under 1 KeV-10 KeV X-ray radiation were calculated, revealing the variation of NEP density with radiated photon energy. In the case of bombarding the Al target to generate 1.5 KeV X-rays, the imaging experiments of LT-AlGaAs were performed. The diffraction image of LT-AlGaAs has a linear relationship with the radiation intensity, and the NEP density of LT-AlGaAs reaches 4.80*105W/cm2. This study has reference significance for the development of ultra-fast X-ray imaging systems based on the rad-optic effect.


title: Exploring the Impact of Code Style in Identifying Good Programmers

abstract: Code style is an aesthetic choice exhibited in source code that reflects programmers individual coding habits. This study is the first to investigate whether code style can be used as an indicator to identify good programmers. Data from Google Code Jam was chosen for conducting the study. A cluster analysis was performed to find whether a particular coding style could be associated with good programmers. Furthermore, supervised machine learning models were trained using stylistic features and evaluated using recall, macro-F1, AUC-ROC and balanced accuracy to predict good programmers. The results demonstrate that good programmers may be identified using supervised machine learning models, despite that no particular style groups could be attributed as a good style.


title: I^2R-Net: Intra- and Inter-Human Relation Network for Multi-Person Pose Estimation

abstract: In this paper, we present the Intra- and Inter-Human Relation Networks (I^2R-Net) for Multi-Person Pose Estimation. It involves two basic modules. First, the Intra-Human Relation Module operates on a single person and aims to capture Intra-Human dependencies. Second, the Inter-Human Relation Module considers the relation between multiple instances and focuses on capturing Inter-Human interactions. The Inter-Human Relation Module can be designed very lightweight by reducing the resolution of feature map, yet learn useful relation information to significantly boost the performance of the Intra-Human Relation Module. Even without bells and whistles, our method can compete or outperform current competition winners. We conduct extensive experiments on COCO, CrowdPose, and OCHuman datasets. The results demonstrate that the proposed model surpasses all the state-of-the-art methods. Concretely, the proposed method achieves 77.4% AP on CrowPose dataset and 67.8% AP on OCHuman dataset respectively, outperforming existing methods by a large margin. Additionally, the ablation study and visualization analysis also prove the effectiveness of our model.


title: Decoupling the ascending and descending phases in Abstract Interpretation

abstract: Abstract Interpretation approximates the semantics of a program by mimicking its concrete fixpoint computation on an abstract domain $\mathbb{A}$. The abstract (post-) fixpoint computation is classically divided into two phases: the ascending phase, using widenings as extrapolation operators to enforce termination, is followed by a descending phase, using narrowings as interpolation operators, so as to mitigate the effect of the precision losses introduced by widenings. In this paper we propose a simple variation of this classical approach where, to more effectively recover precision, we decouple the two phases: in particular, before starting the descending phase, we replace the domain $\mathbb{A}$ with a more precise abstract domain $\mathbb{D}$. The correctness of the approach is justified by casting it as an instance of the A$^2$I framework. After demonstrating the new technique on a simple example, we summarize the results of a preliminary experimental evaluation, showing that it is able to obtain significant precision improvements for several choices of the domains $\mathbb{A}$ and $\mathbb{D}$.