-
GSSF: Generalized Structural Sparse Function for Deep Cross-modal Metric Learning
Authors:
Haiwen Diao,
Ying Zhang,
Shang Gao,
Jiawen Zhu,
Long Chen,
Huchuan Lu
Abstract:
Cross-modal metric learning is a prominent research topic that bridges the semantic heterogeneity between vision and language. Existing methods frequently utilize simple cosine or complex distance metrics to transform the pairwise features into a similarity score, which suffers from an inadequate or inefficient capability for distance measurements. Consequently, we propose a Generalized Structural…
▽ More
Cross-modal metric learning is a prominent research topic that bridges the semantic heterogeneity between vision and language. Existing methods frequently utilize simple cosine or complex distance metrics to transform the pairwise features into a similarity score, which suffers from an inadequate or inefficient capability for distance measurements. Consequently, we propose a Generalized Structural Sparse Function to dynamically capture thorough and powerful relationships across modalities for pair-wise similarity learning while remaining concise but efficient. Specifically, the distance metric delicately encapsulates two formats of diagonal and block-diagonal terms, automatically distinguishing and highlighting the cross-channel relevancy and dependency inside a structured and organized topology. Hence, it thereby empowers itself to adapt to the optimal matching patterns between the paired features and reaches a sweet spot between model complexity and capability. Extensive experiments on cross-modal and two extra uni-modal retrieval tasks (image-text retrieval, person re-identification, fine-grained image retrieval) have validated its superiority and flexibility over various popular retrieval frameworks. More importantly, we further discover that it can be seamlessly incorporated into multiple application scenarios, and demonstrates promising prospects from Attention Mechanism to Knowledge Distillation in a plug-and-play manner. Our code is publicly available at: https://github.com/Paranioar/GSSF.
△ Less
Submitted 19 October, 2024;
originally announced October 2024.
-
On a coupled-physics transmission eigenvalue problem and its spectral properties with applications
Authors:
Huaian Diao,
Hongyu Liu,
Qingle Meng,
Li Wang
Abstract:
In this paper, we investigate a transmission eigenvalue problem that couples the principles of acoustics and elasticity. This problem naturally arises when studying fluid-solid interactions and constructing bubbly-elastic structures to create metamaterials. We uncover intriguing local geometric structures of the transmission eigenfunctions near the corners of the domains, under typical regularity…
▽ More
In this paper, we investigate a transmission eigenvalue problem that couples the principles of acoustics and elasticity. This problem naturally arises when studying fluid-solid interactions and constructing bubbly-elastic structures to create metamaterials. We uncover intriguing local geometric structures of the transmission eigenfunctions near the corners of the domains, under typical regularity conditions. As applications, we present novel unique identifiability and visibility results for an inverse problem associated with an acoustoelastic system, which hold practical significance.
△ Less
Submitted 14 October, 2024;
originally announced October 2024.
-
On a novel UCP result and its application to inverse conductive scattering
Authors:
Huaian Diao,
Xiaoxu Fei,
Hongyu Liu
Abstract:
In this paper, we derive a novel Unique Continuation Principle (UCP) for a system of second-order elliptic PDEs system and apply it to investigate inverse problems in conductive scattering. The UCP relaxes the typical assumptions imposed on the domain or boundary with certain interior transmission conditions. This is motivated by the study of the associated inverse scattering problem and enables u…
▽ More
In this paper, we derive a novel Unique Continuation Principle (UCP) for a system of second-order elliptic PDEs system and apply it to investigate inverse problems in conductive scattering. The UCP relaxes the typical assumptions imposed on the domain or boundary with certain interior transmission conditions. This is motivated by the study of the associated inverse scattering problem and enables us to establish several novel unique identifiability results for the determination of generalized conductive scatterers using a single far-field pattern, significantly extending the results in [12,18]. A key technical advancement in our work is the combination of Complex Geometric Optics (CGO) techniques from [12,18] with the Fourier expansion method to microlocally analyze corner singularities and their implications for inverse problems. We believe that the methods developed can have broader applications in other contexts.
△ Less
Submitted 22 October, 2024; v1 submitted 18 September, 2024;
originally announced September 2024.
-
MetaBGM: Dynamic Soundtrack Transformation For Continuous Multi-Scene Experiences With Ambient Awareness And Personalization
Authors:
Haoxuan Liu,
Zihao Wang,
Haorong Hong,
Youwei Feng,
Jiaxin Yu,
Han Diao,
Yunfei Xu,
Kejun Zhang
Abstract:
This paper introduces MetaBGM, a groundbreaking framework for generating background music that adapts to dynamic scenes and real-time user interactions. We define multi-scene as variations in environmental contexts, such as transitions in game settings or movie scenes. To tackle the challenge of converting backend data into music description texts for audio generation models, MetaBGM employs a nov…
▽ More
This paper introduces MetaBGM, a groundbreaking framework for generating background music that adapts to dynamic scenes and real-time user interactions. We define multi-scene as variations in environmental contexts, such as transitions in game settings or movie scenes. To tackle the challenge of converting backend data into music description texts for audio generation models, MetaBGM employs a novel two-stage generation approach that transforms continuous scene and user state data into these texts, which are then fed into an audio generation model for real-time soundtrack creation. Experimental results demonstrate that MetaBGM effectively generates contextually relevant and dynamic background music for interactive applications.
△ Less
Submitted 5 September, 2024;
originally announced September 2024.
-
Effective medium theory for embedded obstacles in electromagnetic scattering with applications
Authors:
Huaian Diao,
Hongyu Liu,
Qingle Meng,
Li Wang
Abstract:
This paper focuses on the time-harmonic electromagnetic (EM) scattering problem in a general medium which may possess a nontrivial topological structure. We model this by an inhomogeneous and possibly anisotropic medium with embedded obstacles and the EM waves cannot penetrate inside the obstacles. Such a situation naturally arises in studying inverse EM scattering problems from complex mediums wi…
▽ More
This paper focuses on the time-harmonic electromagnetic (EM) scattering problem in a general medium which may possess a nontrivial topological structure. We model this by an inhomogeneous and possibly anisotropic medium with embedded obstacles and the EM waves cannot penetrate inside the obstacles. Such a situation naturally arises in studying inverse EM scattering problems from complex mediums with partial boundary measurements, or inverse problems from EM mediums with metal inclusions. We develop a novel theoretical framework by showing that the embedded obstacles can be effectively approximated by a certain isotropic medium with a specific choice of material parameters. We derive sharp estimates to verify this effective approximation and also discuss the practical implications of our results to the inverse problems mentioned above, which are longstanding topics in inverse scattering theory.
△ Less
Submitted 12 August, 2024;
originally announced August 2024.
-
DenseFusion-1M: Merging Vision Experts for Comprehensive Multimodal Perception
Authors:
Xiaotong Li,
Fan Zhang,
Haiwen Diao,
Yueze Wang,
Xinlong Wang,
Ling-Yu Duan
Abstract:
Existing Multimodal Large Language Models (MLLMs) increasingly emphasize complex understanding of various visual elements, including multiple objects, text information, and spatial relations. Their development for comprehensive visual perception hinges on the availability of high-quality image-text datasets that offer diverse visual elements and throughout image descriptions. However, the scarcity…
▽ More
Existing Multimodal Large Language Models (MLLMs) increasingly emphasize complex understanding of various visual elements, including multiple objects, text information, and spatial relations. Their development for comprehensive visual perception hinges on the availability of high-quality image-text datasets that offer diverse visual elements and throughout image descriptions. However, the scarcity of such hyper-detailed datasets currently hinders progress within the MLLM community. The bottleneck stems from the limited perceptual capabilities of current caption engines, which fall short in providing complete and accurate annotations. To facilitate the cutting-edge research of MLLMs on comprehensive vision perception, we thereby propose Perceptual Fusion, using a low-budget but highly effective caption engine for complete and accurate image descriptions. Specifically, Perceptual Fusion integrates diverse perception experts as image priors to provide explicit information on visual elements and adopts an efficient MLLM as a centric pivot to mimic advanced MLLMs' perception abilities. We carefully select 1M highly representative images from uncurated LAION dataset and generate dense descriptions using our engine, dubbed DenseFusion-1M. Extensive experiments validate that our engine outperforms its counterparts, where the resulting dataset significantly improves the perception and cognition abilities of existing MLLMs across diverse vision-language benchmarks, especially with high-resolution images as inputs. The dataset and code are publicly available at https://github.com/baaivision/DenseFusion.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
SHERL: Synthesizing High Accuracy and Efficient Memory for Resource-Limited Transfer Learning
Authors:
Haiwen Diao,
Bo Wan,
Xu Jia,
Yunzhi Zhuge,
Ying Zhang,
Huchuan Lu,
Long Chen
Abstract:
Parameter-efficient transfer learning (PETL) has emerged as a flourishing research field for adapting large pre-trained models to downstream tasks, greatly reducing trainable parameters while grappling with memory challenges during fine-tuning. To address it, memory-efficient series (METL) avoid backpropagating gradients through the large backbone. However, they compromise by exclusively relying o…
▽ More
Parameter-efficient transfer learning (PETL) has emerged as a flourishing research field for adapting large pre-trained models to downstream tasks, greatly reducing trainable parameters while grappling with memory challenges during fine-tuning. To address it, memory-efficient series (METL) avoid backpropagating gradients through the large backbone. However, they compromise by exclusively relying on frozen intermediate outputs and limiting the exhaustive exploration of prior knowledge from pre-trained models. Moreover, the dependency and redundancy between cross-layer features are frequently overlooked, thereby submerging more discriminative representations and causing an inherent performance gap (vs. conventional PETL methods). Hence, we propose an innovative METL strategy called SHERL for resource-limited scenarios to decouple the entire adaptation into two successive and complementary processes. In the early route, intermediate outputs are consolidated via an anti-redundancy operation, enhancing their compatibility for subsequent interactions; thereby in the late route, utilizing minimal late pre-trained layers could alleviate the peak demand on memory overhead and regulate these fairly flexible features into more adaptive and powerful representations for new domains. Extensive ablations on vision-and-language and language-only tasks show that SHERL combines the strengths of both parameter and memory-efficient techniques, performing on-par or better across diverse architectures with lower memory during fine-tuning. Our code is publicly available at: https://github.com/Paranioar/SHERL.
△ Less
Submitted 10 July, 2024;
originally announced July 2024.
-
Unveiling Encoder-Free Vision-Language Models
Authors:
Haiwen Diao,
Yufeng Cui,
Xiaotong Li,
Yueze Wang,
Huchuan Lu,
Xinlong Wang
Abstract:
Existing vision-language models (VLMs) mostly rely on vision encoders to extract visual features followed by large language models (LLMs) for visual-language tasks. However, the vision encoders set a strong inductive bias in abstracting visual representation, e.g., resolution, aspect ratio, and semantic priors, which could impede the flexibility and efficiency of the VLMs. Training pure VLMs that…
▽ More
Existing vision-language models (VLMs) mostly rely on vision encoders to extract visual features followed by large language models (LLMs) for visual-language tasks. However, the vision encoders set a strong inductive bias in abstracting visual representation, e.g., resolution, aspect ratio, and semantic priors, which could impede the flexibility and efficiency of the VLMs. Training pure VLMs that accept the seamless vision and language inputs, i.e., without vision encoders, remains challenging and rarely explored. Empirical observations reveal that direct training without encoders results in slow convergence and large performance gaps. In this work, we bridge the gap between encoder-based and encoder-free models, and present a simple yet effective training recipe towards pure VLMs. Specifically, we unveil the key aspects of training encoder-free VLMs efficiently via thorough experiments: (1) Bridging vision-language representation inside one unified decoder; (2) Enhancing visual recognition capability via extra supervision. With these strategies, we launch EVE, an encoder-free vision-language model that can be trained and forwarded efficiently. Notably, solely utilizing 35M publicly accessible data, EVE can impressively rival the encoder-based VLMs of similar capacities across multiple vision-language benchmarks. It significantly outperforms the counterpart Fuyu-8B with mysterious training procedures and undisclosed training data. We believe that EVE provides a transparent and efficient route for developing a pure decoder-only architecture across modalities. Our code and models are publicly available at: https://github.com/baaivision/EVE.
△ Less
Submitted 17 June, 2024;
originally announced June 2024.
-
Deep Boosting Learning: A Brand-new Cooperative Approach for Image-Text Matching
Authors:
Haiwen Diao,
Ying Zhang,
Shang Gao,
Xiang Ruan,
Huchuan Lu
Abstract:
Image-text matching remains a challenging task due to heterogeneous semantic diversity across modalities and insufficient distance separability within triplets. Different from previous approaches focusing on enhancing multi-modal representations or exploiting cross-modal correspondence for more accurate retrieval, in this paper we aim to leverage the knowledge transfer between peer branches in a b…
▽ More
Image-text matching remains a challenging task due to heterogeneous semantic diversity across modalities and insufficient distance separability within triplets. Different from previous approaches focusing on enhancing multi-modal representations or exploiting cross-modal correspondence for more accurate retrieval, in this paper we aim to leverage the knowledge transfer between peer branches in a boosting manner to seek a more powerful matching model. Specifically, we propose a brand-new Deep Boosting Learning (DBL) algorithm, where an anchor branch is first trained to provide insights into the data properties, with a target branch gaining more advanced knowledge to develop optimal features and distance metrics. Concretely, an anchor branch initially learns the absolute or relative distance between positive and negative pairs, providing a foundational understanding of the particular network and data distribution. Building upon this knowledge, a target branch is concurrently tasked with more adaptive margin constraints to further enlarge the relative distance between matched and unmatched samples. Extensive experiments validate that our DBL can achieve impressive and consistent improvements based on various recent state-of-the-art models in the image-text matching field, and outperform related popular cooperative strategies, e.g., Conventional Distillation, Mutual Learning, and Contrastive Learning. Beyond the above, we confirm that DBL can be seamlessly integrated into their training scenarios and achieve superior performance under the same computational costs, demonstrating the flexibility and broad applicability of our proposed method. Our code is publicly available at: https://github.com/Paranioar/DBL.
△ Less
Submitted 28 April, 2024;
originally announced April 2024.
-
Exploring Dynamic Transformer for Efficient Object Tracking
Authors:
Jiawen Zhu,
Xin Chen,
Haiwen Diao,
Shuai Li,
Jun-Yan He,
Chenyang Li,
Bin Luo,
Dong Wang,
Huchuan Lu
Abstract:
The speed-precision trade-off is a critical problem for visual object tracking which usually requires low latency and deployment on constrained resources. Existing solutions for efficient tracking mainly focus on adopting light-weight backbones or modules, which nevertheless come at the cost of a sacrifice in precision. In this paper, inspired by dynamic network routing, we propose DyTrack, a dyna…
▽ More
The speed-precision trade-off is a critical problem for visual object tracking which usually requires low latency and deployment on constrained resources. Existing solutions for efficient tracking mainly focus on adopting light-weight backbones or modules, which nevertheless come at the cost of a sacrifice in precision. In this paper, inspired by dynamic network routing, we propose DyTrack, a dynamic transformer framework for efficient tracking. Real-world tracking scenarios exhibit diverse levels of complexity. We argue that a simple network is sufficient for easy frames in video sequences, while more computation could be assigned to difficult ones. DyTrack automatically learns to configure proper reasoning routes for various inputs, gaining better utilization of the available computational budget. Thus, it can achieve higher performance with the same running speed. We formulate instance-specific tracking as a sequential decision problem and attach terminating branches to intermediate layers of the entire model. Especially, to fully utilize the computations, we introduce the feature recycling mechanism to reuse the outputs of predecessors. Furthermore, a target-aware self-distillation strategy is designed to enhance the discriminating capabilities of early predictions by effectively mimicking the representation pattern of the deep model. Extensive experiments on multiple benchmarks demonstrate that DyTrack achieves promising speed-precision trade-offs with only a single model. For instance, DyTrack obtains 64.9% AUC on LaSOT with a speed of 256 fps.
△ Less
Submitted 26 March, 2024;
originally announced March 2024.
-
Decentralised Traffic Incident Detection via Network Lasso
Authors:
Qiyuan Zhu,
A. K. Qin,
Prabath Abeysekara,
Hussein Dia,
Hanna Grzybowska
Abstract:
Traffic incident detection plays a key role in intelligent transportation systems, which has gained great attention in transport engineering. In the past, traditional machine learning (ML) based detection methods achieved good performance under a centralised computing paradigm, where all data are transmitted to a central server for building ML models therein. Nowadays, deep neural networks based f…
▽ More
Traffic incident detection plays a key role in intelligent transportation systems, which has gained great attention in transport engineering. In the past, traditional machine learning (ML) based detection methods achieved good performance under a centralised computing paradigm, where all data are transmitted to a central server for building ML models therein. Nowadays, deep neural networks based federated learning (FL) has become a mainstream detection approach to enable the model training in a decentralised manner while warranting local data governance. Such neural networks-centred techniques, however, have overshadowed the utility of well-established ML-based detection methods. In this work, we aim to explore the potential of potent conventional ML-based detection models in modern traffic scenarios featured by distributed data. We leverage an elegant but less explored distributed optimisation framework named Network Lasso, with guaranteed global convergence for convex problem formulations, integrate the potent convex ML model with it, and compare it with centralised learning, local learning, and federated learning methods atop a well-known traffic incident detection dataset. Experimental results show that the proposed network lasso-based approach provides a promising alternative to the FL-based approach in data-decentralised traffic scenarios, with a strong convergence guarantee while rekindling the significance of conventional ML-based detection methods.
△ Less
Submitted 28 February, 2024;
originally announced February 2024.
-
Logarithmic A$_{\rm inf}$-cohomology
Authors:
Hansheng Diao,
Zijian Yao
Abstract:
We extend the construction of A$_{\rm inf}$-cohomology by Bhatt-Morrow-Scholze to the context of log $p$-adic formal schemes over a log perfectoid base. In particular, using coordinates, we prove comparison theorems between log A$_{\rm inf}$-cohomology with other $p$-adic cohomology theories, including log de Rham, log (q-)crystalline, log prismatic, and Kummer étale cohomology, as well as the der…
▽ More
We extend the construction of A$_{\rm inf}$-cohomology by Bhatt-Morrow-Scholze to the context of log $p$-adic formal schemes over a log perfectoid base. In particular, using coordinates, we prove comparison theorems between log A$_{\rm inf}$-cohomology with other $p$-adic cohomology theories, including log de Rham, log (q-)crystalline, log prismatic, and Kummer étale cohomology, as well as the derived A$_{\rm inf}$-cohomology of certain infinite root stacks. Along the way, we define and give a combinatorial characterization of a new class of maps between saturated log schemes, called pseudo-saturated maps, which is of independent interest. They are related to (and slightly weaker than) the notion of quasi-saturated maps and maps of Cartier type studied by Tsuji.
△ Less
Submitted 23 February, 2024;
originally announced February 2024.
-
Unique determination by a single far-field measurement for an inverse elastic problem
Authors:
Huaian Diao,
Ruixiang Tang,
Hongyu Liu,
Jiexin Tang
Abstract:
This paper is concerned with the unique identification of the shape of a scatterer through a single far-field pattern in an inverse elastic medium scattering problem with a generalized transmission boundary condition. The uniqueness issue by a single far-field measurement is a challenging problem in inverse scattering theory, which has a long and colorful history. In this paper, we demonstrate the…
▽ More
This paper is concerned with the unique identification of the shape of a scatterer through a single far-field pattern in an inverse elastic medium scattering problem with a generalized transmission boundary condition. The uniqueness issue by a single far-field measurement is a challenging problem in inverse scattering theory, which has a long and colorful history. In this paper, we demonstrate the well-posedness of the direct problem by the variational approach. We establish the uniqueness results by a single far-field measurement under a generic scenario when dealing with underlying elastic scatterers exhibiting polygonal-nest or polygonal-cell structures. Furthermore, for a polygonal-nest or polygonal-cell structure scatterer associated with density and boundary impedance parameters as piecewise constants, we show that these physical quantities can be uniquely determined simultaneously by a single far-field measurement. The corresponding proof relies heavily on examining the singular behaviour of a coupled PDE system near a corner in a microlocal manner.
△ Less
Submitted 5 December, 2023; v1 submitted 27 November, 2023;
originally announced November 2023.
-
Dislocations with corners in an elastic body with applications to fault detection
Authors:
Huaian Diao,
Hongyu Liu,
Qingle Meng
Abstract:
This paper focuses on an elastic dislocation problem that is motivated by applications in the geophysical and seismological communities. In our model, the displacement satisfies the Lamé system in a bounded domain with a mixed homogeneous boundary condition. We also allow the occurrence of discontinuities in both the displacement and traction fields on the fault curve/surface. By the variational a…
▽ More
This paper focuses on an elastic dislocation problem that is motivated by applications in the geophysical and seismological communities. In our model, the displacement satisfies the Lamé system in a bounded domain with a mixed homogeneous boundary condition. We also allow the occurrence of discontinuities in both the displacement and traction fields on the fault curve/surface. By the variational approach, we first prove the well-posedness of the direct dislocation problem in a rather general setting with the Lamé parameters being real-valued $L^\infty$ functions and satisfy the strong convexity condition. Next, by considering that the Lamé parameters are constant and the fault curve/surface possesses certain corner singularities, we establish a local characterization of the jump vectors at the corner points over the dislocation curve/surface. In our study, the dislocation is geometrically rather general and may be open or closed. We establish the unique results for the inverse problem of determining the dislocation curve/surface and the jump vectors for both cases.
△ Less
Submitted 20 October, 2024; v1 submitted 18 September, 2023;
originally announced September 2023.
-
UniPT: Universal Parallel Tuning for Transfer Learning with Efficient Parameter and Memory
Authors:
Haiwen Diao,
Bo Wan,
Ying Zhang,
Xu Jia,
Huchuan Lu,
Long Chen
Abstract:
Parameter-efficient transfer learning (PETL), i.e., fine-tuning a small portion of parameters, is an effective strategy for adapting pre-trained models to downstream domains. To further reduce the memory demand, recent PETL works focus on the more valuable memory-efficient characteristic. In this paper, we argue that the scalability, adaptability, and generalizability of state-of-the-art methods a…
▽ More
Parameter-efficient transfer learning (PETL), i.e., fine-tuning a small portion of parameters, is an effective strategy for adapting pre-trained models to downstream domains. To further reduce the memory demand, recent PETL works focus on the more valuable memory-efficient characteristic. In this paper, we argue that the scalability, adaptability, and generalizability of state-of-the-art methods are hindered by structural dependency and pertinency on specific pre-trained backbones. To this end, we propose a new memory-efficient PETL strategy, Universal Parallel Tuning (UniPT), to mitigate these weaknesses. Specifically, we facilitate the transfer process via a lightweight and learnable parallel network, which consists of: 1) A parallel interaction module that decouples the sequential connections and processes the intermediate activations detachedly from the pre-trained network. 2) A confidence aggregation module that learns optimal strategies adaptively for integrating cross-layer features. We evaluate UniPT with different backbones (e.g., T5, VSE$\infty$, CLIP4Clip, Clip-ViL, and MDETR) on various vision-and-language and pure NLP tasks. Extensive ablations on 18 datasets have validated that UniPT can not only dramatically reduce memory consumption and outperform the best competitor, but also achieve competitive performance over other plain PETL methods with lower training memory overhead. Our code is publicly available at: https://github.com/Paranioar/UniPT.
△ Less
Submitted 11 March, 2024; v1 submitted 28 August, 2023;
originally announced August 2023.
-
Training Physics-Informed Neural Networks via Multi-Task Optimization for Traffic Density Prediction
Authors:
Bo Wang,
A. K. Qin,
Sajjad Shafiei,
Hussein Dia,
Adriana-Simona Mihaita,
Hanna Grzybowska
Abstract:
Physics-informed neural networks (PINNs) are a newly emerging research frontier in machine learning, which incorporate certain physical laws that govern a given data set, e.g., those described by partial differential equations (PDEs), into the training of the neural network (NN) based on such a data set. In PINNs, the NN acts as the solution approximator for the PDE while the PDE acts as the prior…
▽ More
Physics-informed neural networks (PINNs) are a newly emerging research frontier in machine learning, which incorporate certain physical laws that govern a given data set, e.g., those described by partial differential equations (PDEs), into the training of the neural network (NN) based on such a data set. In PINNs, the NN acts as the solution approximator for the PDE while the PDE acts as the prior knowledge to guide the NN training, leading to the desired generalization performance of the NN when facing the limited availability of training data. However, training PINNs is a non-trivial task largely due to the complexity of the loss composed of both NN and physical law parts. In this work, we propose a new PINN training framework based on the multi-task optimization (MTO) paradigm. Under this framework, multiple auxiliary tasks are created and solved together with the given (main) task, where the useful knowledge from solving one task is transferred in an adaptive mode to assist in solving some other tasks, aiming to uplift the performance of solving the main task. We implement the proposed framework and apply it to train the PINN for addressing the traffic density prediction problem. Experimental results demonstrate that our proposed training framework leads to significant performance improvement in comparison to the traditional way of training the PINN.
△ Less
Submitted 8 July, 2023;
originally announced July 2023.
-
On Fast-Converged Deep Reinforcement Learning for Optimal Dispatch of Large-Scale Power Systems under Transient Security Constraints
Authors:
Tannan Xiao,
Ying Chen,
Han Diao,
Shaowei Huang,
Chen Shen
Abstract:
Power system optimal dispatch with transient security constraints is commonly represented as Transient Security-Constrained Optimal Power Flow (TSC-OPF). Deep Reinforcement Learning (DRL)-based TSC-OPF trains efficient decision-making agents that are adaptable to various scenarios and provide solution results quickly. However, due to the high dimensionality of the state space and action spaces, as…
▽ More
Power system optimal dispatch with transient security constraints is commonly represented as Transient Security-Constrained Optimal Power Flow (TSC-OPF). Deep Reinforcement Learning (DRL)-based TSC-OPF trains efficient decision-making agents that are adaptable to various scenarios and provide solution results quickly. However, due to the high dimensionality of the state space and action spaces, as well as the non-smoothness of dynamic constraints, existing DRL-based TSC-OPF solution methods face a significant challenge of the sparse reward problem. To address this issue, a fast-converged DRL method for TSC-OPF is proposed in this paper. The Markov Decision Process (MDP) modeling of TSC-OPF is improved by reducing the observation space and smoothing the reward design, thus facilitating agent training. An improved Deep Deterministic Policy Gradient algorithm with Curriculum learning, Parallel exploration, and Ensemble decision-making (DDPG-CPEn) is introduced to drastically enhance the efficiency of agent training and the accuracy of decision-making. The effectiveness, efficiency, and accuracy of the proposed method are demonstrated through experiments in the IEEE 39-bus system and a practical 710-bus regional power grid. The source code of the proposed method is made public on GitHub.
△ Less
Submitted 29 January, 2024; v1 submitted 17 April, 2023;
originally announced April 2023.
-
Plug-and-Play Regulators for Image-Text Matching
Authors:
Haiwen Diao,
Ying Zhang,
Wei Liu,
Xiang Ruan,
Huchuan Lu
Abstract:
Exploiting fine-grained correspondence and visual-semantic alignments has shown great potential in image-text matching. Generally, recent approaches first employ a cross-modal attention unit to capture latent region-word interactions, and then integrate all the alignments to obtain the final similarity. However, most of them adopt one-time forward association or aggregation strategies with complex…
▽ More
Exploiting fine-grained correspondence and visual-semantic alignments has shown great potential in image-text matching. Generally, recent approaches first employ a cross-modal attention unit to capture latent region-word interactions, and then integrate all the alignments to obtain the final similarity. However, most of them adopt one-time forward association or aggregation strategies with complex architectures or additional information, while ignoring the regulation ability of network feedback. In this paper, we develop two simple but quite effective regulators which efficiently encode the message output to automatically contextualize and aggregate cross-modal representations. Specifically, we propose (i) a Recurrent Correspondence Regulator (RCR) which facilitates the cross-modal attention unit progressively with adaptive attention factors to capture more flexible correspondence, and (ii) a Recurrent Aggregation Regulator (RAR) which adjusts the aggregation weights repeatedly to increasingly emphasize important alignments and dilute unimportant ones. Besides, it is interesting that RCR and RAR are plug-and-play: both of them can be incorporated into many frameworks based on cross-modal interaction to obtain significant benefits, and their cooperation achieves further improvements. Extensive experiments on MSCOCO and Flickr30K datasets validate that they can bring an impressive and consistent R@1 gain on multiple models, confirming the general effectiveness and generalization ability of the proposed methods. Code and pre-trained models are available at: https://github.com/Paranioar/RCAR.
△ Less
Submitted 23 March, 2023;
originally announced March 2023.
-
The Halo Conjecture for GL2
Authors:
Hansheng Diao,
Zijian Yao
Abstract:
We prove the Halo conjecture on the geometry of the eigencurve over the boundary of the weight space, predicted by Coleman-Mazur and Buzzard-Kilford.
We prove the Halo conjecture on the geometry of the eigencurve over the boundary of the weight space, predicted by Coleman-Mazur and Buzzard-Kilford.
△ Less
Submitted 15 February, 2023;
originally announced February 2023.
-
Stable determination of an impedance obstacle by a single far-field measurement
Authors:
Huaian Diao,
Hongyu Liu,
Longyue Tao
Abstract:
We establish sharp stability estimates of logarithmic type in determining an impedance obstacle in $\mathbb{R}^2$. The obstacle is of general polygonal shape and the impedance parameter can be variable. We establish the stability results by using a single far-field pattern, which constitutes a longstanding problem in the inverse scattering theory. This is the first stability result in the literatu…
▽ More
We establish sharp stability estimates of logarithmic type in determining an impedance obstacle in $\mathbb{R}^2$. The obstacle is of general polygonal shape and the impedance parameter can be variable. We establish the stability results by using a single far-field pattern, which constitutes a longstanding problem in the inverse scattering theory. This is the first stability result in the literature in determining an impedance obstacle by a single far-field measurement. If the obstacle is of a generally polygonal shape, the stability in determining the obstacle is established in terms of a modified Hausdorff distance and is independent of the boundary impedance parameter. If the obstacle is further known to be convex, the stability in simultaneously determining the obstacle and the boundary impedance is established in terms of the classical Hausdorff distance. There are several technical novelties and development in the mathematical strategy developed for establishing the aforementioned stability results. First, the stability analysis is conducted around a corner point in a micro-local manner. Second, our stability estimates establish explicit relationships among the geometric configurations of the obstacle and the vanishing order of the wave field at the corner point. Third, we develop novel error propagation techniques to tackle singularities of the wave field at a corner as well as to tackle the impedance boundary condition.
△ Less
Submitted 14 May, 2023; v1 submitted 2 February, 2023;
originally announced February 2023.
-
Redistribution of Weights and Activations for AdderNet Quantization
Authors:
Ying Nie,
Kai Han,
Haikang Diao,
Chuanjian Liu,
Enhua Wu,
Yunhe Wang
Abstract:
Adder Neural Network (AdderNet) provides a new way for developing energy-efficient neural networks by replacing the expensive multiplications in convolution with cheaper additions (i.e.l1-norm). To achieve higher hardware efficiency, it is necessary to further study the low-bit quantization of AdderNet. Due to the limitation that the commutative law in multiplication does not hold in l1-norm, the…
▽ More
Adder Neural Network (AdderNet) provides a new way for developing energy-efficient neural networks by replacing the expensive multiplications in convolution with cheaper additions (i.e.l1-norm). To achieve higher hardware efficiency, it is necessary to further study the low-bit quantization of AdderNet. Due to the limitation that the commutative law in multiplication does not hold in l1-norm, the well-established quantization methods on convolutional networks cannot be applied on AdderNets. Thus, the existing AdderNet quantization techniques propose to use only one shared scale to quantize both the weights and activations simultaneously. Admittedly, such an approach can keep the commutative law in the l1-norm quantization process, while the accuracy drop after low-bit quantization cannot be ignored. To this end, we first thoroughly analyze the difference on distributions of weights and activations in AdderNet and then propose a new quantization algorithm by redistributing the weights and the activations. Specifically, the pre-trained full-precision weights in different kernels are clustered into different groups, then the intra-group sharing and inter-group independent scales can be adopted. To further compensate the accuracy drop caused by the distribution difference, we then develop a lossless range clamp scheme for weights and a simple yet effective outliers clamp strategy for activations. Thus, the functionality of full-precision weights and the representation ability of full-precision activations can be fully preserved. The effectiveness of the proposed quantization method for AdderNet is well verified on several benchmarks, e.g., our 4-bit post-training quantized adder ResNet-18 achieves an 66.5% top-1 accuracy on the ImageNet with comparable energy efficiency, which is about 8.5% higher than that of the previous AdderNet quantization methods.
△ Less
Submitted 20 December, 2022;
originally announced December 2022.
-
Spectral properties of an acoustic-elastic transmission eigenvalue problem with applications
Authors:
Huaian Diao,
Hongjie Li,
Hongyu Liu,
Jiexin Tang
Abstract:
We are concerned with a coupled-physics spectral problem arising in the coupled propagation of acoustic and elastic waves, which is referred to as the acoustic-elastic transmission eigenvalue problem. There are two major contributions in this work which are new to the literature. First, under a mild condition on the medium parameters, we prove the existence of an acoustic-elastic transmission eige…
▽ More
We are concerned with a coupled-physics spectral problem arising in the coupled propagation of acoustic and elastic waves, which is referred to as the acoustic-elastic transmission eigenvalue problem. There are two major contributions in this work which are new to the literature. First, under a mild condition on the medium parameters, we prove the existence of an acoustic-elastic transmission eigenvalue. Second, we establish a geometric rigidity result of the transmission eigenfunctions by showing that they tend to localize on the boundary of the underlying domain. Moreover, we also consider interesting implications of the obtained results to the effective construction of metamaterials by using bubbly elastic structures and to the inverse problem associated with the fluid-structure interaction.
△ Less
Submitted 3 May, 2023; v1 submitted 29 October, 2022;
originally announced October 2022.
-
Traffic disruption modelling with mode shift in multi-modal networks
Authors:
Dong Zhao,
Adriana-Simona Mihaita,
Yuming Ou,
Sajjad Shafiei,
Hanna Grzybowska,
A. K. Qin,
Gary Tan,
Mo Li,
Hussein Dia
Abstract:
A multi-modal transport system is acknowledged to have robust failure tolerance and can effectively relieve urban congestion issues. However, estimating the impact of disruptions across multi-transport modes is a challenging problem due to a dis-aggregated modelling approach applied to only individual modes at a time. To fill this gap, this paper proposes a new integrated modelling framework for a…
▽ More
A multi-modal transport system is acknowledged to have robust failure tolerance and can effectively relieve urban congestion issues. However, estimating the impact of disruptions across multi-transport modes is a challenging problem due to a dis-aggregated modelling approach applied to only individual modes at a time. To fill this gap, this paper proposes a new integrated modelling framework for a multi-modal traffic state estimation and evaluation of the disruption impact across all modes under various traffic conditions. First, we propose an iterative trip assignment model to elucidate the association between travel demand and travel behaviour, including a multi-modal origin-to-destination estimation for private and public transport. Secondly, we provide a practical multi-modal travel demand re-adjustment that takes the mode shift of the affected travellers into consideration. The pros and cons of the mode shift strategy are showcased via several scenario-based transport simulating experiments. The results show that a well-balanced mode shift with flexible routing and early announcements of detours so that travellers can plan ahead can significantly benefit all travellers by a delay time reduction of 46%, while a stable route assignment maintains a higher average traffic flow and the inactive mode-route choice help relief density under the traffic disruptions.
△ Less
Submitted 12 October, 2022;
originally announced October 2022.
-
Attention Round for Post-Training Quantization
Authors:
Huabin Diao,
Gongyan Li,
Shaoyun Xu,
Yuexing Hao
Abstract:
At present, the quantification methods of neural network models are mainly divided into post-training quantization (PTQ) and quantization aware training (QAT). Post-training quantization only need a small part of the data to complete the quantification process, but the performance of its quantitative model is not as good as the quantization aware training. This paper presents a novel quantificatio…
▽ More
At present, the quantification methods of neural network models are mainly divided into post-training quantization (PTQ) and quantization aware training (QAT). Post-training quantization only need a small part of the data to complete the quantification process, but the performance of its quantitative model is not as good as the quantization aware training. This paper presents a novel quantification method called Attention Round. This method gives parameters w the opportunity to be mapped to all possible quantized values, rather than just the two quantized values nearby w in the process of quantization. The probability of being mapped to different quantified values is negatively correlated with the distance between the quantified values and w, and decay with a Gaussian function. In addition, this paper uses the lossy coding length as a measure to assign bit widths to the different layers of the model to solve the problem of mixed precision quantization, which effectively avoids to solve combinatorial optimization problem. This paper also performs quantitative experiments on different models, the results confirm the effectiveness of the proposed method. For ResNet18 and MobileNetV2, the post-training quantization proposed in this paper only require 1,024 training data and 10 minutes to complete the quantization process, which can achieve quantization performance on par with quantization aware training.
△ Less
Submitted 7 July, 2022;
originally announced July 2022.
-
Determining anomalies in a semilinear elliptic equation by a minimal number of measurements
Authors:
Huaian Diao,
Xiaoxu Fei,
Hongyu Liu,
Li Wang
Abstract:
We are concerned with the inverse boundary problem of determining anomalies associated with a semilinear elliptic equation of the form $-Δu+a(\mathbf x, u)=0$, where $a(\mathbf x, u)$ is a general nonlinear term that belongs to a Hölder class. It is assumed that the inhomogeneity of $f(\mathbf x, u)$ is contained in a bounded domain $D$ in the sense that outside $D$, $a(\mathbf x, u)=λu$ with…
▽ More
We are concerned with the inverse boundary problem of determining anomalies associated with a semilinear elliptic equation of the form $-Δu+a(\mathbf x, u)=0$, where $a(\mathbf x, u)$ is a general nonlinear term that belongs to a Hölder class. It is assumed that the inhomogeneity of $f(\mathbf x, u)$ is contained in a bounded domain $D$ in the sense that outside $D$, $a(\mathbf x, u)=λu$ with $λ\in\mathbb{C}$. We establish novel unique identifiability results in several general scenarios of practical interest. These include determining the support of the inclusion (i.e. $D$) independent of its content (i.e. $a(\mathbf{x}, u)$ in $D$) by a single boundary measurement; and determining both $D$ and $a(\mathbf{x}, u)|_D$ by $M$ boundary measurements, where $M\in\mathbb{N}$ signifies the number of unknown coefficients in $a(\mathbf x, u)$. The mathematical argument is based on microlocally characterising the singularities in the solution $u$ induced by the geometric singularities of $D$, and does not rely on any linearisation technique.
△ Less
Submitted 22 July, 2022; v1 submitted 6 June, 2022;
originally announced June 2022.
-
Local geometric properties of conductive transmission eigenfunctions and applications
Authors:
Huaian Diao,
Xiaoxu Fei,
Hongyu Liu
Abstract:
The purpose of the paper is twofold. First, we show that partial-data transmission eigenfunctions associated with a conductive boundary condition vanish locally around a polyhedral or conic corner in $\mathbb{R}^n$, $n=2,3$. Second, we apply the spectral property to the geometrical inverse scattering problem of determining the shape as well as its boundary impedance parameter of a conductive scatt…
▽ More
The purpose of the paper is twofold. First, we show that partial-data transmission eigenfunctions associated with a conductive boundary condition vanish locally around a polyhedral or conic corner in $\mathbb{R}^n$, $n=2,3$. Second, we apply the spectral property to the geometrical inverse scattering problem of determining the shape as well as its boundary impedance parameter of a conductive scatterer, independent of its medium content, by a single far-field measurement. We establish several new unique recovery results. The results extend the relevant ones in [30] in two directions: first, we consider a more general geometric setup where both polyhedral and conic corners are investigated, whereas in [30] only polyhedral corners are concerned; second, we significantly relax the regularity assumptions in [30] which is particularly useful for the geometrical inverse problem mentioned above. We develop novel technical strategies to achieve these new results.
△ Less
Submitted 4 June, 2022;
originally announced June 2022.
-
Visibility, invisibility and unique recovery of inverse electromagnetic problems with conical singularities
Authors:
Huaian Diao,
Xiaoxu Fei,
Hongyu Liu,
Ke Yang
Abstract:
In this paper, we study time-harmonic electromagnetic scattering in two scenarios, where the anomalous scatterer is either a pair of electromagnetic sources or an inhomogeneous medium, both with compact supports. We are mainly concerned with the geometrical inverse scattering problem of recovering the support of the scatterer, independent of its physical contents, by a single far-field measurement…
▽ More
In this paper, we study time-harmonic electromagnetic scattering in two scenarios, where the anomalous scatterer is either a pair of electromagnetic sources or an inhomogeneous medium, both with compact supports. We are mainly concerned with the geometrical inverse scattering problem of recovering the support of the scatterer, independent of its physical contents, by a single far-field measurement. It is assumed that the support of the scatterer (locally) possesses a conical singularity. We establish a local characterisation of the scatterer when invisibility/transparency occurs, showing that its characteristic parameters must vanish locally around the conical point. Using this characterisation, we establish several local and global uniqueness results for the aforementioned inverse scattering problems, showing that visibility must imply unique recovery. In the process, we also establish the local vanishing property of the electromagnetic transmission eigenfunctions around a conical point under the Hölder regularity or a regularity condition in terms of Herglotz approximation.
△ Less
Submitted 6 April, 2022;
originally announced April 2022.
-
Two unique Identifiability results for inverse scattering problems within polyhedral geometries
Authors:
Xinlin cao,
Huaian Diao,
Hongyu Liu,
Jun Zou
Abstract:
We consider the unique determinations of impenetrable obstacles or diffraction grating profiles in $\mathbb{R}^3$ by a single far-field measurement within polyhedral geometries. We are particularly interested in the case that the scattering objects are of impedance type. We derive two new unique identifiability results for the inverse scattering problem in the aforementioned two challenging setups…
▽ More
We consider the unique determinations of impenetrable obstacles or diffraction grating profiles in $\mathbb{R}^3$ by a single far-field measurement within polyhedral geometries. We are particularly interested in the case that the scattering objects are of impedance type. We derive two new unique identifiability results for the inverse scattering problem in the aforementioned two challenging setups. The main technical idea is to exploit certain quantitative geometric properties of the Laplacian eigenfunctions which were initiated in our recent works [8,9]. In this paper, we derive novel geometric properties that generalize and extend the related results in [9], which further enable us to establish the new unique identifiability results. It is pointed out that in addition to the shape of the obstacle or the grating profile, we can simultaneously recover the boundary impedance parameters.
△ Less
Submitted 27 November, 2021;
originally announced November 2021.
-
Stable determination of an elastic medium scatterer by a single far-field measurement and beyond
Authors:
Zhengjian Bai,
Huaian Diao,
Hongyu Liu,
Qingle Meng
Abstract:
We are concerned with the time-harmonic elastic scattering due to an inhomogeneous elastic material inclusion located inside a uniformly homogeneous isotropic medium. We establish a sharp stability estimate of logarithmic type in determining the support of the elastic scatterer, independent of its material content, by a single far-field measurement when the support is a convex polyhedral domain in…
▽ More
We are concerned with the time-harmonic elastic scattering due to an inhomogeneous elastic material inclusion located inside a uniformly homogeneous isotropic medium. We establish a sharp stability estimate of logarithmic type in determining the support of the elastic scatterer, independent of its material content, by a single far-field measurement when the support is a convex polyhedral domain in $\mathbb{R}^n$, $n=2,3$. Our argument in establishing the stability result is localized around a corner of the medium scatterer. This enables us to further establish a byproduct result by proving that if a generic medium scatterer, not necessary to be a polyhedral shape, possesses a corner, then there exists a positive lower bound of the scattered far-field patterns. The latter result indicates that if an elastic material object possesses a corner on its support, then it scatters every incident wave stably and invisibility phenomenon does not occur.
△ Less
Submitted 24 November, 2021;
originally announced November 2021.
-
The Emotion coding and Propagation based on improved Genetic algorithm
Authors:
Hongyuan Diao,
Fuzhong Nian,
Xuelong Yu,
Xirui Liu,
Xinhao Liu
Abstract:
Computational communication research on information has been prevalent in recent years, as people are progressively inquisitive in social behavior and public opinion. Nevertheless, it is of great significance to analyze the direction of predominant sentiment from the sentiment communication perspective. In this paper, the information emotion propagation model is established by introducing revamp g…
▽ More
Computational communication research on information has been prevalent in recent years, as people are progressively inquisitive in social behavior and public opinion. Nevertheless, it is of great significance to analyze the direction of predominant sentiment from the sentiment communication perspective. In this paper, the information emotion propagation model is established by introducing revamp genetic algorithms into information emotion. In the process of information dissemination, both the information emotions and the network emotions are dynamic. For this model, the information emotions and the network nodes emotions are quantified as binary codes. The convergence effects, crossover and mutation algorithms are introduced. These factors all act on the transmission process via dynamic propagation rate, and the improved genetic algorithm also acts on the emotion transmission. In particular, the latter two algorithms are different from the existing biological domain. Based on the existing research results in other manuscripts, we perform simulation described above on the hybrid network. The simulation results demonstrate that the trend approximate to the actual data. As a result, our work can prove that our proposed model is essentially consistent with the actual emotion transmission phenomenon.
△ Less
Submitted 3 June, 2021;
originally announced June 2021.
-
Perfectoid overconvergent Siegel modular forms and the overconvergent Eichler-Shimura morphism
Authors:
Hansheng Diao,
Giovanni Rosso,
Ju-Feng Wu
Abstract:
The aim of this paper is twofold. We first present a construction of overconvergent automorphic sheaves for Siegel modular forms by generalising the perfectoid method, originally introduced by Chojecki-Hansen-Johansson for automorphic forms on compact Shimura curves over $\mathbf{Q}$. These sheaves are then verified to be isomorphic to the ones introduced by Andreatta-Iovita-Pilloni. Secondly, we…
▽ More
The aim of this paper is twofold. We first present a construction of overconvergent automorphic sheaves for Siegel modular forms by generalising the perfectoid method, originally introduced by Chojecki-Hansen-Johansson for automorphic forms on compact Shimura curves over $\mathbf{Q}$. These sheaves are then verified to be isomorphic to the ones introduced by Andreatta-Iovita-Pilloni. Secondly, we establish an overconvergent Eichler-Shimura morphism for Siegel modular forms, generalising the result of Andreatta-Iovita-Stevens for elliptic modular forms.
△ Less
Submitted 21 September, 2021; v1 submitted 31 May, 2021;
originally announced June 2021.
-
Effective medium theory for embedded obstacles in elasticity with applications to inverse problems
Authors:
Zhengjian Bai,
Huaian Diao,
Hongyu Liu,
Qingle Meng
Abstract:
We consider the time-harmonic elastic wave scattering from a general (possibly anisotropic) inhomogeneous medium with an embedded impenetrable obstacle. We show that the impenetrable obstacle can be effectively approximated by an isotropic elastic medium with a particular choice of material parameters. We derive sharp estimates to rigorously verify such an effective approximation. Our study is str…
▽ More
We consider the time-harmonic elastic wave scattering from a general (possibly anisotropic) inhomogeneous medium with an embedded impenetrable obstacle. We show that the impenetrable obstacle can be effectively approximated by an isotropic elastic medium with a particular choice of material parameters. We derive sharp estimates to rigorously verify such an effective approximation. Our study is strongly motivated by the related studies of two challenging inverse elastic problems including the inverse boundary problem with partial data and the inverse scattering problem of recovering mediums with buried obstacles. The proposed effective medium theory readily yields some interesting applications of practical significance to these inverse problems.
△ Less
Submitted 18 February, 2021;
originally announced February 2021.
-
On a local geometric property of the generalized elastic transmission eigenfunctions and application
Authors:
Huaian Diao,
Hongyu Liu,
Baiyi Sun
Abstract:
Consider the nonlinear and completely continuous scattering map \[ \mathcal{S}\big((Ω; λ, μ, V), \mathbf{u}^i\big)=\mathbf{u}_t^\infty(\hat{\mathbf{x}}), \quad \hat{\mathbf{x}}\in\mathbb{S}^{n-1}, \] which sends an inhomogeneous elastic scatterer $(Ω; λ, μ, V)$ to its far-field pattern $\mathbf{u}_t^\infty$ due to an incident wave field $\mathbf{u}^i$ via the Lamé system. Here, $(λ, μ, V)$ signifi…
▽ More
Consider the nonlinear and completely continuous scattering map \[ \mathcal{S}\big((Ω; λ, μ, V), \mathbf{u}^i\big)=\mathbf{u}_t^\infty(\hat{\mathbf{x}}), \quad \hat{\mathbf{x}}\in\mathbb{S}^{n-1}, \] which sends an inhomogeneous elastic scatterer $(Ω; λ, μ, V)$ to its far-field pattern $\mathbf{u}_t^\infty$ due to an incident wave field $\mathbf{u}^i$ via the Lamé system. Here, $(λ, μ, V)$ signifies the medium configuration of an elastic scatterer that is compactly supported in $Ω$. In this paper, we are concerned with the intrinsic geometric structure of the kernel space of $\mathcal{S}$, which is of fundamental importance to the theory of inverse scattering and invisibility cloaking for elastic waves and has received considerable attention recently. It turns out that the study is contained in analysing the geometric properties of a certain non-selfadjoint and non-elliptic transmission eigenvalue problem. We propose a generalized elastic transmission eigenvalue problem and prove that the transmission eigenfunctions vanish locally around a corner of $\partialΩ$ under generic regularity criteria. The regularity criteria are characerized by the Hölder continuity or a certain Fourier extension property of the transmission eigenfunctions. As an interesting and significant application, we apply the local geometric property to derive several novel unique identifiability results for a longstanding inverse elastic problem by a single far-field measurement.
△ Less
Submitted 2 July, 2021; v1 submitted 18 February, 2021;
originally announced February 2021.
-
Further results on generalized Holmgren's principle to the Lamé operator and applications
Authors:
Huaian Diao,
Hongyu Liu,
Li Wang
Abstract:
In our earlier paper [9], it is proved that a homogeneous rigid, traction or impedance condition on one or two intersecting line segments together with a certain zero point-value condition implies that the solution to the Lamé system must be identically zero, which is referred to as the generalized Holmgren principle (GHP). The GHP enables us to solve a longstanding inverse scattering problem of d…
▽ More
In our earlier paper [9], it is proved that a homogeneous rigid, traction or impedance condition on one or two intersecting line segments together with a certain zero point-value condition implies that the solution to the Lamé system must be identically zero, which is referred to as the generalized Holmgren principle (GHP). The GHP enables us to solve a longstanding inverse scattering problem of determining a polygonal elastic obstacle of general impedance type by at most a few far-field measurements. In this paper, we include all the possible physical boundary conditions from linear elasticity into the GHP study with additionally the soft-clamped, simply-supported as well as the associated impedance-type conditions. We derive a comprehensive and complete characterisation of the GHP associated with all of the aforementioned physical conditions. As significant applications, we establish novel unique identifiability results by at most a few scattering measurements not only for the inverse elastic obstacle problem but also for the inverse elastic diffraction grating problem within polygonal geometry in the most general physical scenario. We follow the general strategy from [9] in establishing the results. However, we develop technically new ingredients to tackle the more general and challenging physical and mathematical setups. It is particularly worth noting that in [9], the impedance parameters were assumed to be constant whereas in this work they can be variable functions.
△ Less
Submitted 13 January, 2021;
originally announced January 2021.
-
Similarity Reasoning and Filtration for Image-Text Matching
Authors:
Haiwen Diao,
Ying Zhang,
Lin Ma,
Huchuan Lu
Abstract:
Image-text matching plays a critical role in bridging the vision and language, and great progress has been made by exploiting the global alignment between image and sentence, or local alignments between regions and words. However, how to make the most of these alignments to infer more accurate matching scores is still underexplored. In this paper, we propose a novel Similarity Graph Reasoning and…
▽ More
Image-text matching plays a critical role in bridging the vision and language, and great progress has been made by exploiting the global alignment between image and sentence, or local alignments between regions and words. However, how to make the most of these alignments to infer more accurate matching scores is still underexplored. In this paper, we propose a novel Similarity Graph Reasoning and Attention Filtration (SGRAF) network for image-text matching. Specifically, the vector-based similarity representations are firstly learned to characterize the local and global alignments in a more comprehensive manner, and then the Similarity Graph Reasoning (SGR) module relying on one graph convolutional neural network is introduced to infer relation-aware similarities with both the local and global alignments. The Similarity Attention Filtration (SAF) module is further developed to integrate these alignments effectively by selectively attending on the significant and representative alignments and meanwhile casting aside the interferences of non-meaningful alignments. We demonstrate the superiority of the proposed method with achieving state-of-the-art performances on the Flickr30K and MSCOCO datasets, and the good interpretability of SGR and SAF modules with extensive qualitative experiments and analyses.
△ Less
Submitted 5 January, 2021;
originally announced January 2021.
-
Information Propagation Model in Hybrid Networks
Authors:
Fuzhong Nian,
Hongyuan Diao
Abstract:
It is in practice impossible to describe the topology of a real network or its message propagation process using a single dynamic model. To address this issue, we constructed a new hybrid network model based on scale-free (SF), small-world (SW) features that functions as closely as possible to a real network. And the hybrid propagation model is constructed with susceptible-infected-susceptible (SI…
▽ More
It is in practice impossible to describe the topology of a real network or its message propagation process using a single dynamic model. To address this issue, we constructed a new hybrid network model based on scale-free (SF), small-world (SW) features that functions as closely as possible to a real network. And the hybrid propagation model is constructed with susceptible-infected-susceptible (SIS), susceptible-infected-recovered (SIR) and susceptible-infected-recovered-susceptible (SIRS) model mixed in arbitrary proportions. The model applies the concepts of blockbuster effect and implicit node edges to reflect explosive spread as a significant characteristic of information propagation. A theoretical analysis and derivation of the new model in which hybrid networks were simulated revealed that the network degree distribution closely follows a power law. Using an improved similarity function to define the degree of closeness to real network cases, the proposed model was shown to be valid and very close to a real network.
△ Less
Submitted 29 May, 2021; v1 submitted 30 September, 2020;
originally announced October 2020.
-
Unique continuation from a generalized impedance edge-corner for Maxwell's system and applications to inverse problems
Authors:
Huaian Diao,
Hongyu Liu,
Long Zhang,
Jun Zou
Abstract:
We consider the time-harmonic Maxwell system in a domain with a generalized impedance edge-corner, namely the presence of two generalized impedance planes that intersect at an edge. The impedance parameter can be $0, \infty$ or a finite non-identically vanishing variable function. We establish an accurate relationship between the vanishing order of the solutions to the Maxwell system and the dihed…
▽ More
We consider the time-harmonic Maxwell system in a domain with a generalized impedance edge-corner, namely the presence of two generalized impedance planes that intersect at an edge. The impedance parameter can be $0, \infty$ or a finite non-identically vanishing variable function. We establish an accurate relationship between the vanishing order of the solutions to the Maxwell system and the dihedral angle of the edge-corner. In particular, if the angle is irrational, the vanishing order is infinity, i.e. strong unique continuation holds from the edge-corner. The establishment of those new quantitative results involve a highly intricate and subtle algebraic argument. The unique continuation study is strongly motivated by our study of a longstanding inverse electromagnetic scattering problem. As a significant application, we derive several novel unique identifiability results in determining a polyhedral obstacle as well as it surface impedance by a single far-field measurement. We also discuss another potential and interesting application of our result in the inverse scattering theory related to the information encoding.
△ Less
Submitted 13 May, 2020; v1 submitted 13 May, 2020;
originally announced May 2020.
-
Determining a piecewise conductive medium body by a single far-field measurement
Authors:
Xinlin Cao,
Huaian Diao,
Hongyu Liu
Abstract:
We are concerned with the inverse problem of recovering a conductive medium body. The conductive medium body arises in several applications of practical importance, including the modeling of an electromagnetic object coated with a thin layer of a highly conducting material and the magnetotellurics in geophysics. We consider the determination of the material parameters inside the body as well as on…
▽ More
We are concerned with the inverse problem of recovering a conductive medium body. The conductive medium body arises in several applications of practical importance, including the modeling of an electromagnetic object coated with a thin layer of a highly conducting material and the magnetotellurics in geophysics. We consider the determination of the material parameters inside the body as well as on the conductive interface by the associated electromagnetic far-field measurement. Under the transverse-magnetic polarisation, we derive two novel unique identifiability results in determining a 2D piecewise conductive medium body associated with a polygonal-nest or a polygonal-cell geometry by a single active or passive far-field measurement.
△ Less
Submitted 9 May, 2020;
originally announced May 2020.
-
Condition numbers for the truncated total least squares problem and their estimations
Authors:
Qing-Le Meng,
Huai-An Diao,
Zheng-Jian Bai
Abstract:
In this paper, we present explicit expressions for the mixed and componentwise condition numbers of the truncated total least squares (TTLS) solution of $A\boldsymbol{x} \approx \boldsymbol{b} $ under the genericity condition, where $A$ is a $m\times n$ real data matrix and $\boldsymbol{b}$ is a real $m$-vector. Moreover, we reveal that normwise, componentwise and mixed condition numbers for the T…
▽ More
In this paper, we present explicit expressions for the mixed and componentwise condition numbers of the truncated total least squares (TTLS) solution of $A\boldsymbol{x} \approx \boldsymbol{b} $ under the genericity condition, where $A$ is a $m\times n$ real data matrix and $\boldsymbol{b}$ is a real $m$-vector. Moreover, we reveal that normwise, componentwise and mixed condition numbers for the TTLS problem can recover the previous corresponding counterparts for the total least squares (TLS) problem when the truncated level of for the TTLS problem is $n$. When $A$ is a structured matrix, the structured perturbations for the structured truncated TLS (STTLS) problem are investigated and the corresponding explicit expressions for the structured normwise, componentwise and mixed condition numbers for the STTLS problem are obtained. Furthermore, the relationships between the structured and unstructured normwise, componentwise and mixed condition numbers for the STTLS problem are studied. Based on small sample statistical condition estimation (SCE), reliable condition estimation algorithms for both unstructured and structured normwise, mixed and componentwise are devised, which utilize the SVD of the augmented matrix $[A~\boldsymbol{b} ]$. The efficient proposed condition estimation algorithms can be integrated into the SVD-based direct solver for the small and medium size TTLS problem to give the error estimation for the numerical TTLS solution. Numerical experiments are reported to illustrate the reliability of the proposed estimation algorithms, which coincide with our theoretical results.
△ Less
Submitted 28 April, 2020; v1 submitted 25 April, 2020;
originally announced April 2020.
-
On generalized Holmgren's principle to the Lamé operator with applications to inverse elastic problems
Authors:
Huaian Diao,
Hongyu Liu,
Li Wang
Abstract:
Consider the Lamé operator $\mathcal{L}(\mathbf{ u} ) :=μΔ\mathbf{u}+(λ+μ) \nabla(\nabla \cdot \mathbf{ u} )$ that arises in the theory of linear elasticity. This paper studies the geometric properties of the (generalized) Lamé eigenfunction $\mathbf{u}$, namely $-\mathcal{L}(\mathbf{ u} )=κ\mathbf{ u}$ with $κ\in\mathbb{R}_+$ and $\mathbf{ u}\in L^2(Ω)^2$, $Ω\subset\mathbb{R}^2$. We introduce the…
▽ More
Consider the Lamé operator $\mathcal{L}(\mathbf{ u} ) :=μΔ\mathbf{u}+(λ+μ) \nabla(\nabla \cdot \mathbf{ u} )$ that arises in the theory of linear elasticity. This paper studies the geometric properties of the (generalized) Lamé eigenfunction $\mathbf{u}$, namely $-\mathcal{L}(\mathbf{ u} )=κ\mathbf{ u}$ with $κ\in\mathbb{R}_+$ and $\mathbf{ u}\in L^2(Ω)^2$, $Ω\subset\mathbb{R}^2$. We introduce the so-called homogeneous line segments of $\mathbf{u}$ in $Ω$, on which $\mathbf{u}$, its traction or their combination via an impedance parameter is vanishing. We give a comprehensive study on characterizing the presence of one or two such line segments and its implication to the uniqueness of $\mathbf{u}$. The results can be regarded as generalizing the classical Holmgren's uniqueness principle for the Lamé operator in two aspects. We establish the results by analyzing the development of analytic microlocal singularities of $\mathbf{u}$ with the presence of the aforesaid line segments. Finally, we apply the results to the inverse elastic problems in establishing two novel unique identifiability results. It is shown that a generalized impedance obstacle as well as its boundary impedance can be determined by using at most four far-field patterns. Unique determination by a minimal number of far-field patterns is a longstanding problem in inverse elastic scattering theory.
△ Less
Submitted 14 January, 2020;
originally announced January 2020.
-
Logarithmic adic spaces: some foundational results
Authors:
Hansheng Diao,
Kai-Wen Lan,
Ruochuan Liu,
Xinwen Zhu
Abstract:
We develop a theory of log adic spaces by combining the theories of adic spaces and log schemes, and study the Kummer étale and pro-Kummer étale topology for such spaces. We also establish the primitive comparison theorem in this context, and deduce from it some related cohomological finiteness or vanishing results.
We develop a theory of log adic spaces by combining the theories of adic spaces and log schemes, and study the Kummer étale and pro-Kummer étale topology for such spaces. We also establish the primitive comparison theorem in this context, and deduce from it some related cohomological finiteness or vanishing results.
△ Less
Submitted 30 October, 2022; v1 submitted 18 December, 2019;
originally announced December 2019.
-
Structured condition number for multiple right-hand side linear systems with parameterized quasiseparable coefficient matrix
Authors:
Qingle Meng,
Huaian Diao,
Qinghua Yu
Abstract:
In this paper, we consider the structured perturbation analysis for multiple right-hand side linear systems with parameterized coefficient matrix. Especially, we present the explicit expressions for structured condition numbers for multiple right-hand sides linear systems with {1;1}-quasiseparable coefficient matrix in the quasiseparable and the Givens-vector representations. In addition, the comp…
▽ More
In this paper, we consider the structured perturbation analysis for multiple right-hand side linear systems with parameterized coefficient matrix. Especially, we present the explicit expressions for structured condition numbers for multiple right-hand sides linear systems with {1;1}-quasiseparable coefficient matrix in the quasiseparable and the Givens-vector representations. In addition, the comparisons of these two condition numbers between themselves, and with respect to unstructured condition number are investigated. Moreover, the effective structured condition number for multiple right-hand sides linear systems with {1;1}-quasiseparable coefficient matrix is proposed. The relationships between the effective structured condition number and structured condition numbers with respect to the quasiseparable and the Givens-vector representations are also studied. Numerical experiments show that there are situations in which the effective structured condition number can be much smaller than the unstructured ones.
△ Less
Submitted 11 October, 2019;
originally announced October 2019.
-
Optimal Sketching for Kronecker Product Regression and Low Rank Approximation
Authors:
Huaian Diao,
Rajesh Jayaram,
Zhao Song,
Wen Sun,
David P. Woodruff
Abstract:
We study the Kronecker product regression problem, in which the design matrix is a Kronecker product of two or more matrices. Given $A_i \in \mathbb{R}^{n_i \times d_i}$ for $i=1,2,\dots,q$ where $n_i \gg d_i$ for each $i$, and $b \in \mathbb{R}^{n_1 n_2 \cdots n_q}$, let $\mathcal{A} = A_1 \otimes A_2 \otimes \cdots \otimes A_q$. Then for $p \in [1,2]$, the goal is to find…
▽ More
We study the Kronecker product regression problem, in which the design matrix is a Kronecker product of two or more matrices. Given $A_i \in \mathbb{R}^{n_i \times d_i}$ for $i=1,2,\dots,q$ where $n_i \gg d_i$ for each $i$, and $b \in \mathbb{R}^{n_1 n_2 \cdots n_q}$, let $\mathcal{A} = A_1 \otimes A_2 \otimes \cdots \otimes A_q$. Then for $p \in [1,2]$, the goal is to find $x \in \mathbb{R}^{d_1 \cdots d_q}$ that approximately minimizes $\|\mathcal{A}x - b\|_p$. Recently, Diao, Song, Sun, and Woodruff (AISTATS, 2018) gave an algorithm which is faster than forming the Kronecker product $\mathcal{A}$ Specifically, for $p=2$ their running time is $O(\sum_{i=1}^q \text{nnz}(A_i) + \text{nnz}(b))$, where nnz$(A_i)$ is the number of non-zero entries in $A_i$. Note that nnz$(b)$ can be as large as $n_1 \cdots n_q$. For $p=1,$ $q=2$ and $n_1 = n_2$, they achieve a worse bound of $O(n_1^{3/2} \text{poly}(d_1d_2) + \text{nnz}(b))$. In this work, we provide significantly faster algorithms. For $p=2$, our running time is $O(\sum_{i=1}^q \text{nnz}(A_i) )$, which has no dependence on nnz$(b)$. For $p<2$, our running time is $O(\sum_{i=1}^q \text{nnz}(A_i) + \text{nnz}(b))$, which matches the prior best running time for $p=2$. We also consider the related all-pairs regression problem, where given $A \in \mathbb{R}^{n \times d}, b \in \mathbb{R}^n$, we want to solve $\min_{x} \|\bar{A}x - \bar{b}\|_p$, where $\bar{A} \in \mathbb{R}^{n^2 \times d}, \bar{b} \in \mathbb{R}^{n^2}$ consist of all pairwise differences of the rows of $A,b$. We give an $O(\text{nnz}(A))$ time algorithm for $p \in[1,2]$, improving the $Ω(n^2)$ time needed to form $\bar{A}$. Finally, we initiate the study of Kronecker product low rank and low $t$-rank approximation. For input $\mathcal{A}$ as above, we give $O(\sum_{i=1}^q \text{nnz}(A_i))$ time algorithms, which is much faster than computing $\mathcal{A}$.
△ Less
Submitted 29 September, 2019;
originally announced September 2019.
-
Total Least Squares Regression in Input Sparsity Time
Authors:
Huaian Diao,
Zhao Song,
David P. Woodruff,
Xin Yang
Abstract:
In the total least squares problem, one is given an $m \times n$ matrix $A$, and an $m \times d$ matrix $B$, and one seeks to "correct" both $A$ and $B$, obtaining matrices $\hat{A}$ and $\hat{B}$, so that there exists an $X$ satisfying the equation $\hat{A}X = \hat{B}$. Typically the problem is overconstrained, meaning that $m \gg \max(n,d)$. The cost of the solution $\hat{A}, \hat{B}$ is given b…
▽ More
In the total least squares problem, one is given an $m \times n$ matrix $A$, and an $m \times d$ matrix $B$, and one seeks to "correct" both $A$ and $B$, obtaining matrices $\hat{A}$ and $\hat{B}$, so that there exists an $X$ satisfying the equation $\hat{A}X = \hat{B}$. Typically the problem is overconstrained, meaning that $m \gg \max(n,d)$. The cost of the solution $\hat{A}, \hat{B}$ is given by $\|A-\hat{A}\|_F^2 + \|B - \hat{B}\|_F^2$. We give an algorithm for finding a solution $X$ to the linear system $\hat{A}X=\hat{B}$ for which the cost $\|A-\hat{A}\|_F^2 + \|B-\hat{B}\|_F^2$ is at most a multiplicative $(1+ε)$ factor times the optimal cost, up to an additive error $η$ that may be an arbitrarily small function of $n$. Importantly, our running time is $\tilde{O}( \mathrm{nnz}(A) + \mathrm{nnz}(B) ) + \mathrm{poly}(n/ε) \cdot d$, where for a matrix $C$, $\mathrm{nnz}(C)$ denotes its number of non-zero entries. Importantly, our running time does not directly depend on the large parameter $m$. As total least squares regression is known to be solvable via low rank approximation, a natural approach is to invoke fast algorithms for approximate low rank approximation, obtaining matrices $\hat{A}$ and $\hat{B}$ from this low rank approximation, and then solving for $X$ so that $\hat{A}X = \hat{B}$. However, existing algorithms do not apply since in total least squares the rank of the low rank approximation needs to be $n$, and so the running time of known methods would be at least $mn^2$. In contrast, we are able to achieve a much faster running time for finding $X$ by never explicitly forming the equation $\hat{A} X = \hat{B}$, but instead solving for an $X$ which is a solution to an implicit such equation. Finally, we generalize our algorithm to the total least squares problem with regularization.
△ Less
Submitted 26 September, 2019;
originally announced September 2019.
-
On nodal and generalized singular structures of Laplacian eigenfunctions and applications in $\mathbb{R}^3$
Authors:
Xinlin Cao,
Huaian Diao,
Hongyu Liu,
Jun Zou
Abstract:
This paper is a continuation and an extension of our recent work [3] on the geometric structures of Laplacian eigenfunctions and their applications to inverse scattering problems. In [3], the analytic behaviour of the Laplacian eigenfunctions is investigated at a point where two nodal or generalised singular lines intersect. It reveals a certain intriguing property that the vanishing order of the…
▽ More
This paper is a continuation and an extension of our recent work [3] on the geometric structures of Laplacian eigenfunctions and their applications to inverse scattering problems. In [3], the analytic behaviour of the Laplacian eigenfunctions is investigated at a point where two nodal or generalised singular lines intersect. It reveals a certain intriguing property that the vanishing order of the eigenfunction at the intersecting point is related to the rationality of the intersecting angle. In this paper, we consider the 3D counterpart of such a study by studying the analytic behaviours of the Laplacian eigenfunctions at places where nodal or generalised singular planes are intersect. Compared to the 2D case, the geometric situation is more complicated: the intersection of two planes generates an edge corner, whereas the intersection of more than three planes generates a vertex corner. We provide a comprehensive characterisation for all of those cases. Moreover, we apply the spectral results to establish some novel unique identifiability results for the geometric inverse problems of recovering the shape as well as the (possible) surface impedance parameter by the associated scattering far-field measurements.
△ Less
Submitted 23 September, 2019;
originally announced September 2019.
-
Nanotwin-Dominant Superstructures Selectively Grown on Anatase {001} Facets
Authors:
Yang Lu,
Xiaolu Liu,
Hongwei Liu,
Yun Wang,
Porun Liu,
Xiaoguang Zhu,
Yunxia Zhang,
Haimin Zhang,
Guozhong Wang,
Yue Lin,
Hui Diao,
Huijun Zhao
Abstract:
homo/heterojunction renders fascinating electronic, optical, mechanical, chemical properties, yet a facile synthesis of this structure remains a challenge.
homo/heterojunction renders fascinating electronic, optical, mechanical, chemical properties, yet a facile synthesis of this structure remains a challenge.
△ Less
Submitted 4 March, 2019; v1 submitted 26 February, 2019;
originally announced February 2019.
-
On nodal and generalized singular structures of Laplacian eigenfunctions and applications to inverse scattering problems
Authors:
Xinlin Cao,
Huaian Diao,
Hongyu Liu,
Jun Zou
Abstract:
In this paper, we present some novel and intriguing findings on the geometric structures of Laplacian eigenfunctions and their deep relationship to the quantitative behaviours of the eigenfunctions in two dimensions. We introduce a new notion of generalized singular lines of the Laplacian eigenfunctions, and carefully study these singular lines and the nodal lines. The studies reveal that the inte…
▽ More
In this paper, we present some novel and intriguing findings on the geometric structures of Laplacian eigenfunctions and their deep relationship to the quantitative behaviours of the eigenfunctions in two dimensions. We introduce a new notion of generalized singular lines of the Laplacian eigenfunctions, and carefully study these singular lines and the nodal lines. The studies reveal that the intersecting angle between two of those lines is closely related to the vanishing order of the eigenfunction at the intersecting point. We establish an accurate and comprehensive quantitative characterisation of the relationship. Roughly speaking, the vanishing order is generically infinite if the intersecting angle is {\it irrational}, and the vanishing order is finite if the intersecting angle is rational. In fact, in the latter case, the vanishing order is the degree of the rationality. The theoretical findings are original and of significant interest in spectral theory. Moreover, they are applied directly to some physical problems of great importance, including the inverse obstacle scattering problem and the inverse diffraction grating problem. It is shown in a certain polygonal setup that one can recover the support of the unknown scatterer as well as the surface impedance parameter by finitely many far-field patterns. Indeed, at most two far-field patterns are sufficient for some important applications. Unique identifiability by finitely many far-field patterns remains to be a highly challenging fundamental mathematical problem in the inverse scattering theory.
△ Less
Submitted 28 June, 2019; v1 submitted 15 February, 2019;
originally announced February 2019.
-
On the geometric structures of transmission eigenfunctions with a conductive boundary condition and applications
Authors:
Huaian Diao,
Xinlin Cao,
Hongyu Liu
Abstract:
This paper is concerned with the intrinsic geometric structures of conductive transmission eigenfunctions. The geometric properties of interior transmission eigenfunctions were first studied in [9]. It is shown in two scenarios that the interior transmission eigenfunction must be locally vanishing near a corner of the domain with an interior angle less than $π$. We significantly extend and general…
▽ More
This paper is concerned with the intrinsic geometric structures of conductive transmission eigenfunctions. The geometric properties of interior transmission eigenfunctions were first studied in [9]. It is shown in two scenarios that the interior transmission eigenfunction must be locally vanishing near a corner of the domain with an interior angle less than $π$. We significantly extend and generalize those results in several aspects. First, we consider the conductive transmission eigenfunctions which include the interior transmission eigenfunctions as a special case. The geometric structures established for the conductive transmission eigenfunctions in this paper include the results in [9] as a special case. Second, the vanishing property of the conductive transmission eigenfunctions is established for any corner as long as its interior angle is not $π$ when the conductive transmission eigenfunctions satisfy certain Herglotz functions approximation properties. That means, as long as the corner singularity is not degenerate, the vanishing property holds if the underlying conductive transmission eigenfunctions can be approximated by a sequence of Herglotz functions under mild approximation rates. Third, the regularity requirements on the interior transmission eigenfunctions in [9] are significantly relaxed in the present study for the conductive transmission eigenfunctions. Finally, as an interesting and practical application of the obtained geometric results, we establish a unique recovery result for the inverse problem associated with the transverse electromagnetic scattering by a single far-field measurement in simultaneously determining a polygonal conductive obstacle and its surface conductive parameter.
△ Less
Submitted 17 June, 2020; v1 submitted 5 November, 2018;
originally announced November 2018.
-
Logarithmic Riemann-Hilbert correspondences for rigid varieties
Authors:
Hansheng Diao,
Kai-Wen Lan,
Ruochuan Liu,
Xinwen Zhu
Abstract:
On any smooth algebraic variety over a $p$-adic local field, we construct a tensor functor from the category of de Rham $p$-adic étale local systems to the category of filtered algebraic vector bundles with integrable connections satisfying the Griffiths transversality, which we view as a $p$-adic analogue of Deligne's classical Riemann--Hilbert correspondence. A crucial step is to construct canon…
▽ More
On any smooth algebraic variety over a $p$-adic local field, we construct a tensor functor from the category of de Rham $p$-adic étale local systems to the category of filtered algebraic vector bundles with integrable connections satisfying the Griffiths transversality, which we view as a $p$-adic analogue of Deligne's classical Riemann--Hilbert correspondence. A crucial step is to construct canonical extensions of the desired connections to suitable compactifications of the algebraic variety with logarithmic poles along the boundary, in a precise sense characterized by the eigenvalues of residues; hence the title of the paper. As an application, we show that this $p$-adic Riemann--Hilbert functor is compatible with the classical one over all Shimura varieties, for local systems attached to representations of the associated reductive algebraic groups.
△ Less
Submitted 30 October, 2022; v1 submitted 15 March, 2018;
originally announced March 2018.
-
Linearized estimate of the backward error for the equality constrained indefinite least squares problem
Authors:
Huai-An Diao,
Tong-Yu Zhou
Abstract:
In this note, we concentrate on the backward error of the equality constrained indefinite least squares problem. For the normwise backward error of the equality constrained indefinite least square problem, we adopt the linearization method to derive the tight estimate for the exact backward normwise error. The numerical examples show that the linearization estimate is effective for the normwise ba…
▽ More
In this note, we concentrate on the backward error of the equality constrained indefinite least squares problem. For the normwise backward error of the equality constrained indefinite least square problem, we adopt the linearization method to derive the tight estimate for the exact backward normwise error. The numerical examples show that the linearization estimate is effective for the normwise backward errors.
△ Less
Submitted 29 January, 2018;
originally announced January 2018.