title: Dynamic Cavitation Inception by Wave Propagation Across Solid-Fluid Interface with Varying Solid Surface Wettability

abstract: Fluid-structure interaction (FSI) problems are important because they may induce serious damage to structures. In some FSI problems, the interaction mechanism is strongly dependent on the wave propagation across the solid-fluid interface. In this study, we attempted a quantitative evaluation of the effect of the solid surface wettability on the wave propagation across the solid-fluid interface with FSI in the case of longitudinal wave propagation vertically towards the interface. During the experiments, while the water was continuously compressed by the solid buffer motion, cavitation bubbles appeared being originated from the buffer-water interface as a result of the transmitted tensile wave propagating across the interface in a cycle. It was confirmed that interfacial boundary condition as wettability could change the wave transmission behavior owing to changes in the cavitation occurrence. It was also confirmed that the worse the wettability, the severer the cavitation intensity, and the greater the difference between the energy lost by the buffer and the energy stored in the water. Consequently, the effect of the cavitation inception on the wave propagation at the solid-fluid interface with FSI could be quantitatively evaluated by considering the energy transferred from the solid to the water.


title: Vision Transformer Computation and Resilience for Dynamic Inference

abstract: State-of-the-art deep learning models for computer vision tasks are based on the transformer architecture and often deployed in real-time applications. In this scenario, the resources available for every inference can vary, so it is useful to be able to dynamically adapt execution to trade accuracy for efficiency. To create dynamic models, we leverage the resilience of vision transformers to pruning and switch between different scaled versions of a model. Surprisingly, we find that most FLOPs are generated by convolutions, not attention. These relative FLOP counts are not a good predictor of GPU performance since GPUs have special optimizations for convolutions. Some models are fairly resilient and their model execution can be adapted without retraining, while all models achieve better accuracy with retraining alternative execution paths. These insights mean that we can leverage CNN accelerators and these alternative execution paths to enable efficient and dynamic vision transformer inference. Our analysis shows that leveraging this type of dynamic execution can lead to saving 28\% of energy with a 1.4\% accuracy drop for SegFormer (63 GFLOPs), with no additional training, and 53\% of energy for ResNet-50 (4 GFLOPs) with a 3.3\% accuracy drop by switching between pretrained Once-For-All models.


title: Online Bayesian prediction of remaining useful life for gamma degradation process under conjugate priors

abstract: Gamma process has been extensively used to model monotone degradation data. Statistical inference for the gamma process is difficult due to the complex parameter structure involved in the likelihood function. In this paper, we derive a conjugate prior for the homogeneous gamma process, and some properties of the prior distribution are explored. Three algorithms (Gibbs sampling, discrete grid sampling, and sampling importance resampling) are well designed to generate posterior samples of the model parameters, which can greatly lessen the challenge of posterior inference. Simulation studies show that the proposed algorithms have high computational efficiency and estimation precision. The conjugate prior is then extended to the case of the gamma process with heterogeneous effects. With this conjugate structure, the posterior distribution of the parameters can be updated recursively, and an efficient online algorithm is developed to predict remaining useful life of multiple systems. The effectiveness of the proposed online algorithm is illustrated by two real cases.


title: Visual Area of Interests based Multimodal Trajectory Prediction for Probabilistic Risk Assessment

abstract: Accurate and reliable prediction of driving intentions and future trajectories contributes to cooperation between human drivers and ADAS in complex traffic environments. This paper proposes a visual AOI (Area of Interest) based multimodal trajectory prediction model for probabilistic risk assessment at intersections. In this study, we find that the visual AOI implies the driving intention and is about 0.6-2.1 s ahead of the operation. Therefore, we designed a trajectory prediction model that integrates the driving intention (DI) and the multimodal trajectory (MT) predictions. The DI model was pre-trained independently to extract the driving intention using features including the visual AOI, historical vehicle states, and environmental context. The intention prediction experiments verify that the visual AOI-based DI model predicts steering intention 0.925 s ahead of the actual steering operation. The trained DI model is then integrated into the trajectory prediction model to filter multimodal trajectories. The trajectory prediction experiments show that the proposed model outperforms the state-of-the-art models. Risk assessment for traffics at intersections verifies that the proposed method achieves high accuracy and a low false alarm rate, and identifies the potential risk about 3 s before a conflict occurs.


title: Standing Sausage Perturbations in Solar Coronal Slabs with Continuous Transverse Density Profiles: cutoff wavenumbers, evanescent eigenmodes, and oscillatory continuum

abstract: The lack of observed sausage perturbations in solar active region loops is customarily attributed to the relevance of cutoff axial wavenumbers and the consequent absence of trapped modes (called ``evanescent eigenmodes'' here). However, some recent eigenvalue problem studies yield that cutoff wavenumbers may disappear for those equilibria where the external density varies sufficiently slowly, thereby casting doubt on the rarity of candidate sausage perturbations. We examine the responses of straight, transversely structured, coronal slabs to small-amplitude sausage-type perturbations that excite axial fundamentals by solving the pertinent initial value problem with eigensolutions for a closed domain. The density variation in the slab exterior is dictated by some steepness parameter $\mu$, and cutoff wavenumbers are theoretically expected to be present (absent) when $\mu \ge 2$ ($\mu < 2$). However, our numerical results show no qualitative difference in the system evolution when $\mu$ varies, despite the differences in the modal behavior. Only oscillatory eigenmodes are permitted when $\mu \ge 2$. Our discrete eigenspectrum becomes increasingly closely spaced when the domain broadens, and an oscillatory continuum results for a truly open system. Oscillatory eigenmodes remain allowed and dominate the system evolution when $\mu <2$. We show that the irrelevance of cutoff wavenumbers does not mean that all fast waves are evanescent. Rather, it means that an increasing number of evanescent eigenmodes emerge when the domain size increases. We conclude that sausage perturbations remain difficult to detect even for the waveguide formulated here.


title: LUNA: Language Understanding with Number Augmentations on Transformers via Number Plugins and Pre-training

abstract: Transformers are widely used in NLP tasks. However, current approaches to leveraging transformers to understand language expose one weak spot: Number understanding. In some scenarios, numbers frequently occur, especially in semi-structured data like tables. But current approaches to rich-number tasks with transformer-based language models abandon or lose some of the numeracy information - e.g., breaking numbers into sub-word tokens - which leads to many number-related errors. In this paper, we propose the LUNA framework which improves the numerical reasoning and calculation capabilities of transformer-based language models. With the number plugin of NumTok and NumBed, LUNA represents each number as a whole to model input. With number pre-training, including regression loss and model distillation, LUNA bridges the gap between number and vocabulary embeddings. To the best of our knowledge, this is the first work that explicitly injects numeracy capability into language models using Number Plugins. Besides evaluating toy models on toy tasks, we evaluate LUNA on three large-scale transformer models (RoBERTa, BERT, TabBERT) over three different downstream tasks (TATQA, TabFact, CrediTrans), and observe the performances of language models are constantly improved by LUNA. The augmented models also improve the official baseline of TAT-QA (EM: 50.15 -> 59.58) and achieve SOTA performance on CrediTrans (F1 = 86.17).


title: Learning Locally, Communicating Globally: Reinforcement Learning of Multi-robot Task Allocation for Cooperative Transport

abstract: We consider task allocation for multi-object transport using a multi-robot system, in which each robot selects one object among multiple objects with different and unknown weights. The existing centralized methods assume the number of robots and tasks to be fixed, which is inapplicable to scenarios that differ from the learning environment. Meanwhile, the existing distributed methods limit the minimum number of robots and tasks to a constant value, making them applicable to various numbers of robots and tasks. However, they cannot transport an object whose weight exceeds the load capacity of robots observing the object. To make it applicable to various numbers of robots and objects with different and unknown weights, we propose a framework using multi-agent reinforcement learning for task allocation. First, we introduce a structured policy model consisting of 1) predesigned dynamic task priorities with global communication and 2) a neural network-based distributed policy model that determines the timing for coordination. The distributed policy builds consensus on the high-priority object under local observations and selects cooperative or independent actions. Then, the policy is optimized by multi-agent reinforcement learning through trial and error. This structured policy of local learning and global communication makes our framework applicable to various numbers of robots and objects with different and unknown weights, as demonstrated by numerical simulations.


title: Online Saddle Point Tracking with Decision-Dependent Data

abstract: In this work, we consider a time-varying stochastic saddle point problem in which the objective is revealed sequentially, and the data distribution depends on the decision variables. Problems of this type express the distributional dependence via a distributional map, and are known to have two distinct types of solutions--saddle points and equilibrium points. We demonstrate that, under suitable conditions, online primal-dual type algorithms are capable of tracking equilibrium points. In contrast, since computing closed-form gradient of the objective requires knowledge of the distributional map, we offer an online stochastic primal-dual algorithm for tracking equilibrium trajectories. We provide bounds in expectation and in high probability, with the latter leveraging a sub-Weibull model for the gradient error. We illustrate our results on an electric vehicle charging problem where responsiveness to prices follows a location-scale family based distributional map.


title: Off-diagonal long-range order in the ground state of the Kitaev chain

abstract: We study a one-dimensional Kitaev model with uniform phase gradient pairing term. We show that the gradient constant dramatically affects the phase diagram, which consists of topologically trivial and nontrivial phases, associated with Majorana edge modes. Based on the exact solution, a Bardeen-Cooper-Schrieffer (BCS)-pair order parameter is introduced to characterize the phase diagram by its value and nonanalytic behavior at phase boundaries. We find that this order parameter obtains its maxima at the triple critical points, at which the pairing phase gradient suppresses the single-particle scattering process due to the coherent destructive interference. In particular, we show that the ground state at such a point possesses exact off-diagonal long-range order (ODLRO), in the thermodynamic limit. Our result provides an example of a gapless $p$-wave superconducting ground state possessing ODLRO.


title: High-dimensional quantum key distribution using energy-time entanglement over 242 km partially deployed fiber

