title: Symmetric space $\lambda$-model exchange algebra from 4d holomorphic Chern-Simons theory

abstract: We derive, within the Hamiltonian formalism, the classical exchange algebra of a lambda deformed string sigma model in a symmetric space directly from a 4d holomorphic Chern-Simons theory. The explicit forms of the extended Lax connection and R-matrix entering the Maillet bracket of the lambda model are explained from a symmetry principle. This approach, based on a gauge theory, may provide a mechanism for taming the non-ultralocality that afflicts most of the integrable string theories propagating in coset spaces.


title: High order compact schemes for flux type BCs

abstract: In this paper new innovative fourth order compact schemes for Robin and Neumann boundary conditions have been developed for boundary value problems of elliptic PDEs in two and three dimensions. Different from traditional finite difference operator approach, which may not work for flux type of boundary conditions, carefully designed undetermined coefficient methods are utilized in developing high order compact (HOC) schemes. The new methods not only can be utilized to design HOC schemes for flux type of boundary conditions but can also be applied to general elliptic PDEs including Poisson, Helmholtz, diffusion-advection, and anisotropic equations with linear boundary conditions. In the new developed HOC methods, the coefficient matrices are generally M-matrices, which guarantee the discrete maximum principle for well-posed problems, so the convergence of the HOC methods. The developed HOC methods are versatile and can cover most of high order compact schemes in the literature. The HOC methods for Robin boundary conditions and for anisotropic diffusion and advection equations with Robin or even Dirichlet boundary conditions are likely the first ones that have ever been developed. With the help of pseudo-inverse, or SVD solutions, we have also observed that the developed HOC methods usually have smaller error constants compared with traditional HOC methods when applicable. Non-trivial examples with large wave numbers and oscillatory solutions are presented to confirm the performance of the new HOC methods.


title: Batched Data-Driven Evolutionary Multi-Objective Optimization Based on Manifold Interpolation

abstract: Multi-objective optimization problems are ubiquitous in real-world science, engineering and design optimization problems. It is not uncommon that the objective functions are as a black box, the evaluation of which usually involve time-consuming and/or costly physical experiments. Data-driven evolutionary optimization can be used to search for a set of non-dominated trade-off solutions, where the expensive objective functions are approximated as a surrogate model. In this paper, we propose a framework for implementing batched data-driven evolutionary multi-objective optimization. It is so general that any off-the-shelf evolutionary multi-objective optimization algorithms can be applied in a plug-in manner. In particular, it has two unique components: 1) based on the Karush-Kuhn-Tucker conditions, a manifold interpolation approach that explores more diversified solutions with a convergence guarantee along the manifold of the approximated Pareto-optimal set; and 2) a batch recommendation approach that reduces the computational time of the optimization process by evaluating multiple samples at a time in parallel. Experiments on 136 benchmark test problem instances with irregular Pareto-optimal front shapes against six state-of-the-art surrogate-assisted EMO algorithms fully demonstrate the effectiveness and superiority of our proposed framework. In particular, our proposed framework is featured with a faster convergence and a stronger resilience to various PF shapes.


title: High-Dimensional Quantile Regression: Convolution Smoothing and Concave Regularization

abstract: $\ell_1$-penalized quantile regression is widely used for analyzing high-dimensional data with heterogeneity. It is now recognized that the $\ell_1$-penalty introduces non-negligible estimation bias, while a proper use of concave regularization may lead to estimators with refined convergence rates and oracle properties as the signal strengthens. Although folded concave penalized $M$-estimation with strongly convex loss functions have been well studied, the extant literature on quantile regression is relatively silent. The main difficulty is that the quantile loss is piecewise linear: it is non-smooth and has curvature concentrated at a single point. To overcome the lack of smoothness and strong convexity, we propose and study a convolution-type smoothed quantile regression with iteratively reweighted $\ell_1$-regularization. The resulting smoothed empirical loss is twice continuously differentiable and (provably) locally strongly convex with high probability. We show that the iteratively reweighted $\ell_1$-penalized smoothed quantile regression estimator, after a few iterations, achieves the optimal rate of convergence, and moreover, the oracle rate and the strong oracle property under an almost necessary and sufficient minimum signal strength condition. Extensive numerical studies corroborate our theoretical results.


title: Is Heterophily A Real Nightmare For Graph Neural Networks To Do Node Classification?

abstract: Graph Neural Networks (GNNs) extend basic Neural Networks (NNs) by using the graph structures based on the relational inductive bias (homophily assumption). Though GNNs are believed to outperform NNs in real-world tasks, performance advantages of GNNs over graph-agnostic NNs seem not generally satisfactory. Heterophily has been considered as a main cause and numerous works have been put forward to address it. In this paper, we first show that not all cases of heterophily are harmful for GNNs with aggregation operation. Then, we propose new metrics based on a similarity matrix which considers the influence of both graph structure and input features on GNNs. The metrics demonstrate advantages over the commonly used homophily metrics by tests on synthetic graphs. From the metrics and the observations, we find some cases of harmful heterophily can be addressed by diversification operation. With this fact and knowledge of filterbanks, we propose the Adaptive Channel Mixing (ACM) framework to adaptively exploit aggregation, diversification and identity channels in each GNN layer to address harmful heterophily. We validate the ACM-augmented baselines with 10 real-world node classification tasks. They consistently achieve significant performance gain and exceed the state-of-the-art GNNs on most of the tasks without incurring significant computational burden.


title: On the Impact of Spurious Correlation for Out-of-distribution Detection

abstract: Modern neural networks can assign high confidence to inputs drawn from outside the training distribution, posing threats to models in real-world deployments. While much research attention has been placed on designing new out-of-distribution (OOD) detection methods, the precise definition of OOD is often left in vagueness and falls short of the desired notion of OOD in reality. In this paper, we present a new formalization and model the data shifts by taking into account both the invariant and environmental (spurious) features. Under such formalization, we systematically investigate how spurious correlation in the training set impacts OOD detection. Our results suggest that the detection performance is severely worsened when the correlation between spurious features and labels is increased in the training set. We further show insights on detection methods that are more effective in reducing the impact of spurious correlation and provide theoretical analysis on why reliance on environmental features leads to high OOD detection error. Our work aims to facilitate a better understanding of OOD samples and their formalization, as well as the exploration of methods that enhance OOD detection.


title: Restriction in Program Algebra

abstract: We present axiomatisations for a number of partial function signatures that include domain restriction, modelled as a right normal band operation. Other operations considered are override and update, difference, minus, intersection, composition and domain, all of which find motivation in computer science. All axiomatisations found are finite, many of them equational.


title: SHAPE: Shifted Absolute Position Embedding for Transformers

abstract: Position representation is crucial for building position-aware representations in Transformers. Existing position representations suffer from a lack of generalization to test data with unseen lengths or high computational cost. We investigate shifted absolute position embedding (SHAPE) to address both issues. The basic idea of SHAPE is to achieve shift invariance, which is a key property of recent successful position representations, by randomly shifting absolute positions during training. We demonstrate that SHAPE is empirically comparable to its counterpart while being simpler and faster.


title: Slicing $\ell_p$-balls reloaded: stability, planar sections in $\ell_1$

abstract: We show that the two-dimensional minimum-volume central section of the $n$-dimensional cross-polytope is attained by the regular $2n$-gon. We establish stability-type results for hyperplane sections of $\ell_p$-balls in all the cases where the extremisers are known. Our methods are mainly probabilistic, exploring connections between negative moments of projections of random vectors uniformly distributed on convex bodies and volume of their sections.


title: Extended Successive Convex Approximation for Phase Retrieval with Dictionary Learning

abstract: Phase retrieval aims at reconstructing unknown signals from magnitude measurements of linear mixtures. In this paper, we consider the phase retrieval with dictionary learning problem, which includes an additional prior information that the measured signal admits a sparse representation over an unknown dictionary. The task is to jointly estimate the dictionary and the sparse representation from magnitude-only measurements. To this end, we study two complementary formulations and develop efficient parallel algorithms by extending the successive convex approximation framework using a smooth majorization. The first algorithm is termed compact-SCAphase and is preferable in the case of less diverse mixture models. It employs a compact formulation that avoids the use of auxiliary variables. The proposed algorithm is highly scalable and has reduced parameter tuning cost. The second algorithm, referred to as SCAphase, uses auxiliary variables and is favorable in the case of highly diverse mixture models. It also renders simple incorporation of additional side constraints. The performance of both methods is evaluated when applied to blind sparse channel estimation from subband magnitude measurements in a multi-antenna random access network. Simulation results demonstrate the efficiency of the proposed techniques compared to state-of-the-art methods.


title: From fractional Lane-Emden-Serrin equation -- existence, multiplicity and local behaviors via classical ODE -- to fractional Yamabe metrics with singularity of "maximal" dimension

abstract: Point singularities of solutions to the classical Lane-Emden-Serrin equation have a polyhomogeneous asymptotic expansion whose logarithmic corrections are determined by a first order ODE. Surprisingly, we are able to discover such an ODE for the fractional Lane-Emden-Serrin equation, and therefore give a short classification for the precise local behavior of its solutions up to the second order involving a double logarithm. This seems to be the first time that a nonlocal equation is associated to a genuinely local ODE in one dimension. New non-existence, existence and multiplicity results for the corresponding Dirichlet problem are also discussed. Moreover, we construct complete $s$-fractional Yamabe metrics in $\mathbb{R}^n$ which are singular along a smooth submanifold of dimension $(n-2s)/2$, via direct integral asymptotic analysis with global geometric weights. This covers the missing borderline case as suggested by the deep work of Schoen and Yau. While such dimension is maximal in the class of distributional solutions, we conjecture the existence of complete metrics, understood in a suitably generalized sense, with prescribed singularities of strictly higher dimensions.


title: Parallel translations for a left invariant spray

abstract: In this paper, we study the left invariant spray geometry on a connected Lie group. Using the technique of invariant frames, we find the ordinary differential equations on the Lie algebra describing for a left invariant spray structure the linearly parallel translations along a geodesic and the nonlinearly parallel translations along a smooth curve. In these equations, the connection operator plays an important role. Using linearly parallel translations, we provide alternative interpretations or proofs for some homogeneous curvature formulae. Concerning the nonlinearly ones, we propose two questions in left invariant spray geometry. One question generalizes Landsberg Problem in Finsler geometry, and the other concerns the restricted holonomy group.


