Searcharxiv⌕ Search

arXiv subjects

Xiaohong Zhang

Publications and source records attributed to Xiaohong Zhang.

At least 37 records · Page 2Linked to original sources

m-distance-regular graphs and their relation to multivariate P-polynomial association schemes

An association scheme is $P$-polynomial if and only if it consists of the distance matrices of a distance-regular graph. Recently, bivariate $P$-polynomial association schemes of type $(α,β)$ were introduced by Bernard et al., and multivariate $P$-polynomial association schemes were later defined by Bannai et al. In this paper, the notion of $m$-distance-regular graph is defined and shown to give a graph interpretation of the multivariate $P$-polynomial association schemes. Various examples are provided. Refined structures and additional constraints for multivariate $P$-polynomial association schemes and $m$-distance-regular graphs are also considered. In particular, bivariate $P$-polynomial schemes of type $(α, β)$ are discussed, and their connection to 2-distance-regular graphs is established.

math.CO↗

On State Estimation in Multi-Sensor Fusion Navigation: Optimization and Filtering

The essential of navigation, perception, and decision-making which are basic tasks for intelligent robots, is to estimate necessary system states. Among them, navigation is fundamental for other upper applications, providing precise position and orientation, by integrating measurements from multiple sensors. With observations of each sensor appropriately modelled, multi-sensor fusion tasks for navigation are reduced to the state estimation problem which can be solved by two approaches: optimization and filtering. Recent research has shown that optimization-based frameworks outperform filtering-based ones in terms of accuracy. However, both methods are based on maximum likelihood estimation (MLE) and should be theoretically equivalent with the same linearization points, observation model, measurements, and Gaussian noise assumption. In this paper, we deeply dig into the theories and existing strategies utilized in both optimization-based and filtering-based approaches. It is demonstrated that the two methods are equal theoretically, but this equivalence corrupts due to different strategies applied in real-time operation. By adjusting existing strategies of the filtering-based approaches, the Monte-Carlo simulation and vehicular ablation experiments based on visual odometry (VO) indicate that the strategy adjusted filtering strictly equals to optimization. Therefore, future research on sensor-fusion problems should concentrate on their own algorithms and strategies rather than state estimation approaches.

cs.RO↗

Lung Nodule Segmentation and Uncertain Region Prediction with an Uncertainty-Aware Attention Mechanism

Radiologists possess diverse training and clinical experiences, leading to variations in the segmentation annotations of lung nodules and resulting in segmentation uncertainty.Conventional methods typically select a single annotation as the learning target or attempt to learn a latent space comprising multiple annotations. However, these approaches fail to leverage the valuable information inherent in the consensus and disagreements among the multiple annotations. In this paper, we propose an Uncertainty-Aware Attention Mechanism (UAAM) that utilizes consensus and disagreements among multiple annotations to facilitate better segmentation. To this end, we introduce the Multi-Confidence Mask (MCM), which combines a Low-Confidence (LC) Mask and a High-Confidence (HC) Mask.The LC mask indicates regions with low segmentation confidence, where radiologists may have different segmentation choices. Following UAAM, we further design an Uncertainty-Guide Multi-Confidence Segmentation Network (UGMCS-Net), which contains three modules: a Feature Extracting Module that captures a general feature of a lung nodule, an Uncertainty-Aware Module that produces three features for the the annotations' union, intersection, and annotation set, and an Intersection-Union Constraining Module that uses distances between the three features to balance the predictions of final segmentation and MCM. To comprehensively demonstrate the performance of our method, we propose a Complex Nodule Validation on LIDC-IDRI, which tests UGMCS-Net's segmentation performance on lung nodules that are difficult to segment using common methods. Experimental results demonstrate that our method can significantly improve the segmentation performance on nodules that are difficult to segment using conventional methods.

eess.IV↗

A bivariate $Q$-polynomial structure for the non-binary Johnson scheme

The notion of multivariate $P$- and $Q$-polynomial association scheme has been introduced recently, generalizing the well-known univariate case. Numerous examples of such association schemes have already been exhibited. In particular, it has been demonstrated that the non-binary Johnson scheme is a bivariate $P$-polynomial association scheme. We show here that it is also a bivariate $Q$-polynomial association scheme for some parameters. This provides, with the $P$-polynomial structure, the bispectral property (i.e. the recurrence and difference relations) of a family of bivariate orthogonal polynomials made out of univariate Krawtchouk and dual Hahn polynomials. The algebra based on the bispectral operators is also studied together with the subconstituent algebra of this association scheme.

