title: Extraordinary-log surface phase transition in the three-dimensional $XY$ model

abstract: Universality is a pillar of modern critical phenomena. The standard scenario is that the two-point correlation algebraically decreases with the distance $r$ as $g(r) \sim r^{2-d-\eta}$, with $d$ the spatial dimension and $\eta$ the anomalous dimension. Very recently, a logarithmic universality was proposed to describe the extraordinary surface transition of O($N$) system. In this logarithmic universality, $g(r)$ decays in a power of logarithmic distance as $g(r) \sim ({\rm ln}r)^{-\hat{\eta}}$, dramatically different from the standard scenario. We explore the three-dimensional $XY$ model by Monte Carlo simulations, and provide strong evidence for the emergence of logarithmic universality. Moreover, we propose that the finite-size scaling of $g(r,L)$ has a two-distance behavior: simultaneously containing a large-distance plateau whose height decays logarithmically with $L$ as $g(L) \sim ({\rm ln}L)^{-\hat{\eta}'}$ as well as the $r$-dependent term $g(r) \sim ({\rm ln}r)^{-\hat{\eta}}$, with ${\hat{\eta}'} \approx {\hat{\eta}}-1$. The critical exponent $\hat{\eta}'$, characterizing the height of the plateau, obeys the scaling relation $\hat{\eta}'=(N-1)/(2\pi \alpha)$ with the RG parameter $\alpha$ of helicity modulus. Our picture can also explain the recent numerical results of a Heisenberg system. The advances on logarithmic universality significantly expand our understanding of critical universality.


title: The pressureless damped Euler-Riesz equations

abstract: In this paper, we analyze the pressureless damped Euler-Riesz equations posed in either $\mathbb{R}^d$ or $\mathbb{T}^d$. We construct the global-in-time existence and uniqueness of classical solutions for the system around a constant background state. We also establish large-time behaviors of classical solutions showing the solutions towards the equilibrium as time goes to infinity. For the whole space case, we first show the algebraic decay rate of solutions under additional assumptions on the initial data compared to the existence theory. We then refine the argument to have the exponential decay rate of convergence even in the whole space. In the case of the periodic domain, without any further regularity assumptions on the initial data, we provide the exponential convergence of solutions.


title: Machine Learning Approach to Uncovering Residential Energy Consumption Patterns Based on Socioeconomic and Smart Meter Data

abstract: The smart meter data analysis contributes to better planning and operations for the power system. This study aims to identify the drivers of residential energy consumption patterns from the socioeconomic perspective based on the consumption and demographic data using machine learning. We model consumption patterns by representative loads and reveal the relationship between load patterns and socioeconomic characteristics. Specifically, we analyze the real-world smart meter data and extract load patterns by clustering in a robust way. We further identify the influencing socioeconomic attributes on load patterns to improve our method's interpretability. The relationship between consumers' load patterns and selected socioeconomic features is characterized via machine learning models. The findings are as follows. (1) Twelve load clusters, consisting of six for weekdays and six for weekends, exhibit a diverse pattern of lifestyle and a difference between weekdays and weekends. (2) Among various socioeconomic features, age and education level are suggested to influence the load patterns. (3) Our proposed analytical model using feature selection and machine learning is proved to be more effective than XGBoost and conventional neural network model in mapping the relationship between load patterns and socioeconomic features.


title: Spin-orbit torque switching of N\'eel order in two-dimensional CrI$_3$

abstract: Spin-orbit torque enables electrical control of the magnetic state of ferromagnets or antiferromagnets. In this work we consider the spin-orbit torque in the 2-d Van der Waals antiferromagnetic bilayer CrI$_3$, in the $n$-doped regime. In the purely antiferromagnetic state, two individually inversion-symmetry broken layers of CrI$_3$ form inversion partners, like the well-studied CuMnAs and Mn$_2$Au. However, the exchange and anisotropy energies are similar in magnitude, unlike previously studied antiferromagnets, which leads to qualitatively different behaviors in this material. Using a combination of first-principles calculations of the spin-orbit torque and an analysis of the ensuing spin dynamics, we show that the deterministic electrical switching of the N\'eel vector is the result of dampinglike spin-orbit torque, which is staggered on the magnetic sublattices.


title: Estimation of Summary-to-Text Inconsistency by Mismatched Embeddings

abstract: We propose a new reference-free summary quality evaluation measure, with emphasis on the faithfulness. The measure is designed to find and count all possible minute inconsistencies of the summary with respect to the source document. The proposed ESTIME, Estimator of Summary-to-Text Inconsistency by Mismatched Embeddings, correlates with expert scores in summary-level SummEval dataset stronger than other common evaluation measures not only in Consistency but also in Fluency. We also introduce a method of generating subtle factual errors in human summaries. We show that ESTIME is more sensitive to subtle errors than other common evaluation measures.


title: Beyond the Weyl barrier for $\mathrm{GL}(2)$ exponential sums

abstract: In this paper, we use the Bessel $\delta$-method, along with new variants of the van der Corput method in two dimensions, to prove non-trivial bounds for $\mathrm{GL}(2)$ exponential sums beyond the Weyl barrier. More explicitly, for sums of $\mathrm{GL}(2)$ Fourier coefficients twisted by $e(f(n))$, with length $N$ and phase $f(n)=N^{\beta} \log n / 2\pi$ or $a n^{\beta}$, non-trivial bounds are established for $ \beta < 1.63651... $, which is beyond the Weyl barrier at $\beta = 3/2$.


title: Software-Hardware Co-design for Fast and Scalable Training of Deep Learning Recommendation Models

abstract: Deep learning recommendation models (DLRMs) are used across many business-critical services at Facebook and are the single largest AI application in terms of infrastructure demand in its data-centers. In this paper we discuss the SW/HW co-designed solution for high-performance distributed training of large-scale DLRMs. We introduce a high-performance scalable software stack based on PyTorch and pair it with the new evolution of Zion platform, namely ZionEX. We demonstrate the capability to train very large DLRMs with up to 12 Trillion parameters and show that we can attain 40X speedup in terms of time to solution over previous systems. We achieve this by (i) designing the ZionEX platform with dedicated scale-out network, provisioned with high bandwidth, optimal topology and efficient transport (ii) implementing an optimized PyTorch-based training stack supporting both model and data parallelism (iii) developing sharding algorithms capable of hierarchical partitioning of the embedding tables along row, column dimensions and load balancing them across multiple workers; (iv) adding high-performance core operators while retaining flexibility to support optimizers with fully deterministic updates (v) leveraging reduced precision communications, multi-level memory hierarchy (HBM+DDR+SSD) and pipelining. Furthermore, we develop and briefly comment on distributed data ingestion and other supporting services that are required for the robust and efficient end-to-end training in production environments.


title: Model-independent constraints on ultra-light dark matter from the SPARC data

abstract: Ultra-light dark matter (ULDM) is currently one of the most popular classes of cosmological dark matter. The most important advantage is that ULDM with mass $m \sim 10^{-22}$ eV can account for the small-scale problems encountered in the standard cold dark matter (CDM) model like the core-cusp problem, missing satellite problem and the too-big-to-fail problem in galaxies. In this article, we formulate a new simple model-independent analysis using the SPARC data to constrain the range of ULDM mass. In particular, the most stringent constraint comes from the data of a galaxy ESO563-G021, which can conservatively exclude a ULDM mass range $m=(0.14-3.11)\times 10^{-22}$ eV. This model-independent excluded range is consistent with many bounds obtained by recent studies and it suggests that the ULDM proposal may not be able to alleviate the small-scale problems.


title: Feature Decomposition and Reconstruction Learning for Effective Facial Expression Recognition

abstract: In this paper, we propose a novel Feature Decomposition and Reconstruction Learning (FDRL) method for effective facial expression recognition. We view the expression information as the combination of the shared information (expression similarities) across different expressions and the unique information (expression-specific variations) for each expression. More specifically, FDRL mainly consists of two crucial networks: a Feature Decomposition Network (FDN) and a Feature Reconstruction Network (FRN). In particular, FDN first decomposes the basic features extracted from a backbone network into a set of facial action-aware latent features to model expression similarities. Then, FRN captures the intra-feature and inter-feature relationships for latent features to characterize expression-specific variations, and reconstructs the expression feature. To this end, two modules including an intra-feature relation modeling module and an inter-feature relation modeling module are developed in FRN. Experimental results on both the in-the-lab databases (including CK+, MMI, and Oulu-CASIA) and the in-the-wild databases (including RAF-DB and SFEW) show that the proposed FDRL method consistently achieves higher recognition accuracy than several state-of-the-art methods. This clearly highlights the benefit of feature decomposition and reconstruction for classifying expressions.


title: The Wigner Function of Ground State and One-Dimensional Numerics

abstract: In this paper, the ground state Wigner function of a many-body system is explored theoretically and numerically. First, an eigenvalue problem for Wigner function is derived based on the energy operator of the system. The validity of finding the ground state through solving this eigenvalue problem is obtained by building a correspondence between its solution and the solution of stationary Schr\"odinger equation. Then, a numerical method is designed for solving proposed eigenvalue problem in one dimensional case, which can be briefly described by i) a simplified model is derived based on a quantum hydrodynamic model [Z. Cai et al, J. Math. Chem., 2013] to reduce the dimension of the problem, ii) an imaginary time propagation method is designed for solving the model, and numerical techniques such as solution reconstruction are proposed for the feasibility of the method. Results of several numerical experiments verify our method, in which the potential application of the method for large scale system is demonstrated by examples with density functional theory.


title: On the stability of the laminar boundary layer beneath a Stokes wave