abstract: Entanglement-based quantum key distribution (QKD) is an essential ingredient in quantum communication, owing to the property of source-independent security and the potential on constructing large-scale quantum communication networks. However, implementation of entanglement-based QKD over long-distance optical fiber links is still challenging, especially over deployed fibers. In this work, we report an experimental QKD using energy-time entangled photon pairs that transmit over optical fibers of 242 km (including a section of 19 km deployed fibers). High-quality entanglement distribution is verified by Franson-type interference with raw fringe visibilities of 94.1$\pm$1.9% and %92.4$\pm$5.4% in two non-orthogonal bases. The QKD is realized through the protocol of dispersive-optics QKD. A high-dimensional encoding is applied to utilize coincidence counts more efficiently. Using reliable, high-accuracy time synchronization technology, the system operates continuously for more than 7 days, even without active polarization or phase calibration. We ultimately generate secure keys with secure key rates of 0.22 bps and 0.06 bps in asymptotic and finite-size regime,respectively. This system is compatible with existing telecommunication infrastructures, showing great potential on realizing large-scale quantum communication networks in future.


title: Differentially fixed ideals in toric varieties

abstract: This article concerns monomial ideals fixed by differential operators of affine semi-group rings over $\mathbb{C}$. We give a complete characterization of when this happens. Perhaps surprisingly, every monomial ideal is fixed by an infinite set of homogeneous differential operators and is in fact determined by them. This opens up a new tool for studying monomial ideals. We explore applications of this to (mixed) multiplier ideals and other variants as well as give examples of detecting ideal membership in integrally closed powers and symbolic powers of squarefree monomial ideals.


title: Arithmetic differential geometry in the arithmetic PDE setting II: curvature and cohomology

abstract: This is the second paper in a series devoted to developing an arithmetic PDE analogue of Riemannian geometry. In Part 1 arithmetic PDE analogues of Levi-Civita and Chern connections were introduced and studied. In this paper arithmetic analogues of curvature and characteristic classes are developed.


title: CDOpt: A Python Package for a Class of Riemannian Optimization