math.CO↗

Improving ChatGPT Prompt for Code Generation

Automated code generation can be a powerful technique for software development, significantly reducing developers' efforts and time required to create new code by generating it automatically based on requirements. Recently, OpenAI's language model ChatGPT has emerged as a powerful tool for generating human-like responses to a wide range of textual inputs (i.e., prompts), including those related to code generation. However, the effectiveness of ChatGPT for code generation is not well understood, and the generation performance could be heavily influenced by the choice of prompt. To answer these questions, we conducted experiments using the CodeXGlue dataset to evaluate ChatGPT's capabilities for two code generation tasks, including text-to-code and code-to-code generation. We designed prompts by leveraging the chain-of-thought strategy with multi-step optimizations. Our results showed that by carefully designing prompts to guide ChatGPT, the generation performance can be improved substantially. We also analyzed the factors that influenced the prompt design and provided insights that could guide future research.

cs.SE↗

State Transfer in Complex Quantum Walks

Given a graph with Hermitian adjacency matrix $H$, perfect state transfer occurs from vertex $a$ to vertex $b$ if the $(b,a)$-entry of the unitary matrix $\exp(-iHt)$ has unit magnitude for some time $t$. This phenomenon is relevant for information transmission in quantum spin networks and is known to be monogamous under real symmetric matrices. We prove the following results: 1. For oriented graphs (whose nonzero weights are $\pm i$), the oriented $3$-cycle and the oriented edge are the only graphs where perfect state transfer occurs between every pair of vertices. This settles a conjecture of Cameron et al. On the other hand, we construct an infinite family of oriented graphs with perfect state transfer between any pair of vertices on a subset of size four. 2. There are infinite families of Hermitian graphs with one-way perfect state transfer, where perfect state transfer occurs without periodicity. In contrast, perfect state transfer implies periodicity whenever the adjacency matrix has algebraic entries (as shown by Godsil). 3. There are infinite families with non-monogamous pretty good state transfer in rooted graph products. In particular, we generalize known results on double stars (due to Fan and Godsil) and on paths with loops (due to Kempton, Lippner and Yau). The latter extends the experimental observation of quantum transport (made by Zimborás et al.) and shows non-monogamous pretty good state transfer can occur amongst distant vertices.

math.CO↗

A new technology perspective of the Metaverse: its essence, framework and challenges

The Metaverse depicts a parallel digitalized world where virtuality and reality are fused. It has economic and social systems like those in the real world and provides intelligent services and applications. In this paper, we introduce the Metaverse from a new technology perspective, including its essence, corresponding technical framework, and potential technical challenges. Specifically, we analyze the essence of the Metaverse from its etymology and point out breakthroughs promising to be made in time, space, and contents of the Metaverse by citing Maslow's Hierarchy of Needs. Subsequently, we conclude four pillars of the Metaverse, named ubiquitous connections, space convergence, virtuality and reality interaction, and human-centered communication, and establish a corresponding technical framework. Additionally, we envision open issues and challenges of the Metaverse in the technical aspect. The work proposes a new technology perspective of the Metaverse and will provide further guidance for its technology development in the future.

cs.CY↗

Partial Residuated Implications Derived from Partial Triangular Norms and Partial Residuated Lattices

In this paper, we reveal some relations between fuzzy logic and quantum logic, and mainly study the partial residuated implications (PRIs) derived from partial triangular norms (partial t-norms) and partial residuated lattices (PRLs), and expand some results in the article "material implication in lattice effect algebra". Firstly, according to the concept of partial triangular norms given by Borzooei, we introduce the connection between lattice effect algebra and partial t-norms, and prove that partial operations in any commutative quasiresiduated lattice are partial t-norms. Secondly, we give the general form of partial residuated implications and the concept of partial fuzzy implications (PFIs), and the condition that partial residuated implication is a fuzzy implication is given. We also prove that each partial residuated implication is a partial fuzzy implication. Thirdly, we propose the partial residuated lattice and study their basic properties, to discuss the corresponding relationship between PRLs and lattice effect algebras (LEAs), to further reveal the relationship between LEAs and residuated partial algebras. In addition, like the definition of partial t-norms, we also propose the concepts of partial triangular conorms (partial t-conorms) and corresponding partial co-residuated lattices (PcRLs). Finally, based on partial residuated lattices, we give the definition of well partial residuated lattices (wPRLs), study the filter of well partial residuated lattices, and then construct quotient structure of partial residuated lattices.