abstract: The linear stability of the laminar boundary layer flow of a Stokes wave in deep waters is investigated by means of a 'momentary' criterion of instability for unsteady flows (Blondeaux and Seminara, 1979). In the parameter range investigated, it is found that the flow is stable to 2-D perturbations. The least stable eigenmode of the resulting Orr-Sommerfield spectrum attains its maximum beneath the boundary layer of the Stokes wave. Moreover, an analysis of the associated pseudospectrum indicates that the laminar flow when modified by imperfections is unstable due to the non-normality of the Orr-Sommerfeld operator, and the unstable pseudo-eigenmodes tend to peak within the boundary layer. The laminar flow of the Stokes wave is also stable to 3-D streamwise-independent perturbations. Instability is observed for the laminar flow with imperfections. The associated unstable pseudo-eigenmodes are streamwise vortical rolls similar to Langmuir cells. The laminar boundary layer flow of a Stokes wave appears to be stable to infinitesimal perturbations, but it may likely be unstable to finite perturbations, as in Poiseuille pipe flows. The present results are supportive of the recent experimental evidence of spontaneous occurrence of turbulence beneath unforced non-breaking surface waves.


title: Learning dynamic and hierarchical traffic spatiotemporal features with Transformer

abstract: Traffic forecasting is an indispensable part of Intelligent transportation systems (ITS), and long-term network-wide accurate traffic speed forecasting is one of the most challenging tasks. Recently, deep learning methods have become popular in this domain. As traffic data are physically associated with road networks, most proposed models treat it as a spatiotemporal graph modeling problem and use Graph Convolution Network (GCN) based methods. These GCN-based models highly depend on a predefined and fixed adjacent matrix to reflect the spatial dependency. However, the predefined fixed adjacent matrix is limited in reflecting the actual dependence of traffic flow. This paper proposes a novel model, Traffic Transformer, for spatial-temporal graph modeling and long-term traffic forecasting to overcome these limitations. Transformer is the most popular framework in Natural Language Processing (NLP). And by adapting it to the spatiotemporal problem, Traffic Transformer hierarchically extracts spatiotemporal features through data dynamically by multi-head attention and masked multi-head attention mechanism, and fuse these features for traffic forecasting. Furthermore, analyzing the attention weight matrixes can find the influential part of road networks, allowing us to learn the traffic networks better. Experimental results on the public traffic network datasets and real-world traffic network datasets generated by ourselves demonstrate our proposed model achieves better performance than the state-of-the-art ones.


title: A Learnable Self-supervised Task for Unsupervised Domain Adaptation on Point Clouds

abstract: Deep neural networks have achieved promising performance in supervised point cloud applications, but manual annotation is extremely expensive and time-consuming in supervised learning schemes. Unsupervised domain adaptation (UDA) addresses this problem by training a model with only labeled data in the source domain but making the model generalize well in the target domain. Existing studies show that self-supervised learning using both source and target domain data can help improve the adaptability of trained models, but they all rely on hand-crafted designs of the self-supervised tasks. In this paper, we propose a learnable self-supervised task and integrate it into a self-supervision-based point cloud UDA architecture. Specifically, we propose a learnable nonlinear transformation that transforms a part of a point cloud to generate abundant and complicated point clouds while retaining the original semantic information, and the proposed self-supervised task is to reconstruct the original point cloud from the transformed ones. In the UDA architecture, an encoder is shared between the networks for the self-supervised task and the main task of point cloud classification or segmentation, so that the encoder can be trained to extract features suitable for both the source and the target domain data. Experiments on PointDA-10 and PointSegDA datasets show that the proposed method achieves new state-of-the-art performance on both classification and segmentation tasks of point cloud UDA. Code will be made publicly available.


title: Iterative Access Point Selection, MMSE Precoding and Power Allocation for Cell-Free Networks

abstract: In this work, we propose iterative access point (AP) selection (APS), linear minimum mean-square error (MMSE) precoding and power allocation techniques for Cell-Free Massive multiple-input multiple-output (MIMO) systems. We consider the downlink channel with single-antenna users and multiple-antenna APs. We derive sum-rate expressions for the proposed iterative APS techniques followed by MMSE precoding and optimal, adaptive, and uniform power allocation schemes. Simulations show that the proposed approach outperforms existing conjugate beamforming (CB) and zero-forcing (ZF) schemes and that performance remains excellent with APS, in the presence of perfect and imperfect channel state information (CSI).


title: Object-Centric Representation Learning for Video Question Answering

abstract: Video question answering (Video QA) presents a powerful testbed for human-like intelligent behaviors. The task demands new capabilities to integrate video processing, language understanding, binding abstract linguistic concepts to concrete visual artifacts, and deliberative reasoning over spacetime. Neural networks offer a promising approach to reach this potential through learning from examples rather than handcrafting features and rules. However, neural networks are predominantly feature-based - they map data to unstructured vectorial representation and thus can fall into the trap of exploiting shortcuts through surface statistics instead of true systematic reasoning seen in symbolic systems. To tackle this issue, we advocate for object-centric representation as a basis for constructing spatio-temporal structures from videos, essentially bridging the semantic gap between low-level pattern recognition and high-level symbolic algebra. To this end, we propose a new query-guided representation framework to turn a video into an evolving relational graph of objects, whose features and interactions are dynamically and conditionally inferred. The object lives are then summarized into resumes, lending naturally for deliberative relational reasoning that produces an answer to the query. The framework is evaluated on major Video QA datasets, demonstrating clear benefits of the object-centric approach to video reasoning.


title: Egocentric Pose Estimation from Human Vision Span

abstract: Estimating camera wearer's body pose from an egocentric view (egopose) is a vital task in augmented and virtual reality. Existing approaches either use a narrow field of view front facing camera that barely captures the wearer, or an extruded head-mounted top-down camera for maximal wearer visibility. In this paper, we tackle the egopose estimation from a more natural human vision span, where camera wearer can be seen in the peripheral view and depending on the head pose the wearer may become invisible or has a limited partial view. This is a realistic visual field for user-centric wearable devices like glasses which have front facing wide angle cameras. Existing solutions are not appropriate for this setting, and so, we propose a novel deep learning system taking advantage of both the dynamic features from camera SLAM and the body shape imagery. We compute 3D head pose, 3D body pose, the figure/ground separation, all at the same time while explicitly enforcing a certain geometric consistency across pose attributes. We further show that this system can be trained robustly with lots of existing mocap data so we do not have to collect and annotate large new datasets. Lastly, our system estimates egopose in real time and on the fly while maintaining high accuracy.


title: Soft then Hard: Rethinking the Quantization in Neural Image Compression

abstract: Quantization is one of the core components in lossy image compression. For neural image compression, end-to-end optimization requires differentiable approximations of quantization, which can generally be grouped into three categories: additive uniform noise, straight-through estimator and soft-to-hard annealing. Training with additive uniform noise approximates the quantization error variationally but suffers from the train-test mismatch. The other two methods do not encounter this mismatch but, as shown in this paper, hurt the rate-distortion performance since the latent representation ability is weakened. We thus propose a novel soft-then-hard quantization strategy for neural image compression that first learns an expressive latent space softly, then closes the train-test mismatch with hard quantization. In addition, beyond the fixed integer quantization, we apply scaled additive uniform noise to adaptively control the quantization granularity by deriving a new variational upper bound on actual rate. Experiments demonstrate that our proposed methods are easy to adopt, stable to train, and highly effective especially on complex compression models.


title: MIMO-OFDM-Based Massive Connectivity With Frequency Selectivity Compensation

abstract: In this paper, we study how to efficiently and reliably detect active devices and estimate their channels in a multiple-input multiple-output (MIMO) orthogonal frequency-division multiplexing (OFDM) based grant-free non-orthogonal multiple access (NOMA) system to enable massive machine-type communications (mMTC). First, by exploiting the correlation of the channel frequency responses in narrow-band mMTC, we propose a block-wise linear channel model. Specifically, the continuous OFDM subcarriers in the narrow-band are divided into several sub-blocks and a linear function with only two variables (mean and slope) is used to approximate the frequency-selective channel in each sub-block. This significantly reduces the number of variables to be determined in channel estimation and the sub-block number can be adjusted to reliably compensate the channel frequency-selectivity. Second, we formulate the joint active device detection and channel estimation in the block-wise linear system as a Bayesian inference problem. By exploiting the block-sparsity of the channel matrix, we develop an efficient turbo message passing (Turbo-MP) algorithm to resolve the Bayesian inference problem with near-linear complexity. We further incorporate machine learning approaches into Turbo-MP to learn unknown prior parameters. Numerical results demonstrate the superior performance of the proposed algorithm over state-of-the-art algorithms.


title: Memory-guided Unsupervised Image-to-image Translation

abstract: We present a novel unsupervised framework for instance-level image-to-image translation. Although recent advances have been made by incorporating additional object annotations, existing methods often fail to handle images with multiple disparate objects. The main cause is that, during inference, they apply a global style to the whole image and do not consider the large style discrepancy between instance and background, or within instances. To address this problem, we propose a class-aware memory network that explicitly reasons about local style variations. A key-values memory structure, with a set of read/update operations, is introduced to record class-wise style variations and access them without requiring an object detector at the test time. The key stores a domain-agnostic content representation for allocating memory items, while the values encode domain-specific style representations. We also present a feature contrastive loss to boost the discriminative power of memory items. We show that by incorporating our memory, we can transfer class-aware and accurate style representations across domains. Experimental results demonstrate that our model outperforms recent instance-level methods and achieves state-of-the-art performance.


title: Deep Recursive Embedding for High-Dimensional Data

abstract: t-distributed stochastic neighbor embedding (t-SNE) is a well-established visualization method for complex high-dimensional data. However, the original t-SNE method is nonparametric, stochastic, and often cannot well prevserve the global structure of data as it emphasizes local neighborhood. With t-SNE as a reference, we propose to combine the deep neural network (DNN) with the mathematical-grounded embedding rules for high-dimensional data embedding. We first introduce a deep embedding network (DEN) framework, which can learn a parametric mapping from high-dimensional space to low-dimensional embedding. DEN has a flexible architecture that can accommodate different input data (vector, image, or tensor) and loss functions. To improve the embedding performance, a recursive training strategy is proposed to make use of the latent representations extracted by DEN. Finally, we propose a two-stage loss function combining the advantages of two popular embedding methods, namely, t-SNE and uniform manifold approximation and projection (UMAP), for optimal visualization effect. We name the proposed method Deep Recursive Embedding (DRE), which optimizes DEN with a recursive training strategy and two-stage losse. Our experiments demonstrated the excellent performance of the proposed DRE method on high-dimensional data embedding, across a variety of public databases. Remarkably, our comparative results suggested that our proposed DRE could lead to improved global structure preservation.


