arXiv subjects

Huijun Hou

Publications and source records attributed to Huijun Hou.

6 recordsLinked to original sources

arXiv2026

SAFE-G: Structure-aware Faithful Evidence-guided Generation for Knowledge-based Visual Question Answering

Knowledge-based Visual Question Answering (KB-VQA) aims to answer queries that necessitate reasoning over external knowledge sources beyond the visual content. Typically, current methods fuse multimodal features to retrieve external information, subsequently leveraging Multimodal Large Language Models (MLLMs) to derive answers from the retrieved evidence. However, these methods often struggle to capture structural associations within complex contexts to effectively filter noise. Furthermore, they frequently fail to ensure that the reasoning process remains strictly faithful to the retrieved evidence. To address these challenges, we propose SAFE-G, a Structure-Aware Faithful Evidence-guided Generation framework, which enables precise evidence localization and trustworthy reasoning. Specifically, we first employ a coarse-grained hybrid search fusing visual and textual modalities to recall candidate documents, and subsequently implement a structure-aware fine-grained graph retrieval that captures structural dependencies to filter noise and pinpoint precise evidence. Moreover, we introduce a reinforcement learning (RL) strategy with an evidence-grounded reward that assigns credit to correct answers only when the selected evidence is correct. This strict alignment constraint compels the model to anchor its response in the retrieved context, effectively enhancing its capability to locate evidence via multimodal features and perform faithful reasoning. Extensive experiments on the Encyclopedic-VQA and InfoSeek benchmarks demonstrate that SAFE-G outperforms prior methods by a margin of 8.9% and 3.5%, substantially enhancing the overall reasoning accuracy. Our source code is publicly available at: https://github.com/MINE-USTC/SAFE-G.

cs.CV↗

arXiv2026

Stone duality of Lawson compact algebraic L-domain

In this paper, a subclass of bounded distributive lattices, that is, finitely disjunctive distributive lattices (FDD-lattices) have been introduced. Then we apply it to establish a Stone duality for Lawson compact algebraic L-domains. Furthermore, we develop a dual equivalence between the category of FDD-lattices with lattice homomorphisms and that of Lawson compact algebraic L-domains with spectral maps.

math.GN↗

arXiv2025

Posets uniquely determined by its compact saturated subsets

Inspired by Zhao and Xu's study on which a dcpo can be determined by its Scott closed subsets lattice, we further investigate whether a poset (or dcpo) $P$ is able to be determined by the family $\mathcal Q(P)$ of its Scott compact saturated subsets, in the sense that the isomorphism between $(\mathcal Q(P), \supseteq)$ and $(\mathcal Q(M), \supseteq)$ implies the isomorphism between $P$ and $M$ for any poset (or dcpo) $M$, in such case, $P$ is called $\mathcal Q_σ$-unique. Quasicontinuous domains are proved to be $\mathcal Q_σ$-unique posets and draw support from which, we provide a class of $\mathcal Q_σ$-unique dcpos. We also define a new kind of posets called $K_D$ and show that every co-sober $K_D$ poset is $\mathcal Q_σ$-unique. It even yields another kind of $\mathcal Q_σ$-unique dcpos. It is gratifying that weakly well-filtered co-sober posets are also $\mathcal Q_σ$-unique. At last, we distinguish among the conditions which make a poset (or dcpo) $\mathcal Q_σ$-unique from each other by some examples; meanwhile, it is confirmed that none of them except the property of being co-sober are necessary for a poset (or dcpo) to be $\mathcal Q_σ$-unique.

math.GN↗

arXiv2024

The category of well-filtered dcpos is not $Γ$-faithful

The Ho-Zhao problem asks whether any two dcpo's with isomorphic Scott closed set lattices are themselves isomorphic, that is, whether the category $\mathbf{DCPO}$ of dcpo's and Scott-continuous maps is $Γ$-faithful. In 2018, Ho, Goubault-Larrecq, Jung and Xi answered this question in the negative, and they introduced the category $\mathbf{DOMI}$ of dominated dcpo's and proved that it is {$Γ$-faithful}. Dominated dcpo's subsume many familiar families of dcpo's in domain theory, such as the category of bounded-complete dcpo's and that of sober dcpo's, among others. However, it is unknown whether the category of dominated dcpo's dominates all well-filtered dcpo's, a class strictly larger than that of bounded-complete lattices and that of sober dcpo's. In this paper, we address this very natural question and show that the category $\mathbf{WF}$ of well-filtered dcpo's is not $Γ$-faithful, and as a result of it, well-filtered dcpo's need not be dominated in general. Since not all dcpo's are well-filtered, our work refines the results of Ho, Goubault-Larrecq, Jung and Xi. As a second contribution, we confirm that the Lawson's category of $Ω^{*}$-compact dcpo's is $Γ$-faithful. Moreover, we locate a class of dcpo's which we call weakly dominated dcpo's, and show that this class is $Γ$-faithful and strictly larger than $\mathbf{DOMI}$.

cs.LO↗

arXiv2023

Commutation of Smyth and Hoare Power Constructions in Well-filtered Dcpos

Prior work [11] established a commutativity result for the Hoare power construction and a modified version of the Smyth power construction consisting of strongly compact sets, which is defined for Us-admitting dcpos, where Us-admissability is well-filteredness with compact sets replaced by strongly compact sets. In this paper, we consider the Hoare power construction H and the Smyth power construction Q on the category WF of well-filtered dcpos with Scott-continuous maps. Actually, the functors H and Q can be extended to monads. We prove that H and Q commute, that is, HQ(L) is isomorphic to QH(L) for a well-filtered dcpo L, if and only if L satisfies a property similar to consonance that we call (KC) and the Scott topology coincides with the upper Vietoris topology on Q(L). We also investigate the Eilenberg-Moore category of the monad composed by H and Q under a distributive law on WF and characterize it to be a subcategory of the category Frm, which is composed of all frames and all frame homomorphisms.

math.CT↗

arXiv2023

Weakly meet $s_{Z}$-continuity and $δ_{Z}$-continuity

Based on the concept of weakly meet $s_{Z}$-continuouity put forward by Xu and Luo in \cite{qzm}, we further prove that if the subset system $Z$ satisfies certain conditions, a poset is $s_{Z}$-continuous if and only if it is weakly meet $s_{Z}$-continuous and $s_{Z}$-quasicontinuous, which improves a related result given by Ruan and Xu in \cite{sz}. Meanwhile, we provide a characterization for the poset to be weakly meet $s_{Z}$-continuous, that is, a poset with a lower hereditary $Z$-Scott topology is weakly meet $s_{Z}$-continuous if and only if it is locally weakly meet $s_{Z}$-continuous. In addition, we introduce a monad on the new category $\mathbf{POSET_δ}$ and characterize its $Eilenberg$-$Moore$ algebras concretely.

math.GN↗