title: A Taxonomy of Testable HTML5 Canvas Issues

abstract: The HTML5 <canvas> is widely used to display high quality graphics in web applications. However, the combination of web, GUI, and visual techniques that are required to build <canvas> applications, together with the lack of testing and debugging tools, makes developing such applications very challenging. To help direct future research on testing <canvas> applications, in this paper we present a taxonomy of testable <canvas> issues. First, we extracted 2,403 <canvas>-related issue reports from 123 open-source GitHub projects that use the HTML5 <canvas>. Second, we constructed our taxonomy by manually classifying a random sample of 332 issue reports. Our manual classification identified five broad categories of testable <canvas> issues, such as Visual and Performance issues. We found that Visual issues are the most frequent (35%), while Performance issues are relatively infrequent (5%). We also found that many testable <canvas> issues that present themselves visually on the <canvas> are actually caused by other components of the web application. Our taxonomy of testable <canvas> issues can be used to steer future research into <canvas> issues and testing.


title: Analyzing Enterprise DNS Traffic to Classify Assets and Track Cyber-Health

abstract: The Domain Name System (DNS) is a critical service that enables domain names to be converted to IP addresses (or vice versa); consequently, it is generally permitted through enterprise security systems (e.g., firewalls) with little restriction. This has exposed organizational networks to DDoS, exfiltration, and reflection attacks, inflicting significant financial and reputational damage. Large organizations with loosely federated IT departments (e.g., Universities and Research Institutes) often do not even fully aware of all their DNS assets and vulnerabilities, let alone the attack surface they expose to the outside world. In this paper, we address the "DNS blind spot" by developing methods to passively analyze live DNS traffic, identify organizational DNS assets, and monitor their health on a continuous basis. Our contributions are threefold. First, we perform a comprehensive analysis of all DNS traffic in two large organizations (a University Campus and a Government Research Institute) for over a month, and identify key behavioral profiles for various asset types such as recursive resolvers, authoritative name servers, and mixed DNS servers. Second, we develop an unsupervised clustering method that classifies enterprise DNS assets using the behavioral attributes identified, and demonstrate that our method successfully classifies over 100 DNS assets across the two organizations. Third, our method continuously tracks various health metrics across the organizational DNS assets and identifies several instances of improper configuration, data exfiltration, DDoS, and reflection attacks. We believe the passive analysis methods in this paper can help enterprises monitor organizational DNS health in an automated and risk-free manner.


title: Modeling interaction of Glioma cells and CAR T-cells considering multiple CAR T-cells bindings

abstract: Chimeric antigen receptor (CAR) T-cell based immunotherapy has shown its potential in treating blood cancers, and its application to solid tumors is currently being extensively investigated. For glioma brain tumors, various CAR T-cell targets include IL13Ra2, EGFRvIII, HER2, EphA2, GD2, B7-H3, and chlorotoxin. In this work, we are interested in developing a mathematical model of IL13Ra2 targeting CAR T-cells for treating glioma. We focus on extending the work of Kuznetsov et al. (1994) by considering binding of multiple CAR T-cells to a single glioma cell, and the dynamics of these multi-cellular conjugates. Our model more accurately describes experimentally observed CAR T-cell killing assay data than a model which does not consider cell binding. Moreover, we derive conditions in the CAR T-cell expansion rate that determines treatment success or failure. Finally, we show that our model captures distinct CAR T-cell killing dynamics at low, medium, and high antigen receptor densities in patient-derived brain tumor cells.


title: Quantum Scale Invariant Gravity with de Donder Gauge

abstract: We perform the manifestly covariant quantization of a scale invariant gravity with a scalar field, which is equivalent to the well-known Brans-Dicke gravity via a field redefinition of the scalar field, in the de Donder gauge condition (or harmonic gauge condition) for general coordinate invariance. First, without specifying the expression of a gravitational theory, we write down various equal-time (anti-)commutation relations (ETCRs), in particular, those involving the Nakanishi-Lautrup field, the FP ghost, and the FP antighost only on the basis of the de Donder gauge condition. It is shown that choral symmetry, which is a Poincar${\rm{\acute{e}}}$-like $IOSp(8|8)$ supersymmetry, can be derived from such a general action with the de Donder gauge. Next, taking the scale invariant gravity with a scalar field as a classical theory, we derive the ETCRs for the gravitational sector involving the metric tensor and scalar fields. Moreover, we account for how scale symmetry is spontaneously broken in quantum gravity, thereby showing that the dilaton is a massless Nambu-Goldstone particle.


title: High spatial resolution spectral imaging method for space interferometers and its application to formation-flying small satellites

abstract: Infrared space interferometers can surpass the spatial resolution limitations of single-dish space telescopes. However, stellar interferometers from space have not been realized because of technical difficulties. Two beams coming from individual satellites separated by more than a few tens of meters should precisely interfere such that the optical-path and angular differences between the two beams are reduced at the wavelength level. Herein, we propose a novel beam combiner for space interferometers that records the spectrally-resolved interferometric fringes using the densified pupil spectroscopic technique. As the detector plane is optically conjugated to a plane, on which the two beams interfere, we can directly measure the relative phase difference between the two beams. Additionally, when an object within the field of view is obtained with a modest signal-to-noise ratio, we can extract the true complex amplitude from a continuous broadband fringe (i.e., one exposure measurement), without scanning a delay line and chopping interferometry. We discovered that this spectral imaging method is validated for observing the solar system objects by simulating the reflected light from Europa with a small stellar interferometer. However, because the structure of the object spectrum may cause a systematic error in the measurement, this method may be limited in extracting the true complex amplitude for other astronomical objects. Applying this spectral imaging method to general astrophysics will facilitate further research. The beam combiner and spectral imaging method are applied to a formation-flying stellar interferometer with multiple small satellites in a Sun-synchronous orbit for observation of the solar system objects in visible and near-infrared. We present an overview of SEIRIOS and the optimized optical design for a limited-volume spacecraft.


title: In-plane magnetic structure and exchange interactions in the high-temperature antiferromagnet Cr2Al

abstract: The ordered tetragonal intermetallic Cr$_2$Al forms the same structure type as Mn$_2$Au, and the latter has been heavily investigated for its potential in antiferromagnetic spintronics due to its degenerate in-plane N\'{e}el vector. We present the single crystal flux growth of Cr$_2$Al and orientation-dependent magnetic properties. Powder neutron diffraction of Cr$_2$Al and first-principles simulations reveal that the magnetic ordering is likely in-plane and therefore identical to Mn$_2$Au, providing a second material candidate in the MoSi$_2$ structure type to evaluate the fundamental interactions that govern spintronic effects. The single ordering transition seen in thermal analysis and resistivity indicates that no canting of the moments along the $c$ axis is likely. Magnetometry, resistivity, and differential scanning calorimetry measurements confirm the N\'{e}el temperature to be $634 \pm 2$ K. First-principles simulations indicate that the system has a small density of states at the Fermi energy and confirm the lowest-energy magnetic ground state ordering, while Monte Carlo simulations match the experimental N\'{e}el temperature.


title: Weakly Supervised Contrastive Learning for Better Severity Scoring of Lung Ultrasound

abstract: With the onset of the COVID-19 pandemic, ultrasound has emerged as an effective tool for bedside monitoring of patients. Due to this, a large amount of lung ultrasound scans have been made available which can be used for AI based diagnosis and analysis. Several AI-based patient severity scoring models have been proposed that rely on scoring the appearance of the ultrasound scans. AI models are trained using ultrasound-appearance severity scores that are manually labeled based on standardized visual features. We address the challenge of labeling every ultrasound frame in the video clips. Our contrastive learning method treats the video clip severity labels as noisy weak severity labels for individual frames, thus requiring only video-level labels. We show that it performs better than the conventional cross-entropy loss based training. We combine frame severity predictions to come up with video severity predictions and show that the frame based model achieves comparable performance to a video based TSM model, on a large dataset combining public and private sources.


title: Closed-loop optimization of fast trapped-ion shuttling with sub-quanta excitation

abstract: Shuttling ions at high speed and with low motional excitation is essential for realizing fast and high-fidelity algorithms in many trapped-ion based quantum computing architectures. Achieving such performance is challenging due to the sensitivity of an ion to electric fields and the unknown and imperfect environmental and control variables that create them. Here we implement a closed-loop optimization of the voltage waveforms that control the trajectory and axial frequency of an ion during transport in order to minimize the final motional excitation. The resulting waveforms realize fast round-trip transport of a trapped ion across multiple electrodes at speeds of $0.5$ electrodes/$\mu$s ($35 \text{m/s}$) with a maximum of $0.36\pm0.08$ quanta gain. This sub-quanta gain is independent of the phase of the secular motion at the distal location, obviating the need for an electric field impulse or time delay to eliminate the coherent motion


title: Sandbox Sample Classification Using Behavioral Indicators of Compromise

abstract: Behavioral Indicators of Compromise are associated with various automated methods used to extract the sample behavior by observing the system function calls performed in a virtual execution environment. Thus, every sample is described by a set of BICs triggered by the sample behavior in the sandbox environment. Here we discuss a Machine Learning approach to the classification of the sandbox samples as MALICIOUS or BENIGN, based on the list of triggered BICs. Besides the more traditional methods like Logistic Regression and Naive Bayes Classification we also discuss a different approach inspired by the statistical Monte Carlo methods. The numerical results are illustrated using ThreatGRID and ReversingLabs data.


title: New Constraints on the Spin of the Black Hole Cygnus X-1 and the Physical Properties of its Accretion Disk Corona