title: How Asymmetry Helps Buffer Management: Achieving Optimal Tail Size in Cup Games

abstract: The cup game on $n$ cups is a multi-step game with two players, a filler and an emptier. At each step, the filler distributes $1$ unit of water among the cups, and then the emptier selects a single cup to remove (up to) $1$ unit of water from. There are several objective functions that the emptier might wish to minimize. One of the strongest guarantees would be to minimize tail size, which is defined to be the number of cups with fill $2$ or greater. A simple lower-bound construction shows that the optimal tail size for deterministic emptying algorithms is $\Theta(n)$, however. We present a simple randomized emptying algorithm that achieves tail size $\tilde{O}(\log n)$ with high probability in $n$ for $\operatorname{poly} n$ steps. Moreover, we show that this is tight up to doubly logarithmic factors. We also extend our results to the multi-processor cup game, achieving tail size $\tilde{O}(\log n + p)$ on $p$ processors with high probability in $n$. We show that the dependence on $p$ is near optimal for any emptying algorithm that achieves polynomial-bounded backlog. A natural question is whether our results can be extended to give unending guarantees, which apply to arbitrarily long games. We give a lower bound construction showing that no monotone memoryless emptying algorithm can achieve an unending guarantee on either tail size or the related objective function of backlog. On the other hand, we show that even a very small (i.e., $1 / \operatorname{poly} n$) amount of resource augmentation is sufficient to overcome this barrier.


title: Weighted $\sin\left(3\phi_h -\phi_S\right)$ asymmetry from pretzelosity in SIDIS at electron ion colliders

abstract: We investigate the transverse momentum weighted azimuthal asymmetry with a $\sin\left(3\phi_h -\phi_S\right)$ modulation in electroproduction of charged pion production off the transversely polarized proton. The asymmetry is contributed by the product of the second transverse-moment of the pretzelosity distribution function and the first transverse-moment of the Collins function. Using the extracted result for the proton pretzelosity and the available parametrization for the pion Collins function, we numerically predict the $P_{hT}^3$-weighted $\sin\left(3\phi_h -\phi_S\right)$ asymmetry for charged pion production at electron ion colliders (EICs). It is found that the weighted asymmetry is around 2 percent in the kinematics region of EICs. Our results show that the planned high luminosity electron ion colliders could be feasible to access pretzelosity in the near future.


title: Three-dimensional magnetic reconnection in astrophysical plasmas

abstract: Magnetic reconnection is a fundamental process in a laboratory, magnetospheric, solar and astrophysical plasma, whereby magnetic energy is converted into heat, bulk kinetic energy and fast particle energy. Its nature in two dimensions is much better understood than in three dimensions (3D), where its character is completely different and has many diverse aspects that are currently being explored. Here we focus on the magnetohydrodynamics of 3D reconnection in the plasma environment of the solar system, especially solar flares. The theory of reconnection at null points, separators and quasi-separators is described, together with accounts of numerical simulations and observations of these three types of reconnection. The distinction between separator and quasi-separator reconnection is a theoretical one that is unimportant for the observations of energy release. A new paradigm for solar flares, in which 3D reconnection plays a central role, is proposed.


title: Effects of Proton Irradiation on Hole Carrier Transport in Hydrogen-Terminated Diamond Surfaces

abstract: In this letter, we report the effects of irradiating hydrogen-terminated diamond surfaces with protons. We study the electrical behavior of the two-dimensional hole gas that forms on the diamond surface as a result of hydrogen-termination. Four diamond samples, two of which were passivated with Al2O3 and the other two unpassivated, were irradiated with 2 MeV protons at two fluences, 0.5x10^14 and 1.0x10^14 /cm^2. The hole conductivity degraded at a higher proton fluence, which is attributed to the reduction of the mobility caused by enhanced hole scattering. Both passivated and unpassivated samples exhibited a reduction in the mobility, which can be explained by charging effects of the Al2O3 (for the passivated samples) and degradation of the hydrogen-terminated surface (for the unpassivated samples). To our knowledge, this is the first reported data on 2 MeV proton tolerance of hydrogen-terminated diamond surfaces.


title: Empirical Scaling Laws of Rocket Exhaust Cratering

abstract: When launching or landing a spacecraft on the regolith of a terrestrial surface, special attention needs to be paid to the rocket exhaust cratering effects. If the effects are not controlled, the rocket cratering could damage the spacecraft or other surrounding hardware. The cratering effects of a rocket landing a planet's surface are not understood well, especially for the lunar case with the plume expanding in vacuum. As a result, the blast effects cannot be estimated sufficiently using analytical theories. It is necessary to develop physics-based simulation tools in order to calculate mission-essential parameters. In this work we test out the scaling laws of the physics in regard to growth rate of the crater depth. This will provide the physical insight necessary to begin the physics-based modeling.


title: GarmentNets: Category-Level Pose Estimation for Garments via Canonical Space Shape Completion

abstract: This paper tackles the task of category-level pose estimation for garments. With a near infinite degree of freedom, a garment's full configuration (i.e., poses) is often described by the per-vertex 3D locations of its entire 3D surface. However, garments are also commonly subject to extreme cases of self-occlusion, especially when folded or crumpled, making it challenging to perceive their full 3D surface. To address these challenges, we propose GarmentNets, where the key idea is to formulate the deformable object pose estimation problem as a shape completion task in the canonical space. This canonical space is defined across garments instances within a category, therefore, specifies the shared category-level pose. By mapping the observed partial surface to the canonical space and completing it in this space, the output representation describes the garment's full configuration using a complete 3D mesh with the per-vertex canonical coordinate label. To properly handle the thin 3D structure presented on garments, we proposed a novel 3D shape representation using the generalized winding number field. Experiments demonstrate that GarmentNets is able to generalize to unseen garment instances and achieve significantly better performance compared to alternative approaches.


title: Polar-Precoding: A Unitary Finite-Feedback Transmit Precoder for Polar-Coded MIMO Systems

abstract: We propose a unitary precoding scheme, namely polar-precoding, to improve the performance of polar-coded MIMO systems. In contrast to the traditional design of MIMO precoding criteria, the proposed polar-precoding scheme relies on the \emph{polarization criterion}. In particular, the precoding matrix design comprises two steps. After selecting a basic matrix for maximizing the capacity in the first step, we design a unitary matrix for maximizing the polarization effect among the data streams without degrading the capacity. Our simulation results show that the proposed polar-precoding scheme outperforms the state-of-the-art DFT precoding scheme.


title: Ultrasensitive optical magnetometry at the microscale

abstract: Recent advances in optical magnetometry have achieved record sensitivity at both macro- and nano-scale. Combined with high bandwidth and non-cryogenic operation, this has enabled many applications. By comparison, microscale optical magnetometers have been constrained to sensitivities five orders-of-magnitude worse than the state-of-the-art. Here, we report an ambient optical micro-magnetometer operating for the first time in the picoTesla range, a more than three order-of-magnitude advance on previous results. Unlike other ultrasensitive optical magnetometers, the device operates at earth field, achieves tens of MHz bandwidth, and is integrated and fiber coupled. Combined with 60 micrometer spatial resolution and microWatt optical power requirements, these unique capabilities open up a broad range of applications including cryogen-free and microfluidic magnetic resonance imaging, and electromagnetic interference-free investigation of spin physics in condensed matter systems such as semiconductors and ultracold atom clouds


title: Fiber Packing and Morphology Driven Moisture Diffusion Mechanics in Reinforced Composites

abstract: Fiber reinforced polymer composite (FRPC) materials are extensively used in lightweight applications due to their high specific strength and other favorable properties including enhanced endurance and corrosion resistance. However, these materials are inevitably exposed to moisture, which is known to drastically reduce their mechanical properties caused by moisture absorption and often accompanied with plasticization, weight gain, hygrothermal swelling, and de-bonding between fiber and matrix. Hence, it is vital to understand moisture diffusion mechanics into FRPCs. The presence of fibers, especially impermeable like Carbon fibers, introduce tortuous moisture diffusion pathways through polymer matrix. In this paper, we elucidate the impact of fiber packing and morphology on moisture diffusion in FRPC materials. Computational models are developed within a finite element framework to evaluate moisture kinetics in impermeable FRPCs. We introduce a tortuosity factor for measuring the extent of deviation in moisture diffusion pathways due to impermeable fiber reinforcements. Two-dimensional micromechanical models are analyzed with varying fiber volume fractions, spatial distributions and morphology to elucidate the influence of internal micromechanical fiber architectures on tortuous diffusion pathways and corresponding diffusivities. Finally, a relationship between tortuosity and diffusivity is established such that diffusivity can be calculated using tortuosity for a given micro-architecture. Tortuosity can be easily calculated for a given architecture by solving steady state diffusion governing equations, whereas time-dependent transient diffusion equations need to be solved for calculating moisture diffusivity. Hence, tortuosity, instead of diffusivity, can be used in future composites designs, multi-scale analyses, and optimization for enabling robust structures in moisture environments.


title: First Detection of sub-PeV Diffuse Gamma Rays from the Galactic Disk: Evidence for Ubiquitous Galactic Cosmic Rays beyond PeV Energies

abstract: We report, for the first time, the long-awaited detection of diffuse gamma rays with energies between 100 TeV and 1 PeV in the Galactic disk. Particularly, all gamma rays above 398 TeV are observed apart from known TeV gamma-ray sources and compatible with expectations from the hadronic emission scenario in which gamma rays originate from the decay of $\pi^0$'s produced through the interaction of protons with the interstellar medium in the Galaxy. This is strong evidence that cosmic rays are accelerated beyond PeV energies in our Galaxy and spread over the Galactic disk.


title: Automated Mechanism Design for Classification with Partial Verification