cs.LO↗

Fractional revival on non-cospectral vertices

Perfect state transfer and fractional revival can be used to move information between pairs of vertices in a quantum network. While perfect state transfer has received a lot of attention, fractional revival is newer and less studied. One problem is to determine the differences between perfect state transfer and fractional revival. If perfect state transfer occurs between two vertices in a graph, the vertices must be cospectral. Further if there is perfect state transfer between vertices $a$ and $b$ in a graph, there cannot be perfect state transfer from $a$ to any other vertex. No examples of unweighted graphs with fractional revival between non-cospectral vertices were known; here we give an infinite family of such graphs. No examples of unweighted graphs where the pairs involved in fractional revival overlapped were known; we give examples of such graphs as well.

math.CO↗

Semi-overlap Functions and Novel Fuzzy Reasoning Algorithms with Applications

It is worth noticing that a fuzzy conjunction and its corresponding fuzzy implication can form a residual pair if and only if it is left-continuous. In order to get a more general result related on residual implications that induced by aggregation functions, we relax the definition of general overlap functions, more precisely, removing its right-continuous, and then introduce a new kind of aggregation functions, which called semi-overlap functions. Subsequently, we study some of their related algebraic properties and investigate their corresponding residual implications. Moreover, serval scholars have provided kinds of methods for fuzzy modus ponens (FMP,for short) problems so far, such as Zadeh's compositional rule of inference (CRI, for short), Wang's triple I method (TIM, for short) and the quintuple implication principle (QIP, for short). Compared with CRI and TIM methods, QIP method has some advantages in solving FMP problems, in this paper, we further consider the QIP method for FMP problems and prove that it satisfies the reducibility of multiple-rules fuzzy reasoning. Finally, we propose a new classification algorithm that based on semi-overlap functions and QIP method, which called SO5I-FRC algorithm. Through the comparative tests, the average accuracy of SO5I-FRC algorithm is higher than FARC-HD algorithm. The experimental results indicate that semi-overlap functions and QIP method have certain advantages and a wide range of applications in classification problems.

math.LO↗

Hadamard diagonalizable graphs of order at most 36

If the Laplacian matrix of a graph has a full set of orthogonal eigenvectors with entries $\pm1$, then the matrix formed by taking the columns as the eigenvectors is a Hadamard matrix and the graph is said to be Hadamard diagonalizable. In this article, we prove that if $n=8k+4$ the only possible Hadamard diagonalizable graphs are $K_n$, $K_{n/2,n/2}$, $2K_{n/2}$, and $nK_1$, and we develop an efficient computation for determining all graphs diagonalized by a given Hadamard matrix of any order. Using these two tools, we determine and present all Hadamard diagonalizable graphs up to order 36. Note that it is not even known how many Hadamard matrices there are of order 36.

math.CO↗

Unsupervised Hierarchical Graph Representation Learning by Mutual Information Maximization

Graph representation learning based on graph neural networks (GNNs) can greatly improve the performance of downstream tasks, such as node and graph classification. However, the general GNN models do not aggregate node information in a hierarchical manner, and can miss key higher-order structural features of many graphs. The hierarchical aggregation also enables the graph representations to be explainable. In addition, supervised graph representation learning requires labeled data, which is expensive and error-prone. To address these issues, we present an unsupervised graph representation learning method, Unsupervised Hierarchical Graph Representation (UHGR), which can generate hierarchical representations of graphs. Our method focuses on maximizing mutual information between "local" and high-level "global" representations, which enables us to learn the node embeddings and graph embeddings without any labeled data. To demonstrate the effectiveness of the proposed method, we perform the node and graph classification using the learned node and graph embeddings. The results show that the proposed method achieves comparable results to state-of-the-art supervised methods on several benchmarks. In addition, our visualization of hierarchical representations indicates that our method can capture meaningful and interpretable clusters.

cs.LG↗

Antimagic orientations of graphs with large maximum degree