abstract: We present a new analysis of NuSTAR and Suzaku observations of the black hole Cygnus X-1 in the intermediate state. The analysis uses kerrC, a new model for analyzing spectral and spectropolarimetric X-ray observations of black holes. kerrC builds on a large library of simulated black holes in X-ray binaries. The model accounts for the X-ray emission from a geometrically thin, optically thick accretion disk, the propagation of the X-rays through the curved black hole spacetime, the reflection off the accretion disk, and the Comptonization of photons in coronae of different 3-D shapes and physical properties before and after the reflection. We present the results from using kerrC for the analysis of archival NuSTAR and Suzaku observations taken on May 27-28, 2015. The best wedge-shaped corona gives a better fit than the cone-shaped corona. Although we included cone-shaped coronae in the funnel regions above and below the black hole to resemble to some degree the common assumption of a compact lamppost corona hovering above and/or below the black hole, the fit chooses a very large version of this corona that makes it possible to Comptonize a sufficiently large fraction of the accretion disk photons to explain the observed power law emission. The analysis indicates a dimensionless black hole spin parameter a between 0.86 and 0.92. The kerrC model provides new insights about the radial distribution of the energy flux of returning and coronal emission irradiating the accretion disk. kerrC furthermore predicts small polarization fractions around 1% in the 2-8 keV energy range of the recently launched Imaging X-ray Polarimetry Explorer.


title: Generation of modulated magnetic structure based on cluster multipole: Application to $\alpha$-Mn and Co$M_3$S$_6$

abstract: We present a systematic method to automatically generate symmetry-adapted magnetic structures for given crystal structure and general propagation vector k as an efficient approach of the analysis of complex modulated magnetic structures. The method is developed as an extension of the generation scheme based on multipole expansion, which was demonstrated only for the propagation vector k=0 [M.-T. Suzuki et al., Phys. Rev. B 99, 174407 (2019)]. The symmetry-adapted magnetic structures characterized with an ordering vector k are obtained by mapping the multipole magnetic alignments on a virtual cluster to the periodic crystal structure with the phase factor for the wave vector k. This method provides all magnetic bases compatible with irreducible representations under k-group for given crystal structure and wave vector k. Multiple-k magnetic structures are derived from superposition of single-k magnetic bases related with space group symmetry. We apply the scheme to deduce the magnetic structures of $\alpha$-Mn and Co$M_{3}$S$_6$ (M = Nb, Ta), in which large anomalous Hall effect has recently been observed in antiferromagnetic phases, and identify the magnetic structures inducing anomalous Hall effect without net magnetization. The physical phenomena originating from emergent multipoles in the ordered phases are also discussed based on the Landau theory.


title: GeoGebra Discovery in Context

abstract: In our contribution we will reflect, through a collection of selected examples, on the potential impact of the GeoGebra Discovery application on different social and educational contexts.


title: Dynamic Bandwidth Allocation for PON Slicing with Performance-Guaranteed Online Convex Optimization

abstract: The emergence of diverse network applications demands more flexible and responsive resource allocation for networks. Network slicing is a key enabling technology that provides each network service with a tailored set of network resources to satisfy specific service requirements. The focus of this paper is the network slicing of access networks realized by Passive Optical Networks (PONs). This paper proposes a learning-based Dynamic Bandwidth Allocation (DBA) algorithm for PON access networks, considering slice-awareness, demand-responsiveness, and allocation fairness. Our online convex optimization-based algorithm learns the implicit traffic trend over time and determines the most robust window allocation that reduces the average latency. Our simulation results indicate that the proposed algorithm reduces the average latency by prioritizing delay-sensitive and heavily-loaded ONUs while guaranteeing a minimal window allocation to all ONUs.


title: A Search for Electron Neutrino Transitions to Sterile States in the BEST Experiment

abstract: The Baksan Experiment on Sterile Transitions (BEST) probes the gallium anomaly and its possible connections to oscillations between active and sterile neutrinos. Based on the Gallium-Germanium Neutrino Telescope (GGNT) technology of the SAGE experiment, BEST employs two zones of liquid Ga target to explore neutrino oscillations on the meter scale. Oscillations on this short scale could produce deficits in the $^{71}$Ge production rates within the two zones, as well as a possible rate difference between the zones. From July 5th to October 13th 2019, the two-zone target was exposed to a primarily monoenergetic, 3.4-MCi $^{51}$Cr neutrino source 10 times for a total of 20 independent $^{71}$Ge extractions from the two Ga targets. The $^{71}$Ge production rates from the neutrino source were measured from July 2019 to March 2020. At the end of these measurements, the counters were filled with $^{71}$Ge doped gas and calibrated during November 2020. In this paper, results from the BEST sterile neutrino oscillation experiment are presented in details. The ratio of the measured $^{71}$Ge production rates to the predicted rates for the inner and the outer target volumes are calculated from the known neutrino capture cross section. Comparable deficits in the measured ratios relative to predicted values are found for both zones, with the $4 \sigma$ deviations from unity consistent with the previously reported gallium anomaly. If interpreted in the context of neutrino oscillations, the deficits give best fit oscillation parameters of $\Delta m^2=3.3^{+\infty}_{-2.3}$ eV$^2$ and sin$^2 2\theta=0.42^{+0.15}_{-0.17}$, consistent with $\nu_e \rightarrow \nu_s$ oscillations governed by a surprisingly large mixing angle.


title: Improving Neural Machine Translation by Denoising Training

abstract: We present a simple and effective pretraining strategy {D}en{o}ising {T}raining DoT for neural machine translation. Specifically, we update the model parameters with source- and target-side denoising tasks at the early stage and then tune the model normally. Notably, our approach does not increase any parameters or training steps, requiring the parallel data merely. Experiments show that DoT consistently improves the neural machine translation performance across 12 bilingual and 16 multilingual directions (data size ranges from 80K to 20M). In addition, we show that DoT can complement existing data manipulation strategies, i.e. curriculum learning, knowledge distillation, data diversification, bidirectional training, and back-translation. Encouragingly, we found that DoT outperforms costly pretrained model mBART in high-resource settings. Analyses show DoT is a novel in-domain cross-lingual pretraining strategy and could offer further improvements with task-relevant self-supervisions.


title: TriCoLo: Trimodal Contrastive Loss for Text to Shape Retrieval

abstract: Text-to-shape retrieval is an increasingly relevant problem with the growth of 3D shape data. Recent work on contrastive losses for learning joint embeddings over multimodal data has been successful at tasks such as retrieval and classification. Thus far, work on joint representation learning for 3D shapes and text has focused on improving embeddings through modeling of complex attention between representations, or multi-task learning. We propose a trimodal learning scheme over text, multi-view images and 3D shape voxels, and show that with large batch contrastive learning we achieve good performance on text-to-shape retrieval without complex attention mechanisms or losses. Our experiments serve as a foundation for follow-up work on building trimodal embeddings for text-image-shape.


title: Real-Time Gaze Tracking with Event-Driven Eye Segmentation

abstract: Gaze tracking is increasingly becoming an essential component in Augmented and Virtual Reality. Modern gaze tracking al gorithms are heavyweight; they operate at most 5 Hz on mobile processors despite that near-eye cameras comfortably operate at a r eal-time rate ($>$ 30 Hz). This paper presents a real-time eye tracking algorithm that, on average, operates at 30 Hz on a mobile processor, achieves \ang{0.1}--\ang{0.5} gaze accuracies, all the while requiring only 30K parameters, one to two orders of magn itude smaller than state-of-the-art eye tracking algorithms. The crux of our algorithm is an Auto~ROI mode, which continuously pr edicts the Regions of Interest (ROIs) of near-eye images and judiciously processes only the ROIs for gaze estimation. To that end, we introduce a novel, lightweight ROI prediction algorithm by emulating an event camera. We discuss how a software emulation of events enables accurate ROI prediction without requiring special hardware. The code of our paper is available at https://github.com/horizon-research/edgaze.


title: The Role of Pleura and Adipose in Lung Ultrasound AI