abstract: Optimization over the embedded submanifold defined by constraints $c(x) = 0$ has attracted much interest over the past few decades due to its wide applications in various areas. Plenty of related optimization packages have been developed based on Riemannian optimization approaches, which rely on some basic geometrical materials of Riemannian manifolds, including retractions, vector transports, etc. These geometrical materials can be challenging to determine in general. Existing packages only accommodate a few well-known manifolds whose geometrical materials are easily accessible. For other manifolds which are not contained in these packages, the users have to develop the geometric materials by themselves. In addition, it is not always tractable to adopt advanced features from various state-of-the-art unconstrained optimization solvers to Riemannian optimization approaches. We introduce CDOpt (available at https://cdopt.github.io/), a user-friendly Python package for a class Riemannian optimization. Based on constraint dissolving approaches, Riemannian optimization problems are transformed into their equivalent unconstrained counterparts in CDOpt. Therefore, solving Riemannian optimization problems through CDOpt directly benefits from various existing solvers and the rich expertise gained over decades for unconstrained optimization. Moreover, all the computations in CDOpt related to any manifold in question are conducted on its constraints expression, hence users can easily define new manifolds in CDOpt without any background on differential geometry. Furthermore, CDOpt extends the neural layers from PyTorch and Flax, thus allows users to train manifold constrained neural networks directly by the solvers for unconstrained optimization. Extensive numerical experiments demonstrate that CDOpt is highly efficient and robust in solving various classes of Riemannian optimization problems.


title: Equationally defined classes of semigroups

abstract: We apply, in the context of semigroups, the main theorem from~\cite{higjac} that an elementary class $\mathcal{C}$ of algebras which is closed under the taking of direct products and homomorphic images is defined by systems of equations. We prove a dual to the Birkhoff theorem in that if the class is also closed under the taking of containing semigroups, some basis of equations of $\mathcal{C}$ is free of the $\forall$ quantifier. Examples are given of EHP-classes that require more than two quantifiers in some equation of any equational basis.


title: A symmetric chain decomposition of $L(5,n)$

abstract: We give a constructive proof that Young's lattice $L(5, n)$ has a partition into saturated symmetric chains.


title: On the Discredibility of Membership Inference Attacks

abstract: With the wide-spread application of machine learning models, it has become critical to study the potential data leakage of models trained on sensitive data. Recently, various membership inference (MI) attacks are proposed to determine if a sample was part of the training set or not. The question is whether these attacks can be reliably used in practice. We show that MI models frequently misclassify neighboring nonmember samples of a member sample as members. In other words, they have a high false positive rate on the subpopulations of the exact member samples that they can identify. We then showcase a practical application of MI attacks where this issue has a real-world repercussion. Here, MI attacks are used by an external auditor (investigator) to show to a judge/jury that an auditee unlawfully used sensitive data. Due to the high false positive rate of MI attacks on member's subpopulations, auditee challenges the credibility of the auditor by revealing the performance of the MI attacks on these subpopulations. We argue that current membership inference attacks can identify memorized subpopulations, but they cannot reliably identify which exact sample in the subpopulation was used during the training.


title: Analysis of Transition Path Ensemble in the Exactly Solvable Models via Overdamped Langevin Equation

abstract: Transition of a system between two states is an important but difficult problem in natural science. In this article we study the transition problem in the framework of transition path ensemble. Using the overdamped Langevin method, we introduce the path integral formulation of the transition probability and obtain the equation for the minimum action path in the transition path space. For the effective sampling in the transition path ensemble, we derive a conditional overdamped Langevin equation. In two exactly solvable models, the free particle system and the harmonic system, we present the expression of the conditional probability density and the explicit solutions for the conditional Langevin equation and the minimum action path. The analytic results demonstrate the consistence of the conditional Langevin equation with the desired probability distribution in the transition. It is confirmed that the conditional Langevin equation is an effective tool to sample the transition path ensemble, and the minimum action principle actually leads to the most probable path.


title: Optimized architectures for universal quantum state transformations using photonic path and polarization

abstract: An arbitrary lossless transformation in high-dimensional quantum space can be decomposed into elementary operations which are easy to implement, and an effective decomposition algorithm is important for constructing high-dimensional systems. Here, we present two optimized architectures to effectively realize an arbitrary unitary transformation by using the photonic path and polarization based on the existing decomposition algorithm. In the first architecture, the number of required interferometers is reduced by half compared with previous works. In the second architecture, by using the high-dimensional X gate, all the elementary operations are transferred to the operations which act locally on the photonic polarization in the same path. Such an architecture could be of significance in polarization-based applications. Both architectures maintain the symmetric layout. Our work facilitates the optical implementation of high-dimensional transformations and could have potential applications in high-dimensional quantum computation and quantum communication.


title: Benchmarking AutoML algorithms on a collection of synthetic classification problems

abstract: Automated machine learning (AutoML) algorithms have grown in popularity due to their high performance and flexibility to adapt to different problems and data sets. With the increasing number of AutoML algorithms, deciding which would best suit a given problem becomes increasingly more work. Therefore, it is essential to use complex and challenging benchmarks which would be able to differentiate the AutoML algorithms from each other. This paper compares the performance of four different AutoML algorithms: Tree-based Pipeline Optimization Tool (TPOT), Auto-Sklearn, Auto-Sklearn 2, and H2O AutoML. We use the Diverse and Generative ML benchmark (DIGEN), a diverse set of synthetic datasets derived from generative functions designed to highlight the strengths and weaknesses of the performance of common machine learning algorithms. We confirm that AutoML can identify pipelines that perform well on all included datasets. Most AutoML algorithms performed similarly; however, there were some differences depending on the specific dataset and metric used.


title: What is the Solution for State-Adversarial Multi-Agent Reinforcement Learning?

abstract: Various methods for Multi-Agent Reinforcement Learning (MARL) have been developed with the assumption that agents' policies are based on accurate state information. However, policies learned through Deep Reinforcement Learning (DRL) are susceptible to adversarial state perturbation attacks. In this work, we propose a State-Adversarial Markov Game (SAMG) and make the first attempt to investigate different solution concepts of MARL under state uncertainties. Our analysis shows that the commonly used solution concepts of optimal agent policy and robust Nash equilibrium do not always exist in SAMGs. To circumvent this difficulty, we consider a new solution concept called robust agent policy, where agents aim to maximize the worst-case expected state value. We prove the existence of robust agent policy for finite state and finite action SAMGs. Additionally, we propose a Robust Multi-Agent Adversarial Actor-Critic (RMA3C) algorithm to learn robust policies for MARL agents under state uncertainties. Our experiments demonstrate that our algorithm outperforms existing methods when faced with state perturbations and greatly improves the robustness of MARL policies. Our code is public on https://songyanghan.github.io/what_is_solution/.


title: Predicted Trajectory Guidance Control Framework of Teleoperated Ground Vehicles Compensating for Delays

abstract: Maneuverability and drivability of the teleoperated ground vehicle could be seriously degraded by large communication delays if the delays are not properly compensated. This paper proposes a predicted trajectory guidance control (PTGC) framework to compensate for such delays, thereby improving the performance of the teleoperation system. The novelty of this PTGC framework is that teleoperators intended trajectory is predicted at the vehicle side with their delayed historical control commands and the LiDAR 3D point cloud of the environment, and then the vehicle is guided by the predicted trajectory. By removing the teleoperator from the direct control loop, the presented method is less sensitive to delays, and delays are compensated as long as the prediction horizon exceeds the delays. Human-in-the-loop simulation experiments are designed to evaluate the teleoperation performance with the proposed method under five delay levels. Based on the repeated measurement analysis of variance, it is concluded that the PTGC method can significantly improve the performance of the teleoperated ground vehicles under large delays(>200ms), such as the task completion time (TCT), deviation to centerline (D2C) and steering effort (SE). In addition, the results also show that teleoperators can adapt to smaller delays, and the presented method is ineffective in such cases.


title: Characterizing ICME-related Forbush Decreases at Mercury using MESSENGER Observations: Identification of a One or Two-Step Structure

abstract: The large-scale magnetic structure of interplanetary coronal mass ejections (ICMEs) has been shown to cause decreases in the galactic cosmic ray (GCR) flux measured in situ by spacecraft, known as Forbush decreases (Fds). We use measurements of the GCR count rate obtained by MESSENGER during its orbital phase around Mercury to identify such Fds related to the passage of ICMEs and characterize their structure. Of the 42 ICMEs with corresponding high-quality GCR data, 79% are associated with a Fd. Thus a total of 33 ICME-related Fds were identified, 24 of which (73%) have a two-step structure. We use a superposed epoch analysis to build an average Fd profile at MESSENGER and find that despite the variability of individual events, a two-step structure is produced and is directly linked with the magnetic boundaries of the ICME. By using results from previous studies at Earth and Mars, we also address whether two-step Fds are more commonly observed closer to the Sun; we found that although likely, this is not conclusive when comparing to the wide range of results of previous studies conducted at Earth. Finally, we find that the percentage decrease in GCR flux of the Fd is greater at MESSENGER on average than at Earth and Mars, decreasing with increasing heliocentric distance. The relationship between the percentage decrease and maximum hourly decrease is also in agreement with previous studies, and follows trends relating to the expansion of ICMEs as they propagate through the heliosphere.


title: Acylindricity of the action of right-angled Artin groups on extension graphs

abstract: The action of a right-angled Artin group on its extension graph is known to be acylindrical because the cardinality of the so-called $r$-quasi-stabilizer of a pair of distant points is bounded above by a function of $r$. The known upper bound of the cardinality is an exponential function of $r$. In this paper we show that the $r$-quasi-stabilizer is a subset of a cyclic group and its cardinality is bounded above by a linear function of $r$. This is done by exploring lattice theoretic properties of group elements, studying prefixes of powers and extending the uniqueness of quasi-roots from word length to star length. We also improve the known lower bound for the minimal asymptotic translation length of a right angled Artin group on its extension graph.


title: SURE-tuned Bridge Regression

abstract: Consider the {$\ell_{\alpha}$} regularized linear regression, also termed Bridge regression. For $\alpha\in (0,1)$, Bridge regression enjoys several statistical properties of interest such as sparsity and near-unbiasedness of the estimates (Fan and Li, 2001). However, the main difficulty lies in the non-convex nature of the penalty for these values of $\alpha$, which makes an optimization procedure challenging and usually it is only possible to find a local optimum. To address this issue, Polson et al. (2013) took a sampling based fully Bayesian approach to this problem, using the correspondence between the Bridge penalty and a power exponential prior on the regression coefficients. However, their sampling procedure relies on Markov chain Monte Carlo (MCMC) techniques, which are inherently sequential and not scalable to large problem dimensions. Cross validation approaches are similarly computation-intensive. To this end, our contribution is a novel \emph{non-iterative} method to fit a Bridge regression model. The main contribution lies in an explicit formula for Stein's unbiased risk estimate for the out of sample prediction risk of Bridge regression, which can then be optimized to select the desired tuning parameters, allowing us to completely bypass MCMC as well as computation-intensive cross validation approaches. Our procedure yields results in a fraction of computational times compared to iterative schemes, without any appreciable loss in statistical performance. An R implementation is publicly available online at: https://github.com/loriaJ/Sure-tuned_BridgeRegression .


title: Beyond Object Recognition: A New Benchmark towards Object Concept Learning

abstract: Understanding objects is a central building block of artificial intelligence, especially for embodied AI. Even though object recognition excels with deep learning, current machines still struggle to learn higher-level knowledge, e.g., what attributes an object has, and what can we do with an object. In this work, we propose a challenging Object Concept Learning (OCL) task to push the envelope of object understanding. It requires machines to reason out object affordances and simultaneously give the reason: what attributes make an object possesses these affordances. To support OCL, we build a densely annotated knowledge base including extensive labels for three levels of object concept (category, attribute, affordance), and the causal relations of three levels. By analyzing the causal structure of OCL, we present a baseline, Object Concept Reasoning Network (OCRN). It leverages causal intervention and concept instantiation to infer the three levels following their causal relations. In experiments, OCRN effectively infers the object knowledge while following the causalities well. Our data and code are available at https://mvig-rhos.com/ocl.


title: One Dimensional Ferroelectric Nanothreads with Axial and Radial Polarization

abstract: Long-range ferroelectric crystalline order usually fades away as the spatial dimension decreases, hence there are few two-dimensional (2D) ferroelectrics and far fewer one-dimensional (1D) ferroelectrics. Due to the depolarization field, low-dimensional ferroelectrics rarely possess the polarization along the direction of reduced dimensionality. Here, using first-principles density functional theory, we explore the structural evolution of nanoribbons of varying widths constructed by cutting the 2D sheet of ferroelectric $\alpha$-III$_2$IV$_3$ (III=Al, Ga, In; VI=S, Se, Te). We discover a one-dimensional ferroelectric nanothread (1DFENT) of ultrasmall diameter with both axial and radial polarization, potentially enabling ultra-dense data storage with a 1D domain of just three unit cells being the functional unit. The polarization in 1DFENT of Ga$_2$Se$_3$ exhibits an unusual piezoelectric response: a stretching stress along the axial direction will increase both axial and radial polarization, referred to as auxetic piezoelectric effect. Utilizing the intrinsically flat electronic bands, we demonstrate the coexistence of ferroelectricity and ferromagnetism in 1DFENT and a counterintuitive charge-doping-induced metal-to-insulator transition. The 1DFENT with both axial and radial polarization offers a counterexample to the Mermin--Wagner theorem in 1D and suggests a new platform for the design of ultrahigh-density memory and the exploration of exotic states of matter.


title: Improved Beam Search for Hallucination Mitigation in Abstractive Summarization

abstract: Advancement in large pretrained language models has significantly improved their performance for conditional language generation tasks including summarization albeit with hallucinations. To reduce hallucinations, conventional methods proposed improving beam search or using a fact checker as a postprocessing step. In this paper, we investigate the use of the Natural Language Inference (NLI) entailment metric to detect and prevent hallucinations in summary generation. We propose an NLI-assisted beam re-ranking mechanism by computing entailment probability scores between the input context and summarization model-generated beams during saliency-enhanced greedy decoding. Moreover, a diversity metric is introduced to compare its effectiveness against vanilla beam search. Our proposed algorithm significantly outperforms vanilla beam decoding on XSum and CNN/DM datasets.


title: A remark on a weighted version of Suita conjecture for higher derivatives

abstract: In this article, we consider the set of points for the holding of the equality in a weighted version of Suita conjecture for higher derivatives, and give relations between the set and the integer valued points of a class of harmonic functions (maybe multi-valued). For planar domains bounded by finite analytic closed curves, we give relations between the set and Dirichlet problem.


title: Systematic Analysis of Biomolecular Conformational Ensembles with PENSA

abstract: Molecular simulations enable the study of biomolecules and their dynamics on an atomistic scale. A common task is to compare several simulation conditions - like mutations or different ligands - to find significant differences and interrelations between them. However, the large amount of data produced for ever larger and more complex systems often renders it difficult to identify the structural features that are relevant for a particular phenomenon. We present a flexible software package named PENSA that enables a comprehensive and thorough investigation into biomolecular conformational ensembles. It provides a wide variety of featurizations and feature transformations that allow for a complete representation of biomolecules like proteins and nucleic acids, including water and ion cavities within the biomolecular structure, thus avoiding bias that would come with manual selection of features. PENSA implements various methods to systematically compare the distributions of these features across ensembles to find the significant differences between them and identify regions of interest. It also includes a novel approach to quantify the state-specific information between two regions of a biomolecule which allows, e.g., the tracing of information flow to identify signaling pathways. PENSA also comes with convenient tools for loading data and visualizing results in ways that make them quick to process and easy to interpret. PENSA is an open-source Python library maintained at https://github.com/drorlab/pensa along with an example workflow and a tutorial. Here we demonstrate its usefulness in real-world examples by showing how it helps to determine molecular mechanisms efficiently.


title: Efficient Learning of Voltage Control Strategies via Model-based Deep Reinforcement Learning

abstract: This article proposes a model-based deep reinforcement learning (DRL) method to design emergency control strategies for short-term voltage stability problems in power systems. Recent advances show promising results in model-free DRL-based methods for power systems, but model-free methods suffer from poor sample efficiency and training time, both critical for making state-of-the-art DRL algorithms practically applicable. DRL-agent learns an optimal policy via a trial-and-error method while interacting with the real-world environment. And it is desirable to minimize the direct interaction of the DRL agent with the real-world power grid due to its safety-critical nature. Additionally, state-of-the-art DRL-based policies are mostly trained using a physics-based grid simulator where dynamic simulation is computationally intensive, lowering the training efficiency. We propose a novel model-based-DRL framework where a deep neural network (DNN)-based dynamic surrogate model, instead of a real-world power-grid or physics-based simulation, is utilized with the policy learning framework, making the process faster and sample efficient. However, stabilizing model-based DRL is challenging because of the complex system dynamics of large-scale power systems. We solved these issues by incorporating imitation learning to have a warm start in policy learning, reward-shaping, and multi-step surrogate loss. Finally, we achieved 97.5% sample efficiency and 87.7% training efficiency for an application to the IEEE 300-bus test system.


title: First observation of a doubly charged tetraquark and its neutral partner

abstract: A combined amplitude analysis is performed for the decays $B^0 \rightarrow \overline{D}^0 D^+_s\pi^-$ and $B^+\rightarrow D^- D^+_s\pi^+$, which are related by isospin symmetry. The analysis is based on data collected by the LHCb detector in proton-proton collisions at center-of-mass energies of 7, 8 and 13$\,\rm{TeV}$. The full data sample corresponds to an integrated luminosity of 9$\,\rm{fb^{-1}}$. Two new resonant states with masses of $2.908\pm0.011\pm0.020\,\rm{GeV}$ and widths of $0.136\pm0.023\pm0.011\,\rm{GeV}$ are observed, which decay to $D^+_s\pi^+$ and $D^+_s\pi^-$ respectively. The former state indicates the first observation of a doubly charged open-charm tetraquark state with minimal quark content $[c\bar{s}u\bar{d}]$, and the latter state is a neutral tetraquark composed of $[c\bar{s}\bar{u}d]$ quarks. Both states are found to have spin-parity $0^+$, and their resonant parameters are consistent with each other, which suggests that they belong to an isospin triplet.


title: Amplitude analysis of $B^0 \rightarrow \overline{D}^0 D_s^+ \pi^-$ and $B^+ \rightarrow D^- D_s^+ \pi^+$ decays

abstract: Resonant contributions in $B^0 \rightarrow \overline{D}^0 D^+_s\pi^-$ and $B^+\rightarrow D^- D^+_s\pi^+$ decays are determined with an amplitude analysis, which is performed both separately and simultaneously, where in the latter case isospin symmetry between the decays is assumed. The analysis is based on data collected by the LHCb detector in proton-proton collisions at center-of-mass energies of 7, 8 and 13 $\rm{TeV}$. The full data sample corresponds to an integrated luminosity of 9 $\rm fb^{-1}$. A doubly charged spin-0 open-charm tetraquark candidate together with a neutral partner, both with masses near $2.9\,\rm{GeV}$, are observed in the $D_s\pi$ decay channel.


title: Anderson Accelerated Feasible Sequential Linear Programming

abstract: This paper proposes an accelerated version of Feasible Sequential Linear Programming (FSLP): the AA($d$)-FSLP algorithm. FSLP preserves feasibility in all intermediate iterates by means of an iterative update strategy which is based on repeated evaluation of zero-order information. This technique was successfully applied to techniques such as Model Predictive Control and Moving Horizon Estimation, but it can exhibit slow convergence. Moreover, keeping all iterates feasible in FSLP entails a large number of additional constraint evaluations. In this paper, Anderson Acceleration (AA($d$)) is applied to the zero-order update strategy improving the convergence rate and therefore decreasing the number of constraint evaluations in the inner iterative procedure of the FSLP algorithm. AA($d$) achieves an improved contraction rate in the inner iterations, with proven local linear convergence. In addition, it is observed that due to the improved zero-order update strategy, AA($d$)-FSLP takes larger steps to find an optimal solution, yielding faster overall convergence. The performance of AA($d$)-FSLP is examined for a time-optimal point-to-point motion problem of a parallel SCARA robot. The reduction of the number of constraint evaluations and overall iterations compared to FSLP is successfully demonstrated.


title: Integrating Intelligent Reflecting Surface into Base Station: Architecture, Channel Model, and Passive Reflection Design

abstract: Existing works on IRS have mainly considered IRS being deployed in the environment to dynamically control the wireless channels between the BS and its served users. In contrast, we propose in this paper a new integrated IRS BS architecture by deploying IRSs inside the BS antenna radome. Since the distance between the integrated IRSs and BS antenna array is practically small, the path loss among them is significantly reduced and the real time control of the IRS reflection by the BS becomes easier to implement. However, the resultant near field channel model also becomes drastically different. Thus, we propose an element wise channel model for IRS to characterize the channel vector between each single antenna user and the antenna array of the BS, which includes the direct (without any IRS reflection) as well as the single and double IRS-reflection channel components. Then, we formulate a problem to optimize the reflection coefficients of all IRS reflecting elements for maximizing the uplink sum rate of the users. By considering two typical cases with/without perfect CSI at the BS, the formulated problem is solved efficiently by adopting the successive refinement method and iterative random phase algorithm (IRPA), respectively. Numerical results validate the substantial capacity gain of the integrated IRS BS architecture over the conventional multi antenna BS without integrated IRS. Moreover, the proposed algorithms significantly outperform other benchmark schemes in terms of sum rate, and the IRPA without CSI can approach the performance upper bound with perfect CSI as the training overhead increases.


title: Chiral phonons: circularly polarized Raman spectroscopy and $\textit{ab initio}$ calculations in a chiral crystal tellurium

abstract: Recently, phonons with chirality (chiral phonons) have attracted significant attention. Chiral phonons exhibit angular and pseudo-angular momenta. In circularly polarized Raman spectroscopy, the peak split of the $\Gamma_3$ mode is detectable along the principal axis of the chiral crystal in the backscattering configuration. In addition, peak splitting occurs when the pseudo-angular momenta of the incident and scattered circularly polarized light are reversed. Until now, chiral phonons in binary crystals have been observed, whereas those in unary crystals have not been observed. Here, we observe chiral phonons in a chiral unary crystal Te. The pseudo-angular momentum of the phonon is obtained in Te by an $\textit{ab initio}$ calculation. From this calculation, we verified the conservation law of pseudo-angular momentum in Raman scattering. From this conservation law, we determined the handedness of the chiral crystals. We also evaluated the true chirality of the phonons using a measure with symmetry similar to that of an electric toroidal monopole.


title: A Novel Deep Reinforcement Learning Based Automated Stock Trading System Using Cascaded LSTM Networks

abstract: More and more stock trading strategies are constructed using deep reinforcement learning (DRL) algorithms, but DRL methods originally widely used in the gaming community are not directly adaptable to financial data with low signal-to-noise ratios and unevenness, and thus suffer from performance shortcomings. In this paper, to capture the hidden information, we propose a DRL based stock trading system using cascaded LSTM, which first uses LSTM to extract the time-series features from stock daily data, and then the features extracted are fed to the agent for training, while the strategy functions in reinforcement learning also use another LSTM for training. Experiments in DJI in the US market and SSE50 in the Chinese stock market show that our model outperforms previous baseline models in terms of cumulative returns and Sharp ratio, and this advantage is more significant in the Chinese stock market, a merging market. It indicates that our proposed method is a promising way to build a automated stock trading system.


title: Classical Mode Dyanmics for Trapped Ion Diagnostics

abstract: In this paper we consider two problems in diagnostics of trapped ion crystals in which an analysis of the ions' collective oscillatory motion yield potentially useful results. When one of the ions in a linear crystal undergoes a collision, observation of the subsequent motion allows one to deduce the identity of which ion sustained the collision. When a linear ion crystal is formed with a dark impurity ion, analysis of the ions' motion can identify the mass (and thus give an important clue to the species) of the impurity.


title: Applying Opponent Modeling for Automatic Bidding in Online Repeated Auctions

abstract: Online auction scenarios, such as bidding searches on advertising platforms, often require bidders to participate repeatedly in auctions for identical or similar items. Most previous studies have only considered the process by which the seller learns the prior-dependent optimal mechanism in a repeated auction. However, in this paper, we define a multiagent reinforcement learning environment in which strategic bidders and the seller learn their strategies simultaneously and design an automatic bidding algorithm that updates the strategy of bidders through online interactions. We propose Bid Net to replace the linear shading function as a representation of the strategic bidders' strategy, which effectively improves the utility of strategy learned by bidders. We apply and revise the opponent modeling methods to design the PG (pseudo-gradient) algorithm, which allows bidders to learn optimal bidding strategies with predictions of the other agents' strategy transition. We prove that when a bidder uses the PG algorithm, it can learn the best response to static opponents. When all bidders adopt the PG algorithm, the system will converge to the equilibrium of the game induced by the auction. In experiments with diverse environmental settings and varying opponent strategies, the PG algorithm maximizes the utility of bidders. We hope that this article will inspire research on automatic bidding strategies for strategic bidders.


title: Decentralized Stochastic Gradient Descent Ascent for Finite-Sum Minimax Problems

abstract: Minimax optimization problems have attracted significant attention in recent years due to their widespread application in numerous machine learning models. To solve the minimax problem, a wide variety of stochastic optimization methods have been proposed. However, most of them ignore the distributed setting where the training data is distributed on multiple workers. In this paper, we developed a novel decentralized stochastic gradient descent ascent method for the finite-sum minimax problem. In particular, by employing the variance-reduced gradient, our method can achieve $O(\frac{\sqrt{n}\kappa^3}{(1-\lambda)^2\epsilon^2})$ sample complexity and $O(\frac{\kappa^3}{(1-\lambda)^2\epsilon^2})$ communication complexity for the nonconvex-strongly-concave minimax problem. As far as we know, our work is the first one to achieve such theoretical complexities for this kind of minimax problem. At last, we apply our method to AUC maximization, and the experimental results confirm the effectiveness of our method.


title: Homeopathic priors?

abstract: The problem of composite hypothesis testing is considered in the context of Bayesian detection of weak target signals in cluttered backgrounds. (A specific example is the detection of sub-pixel targets in multispectral imagery.) In this model, the target strength (call it $a$) is an unknown parameter, and that lack of knowledge can be addressed by incorporating a prior over possible parameter values. The performance of the detector depends on the choice of prior, and -- with the motivation of enabling better performance at low target abundances -- a family of priors are investigated in which singular weight is associated with the $a\to 0$ limit. Careful treatment of this limiting process leads to a situation in which components of the prior with infinitesimal weight have nontrivial effects. Similar claims have been made for homeopathic medicines.


title: Dataset vs Reality: Understanding Model Performance from the Perspective of Information Need

abstract: Deep learning technologies have brought us many models that outperform human beings on a few benchmarks. An interesting question is: can these models well solve real-world problems with similar settings (e.g., identical input/output) to the benchmark datasets? We argue that a model is trained to answer the same information need for which the training dataset is created. Although some datasets may share high structural similarities, e.g., question-answer pairs for the question answering (QA) task and image-caption pairs for the image captioning (IC) task, they may represent different research tasks aiming for answering different information needs. To support our argument, we use the QA task and IC task as two case studies and compare their widely used benchmark datasets. From the perspective of information need in the context of information retrieval, we show the differences in the dataset creation processes, and the differences in morphosyntactic properties between datasets. The differences in these datasets can be attributed to the different information needs of the specific research tasks. We encourage all researchers to consider the information need the perspective of a research task before utilizing a dataset to train a model. Likewise, while creating a dataset, researchers may also incorporate the information need perspective as a factor to determine the degree to which the dataset accurately reflects the research task they intend to tackle.


title: Relative Well-Posedness of Constrained Systems with Applications to Variational Inequalities

abstract: The paper concerns foundations of sensitivity and stability analysis, being primarily addressed constrained systems. We consider general models, which are described by multifunctions between Banach spaces and concentrate on characterizing their well-posedness properties that revolve around Lipschitz stability and metric regularity relative to sets. The enhanced relative well-posedness concepts allow us, in contrast to their standard counterparts, encompassing various classes of constrained systems. Invoking tools of variational analysis and generalized differentiation, we introduce new robust notions of relative coderivatives. The novel machinery of variational analysis leads us to establishing complete characterizations of the relative well-posedness properties with further applications to stability of affine variational inequalities. Most of the obtained results valid in general infinite-dimensional settings are also new in finite dimensions.


title: Multifidelity conditional value-at-risk estimation by dimensionally decomposed generalized polynomial chaos-Kriging

abstract: We propose novel methods for Conditional Value-at-Risk (CVaR) estimation for nonlinear systems under high-dimensional dependent random inputs. We develop a novel DD-GPCE-Kriging surrogate that merges dimensionally decomposed generalized polynomial chaos expansion and Kriging to accurately approximate nonlinear and nonsmooth random outputs. We use DD-GPCE-Kriging (1) for Monte Carlo simulation (MCS) and (2) within multifidelity importance sampling (MFIS). The MCS-based method samples from DD-GPCE-Kriging, which is efficient and accurate for high-dimensional dependent random inputs, yet introduces bias. Thus, we propose an MFIS-based method where DD-GPCE-Kriging determines the biasing density, from which we draw a few high-fidelity samples to provide an unbiased CVaR estimate. To accelerate the biasing density construction, we compute DD-GPCE-Kriging using a cheap-to-evaluate low-fidelity model. Numerical results for mathematical functions show that the MFIS-based method is more accurate than the MCS-based method when the output is nonsmooth. The scalability of the proposed methods and their applicability to complex engineering problems are demonstrated on a two-dimensional composite laminate with 28 (partly dependent) random inputs and a three-dimensional composite T-joint with 20 (partly dependent) random inputs. In the former, the proposed MFIS-based method achieves 104x speedup compared to standard MCS using the high-fidelity model, while accurately estimating CVaR with 1.15% error.


title: Cohomology and the controlling algebra of crossed homomorphisms on 3-Lie algebras

abstract: In this paper, first we give the notion of a crossed homomorphism on a 3-Lie algebra with respect to an action on another 3-Lie algebra, and characterize it using a homomorphism from a Lie algebra to the semidirect product Lie algebra. We also establish the relationship between crossed homomorphisms and relative Rota-Baxter operators of weight 1 on 3-Lie algebras. Next we construct a cohomology theory for a crossed homomorphism on 3-Lie algebras and classify infinitesimal deformations of crossed homomorphisms using the second cohomology group. Finally, using the higher derived brackets, we construct an $L_\infty$-algebra whose Maurer-Cartan elements are crossed homomorphisms. Consequently, we obtain the twisted $L_\infty$-algebra that controls deformations of a given crossed homomorphism on 3-Lie algebras.


title: Valley Hall Effect and Kink States in Topolectrical Circuits

abstract: We investigate the emergence of topological valley Hall and kink states in a two-dimensional topolectrical (TE) model as a result of broken chiral and reflection symmetries. The TE system consists of two segments hosting distinct topological states with opposite signs of the valley Hall index, and separated by a heterojunction. In the practical circuit, the valley Hall index can be flipped between the two segments by modulating the onsite potential on the sublattice nodes of the respective segments. The presence of resistive coupling, which introduces non-Hermiticity in the system, subsequently leads to the emergence of gapped and gapless valley and kink states in the admittance spectra. These topological modes can be detected electrically by the impedance readouts of the system which can be correlated to its admittance spectra. Finally, we confirm the robustness of the valley Hall and kink states via realistic LTspice simulation taking into account the tolerance windows and parasitic effects inherent in circuit components. Our study demonstrates the applicability of TE circuit networks as a platform to realize and tune valley-dependent and kink topological phenomena.


title: Narrow Fe-K$\alpha$ Reverberation Mapping Unveils the Deactivated Broad-Line Region in a Changing-Look Active Galactic Nucleus

abstract: "Changing-look active galactic nuclei" (CLAGNs) are known to change their apparent types between types 1 and 2, usually accompanied by a drastic change in their luminosity on timescales of years. However, it is still unclear whether materials in broad-line regions (BLRs) in CLAGNs appear and disappear during the type-transition or remain at the same location while the line production is simply activated or deactivated. Here we present our X-ray-optical monitoring results of a CLAGN, NGC 3516, by Suzaku, Swift, and ground telescopes, with our primary focus on the narrow Fe-K$\alpha$ emission line, which is an effective probe of the BLR materials. We detected significant variations of the narrow Fe-K$\alpha$ line on a timescale of tens of days during the type-2 (faint) phase in 2013-2014, and conducted "narrow Fe-K$\alpha$ reverberation mapping," comparing its flux variation with those of the X-ray continuum from a corona and $B$-band continuum from an accretion disk. We derived, as a result, a time lag of $10.1^{+5.8}_{-5.6}$ days ($1\sigma$ errors) for the Fe-K$\alpha$ line behind the continuum, which is consistent with the location of the BLR determined in optical spectroscopic reverberation mapping during the type-1 (bright) phase. This finding shows that the BLR materials remained at the same location without emitting optical broad-lines during the type-2 phase. Considering the drastic decrease of the radiation during the type-transition, our result is possibly inconsistent with the hotly-discussed formation models of the BLR which propose that the radiative pressure from an accretion disk should be the main driving force.


title: Deterministic $K$-identification For Slow Fading Channel

abstract: Deterministic $K$-identification (DKI) is addressed for Gaussian channels with slow fading (GSF), where the transmitter is restricted to an average power constraint and channel side information is available at the decoder. We derive lower and upper bounds on the DKI capacity when the number of identifiable messages $K$ may grow sub-linearly with the codeword length $n$. As a key finding, we establish that for deterministic encoding, assuming that the number of identifiable messages $K = 2^{\kappa \log n}$ with $\kappa \in [0,1)$ being the identification target rate, the codebook size scales as $2^{(n\log n)R}$, where $R$ is the coding rate.


title: Curriculum Learning for Relative Overgeneralization

abstract: In multi-agent reinforcement learning (MARL), many popular methods, such as VDN and QMIX, are susceptible to a critical multi-agent pathology known as relative overgeneralization (RO), which arises when the optimal joint action's utility falls below that of a sub-optimal joint action in cooperative tasks. RO can cause the agents to get stuck into local optima or fail to solve cooperative tasks that require significant coordination between agents within a given timestep. Recent value-based MARL algorithms such as QPLEX and WQMIX can overcome RO to some extent. However, our experimental results show that they can still fail to solve cooperative tasks that exhibit strong RO. In this work, we propose a novel approach called curriculum learning for relative overgeneralization (CURO) to better overcome RO. To solve a target task that exhibits strong RO, in CURO, we first fine-tune the reward function of the target task to generate source tasks that are tailored to the current ability of the learning agent and train the agent on these source tasks first. Then, to effectively transfer the knowledge acquired in one task to the next, we use a transfer learning method that combines value function transfer with buffer transfer, which enables more efficient exploration in the target task. We demonstrate that, when applied to QMIX, CURO overcomes severe RO problem and significantly improves performance, yielding state-of-the-art results in a variety of cooperative multi-agent tasks, including the challenging StarCraft II micromanagement benchmarks.


title: A theoretical study of the time-lags due to Comptonization and the constraints on the X-ray corona in AGN

abstract: We study the Fourier time-lags due to the Comptonization of disc-emitted photons in a spherical, uniform, and stationary X-ray corona, which located on the rotational axis of the black hole. We use Monk, a general relativistic Monte-Carlo radiative transfer code, to calculate Compton scattering of photons emitted by a thin disc with a Novikov-Thorne temperature profile. We find that the model time-lags due to Comptonization remain constant up to a characteristic frequency and then rapidly decrease to zero at higher frequencies. We provide equations which can be used to determine the time-lags and cross spectra for a wide range of values for the corona radius, temperature, optical depth, height, and for various accretion rates and black hole masses. We also provide an equation for the X-ray luminosity of a single corona, as a function of the its characteristics and location above the disc. Remarkably, the observed X-ray time-lags of nearby, bright active galaxies can be successfully reproduced by inverse Comptonization process of multiple dynamic coronae.


title: A Realizable GAS-based Quantum Algorithm for Traveling Salesman Problem

abstract: The paper proposes a quantum algorithm for the traveling salesman problem (TSP) based on the Grover Adaptive Search (GAS), which can be successfully executed on IBM's Qiskit library. Under the GAS framework, there are at least two fundamental difficulties that limit the application of quantum algorithms for combinatorial optimization problems. One difficulty is that the solutions given by the quantum algorithms may not be feasible. The other difficulty is that the number of qubits of current quantum computers is still very limited, and it cannot meet the minimum requirements for the number of qubits required by the algorithm. In response to the above difficulties, we designed and improved the Hamiltonian Cycle Detection (HCD) oracle based on mathematical theorems. It can automatically eliminate infeasible solutions during the execution of the algorithm. On the other hand, we design an anchor register strategy to save the usage of qubits. The strategy fully considers the reversibility requirement of quantum computing, overcoming the difficulty that the used qubits cannot be simply overwritten or released. As a result, we successfully implemented the numerical solution to TSP on IBM's Qiskit. For the seven-node TSP, we only need 31 qubits, and the success rate in obtaining the optimal solution is 86.71%.


title: Longitudinal coupling between a Si/SiGe quantum dot and an off-chip TiN resonator

abstract: Superconducting cavities have emerged as a key tool for measuring the spin states of quantum dots. So far however, few experiments have explored longitudinal couplings between dots and cavities, and no solid-state qubit experiments have explicitly probed the "adiabatic" regime, where the Purcell decay is strongly suppressed. Here, we report measurements of a double-quantum-dot charge qubit coupled to a high-impedance resonator via a "flip-chip" design geometry. By applying an adiabatic ac drive to the qubit through two different channels, and studying the effects of qubit energy detuning, interdot tunneling, and driving strength, we are able to unequivocally confirm the presence of a longitudinal coupling between the qubit and cavity, while the qubit remains in its ground state. Since this coupling is proportional to the driving amplitude, and is therefore switchable, it has the potential to become a powerful new tool in qubit experiments.


title: Induced subgraphs and tree-decompositions VII. Basic obstructions in $H$-free graphs

abstract: We say a class $\mathcal{C}$ of graphs is clean if for every positive integer $t$ there exists a positive integer $w(t)$ such that every graph in $\mathcal{C}$ with treewidth more than $w(t)$ contains an induced subgraph isomorphic to one of the following: the complete graph $K_t$, the complete bipartite graph $K_{t,t}$, a subdivision of the $(t\times t)$-wall or the line graph of a subdivision of the $(t \times t)$-wall. In this paper, we adapt a method due to Lozin and Razgon (building on earlier ideas of Wei{\ss}auer) to prove that the class of all $H$-free graphs (that is, graphs with no induced subgraph isomorphic to a fixed graph $H$) is clean if and only if $H$ is a forest whose components are subdivided stars. Their method is readily applied to yield the above characterization. However, our main result is much stronger: for every forest $H$ as above, we show that forbidding certain connected graphs containing $H$ as an induced subgraph (rather than $H$ itself) is enough to obtain a clean class of graphs. Along the proof of the latter strengthening, we build on a result of Davies and produce, for every positive integer $\eta$, a complete description of unavoidable connected induced subgraphs of a connected graph $G$ containing $\eta$ vertices from a suitably large given set of vertices in $G$. This is of independent interest, and will be used in subsequent papers in this series.


title: RIS-Assisted Green Secure Communications: Active RIS or Passive RIS?

abstract: Reconfigurable Intelligent Surface (RIS) is one of the promising techniques for 6G wireless communications, and recently has also been shown to be able to improve secure communications. However, there is a "double fading" effect in the reflection link between base station and user, thus passive RIS only achieves a negligible secrecy gain in typical communications scenarios.In this letter, we propose an active RIS-aided multi-antenna physical layer secrecy transmission scheme, where the active RIS can amplify the signal actively. Our aim is to minimize the transmit power subject to the constraint of secrecy rate. To solve the non-convex optimization problem, a penalty-based alternating minimization (AltMin) algorithm is proposed to optimize both the beamformer at the transmitter and the reflection matrix at RIS. Simulation results show that active RIS can resist the impact of "double fading" effect effectively, and is more energy efficient than passive RIS.


title: Semantic-aware Message Broadcasting for Efficient Unsupervised Domain Adaptation

abstract: Vision transformer has demonstrated great potential in abundant vision tasks. However, it also inevitably suffers from poor generalization capability when the distribution shift occurs in testing (i.e., out-of-distribution data). To mitigate this issue, we propose a novel method, Semantic-aware Message Broadcasting (SAMB), which enables more informative and flexible feature alignment for unsupervised domain adaptation (UDA). Particularly, we study the attention module in the vision transformer and notice that the alignment space using one global class token lacks enough flexibility, where it interacts information with all image tokens in the same manner but ignores the rich semantics of different regions. In this paper, we aim to improve the richness of the alignment features by enabling semantic-aware adaptive message broadcasting. Particularly, we introduce a group of learned group tokens as nodes to aggregate the global information from all image tokens, but encourage different group tokens to adaptively focus on the message broadcasting to different semantic regions. In this way, our message broadcasting encourages the group tokens to learn more informative and diverse information for effective domain alignment. Moreover, we systematically study the effects of adversarial-based feature alignment (ADA) and pseudo-label based self-training (PST) on UDA. We find that one simple two-stage training strategy with the cooperation of ADA and PST can further improve the adaptation capability of the vision transformer. Extensive experiments on DomainNet, OfficeHome, and VisDA-2017 demonstrate the effectiveness of our methods for UDA.


title: Stealthy Peers: Understanding Security Risks of WebRTC-Based Peer-Assisted Video Streaming

abstract: As an emerging service for in-browser content delivery, peer-assisted delivery network (PDN) is reported to offload up to 95\% of bandwidth consumption for video streaming, significantly reducing the cost incurred by traditional CDN services. With such benefits, PDN services significantly impact today's video streaming and content delivery model. However, their security implications have never been investigated. In this paper, we report the first effort to address this issue, which is made possible by a suite of methodologies, e.g., an automatic pipeline to discover PDN services and their customers, and a PDN analysis framework to test the potential security and privacy risks of these services. Our study has led to the discovery of 3 representative PDN providers, along with 134 websites and 38 mobile apps as their customers. Most of these PDN customers are prominent video streaming services with millions of monthly visits or app downloads (from Google Play). Also found in our study are another 9 top video/live streaming websites with each equipped with a proprietary PDN solution. Most importantly, our analysis on these PDN services has brought to light a series of security risks, which have never been reported before, including free riding of the public PDN services, video segment pollution, exposure of video viewers' IPs to other peers, and resource squatting. All such risks have been studied through controlled experiments and measurements, under the guidance of our institution's IRB. We have responsibly disclosed these security risks to relevant PDN providers, who have acknowledged our findings, and also discussed the avenues to mitigate these risks.


title: A sparsity-promoting resolvent analysis for the identification of spatiotemporally-localized amplification mechanisms

abstract: This work introduces a variant of resolvent analysis that identifies forcing and response modes that are sparse in both space and time. This is achieved through the use of a sparse principal component analysis (PCA) algorithm, which formulates the associated optimization problem as a nonlinear eigenproblem that can be solved with an inverse power method. We apply this method to parallel shear flows, both in the case where we assume Fourier modes in time (as in standard resolvent analysis) and obtain spatial localization, and where we allow for temporally-sparse modes through the use of a linearized Navier-Stokes operator discretized in both space and time. Appropriate choice of desired mode sparsity allows for the identification of structures corresponding to high amplification that are localized in both space and time. We report on the similarities and differences between these structures and those from standard methods of analysis. After validating this space-time resolvent analysis on statistically-stationary channel flow, we next implement the methodology on a time-periodic Stokes boundary layer, demonstrating the applicability of the approach to non-statistically-stationary systems.


title: A Learning Based Hypothesis Test for Harmful Covariate Shift

abstract: The ability to quickly and accurately identify covariate shift at test time is a critical and often overlooked component of safe machine learning systems deployed in high-risk domains. While methods exist for detecting when predictions should not be made on out-of-distribution test examples, identifying distributional level differences between training and test time can help determine when a model should be removed from the deployment setting and retrained. In this work, we define harmful covariate shift (HCS) as a change in distribution that may weaken the generalization of a predictive model. To detect HCS, we use the discordance between an ensemble of classifiers trained to agree on training data and disagree on test data. We derive a loss function for training this ensemble and show that the disagreement rate and entropy represent powerful discriminative statistics for HCS. Empirically, we demonstrate the ability of our method to detect harmful covariate shift with statistical certainty on a variety of high-dimensional datasets. Across numerous domains and modalities, we show state-of-the-art performance compared to existing methods, particularly when the number of observed test samples is small.


title: Two saturated states of the vertical shear instability in protoplanetary disks with vertically varying cooling times

abstract: Turbulence in protoplanetary disks plays an important role in dust evolution and planetesimal formation. The vertical shear instability (VSI) is one of the candidate hydrodynamic mechanisms that can generate turbulence in the outer disk regions. The VSI requires rapid gas cooling in addition to vertical shear. A linear stability analysis suggests that the VSI may not operate around the midplane where gas cooling is inefficient. In this study, we investigate the nonlinear outcome of the VSI in disks with a linearly VSI-stable midplane region. We perform two-dimensional global hydrodynamical simulations of an axisymmetric disk with vertically varying cooling times. The vertical cooling time profile determines the thicknesses of the linearly VSI-stable midplane layer and unstable layers above and below the midplane. We find that the thickness of the midplane stable layer determines the vertical structure of VSI-driven turbulence in the nonlinear saturated state. We identify two types of final saturated state: (1) T states characterized by vertical turbulent motion penetrating into the VSI-stable midplane layer and (2) pT states characterized by turbulent motion confined in the unstable layers. The pT states are realized when the midplane VSI-stable layer is thicker than two gas scale heights. We also find that the VSI-driven turbulence is largely suppressed at all heights when the VSI-unstable region lying above and below the midplane is thinner than two gas scale heights. We present empirical formulas that predict the strength of VSI-driven turbulence as a function of the thicknesses of the unstable and stable layers. These formulas will be useful for studying how VSI-driven turbulence and dust grains controlling the disk cooling efficiency evolve simultaneously.


title: First-order perturbation theory of trust-region subproblems

abstract: Trust-region subproblem (TRS) is an important problem arising in many applications such as numerical optimization, Tikhonov regularization of ill-posed problems, and constrained eigenvalue problems. In recent decades, extensive works focus on how to solve the trust-region subproblem efficiently. To the best of our knowledge, there are few results on perturbation analysis of the trust-region subproblem. In order to fill in this gap, we focus on first-order perturbation theory of the trust-region subproblem. The main contributions of this paper are three-fold. First, suppose that the TRS is in \emph{easy case}, we give a sufficient condition under which the perturbed TRS is still in easy case. Second, with the help of the structure of the TRS and the classical eigenproblem perturbation theory, we perform first-order perturbation analysis on the Lagrange multiplier and the solution of the TRS, and define their condition numbers. Third, we point out that the solution and the Lagrange multiplier could be well-conditioned even if TRS is in {\it nearly hard case}. The established results are computable, and are helpful to evaluate ill-conditioning of the TRS problem beforehand. Numerical experiments show the sharpness of the established bounds and the effectiveness of the proposed strategies.


title: Sources of Noise in Dialogue and How to Deal with Them

abstract: Training dialogue systems often entails dealing with noisy training examples and unexpected user inputs. Despite their prevalence, there currently lacks an accurate survey of dialogue noise, nor is there a clear sense of the impact of each noise type on task performance. This paper addresses this gap by first constructing a taxonomy of noise encountered by dialogue systems. In addition, we run a series of experiments to show how different models behave when subjected to varying levels of noise and types of noise. Our results reveal that models are quite robust to label errors commonly tackled by existing denoising algorithms, but that performance suffers from dialogue-specific noise. Driven by these observations, we design a data cleaning algorithm specialized for conversational settings and apply it as a proof-of-concept for targeted dialogue denoising.


title: UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression

abstract: Geometry problem solving is a well-recognized testbed for evaluating the high-level multi-modal reasoning capability of deep models. In most existing works, two main geometry problems: calculation and proving, are usually treated as two specific tasks, hindering a deep model to unify its reasoning capability on multiple math tasks. However, in essence, these two tasks have similar problem representations and overlapped math knowledge which can improve the understanding and reasoning ability of a deep model on both two tasks. Therefore, we construct a large-scale Unified Geometry problem benchmark, UniGeo, which contains 4,998 calculation problems and 9,543 proving problems. Each proving problem is annotated with a multi-step proof with reasons and mathematical expressions. The proof can be easily reformulated as a proving sequence that shares the same formats with the annotated program sequence for calculation problems. Naturally, we also present a unified multi-task Geometric Transformer framework, Geoformer, to tackle calculation and proving problems simultaneously in the form of sequence generation, which finally shows the reasoning ability can be improved on both two tasks by unifying formulation. Furthermore, we propose a Mathematical Expression Pretraining (MEP) method that aims to predict the mathematical expressions in the problem solution, thus improving the Geoformer model. Experiments on the UniGeo demonstrate that our proposed Geoformer obtains state-of-the-art performance by outperforming task-specific model NGS with over 5.6% and 3.2% accuracies on calculation and proving problems, respectively.


title: Semi-Supervised Object Detection with Object-wise Contrastive Learning and Regression Uncertainty

abstract: Semi-supervised object detection (SSOD) aims to boost detection performance by leveraging extra unlabeled data. The teacher-student framework has been shown to be promising for SSOD, in which a teacher network generates pseudo-labels for unlabeled data to assist the training of a student network. Since the pseudo-labels are noisy, filtering the pseudo-labels is crucial to exploit the potential of such framework. Unlike existing suboptimal methods, we propose a two-step pseudo-label filtering for the classification and regression heads in a teacher-student framework. For the classification head, OCL (Object-wise Contrastive Learning) regularizes the object representation learning that utilizes unlabeled data to improve pseudo-label filtering by enhancing the discriminativeness of the classification score. This is designed to pull together objects in the same class and push away objects from different classes. For the regression head, we further propose RUPL (Regression-Uncertainty-guided Pseudo-Labeling) to learn the aleatoric uncertainty of object localization for label filtering. By jointly filtering the pseudo-labels for the classification and regression heads, the student network receives better guidance from the teacher network for object detection task. Experimental results on Pascal VOC and MS-COCO datasets demonstrate the superiority of our proposed method with competitive performance compared to existing methods.


title: An Online Newton's Method for Time-varying Linear Equality Constraints

abstract: We consider online optimization problems with time-varying linear equality constraints. In this framework, an agent makes sequential decisions using only prior information. At every round, the agent suffers an environment-determined loss and must satisfy time-varying constraints. Both the loss functions and the constraints can be chosen adversarially. We propose the Online Projected Equality-constrained Newton Method (OPEN-M) to tackle this family of problems. We obtain sublinear dynamic regret and constraint violation bounds for OPEN-M under mild conditions. Namely, smoothness of the loss function and boundedness of the inverse Hessian at the optimum are required, but not convexity. Finally, we show OPEN-M outperforms state-of-the-art online constrained optimization algorithms in a numerical network flow application.


title: A Hyperspectral and RGB Dataset for Building Facade Segmentation

abstract: Hyperspectral Imaging (HSI) provides detailed spectral information and has been utilised in many real-world applications. This work introduces an HSI dataset of building facades in a light industry environment with the aim of classifying different building materials in a scene. The dataset is called the Light Industrial Building HSI (LIB-HSI) dataset. This dataset consists of nine categories and 44 classes. In this study, we investigated deep learning based semantic segmentation algorithms on RGB and hyperspectral images to classify various building materials, such as timber, brick and concrete.


title: Improving Molecule Properties Through 2-Stage VAE

abstract: Variational autoencoder (VAE) is a popular method for drug discovery and there had been a great deal of architectures and pipelines proposed to improve its performance. But the VAE model itself suffers from deficiencies such as poor manifold recovery when data lie on low-dimensional manifold embedded in higher dimensional ambient space and they manifest themselves in each applications differently. The consequences of it in drug discovery is somewhat under-explored. In this paper, we study how to improve the similarity of the data generated via VAE and the training dataset by improving manifold recovery via a 2-stage VAE where the second stage VAE is trained on the latent space of the first one. We experimentally evaluated our approach using the ChEMBL dataset as well as a polymer datasets. In both dataset, the 2-stage VAE method is able to improve the property statistics significantly from a pre-existing method.


title: Daycare Matching in Japan: Transfers and Siblings

abstract: In this paper, we study a daycare matching problem in Japan and report the design and implementation of a new centralized algorithm, which is going to be deployed in one municipality in the Tokyo metropolis. There are two features that make this market different from the classical hospital-doctor matching problem: i) some children are initially enrolled and prefer to be transferred to other daycare centers; ii) one family may be associated with two or more children and is allowed to submit preferences over combinations of daycare centers. We revisit some well-studied properties including individual rationality, non-wastefulness, as well as stability, and generalize them to this new setting. We design an algorithm based on integer programming (IP) that captures these properties and conduct experiments on five real-life data sets provided by three municipalities. Experimental results show that i) our algorithm performs at least as well as currently used methods in terms of numbers of matched children and blocking coalition; ii) we can find a stable outcome for all instances, although the existence of such an outcome is not guaranteed in theory.