abstract: We study the problem of automated mechanism design with partial verification, where each type can (mis)report only a restricted set of types (rather than any other type), induced by the principal's limited verification power. We prove hardness results when the revelation principle does not necessarily hold, as well as when types have even minimally different preferences. In light of these hardness results, we focus on truthful mechanisms in the setting where all types share the same preference over outcomes, which is motivated by applications in, e.g., strategic classification. We present a number of algorithmic and structural results, including an efficient algorithm for finding optimal deterministic truthful mechanisms, which also implies a faster algorithm for finding optimal randomized truthful mechanisms via a characterization based on convexity. We then consider a more general setting, where the principal's cost is a function of the combination of outcomes assigned to each type. In particular, we focus on the case where the cost function is submodular, and give generalizations of essentially all our results in the classical setting where the cost function is additive. Our results provide a relatively complete picture for automated mechanism design with partial verification.


title: Cybersecurity in Smart Farming: Canada Market Research

abstract: The Cyber Science Lab (CSL) and Smart Cyber-Physical System (SCPS) Lab at the University of Guelph conduct a market study of cybersecurity technology adoption and requirements for smart and precision farming in Canada. We conducted 17 stakeholder/key opinion leader interviews in Canada and the USA, as well as conducting extensive secondary research, to complete this study. Each interview generally required 15-20 minutes to complete. Interviews were conducted using a client-approved interview guide. Secondary and primary research focussed on the following areas of investigation: Market size and segmentation Market forecast and growth rate Competitive landscape Market challenges/barriers to entry Market trends/growth drivers Adoption/commercialization of the technology


title: Smooth and probabilistic PARAFAC model with auxiliary covariates

abstract: In immunological and clinical studies, matrix-valued time-series data clustering is increasingly popular. Researchers are interested in finding low-dimensional embedding of subjects based on potentially high-dimensional longitudinal features and investigating relationships between static clinical covariates and the embedding. These studies are often challenging due to high dimensionality, as well as the sparse and irregular nature of sample collection along the time dimension. We propose a smoothed probabilistic PARAFAC model with covariates (SPACO) to tackle these two problems while utilizing auxiliary covariates of interest. We provide intensive simulations to test different aspects of SPACO and demonstrate its use on an immunological data set from patients with SARs-CoV-2 infection.


title: Ethereum Name Service: the Good, the Bad, and the Ugly

abstract: DNS has always been criticized for its inherent design flaws, making the system vulnerable to kinds of attacks. Besides, DNS domain names are not fully controlled by the users, which can be easily taken down by the authorities and registrars. Since blockchain has its unique properties like immutability and decentralization, it seems to be promising to build a decentralized name service on blockchain. Ethereum Name Service (ENS), as a novel name service built atop Etheruem, has received great attention from the community. Yet, no existing work has systematically studied this emerging system, especially the security issues and misbehaviors in ENS. To fill the void, we present the first large-scale study of ENS by collecting and analyzing millions of event logs related to ENS. We characterize the ENS system from a number of perspectives. Our findings suggest that ENS is showing gradually popularity during its four years' evolution, mainly due to its distributed and open nature that ENS domain names can be set to any kinds of records, even censored and malicious contents. We have identified several security issues and misbehaviors including traditional DNS security issues and new issues introduced by ENS smart contracts. Attackers are abusing the system with thousands of squatting ENS names, a number of scam blockchain addresses and malicious websites, etc. Our exploration suggests that our community should invest more effort into the detection and mitigation of issues in Blockchain-based Name Services towards building an open and trustworthy name service.


title: An Optimal Low-Complexity Energy-Efficient ADC Bit Allocation for Massive MIMO

abstract: Fixed low-resolution Analog to Digital Converters (ADC) help reduce the power consumption in millimeter-wave Massive Multiple-Input Multiple-Output (Ma-MIMO) receivers operating at large bandwidths. However, they do not guarantee optimal Energy Efficiency (EE). It has been shown that adopting variable-resolution (VR) ADCs in Ma-MIMO receivers can improve performance with Mean Squared Error (MSE) and throughput while providing better EE. In this paper, we present an optimal energy-efficient bit allocation (BA) algorithm for Ma-MIMO receivers equipped with VR ADCs under a power constraint. We derive an expression for EE as a function of the Cramer-Rao Lower Bound on the MSE of the received, combined, and quantized signal. An optimal BA condition is derived by maximizing EE under a power constraint. We show that the optimal BA thus obtained is exactly the same as that obtained using the brute-force BA with a significant reduction in computational complexity. We also study the EE performance and computational complexity of a heuristic algorithm that yields a near-optimal solution.


title: The Extraordinary Outburst in the Massive Protostellar System NGC6334I-MM1: Strong Increase in Mid-Infrared Continuum Emission

abstract: In recent years, dramatic outbursts have been identified toward massive protostars via infrared and millimeter dust continuum and molecular maser emission. The longest lived outburst ($>6$ yr) persists in NGC6334I-MM1, a deeply-embedded object with no near-IR counterpart. Using FORCAST and HAWC+ on SOFIA, we have obtained the first mid-infrared images of this field since the outburst began. Despite being undetected in pre-outburst ground-based 18 $\mu$m images, MM1 is now the brightest region at all three wavelengths (25, 37, and 53 $\mu$m), exceeding the ultracompact HII region MM3 (NGC6334F). Combining the SOFIA data with ALMA imaging at four wavelengths, we construct a spectral energy distribution of the combination of MM1 and the nearby hot core MM2. The best-fit Robitaille radiative transfer model yields a luminosity of $(4.9\pm0.8)\times10^4 L_\odot$. Accounting for an estimated pre-outburst luminosity ratio MM1:MM2 = $2.1\pm0.4$, the luminosity of MM1 has increased by a factor of $16.3\pm4.4$. The pre-outburst luminosity implies a protostar of mass 6.7 $M_\odot$, which can produce the ionizing photon rate required to power the pre-outburst hypercompact HII region surrounding the likely outbursting protostar MM1B. The total energy and duration of the outburst exceed the S255IR-NIRS3 outburst by a factor of $\gtrsim3$, suggesting a different scale of event involving expansion of the protostellar photosphere (to $\gtrsim$ 20 $R_\odot$), thereby supporting a higher accretion rate ($\gtrsim$0.0023 $M_\odot$ yr$^{-1}$) and reducing the ionizing photon rate. In the grid of hydrodynamic models of Meyer et al. 2021, the combination of outburst luminosity and magnitude (3) places the NGC6334I-MM1 event in the region of moderate total accretion ($\sim$0.1-0.3 $M_\odot$) and hence long duration ($\sim$40-130 yr).


title: Accelerating science with human versus alien artificial intelligences

abstract: Data-driven artificial intelligence models fed with published scientific findings have been used to create powerful prediction engines for scientific and technological advance, such as the discovery of novel materials with desired properties and the targeted invention of new therapies and vaccines. These AI approaches typically ignore the distribution of human prediction engines -- scientists and inventor -- who continuously alter the landscape of discovery and invention. As a result, AI hypotheses are designed to substitute for human experts, failing to complement them for punctuated collective advance. Here we show that incorporating the distribution of human expertise into self-supervised models by training on inferences cognitively available to experts dramatically improves AI prediction of future human discoveries and inventions. Including expert-awareness into models that propose (a) valuable energy-relevant materials increases the precision of materials predictions by ~100%, (b) repurposing thousands of drugs to treat new diseases increases precision by 43%, and (c) COVID-19 vaccine candidates examined in clinical trials by 260%. These models succeed by predicting human predictions and the scientists who will make them. By tuning AI to avoid the crowd, however, it generates scientifically promising "alien" hypotheses unlikely to be imagined or pursued without intervention, not only accelerating but punctuating scientific advance. By identifying and correcting for collective human bias, these models also suggest opportunities to improve human prediction by reformulating science education for discovery.


title: Ion-Photonic Frequency Qubit Correlations for Quantum Networks

abstract: Efficiently scaling quantum networks to long ranges requires local processing nodes to perform basic computation and communication tasks. Trapped ions have demonstrated all the properties required for the construction of such a node, storing quantum information for up to 12 minutes, implementing deterministic high fidelity logic operations on one and two qubits, and ion-photon coupling. While most ions suitable for quantum computing emit photons in visible to near ultraviolet (UV) frequency ranges poorly suited to long-distance fibre optical based networking, recent experiments in frequency conversion provide a technological solution by shifting the photons to frequencies in the telecom band with lower attenuation for fused silica fibres. Encoding qubits in frequency rather than polarization makes them more robust against decoherence from thermal or mechanical noise due to the conservation of energy. To date, ion-photonic frequency qubit entanglement has not been directly shown. Here we demonstrate a frequency encoding ion-photon entanglement protocol in $^{171}$Yb$^+$ with correlations equivalent to 92.4(8)% fidelity using a purpose-built UV hyperfine spectrometer. The same robustness against decoherence precludes our passive optical setup from rotating photonic qubits to unconditionally demonstrate entanglement, however it is sufficient to allow us to benchmark the quality of ion-UV photon correlations prior to frequency conversion to the telecom band.


title: QZNs: Quantum Z-numbers

abstract: Because of the efficiency of modeling fuzziness and vagueness, Z-number plays an important role in real practice. However, Z-numbers, defined in the real number field, lack the ability to process the quantum information in quantum environment. It is reasonable to generalize Z-number into its quantum counterpart. In this paper, we propose quantum Z-numbers (QZNs), which are the quantum generalization of Z-numbers. In addition, seven basic quantum fuzzy operations of QZNs and their corresponding quantum circuits are presented and illustrated by numerical examples. Moreover, based on QZNs, a novel quantum multi-attributes decision making (MADM) algorithm is proposed and applied in medical diagnosis. The results show that, with the help of quantum computation, the proposed algorithm can make diagnoses correctly and efficiently.


title: Liouville theorems for harmonic map heat flow along ancient super Ricci flow via reduced geometry