title: Scrybe: A Secure Audit Trail for Clinical Trial Data Fusion

abstract: Clinical trials are a multi-billion dollar industry. One of the biggest challenges facing the clinical trial research community is satisfying Part 11 of Title 21 of the Code of Federal Regulations and ISO 27789. These controls provide audit requirements that guarantee the reliability of the data contained in the electronic records. Context-aware smart devices and wearable IoT devices have become increasingly common in clinical trials. Electronic Data Capture (EDC) and Clinical Data Management Systems (CDMS) do not currently address the new challenges introduced using these devices. The healthcare digital threat landscape is continually evolving, and the prevalence of sensor fusion and wearable devices compounds the growing attack surface. We propose Scrybe, a permissioned blockchain, to store proof of clinical trial data provenance. We illustrate how Scrybe addresses each control and the limitations of the Ethereum-based blockchains. Finally, we provide a proof-of-concept integration with REDCap to show tamper resistance.


title: Purely leptonic decays of the ground charged vector mesons

abstract: The study of the purely leptonic decays of the ground charged vector mesons is very interesting and significant in determining the CKM matrix elements, obtaining the decay constant of vector mesons, examining the lepton flavor universality, and searching for new physics beyond the standard model. These purely leptonic decays of the ground charged vector mesons are induced by the weak interactions within the standard model, and usually have very small branching ratios, ${\cal B}({\rho}^{-}{\to}{\ell}^{-}{\nu}_{\ell})$ ${\sim}$ ${\cal O}(10^{-13})$, ${\cal B}(K^{{\ast}-}{\to}{\ell}^{-}{\nu}_{\ell})$ ${\sim}$ ${\cal O}(10^{-13})$, ${\cal B}(D_{d}^{{\ast}-}{\to}{\ell}^{-}{\nu}_{\ell})$ ${\sim}$ ${\cal O}(10^{-10})$, ${\cal B}(B_{u}^{{\ast}-}{\to}{\ell}^{-}{\nu}_{\ell})$ ${\sim}$ ${\cal O}(10^{-10})$, ${\cal B}(D_{s}^{{\ast}-}{\to}{\ell}^{-}{\nu}_{\ell})$ ${\sim}$ ${\cal O}(10^{-6})$ and ${\cal B}(B_{c}^{{\ast}-}{\to}{\ell}^{-}{\nu}_{\ell})$ ${\sim}$ ${\cal O}(10^{-6})$. Inspired by the potential prospects of LHCb, Belle-II, STCF, CEPC and FCC-ee experiments, we discussed the probabilities of experimental investigation on these purely leptonic decays. It is found that the measurements of these decays might be possible and feasible with the improvement of data statistics, analytical technique, and measurement precision in the future. (1) With the hadron-hadron collisions, the purely leptonic decays of ${\rho}^{-}$, $K^{{\ast}-}$, $D_{d,s}^{{\ast}-}$ and $B_{u,c}^{{\ast}-}$ mesons might be accessible at LHC experiments. (2) With the $e^{+}e^{-}$ collisions, the purely leptonic decays of $D_{d,s}^{{\ast}-}$ and $B_{u,c}^{{\ast}-}$ mesons might be measurable with over $10^{12}$ $Z^{0}$ bosons available at CEPC and FCC-ee experiments. In addition, the $D_{d,s}^{{\ast}-}$ ${\to}$ ${\ell}^{-}{\nu}_{\ell}$ decays could also be studied at Belle-II and SCTF experiments.


title: An insertion algorithm for multiplying Demazure characters by Schur polynomials

abstract: We introduce an insertion algorithm on Kohnert's combinatorial model for Demazure characters, generalizing Robinson--Schensted--Knuth insertion on tableaux. Our new insertion yields an explicit, nonnegative formula expressing the product of a Demazure character and a Schur polynomial as a sum of Schubert characters, partially resolving Polo's conjecture that the tensor product of Demazure modules admits a Schubert filtration.


title: Inferential Wasserstein Generative Adversarial Networks

abstract: Generative Adversarial Networks (GANs) have been impactful on many problems and applications but suffer from unstable training. The Wasserstein GAN (WGAN) leverages the Wasserstein distance to avoid the caveats in the minmax two-player training of GANs but has other defects such as mode collapse and lack of metric to detect the convergence. We introduce a novel inferential Wasserstein GAN (iWGAN) model, which is a principled framework to fuse auto-encoders and WGANs. The iWGAN model jointly learns an encoder network and a generator network motivated by the iterative primal dual optimization process. The encoder network maps the observed samples to the latent space and the generator network maps the samples from the latent space to the data space. We establish the generalization error bound of the iWGAN to theoretically justify its performance. We further provide a rigorous probabilistic interpretation of our model under the framework of maximum likelihood estimation. The iWGAN, with a clear stopping criteria, has many advantages over other autoencoder GANs. The empirical experiments show that the iWGAN greatly mitigates the symptom of mode collapse, speeds up the convergence, and is able to provide a measurement of quality check for each individual sample. We illustrate the ability of the iWGAN by obtaining competitive and stable performances for benchmark datasets.


title: The classical limit and spontaneous symmetry breaking in algebraic quantum theory

abstract: In this paper an overview of some recent developments on the classical limit and spontaneous symmetry breaking (SSB) in algebraic quantum theory is given. In such works, based on the theory of $C^*$-algebras, the concept of the classical limit has been formalized in a complete algebraic manner. Additionally, since this setting allows for commutative as well as non-commutative $C^*$-algebras, and hence for classical and quantum theories, it provides an excellent framework to study SBB as an emergent phenomenon when transitioning from the quantum to the classical world by turning off a semi-classical parameter. We summarize the main results and show that this algebraic approach sheds new light on the connection between the classical and the quantum realm, where particular emphasis is placed on the role of SSB in Theory versus Nature. To this end a detailed analysis is carried out and illustrated with three different physical models: Schr\"{o}dinger operators, mean-field quantum spin systems and the Bose-Hubbard model.


title: Relating Measurement Patterns to Circuits via Pauli Flow

abstract: The one-way model of Measurement-Based Quantum Computing and the gate-based circuit model give two different presentations of how quantum computation can be performed. There are known methods for converting any gate-based quantum circuit into a one-way computation, whereas the reverse is only efficient given some constraints on the structure of the measurement pattern. Causal flow and generalised flow have already been shown as sufficient, with efficient algorithms for identifying these properties and performing the circuit extraction. Pauli flow is a weaker set of conditions that extends generalised flow to use the knowledge that some vertices are measured in a Pauli basis. In this paper, we show that Pauli flow can similarly be identified efficiently and that any measurement pattern whose underlying graph admits a Pauli flow can be efficiently transformed into a gate-based circuit without using ancilla qubits. We then use this relationship to derive simulation results for the effects of graph-theoretic rewrites in the ZX-calculus using a more circuit-like data structure we call the Pauli Dependency DAG.


title: Generators and Relations for Real Stabilizer Operators

abstract: Real stabilizer operators, which are also known as real Clifford operators, are generated, through composition and tensor product, by the Hadamard gate, the Pauli Z gate, and the controlled-Z gate. We introduce a normal form for real stabilizer circuits and show that every real stabilizer operator admits a unique normal form. Moreover, we give a finite set of relations that suffice to rewrite any real stabilizer circuit to its normal form.


title: Restricted Hidden Cardinality Constraints in Causal Models

abstract: Causal models with unobserved variables impose nontrivial constraints on the distributions over the observed variables. When a common cause of two variables is unobserved, it is impossible to uncover the causal relation between them without making additional assumptions about the model. In this work, we consider causal models with a promise that unobserved variables have known cardinalities. We derive inequality constraints implied by d-separation in such models. Moreover, we explore the possibility of leveraging this result to study causal influence in models that involve quantum systems.


title: A differential graded approach to the silting theorem

abstract: A silting theorem was established by Buan and Zhou as a generalisation of the classical tilting theorem of Brenner and Butler. In this paper, we give an alternative proof of the theorem by using differential graded algebras.


title: Measurement as governance in and for responsible AI

abstract: Measurement of social phenomena is everywhere, unavoidably, in sociotechnical systems. This is not (only) an academic point: Fairness-related harms emerge when there is a mismatch in the measurement process between the thing we purport to be measuring and the thing we actually measure. However, the measurement process -- where social, cultural, and political values are implicitly encoded in sociotechnical systems -- is almost always obscured. Furthermore, this obscured process is where important governance decisions are encoded: governance about which systems are fair, which individuals belong in which categories, and so on. We can then use the language of measurement, and the tools of construct validity and reliability, to uncover hidden governance decisions. In particular, we highlight two types of construct validity, content validity and consequential validity, that are useful to elicit and characterize the feedback loops between the measurement, social construction, and enforcement of social categories. We then explore the constructs of fairness, robustness, and responsibility in the context of governance in and for responsible AI. Together, these perspectives help us unpack how measurement acts as a hidden governance process in sociotechnical systems. Understanding measurement as governance supports a richer understanding of the governance processes already happening in AI -- responsible or otherwise -- revealing paths to more effective interventions.


title: Source Inference Attacks in Federated Learning

abstract: Federated learning (FL) has emerged as a promising privacy-aware paradigm that allows multiple clients to jointly train a model without sharing their private data. Recently, many studies have shown that FL is vulnerable to membership inference attacks (MIAs) that can distinguish the training members of the given model from the non-members. However, existing MIAs ignore the source of a training member, i.e., the information of which client owns the training member, while it is essential to explore source privacy in FL beyond membership privacy of examples from all clients. The leakage of source information can lead to severe privacy issues. For example, identification of the hospital contributing to the training of an FL model for COVID-19 pandemic can render the owner of a data record from this hospital more prone to discrimination if the hospital is in a high risk region. In this paper, we propose a new inference attack called source inference attack (SIA), which can derive an optimal estimation of the source of a training member. Specifically, we innovatively adopt the Bayesian perspective to demonstrate that an honest-but-curious server can launch an SIA to steal non-trivial source information of the training members without violating the FL protocol. The server leverages the prediction loss of local models on the training members to achieve the attack effectively and non-intrusively. We conduct extensive experiments on one synthetic and five real datasets to evaluate the key factors in an SIA, and the results show the efficacy of the proposed source inference attack.