abstract: In this paper, we study the significance of the pleura and adipose tissue in lung ultrasound AI analysis. We highlight their more prominent appearance when using high-frequency linear (HFL) instead of curvilinear ultrasound probes, showing HFL reveals better pleura detail. We compare the diagnostic utility of the pleura and adipose tissue using an HFL ultrasound probe. Masking the adipose tissue during training and inference (while retaining the pleural line and Merlin's space artifacts such as A-lines and B-lines) improved the AI model's diagnostic accuracy.


title: Nonuniformly elliptic Schauder theory

abstract: Local Schauder estimates hold in the nonuniformly elliptic setting. Specifically, first derivatives of solutions to nonuniformly elliptic variational problems and elliptic equations are locally H\"older continuous, provided coefficients are locally H\"older continuous.


title: RunnerDNA: Interpretable indicators and model to characterize human activity pattern and individual difference

abstract: Human activity analysis based on sensor data plays a significant role in behavior sensing, human-machine interaction, health care, and so on. The current research focused on recognizing human activity and posture at the activity pattern level, neglecting the effective fusion of multi-sensor data and assessing different movement styles at the individual level, thus introducing the challenge to distinguish individuals in the same movement. In this study, the concept of RunnerDNA, consisting of five interpretable indicators, balance, stride, steering, stability, and amplitude, was proposed to describe human activity at the individual level. We collected smartphone multi-sensor data from 33 volunteers who engaged in physical activities such as walking, running, and bicycling and calculated the data into five indicators of RunnerDNA. The indicators were then used to build random forest models and recognize movement activities and the identity of users. The results show that the proposed model has high accuracy in identifying activities (accuracy of 0.679) and is also effective in predicting the identity of running users. Furthermore, the accuracy of the human activity recognition model has significant improved by combing RunnerDNA and two motion feature indicators, velocity, and acceleration. Results demonstrate that RunnerDNA is an effective way to describe an individual's physical activity and helps us understand individual differences in sports style, and the significant differences in balance and amplitude between men and women were found.


title: Generalized multiscale finite element method for highly heterogeneous compressible flow

abstract: In this paper, we study the generalized multiscale finite element method (GMsFEM) for single phase compressible flow in highly heterogeneous porous media. We follow the major steps of the GMsFEM to construct permeability dependent offline basis for fast coarse-grid simulation. The offline coarse space is efficiently constructed only once based on the initial permeability field with parallel computing. A rigorous convergence analysis is performed for two types of snapshot spaces. The analysis indicates that the convergence rates of the proposed multiscale method depend on the coarse meshsize and the eigenvalue decay of the local spectral problem. To further increase the accuracy of multiscale method, residual driven online multiscale basis is added to the offline space. The construction of online multiscale basis is based on a carefully design error indicator motivated by the analysis. We find that online basis is particularly important for the singular source. Rich numerical tests on typical 3D highly heterogeneous medias are presented to demonstrate the impressive computational advantages of the proposed multiscale method.


title: Prospective Learning: Principled Extrapolation to the Future

abstract: Learning is a process which can update decision rules, based on past experience, such that future performance improves. Traditionally, machine learning is often evaluated under the assumption that the future will be identical to the past in distribution or change adversarially. But these assumptions can be either too optimistic or pessimistic for many problems in the real world. Real world scenarios evolve over multiple spatiotemporal scales with partially predictable dynamics. Here we reformulate the learning problem to one that centers around this idea of dynamic futures that are partially learnable. We conjecture that certain sequences of tasks are not retrospectively learnable (in which the data distribution is fixed), but are prospectively learnable (in which distributions may be dynamic), suggesting that prospective learning is more difficult in kind than retrospective learning. We argue that prospective learning more accurately characterizes many real world problems that (1) currently stymie existing artificial intelligence solutions and/or (2) lack adequate explanations for how natural intelligences solve them. Thus, studying prospective learning will lead to deeper insights and solutions to currently vexing challenges in both natural and artificial intelligences.


title: FOLE Equivalence

abstract: The first-order logical environment FOLE [5] provides a rigorous and principled approach to distributed interoperable first-order information systems. FOLE has been developed in two forms: a classification form and an interpretation form. Two papers represent FOLE in a classification form corresponding to ideas of the Information Flow Framework [11],[12],[13]: the first paper [6] provides a foundation that connects elements of the ERA data model [2] with components of the first-order logical environment FOLE; the second paper [7] provides a superstructure that extends FOLE to the formalisms of first-order logic. The formalisms in the classification form of FOLE provide an appropriate framework for developing the relational calculus. Two other papers represent FOLE in an interpretation form: the first paper [8] develops the notion of the FOLE table following the relational model [3]; the second paper [9] discusses the notion of a FOLE relational database. All the operations of the relational algebra have been rigorously developed [10] using the interpretation form of FOLE. The present study demonstrates that the classification form of FOLE is informationally equivalent to the interpretation form of FOLE. In general, the FOLE representation uses a conceptual structures approach, that is completely compatible with formal concept analysis [4] and information flow [1].


title: Analysis of $B_s\to\phi\nu\bar{\nu}$ at CEPC

abstract: The rare $b\to s\nu\bar{\nu}$ decays are sensitive to contributions of new physics (NP) and helpful to resolve the puzzle of multiple $B$ flavor anomalies. In this work, we propose to study the $b\to s\nu\bar{\nu}$ transition at a future lepton collider operating at the $Z$ pole through the $B_s \to \phi\nu\bar{\nu}$ decay. Using the $B_s\to\phi$ decay form factors from lattice simulations, we first update the SM prediction of BR($B_s \to \phi\nu\bar{\nu})_{\mathrm{SM}}=(9.93\pm 0.72)\times 10^{-6}$ and the corresponding $\phi$ longitudinal polarization fraction $F_{L,{\mathrm{SM}}}=0.53\pm 0.04$. Our analysis uses the full CEPC simulation samples with a net statistic of $\mathcal{O}(10^9)$ $Z$ decays. Precise $\phi$ and $B_s$ reconstructions are used to suppress backgrounds. The results show that BR($B_s \to \phi\nu\bar{\nu})$ can be measured with a statistical uncertainty of $\mathcal{O}(\%)$ and an $S/B$ ratio of $\mathcal{O}(1)$ at the CEPC. The quality measures for the event reconstruction are also derived. By combining the measurement of BR($B_s \to \phi\nu\bar{\nu})$ and $F_L$, the constraints on the effective theory couplings at low energy are given.


title: A 333.9uW 0.158mm$^2$ Saber Learning with Rounding based Post-Quantum Crypto Accelerator

abstract: National Institute of Standard & Technology (NIST) is currently running a multi-year-long standardization procedure to select quantum-safe or post-quantum cryptographic schemes to be used in the future. Saber is the only LWR based algorithm to be in the final of Round 3. This work presents a Saber ASIC which provides 1.37X power-efficient, 1.75x lower area, and 4x less memory implementation w.r.t. other SoA PQC ASIC. The energy-hungry multiplier block is 1.5x energyefficient than SoA.


title: Probing magnetar formation channels with high-precision astrometry: The progress of VLBA astrometry of the fastest-spinning magnetar Swift J1818.0-1607

abstract: Boasting supreme magnetic strengths, magnetars are among the prime candidates to generate fast radio bursts. Several theories have been proposed for the formation mechanism of magnetars, but have not yet been fully tested. As different magnetar formation theories expect distinct magnetar space velocity distributions, high-precision astrometry of Galactic magnetars can serve as a probe for the formation theories. In addition, magnetar astrometry can refine the understanding of the distribution of Galactic magnetars. This distribution can be compared against fast radio bursts (FRBs) localized in spiral galaxies, in order to test the link between FRBs and magnetars. Swift J1818.0-1607 is the hitherto fastest-spinning magnetar and the fifth discovered radio magnetar. In an ongoing astrometric campaign, we have observed Swift J1818.0-1607 for one year using the Very Long Baseline Array, and have determined a precise proper motion as well as a tentative parallax for the magnetar.


title: Partition GHZ SLOCC class of three qubits into ten families under LU

abstract: In [Science 340:1205, (2013)], via entanglement polytopes Michael Walter et al. obtained a finite yet systematic classification of multi-particle entanglement. It is well known that under SLOCC, pure states of three (four) qubits are partitioned into six (nine) families. In this paper,we present a LU invariant and an entanglement measures for the GHZ SLOCC class of three qubits, and partition states of the GHZ SLOCC class of three qubits into ten families and each family into two subfamilies under LU. We give a necessary and sufficient condition for the uniqueness of the generalized Schmidt decomposition for the GHZ SLOCC class.


title: Tracking Where Events Take Place: Reverse Spatial Term Queries on Streaming Data

abstract: A large volume of content generated by online users is geo-tagged and this provides a rich source for querying in various location-based services. An important class of queries within such services involves the association between content and locations. In this paper, we study two types of queries on streaming geo-tagged data: 1) "Top-k reverse frequent spatial queries", where given a term, the goal is to find top K locations where the term is frequent, and 2) "Term frequency spatial queries", which is finding the expected frequency of a term in a given location. To efficiently support these queries in a streaming setting, we model terms as events and explore a probabilistic model of geographical distribution that allows us to estimate the frequency of terms in locations that are not kept in a stream sketch or summary. We study the back-and-forth relationship between the efficiency of queries, the efficiency of updates and the accuracy of the results and identify some sweet spots where both efficient and effective algorithms can be developed. We demonstrate that our method can be extended to support multi-term queries. To evaluate the efficiency of our algorithms, we conduct experiments on a relatively large collection of both geo-tagged tweets and geo-tagged Flickr photos. The evaluation reveals that our proposed method achieves a high accuracy when only a limited amount of memory is given. Also the query time is improved, compared to a recent baseline, by 2-3 orders of magnitude without much loss in accuracy and that the update time can further be improved by at least an order of magnitude under some term distributions or update strategies.


title: UxNB-Enabled Cell-Free Massive MIMO with HAPS-Assisted Sub-THz Backhauling

abstract: In this paper, we propose a cell-free scheme for unmanned aerial vehicle (UAV) base stations (BSs) to manage the severe intercell interference between terrestrial users and UAV-BSs of neighboring cells. Since the cell-free scheme requires enormous bandwidth for backhauling, we propose to use the sub-terahertz (sub-THz) band for the backhaul links between UAV-BSs and central processing unit (CPU). Also, because the sub-THz band requires a reliable line-of-sight link, we propose to use a high altitude platform station (HAPS) as a CPU. At the first time-slot of the proposed scheme, users send their messages to UAVs at the sub-6 GHz band. The UAVs then apply match-filtering and power allocation. At the second time-slot, at each UAV, orthogonal resource blocks are allocated for each user at the sub-THz band, and the signals are sent to the HAPS after analog beamforming. In the HAPS receiver, after analog beamforming, the message of each user is decoded. We formulate an optimization problem that maximizes the minimum signal-to-interference-plus-noise ratio of users by finding the optimum allocated power as well as the optimum locations of UAVs. Simulation results demonstrate the superiority of the proposed scheme compared with aerial cellular and terrestrial cell-free baseline schemes.


title: Harmonically $m$-convex set-valued function

abstract: This research aimed to introduce the concept of harmonically m-convex set-valued functions, which is obtained from the combination of two definitions: harmonically m-convex functions and set-valued functions. In this work some properties and characteristics are developed, as well as a inequality of the Hermite-Hadamard type for such functions.


title: Unveiling Project-Specific Bias in Neural Code Models

abstract: Deep learning has introduced significant improvements in many software analysis tasks. Although the Large Language Models (LLMs) based neural code models demonstrate commendable performance when trained and tested within the intra-project independent and identically distributed (IID) setting, they often struggle to generalize effectively to real-world inter-project out-of-distribution (OOD) data. In this work, we show that this phenomenon is caused by the heavy reliance on project-specific shortcuts for prediction instead of ground-truth evidence. We propose a Cond-Idf measurement to interpret this behavior, which quantifies the relatedness of a token with a label and its project-specificness. The strong correlation between model behavior and the proposed measurement indicates that without proper regularization, models tend to leverage spurious statistical cues for prediction. Equipped with these observations, we propose a novel bias mitigation mechanism that regularizes the model's learning behavior by leveraging latent logic relations among samples. Experimental results on two representative program analysis tasks indicate that our mitigation framework can improve both inter-project OOD generalization and adversarial robustness, while not sacrificing accuracy on intra-project IID data.


title: Bose-Einstein Condensation, the Lambda Transition, and Superfluidity for Interacting Bosons