title: An Index Policy for Minimizing the Uncertainty-of-Information of Markov Sources

abstract: This paper focuses on the information freshness of finite-state Markov sources, using the uncertainty of information (UoI) as the performance metric. Measured by Shannon's entropy, UoI can capture not only the transition dynamics of the Markov source but also the different evolutions of information quality caused by the different values of the last observation. We consider an information update system with M finite-state Markov sources transmitting information to a remote monitor via m communication channels. Our goal is to explore the optimal scheduling policy to minimize the sum-UoI of the Markov sources. The problem is formulated as a restless multi-armed bandit (RMAB). We relax the RMAB and then decouple the relaxed problem into M single bandit problems. Analyzing the single bandit problem provides useful properties with which the relaxed problem reduces to maximizing a concave and piecewise linear function, allowing us to develop a gradient method to solve the relaxed problem and obtain its optimal policy. By rounding up the optimal policy for the relaxed problem, we obtain an index policy for the original RMAB problem. Notably, the proposed index policy is universal in the sense that it applies to general RMABs with bounded cost functions.


title: Safe Inverse Reinforcement Learning via Control Barrier Function

abstract: Learning from Demonstration (LfD) is a powerful method for enabling robots to perform novel tasks as it is often more tractable for a non-roboticist end-user to demonstrate the desired skill and for the robot to efficiently learn from the associated data than for a human to engineer a reward function for the robot to learn the skill via reinforcement learning (RL). Safety issues arise in modern LfD techniques, e.g., Inverse Reinforcement Learning (IRL), just as they do for RL; yet, safe learning in LfD has received little attention. In the context of agile robots, safety is especially vital due to the possibility of robot-environment collision, robot-human collision, and damage to the robot. In this paper, we propose a safe IRL framework, CBFIRL, that leverages the Control Barrier Function (CBF) to enhance the safety of the IRL policy. The core idea of CBFIRL is to combine a loss function inspired by CBF requirements with the objective in an IRL method, both of which are jointly optimized via gradient descent. In the experiments, we show our framework performs safer compared to IRL methods without CBF, that is $\sim15\%$ and $\sim20\%$ improvement for two levels of difficulty of a 2D racecar domain and $\sim 50\%$ improvement for a 3D drone domain.