title: Asymptotically sharpening the $s$-Hamiltonian index bound

abstract: For a non-negative integer $s\le |V(G)|-3$, a graph $G$ is $s$-Hamiltonian if the removal of any $k\le s$ vertices results in a Hamiltonian graph. Given a connected simple graph $G$ that is not isomorphic to a path, a cycle, or a $K_{1,3}$, let $\delta(G)$ denote the minimum degree of $G$, let $h_s(G)$ denote the smallest integer $i$ such that the iterated line graph $L^{i}(G)$ is $s$-Hamiltonian, and let $\ell(G)$ denote the length of the longest non-closed path $P$ in which all internal vertices have degree 2 such that $P$ is not both of length 2 and in a $K_3$. For a simple graph $G$, we establish better upper bounds for $h_s(G)$ as follows. \begin{equation*} h_s(G)\le \left\{ \begin{aligned} & \ell(G)+1, &&\mbox{ if }\delta(G)\le 2 \mbox{ and }s=0;\\ & \widetilde d(G)+2+\lceil \lg (s+1)\rceil, &&\mbox{ if }\delta(G)\le 2 \mbox{ and }s\ge 1;\\ & 2+\left\lceil\lg\frac{s+1}{\delta(G)-2}\right\rceil, && \mbox{ if } 3\le\delta(G)\le s+2;\\ & 2, &&{\rm otherwise}, \end{aligned} \right. \end{equation*} where $\widetilde d(G)$ is the smallest integer $i$ such that $\delta(L^i(G))\ge 3$. Consequently, when $s \ge 6$, this new upper bound for the $s$-hamiltonian index implies that $h_s(G) = o(\ell(G)+s+1)$ as $s \to \infty$. This sharpens the result, $h_s(G)\le\ell(G)+s+1$, obtained by Zhang et al. in [Discrete Math., 308 (2008) 4779-4785].


title: On the distribution of traces of Frobenius for families of elliptic curves and the Lang-Trotter conjecture on average

abstract: We obtain distribution results for traces of Frobenius for various families of elliptic curves with respect to the Lang-Trotter conjecture, extremal primes, and the central limit theorem. This includes some generalisations and bounds related to the work of Sha-Shparlinski on the average Lang-Trotter conjecture for single-parametric families of elliptic curves and the work of various authors on the trace of Frobenius for primes in congruence classes. Some results are also obtained for modular forms.


title: FedFair: Training Fair Models In Cross-Silo Federated Learning

abstract: Building fair machine learning models becomes more and more important. As many powerful models are built by collaboration among multiple parties, each holding some sensitive data, it is natural to explore the feasibility of training fair models in cross-silo federated learning so that fairness, privacy and collaboration can be fully respected simultaneously. However, it is a very challenging task, since it is far from trivial to accurately estimate the fairness of a model without knowing the private data of the participating parties. In this paper, we first propose a federated estimation method to accurately estimate the fairness of a model without infringing the data privacy of any party. Then, we use the fairness estimation to formulate a novel problem of training fair models in cross-silo federated learning. We develop FedFair, a well-designed federated learning framework, which can successfully train a fair model with high performance without any data privacy infringement. Our extensive experiments on three real-world data sets demonstrate the excellent fair model training performance of our method.


title: Learning Robot Swarm Tactics over Complex Adversarial Environments

abstract: To accomplish complex swarm robotic missions in the real world, one needs to plan and execute a combination of single robot behaviors, group primitives such as task allocation, path planning, and formation control, and mission-specific objectives such as target search and group coverage. Most such missions are designed manually by teams of robotics experts. Recent work in automated approaches to learning swarm behavior has been limited to individual primitives with sparse work on learning complete missions. This paper presents a systematic approach to learn tactical mission-specific policies that compose primitives in a swarm to accomplish the mission efficiently using neural networks with special input and output encoding. To learn swarm tactics in an adversarial environment, we employ a combination of 1) map-to-graph abstraction, 2) input/output encoding via Pareto filtering of points of interest and clustering of robots, and 3) learning via neuroevolution and policy gradient approaches. We illustrate this combination as critical to providing tractable learning, especially given the computational cost of simulating swarm missions of this scale and complexity. Successful mission completion outcomes are demonstrated with up to 60 robots. In addition, a close match in the performance statistics in training and testing scenarios shows the potential generalizability of the proposed framework.


title: Unsupervised domain adaptation for cross-modality liver segmentation via joint adversarial learning and self-learning

abstract: Liver segmentation on images acquired using computed tomography (CT) and magnetic resonance imaging (MRI) plays an important role in clinical management of liver diseases. Compared to MRI, CT images of liver are more abundant and readily available. However, MRI can provide richer quantitative information of the liver compared to CT. Thus, it is desirable to achieve unsupervised domain adaptation for transferring the learned knowledge from the source domain containing labeled CT images to the target domain containing unlabeled MR images. In this work, we report a novel unsupervised domain adaptation framework for cross-modality liver segmentation via joint adversarial learning and self-learning. We propose joint semantic-aware and shape-entropy-aware adversarial learning with post-situ identification manner to implicitly align the distribution of task-related features extracted from the target domain with those from the source domain. In proposed framework, a network is trained with the above two adversarial losses in an unsupervised manner, and then a mean completer of pseudo-label generation is employed to produce pseudo-labels to train the next network (desired model). Additionally, semantic-aware adversarial learning and two self-learning methods, including pixel-adaptive mask refinement and student-to-partner learning, are proposed to train the desired model. To improve the robustness of the desired model, a low-signal augmentation function is proposed to transform MRI images as the input of the desired model to handle hard samples. Using the public data sets, our experiments demonstrated the proposed unsupervised domain adaptation framework reached four supervised learning methods with a Dice score 0.912 plus or minus 0.037 (mean plus or minus standard deviation).


title: CANS: Communication Limited Camera Network Self-Configuration for Intelligent Industrial Surveillance

abstract: Realtime and intelligent video surveillance via camera networks involve computation-intensive vision detection tasks with massive video data, which is crucial for safety in the edge-enabled industrial Internet of Things (IIoT). Multiple video streams compete for limited communication resources on the link between edge devices and camera networks, resulting in considerable communication congestion. It postpones the completion time and degrades the accuracy of vision detection tasks. Thus, achieving high accuracy of vision detection tasks under the communication constraints and vision task deadline constraints is challenging. Previous works focus on single camera configuration to balance the tradeoff between accuracy and processing time of detection tasks by setting video quality parameters. In this paper, an adaptive camera network self-configuration method (CANS) of video surveillance is proposed to cope with multiple video streams of heterogeneous quality of service (QoS) demands for edge-enabled IIoT. Moreover, it adapts to video content and network dynamics. Specifically, the tradeoff between two key performance metrics, \emph{i.e.,} accuracy and latency, is formulated as an NP-hard optimization problem with latency constraints. Simulation on real-world surveillance datasets demonstrates that the proposed CANS method achieves low end-to-end latency (13 ms on average) with high accuracy (92\% on average) with network dynamics. The results validate the effectiveness of the CANS.


title: AMI-FML: A Privacy-Preserving Federated Machine Learning Framework for AMI

abstract: Machine learning (ML) based smart meter data analytics is very promising for energy management and demand-response applications in the advanced metering infrastructure(AMI). A key challenge in developing distributed ML applications for AMI is to preserve user privacy while allowing active end-users participation. This paper addresses this challenge and proposes a privacy-preserving federated learning framework for ML applications in the AMI. We consider each smart meter as a federated edge device hosting an ML application that exchanges information with a central aggregator or a data concentrator, periodically. Instead of transferring the raw data sensed by the smart meters, the ML model weights are transferred to the aggregator to preserve privacy. The aggregator processes these parameters to devise a robust ML model that can be substituted at each edge device. We also discuss strategies to enhance privacy and improve communication efficiency while sharing the ML model parameters, suited for relatively slow network connections in the AMI. We demonstrate the proposed framework on a use case federated ML (FML) application that improves short-term load forecasting (STLF). We use a long short-term memory(LSTM) recurrent neural network (RNN) model for STLF. In our architecture, we assume that there is an aggregator connected to a group of smart meters. The aggregator uses the learned model gradients received from the federated smart meters to generate an aggregate, robust RNN model which improves the forecasting accuracy for individual and aggregated STLF. Our results indicate that with FML, forecasting accuracy is increased while preserving the data privacy of the end-users.


title: Physical limits on electromagnetic response

abstract: Photonic devices play an increasingly important role in advancing physics and engineering, and while improvements in nanofabrication and computational methods have driven dramatic progress in expanding the range of achievable optical characteristics, they have also greatly increased design complexity. These developments have led to heightened relevance for the study of fundamental limits on optical response. Here, we review recent progress in our understanding of these limits with special focus on an emerging theoretical framework that combines computational optimization with conservation laws to yield physical limits capturing all relevant wave effects. Results pertaining to canonical electromagnetic problems such as thermal emission, scattering cross sections, Purcell enhancement, and power routing are presented. Finally, we identify areas for additional research, including conceptual extensions and efficient numerical schemes for handling large-scale problems.


title: UMPNet: Universal Manipulation Policy Network for Articulated Objects

abstract: We introduce the Universal Manipulation Policy Network (UMPNet) -- a single image-based policy network that infers closed-loop action sequences for manipulating arbitrary articulated objects. To infer a wide range of action trajectories, the policy supports 6DoF action representation and varying trajectory length. To handle a diverse set of objects, the policy learns from objects with different articulation structures and generalizes to unseen objects or categories. The policy is trained with self-guided exploration without any human demonstrations, scripted policy, or pre-defined goal conditions. To support effective multi-step interaction, we introduce a novel Arrow-of-Time action attribute that indicates whether an action will change the object state back to the past or forward into the future. With the Arrow-of-Time inference at each interaction step, the learned policy is able to select actions that consistently lead towards or away from a given state, thereby, enabling both effective state exploration and goal-conditioned manipulation. Video is available at https://youtu.be/KqlvcL9RqKM