abstract: Bose-Einstein condensation and the $\lambda$-transition are described in molecular detail for bosons interacting with a pair potential. New phenomena are identified that are absent in the usual ideal gas treatment. Monte Carlo simulations of Lennard-Jones helium-4 neglecting ground momentum state bosons give a diverging heat capacity approaching the transition. Pure permutation loops give continuous growth in the occupancy of the ground momentum state. Mixed ground and excited momentum state permutation loops give a discontinuous transition to the condensed phase. The consequent latent heat for the $\lambda$-transition is 3\% of the total energy. The predicted critical velocity for superfluid flow is within a factor of three of the measured values over three orders of magnitude in pore diameter.

categories: cond-mat.stat-mech cond-mat.supr-con physics.chem-ph quant-ph


abstract: Online learning is an important technical means for sketching massive real-time and high-speed data. Although this direction has attracted intensive attention, most of the literature in this area ignore the following three issues: (1) they think little of the underlying abstract hierarchical latent information existing in examples, even if extracting these abstract hierarchical latent representations is useful to better predict the class labels of examples; (2) the idea of preassigned model on unseen datapoints is not suitable for modeling streaming data with evolving probability distribution. This challenge is referred as model flexibility. And so, with this in minds, the online deep learning model we need to design should have a variable underlying structure; (3) moreover, it is of utmost importance to fusion these abstract hierarchical latent representations to achieve better classification performance, and we should give different weights to different levels of implicit representation information when dealing with the data streaming where the data distribution changes. To address these issues, we propose a two-phase Online Deep Learning based on Auto-Encoder (ODLAE). Based on auto-encoder, considering reconstruction loss, we extract abstract hierarchical latent representations of instances; Based on predictive loss, we devise two fusion strategies: the output-level fusion strategy, which is obtained by fusing the classification results of encoder each hidden layer; and feature-level fusion strategy, which is leveraged self-attention mechanism to fusion every hidden layer output. Finally, in order to improve the robustness of the algorithm, we also try to utilize the denoising auto-encoder to yield hierarchical latent representations. Experimental results on different datasets are presented to verify the validity of our proposed algorithm (ODLAE) outperforms several baselines.


title: Swin-Pose: Swin Transformer Based Human Pose Estimation

abstract: Convolutional neural networks (CNNs) have been widely utilized in many computer vision tasks. However, CNNs have a fixed reception field and lack the ability of long-range perception, which is crucial to human pose estimation. Due to its capability to capture long-range dependencies between pixels, transformer architecture has been adopted to computer vision applications recently and is proven to be a highly effective architecture. We are interested in exploring its capability in human pose estimation, and thus propose a novel model based on transformer architecture, enhanced with a feature pyramid fusion structure. More specifically, we use pre-trained Swin Transformer as our backbone and extract features from input images, we leverage a feature pyramid structure to extract feature maps from different stages. By fusing the features together, our model predicts the keypoint heatmap. The experiment results of our study have demonstrated that the proposed transformer-based model can achieve better performance compared to the state-of-the-art CNN-based models.


title: Team Learning-Based Resource Allocation for Open Radio Access Network (O-RAN)

abstract: Recently, the concept of open radio access network (O-RAN) has been proposed, which aims to adopt intelligence and openness in the next generation radio access networks (RAN). It provides standardized interfaces and the ability to host network applications from third-party vendors by x-applications (xAPPs), which enables higher flexibility for network management. However, this may lead to conflicts in network function implementations, especially when these functions are implemented by different vendors. In this paper, we aim to mitigate the conflicts between xAPPs for near-real-time (near-RT) radio intelligent controller (RIC) of O-RAN. In particular, we propose a team learning algorithm to enhance the performance of the network by increasing cooperation between xAPPs. We compare the team learning approach with independent deep Q-learning where network functions individually optimize resources. Our simulations show that team learning has better network performance under various user mobility and traffic loads. With 6 Mbps traffic load and 20 m/s user movement speed, team learning achieves 8% higher throughput and 64.8% lower PDR.


title: An Optimization Framework for General Rate Splitting for General Multicast

abstract: Immersive video, such as virtual reality (VR) and multi-view videos, is growing in popularity. Its wireless streaming is an instance of general multicast, extending conventional unicast and multicast, whose effective design is still open. This paper investigates general rate splitting for general multicast. Specifically, we consider a multi-carrier single-cell wireless network where a multi-antenna base station (BS) communicates to multiple single-antenna users via general multicast. We consider linear beamforming at the BS and joint decoding at each user in the slow fading and fast fading scenarios. In the slow fading scenario, we consider the maximization of the weighted sum average rate, which is a challenging nonconvex stochastic problem with numerous variables. To reduce computational complexity, we decouple the original nonconvex stochastic problem into multiple nonconvex deterministic problems, one for each system channel state. Then, we propose an iterative algorithm for each deterministic problem to obtain a Karush-Kuhn-Tucker (KKT) point using the concave-convex procedure (CCCP). In the fast fading scenario, we consider the maximization of the weighted sum ergodic rate. This problem is more challenging than the one for the slow fading scenario, as it is not separable. First, we propose a stochastic iterative algorithm to obtain a KKT point using stochastic successive convex approximation (SSCA) and the exact penalty method. Then, we propose two low-complexity iterative algorithms to obtain feasible points with promising performance for two cases of channel distributions using approximation and CCCP. The proposed optimization framework generalizes the existing ones for rate splitting for various types of services. Finally, we numerically show substantial gains of the proposed solutions over existing schemes in both scenarios.


title: Variational Autoencoder Generative Adversarial Network for Synthetic Data Generation in Smart Home

abstract: Data is the fuel of data science and machine learning techniques for smart grid applications, similar to many other fields. However, the availability of data can be an issue due to privacy concerns, data size, data quality, and so on. To this end, in this paper, we propose a Variational AutoEncoder Generative Adversarial Network (VAE-GAN) as a smart grid data generative model which is capable of learning various types of data distributions and generating plausible samples from the same distribution without performing any prior analysis on the data before the training phase.We compared the Kullback-Leibler (KL) divergence, maximum mean discrepancy (MMD), and Wasserstein distance between the synthetic data (electrical load and PV production) distribution generated by the proposed model, vanilla GAN network, and the real data distribution, to evaluate the performance of our model. Furthermore, we used five key statistical parameters to describe the smart grid data distribution and compared them between synthetic data generated by both models and real data. Experiments indicate that the proposed synthetic data generative model outperforms the vanilla GAN network. The distribution of VAE-GAN synthetic data is the most comparable to that of real data.


title: Kantorovich Mechanism for Pufferfish Privacy

abstract: Pufferfish privacy achieves $\epsilon$-indistinguishability over a set of secret pairs in the disclosed data. This paper studies how to attain $\epsilon$-pufferfish privacy by exponential mechanism, an additive noise scheme that generalizes the Laplace noise. It is shown that the disclosed data is $\epsilon$-pufferfish private if the noise is calibrated to the sensitivity of the Kantorovich optimal transport plan. Such a plan can be obtained directly from the data statistics conditioned on the secret, the prior knowledge of the system. The sufficient condition is further relaxed to reduce the noise power. It is also proved that the Gaussian mechanism based on the Kantorovich approach attains the $\delta$-approximation of $\epsilon$-pufferfish privacy.


title: Transverse Coronal-Loop Oscillations Induced by the Non-radial Eruption of a Magnetic Flux Rope

abstract: We investigate the transverse coronal-loop oscillations induced by the eruption of a prominence-carrying flux rope on 7 December 2012. The flux rope originating from NOAA Active Region (AR) 11621 was observed in EUV wavelengths by the SDO/AIA and in H$\alpha$ line center by the ground-based telescope at the BBSO. The early evolution of the flux rope is divided into two steps: a slow rise phase at a speed of $\approx$230\,km\,s$^{-1}$ and a fast rise phase at a speed of $\approx$706\,km\,s$^{-1}$. The eruption generates a C5.8 flare and the onset of the fast rise is consistent with the HXR peak time of the flare. The embedded prominence has a lower speed of $\approx$452\,km\,s$^{-1}$. During the early eruption of the flux rope, the nearby coronal loops are disturbed and experience independent kink-mode oscillations in the horizontal and vertical directions. The oscillation in the horizontal direction has an initial amplitude of $\approx$3.1\,Mm, a period of $\approx$294\,seconds, and a damping time of $\approx$645\,seconds. It is most striking in 171\,{\AA} and lasts for three to four cycles. The oscillations in the vertical directions are observed mainly in 171, 193, and 211\,{\AA}. The initial amplitudes lie in the range of 3.4\,--\,5.2\,Mm, with an average value of 4.5\,Mm. The periods are between 407\,seconds and 441\,seconds, with an average value of 423\,seconds. The oscillations are damping and last for nearly four cycles. The damping times lie in the range of 570\,--\,1012\,seconds, with an average value of 741\,seconds. Assuming a semi-circular shape of the vertically oscillating loops, we calculate the loop lengths according to their heights. Using the observed periods, we carry out coronal seismology and estimate the internal Alfv\'{e}n speeds (988\,--\,1145\,km\,s$^{-1}$) and the magnetic-field strengths (12\,--\,43\,G) of the oscillating loops.


title: Effects of surface tension reduction on wind-wave growth and air-water scalar transfer

abstract: Effect of surface tension reduction on wind-wave growth is investigated using direct numerical simulation (DNS) of air-water two-phase turbulent flow. The incompressible Navier-Stokes equations for air and water sides are solved using an arbitrary Lagrangian-Eulerian method with boundary-fitted moving grids. The wave growth of finite-amplitude and non-breaking gravity--capillary waves, whose wavelength is less than 0.07 m, is simulated for two cases of different surface tensions under a low--wind speed condition of several meters per second. The results show that significant wave height for the smaller surface tension case increases faster than that for the larger surface tension case. Energy fluxes for gravity and capillary wave scales reveal that, when the surface tension is reduced, the energy transfer from the significant gravity waves to capillary waves decreases and the significant waves accumulate more energy supplied by wind. This results in faster wave growth for the smaller surface tension case. Effect on the scalar transfer across the air-water interface is also investigated. The results show that the scalar transfer coefficient on the water side decreases due to the surface tension reduction. The decrease is caused by suppression of turbulence in the water side. In order to support the conjecture, the surface tension effect is compared with laboratory experiments in a small wind-wave tank.


title: MetaV: A Meta-Verifier Approach to Task-Agnostic Model Fingerprinting