title: Automatically Transform Rust Source to Petri Nets for Checking Deadlocks

abstract: This paper presents a method of automatically converting source codes (Rust programs) into Petri nets, focusing on the detection of deadlocks caused by the double locks and lock conflicts in the parallel Rust programs. We construct the transformation rules and develop a tool. Our method can omit those Rust codes without relations to locks when scanning the input codes, and thus tool can handle a large-scale code. We do a number of experiments to show the advantages of our method compared with the state-of-the-art ones.


title: Objects as Spatio-Temporal 2.5D points

abstract: Determining accurate bird's eye view (BEV) positions of objects and tracks in a scene is vital for various perception tasks including object interactions mapping, scenario extraction etc., however, the level of supervision required to accomplish that is extremely challenging to procure. We propose a light-weight, weakly supervised method to estimate 3D position of objects by jointly learning to regress the 2D object detections and scene's depth prediction in a single feed-forward pass of a network. Our proposed method extends a center-point based single-shot object detector, and introduces a novel object representation where each object is modeled as a BEV point spatio-temporally, without the need of any 3D or BEV annotations for training and LiDAR data at query time. The approach leverages readily available 2D object supervision along with LiDAR point clouds (used only during training) to jointly train a single network, that learns to predict 2D object detection alongside the whole scene's depth, to spatio-temporally model object tracks as points in BEV. The proposed method is computationally over $\sim$10x efficient compared to recent SOTA approaches while achieving comparable accuracies on KITTI tracking benchmark.