title: Formation of a solar filament by magnetic reconnection and coronal condensation

abstract: In solar filament formation mechanisms, magnetic reconnection between two sets of sheared arcades forms helical structures of the filament with numerous magnetic dips, and cooling and condensation of plasma trapped inside the helical structures supply mass to the filament. Although each of these processes, namely, magnetic reconnection and coronal condensation have been separately reported, observations that show the whole process of filament formation are rare. In this Letter, we present the formation of a sigmoid via reconnection between two sets of coronal loops, and the subsequent formation of a filament through cooling and condensation of plasma inside the newly formed sigmoid. On 2014 August 27, a set of loops in the active region 12151 reconnected with another set of loops that are located to the east. A longer twisted sigmoidal structure and a set of shorter lower-lying loops then formed. The observations coincide well with the tether-cutting model. The newly formed sigmoid remains stable and does not erupt as a coronal mass ejection. From the eastern endpoint, signatures of injection of material into the sigmoid (as brightenings) are detected, which closely outline the features of increasing emission measure at these locations. This may indicate the chromospheric evaporation caused by reconnection, supplying heated plasma into the sigmoid. In the sigmoid, thermal instability occurs, and rapid cooling and condensation of plasma take place, forming a filament. The condensations then flow bi-directionally to the filament endpoints. Our results provide a clear observational evidence of the filament formation via magnetic reconnection and coronal condensation.


title: Experimental study of tune-out wavelengths for spin-dependent optical lattice in $^{87}$Rb Bose-Einstein condensation

abstract: We study the periodic potential of one-dimensional optical lattice originated from scalar shift and vector shift by manipulating the lattice polarizations. The ac Stark shift of optical lattice is measured by Kapitza-Dirac scattering of $^{87}$Rb Bose-Einstein condensate and the characteristics of spin-dependent optical lattice are presented by scanning the lattice wavelength between the D1 and D2 lines. At the same time, tune-out wavelengths that ac Stark shift cancels can be probed by optical lattice. We give the tune-out wavelengths in more general cases of balancing the contributions of both the scalar and vector shift. Our results provide a clear interpretation for spin-dependent optical lattice and tune-out wavelengths, and help to design it by choosing the appropriate lattice wavelength.


title: Shape-Biased Domain Generalization via Shock Graph Embeddings

abstract: There is an emerging sense that the vulnerability of Image Convolutional Neural Networks (CNN), i.e., sensitivity to image corruptions, perturbations, and adversarial attacks, is connected with Texture Bias. This relative lack of Shape Bias is also responsible for poor performance in Domain Generalization (DG). The inclusion of a role of shape alleviates these vulnerabilities and some approaches have achieved this by training on negative images, images endowed with edge maps, or images with conflicting shape and texture information. This paper advocates an explicit and complete representation of shape using a classical computer vision approach, namely, representing the shape content of an image with the shock graph of its contour map. The resulting graph and its descriptor is a complete representation of contour content and is classified using recent Graph Neural Network (GNN) methods. The experimental results on three domain shift datasets, Colored MNIST, PACS, and VLCS demonstrate that even without using appearance the shape-based approach exceeds classical Image CNN based methods in domain generalization.


title: Understanding the flat band in 1T-TaS2 using a rotated basis

abstract: Electronic flat bands serve as a unique platform to achieve strongly-correlated phases. The emergence of a flat band around the Fermi level in 1T-TaS$_2$ in accompany with the development of a $\sqrt{13}\times\sqrt{13}$ charge density wave (CDW) superlattice has long been noticed experimentally, but a transparent theoretical understanding remains elusive. We show that without CDW, the primary feature of the $1\times1$ bands can be fitted by a simple trigonometric function, and physically understood by choosing a rotated $\tilde{t}_{2g}$ basis with the principle axes aligning to the tilted TaS$_6$ octahedron. Using this basis, we trace the band evolution in the $\sqrt{13}\times\sqrt{13}$ superlattice by progressively including different CDW effects. We point out that CDW strongly rehybridizes the three $\tilde{t}_{2g}$ orbitals, which leads to the formation of a well-localized molecular orbital and spawns the flat band.


title: FaceGuard: Proactive Deepfake Detection

abstract: Existing deepfake-detection methods focus on passive detection, i.e., they detect fake face images via exploiting the artifacts produced during deepfake manipulation. A key limitation of passive detection is that it cannot detect fake faces that are generated by new deepfake generation methods. In this work, we propose FaceGuard, a proactive deepfake-detection framework. FaceGuard embeds a watermark into a real face image before it is published on social media. Given a face image that claims to be an individual (e.g., Nicolas Cage), FaceGuard extracts a watermark from it and predicts the face image to be fake if the extracted watermark does not match well with the individual's ground truth one. A key component of FaceGuard is a new deep-learning-based watermarking method, which is 1) robust to normal image post-processing such as JPEG compression, Gaussian blurring, cropping, and resizing, but 2) fragile to deepfake manipulation. Our evaluation on multiple datasets shows that FaceGuard can detect deepfakes accurately and outperforms existing methods.


title: Real-Time EMG Signal Classification via Recurrent Neural Networks

abstract: Real-time classification of Electromyography signals is the most challenging part of controlling a prosthetic hand. Achieving a high classification accuracy of EMG signals in a short delay time is still challenging. Recurrent neural networks (RNNs) are artificial neural network architectures that are appropriate for sequential data such as EMG. In this paper, after extracting features from a hybrid time-frequency domain (discrete Wavelet transform), we utilize a set of recurrent neural network-based architectures to increase the classification accuracy and reduce the prediction delay time. The performances of these architectures are compared and in general outperform other state-of-the-art methods by achieving 96% classification accuracy in 600 msec.


title: Online Unsupervised Learning of Visual Representations and Categories

abstract: Real world learning scenarios involve a nonstationary distribution of classes with sequential dependencies among the samples, in contrast to the standard machine learning formulation of drawing samples independently from a fixed, typically uniform distribution. Furthermore, real world interactions demand learning on-the-fly from few or no class labels. In this work, we propose an unsupervised model that simultaneously performs online visual representation learning and few-shot learning of new categories without relying on any class labels. Our model is a prototype-based memory network with a control component that determines when to form a new class prototype. We formulate it as an online mixture model, where components are created with only a single new example, and assignments do not have to be balanced, which permits an approximation to natural imbalanced distributions from uncurated raw data. Learning includes a contrastive loss that encourages different views of the same image to be assigned to the same prototype. The result is a mechanism that forms categorical representations of objects in nonstationary environments. Experiments show that our method can learn from an online stream of visual input data and its learned representations are significantly better at category recognition compared to state-of-the-art self-supervised learning methods.


title: Domain and Content Adaptive Convolution based Multi-Source Domain Generalization for Medical Image Segmentation

