arXiv subjects

Duy Ho

Publications and source records attributed to Duy Ho.

16 recordsLinked to original sources

arXiv2026

On systematicity of linear function-correcting codes

The standard formulation of function-correcting codes uses systematic encodings. We study the redundancy cost of this constraint when both the prescribed function and the encoding are linear. We introduce the function-separation distance and show that several classical unequal error protection parameters are special cases. For linear functions and encodings, this distance is the first relative generalized Hamming weight of the code relative to the encoded kernel. We formulate free and systematic linear separation problems. We prove that the optimal free redundancy depends only on the rank of the function, and determine the optimal systematic redundancy for prescribed separations $d\leq3$.

cs.IT↗

arXiv2026

Hermitian hull-variation of vector rank-metric codes and self-orthogonal generalized Gabidulin codes

We study the Hermitian hull-variation problem for vector rank-metric codes. Except for one parameter pair, we show that the Hermitian hull dimension of such a code can be reduced to any smaller value within its equivalence class, and in particular every such code is equivalent to a Hermitian LCD code. We then address the existence of maximum rank distance (MRD) codes with prescribed Hermitian hull dimension. To this end, we introduce the notion of a \emph{scaled trace-self-dual basis} of a finite field extension, which exists in all cases, and use it to construct Hermitian self-orthogonal generalized Gabidulin codes for every prime power. Combined with the hull-variation theorem, this yields MRD codes attaining every admissible Hermitian hull dimension.

cs.IT↗

arXiv2026

On the equivalence between additive and linear codes

Additive codes have attracted considerable attention for their potential to outperform linear codes. However, distinguishing strictly additive codes from those that are equivalent to linear codes remains a fundamental challenge. To resolve this ambiguity, we introduce a deterministic test that requires only the generator matrix of the code. We apply this test to verify the strict additivity of several quaternary additive codes recently reported in the literature. Conversely, we demonstrate that a previously known additive complementary dual (ACD) code is equivalent to a linear Hermitian LCD code, thereby improving the best-known bounds for such linear codes.

cs.IT↗

arXiv2026

Clinical Knowledge Graph Construction and Evaluation with Multi-LLMs via Retrieval-Augmented Generation

Large language models (LLMs) offer new opportunities for constructing knowledge graphs (KGs) from unstructured clinical narratives. However, existing approaches often rely on structured inputs and lack robust validation of factual accuracy and semantic consistency, limitations that are especially problematic in oncology. We introduce an end-to-end framework for clinical KG construction and evaluation directly from free text using multi-agent prompting and a schema-constrained Retrieval-Augmented Generation (KG-RAG) strategy. Our pipeline integrates (1) prompt-driven entity, attribute, and relation extraction; (2) entropy-based uncertainty scoring; (3) ontology-aligned RDF/OWL schema generation; and (4) multi-LLM consensus validation for hallucination detection and semantic refinement. Beyond static graph construction, the framework supports continuous refinement and self-supervised evaluation, enabling iterative improvement of graph quality. Applied to two oncology cohorts (PDAC and BRCA), our method produces interpretable, SPARQL-compatible, and clinically grounded knowledge graphs without relying on gold-standard annotations. Experimental results demonstrate consistent gains in precision, relevance, and ontology compliance over baseline methods.

cs.AI↗

arXiv2025

PathFormer: A Transformer with 3D Grid Constraints for Digital Twin Robot-Arm Trajectory Generation

Robotic arms require precise, task-aware trajectory planning, yet sequence models that ignore motion structure often yield invalid or inefficient executions. We present a Path-based Transformer that encodes robot motion with a 3-grid (where/what/when) representation and constraint-masked decoding, enforcing lattice-adjacent moves and workspace bounds while reasoning over task graphs and action order. Trained on 53,755 trajectories (80% train / 20% validation), the model aligns closely with ground truth -- 89.44% stepwise accuracy, 93.32% precision, 89.44% recall, and 90.40% F1 -- with 99.99% of paths legal by construction. Compiled to motor primitives on an xArm Lite 6 with a depth-camera digital twin, it attains up to 97.5% reach and 92.5% pick success in controlled tests, and 86.7% end-to-end success across 60 language-specified tasks in cluttered scenes, absorbing slips and occlusions via local re-grounding without global re-planning. These results show that path-structured representations enable Transformers to generate accurate, reliable, and interpretable robot trajectories, bridging graph-based planning and sequence-based learning and providing a practical foundation for general-purpose manipulation and sim-to-real transfer.

cs.RO↗

arXiv2025

GRIP: A Unified Framework for Grid-Based Relay and Co-Occurrence-Aware Planning in Dynamic Environments

Robots navigating dynamic, cluttered, and semantically complex environments must integrate perception, symbolic reasoning, and spatial planning to generalize across diverse layouts and object categories. Existing methods often rely on static priors or limited memory, constraining adaptability under partial observability and semantic ambiguity. We present GRIP, Grid-based Relay with Intermediate Planning, a unified, modular framework with three scalable variants: GRIP-L (Lightweight), optimized for symbolic navigation via semantic occupancy grids; GRIP-F (Full), supporting multi-hop anchor chaining and LLM-based introspection; and GRIP-R (Real-World), enabling physical robot deployment under perceptual uncertainty. GRIP integrates dynamic 2D grid construction, open-vocabulary object grounding, co-occurrence-aware symbolic planning, and hybrid policy execution using behavioral cloning, D* search, and grid-conditioned control. Empirical results on AI2-THOR and RoboTHOR benchmarks show that GRIP achieves up to 9.6% higher success rates and over $2\times$ improvement in path efficiency (SPL and SAE) on long-horizon tasks. Qualitative analyses reveal interpretable symbolic plans in ambiguous scenes. Real-world deployment on a Jetbot further validates GRIP's generalization under sensor noise and environmental variation. These results position GRIP as a robust, scalable, and explainable framework bridging simulation and real-world navigation.