abstract: We study harmonic map heat flow along ancient super Ricci flow, and derive several Liouville theorems with controlled growth from Perelman's reduced geometric viewpoint. For non-positively curved target spaces, our growth condition is sharp. For positively curved target spaces, our Liouville theorem is new even in the static case (i.e., for harmonic maps); moreover, we point out that the growth condition can be improved, and almost sharp in the static case. This fills the gap between the Liouville theorem of Choi and the example constructed by Schoen-Uhlenbeck.


title: Inference from Non-Random Samples Using Bayesian Machine Learning

abstract: We consider inference from non-random samples in data-rich settings where high-dimensional auxiliary information is available both in the sample and the target population, with survey inference being a special case. We propose a regularized prediction approach that predicts the outcomes in the population using a large number of auxiliary variables such that the ignorability assumption is reasonable while the Bayesian framework is straightforward for quantification of uncertainty. Besides the auxiliary variables, inspired by Little & An (2004), we also extend the approach by estimating the propensity score for a unit to be included in the sample and also including it as a predictor in the machine learning models. We show through simulation studies that the regularized predictions using soft Bayesian additive regression trees yield valid inference for the population means and coverage rates close to the nominal levels. We demonstrate the application of the proposed methods using two different real data applications, one in a survey and one in an epidemiology study.


title: Spin-flop led peculiar behavior of temperature-dependent anomalous Hall effect in Hf/Gd-Fe-Co

abstract: Here we investigate the temperature dependence of anomalous Hall effect in Hf/GdFeCo/MgO sheet film and Hall bar device. The magnetic compensation temperature ($T_{comp}$) for the sheet film and device is found to be ~240 K and ~118 K, respectively. In sheet film, spin-flopping is witnessed at a considerably lower field, 0.6 T, close to $T_{comp}$. The AHE hysteresis loops in the sheet film have a single loop whereas in the Hall bar device, hystereses consist of triple loops are observed just above the Tcomp. Moreover, the temperature-dependent anomalous Hall resistance ($R_\mathrm{AHE}$) responds unusually when a perpendicular magnetic field is applied while recording the $R_\mathrm{AHE}$. The zero-field $R_\mathrm{AHE}$ scan suggests the Hall signal generates solely from the FeCo moment. However, the behavior of 3 T-field $R_\mathrm{AHE}$ scan in which the $R_\mathrm{AHE}$ drops close to zero near the $T_{comp}$ seems to be following the net magnetization response of the device, is explained by considering the low field spin-flopping around the compensation temperature. The results presented here give important insight to understand the complex AHE behavior of ferrimagnets for their spintronic applications.


title: A large deviation theory perspective on nanoscale transport phenomena

abstract: Understanding transport processes in complex nanoscale systems, like ionic conductivities in nanofluidic devices or heat conduction in low dimensional solids, poses the problem of examining fluctuations of currents within nonequilibrium steady states and relating those fluctuations to nonlinear or anomalous responses. We have developed a systematic framework for computing distributions of time integrated currents in molecular models and relating cumulants of those distributions to nonlinear transport coefficients. The approach elaborated upon in this perspective follows from the theory of dynamical large deviations, benefits from substantial previous formal development, and has been illustrated in several applications. The framework provides a microscopic basis for going beyond traditional hydrodynamics in instances where local equilibrium assumptions break down, which are ubiquitous at the nanoscale.


title: Cratering of Soil by Impinging Jets of Gas, with Application to Landing Rockets on Planetary Surfaces

abstract: Several physical mechanisms are involved in excavating granular materials beneath a vertical jet of gas. These occur, for example, beneath the exhaust plume of a rocket landing on the soil of the Moon or Mars. A series of experiments and simulations have been performed to provide a detailed view of the complex gas/soil interactions. Measurements have also been taken from the Apollo lunar landing videos and from photographs of the resulting terrain, and these help to demonstrate how the interactions extrapolate into the lunar environment. It is important to understand these processes at a fundamental level to support the on-going design of higher-fidelity numerical simulations and larger-scale experiments. These are needed to enable future lunar exploration wherein multiple hardware assets will be placed on the Moon within short distances of one another. The high-velocity spray of soil from landing spacecraft must be accurately predicted and controlled lest it erosively damage the surrounding hardware.


title: StylePTB: A Compositional Benchmark for Fine-grained Controllable Text Style Transfer

abstract: Text style transfer aims to controllably generate text with targeted stylistic changes while maintaining core meaning from the source sentence constant. Many of the existing style transfer benchmarks primarily focus on individual high-level semantic changes (e.g. positive to negative), which enable controllability at a high level but do not offer fine-grained control involving sentence structure, emphasis, and content of the sentence. In this paper, we introduce a large-scale benchmark, StylePTB, with (1) paired sentences undergoing 21 fine-grained stylistic changes spanning atomic lexical, syntactic, semantic, and thematic transfers of text, as well as (2) compositions of multiple transfers which allow modeling of fine-grained stylistic changes as building blocks for more complex, high-level transfers. By benchmarking existing methods on StylePTB, we find that they struggle to model fine-grained changes and have an even more difficult time composing multiple styles. As a result, StylePTB brings novel challenges that we hope will encourage future research in controllable text style transfer, compositional models, and learning disentangled representations. Solving these challenges would present important steps towards controllable text generation.


title: likely Detection of GeV gamma-Ray Emission from the composite supernova remnant COMP G327.1+1.1 with Fermi-LAT

abstract: We report the likely GeV $\gamma$-ray emission from the composite supernova remnant (SNR) COMP G327.1+1.1 by analyzing $\sim$12.2 years of the \textit{Fermi} Large Area Telescope (\textit{Fermi}-LAT) Pass 8 data. We found the features of its \textbf{ranges of} spectrum and luminosity are well consistent with those of the observed COMP SNRs in the Milky Way. Moreover, the position of the source matches those in radio and TeV energy bands, we propose that the $\gamma$-ray source is likely to be a GeV counterpart of COMP G327.1+1.1. Considering the case of the association from COMP G327.1+1.1 and the $\gamma$-ray source, we interpreted its broadband spectral energy distribution (SED) by using three simple stationary models including one-zone and two-zone leptonic models and one-zone leptohadronic model. We found that the simple two-zone model dominated by leptons can better explain its SED. More high-energy data are expected to firmly confirm the association between the $\gamma$-ray source and COMP G327.1+1.1 in the future.


title: Modification of Roberts' Theory for Rocket Exhaust Plumes Eroding Lunar Soil

abstract: Roberts' model of lunar soil erosion beneath a landing rocket has been updated in several ways to predict the effects of future lunar landings. The model predicts, among other things, the number of divots that would result on surrounding hardware due to the impact of high velocity particulates, the amount and depth of surface material removed, the volume of ejected soil, its velocity, and the distance the particles travel on the Moon. The results are compared against measured results from the Apollo program and predictions are made for mitigating the spray around a future lunar outpost.


title: Continuous Transition in Outsourcing: A Case Study

abstract: Outsourcing is typically considered to occur in three phases: decision, transition and operation. As outsourcing is now well established the switching of vendors and transitioning from one system to another is common. However, most of the research to date on outsourcing has focused on the decision and operation phases, leaving a gap between theory and practice concerning the transition phase. Transition in outsourcing entails the changing of systems, business processes and/or vendors. If a suitable transition approach is not applied pressures for another transition can immediately build. We present results from a case study carried out on the Novopay Project in which the Ministry of Education in New Zealand changed their vendor from an onshore to a near-shore provider. This project resulted in a sequence of three transitions, with each following a different approach as a direct result of the experiences encountered in the previous transition. In this research we made use of the rich 'data dump' of evidence provided by the Ministry of Education. Our analysis describes how a client organization can become trapped in a continuous transition cycle if a suitable approach is not applied. Transition1 involved the client moving from complete outsourcing to selective insourcing. After realizing that they did not have the capabilities to manage insourcing, Transition2 was initiated. In Transition2 the sourcing approach reverted back to complete outsourcing. When it was realized that the new vendor in Transition2 could not in fact deliver a new service model or support end-users in following new business processes, Transition3 was initiated. In Transition3, the client established an internal company to insource service operations to support end-users. Transition can be a sound business strategy, however, if a flawed sourcing approach is chosen it can result in 'continuous transition'. (Abridged)


title: A Note on the Performance of Algorithms for Solving Linear Diophantine Equations in the Naturals

abstract: We implement four algorithms for solving linear Diophantine equations in the naturals: a lexicographic enumeration algorithm, a completion procedure, a graph-based algorithm, and the Slopes algorithm. As already known, the lexicographic enumeration algorithm and the completion procedure are slower than the other two algorithms. We compare in more detail the graph-based algorithm and the Slopes algorithm. In contrast to previous comparisons, our work suggests that they are equally fast on small inputs, but the graph-based algorithm gets much faster as the input grows. We conclude that implementations of AC-unification algorithms should use the graph-based algorithm for maximum efficiency.


title: Route to Extend the Lifetime of a Discrete Time Crystal in a Finite Spin Chain Without Disorder

abstract: Periodically driven (Floquet) systems are described by time dependent Hamiltonians that possess discrete time translation symmetry. The spontaneous breaking of this symmetry leads to the emergence of a novel non-equilibrium phase of matter - the Discrete Time Crystal (DTC). In this paper, we propose a scheme to extend the lifetime of a DTC in a paradigmatic model - a translation invariant Ising spin chain with nearest-neighbor interaction $J$, subjected to a periodic kick by a transverse magnetic field with frequency $\frac{2 \pi}{T}$. This system exhibits the hallmark signature of a DTC - persistent subharmonic oscillations with frequency $\frac{\pi}{T}$ - for a wide parameter regime. Employing both analytical arguments as well as exact diagonalization calculations, we demonstrate that the lifetime of the DTC is maximized, when the interaction strength is tuned to an optimal value, $JT = \pi$. Our proposal essentially relies on an interaction induced quantum interference mechanism that suppresses the creation of excitations, and thereby enhances the DTC lifetime. Intriguingly, we find that the period doubling oscillations can last eternally in even size systems. This anomalously long lifetime can be attributed to a time reflection symmetry that emerges at $JT=\pi$. Our work provides a promising avenue for realizing a robust DTC in various quantum emulator platforms.