abstract: The domain gap caused mainly by variable medical image quality renders a major obstacle on the path between training a segmentation model in the lab and applying the trained model to unseen clinical data. To address this issue, domain generalization methods have been proposed, which however usually use static convolutions and are less flexible. In this paper, we propose a multi-source domain generalization model based on the domain and content adaptive convolution (DCAC) for the segmentation of medical images across different modalities. Specifically, we design the domain adaptive convolution (DAC) module and content adaptive convolution (CAC) module and incorporate both into an encoder-decoder backbone. In the DAC module, a dynamic convolutional head is conditioned on the predicted domain code of the input to make our model adapt to the unseen target domain. In the CAC module, a dynamic convolutional head is conditioned on the global image features to make our model adapt to the test image. We evaluated the DCAC model against the baseline and four state-of-the-art domain generalization methods on the prostate segmentation, COVID-19 lesion segmentation, and optic cup/optic disc segmentation tasks. Our results not only indicate that the proposed DCAC model outperforms all competing methods on each segmentation task but also demonstrate the effectiveness of the DAC and CAC modules. Code is available at \url{https://git.io/DCAC}.


title: An Adaptive Boosting Technique to Mitigate Popularity Bias in Recommender System

abstract: The observed ratings in most recommender systems are subjected to popularity bias and are thus not randomly missing. Due to this, only a few popular items are recommended, and a vast number of non-popular items are hardly recommended. Not suggesting the non-popular items lead to fewer products dominating the market and thus offering fewer opportunities for creativity and innovation. In the literature, several fair algorithms have been proposed which mainly focused on improving the accuracy of the recommendation system. However, a typical accuracy measure is biased towards popular items, i.e., it promotes better accuracy for popular items compared to non-popular items. This paper considers a metric that measures the popularity bias as the difference in error on popular items and non-popular items. Motivated by the fair boosting algorithm on classification, we propose an algorithm that reduces the popularity bias present in the data while maintaining accuracy within acceptable limits. The main idea of our algorithm is that it lifts the weights of the non-popular items, which are generally underrepresented in the data. With the help of comprehensive experiments on real-world datasets, we show that our proposed algorithm outperforms the existing algorithms on the proposed popularity bias metric.


title: Colour and baryon number fluctuation of preconfinement system in production process and T_cc structure

abstract: We suggest to study the production mechanism and some details of the production properties to probe the structure of the DDpi resonance T_cc^+ recently observed by the LHCb Collaboration. If the resonance is produced as a four-quark state, one can find the corresponding finger prints via measurements on some production properties that are the same as those of Xi_cc. The reason is that a special colour connection on the interface between the perturbative and non perturbative QCD is required for these doubly-charm hadron production. On the other hand, if T_cc^+ is produced as a hadron molecule, the measurement on the momentum correlation of DD^* can be a smoking gun to make the judgement. The present data favour a compact four-quark state production via the cc diquark fragmentation.


title: Reinforcement Learning for Load-balanced Parallel Particle Tracing

abstract: We explore an online reinforcement learning (RL) paradigm to dynamically optimize parallel particle tracing performance in distributed-memory systems. Our method combines three novel components: (1) a work donation algorithm, (2) a high-order workload estimation model, and (3) a communication cost model. First, we design an RL-based work donation algorithm. Our algorithm monitors workloads of processes and creates RL agents to donate data blocks and particles from high-workload processes to low-workload processes to minimize program execution time. The agents learn the donation strategy on the fly based on reward and cost functions designed to consider processes' workload changes and data transfer costs of donation actions. Second, we propose a workload estimation model, helping RL agents estimate the workload distribution of processes in future computations. Third, we design a communication cost model that considers both block and particle data exchange costs, helping RL agents make effective decisions with minimized communication costs. We demonstrate that our algorithm adapts to different flow behaviors in large-scale fluid dynamics, ocean, and weather simulation data. Our algorithm improves parallel particle tracing performance in terms of parallel efficiency, load balance, and costs of I/O and communication for evaluations with up to 16,384 processors.


title: Realization of high-fidelity CZ gates in extensible superconducting qubits design with a tunable coupler

abstract: High-fidelity two-qubits gates are essential for the realization of large-scale quantum computation and simulation. Tunable coupler design is used to reduce the problem of parasitic coupling and frequency crowding in many-qubit systems and thus thought to be advantageous. Here we design a extensible 5-qubit system in which center transmon qubit can couple to every four near-neighbor qubit via a capacitive tunable coupler and experimentally demonstrate high-fidelity controlled-phase (CZ) gate by manipulating center qubit and one near-neighbor qubit. Speckle purity benchmarking (SPB) and cross entrophy benchmarking (XEB) are used to assess the purity fidelity and the fidelity of the CZ gate. The average purity fidelity of the CZ gate is 99.69$\pm$0.04\% and the average fidelity of the CZ gate is 99.65$\pm$0.04\% which means the control error is about 0.04\%. Our work will help resovle many chanllenges in the implementation of large scale quantum systems.


title: Multi-User Scheduling in Hybrid Millimeter Wave Massive MIMO Systems

abstract: While mmWave bands provide a large bandwidth for mobile broadband services, they suffer from severe path loss and shadowing. Multiple-antenna techniques such as beamforming (BF) can be applied to compensate the signal attenuation. We consider a special case of hybrid BF called per-stream hybrid BF (PSHBF) which is easier to implement than the general hybrid BF because it circumvents the need for joint analog-digital beamformer optimization. Employing BF at the base station enables the transmission of multiple data streams to several users in the same resource block. In this paper, we provide an offline study of proportional fair multi-user scheduling in a mmWave system with PSHBF to understand the impact of various system parameters on the performance. We formulate multi-user scheduling as an optimization problem. To tackle the non-convexity, we provide a feasible solution and show through numerical examples that the performance of the provided solution is very close to an upper-bound. Using this framework, we provide extensive numerical investigations revealing several engineering insights.


title: Same sign trilepton as signature of charged Higgs in two Higgs doublet model

abstract: We explored the prospect of looking for a fermiophobic charged Higgs ($\hpm$) via the same sign trilepton signal at the LHC. A fermiophobic scenario appears in the type-I two Higgs doublet model where the coupling of the $\hpm$ with the Standard Model fermions is inversely proportional to $\tb$. Almost all the experimental searches rely on the fermionic production and decay of the charged Higgs. Consequently, the limit on $\hpm$ for fermiophobic scenarios is non-existent unless $\tb$ is small. We show that for a fermiophobic case, the electroweak production of $\hpm$ is dominant for most of the parameter space. Subsequent bosonic decay of the charged and neutral Higgses give rise to the same sign trilepton signal. With a thorough phenomenological analysis, we demonstrate that the same sign trilepton signal can be an excellent complementary search to explore the high $\tb$ regions.


title: AutoSoC: Automating Algorithm-SOC Co-design for Aerial Robots

abstract: Aerial autonomous machines (Drones) has a plethora of promising applications and use cases. While the popularity of these autonomous machines continues to grow, there are many challenges, such as endurance and agility, that could hinder the practical deployment of these machines. The closed-loop control frequency must be high to achieve high agility. However, given the resource-constrained nature of the aerial robot, achieving high control loop frequency is hugely challenging and requires careful co-design of algorithm and onboard computer. Such an effort requires infrastructures that bridge various domains, namely robotics, machine learning, and system architecture design. To that end, we present AutoSoC, a framework for co-designing algorithms as well as hardware accelerator systems for end-to-end learning-based aerial autonomous machines. We demonstrate the efficacy of the framework by training an obstacle avoidance algorithm for aerial robots to navigate in a densely cluttered environment. For the best performing algorithm, our framework generates various accelerator design candidates with varying performance, area, and power consumption. The framework also runs the ASIC flow of place and route and generates a layout of the floor-planed accelerator, which can be used to tape-out the final hardware chip.


title: A Novel Solution for Uu Interface Based C-V2X

abstract: C-V2X includes two solutions: Uu interface based C-V2X and PC5 interface based C-V2X. The Uu interface based C-V2X has challenges such as latency and message congestion. This paper introduces a risk filtering algorithm through the V2X capability classification, and proposes a software-defined C-V2X solution (SUC-V2X) to systematically solve problems of Uu interface based C-V2X. This article further verifies the performance of the solution.


title: Barzilai and Borwein conjugate gradient method equipped with a non-monotone line search technique and its application on non-negative matrix factorization

abstract: In this paper, we propose a new non-monotone conjugate gradient method for solving unconstrained nonlinear optimization problems. We first modify the non-monotone line search method by introducing a new trigonometric function to calculate the non-monotone parameter, which plays an essential role in the algorithm's efficiency. Then, we apply a convex combination of the Barzilai-Borwein method for calculating the value of step size in each iteration. Under some suitable assumptions, we prove that the new algorithm has the global convergence property. The efficiency and effectiveness of the proposed method are determined in practice by applying the algorithm to some standard test problems and non-negative matrix factorization problems.


title: Spatial and Semantic Consistency Regularizations for Pedestrian Attribute Recognition

abstract: While recent studies on pedestrian attribute recognition have shown remarkable progress in leveraging complicated networks and attention mechanisms, most of them neglect the inter-image relations and an important prior: spatial consistency and semantic consistency of attributes under surveillance scenarios. The spatial locations of the same attribute should be consistent between different pedestrian images, \eg, the ``hat" attribute and the ``boots" attribute are always located at the top and bottom of the picture respectively. In addition, the inherent semantic feature of the ``hat" attribute should be consistent, whether it is a baseball cap, beret, or helmet. To fully exploit inter-image relations and aggregate human prior in the model learning process, we construct a Spatial and Semantic Consistency (SSC) framework that consists of two complementary regularizations to achieve spatial and semantic consistency for each attribute. Specifically, we first propose a spatial consistency regularization to focus on reliable and stable attribute-related regions. Based on the precise attribute locations, we further propose a semantic consistency regularization to extract intrinsic and discriminative semantic features. We conduct extensive experiments on popular benchmarks including PA100K, RAP, and PETA. Results show that the proposed method performs favorably against state-of-the-art methods without increasing parameters.


title: Raise a Child in Large Language Model: Towards Effective and Generalizable Fine-tuning

abstract: Recent pretrained language models extend from millions to billions of parameters. Thus the need to fine-tune an extremely large pretrained model with a limited training corpus arises in various downstream tasks. In this paper, we propose a straightforward yet effective fine-tuning technique, Child-Tuning, which updates a subset of parameters (called child network) of large pretrained models via strategically masking out the gradients of the non-child network during the backward process. Experiments on various downstream tasks in GLUE benchmark show that Child-Tuning consistently outperforms the vanilla fine-tuning by 1.5~8.6 average score among four different pretrained models, and surpasses the prior fine-tuning techniques by 0.6~1.3 points. Furthermore, empirical results on domain transfer and task transfer show that Child-Tuning can obtain better generalization performance by large margins.


title: Thematic analysis of multiple sclerosis research by enhanced strategic diagram

abstract: This bibliometric review summarised the research trends and analysed research areas in multiple sclerosis (MS) over the last decade. The documents containing the term "multiple sclerosis" in the article title were retrieved from the Scopus database. We found a total of 18003 articles published in journals in the English language between 2012 and 2021. The emerging keywords identified utilising the enhanced strategic diagram were "covid-19", "teriflunomide", "clinical trial", "microglia", "b cells", "myelin", "brain", "white matter", "functional connectivity", "pain", "employment", "health-related quality of life", "meta-analysis" and "comorbidity". In conclusion, this study demonstrates the tremendous growth of MS literature worldwide, which is expected to grow more than double during the next decade especially in the identified emerging topics.


title: Generalized Sweeping Line Spanners

abstract: We present sweeping line graphs, a generalization of $\Theta$-graphs. We show that these graphs are spanners of the complete graph, as well as of the visibility graph when line segment constraints or polygonal obstacles are considered. Our proofs use general inductive arguments to make the step to the constrained setting. These same arguments could apply to other spanner constructions in the unconstrained setting, removing the need to find separate proofs that they are spanning in the constrained and polygonal obstacle settings.


title: Inexact Bregman Proximal Gradient Method and its Inertial Variant with Absolute and Relative Stopping Criteria

abstract: The Bregman proximal gradient method (BPGM), which uses the Bregman distance as a proximity measure in the iterative scheme, has recently been re-developed for minimizing convex composite problems \textit{without} the global Lipschitz gradient continuity assumption. This makes the BPGM appealing for a wide range of applications, and hence it has received growing attention in recent years. However, most existing convergence results are only obtained under the assumption that the involved subproblems are solved \textit{exactly}, which is not realistic in many applications. For the BPGM to be implementable and practical, in this paper, we develop inexact versions of the BPGM by employing either an absolute-type stopping criterion or a relative-type stopping criterion solving the subproblems. The iteration complexity of $\mathcal{O}(1/k)$ and the convergence of the sequence are also established for our iBPGM under some conditions. Moreover, we develop an inertial variant of our iBPGM (denoted by v-iBPGM) and establish the iteration complexity of $\mathcal{O}(1/k^{\gamma})$, where $\gamma\geq1$ is a restricted relative smoothness exponent. When the smooth part in the objective has a Lipschitz continuous gradient and the kernel function is strongly convex, we have $\gamma=2$ and thus the v-iBPGM improves the iteration complexity of the iBPGM from $\mathcal{O}(1/k)$ to $\mathcal{O}(1/k^2)$, in accordance with the existing results on the exact accelerated BPGM. Finally, some preliminary numerical experiments for solving the discrete quadratic regularized optimal transport problem are conducted to illustrate the convergence behaviors of our iBPGM and v-iBPGM under different inexactness settings.


title: RADARS: Memory Efficient Reinforcement Learning Aided Differentiable Neural Architecture Search

abstract: Differentiable neural architecture search (DNAS) is known for its capacity in the automatic generation of superior neural networks. However, DNAS based methods suffer from memory usage explosion when the search space expands, which may prevent them from running successfully on even advanced GPU platforms. On the other hand, reinforcement learning (RL) based methods, while being memory efficient, are extremely time-consuming. Combining the advantages of both types of methods, this paper presents RADARS, a scalable RL-aided DNAS framework that can explore large search spaces in a fast and memory-efficient manner. RADARS iteratively applies RL to prune undesired architecture candidates and identifies a promising subspace to carry out DNAS. Experiments using a workstation with 12 GB GPU memory show that on CIFAR-10 and ImageNet datasets, RADARS can achieve up to 3.41% higher accuracy with 2.5X search time reduction compared with a state-of-the-art RL-based method, while the two DNAS baselines cannot complete due to excessive memory usage or search time. To the best of the authors' knowledge, this is the first DNAS framework that can handle large search spaces with bounded memory usage.


title: Single-photon-triggered spin squeezing with decoherence reduction in optomechanics via phase matching

abstract: Quantum spin squeezing is an important resource for quantum information processing, but its squeezing degree is not easy to preserve in an open system with decoherence. Here, we propose a scheme to implement single-photon-triggered spin squeezing with decoherence reduction in an open system. In our system, a Dicke model (DM) is introduced into the quadratic optomechanics, which can be equivalent to an effective DM manipulated by the photon number. Besides, the phonon mode of the optomechanical system is coupled to a squeezed vacuum reservoir with a phase matching, resulting in that the thermal noise caused by the environment can be suppressed completely. We show that squeezing of the phonon mode triggered by a single photon can be transferred to the spin ensemble totally, and pairwise entanglement of the spin ensemble can be realized if and only if there is spin squeezing. Importantly, when considering the impact of the environment, our system can obtain a better squeezing degree than the optimal squeezing that can be achieved in the traditional DM. Meanwhile, the spin squeezing generated in our system is immune to the thermal noise. This work offers an effective way to generate spin squeezing with a single photon and to reduce decoherence in an open system, which will have promising applications in quantum information processing.


title: On Shallow Packings and Tusn\'ady's Problem

abstract: Tusn\'ady's problem asks to bound the discrepancy of points and axis-parallel boxes in $\mathbb{R}^d$. Algorithmic bounds on Tusn\'ady's problem use a canonical decomposition of Matou\v{s}ek for the system of points and axis-parallel boxes, together with other techniques like partial coloring and / or random-walk based methods. We use the notion of \emph{shallow cell complexity} and the \emph{shallow packing lemma}, together with the chaining technique, to obtain an improved decomposition of the set system. Coupled with an algorithmic technique of Bansal and Garg for discrepancy minimization, which we also slightly extend, this yields improved algorithmic bounds on Tusn\'ady's problem. For $d\geq 5$, our bound matches the lower bound of $\Omega(\log^{d-1}n)$ given by Matou\v{s}ek, Nikolov and Talwar [IMRN, 2020] -- settling Tusn\'ady's problem, upto constant factors. For $d=2,3,4$, we obtain improved algorithmic bounds of $O(\log^{7/4}n)$, $O(\log^{5/2}n)$ and $O(\log^{13/4}n)$ respectively, which match or improve upon the non-constructive bounds of Nikolov for $d\geq 3$. Further, we also give improved bounds for the discrepancy of set systems of points and polytopes in $\mathbb{R}^d$ generated via translations of a fixed set of hyperplanes. As an application, we also get a bound for the geometric discrepancy of anchored boxes in $\mathbb{R}^d$ with respect to an arbitrary measure, matching the upper bound for the Lebesgue measure, which improves on a result of Aistleitner, Bilyk, and Nikolov [MC and QMC methods, \emph{Springer, Proc. Math. Stat.}, 2018] for $d\geq 4$.


title: SCORE-IT: A Machine Learning-based Tool for Automatic Standardization of EEG Reports

abstract: Machine learning (ML)-based analysis of electroencephalograms (EEGs) is playing an important role in advancing neurological care. However, the difficulties in automatically extracting useful metadata from clinical records hinder the development of large-scale EEG-based ML models. EEG reports, which are the primary sources of metadata for EEG studies, suffer from lack of standardization. Here we propose a machine learning-based system that automatically extracts components from the SCORE specification from unstructured, natural-language EEG reports. Specifically, our system identifies (1) the type of seizure that was observed in the recording, per physician impression; (2) whether the session recording was normal or abnormal according to physician impression; (3) whether the patient was diagnosed with epilepsy or not. We performed an evaluation of our system using the publicly available TUH EEG corpus and report F1 scores of 0.92, 0.82, and 0.97 for the respective tasks.


title: PAT: Pseudo-Adversarial Training For Detecting Adversarial Videos

abstract: Extensive research has demonstrated that deep neural networks (DNNs) are prone to adversarial attacks. Although various defense mechanisms have been proposed for image classification networks, fewer approaches exist for video-based models that are used in security-sensitive applications like surveillance. In this paper, we propose a novel yet simple algorithm called Pseudo-Adversarial Training (PAT), to detect the adversarial frames in a video without requiring knowledge of the attack. Our approach generates `transition frames' that capture critical deviation from the original frames and eliminate the components insignificant to the detection task. To avoid the necessity of knowing the attack model, we produce `pseudo perturbations' to train our detection network. Adversarial detection is then achieved through the use of the detected frames. Experimental results on UCF-101 and 20BN-Jester datasets show that PAT can detect the adversarial video frames and videos with a high detection rate. We also unveil the potential reasons for the effectiveness of the transition frames and pseudo perturbations through extensive experiments.


title: How to Select One Among All? An Extensive Empirical Study Towards the Robustness of Knowledge Distillation in Natural Language Understanding

abstract: Knowledge Distillation (KD) is a model compression algorithm that helps transfer the knowledge of a large neural network into a smaller one. Even though KD has shown promise on a wide range of Natural Language Processing (NLP) applications, little is understood about how one KD algorithm compares to another and whether these approaches can be complimentary to each other. In this work, we evaluate various KD algorithms on in-domain, out-of-domain and adversarial testing. We propose a framework to assess the adversarial robustness of multiple KD algorithms. Moreover, we introduce a new KD algorithm, Combined-KD, which takes advantage of two promising approaches (better training scheme and more efficient data augmentation). Our extensive experimental results show that Combined-KD achieves state-of-the-art results on the GLUE benchmark, out-of-domain generalization, and adversarial robustness compared to competitive methods.


title: Finding Representative Group Fairness Metrics Using Correlation Estimations

abstract: It is of critical importance to be aware of the historical discrimination embedded in the data and to consider a fairness measure to reduce bias throughout the predictive modeling pipeline. Given various notions of fairness defined in the literature, investigating the correlation and interaction among metrics is vital for addressing unfairness. Practitioners and data scientists should be able to comprehend each metric and examine their impact on one another given the context, use case, and regulations. Exploring the combinatorial space of different metrics for such examination is burdensome. To alleviate the burden of selecting fairness notions for consideration, we propose a framework that estimates the correlation among fairness notions. Our framework consequently identifies a set of diverse and semantically distinct metrics as representative for a given context. We propose a Monte-Carlo sampling technique for computing the correlations between fairness metrics by indirect and efficient perturbation in the model space. Using the estimated correlations, we then find a subset of representative metrics. The paper proposes a generic method that can be generalized to any arbitrary set of fairness metrics. We showcase the validity of the proposal using comprehensive experiments on real-world benchmark datasets.


title: Detecting Textual Adversarial Examples through Randomized Substitution and Vote

abstract: A line of work has shown that natural text processing models are vulnerable to adversarial examples. Correspondingly, various defense methods are proposed to mitigate the threat of textual adversarial examples, eg, adversarial training, input transformations, detection, etc. In this work, we treat the optimization process for synonym substitution based textual adversarial attacks as a specific sequence of word replacement, in which each word mutually influences other words. We identify that we could destroy such mutual interaction and eliminate the adversarial perturbation by randomly substituting a word with its synonyms. Based on this observation, we propose a novel textual adversarial example detection method, termed Randomized Substitution and Vote (RS&V), which votes the prediction label by accumulating the logits of k samples generated by randomly substituting the words in the input text with synonyms. The proposed RS&V is generally applicable to any existing neural networks without modification on the architecture or extra training, and it is orthogonal to prior work on making the classification network itself more robust. Empirical evaluations on three benchmark datasets demonstrate that our RS&V could detect the textual adversarial examples more successfully than the existing detection methods while maintaining the high classification accuracy on benign samples.


title: Zeta functions of certain K3 families : application of the formula of Clausen

abstract: Based on the theory of rigid cohomology, we provide an explicit formula of zeta functions of certain K3 families, which we call the hypergeometric type. The central point of our argument is the comparison between the 2nd rigid cohomology of a K3 and the symmetric product of an elliptic curve, that is brought from the classical formula of Clausen.


title: Exploiting Heterogeneity in Robust Federated Best-Arm Identification

abstract: We study a federated variant of the best-arm identification problem in stochastic multi-armed bandits: a set of clients, each of whom can sample only a subset of the arms, collaborate via a server to identify the best arm (i.e., the arm with the highest mean reward) with prescribed confidence. For this problem, we propose Fed-SEL, a simple communication-efficient algorithm that builds on successive elimination techniques and involves local sampling steps at the clients. To study the performance of Fed-SEL, we introduce a notion of arm-heterogeneity that captures the level of dissimilarity between distributions of arms corresponding to different clients. Interestingly, our analysis reveals the benefits of arm-heterogeneity in reducing both the sample- and communication-complexity of Fed-SEL. As a special case of our analysis, we show that for certain heterogeneous problem instances, Fed-SEL outputs the best-arm after just one round of communication. Our findings have the following key implication: unlike federated supervised learning where recent work has shown that statistical heterogeneity can lead to poor performance, one can provably reap the benefits of both local computation and heterogeneity for federated best-arm identification. As our final contribution, we develop variants of Fed-SEL, both for federated and peer-to-peer settings, that are robust to the presence of Byzantine clients, and hence suitable for deployment in harsh, adversarial environments.


title: Applications of Recurrent Neural Network for Biometric Authentication & Anomaly Detection

abstract: Recurrent Neural Networks are powerful machine learning frameworks that allow for data to be saved and referenced in a temporal sequence. This opens many new possibilities in fields such as handwriting analysis and speech recognition. This paper seeks to explore current research being conducted on RNNs in four very important areas, being biometric authentication, expression recognition, anomaly detection, and applications to aircraft. This paper reviews the methodologies, purpose, results, and the benefits and drawbacks of each proposed method below. These various methodologies all focus on how they can leverage distinct RNN architectures such as the popular Long Short-Term Memory (LSTM) RNN or a Deep-Residual RNN. This paper also examines which frameworks work best in certain situations, and the advantages and disadvantages of each pro-posed model.


title: Covert queueing problem with a Markovian statistic

abstract: Based on the covert communication framework, we consider a covert queueing problem that has a Markovian statistic. Willie jobs arrive according to a Poisson process and require service from server Bob. Bob does not have a queue for jobs to wait and hence when the server is busy, arriving Willie jobs are lost. Willie and Bob enter a contract under which Bob should only serve Willie jobs. As part of the usage statistic, for a sequence of N consecutive jobs that arrived, Bob informs Willie whether each job was served or lost (this is the Markovian statistic). Bob is assumed to be violating the contract and admitting non-Willie (Nillie) jobs according to a Poisson process. For such a setting, we identify the hypothesis testing to be performed (given the Markovian data) by Willie to detect the presence or absence of Nillie jobs. We also characterize the upper bound on arrival rate of Nillie jobs such that the error in the hypothesis testing of Willie is arbitrarily large, ensuring covertness in admitting Nillie jobs.


title: One-dimensional force-free numerical simulations of Alfven waves around a spinning black string

abstract: We performed one-dimensional force-free magnetodynamic numerical simulations of the propagation of Alfven waves along magnetic field lines around a spinning black-hole-like object, the Banados--Teitelboim--Zanelli black string, to investigate the dynamic process of wave propagation and energy transport with Alfven waves. We considered axisymmetric and stationary magnetosphere and perturbed the background magnetosphere to obtain the linear wave equation for the Alfven wave mode. The numerical results show that the energy of Alfven waves monotonically increases as the waves propagate outwardly along the rotating curved magnetic field line around the ergosphere, where energy seems not to be conserved, in the case of energy extraction from the black string by the Blandford--Znajek mechanism. The apparent breakdown of energy conservation suggests the existence of an additional wave induced by the Alfven wave. Considering the additional fast magnetosonic wave induced by the Alfven wave, the energy conservation is recovered. Similar relativistic phenomena, such as the amplification of Alfven waves and induction of fast magnetosonic waves, are expected around a spinning black hole.


title: Mitigating Language-Dependent Ethnic Bias in BERT

abstract: BERT and other large-scale language models (LMs) contain gender and racial bias. They also exhibit other dimensions of social bias, most of which have not been studied in depth, and some of which vary depending on the language. In this paper, we study ethnic bias and how it varies across languages by analyzing and mitigating ethnic bias in monolingual BERT for English, German, Spanish, Korean, Turkish, and Chinese. To observe and quantify ethnic bias, we develop a novel metric called Categorical Bias score. Then we propose two methods for mitigation; first using a multilingual model, and second using contextual word alignment of two monolingual models. We compare our proposed methods with monolingual BERT and show that these methods effectively alleviate the ethnic bias. Which of the two methods works better depends on the amount of NLP resources available for that language. We additionally experiment with Arabic and Greek to verify that our proposed methods work for a wider variety of languages.


title: Photoinduced ultrafast transition of the local correlated structure in chalcogenide phase-change materials

abstract: Revealing the bonding and time-evolving atomic dynamics in functional materials with complex lattice structures can update the fundamental knowledge on rich physics therein, and also help to manipulate the material properties as desired. As the most prototypical chalcogenide phase change material, Ge2Sb2Te5 has been widely used in optical data storage and non-volatile electric memory due to the fast switching speed and the low energy consumption. However, the basic understanding of the structural dynamics on the atomic scale is still not clear. Using femtosecond electron diffraction, structure factor calculation and TDDFT-MD simulation, we reveal the photoinduced ultrafast transition of the local correlated structure in the averaged rock-salt phase of Ge2Sb2Te5. The randomly oriented Peierls distortion among unit cells in the averaged rock-salt phase of Ge2Sb2Te5 is termed as local correlated structures. The ultrafast suppression of the local Peierls distortions in individual unit cell gives rise to a local structure change from the rhombohedral to the cubic geometry within ~ 0.3 ps. In addition, the impact of the carrier relaxation and the large amount of vacancies to the ultrafast structural response is quantified and discussed. Our work provides new microscopic insights into contributions of the local correlated structure to the transient structural and optical responses in phase change materials. Moreover, we stress the significance of femtosecond electron diffraction in revealing the local correlated structure in the subunit cell and the link between the local correlated structure and physical properties in functional materials with complex microstructures.


title: Uniform simplicity for subgroups of piecewise continuous bijections of the unit interval

abstract: Let $I=[0,1)$ and $\mathcal{PC}(I)$ [resp. $\mathcal{PC}^+(I)$] be the quotient group of the group of all piecewise continuous [resp. piecewise continuous and orientation preserving] bijections of $I$ by its normal subgroup consisting in elements with finite support (i.e. that are trivial except at possibly finitely many points). Unpublished Theorems of Arnoux ([Arn81b]) state that $\mathcal{PC}^+(I)$ and certain groups of interval exchanges are simple, their proofs are the purpose of the Appendix. Dealing with piecewise direct affine maps, we prove the simplicity of the group $\mathcal A^+(I)$ (see Definition 1.6). These results can be improved. Indeed, a group $G$ is uniformly simple if there exists a positive integer $N$ such that for any $f,\phi \in G\setminus\{Id\}$, the element $\phi$ can be written as a product of at most $N$ conjugates of $f$ or $f^{-1}$. We provide conditions which guarantee that a subgroup $G$ of $\mathcal{PC}(I)$ is uniformly simple. As Corollaries, we obtain that $\mathcal{PC}(I)$, $\mathcal{PC}^+(I)$, $PL^+ (\mathbb S^1)$, $\mathcal A(I)$, $\mathcal A^+(I)$ and some Thompson like groups included the Thompson group $T$ are uniformly simple.


title: Rethinking Lightweight Convolutional Neural Networks for Efficient and High-quality Pavement Crack Detection

abstract: Pixel-level road crack detection has always been a challenging task in intelligent transportation systems. Due to the external environments, such as weather, light, and other factors, pavement cracks often present low contrast, poor continuity, and different sizes in length and width. However, most of the existing studies pay less attention to crack data under different situations. Meanwhile, recent algorithms based on deep convolutional neural networks (DCNNs) have promoted the development of cutting-edge models for crack detection. Nevertheless, they usually focus on complex models for good performance, but ignore detection efficiency in practical applications. In this article, to address the first issue, we collected two new databases (i.e. Rain365 and Sun520) captured in rainy and sunny days respectively, which enrich the data of the open source community. For the second issue, we reconsider how to improve detection efficiency with excellent performance, and then propose our lightweight encoder-decoder architecture termed CarNet. Specifically, we introduce a novel olive-shaped structure for the encoder network, a light-weight multi-scale block and a new up-sampling method in the decoder network. Numerous experiments show that our model can better balance detection performance and efficiency compared with previous models. Especially, on the Sun520 dataset, our CarNet significantly advances the state-of-the-art performance with ODS F-score from 0.488 to 0.514. Meanwhile, it does so with an improved detection speed (104 frame per second) which is orders of magnitude faster than some recent DCNNs-based algorithms specially designed for crack detection.


title: Correlation of shifted values of $L$-functions in the hyperelliptic ensemble

abstract: The moments of quadratic Dirichlet $L$-functions over function fields have recently attracted much attention with the work of Andrade and Keating. In this article, we establish lower bounds for the mean values of the product of quadratic Dirichlet $L$-functions associated with hyperelliptic curves of genus $g$ over a fixed finite field $\mathbb{F}_q$ in the large genus limit. By using the idea of A. Florea \cite{FL3}, we also obtain their upper bounds. As a consequence, we find upper bounds of its derivatives. These lower and upper bounds give the correlation of quadratic Dirichlet $L$-functions associated with hyperelliptic curves with different transitions.


title: Thermostatic Hyperthermia with Non-invasive Temperature Monitoring through Speed of Sound Imaging

abstract: Hyperthermia therapy (HT) is used to treat diseases through heating of high temperature usually in conjunction with some other medical therapeutics like chemotherapy and radiotherapy. In this study, we propose a promising thermostatic hyperthermia method that uses high-intensity focused ultrasound (HIFU) for clinical tumor treatment combined with diagnostic ultrasound image guidance and non-invasive temperature monitoring through the speed of sound (SOS) imaging. HIFU heating is realized by a ring ultrasound transducer array with 256 elements. The inner structure information of thigh tissue is obtained by B-mode ultrasound imaging. Since the relationship between the temperature and the SOS in the different human tissue is available, the temperature detection is converted to the SOS detection obtained by the full-wave inversion (FWI) method. Simulation results show that our model can achieve expected thermostatic hyperthermia on tumor target with 0.2 degree maximum temperature fluctuation for 5 hours. This study verifies the feasibility of the proposed thermostatic hyperthermia model. Furthermore, the temperature measurement can share the same ultrasound transducer array for HIFU heating and B-mode ultrasound imaging, which provides a guiding significance for clinical application.


title: Robust Stability of Neural Network-controlled Nonlinear Systems with Parametric Variability

abstract: Stability certification and identifying a safe and stabilizing initial set are two important concerns in ensuring operational safety, stability, and robustness of dynamical systems. With the advent of machine-learning tools, these issues need to be addressed for the systems with machine-learned components in the feedback loop. To develop a general theory for stability and stabilizability of a neural network (NN)-controlled nonlinear system subject to bounded parametric variation, a Lyapunov-based stability certificate is proposed and is further used to devise a maximal Lipschitz bound for the NN controller, and also a corresponding maximal region-of-attraction (RoA) inside a given safe operating domain. To compute such a robustly stabilizing NN controller that also maximizes the system's long-run utility, a stability-guaranteed training (SGT) algorithm is proposed. The effectiveness of the proposed framework is validated through an illustrative example.


title: Thermophysical and Compositional Analyses of Dunes at Hargraves Crater, Mars

abstract: We analyze thermal emission spectra using the 2001 Mars Odyssey Thermal Emission Imaging System (THEMIS) and the Mars Global Surveyor (MGS) Thermal Emission Spectrometer (TES) to characterize grain size and mineralogical composition of dunes at Hargraves crater, Mars. Thermal inertia and bulk composition of the dunes were compared to inferred provenances from the thermal infrared response of surface constituent materials. We use a Markov Chain Monte Carlo (MCMC) technique to estimate the bulk amount of mineralogy contributed by each inferred provenance to the dune field composition. An average thermal inertia value of 238+/-17 Jm-2K-1s-0.5 was found for the dunes corresponding to a surface composed of an average effective grain size of ~391+/-172 um. This effective particle size suggests the presence of mostly medium sand-sized materials mixed with fine and coarse grain sands. The dunes are likely comprised of a weakly indurated surface mixed with unconsolidated materials. Compositional analysis specifies that the dunes are comprised of a mixture of feldspar, olivine, pyroxene, and relatively low bulk-silica content. Dune materials were likely derived from physical weathering, especially eolian erosion, predominantly from the crater ejecta unit at the crater, mixed with a small amount from the crater floor and crater rim and wall lithologies - indicating the dune materials were likely sourced locally.


title: Contrastive Learning for Context-aware Neural Machine TranslationUsing Coreference Information

abstract: Context-aware neural machine translation (NMT) incorporates contextual information of surrounding texts, that can improve the translation quality of document-level machine translation. Many existing works on context-aware NMT have focused on developing new model architectures for incorporating additional contexts and have shown some promising results. However, most existing works rely on cross-entropy loss, resulting in limited use of contextual information. In this paper, we propose CorefCL, a novel data augmentation and contrastive learning scheme based on coreference between the source and contextual sentences. By corrupting automatically detected coreference mentions in the contextual sentence, CorefCL can train the model to be sensitive to coreference inconsistency. We experimented with our method on common context-aware NMT models and two document-level translation tasks. In the experiments, our method consistently improved BLEU of compared models on English-German and English-Korean tasks. We also show that our method significantly improves coreference resolution in the English-German contrastive test suite.


title: Recent charm results at Belle

abstract: We present the selected recent charm results at Belle: (1) the $CP$ asymmetries and branching fractions for the decays of charm mesons, i.e. $D^{0}\to\pi^{+}\pi^{-}\eta,\,K^{+}K^{-}\eta$ and $D^{0}\to\phi\eta$; $D_{s}^{+}\to K^{+}\pi^{0},\,K^{+}\eta$ and $D_{s}^{+}\to\pi^{+}\pi^{0},\,\pi^{+}\eta$. (2) the branching fractions for the decays of charmed baryons, i.e. $\Lambda_{c}^{+}\to p\pi^{0},\,p\eta$; $\Lambda_{c}^{+}\to\Lambda\pi^{+}\eta,\,\Sigma^0\pi^{+}\eta$ and intermediate processes $\Lambda_{c}^{+}\to\Lambda(1670)\pi^{+},\,\eta\Sigma(1385)^+$; $\Xi_c^0\to\Lambda\bar{K}^{*0},\,\Sigma^0\bar{K}^{*0}$ and $\Sigma^+K^{*-}$. (3) properties of excited charmed baryons, i.e. search for electromagnetic transition $\Xi_c(2790,2815)^{+,0}\to\Xi_c^{+,0}\gamma$; and determination of spin-parity of $\Xi_c(2970)^+$.


title: Autonomous Navigation of Underactuated Bipedal Robots in Height-Constrained Environments

abstract: Navigating a large-scaled robot in unknown and cluttered height-constrained environments is challenging. Not only is a fast and reliable planning algorithm required to go around obstacles, the robot should also be able to change its intrinsic dimension by crouching in order to travel underneath height-constrained regions. There are few mobile robots that are capable of handling such a challenge, and bipedal robots provide a solution. However, as bipedal robots have nonlinear and hybrid dynamics, trajectory planning while ensuring dynamic feasibility and safety on these robots is challenging. This paper presents an end-to-end autonomous navigation framework which leverages three layers of planners and a variable walking height controller to enable bipedal robots to safely explore height-constrained environments. A vertically-actuated Spring-Loaded Inverted Pendulum (vSLIP) model is introduced to capture the robot's coupled dynamics of planar walking and vertical walking height. This reduced-order model is utilized to optimize for long-term and short-term safe trajectory plans. A variable walking height controller is leveraged to enable the bipedal robot to maintain stable periodic walking gaits while following the planned trajectory. The entire framework is tested and experimentally validated using a bipedal robot Cassie. This demonstrates reliable autonomy to drive the robot to safely avoid obstacles while walking to the goal location in various kinds of height-constrained cluttered environments.


title: Magnetic anisotropy of the van der Waals ferromagnet Cr$_2$Ge$_2$Te$_6$ studied by angular-dependent XMCD

abstract: The van der Waals ferromagnet Cr$_2$Ge$_2$Te$_6$ (CGT) has a two-dimensional crystal structure where each layer is stacked through van der Waals force. We have investigated the nature of the ferromagnetism and the weak perpendicular magnetic anisotropy (PMA) of CGT by means of X-ray absorption spectroscopy and X-ray magnetic circular dichroism (XMCD) studies of CGT single crystals. The XMCD spectra at the Cr $L_{2,3}$ edge for different magnetic field directions were analyzed on the basis of the cluster-model multiplet calculation. The Cr valence is confirmed to be 3+ and the orbital magnetic moment is found to be nearly quenched, as expected for the high-spin $t_{2g}$$^3$ configuration of the Cr$^{3+}$ ion. A large ($\sim 0.2$ eV) trigonal crystal-field splitting of the $t_{2g}$ level caused by the distortion of the CrTe$_6$ octahedron has been revealed, while the single-ion anisotropy (SIA) of the Cr atom is found to have a sign {\it opposite} to the observed PMA and too weak compared to the reported anisotropy energy. The present result suggests that anisotropic exchange coupling between the Cr atoms through the ligand Te $5p$ orbitals having strong spin-orbit coupling has to be invoked to explain the weak PMA of CGT, as in the case of the strong PMA of CrI$_3$.


title: MuVER: Improving First-Stage Entity Retrieval with Multi-View Entity Representations

abstract: Entity retrieval, which aims at disambiguating mentions to canonical entities from massive KBs, is essential for many tasks in natural language processing. Recent progress in entity retrieval shows that the dual-encoder structure is a powerful and efficient framework to nominate candidates if entities are only identified by descriptions. However, they ignore the property that meanings of entity mentions diverge in different contexts and are related to various portions of descriptions, which are treated equally in previous works. In this work, we propose Multi-View Entity Representations (MuVER), a novel approach for entity retrieval that constructs multi-view representations for entity descriptions and approximates the optimal view for mentions via a heuristic searching method. Our method achieves the state-of-the-art performance on ZESHEL and improves the quality of candidates on three standard Entity Linking datasets


title: Topological Abel-Jacobi Map and Mixed Hodge Structures

abstract: For a smooth projective variety X of dimension 2n-1 over complex field, Zhao defined the topological Abel-Jacobi map, which sends vanishing cycles on a smooth hyperplane section Y to the middle dimensional primitive intermediate Jacobian of X. It agrees with Griffiths' Abel-Jacobi map on vanishing cycles that are algebraic and varies holomorphically on the locus of Hodge classes as hyperplane section deforms. On the other hand, Schnell proposed an alternative construction using the real-splitting property of the mixed Hodge structure on H^{2n-1}(X\Y). We show that the two definitions coincide, which answers a question of Schnell.


title: $2.6 M_\odot$ Compact Object and Neutron Stars within Eddington-Inspired Born-Infeld Theory of Gravity

abstract: In the context of whether a massive compact object recently observed in the GW190814 event is a neutron star (NS) or not, we have studied the role of the parameters $\kappa$ and $\Lambda_c$ of the Eddington-inspired Born-Infeld (EiBI) gravity theory on the NS mass-radius relation, moment of inertia, and tidal deformability. The results are compared to recent observation constraints extracted from the analysis of NS observation data. The NS core equation of state (EoS) is calculated using the relativistic mean-field model with the G3 parameter set. In the hyperon sector, the SU(3) and hyperon potential depths are used to determine the hyperon coupling constants. For the inner and outer crusts, we use the crust EoS from Miyatsu et al. (2013). We also maintain the sound speed to not exceed $c$/$\sqrt{3}$ at high densities. We have found that, in general, the NS mass significantly depends on the value of $\kappa$, and the radius $R$ is sensitive to the value of $\Lambda_c$. Moreover, as $\Lambda_c$ is equal to zero or less than the accepted bound of the cosmological constant, the NS within the EiBI theory is compatible with observation constraints, including $2.0 M_\odot$ mass, canonical radius $R_{1.4 M_{\odot}}$, moment of inertia, and tidal deformation. Our investigation also reveals that the $2.6 M_\odot$ mass compact object and current observational constraint of canonical radius $R_{1.4 M_{\odot}}$ can simultaneously be satisfied only when the $\Lambda_c$ value is unphysically too large and negative. Therefore, within the spesific EoS employed in this work, we conclude that the secondary object with $2.6 M_\odot$ observed in the GW190814 event is not likely a static (or a slow-rotating) NS within the EiBI gravity theory.