abstract: For model piracy forensics, previous model fingerprinting schemes are commonly based on adversarial examples constructed for the owner's model as the \textit{fingerprint}, and verify whether a suspect model is indeed pirated from the original model by matching the behavioral pattern on the fingerprint examples between one another. However, these methods heavily rely on the characteristics of classification tasks which inhibits their application to more general scenarios. To address this issue, we present MetaV, the first task-agnostic model fingerprinting framework which enables fingerprinting on a much wider range of DNNs independent from the downstream learning task, and exhibits strong robustness against a variety of ownership obfuscation techniques. Specifically, we generalize previous schemes into two critical design components in MetaV: the \textit{adaptive fingerprint} and the \textit{meta-verifier}, which are jointly optimized such that the meta-verifier learns to determine whether a suspect model is stolen based on the concatenated outputs of the suspect model on the adaptive fingerprint. As a key of being task-agnostic, the full process makes no assumption on the model internals in the ensemble only if they have the same input and output dimensions. Spanning classification, regression and generative modeling, extensive experimental results validate the substantially improved performance of MetaV over the state-of-the-art fingerprinting schemes and demonstrate the enhanced generality of MetaV for providing task-agnostic fingerprinting. For example, on fingerprinting ResNet-18 trained for skin cancer diagnosis, MetaV achieves simultaneously $100\%$ true positives and $100\%$ true negatives on a diverse test set of $70$ suspect models, achieving an about $220\%$ relative improvement in ARUC in comparison to the optimal baseline.


title: K-Theoretic Descendent Series for Hilbert Schemes of Points on Surfaces

abstract: We study the holomorphic Euler characteristics of tautological sheaves on Hilbert schemes of points on surfaces. In particular, we establish the rationality of K-theoretic descendent series. Our approach is to control equivariant holomorphic Euler characteristics over the Hilbert scheme of points on the affine plane. To do so, we slightly modify a Macdonald polynomial identity of Mellit.


title: A non-commutative F&M Riesz Theorem