cs.RO↗

arXiv2025

On the hull-variation problem of equivalent vector rank metric codes

The intersection of a linear code with its dual is called the hull of the code. It is known that, for classical linear codes under the Hamming-metric, the dimension of the hull can be reduced up to equivalence. This phenomenon leads to the so-called hull-variation problem formulated by Hao Chen in 2023. In this paper, we consider the analogous problem for vector rank-metric codes, along with their associated matrix codes and extended block codes. Our results include the fact that every vector rank-metric code over any finite field $\mathbb{F}_q$, in particular when $q=2$ or $q=3$, is equivalent to an LCD code.

cs.IT↗

arXiv2025

Linear Complementary Pairs of Quasi-Cyclic and Quasi-Twisted Codes

In this paper, we provide a polynomial characterization of linear complementary pairs of quasi-cyclic and quasi-twisted codes of index 2. We also give several examples of linear complementary pairs of quasi-cyclic and quasi-twisted codes with optimal security parameters.

cs.IT↗

arXiv2025

Linear complementary dual quasi-cyclic codes of index 2

We provide a polynomial approach to investigate linear complementary dual (LCD) quasi-cyclic codes over finite fields. We establish necessary and sufficient conditions for LCD quasi-cyclic codes of index 2 with respect to the Euclidean, Hermitian, and symplectic inner products. As a consequence of these characterizations, we derive necessary and sufficient conditions for LCD one-generator quasi-cyclic codes. Furthermore, using these characterizations, we construct some new quasi-cyclic LCD codes over small fields.

cs.IT↗

arXiv2024

Ovoids in the cyclic presentation of PG(3,q)

We consider the cyclic presentation of $PG(3,q)$ whose points are in the finite field $\mathbb{F}_{q^4}$ and describe the known ovoids therein. We revisit the set $\mathcal{O}$, consisting of $(q^2+1)$-th roots of unity in $\mathbb{F}_{q^4}$, and prove that it forms an elliptic quadric within the cyclic presentation of $PG(3,q)$. Additionally, following the work of Glauberman on Suzuki groups, we offer a new description of Suzuki-Tits ovoids in the cyclic presentation of $PG(3,q)$, characterizing them as the zeroes of a polynomial over $\mathbb{F}_{q^4}$.

math.CO↗

arXiv2021

A family of flat Minkowski planes over convex functions

Using suitable convex functions, we construct a new family of flat Minkowski planes whose automorphism groups are at least $3$-dimensional. These planes admit groups of automorphisms isomorphic to the direct product of $\mathbb{R}$ and the connected component of the affine group on $\mathbb{R}$. We also determine isomorphism classes, automorphisms and possible Klein-Kroll types for our examples.

math.GT↗

arXiv2020

Extended cyclic codes, maximal arcs and ovoids

We show that extended cyclic codes over $\mathbb{F}_q$ with parameters $[q+2,3,q]$, $q=2^m$, determine regular hyperovals. We also show that extended cyclic codes with parameters $[qt-q+t,3,qt-q]$, $1<t<q$, determine (cyclic) Denniston maximal arcs. Similarly, cyclic codes with parameters $[q^2+1,4,q^2-q]$ are equivalent to ovoid codes obtained from elliptic quadrics in $PG(3,q)$. Finally, we give new simple presentations of Denniston maximal arcs in $PG(2,q)$ and elliptic quadrics in $PG(3,q)$.

math.CO↗

arXiv2020

Polar coordinates view on KM-arcs

We study presentations of KM-arcs in polar coordinates. New characterizations on the points set of KM-arcs are obtained in terms of power sums and bilinear forms. We also construct some examples of KM-arcs in this presentation.

math.CO↗

arXiv2019

Vandermonde sets and hyperovals

We consider relationships between Vandermonde sets and hyperovals. Hyperovals are Vandermonde sets, but, in general, Vandermonde sets are not hyperovals. We give necessary and sufficient conditions for a Vandermonde set to be a hyperoval. Therefore, we provide purely algebraic criteria for existence of hyperovals. Furthermore, we give necessary and sufficient conditions for the existence of hyperovals in terms of $g$-functions, which can be considered as an analog of Glynn's Theorem for o-polynomials.

math.CO↗

arXiv2018

Three-dimensional connected groups of automorphisms of toroidal circle planes

We contribute to the classification of toroidal circle planes and flat Minkowski planes possessing three-dimensional connected groups of automorphisms. When such a group is an almost simple Lie group, we show that it is isomorphic to $\text{PSL}(2,\mathbb{R})$. Using this result, we describe a framework for the full classification based on the action of the group on the point set.

math.GT↗

arXiv2017

On automorphism groups of toroidal circle planes

Schenkel proved that the automorphism group of a flat Minkowski plane is a Lie group of dimension at most 6 and described planes whose automorphism group has dimension at least 4 or one of whose kernels has dimension 3. We extend these results to the case of toroidal circle planes.

math.GT↗