Given a digraph $D$ with $m $ arcs, a bijection $τ: A(D)\rightarrow \{1, 2, \ldots, m\}$ is an antimagic labeling of $D$ if no two vertices in $D$ have the same vertex-sum, where the vertex-sum of a vertex $u $ in $D$ under $τ$ is the sum of labels of all arcs entering $u$ minus the sum of labels of all arcs leaving $u$. We say $(D, τ)$ is an antimagic orientation of a graph $G$ if $D$ is an orientation of $G$ and $τ$ is an antimagic labeling of $D$. Motivated by the conjecture of Hartsfield and Ringel from 1990 on antimagic labelings of graphs, Hefetz, Mütze, and Schwartz in 2010 initiated the study of antimagic orientations of graphs, and conjectured that every connected graph admits an antimagic orientation. This conjecture seems hard, and few related results are known. However, it has been verified to be true for regular graphs and biregular bipartite graphs. In this paper, we prove that every connected graph $G$ on $n\ge9$ vertices with maximum degree at least $n-5$ admits an antimagic orientation.

math.CO↗

Switching and partially switching the hypercube while maintaining perfect state transfer

A graph is said to exhibit perfect state transfer (PST) if one of its corresponding Hamiltonian matrices, which are based on the vertex-edge structure of the graph, gives rise to PST in a quantum information-theoretic context, namely with respect to inter-qubit interactions of a quantum system. We perform various perturbations to the hypercube graph---a graph that is known to exhibit PST---to create graphs that maintain many of the same properties of the hypercube, including PST as well as the distance for which PST occurs. We show that the sensitivity with respect to readout time errors remains unaffected for the vertices involved in PST. We give motivation for when these perturbations may be physically desirable or even necessary.

math.CO↗

Ambient Electro-Synthesis of Ammonia - Electrode Porosity and Composition Engineering

Ammonia, key precursor for fertilizer production, convenient hydrogen carrier and emerging clean fuel, plays a pivotal role in sustaining life on earth. Currently, the main route for NH3 synthesis is via the heterogeneous catalytic Haber-Bosch process (N2+3H2 - 2NH3), which proceeds under extreme conditions of temperature and pressure with a very large carbon footprint. Herein we report that a pristine nitrogen-doped nanoporous graphitic carbon membrane (NCM) can electrochemically convert N2 into NH3 in an aqueous acidic solution under ambient conditions. The Faradaic efficiency and rate of production of NH3 on the NCM electrode reach 5.2% and 0.08 g m-2 h-1, respectively. After functionalization of the NCM with Au nanoparticles (Au NPs) these performance metrics are dramatically enhanced to 22% and 0.36 g m-2 h-1, respectively. These efficiencies and rates for the production of NH3 at room temperature and atmospheric pressure are unprecedented. As this system offers the potential to be scaled to industrial proportions there is a high likelihood it might displace the century old Haber-Bosch process.

physics.chem-ph↗

Perfect quantum state transfer in weighted paths with potentials (loops) using orthogonal polynomials

A simple method for transmitting quantum states within a quantum computer is via a quantum spin chain---that is, a path on $n$ vertices. Unweighted paths are of limited use, and so a natural generalization is to consider weighted paths; this has been further generalized to allow for loops (\emph{potentials} in the physics literature). We study the particularly important situation of perfect state transfer with respect to the corresponding adjacency matrix or Laplacian through the use of orthogonal polynomials. Low-dimensional examples are given in detail. Our main result is that PST with respect to the Laplacian matrix cannot occur for weighted paths on $n\geq 3$ vertices nor can it occur for certain symmetric weighted trees. The methods used lead us to a conjecture directly linking the rationality of the weights of weighted paths on $n>3$ vertices, with or without loops, with the capacity for PST between the end vertices with respect to the adjacency matrix.

quant-ph↗

Perfect quantum state transfer using Hadamard diagonalizable graphs

Quantum state transfer within a quantum computer can be achieved by using a network of qubits, and such a network can be modelled mathematically by a graph. Here, we focus on the corresponding Laplacian matrix, and those graphs for which the Laplacian can be diagonalized by a Hadamard matrix. We give a simple eigenvalue characterization for when such a graph has perfect state transfer at time $π/2$; this characterization allows one to choose the correct eigenvalues to build graphs having perfect state transfer. We characterize the graphs that are diagonalizable by the standard Hadamard matrix, showing a direct relationship to cubelike graphs. We then give a number of constructions producing a wide variety of new graphs that exhibit perfect state transfer, and we consider several corollaries in the settings of both weighted and unweighted graphs, as well as how our results relate to the notion of pretty good state transfer. Finally, we give an optimality result, showing that among regular graphs of degree at most $4$, the hypercube is the sparsest Hadamard diagonalizable connected unweighted graph with perfect state transfer.

quant-ph↗