title: On Thevenin-Norton and Maximum power transfer theorems

abstract: In this paper we show how to compute port behaviour of multiports which have port equations of the general form $B v_P - Q i_P = s,$ which cannot even be put into the hybrid form, indeed may have number of equations ranging from $0$ to $2n,$ where $n$ is the number of ports. We do this through repeatedly solving with different source inputs, a larger network obtained by terminating the multiport by its adjoint through a gyrator. The method works for linear multiports which are consistent for arbitrary internal source values and further have the property that the port conditions uniquely determine internal conditions. We also present the most general version of maximum power transfer theorem possible. This version of the theorem states that `stationarity' (derivative zero condition) of power transfer occurs when the multiport is terminated by its adjoint, provided the resulting network has a solution. If this network does not have a solution there is no port condition for which stationarity holds. This theorem does not require that the multiport has a hybrid immittance matrix.


title: Point wise or Feature wise? Benchmark Comparison of Public Available LiDAR Odometry Algorithms in Urban Canyons

abstract: Robust and precise localization is essential for the autonomous system with navigation requirements. Light detection and ranging (LiDAR) odometry is extensively studied in the past decades to achieve this goal. Satisfactory accuracy can be achieved in scenarios with abundant environmental features using existing LiDAR odometry (LO) algorithms. Unfortunately, the performance of the LiDAR odometry is significantly degraded in urban canyons with numerous dynamic objects and complex environmental structures. Meanwhile, it is still not clear from the existing literature which LO algorithms perform well in such challenging environments. To fill this gap, this paper evaluates an array of popular and extensively studied LO pipelines using the datasets collected in urban canyons of Hong Kong. We present the results in terms of their positioning accuracy and computational efficiency. Three major factors dominating the performance of LO in urban canyons are concluded, including the ego-vehicle dynamic, moving objects, and degree of urbanization. According to our experiment results, point-wise achieves better accuracy in urban canyons while feature-wise achieves cost-efficiency and satisfactory positioning accuracy.


title: A Fast Evidential Approach for Stock Forecasting

abstract: Within the framework of evidence theory, the confidence functions of different information can be combined into a combined confidence function to solve uncertain problems. The Dempster combination rule is a classic method of fusing different information. This paper proposes a similar confidence function for the time point in the time series. The Dempster combination rule can be used to fuse the growth rate of the last time point, and finally a relatively accurate forecast data can be obtained. Stock price forecasting is a concern of economics. The stock price data is large in volume, and more accurate forecasts are required at the same time. The classic methods of time series, such as ARIMA, cannot balance forecasting efficiency and forecasting accuracy at the same time. In this paper, the fusion method of evidence theory is applied to stock price prediction. Evidence theory deals with the uncertainty of stock price prediction and improves the accuracy of prediction. At the same time, the fusion method of evidence theory has low time complexity and fast prediction processing speed.


title: A nonlinear elliptic problem involving the gradient on a half space

abstract: We consider perturbations of the diffusive Hamilton-Jacobi equation \begin{equation*} %\label{non_pert} \left\{ \begin{array}{lcl} \hfill -\Delta u &=& (1+g(x))| \nabla u|^p\qquad \mbox{ in } \IR^N_+, \\ \hfill u &=& 0 \hfill \mbox{ on } \partial \IR^N_+, \end{array}\right. \end{equation*} for $ p>1$. We prove the existence of a classical solution provided $ p \in (\frac{4}{3},2)$ and $g$ is bounded with uniform radial decay to zero.


title: On the Blaschke rolling disk theorem

abstract: The Blaschke rolling disk theorem is a classical inclusion principle in differential geometry. This states that a planar convex domain whose boundary is a curve of class $C^2$ with (signed) curvature not exceeding a positive constant $\kappa$ is such that for each point on its boundary there exists a disk of radius ${1}/{\kappa}$ tangent to the boundary included in the closure of the domain. We describe geometric conditions relying exclusively on curvature and independent of any kind of convexity that allows us to give necessary and sufficient conditions for the existence of rolling disks for planar domains that are not necessarily convex. We finish by presenting an algorithm leading to a decomposition of any planar domain into a finite number of maximal rolling regions.


title: Online Machine Learning Techniques for Coq: A Comparison

abstract: We present a comparison of several online machine learning techniques for tactical learning and proving in the Coq proof assistant. This work builds on top of Tactician, a plugin for Coq that learns from proofs written by the user to synthesize new proofs. Learning happens in an online manner, meaning that Tactician's machine learning model is updated immediately every time the user performs a step in an interactive proof. This has important advantages compared to the more studied offline learning systems: (1) it provides the user with a seamless, interactive experience with Tactician and, (2) it takes advantage of locality of proof similarity, which means that proofs similar to the current proof are likely to be found close by. We implement two online methods, namely approximate k-nearest neighbors based on locality sensitive hashing forests and random decision forests. Additionally, we conduct experiments with gradient boosted trees in an offline setting using XGBoost. We compare the relative performance of Tactician using these three learning methods on Coq's standard library.


title: Analytic operator-valued generalized Feynman integral on function space

abstract: In this paper an analytic operator-valued generalized Feynman integral was studied on a very general Wiener space $C_{a,b}[0,T]$. The general Wiener space $C_{a,b}[0,T]$ is a function space which is induced by the generalized Brownian motion process associated with continuous functions $a$ and $b$. The structure of the analytic operator-valued generalized Feynman integral is suggested and the existence of the analytic operator-valued generalized Feynman integral is investigated as an operator from $L^1(\mathbb R, \nu_{\delta,a})$ to $L^{\infty}(\mathbb R)$ where $\nu_{\delta,a}$ is a $\sigma$-finite measure on $\mathbb R$ given by \[ d\nu_{\delta,a}=\exp\{\delta \mathrm{Var}(a)u^2\} du, \] where $\delta>0$ and $\mathrm{Var}(a)$ denotes the total variation of the mean function $a$ of the generalized Brownian motion process. It turns out in this paper that the analytic operator-valued generalized Feynman integrals of functionals defined by the stochastic Fourier--Stieltjes transform of complex measures on the infinite dimensional Hilbert space $C_{a,b}'[0,T]$ are elements of the linear space \[ \bigcap_{\delta>0} \mathcal L( L^1(\mathbb R,\nu_{\delta,a}),L^{\infty}(\mathbb R)). \]


title: Power-product matrix: nonsingularity, sparsity and determinant

abstract: We prove the nonsingularity of a class of integer matrices V(n,d), namely power-product matrix, for positive integers n and d. Some technical proofs are mainly based on linear algebra and enumerative combinatorics, particularly the generating function method and involution principle. We will show that the matrix V(n,d) is nonsingular for all positive integers n and d, and often with sparse structure. Special attention is given to the computation of the determinant V(2,d) with positive integer d.


title: The direct scattering problem for perturbed Kadomtsev-Petviashvili multi line solitons

abstract: Regular Kadomtsev-Petviashvili II (KPII) line solitons have been investigated and classified successfully by the Grassmannians. The inverse scattering method provides a promising and powerful approach to study the stability properties of $\textrm{Gr}(N, M)_{> 0}$ KP solitons. In this paper, we complete rigorous analysis for the direct scattering problem of perturbed $\textrm{Gr}(N, M)_{> 0}$ KP solitons}.


title: Virtual Barriers in Augmented Reality for Safe and Effective Human-Robot Cooperation in Manufacturing

abstract: Safety is a fundamental requirement in any human-robot collaboration scenario. To ensure the safety of users for such scenarios, we propose a novel Virtual Barrier system facilitated by an augmented reality interface. Our system provides two kinds of Virtual Barriers to ensure safety: 1) a Virtual Person Barrier which encapsulates and follows the user to protect them from colliding with the robot, and 2) Virtual Obstacle Barriers which users can spawn to protect objects or regions that the robot should not enter. To enable effective human-robot collaboration, our system includes an intuitive robot programming interface utilizing speech commands and hand gestures, and features the capability of automatic path re-planning when potential collisions are detected as a result of a barrier intersecting the robot's planned path. We compared our novel system with a standard 2D display interface through a user study, where participants performed a task mimicking an industrial manufacturing procedure. Results show that our system increases the user's sense of safety and task efficiency, and makes the interaction more intuitive.


title: Constraining the luminosity function of active galactic nuclei through the reionization observations in the SKA era

abstract: Ultraviolet (UV) and X-ray photons from active galactic nuclei (AGNs) can ionize hydrogen in the intergalactic medium (IGM). We solve radiative transfer around AGNs in high redshift to evaluate the 21-cm line emission from the neutral hydrogen in the IGM and obtain the radial profile of the brightness temperature in the epoch of reionization. The ionization profile extends over 10 [Mpc] comoving distance which can be observed in the order of 10 [arcmin]. From estimation of the radio galaxy number counts with high sensitivity observation through the Square Kilometre Array (SKA), we investigate the capability of parameter constrains for AGN luminosity function with Fisher analysis for three evolution model through cosmic time. We find that the errors for each parameter are restricted to a few percent when AGNs are sufficiently bright at high redshifts. We also investigate the possibility of further parameter constraints with future observation beyond the era of SKA.


title: Topological Dissipation in a Time-Multiplexed Photonic Resonator Network

abstract: Topological phases feature robust edge states that are protected against the effects of defects and disorder. The robustness of these states presents opportunities to design technologies that are tolerant to fabrication errors and resilient to environmental fluctuations. While most topological phases rely on conservative, or Hermitian, couplings, recent theoretical efforts have combined conservative and dissipative couplings to propose new topological phases for ultracold atoms and for photonics. However, the topological phases that arise due to purely dissipative couplings remain largely unexplored. Here we realize dissipatively coupled versions of two prominent topological models, the Su-Schrieffer-Heeger (SSH) model and the Harper-Hofstadter (HH) model, in the synthetic dimensions of a time-multiplexed photonic resonator network. We observe the topological edge state of the SSH and HH models, measure the SSH model's band structure, and induce a topological phase transition between the SSH model's trivial and topological phases. In stark contrast with conservatively coupled topological phases, the topological phases of our network arise from bands of dissipation rates that possess nontrivial topological invariants, and the edge states of these topological phases exhibit isolated dissipation rates that occur in the gaps between the bulk dissipation bands. Our results showcase the ability of dissipative couplings to enable time-reversal symmetry broken topological phases with nonzero Chern numbers, which have proven challenging to realize in the optical domain. Moreover, our time-multiplexed network, with its ability to implement multiple synthetic dimensions, dynamic and inhomogeneous couplings, and time-reversal symmetry breaking synthetic gauge fields, offers a flexible and scalable architecture for future work in synthetic dimensions.


title: Quantum Circuit Transformation Based on Tabu Search

abstract: The goal of quantum circuit transformation is to map a logical circuit to a physical device by inserting additional gates as few as possible in an acceptable amount of time. We present an effective approach called TSA to construct the mapping. It consists of two key steps: one makes use of a combined subgraph isomorphism and completion to initialize some candidate mappings, the other dynamically modifies the mappings by using tabu search-based adjustment. Our experiments show that, compared with state-of-the-art methods GA, SABRE and FiDLS proposed in the literature, TSA can generate mappings with a smaller number of additional gates and it has a better scalability for large-scale circuits.


title: SCPM-Net: An Anchor-free 3D Lung Nodule Detection Network using Sphere Representation and Center Points Matching

abstract: Lung nodule detection from 3D Computed Tomography scans plays a vital role in efficient lung cancer screening. Despite the SOTA performance obtained by recent anchor-based detectors using CNNs for this task, they require predetermined anchor parameters such as the size, number, and aspect ratio of anchors, and have limited robustness when dealing with lung nodules with a massive variety of sizes. To overcome these problems, we propose a 3D sphere representation-based center-points matching detection network that is anchor-free and automatically predicts the position, radius, and offset of nodules without the manual design of nodule/anchor parameters. The SCPM-Net consists of two novel components: sphere representation and center points matching. First, to match the nodule annotation in clinical practice, we replace the commonly used bounding box with our proposed bounding sphere to represent nodules with the centroid, radius, and local offset in 3D space. A compatible sphere-based intersection over-union loss function is introduced to train the lung nodule detection network stably and efficiently. Second, we empower the network anchor-free by designing a positive center-points selection and matching process, which naturally discards pre-determined anchor boxes. An online hard example mining and re-focal loss subsequently enable the CPM process to be more robust, resulting in more accurate point assignment and mitigation of class imbalance. In addition, to better capture spatial information and 3D context for the detection, we propose to fuse multi-level spatial coordinate maps with the feature extractor and combine them with 3D squeeze-and-excitation attention modules. Experimental results on the LUNA16 dataset showed that our proposed framework achieves superior performance compared with existing anchor-based and anchor-free methods for lung nodule detection.


title: Contextualized Knowledge-aware Attentive Neural Network: Enhancing Answer Selection with Knowledge

abstract: Answer selection, which is involved in many natural language processing applications such as dialog systems and question answering (QA), is an important yet challenging task in practice, since conventional methods typically suffer from the issues of ignoring diverse real-world background knowledge. In this paper, we extensively investigate approaches to enhancing the answer selection model with external knowledge from knowledge graph (KG). First, we present a context-knowledge interaction learning framework, Knowledge-aware Neural Network (KNN), which learns the QA sentence representations by considering a tight interaction with the external knowledge from KG and the textual information. Then, we develop two kinds of knowledge-aware attention mechanism to summarize both the context-based and knowledge-based interactions between questions and answers. To handle the diversity and complexity of KG information, we further propose a Contextualized Knowledge-aware Attentive Neural Network (CKANN), which improves the knowledge representation learning with structure information via a customized Graph Convolutional Network (GCN) and comprehensively learns context-based and knowledge-based sentence representation via the multi-view knowledge-aware attention mechanism. We evaluate our method on four widely-used benchmark QA datasets, including WikiQA, TREC QA, InsuranceQA and Yahoo QA. Results verify the benefits of incorporating external knowledge from KG, and show the robust superiority and extensive applicability of our method.


title: ENOS: Energy-Aware Network Operator Search for Hybrid Digital and Compute-in-Memory DNN Accelerators

abstract: This work proposes a novel Energy-Aware Network Operator Search (ENOS) approach to address the energy-accuracy trade-offs of a deep neural network (DNN) accelerator. In recent years, novel inference operators have been proposed to improve the computational efficiency of a DNN. Augmenting the operators, their corresponding novel computing modes have also been explored. However, simplification of DNN operators invariably comes at the cost of lower accuracy, especially on complex processing tasks. Our proposed ENOS framework allows an optimal layer-wise integration of inference operators and computing modes to achieve the desired balance of energy and accuracy. The search in ENOS is formulated as a continuous optimization problem, solvable using typical gradient descent methods, thereby scalable to larger DNNs with minimal increase in training cost. We characterize ENOS under two settings. In the first setting, for digital accelerators, we discuss ENOS on multiply-accumulate (MAC) cores that can be reconfigured to different operators. ENOS training methods with single and bi-level optimization objectives are discussed and compared. We also discuss a sequential operator assignment strategy in ENOS that only learns the assignment for one layer in one training step, enabling greater flexibility in converging towards the optimal operator allocations. Furthermore, following Bayesian principles, a sampling-based variational mode of ENOS is also presented. ENOS is characterized on popular DNNs ShuffleNet and SqueezeNet on CIFAR10 and CIFAR100.


title: FUDGE: Controlled Text Generation With Future Discriminators

abstract: We propose Future Discriminators for Generation (FUDGE), a flexible and modular method for controlled text generation. Given a pre-existing model G for generating text from a distribution of interest, FUDGE enables conditioning on a desired attribute a (for example, formality) while requiring access only to G's output logits. FUDGE learns an attribute predictor operating on a partial sequence, and uses this predictor's outputs to adjust G's original probabilities. We show that FUDGE models terms corresponding to a Bayesian decomposition of the conditional distribution of G given attribute a. Moreover, FUDGE can easily compose predictors for multiple desired attributes. We evaluate FUDGE on three tasks -- couplet completion in poetry, topic control in language generation, and formality change in machine translation -- and observe gains in all three tasks.


title: Resolving catastrophic error bursts from cosmic rays in large arrays of superconducting qubits

abstract: Scalable quantum computing can become a reality with error correction, provided coherent qubits can be constructed in large arrays. The key premise is that physical errors can remain both small and sufficiently uncorrelated as devices scale, so that logical error rates can be exponentially suppressed. However, energetic impacts from cosmic rays and latent radioactivity violate both of these assumptions. An impinging particle ionizes the substrate, radiating high energy phonons that induce a burst of quasiparticles, destroying qubit coherence throughout the device. High-energy radiation has been identified as a source of error in pilot superconducting quantum devices, but lacking a measurement technique able to resolve a single event in detail, the effect on large scale algorithms and error correction in particular remains an open question. Elucidating the physics involved requires operating large numbers of qubits at the same rapid timescales as in error correction, exposing the event's evolution in time and spread in space. Here, we directly observe high-energy rays impacting a large-scale quantum processor. We introduce a rapid space and time-multiplexed measurement method and identify large bursts of quasiparticles that simultaneously and severely limit the energy coherence of all qubits, causing chip-wide failure. We track the events from their initial localised impact to high error rates across the chip. Our results provide direct insights into the scale and dynamics of these damaging error bursts in large-scale devices, and highlight the necessity of mitigation to enable quantum computing to scale.


title: HTCInfoMax: A Global Model for Hierarchical Text Classification via Information Maximization

abstract: The current state-of-the-art model HiAGM for hierarchical text classification has two limitations. First, it correlates each text sample with all labels in the dataset which contains irrelevant information. Second, it does not consider any statistical constraint on the label representations learned by the structure encoder, while constraints for representation learning are proved to be helpful in previous work. In this paper, we propose HTCInfoMax to address these issues by introducing information maximization which includes two modules: text-label mutual information maximization and label prior matching. The first module can model the interaction between each text sample and its ground truth labels explicitly which filters out irrelevant information. The second one encourages the structure encoder to learn better representations with desired characteristics for all labels which can better handle label imbalance in hierarchical text classification. Experimental results on two benchmark datasets demonstrate the effectiveness of the proposed HTCInfoMax.


title: Weyl nodal line induced pairing in Ising superconductor and high critical field

abstract: Superconducting and topological states are two quantum phenomena attracting much interest. Their coexistence may lead to topological superconductivity sought-after for Majorana-based quantum computing. However, there is no causal relationship between the two, since superconductivity is a many-body effect due to electron-electron interaction while topology is a single-particle manifestation of electron band structure. Here, we demonstrate a novel form of Fulde-Ferrell-Larkin-Ovchinnikov (FFLO) pairing, induced by topological Weyl nodal lines in Ising Bardeen-Cooper-Schrieffer (IBCS) superconductors. Based on first-principles calculations and analyses, we predict that the nonmagnetic metals of MA$_2$Z$_4$ family, including ${\alpha}_1$-TaSi$_2$P$_4$, ${\alpha}_1$-TaSi$_2$N$_4$, ${\alpha}_1$-NbSi$_2$P$_4$, ${\alpha}_2$-TaGe$_2$P$_4$, and ${\alpha}_2$-NbGe$_2$P$_4$ monolayers, are all superconductors. While the intrinsic IBCS paring arises in these non-centrosymmetric systems, the extrinsic FFLO pairing is revealed to be evoked by the Weyl nodal lines under magnetic field, facilitating the formation of Cooper pairs with nonzero momentum in their vicinity. Moreover, we show that the IBCS pairing alone will enhance the in-plane critical field $B_c$ to ~10-50 times of Pauli paramagnetic limit $B_p$, and additional FFLO pairing can further triple the $B_c/B_p$ ratio. It therefore affords an effective approach to enhance the robustness of superconductivity. Also, the topology induced superconductivity renders naturally the possible existence of topological superconducting state.


title: Generalized second fluctuation-dissipation theorem in the nonequilibrium steady state: Theory and applications

abstract: In this paper, we derive a generalized second fluctuation-dissipation theorem (FDT) for stochastic dynamical systems in the steady state. The established theory is built upon the Mori-type generalized Langevin equation for stochastic dynamical systems and only uses the properties of the Kolmogorov operator. The new second FDT expresses the memory kernel of the generalized Langevin equation as the correlation function of the fluctuation force plus an additional term. In particular, we show that for nonequilibrium states such as heat transport between two thermostats with different temperatures, the classical second FDT is valid even when the exact form of the steady state distribution is unknown. The obtained theoretical results enable us to construct a data-driven nanoscale fluctuating heat conduction model based on the second FDT. We numerically verify that the new model of heat transfer yields better predictions than the Green-Kubo formula for systems far from the equilibrium.


title: Lattice structure of modular vertex algebras

abstract: In this paper we study the integral form of the lattice vertex algebra $V_L$. We show that divided powers of general vertex operators preserve the integral lattice spanned by Schur functions indexed by partition-valued functions. We also show that the Garland operators, counterparts of divided powers of Heisenberg elements in affine Lie algebras, also preserve the integral form. These construe analogs of the Kostant $\mathbb Z$-forms for the enveloping algebras of simple Lie algebras and the algebraic affine Lie groups in the situation of the lattice vertex algebras.


title: Estimating Subjective Crowd-Evaluations as an Additional Objective to Improve Natural Language Generation

abstract: Human ratings are one of the most prevalent methods to evaluate the performance of natural language processing algorithms. Similarly, it is common to measure the quality of sentences generated by a natural language generation model using human raters. In this paper, we argue for exploring the use of subjective evaluations within the process of training language generation models in a multi-task learning setting. As a case study, we use a crowd-authored dialogue corpus to fine-tune six different language generation models. Two of these models incorporate multi-task learning and use subjective ratings of lines as part of an explicit learning goal. A human evaluation of the generated dialogue lines reveals that utterances generated by the multi-tasking models were subjectively rated as the most typical, most moving the conversation forward, and least offensive. Based on these promising first results, we discuss future research directions for incorporating subjective human evaluations into language model training and to hence keep the human user in the loop during the development process.


title: Edgeless-GNN: Unsupervised Representation Learning for Edgeless Nodes

abstract: We study the problem of embedding edgeless nodes such as users who newly enter the underlying network, while using graph neural networks (GNNs) widely studied for effective representation learning of graphs. Our study is motivated by the fact that GNNs cannot be straightforwardly adopted for our problem since message passing to such edgeless nodes having no connections is impossible. To tackle this challenge, we propose Edgeless-GNN, a novel inductive framework that enables GNNs to generate node embeddings even for edgeless nodes through unsupervised learning. Specifically, we start by constructing a proxy graph based on the similarity of node attributes as the GNN's computation graph defined by the underlying network. The known network structure is used to train model parameters, whereas a topology-aware loss function is established in such a way that our model judiciously learns the network structure by encoding positive, negative, and second-order relations between nodes. For the edgeless nodes, we inductively infer embeddings by expanding the computation graph. By evaluating the performance of various downstream machine learning tasks, we empirically demonstrate that Edgeless-GNN exhibits (a) superiority over state-of-the-art inductive network embedding methods for edgeless nodes, (b) effectiveness of our topology-aware loss function, (c) robustness to incomplete node attributes, and (d) a linear scaling with the graph size.


title: Detailed analysis of excited state systematics in a lattice QCD calculation of $g_A$

abstract: Excited state contamination remains one of the most challenging sources of systematic uncertainty to control in lattice QCD calculations of nucleon matrix elements and form factors: early time separations are contaminated by excited states and late times suffer from an exponentially bad signal-to-noise problem. High-statistics calculations at large time separations $\gtrsim1$ fm are commonly used to combat these issues. In this work, focusing on $g_A$, we explore the alternative strategy of utilizing a large number of relatively low-statistics calculations at short to medium time separations (0.2--1 fm), combined with a multi-state analysis. On an ensemble with a pion mass of approximately 310 MeV and a lattice spacing of approximately 0.09 fm, we find this provides a more robust and economical method of quantifying and controlling the excited state systematic uncertainty. A quantitative separation of various types of excited states enables the identification of the transition matrix elements as the dominant contamination. The excited state contamination of the Feynman-Hellmann correlation function is found to reduce to the 1% level at approximately 1 fm while for the more standard three-point functions, this does not occur until after 2 fm. Critical to our findings is the use of a global minimization, rather than fixing the spectrum from the two-point functions and using them as input to the three-point analysis. We find that the ground state parameters determined in such a global analysis are stable against variations in the excited state model, the number of excited states, and the truncation of early-time or late-time numerical data.


title: Fabrication of Ultra-High Q Silica Microdisk Using Chemo-Mechanical Polishing

abstract: Here we demonstrate that adding a chemo-mechanical polishing (CMP) procedure to conventional photolithography, a silica microdisk with ultra-high quality factors ($>10^8$) can be fabricated. By comparing with the intrinsic optical quality factor (Q) measured at 970~nm, we observe that due to the significantly reduced surface roughness, at 1550~nm wavelength the water molecule absorption at the cavity surface supersedes Rayleigh scattering as the dominant factor for Q degradation.


title: SuperSim: a test set for word similarity and relatedness in Swedish

abstract: Language models are notoriously difficult to evaluate. We release SuperSim, a large-scale similarity and relatedness test set for Swedish built with expert human judgments. The test set is composed of 1,360 word-pairs independently judged for both relatedness and similarity by five annotators. We evaluate three different models (Word2Vec, fastText, and GloVe) trained on two separate Swedish datasets, namely the Swedish Gigaword corpus and a Swedish Wikipedia dump, to provide a baseline for future comparison. We release the fully annotated test set, code, baseline models, and data.


title: Assessing the practicability of the condition used for dynamic equilibrium in Pasinetti theory of distribution

abstract: In this note an assessment of the condition \(K_w/K=S_w/S\) is made to interpret its meaning to the Passineti's theory of distribution\cite{pasinetti1962rate}. This condition leads the theory to enforce the result \(s_w\rightarrow0\) as \(P_w\rightarrow 0\), which is the Pasinetti's description about behavior of the workers. We find that the Pasinetti's claim, of long run worker's propensity to save as not influencing the distribution of income between profits and the wage can not be generalized. This claim is found to be valid only when \(W>>P_w\) or \(P_w=0\) with \(W\ne0\). In practice, the Pasinetti's condition imposes a restriction on the actual savings by one of the agents to a lower level compared to its full saving capacity. An implied relationship between the propensities to save by workers and capitalists shows that the Passineti's condition can be practiced only through a contract for a constant value of \(R=s_w/s_c\), to be agreed upon between the workers and the capitalists. It is showed that the Passineti's condition can not be described as a dynamic equilibrium of economic growth. Implementation of this condition (a) may lead to accumulation of unsaved income, (b) reduces growth of capital, (c)is not practicable and (d) is not warranted. We have also presented simple mathematical steps for the derivation of the Pasinetti's final equation compared to those presented in \cite{pasinetti1962rate}


title: Efficient Algorithm for Checking 2-Chordal (Doubly Chordal) Bipartite Graphs

abstract: We present an algorithm for determining whether a bipartite graph $G$ is 2-chordal (formerly doubly chordal bipartite). At its core this algorithm is an extension of the existing efficient algorithm for determining whether a graph is chordal bipartite. We then introduce the notion of $k$-chordal bipartite graphs and show by inductive means that a slight modification of our algorithm is sufficient to detect this property. We show that there are no nontrivial $k$-chordal bipartite graphs for $k \geq 4$ and that both the 2-chordal bipartite and 3-chordal bipartite problem are contained within complexity class P.


title: Thermoelectric Precession in Turbulent Magnetoconvection

abstract: We present laboratory measurements of the interaction between thermoelectric currents and turbulent magnetoconvection. In a cylindrical volume of liquid gallium heated from below and cooled from above and subject to a vertical magnetic field, it is found that the large scale circulation (LSC) can undergo a slow axial precession. Our experiments demonstrate that this LSC precession occurs only when electrically conducting boundary conditions are employed, and that the precession direction reverses when the axial magnetic field direction is flipped. A thermoelectric magnetoconvection (TEMC) model is developed that successfully predicts the zeroth-order magnetoprecession dynamics. Our TEMC magnetoprecession model hinges on thermoelectric current loops at the top and bottom boundaries, which create Lorentz forces that generate horizontal torques on the overturning large-scale circulatory flow. The thermoelectric torques in our model act to drive a precessional motion of the LSC. This model yields precession frequency predictions that are in good agreement with the experimental observations. We postulate that thermoelectric effects in convective flows, long argued to be relevant in liquid metal heat transfer and mixing processes, may also have applications in planetary interior magnetohydrodynamics.


title: Double Perturbation: On the Robustness of Robustness and Counterfactual Bias Evaluation

abstract: Robustness and counterfactual bias are usually evaluated on a test dataset. However, are these evaluations robust? If the test dataset is perturbed slightly, will the evaluation results keep the same? In this paper, we propose a "double perturbation" framework to uncover model weaknesses beyond the test dataset. The framework first perturbs the test dataset to construct abundant natural sentences similar to the test data, and then diagnoses the prediction change regarding a single-word substitution. We apply this framework to study two perturbation-based approaches that are used to analyze models' robustness and counterfactual bias in English. (1) For robustness, we focus on synonym substitutions and identify vulnerable examples where prediction can be altered. Our proposed attack attains high success rates (96.0%-99.8%) in finding vulnerable examples on both original and robustly trained CNNs and Transformers. (2) For counterfactual bias, we focus on substituting demographic tokens (e.g., gender, race) and measure the shift of the expected prediction among constructed sentences. Our method is able to reveal the hidden model biases not directly shown in the test dataset. Our code is available at https://github.com/chong-z/nlp-second-order-attack.