title: The absence of Ginzburg-Landau mechanism for vestigial order in the normal phase above a two-component superconductor

abstract: A two-component superconductor may hypothetically support a vestigial order phase above its superconducting transition temperature, with rotational or time-reversal symmetry spontaneously broken while remain non-superconducting. This has been suggested as an explanation to the observed normal state nematicity of the nematic superconductor $M_x$Bi$_2$Se$_3$. We examine the condition for this vestigial order to occur within Ginzburg-Landau theory with order parameter fluctuations, on both the nematic and chiral sides of the theory. Contrary to prior theoretical results, we rule out a large portion of parameter space for possible vestigial order. We argue that very extreme anisotropy is one prerequisite for a stable vestigial phase, which is likely not met in real materials.


title: Attention-Enhanced Cross-modal Localization Between 360 Images and Point Clouds

abstract: Visual localization plays an important role for intelligent robots and autonomous driving, especially when the accuracy of GNSS is unreliable. Recently, camera localization in LiDAR maps has attracted more and more attention for its low cost and potential robustness to illumination and weather changes. However, the commonly used pinhole camera has a narrow Field-of-View, thus leading to limited information compared with the omni-directional LiDAR data. To overcome this limitation, we focus on correlating the information of 360 equirectangular images to point clouds, proposing an end-to-end learnable network to conduct cross-modal visual localization by establishing similarity in high-dimensional feature space. Inspired by the attention mechanism, we optimize the network to capture the salient feature for comparing images and point clouds. We construct several sequences containing 360 equirectangular images and corresponding point clouds based on the KITTI-360 dataset and conduct extensive experiments. The results demonstrate the effectiveness of our approach.