abstract: We extend results on analytic complex measures on the complex unit circle to a non-commutative multivariate setting. Identifying continuous linear functionals on a certain self-adjoint subspace of the Cuntz--Toeplitz $C^*-$algebra, the free disk operator system, with non-commutative (NC) analogues of complex measures, we refine a previously developed Lebesgue decomposition for positive NC measures to establish an NC version of the Frigyes and Marcel Riesz Theorem for `analytic' measures, i.e. complex measures with vanishing positive moments. The proof relies on novel results on the order properties of positive NC measures that we develop and extend from classical measure theory.


title: KappaFace: Adaptive Additive Angular Margin Loss for Deep Face Recognition

abstract: Feature learning is a widely used method employed for large-scale face recognition. Recently, large-margin softmax loss methods have demonstrated significant enhancements on deep face recognition. These methods propose fixed positive margins in order to enforce intra-class compactness and inter-class diversity. However, the majority of the proposed methods do not consider the class imbalance issue, which is a major challenge in practice for developing deep face recognition models. We hypothesize that it significantly affects the generalization ability of the deep face models. Inspired by this observation, we introduce a novel adaptive strategy, called KappaFace, to modulate the relative importance based on class difficultness and imbalance. With the support of the von Mises-Fisher distribution, our proposed KappaFace loss can intensify the margin's magnitude for hard learning or low concentration classes while relaxing it for counter classes. Experiments conducted on popular facial benchmarks demonstrate that our proposed method achieves superior performance to the state-of-the-art.


title: Overview frequency principle/spectral bias in deep learning

abstract: Understanding deep learning is increasingly emergent as it penetrates more and more into industry and science. In recent years, a research line from Fourier analysis sheds lights into this magical "black box" by showing a Frequency Principle (F-Principle or spectral bias) of the training behavior of deep neural networks (DNNs) -- DNNs often fit functions from low to high frequency during the training. The F-Principle is first demonstrated by one-dimensional synthetic data followed by the verification in high-dimensional real datasets. A series of works subsequently enhance the validity of the F-Principle. This low-frequency implicit bias reveals the strength of neural network in learning low-frequency functions as well as its deficiency in learning high-frequency functions. Such understanding inspires the design of DNN-based algorithms in practical problems, explains experimental phenomena emerging in various scenarios, and further advances the study of deep learning from the frequency perspective. Although incomplete, we provide an overview of F-Principle and propose some open problems for future research.


title: Ordinal Causal Discovery

abstract: Causal discovery for purely observational, categorical data is a long-standing challenging problem. Unlike continuous data, the vast majority of existing methods for categorical data focus on inferring the Markov equivalence class only, which leaves the direction of some causal relationships undetermined. This paper proposes an identifiable ordinal causal discovery method that exploits the ordinal information contained in many real-world applications to uniquely identify the causal structure. The proposed method is applicable beyond ordinal data via data discretization. Through real-world and synthetic experiments, we demonstrate that the proposed ordinal causal discovery method combined with simple score-and-search algorithms has favorable and robust performance compared to state-of-the-art alternative methods in both ordinal categorical and non-categorical data. An accompanied R package OrdCD is freely available on CRAN and at https://web.stat.tamu.edu/~yni/files/OrdCD_1.0.0.tar.gz.


title: Supercurrent-Induced Weyl Superconductivity

abstract: We show that Weyl superconductivity can be induced by finite supercurrent in noncentrosymmetric spin-orbit-coupled superconductors with line nodes. We introduce a three-dimensional tight-binding model of a tetragonal superconductor in a $D+p$-wave pairing state with a finite center-of-mass momentum, and elucidate that a line-nodal to point-nodal spectral transition occurs by applying an infinitesimal supercurrent. We also clarify that the higher-order effect in spin-orbit coupling is particularly important for this phenomenon. The point nodes are protected by topologically nontrivial Weyl charges, and therefore gapless arc states appear on the surface of the superconductor. Furthermore, both the positions and the Weyl charges of the point nodes depend on the direction of the current. In addition, a quantized Berry phase defined on high-symmetry planes characterizes the Weyl nodes when the in-plane supercurrent is considered. Our proposition paves a new way for controlling the superconducting gap structures by using an external field.

categories: cond-mat.supr-con cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el


title: An efficient Chorin-Temam projection proper orthogonal decomposition based reduced-order model for nonstationary Stokes equations

abstract: In this paper, we propose an efficient proper orthogonal decomposition based reduced-order model(POD-ROM) for nonstationary Stokes equations, which combines the classical projection method with POD technique. This new scheme mainly owns two advantages: the first one is low computational costs since the classical projection method decouples the reduced-order velocity variable and reduced-order pressure variable, and POD technique further improves the computational efficiency; the second advantage consists of circumventing the verification of classical LBB/inf-sup condition for mixed POD spaces with the help of pressure stabilized Petrov-Galerkin(PSPG)-type projection method, where the pressure stabilization term is inherent which allows the use of non inf-sup stable elements without adding extra stabilization terms. We first obtain the convergence of PSPG-type finite element projection scheme, and then analyze the proposed projection POD-ROM's stability and convergence. Numerical experiments validate out theoretical results.


title: RIS-Assisted Communication Radar Coexistence: Joint Beamforming Design and Analysis

abstract: Integrated sensing and communication (ISAC) has been regarded as one of the most promising technologies for future wireless communications. However, the mutual interference in the communication radar coexistence system cannot be ignored. Inspired by the studies of reconfigurable intelligent surface (RIS), we propose a double-RIS-assisted coexistence system where two RISs are deployed for enhancing communication signals and suppressing mutual interference. We aim to jointly optimize the beamforming of RISs and radar to maximize communication performance while maintaining radar detection performance. The investigated problem is challenging, and thus we transform it into an equivalent but more tractable form by introducing auxiliary variables. Then, we propose a penalty dual decomposition (PDD)-based algorithm to solve the resultant problem. Moreover, we consider two special cases: the large radar transmit power scenario and the low radar transmit power scenario. For the former, we prove that the beamforming design is only determined by the communication channel and the corresponding optimal joint beamforming strategy can be obtained in closed-form. For the latter, we minimize the mutual interference via the block coordinate descent (BCD) method. By combining the solutions of these two cases, a low-complexity algorithm is also developed. Finally, simulation results show that both the PDD-based and low-complexity algorithms outperform benchmark algorithms.


title: Repulsive to Attractive Fluctuation-Induced Forces in Disordered Landau-Ginzburg Model

abstract: Critical fluctuations of some order parameter describing a fluid generates long-range forces between boundaries. Here, we discuss fluctuation-induced forces associated to a disordered Landau-Ginzburg model defined in a $d$-dimensional slab geometry $\mathbb R^{d-1}\times[0,L]$. In the model the strength of the disordered field is defined by a non-thermal control parameter. We study a nearly critical scenario, using the distributional zeta-function method, where the quenched free energy is written as a series of the moments of the partition function. In the Gaussian approximation, we show that, for each moment of the partition function, and for some specific strength of the disorder, the non-thermal fluctuations, associated to an order parameter-like quantity, becomes long-ranged. We demonstrate that the sign of the fluctuation induced force between boundaries, depend in a non-trivial way on the strength of the aforementioned non-thermal control parameter.


title: Multiway Spherical Clustering via Degree-Corrected Tensor Block Models

abstract: We consider the problem of multiway clustering in the presence of unknown degree heterogeneity. Such data problems arise commonly in applications such as recommendation system, neuroimaging, community detection, and hypergraph partitions in social networks. The allowance of degree heterogeneity provides great flexibility in clustering models, but the extra complexity poses significant challenges in both statistics and computation. Here, we develop a degree-corrected tensor block model with estimation accuracy guarantees. We present the phase transition of clustering performance based on the notion of angle separability, and we characterize three signal-to-noise regimes corresponding to different statistical-computational behaviors. In particular, we demonstrate that an intrinsic statistical-to-computational gap emerges only for tensors of order three or greater. Further, we develop an efficient polynomial-time algorithm that provably achieves exact clustering under mild signal conditions. The efficacy of our procedure is demonstrated through two data applications, one on human brain connectome project, and another on Peru Legislation network dataset.


title: Flexible Parallel Learning in Edge Scenarios: Communication, Computational and Energy Cost

abstract: Traditionally, distributed machine learning takes the guise of (i) different nodes training the same model (as in federated learning), or (ii) one model being split among multiple nodes (as in distributed stochastic gradient descent). In this work, we highlight how fog- and IoT-based scenarios often require combining both approaches, and we present a framework for flexible parallel learning (FPL), achieving both data and model parallelism. Further, we investigate how different ways of distributing and parallelizing learning tasks across the participating nodes result in different computation, communication, and energy costs. Our experiments, carried out using state-of-the-art deep-network architectures and large-scale datasets, confirm that FPL allows for an excellent trade-off among computational (hence energy) cost, communication overhead, and learning performance.


title: Effects of anisotropy and disorder on the superconducting properties of Niobium

abstract: We report results for the superconducting transition temperature and anisotropic energy gap for pure Niobium based on Eliashberg's equations and electron and phonon band structures computed from density functional theory. The electronic band structure is used to construct the Fermi surface and calculate the Fermi velocity at each point on the Fermi surface.The phonon bands are in excellent agreement with inelastic neutron scattering data. The corresponding phonon density of states and electron-phonon coupling define the electron-phonon spectral function, $\alpha^2F({\bf p},{\bf p}';\omega)$, and the corresponding electron-phonon pairing interaction, which is the basis for computing the superconducting properties. The electron-phonon spectral function is good agreement with existing tunneling spectroscopy data except for the spectral weight of the longitudinal phonon peak at $\hbar\omega_{\text{LO}}=23\,\mbox{meV}$. We obtain an electron-phonon coupling constant of $\lambda=1.057$, renormalized Coulomb interaction, $\mu^{\star}=0.218$ and transition temperature $T_c=9.33\,\mbox{K}$. The corresponding strong-coupling gap at $T=0$ is modestly enhanced, $\Delta_0=1.55\,\mbox{meV}$, compared to the weak-coupling BCS value $\Delta_0^{\text{wc}}=1.78\,k_{\mbox{b}}\,T_c= 1.43\,\mbox{meV}$. The superconducting gap function exhibits substantial anisotropy on the Fermi surface. We analyze the distribution of gap anisotropy and compute the suppression of the superconducting transition temperature using a self-consistent T-matrix theory for quasiparticle-impurity scattering to describe Niobium doped with non-magnetic impurities. We compare these results with experimental results on Niobium SRF cavities doped with Nitrogen impurities.


title: Compressed Smooth Sparse Decomposition

abstract: Image-based anomaly detection systems are of vital importance in various manufacturing applications. The resolution and acquisition rate of such systems is increasing significantly in recent years under the fast development of image sensing technology. This enables the detection of tiny defects in real-time. However, such a high resolution and acquisition rate of image data not only slows down the speed of image processing algorithms but also increases data storage and transmission cost. To tackle this problem, we propose a fast and data-efficient method with theoretical performance guarantee that is suitable for sparse anomaly detection in images with a smooth background (smooth plus sparse signal). The proposed method, named Compressed Smooth Sparse Decomposition (CSSD), is a one-step method that unifies the compressive image acquisition and decomposition-based image processing techniques. To further enhance its performance in a high-dimensional scenario, a Kronecker Compressed Smooth Sparse Decomposition (KronCSSD) method is proposed. Compared to traditional smooth and sparse decomposition algorithms, significant transmission cost reduction and computational speed boost can be achieved with negligible performance loss. Simulation examples and several case studies in various applications illustrate the effectiveness of the proposed framework.


title: Localization for Almost-Periodic Operators with Power-law Long-range Hopping: A Nash-Moser Iteration Type Reducibility Approach

abstract: In this paper we develop a Nash-Moser iteration type reducibility approach to prove the (inverse) localization for some $d$-dimensional discrete almost-periodic operators with power-law long-range hopping. We also provide a quantitative lower bound on the regularity of the hopping. As an application, some results of \cite{Sar82, Pos83, Cra83, BLS83} are generalized to the power-law hopping case.


title: Fooling MOSS Detection with Pretrained Language Models

abstract: As artificial intelligence (AI) technologies become increasingly powerful and prominent in society, their misuse is a growing concern. In educational settings, AI technologies could be used by students to cheat on assignments and exams. In this paper we explore whether transformers can be used to solve introductory level programming assignments while bypassing commonly used AI tools to detect similarities between pieces of software. We find that a student using GPT-J [Wang and Komatsuzaki, 2021] can complete introductory level programming assignments without triggering suspicion from MOSS [Aiken, 2000], a widely used software similarity and plagiarism detection tool. This holds despite the fact that GPT-J was not trained on the problems in question and is not provided with any examples to work from. We further find that the code written by GPT-J is diverse in structure, lacking any particular tells that future plagiarism detection techniques may use to try to identify algorithmically generated code. We conclude with a discussion of the ethical and educational implications of large language models and directions for future research.


title: Refined normal approximations for the central and noncentral chi-square distributions and some applications

abstract: In this paper, we prove a local limit theorem for the chi-square distribution with $r > 0$ degrees of freedom and noncentrality parameter $\lambda \geq 0$. We use it to develop refined normal approximations for the survival function. Our maximal errors go down to an order of $r^{-2}$, which is significantly smaller than the maximal error bounds of order $r^{-1/2}$ recently found by Horgan & Murphy (2013) and Seri (2015). Our results allow us to drastically reduce the number of observations required to obtain negligible errors in the energy detection problem, from $250$, as recommended in the seminal work of Urkowitz (1967), to only $8$ here with our new approximations. We also obtain an upper bound on several probability metrics between the central and noncentral chi-square distributions and the standard normal distribution, and we obtain an approximation for the median that improves the lower bound previously obtained by Robert (1990).


title: Iterative image reconstruction for CT with unmatched projection matrices using the generalized minimal residual algorithm

abstract: The generalized minimal residual (GMRES) algorithm is applied to image reconstruction using linear computed tomography (CT) models. The GMRES algorithm iteratively solves square, non-symmetric linear systems and it has practical application to CT when using unmatched back-projector/projector pairs and when applying preconditioning. The GMRES algorithm is demonstrated on a 3D CT image reconstruction problem where it is seen that use of unmatched projection matrices does not prevent convergence, while using an unmatched pair in the related conjugate gradients for least-squares (CGLS) algorithm leads to divergent iteration. Implementation of preconditioning using GMRES is also demonstrated.


title: Dual Space Graph Contrastive Learning

abstract: Unsupervised graph representation learning has emerged as a powerful tool to address real-world problems and achieves huge success in the graph learning domain. Graph contrastive learning is one of the unsupervised graph representation learning methods, which recently attracts attention from researchers and has achieved state-of-the-art performances on various tasks. The key to the success of graph contrastive learning is to construct proper contrasting pairs to acquire the underlying structural semantics of the graph. However, this key part is not fully explored currently, most of the ways generating contrasting pairs focus on augmenting or perturbating graph structures to obtain different views of the input graph. But such strategies could degrade the performances via adding noise into the graph, which may narrow down the field of the applications of graph contrastive learning. In this paper, we propose a novel graph contrastive learning method, namely \textbf{D}ual \textbf{S}pace \textbf{G}raph \textbf{C}ontrastive (DSGC) Learning, to conduct graph contrastive learning among views generated in different spaces including the hyperbolic space and the Euclidean space. Since both spaces have their own advantages to represent graph data in the embedding spaces, we hope to utilize graph contrastive learning to bridge the spaces and leverage advantages from both sides. The comparison experiment results show that DSGC achieves competitive or better performances among all the datasets. In addition, we conduct extensive experiments to analyze the impact of different graph encoders on DSGC, giving insights about how to better leverage the advantages of contrastive learning between different spaces.


title: A wide swing charge sensitive amplifier for a prototype Si-W EM calorimeter

abstract: A wide swing charge sensitive amplifier (CSA) has been developed, as a part of a front-end electronics (FEE) readout ASIC, for a prototype silicon tungsten (Si-W) based electromagnetic (EM) calorimeter. The CSA, designed in 0.35 $\mu$m N-well CMOS technology using 5V MOS transistors, has a wide linear operating range of 2.6 pC w.r.t the input charge with a power dissipation of 2.3 mW. A noise figure (ENC) of 820 e$^-$ at 0 pF of detector capacitance with a noise slope of 25 e$^-$/pF has been achieved (when followed by a CR-RC$^2$ filter of 1.2 $\mu$s peaking time). This design of CSA provides a dynamic range (ratio of maximum detectable signal to noise floor) of 79 dB for the maximum input charge of 2.6 pC when connected to a silicon detector with a capacitance of 40 pF. Using folded cascode architecture-based input stage and low voltage high swing current mirrors as the load, the CSA provides an enlarged output swing when biasing the output node towards one supply rail and utilizing the voltage range towards the opposite rail. The design philosophy works for both polarities of a large input signal. This paper presents the design of CSA with a wide negative output swing for an anticipated input signal of positive polarity in the target application with a known detector biasing scheme.


title: Accurate smartphone camera simulation using 3D scenes

abstract: We assess the accuracy of a smartphone camera simulation. The simulation is an end-to-end analysis that begins with a physical description of a high dynamic range 3D scene and includes a specification of the optics and the image sensor. The simulation is compared to measurements of a physical version of the scene. The image system simulation accurately matched measurements of optical blur, depth of field, spectral quantum efficiency, scene inter-reflections, and sensor noise. The results support the use of image systems simulation methods for soft prototyping cameras and for producing synthetic data in machine learning applications.


title: Poseur: Direct Human Pose Regression with Transformers

abstract: We propose a direct, regression-based approach to 2D human pose estimation from single images. We formulate the problem as a sequence prediction task, which we solve using a Transformer network. This network directly learns a regression mapping from images to the keypoint coordinates, without resorting to intermediate representations such as heatmaps. This approach avoids much of the complexity associated with heatmap-based approaches. To overcome the feature misalignment issues of previous regression-based methods, we propose an attention mechanism that adaptively attends to the features that are most relevant to the target keypoints, considerably improving the accuracy. Importantly, our framework is end-to-end differentiable, and naturally learns to exploit the dependencies between keypoints. Experiments on MS-COCO and MPII, two predominant pose-estimation datasets, demonstrate that our method significantly improves upon the state-of-the-art in regression-based pose estimation. More notably, ours is the first regression-based approach to perform favorably compared to the best heatmap-based pose estimation methods.


title: On Heuristic Models, Assumptions, and Parameters

abstract: Insightful interdisciplinary collaboration is essential to the principled governance of complex technologies, like those produced by modern computing research and development. Technical research on the interaction between computation and society often focuses on how researchers model social and physical systems. These models underlie how computer scientists specify problems and propose algorithmic solutions. However, the social effects of computing can depend just as much on obscure and opaque technical caveats, choices, and qualifiers. Such artifacts are products of the particular algorithmic techniques and theory applied to solve a problem once modeled, and their nature can imperil thorough sociotechnical scrutiny of the often discretionary decisions made to manage them. We describe three classes of objects used to encode these choices and qualifiers: heuristic models, assumptions, and parameters. We raise six reasons these objects may be hazardous to comprehensive analysis of computing and argue they deserve deliberate consideration as researchers explain scientific work.


title: Generalized Sine Functions, Complexified

abstract: Generalized sine and cosine functions, $\sin_{n}$ and $\cos_{n}$, that parametrize the generalized unit circle $x^n+y^n=1$ are, much like their classical circular counterparts, extendable as complex analytic functions. In this article, we identify the natural domain on which $\sin_{n}$ is a conformal equivalence from a polygon to the complex plane with $n$ slits. We also give some geometric and analytic applications.


title: Rotational hypersurfaces with constant Gauss-Kronecker curvature

abstract: We study rotational hypersurfaces with constant Gauss-Kronecker curvature. We solve the ODE for the generating curves of such hypersurfaces and analyze several geometric properties of such hypersurfaces. In particular, we discover a class of non-compact rotational hypersurfaces with constant and negative Gauss-Kronecker curvature and finite volume, which can be seen as the higher-dimensional generalization of the pseudo-sphere. Finally we investigate other types of rotational hypersurfaces with similar curvature constraints, including those with prescribed Gauss-Kronecker curvature.


title: Degenerations and multiplicity-free formulas for products of $\psi$ and $\omega$ classes on $\overline{M}_{0,n}$

abstract: We consider products of $\psi$ classes and products of $\omega$ classes on $\overline{M}_{0,n+3}$. For each product, we construct a flat family of subschemes of $\overline{M}_{0,n+3}$ whose general fiber is a complete intersection representing the product, and whose special fiber is a generically reduced union of boundary strata. Our construction is built up inductively as a sequence of one-parameter degenerations, using an explicit parametrized collection of hyperplane sections. Combinatorially, our construction expresses each product as a positive, multiplicity-free sum of classes of boundary strata. These are given by a combinatorial algorithm on trees we call 'slide labeling'. As a corollary, we obtain a combinatorial formula for the $\kappa$ classes in terms of boundary strata. For degree-$n$ products of $\omega$ classes, the special fiber is a finite reduced union of (boundary) points, and its cardinality is one of the multidegrees of the corresponding embedding $\Omega_n: \overline{M}_{0,n+3}\to \mathbb{P}^1\times \cdots \times \mathbb{P}^n$. In the case of the product $\omega_1\cdots \omega_n$, these points exhibit a connection to permutation pattern avoidance. Finally, we show that in certain cases, a prior interpretation of the multidegrees via tournaments can also be obtained by degenerations.


title: Defining Security Requirements with the Common Criteria: Applications, Adoptions, and Challenges

abstract: Advances of emerging Information and Communications Technology (ICT) technologies push the boundaries of what is possible and open up new markets for innovative ICT products and services. The adoption of ICT products and systems with security properties depends on consumers' confidence and markets' trust in the security functionalities and whether the assurance measures applied to these products meet the inherent security requirements. Such confidence and trust are primarily gained through the rigorous development of security requirements, validation criteria, evaluation, and certification. Common Criteria for Information Technology Security Evaluation (often referred to as Common Criteria or CC) is an international standard (ISO/IEC 15408) for cyber security certification. In this paper, we conduct a systematic review of the CC standards and its adoptions. Adoption barriers of the CC are also investigated based on the analysis of current trends in security evaluation. Specifically, we share the experiences and lessons gained through the recent Development of Australian Cyber Criteria Assessment (DACCA) project that promotes the CC among stakeholders in ICT security products related to specification, development, evaluation, certification and approval, procurement, and deployment. Best practices on developing Protection Profiles, recommendations, and future directions for trusted cybersecurity advancement are presented.


title: Spatially-resolved relation between [CI] $^{3}P_{1}$-$^{3}P_{0}$ and $^{12}$CO (1-0) in Arp 220

abstract: We present $\sim$0."3 (114 pc) resolution maps of [CI] $^{3}P_{1}$-$^{3}P_{0}$ (hereafter [CI] (1-0)) and $^{12}$CO (1-0) obtained toward Arp 220 with the Atacama Large Millimeter/submillimeter Array. The overall distribution of the [CI] (1-0) emission is consistent with the CO (1-0). While the [CI] (1-0) and CO (1-0) luminosities of the system follow the empirical linear relation for the unresolved ULIRG sample, we find a sublinear relation between [CI] (1-0) and CO (1-0) using the spatially-resolved data. We measure the [CI] (1-0)/CO (1-0) luminosity ratio per pixel in star-forming environments of Arp 220 and investigate its dependence on the CO (3-2)/CO (1-0) ratio ($R_{\rm CO}$). On average, the [CI] (1-0)/CO (1-0) luminosity ratio is almost constant up to $R_{\rm CO} \simeq 1$ and then increases with $R_{\rm CO}$. According to the radiative transfer analysis, a high CI/CO abundance ratio is required in regions with high [CI] (1-0)/CO (1-0) luminosity ratios and $R_{\rm CO} > 1$, suggesting that the CI/CO abundance ratio varies at $\sim$100 pc scale in Arp 220. The [CI] (1-0)/CO (1-0) luminosity ratio depends on multiple factors and may not be straightforward to interpret. We also find the high-velocity components traced by [CI] (1-0) in the western nucleus, likely associated with the molecular outflow. The [CI] (1-0)/CO (1-0) luminosity ratio in the putative outflow is 0.87 $\pm$ 0.28, which is four times higher than the average ratio of Arp 220. While there is a possibility that the [CI] (1-0) and CO (1-0) emission traces different components, we suggest that the high line ratios are likely because of elevated CI/CO abundance ratios based on our radiative transfer analysis. A CI-rich and CO-poor gas phase in outflows could be caused by the irradiation of the cosmic rays, the shock heating, and the intense radiation field.


title: Achieving Envy-Freeness with Limited Subsidies under Dichotomous Valuations

abstract: We study the problem of allocating indivisible goods among agents in a fair manner. While envy-free allocations of indivisible goods are not guaranteed to exist, envy-freeness can be achieved by additionally providing some subsidy to the agents. These subsidies can be alternatively viewed as a divisible good (money) that is fractionally assigned among the agents to realize an envy-free outcome. In this setup, we bound the subsidy required to attain envy-freeness among agents with dichotomous valuations, i.e., among agents whose marginal value for any good is either zero or one. We prove that, under dichotomous valuations, there exists an allocation that achieves envy-freeness with a per-agent subsidy of either $0$ or $1$. Furthermore, such an envy-free solution can be computed efficiently in the standard value-oracle model. Notably, our results hold for general dichotomous valuations and, in particular, do not require the (dichotomous) valuations to be additive, submodular, or even subadditive. Also, our subsidy bounds are tight and provide a linear (in the number of agents) factor improvement over the bounds known for general monotone valuations.


title: Cross-Language Binary-Source Code Matching with Intermediate Representations

abstract: Binary-source code matching plays an important role in many security and software engineering related tasks such as malware detection, reverse engineering and vulnerability assessment. Currently, several approaches have been proposed for binary-source code matching by jointly learning the embeddings of binary code and source code in a common vector space. Despite much effort, existing approaches target on matching the binary code and source code written in a single programming language. However, in practice, software applications are often written in different programming languages to cater for different requirements and computing platforms. Matching binary and source code across programming languages introduces additional challenges when maintaining multi-language and multi-platform applications. To this end, this paper formulates the problem of cross-language binary-source code matching, and develops a new dataset for this new problem. We present a novel approach XLIR, which is a Transformer-based neural network by learning the intermediate representations for both binary and source code. To validate the effectiveness of XLIR, comprehensive experiments are conducted on two tasks of cross-language binary-source code matching, and cross-language source-source code matching, on top of our curated dataset. Experimental results and analysis show that our proposed XLIR with intermediate representations significantly outperforms other state-of-the-art models in both of the two tasks.


title: Online Distributed Coordinated Precoding for Virtualized MIMO Networks with Delayed CSI

abstract: We consider online wireless network virtualization (WNV) in a multi-cell multiple-input multiple output (MIMO) system with delayed feedback of channel state information (CSI). Multiple service providers (SPs) simultaneously share the base station resources of an infrastructure provider (InP). We aim at minimizing the accumulated precoding deviation of the InP's actual precoder from the SPs' virtualization demands via managing both inter-SP and inter-cell interference, subject to both long-term and short-term per-cell transmit power constraints. We develop an online coordinated precoding solution and show that it provides provable performance bounds. Our precoding solution is fully distributed at each cell, based only on delayed local CSI. Furthermore, it has a closed-form expression with low computational complexity. Finally, simulation results demonstrate the substantial performance gain of our precoding solution over the current best alternative.


title: Self-Supervised Deep Blind Video Super-Resolution

abstract: Existing deep learning-based video super-resolution (SR) methods usually depend on the supervised learning approach, where the training data is usually generated by the blurring operation with known or predefined kernels (e.g., Bicubic kernel) followed by a decimation operation. However, this does not hold for real applications as the degradation process is complex and cannot be approximated by these idea cases well. Moreover, obtaining high-resolution (HR) videos and the corresponding low-resolution (LR) ones in real-world scenarios is difficult. To overcome these problems, we propose a self-supervised learning method to solve the blind video SR problem, which simultaneously estimates blur kernels and HR videos from the LR videos. As directly using LR videos as supervision usually leads to trivial solutions, we develop a simple and effective method to generate auxiliary paired data from original LR videos according to the image formation of video SR, so that the networks can be better constrained by the generated paired data for both blur kernel estimation and latent HR video restoration. In addition, we introduce an optical flow estimation module to exploit the information from adjacent frames for HR video restoration. Experiments show that our method performs favorably against state-of-the-art ones on benchmarks and real-world videos.


title: Many Ways to Be Lonely: Fine-Grained Characterization of Loneliness and Its Potential Changes in COVID-19

abstract: Loneliness has been associated with negative outcomes for physical and mental health. Understanding how people express and cope with various forms of loneliness is critical for early screening and targeted interventions to reduce loneliness, particularly among vulnerable groups such as young adults. To examine how different forms of loneliness and coping strategies manifest in loneliness self-disclosure, we built a dataset, FIG-Loneliness (FIne-Grained Loneliness) by using Reddit posts in two young adult-focused forums and two loneliness related forums consisting of a diverse age group. We provided annotations by trained human annotators for binary and fine-grained loneliness classifications of the posts. Trained on FIG-Loneliness, two BERT-based models were used to understand loneliness forms and authors' coping strategies in these forums. Our binary loneliness classification achieved an accuracy above 97%, and fine-grained loneliness category classification reached an average accuracy of 77% across all labeled categories. With FIG-Loneliness and model predictions, we found that loneliness expressions in the young adults related forums were distinct from other forums. Those in young adult-focused forums were more likely to express concerns pertaining to peer relationship, and were potentially more sensitive to geographical isolation impacted by the COVID-19 pandemic lockdown. Also, we showed that different forms of loneliness have differential use in coping strategies.


title: Ordinal Maximin Share Approximation for Chores

abstract: We study the problem of fairly allocating a set of m indivisible chores (items with non-positive value) to n agents. We consider the desirable fairness notion of 1-out-of-d maximin share (MMS) -- the minimum value that an agent can guarantee by partitioning items into d bundles and receiving the least valued bundle -- and focus on ordinal approximation of MMS that aims at finding the largest d <= n for which 1-out-of-d MMS allocation exists. Our main contribution is a polynomial-time algorithm for 1-out-of-floor(2n/3) MMS allocation, and a proof of existence of 1-out-of-floor(3n/4) MMS allocation of chores. Furthermore, we show how to use recently-developed algorithms for bin-packing to approximate the latter bound up to a logarithmic factor in polynomial time.


title: WebUAV-3M: A Benchmark for Unveiling the Power of Million-Scale Deep UAV Tracking

abstract: Unmanned aerial vehicle (UAV) tracking is of great significance for a wide range of applications, such as delivery and agriculture. Previous benchmarks in this area mainly focused on small-scale tracking problems while ignoring the amounts of data, types of data modalities, diversities of target categories and scenarios, and evaluation protocols involved, greatly hiding the massive power of deep UAV tracking. In this work, we propose WebUAV-3M, the largest public UAV tracking benchmark to date, to facilitate both the development and evaluation of deep UAV trackers. WebUAV-3M contains over 3.3 million frames across 4,500 videos and offers 223 highly diverse target categories. Each video is densely annotated with bounding boxes by an efficient and scalable semiautomatic target annotation (SATA) pipeline. Importantly, to take advantage of the complementary superiority of language and audio, we enrich WebUAV-3M by innovatively providing both natural language specifications and audio descriptions. We believe that such additions will greatly boost future research in terms of exploring language features and audio cues for multimodal UAV tracking. In addition, a fine-grained UAV tracking-under-scenario constraint (UTUSC) evaluation protocol and seven challenging scenario subtest sets are constructed to enable the community to develop, adapt and evaluate various types of advanced trackers. We provide extensive evaluations and detailed analyses of 43 representative trackers and envision future research directions in the field of deep UAV tracking and beyond. The dataset, toolkits and baseline results are available at \url{https://github.com/983632847/WebUAV-3M}.


title: Small Satellite Mission Concepts for Space Weather Research and as Pathfinders for Operations

abstract: Recent advances in miniaturization and commercial availability of critical satellite subsystems and detector technology have made small satellites (SmallSats, including CubeSats) an attractive, low-cost potential solution for space weather research and operational needs. Motivated by the 1st International Workshop on SmallSats for Space Weather Research and Forecasting, held in Washington, DC on 1-4 August 2017, we discuss the need for advanced space weather measurement capabilities, driven by analyses from the World Meteorological Organization (WMO), and how SmallSats can efficiently fill these measurement gaps. We present some current, recent missions and proposed/upcoming mission concepts using SmallSats that enhance space weather research and provide prototyping pathways for future operational applications; how they relate to the WMO requirements; and what challenges remain to be overcome to meet the WMO goals and operational needs in the future. With additional investment from cognizant funding agencies worldwide, SmallSats -- including standalone missions and constellations -- could significantly enhance space weather research and, eventually, operations, by reducing costs and enabling new measurements not feasible from traditional, large, monolithic missions.

categories: astro-ph.IM astro-ph.EP astro-ph.SR physics.space-ph


title: Lifted Primal-Dual Method for Bilinearly Coupled Smooth Minimax Optimization

abstract: We study the bilinearly coupled minimax problem: $\min_{x} \max_{y} f(x) + y^\top A x - h(y)$, where $f$ and $h$ are both strongly convex smooth functions and admit first-order gradient oracles. Surprisingly, no known first-order algorithms have hitherto achieved the lower complexity bound of $\Omega((\sqrt{\frac{L_x}{\mu_x}} + \frac{\|A\|}{\sqrt{\mu_x \mu_y}} + \sqrt{\frac{L_y}{\mu_y}}) \log(\frac1{\varepsilon}))$ for solving this problem up to an $\varepsilon$ primal-dual gap in the general parameter regime, where $L_x, L_y,\mu_x,\mu_y$ are the corresponding smoothness and strongly convexity constants. We close this gap by devising the first optimal algorithm, the Lifted Primal-Dual (LPD) method. Our method lifts the objective into an extended form that allows both the smooth terms and the bilinear term to be handled optimally and seamlessly with the same primal-dual framework. Besides optimality, our method yields a desirably simple single-loop algorithm that uses only one gradient oracle call per iteration. Moreover, when $f$ is just convex, the same algorithm applied to a smoothed objective achieves the nearly optimal iteration complexity. We also provide a direct single-loop algorithm, using the LPD method, that achieves the iteration complexity of $O(\sqrt{\frac{L_x}{\varepsilon}} + \frac{\|A\|}{\sqrt{\mu_y \varepsilon}} + \sqrt{\frac{L_y}{\varepsilon}})$. Numerical experiments on quadratic minimax problems and policy evaluation problems further demonstrate the fast convergence of our algorithm in practice.


title: Variable Augmented Network for Invertible MR Coil Compression

abstract: A large number of coils are able to provide enhanced signal-to-noise ratio and improve imaging performance in parallel imaging. Nevertheless, the increasing growth of coil number simultaneously aggravates the drawbacks of data storage and reconstruction speed, especially in some iterative reconstructions. Coil compression addresses these issues by generating fewer virtual coils. In this work, a novel variable augmentation network for invertible coil compression termed VAN-ICC is presented. It utilizes inherent reversibility of normalizing flow-based models for high-precision compression and invertible recovery. By employing the variable augmentation technology to image/k-space variables from multi-coils, VAN-ICC trains invertible networks by finding an invertible and bijective function, which can map the original data to the compressed counterpart and vice versa. Experiments conducted on both fully-sampled and under-sampled data verified the effectiveness and flexibility of VAN-ICC. Quantitative and qualitative comparisons with traditional non-deep learning-based approaches demonstrated that VAN-ICC can carry much higher compression effects. Additionally, its performance is not susceptible to different number of virtual coils.


title: Opencpop: A High-Quality Open Source Chinese Popular Song Corpus for Singing Voice Synthesis

abstract: This paper introduces Opencpop, a publicly available high-quality Mandarin singing corpus designed for singing voice synthesis (SVS). The corpus consists of 100 popular Mandarin songs performed by a female professional singer. Audio files are recorded with studio quality at a sampling rate of 44,100 Hz and the corresponding lyrics and musical scores are provided. All singing recordings have been phonetically annotated with phoneme boundaries and syllable (note) boundaries. To demonstrate the reliability of the released data and to provide a baseline for future research, we built baseline deep neural network-based SVS models and evaluated them with both objective metrics and subjective mean opinion score (MOS) measure. Experimental results show that the best SVS model trained on our database achieves 3.70 MOS, indicating the reliability of the provided corpus. Opencpop is released to the open-source community WeNet, and the corpus, as well as synthesized demos, can be found on the project homepage.


title: NdAlSi: a magnetic Weyl semimetal candidate with rich magnetic phases and atypical transport properties

abstract: Magnetic Weyl semimetals (MWSM) have attracted significant attention due to their intriguing physical properties and potential applications in spin-electronic devices. Here we report the characterization of NdAlSi including transport, magnetization, and heat capacity on single crystals, as well as band structure calculation. It is a newly proposed MWSM candidate which breaks both time-reversal and spacial inversion symmetries. A temperature-magnetic field phase diagram is experimentally established. Remarkably, on the angular magnetoresistance (AMR), a two-fold symmetric sharp peak instead of a smooth variation is observed in the field-induced ferrimagnetic phase. We argue that the tunability of both the topological and magnetic properties in NdAlSi is crucial for realizing such a behavior. Our results indicate that 4f-electron-based MWSM can provide a unique platform to explore new and intriguing quantum phenomena arising from the interaction between magnetism and topology.


title: Some identities and properties on degenerate Stirling numbers

abstract: The aim of this paper is by using generating functions to further study some identities and properties on the degenerate Stirling numbers of the second kind, the degenerate $r$-Stirling numbers of the second kind, the degenerate Stirling numbers of the first kind and the unsigned degenerate Stirling numbers of the first kind.