title: Tackling Data Heterogeneity in Federated Learning with Class Prototypes

abstract: Data heterogeneity across clients in federated learning (FL) settings is a widely acknowledged challenge. In response, personalized federated learning (PFL) emerged as a framework to curate local models for clients' tasks. In PFL, a common strategy is to develop local and global models jointly - the global model (for generalization) informs the local models, and the local models (for personalization) are aggregated to update the global model. A key observation is that if we can improve the generalization ability of local models, then we can improve the generalization of global models, which in turn builds better personalized models. In this work, we consider class imbalance, an overlooked type of data heterogeneity, in the classification setting. We propose FedNH, a novel method that improves the local models' performance for both personalization and generalization by combining the uniformity and semantics of class prototypes. FedNH initially distributes class prototypes uniformly in the latent space and smoothly infuses the class semantics into class prototypes. We show that imposing uniformity helps to combat prototype collapse while infusing class semantics improves local models. Extensive experiments were conducted on popular classification datasets under the cross-device setting. Our results demonstrate the effectiveness and stability of our method over recent works.


title: Kurdyka-{\L}ojasiewicz Inequality and Error Bounds of D-Gap Functions for Nonsmooth and Nonmonotone Variational Inequality Problems

abstract: In this paper, we study the D-gap function associated with a nonsmooth and nonmonotone variational inequality problem. We present some exact formulas for the subderivative, the regular subdifferential set, and the limiting subdifferential set of the D-gap function. By virtue of these formulas, we provide some sufficient and necessary conditions for the Kurdyka-{\L}ojasiewicz inequality property and the error bound property for the D-gap functions. As an application of our Kurdyka-{\L}ojasiewicz inequality result and the abstract convergence result in [Attouch, et al., Convergence of descent methods for semi-algebraic and tame problems: proximal algorithms, forward-backward splitting, and regularized Gauss-Seidel methods, Math. Program., 137(2013)91-129], we show that the sequence generated by a derivative free descent algorithm with an inexact line search converges linearly to some solution of the variational inequality problem.


title: Microdischarge dynamics of volume DBD under the natural convection flow

abstract: The impact of convective flow due to the temperature gradient between discharge cell electrodes and ambient air was studied for parallel-plate electrode arrangement. It was shown that an increase in temperature during the discharge operation leads to an increase in MD number in the discharge gap. The convective gas flow velocity also increased at a higher thermal gradient, and MD channels follow the gas flow direction. The velocity of convective flow was estimated by the CFD simulation and compared with the mean velocity of MD channels obtained by the particle image velocimetry method.


title: Learning Neural Parametric Head Models

abstract: We propose a novel 3D morphable model for complete human heads based on hybrid neural fields. At the core of our model lies a neural parametric representation that disentangles identity and expressions in disjoint latent spaces. To this end, we capture a person's identity in a canonical space as a signed distance field (SDF), and model facial expressions with a neural deformation field. In addition, our representation achieves high-fidelity local detail by introducing an ensemble of local fields centered around facial anchor points. To facilitate generalization, we train our model on a newly-captured dataset of over 5200 head scans from 255 different identities using a custom high-end 3D scanning setup. Our dataset significantly exceeds comparable existing datasets, both with respect to quality and completeness of geometry, averaging around 3.5M mesh faces per scan. Finally, we demonstrate that our approach outperforms state-of-the-art methods in terms of fitting error and reconstruction quality.


title: Automated Identification of Eviction Status from Electronic Health Record Notes

abstract: Objective: Evictions are important social and behavioral determinants of health. Evictions are associated with a cascade of negative events that can lead to unemployment, housing insecurity/homelessness, long-term poverty, and mental health problems. In this study, we developed a natural language processing system to automatically detect eviction status from electronic health record (EHR) notes. Materials and Methods: We first defined eviction status (eviction presence and eviction period) and then annotated eviction status in 5000 EHR notes from the Veterans Health Administration (VHA). We developed a novel model, KIRESH, that has shown to substantially outperform other state-of-the-art models such as fine-tuning pre-trained language models like BioBERT and BioClinicalBERT. Moreover, we designed a novel prompt to further improve the model performance by using the intrinsic connection between the two sub-tasks of eviction presence and period prediction. Finally, we used the Temperature Scaling-based Calibration on our KIRESH-Prompt method to avoid over-confidence issues arising from the imbalance dataset. Results: KIRESH-Prompt substantially outperformed strong baseline models including fine-tuning the BioClinicalBERT model to achieve 0.74672 MCC, 0.71153 Macro-F1, and 0.83396 Micro-F1 in predicting eviction period and 0.66827 MCC, 0.62734 Macro-F1, and 0.7863 Micro-F1 in predicting eviction presence. We also conducted additional experiments on a benchmark social determinants of health (SBDH) dataset to demonstrate the generalizability of our methods. Conclusion and Future Work: KIRESH-Prompt has substantially improved eviction status classification. We plan to deploy KIRESH-Prompt to the VHA EHRs as an eviction surveillance system to help address the US Veterans' housing insecurity.


title: Semi-supervised Deep Large-baseline Homography Estimation with Progressive Equivalence Constraint

abstract: Homography estimation is erroneous in the case of large-baseline due to the low image overlay and limited receptive field. To address it, we propose a progressive estimation strategy by converting large-baseline homography into multiple intermediate ones, cumulatively multiplying these intermediate items can reconstruct the initial homography. Meanwhile, a semi-supervised homography identity loss, which consists of two components: a supervised objective and an unsupervised objective, is introduced. The first supervised loss is acting to optimize intermediate homographies, while the second unsupervised one helps to estimate a large-baseline homography without photometric losses. To validate our method, we propose a large-scale dataset that covers regular and challenging scenes. Experiments show that our method achieves state-of-the-art performance in large-baseline scenes while keeping competitive performance in small-baseline scenes. Code and dataset are available at https://github.com/megvii-research/LBHomo.


title: A Trustworthy Framework for Medical Image Analysis with Deep Learning

abstract: Computer vision and machine learning are playing an increasingly important role in computer-assisted diagnosis; however, the application of deep learning to medical imaging has challenges in data availability and data imbalance, and it is especially important that models for medical imaging are built to be trustworthy. Therefore, we propose TRUDLMIA, a trustworthy deep learning framework for medical image analysis, which adopts a modular design, leverages self-supervised pre-training, and utilizes a novel surrogate loss function. Experimental evaluations indicate that models generated from the framework are both trustworthy and high-performing. It is anticipated that the framework will support researchers and clinicians in advancing the use of deep learning for dealing with public health crises including COVID-19.


title: Pixel2ISDF: Implicit Signed Distance Fields based Human Body Model from Multi-view and Multi-pose Images

abstract: In this report, we focus on reconstructing clothed humans in the canonical space given multiple views and poses of a human as the input. To achieve this, we utilize the geometric prior of the SMPLX model in the canonical space to learn the implicit representation for geometry reconstruction. Based on the observation that the topology between the posed mesh and the mesh in the canonical space are consistent, we propose to learn latent codes on the posed mesh by leveraging multiple input images and then assign the latent codes to the mesh in the canonical space. Specifically, we first leverage normal and geometry networks to extract the feature vector for each vertex on the SMPLX mesh. Normal maps are adopted for better generalization to unseen images compared to 2D images. Then, features for each vertex on the posed mesh from multiple images are integrated by MLPs. The integrated features acting as the latent code are anchored to the SMPLX mesh in the canonical space. Finally, latent code for each 3D point is extracted and utilized to calculate the SDF. Our work for reconstructing the human shape on canonical pose achieves 3rd performance on WCPA MVP-Human Body Challenge.