arXiv subjects

Hao Hu

Publications and source records attributed to Hao Hu.

At least 19 recordsLinked to original sources

arXiv2026

PhotonZip: Lifecycle-Aware Compression for HDF5-Based Synchrotron Workflows

Synchrotron detectors generate data at rates that challenge storage and I/O systems. Compression can reduce data movement, but codec-only measurements do not capture the end-to-end behavior of HDF5 workflows. We present PhotonZip, a lifecycle-aware compression framework that tests candidate modes through a common HDF5 path and selects among eligible measured configurations according to either compression ratio or round-trip throughput. Its modular filters preserve standard HDF5 access when the required plugin is available. Across four beamline-derived datasets, PhotonZip reaches lossless compression ratios up to 1.629$\times$ and HDF5 write throughput up to 3.40GB/s write and 7.75GB/s read. The throughput-oriented configuration achieves 1.529$\times$ lossless data reduction while improving HDF5 write and read throughput by 21.2\% and 15.0\%, respectively. Lossy preview modes provide up to 16$\times$ data reduction and reduce preview latency by up to 8.35~s in the evaluated file-per-rank HDF5 configuration.

cs.DC↗

arXiv2026

An energy-constrained implicit step-and-truncate algorithm and its robust error estimates

Deriving mesh-robust error bounds is an open problem for low-rank methods, including dynamical low-rank (DLR) and step-and-truncate (SAT) approaches, as highlighted in a recent review. Existing bounds can depend on Lipschitz constants that grow with inverse mesh size, making them impractical, particularly for kinetic equations, a major application of low-rank methods. We develop a unified framework for implicit SAT that provides a discrete counterpart of energy-localization analysis for nonlinear partial differential equations. By restricting numerical solutions to energy-localized regions, we obtain one-sided Lipschitz stability with constants independent of spatial resolution. The resulting error estimates and time-step restrictions are mesh robust, answering this open problem for the class of implicit SAT schemes covered by our assumptions. We emphasize that energy localization provides a general mechanism for mesh-independent robust error estimates in low-rank approximation, extending beyond the SAT methods considered here. Analogous results for DLR methods will be presented in subsequent work. Returning to implicit SAT, we demonstrate the broad applicability of the framework through error estimates for different classes of equations. Specifically, for semilinear parabolic and Vlasov--Poisson equations, we establish robust first-order error bounds for backward-Euler SAT under suitable regularity assumptions. Energy localization also has practical implications. We design an energy-constrained implicit SAT algorithm. Implicit SAT methods without energy constraints can select incorrect solution branches even when their algebraic residuals are small. Moreover, time-step reduction can be essential for continuation into larger energy regions. Numerical experiments support these conclusions.

math.NA↗

arXiv2026

Box-Cone Representations of Bound-Factor RLT Constraints in Semidefinite Relaxations

Linear inequalities can generate large constraint systems in semidefinite relaxations of binary quadratic programs, making the quadratic subproblems of splitting methods expensive to solve. We develop a box-cone representation of bound-factor reformulation-linearization technique (RLT) constraints in semidefinite relaxations of binary quadratic programs. These constraints arise by multiplying each original linear inequality by every binary variable and its complement and linearizing the resulting products. Our key observation is that all products generated by one inequality share a common slack and admit an exact representation in the standard cone over the unit box. This box-cone representation processes the inequalities through independent explicit projections, without introducing a separate nonnegative slack for each scalar RLT inequality. We illustrate the computational use of the representation within standard two-block alternating direction method of multipliers (ADMM). The resulting subproblems require linear solves with a reusable factorization and explicit cone projections, without enlarging the semidefinite matrix. Experiments on 257 binary quadratic programs compare this implementation with SDPNAL+. A second application groups Max-Cut triangle inequalities into box cones and uses the resulting bounds within an existing branch-and-bound framework. Tests on 220 graphs show competitive performance with MADAM using only triangle cuts. Together, these applications illustrate the representation's usefulness as a building block for first-order methods.

math.OC↗

arXiv2026

Reconstruction and Symmetry of Two-Token Graphs

We present a proof of the two-token graph reconstruction conjecture. Every finite simple graph $G,H$ of order at least three, $F_2(G) \cong F_2(H)$ if and only if $G \cong H$. We also classify the automorphism groups of two-token graphs whose connected roots have order at least five. Combining these results, we show that, for connected graphs $G,H$ of order at least five, every isomorphism $ϕ:F_2(G)\to F_2(H)$ admits a factorization $ϕ=η\circσ^{(2)}$, where $σ^{(2)}$ is induced by a graph isomorphism $σ:G\to H$, and $η\in \operatorname{Aut}(F_2(H))$ is a product of twin-cut switches or Cartesian exchanges.

math.CO↗

arXiv2026

Exact Convex Reformulations of Binary Quadratic Programs from Facially Reduced Semidefinite Relaxations

We develop MIQCR-FR, a framework for exact convex reformulation from facially reduced semidefinite relaxations of equality-constrained binary quadratic problems. Standard mixed-integer quadratic convex reformulation (MIQCR) uses dual multipliers of the original relaxation. Facial reduction (FR) reduces the semidefinite matrix order, but recovery of the original dual multipliers is not guaranteed in general. For this class of problems, we identify how retaining the linear equalities and their products with each binary variable enables this recovery. An established dual recovery formula gives an explicit extension of every feasible solution of the reduced dual to the original dual, preserving its bound. For approximate multiplier estimates, we give a spectral shift restoring dual feasibility and two constructions optimizing different bounds within a restricted multiplier family. Maximizing the dual bound yields a trust-region subproblem; maximizing the continuous MIQCR bound requires only a reduced eigenvalue calculation. The latter construction enforces convexity directly, rather than full dual feasibility. We implement it using multiplier estimates from the alternating direction method of multipliers (ADMM). On 431 instances from six problem families, the complete method certifies 296 optima, compared with 156 for the conic-bundle method MIQCR-CB and 187 for direct Gurobi under a common time budget.

math.OC↗

arXiv2026

GuideWalk: Learning Unified Autonomous Navigation and Locomotion for Humanoid Robots across Versatile Terrains

Humanoid robots have achieved strong locomotion capabilities, but reliable navigation on versatile terrains remains challenging because obstacle avoidance must be coordinated with dynamically feasible motion. In this work, we present GuideWalk, a unified end-to-end framework that integrates traversability-aware navigation guidance with terrain-adaptive locomotion teacher for humanoid navigation. Specifically, we introduce a navigation module that provides explicit velocity guidance, decoupling obstacle avoidance from terrain conditions to enable robust planning across diverse environments. We propose an efficient two-stage training strategy with composite teacher distillation, where goal-directed commands and dynamically consistent actions are aggregated and distilled into a single policy. To further improve robustness, the distilled policy is refined with reinforcement learning and an auxiliary behavior cloning objective, which promotes exploration while preserving desirable teacher behaviors. Experiments demonstrate that GuideWalk achieves terrain-adaptive, goal-directed obstacle navigation across diverse terrains. Videos are available on our project website: https://guide-walk.github.io/GuideWalk

cs.RO↗

arXiv2026

The Maximum Singularity Degree for Linear and Semidefinite Programming

Facial reduction (FR) is an important tool in linear and semidefinite programming, providing both algorithmic and theoretical insights into these problems. The maximum length of an FR sequence for a convex set is referred to as the maximum singularity degree (MSD). The MSD gives a choice-robust worst-case bound on the number of nontrivial FR steps. It also yields a sufficient rank for a low-rank formulation of the SDP exposing-vector search, while upper bounds on the MSD can serve as proof devices for bounding the singularity degree in structured problem classes. These concrete roles motivate our study of its fundamental properties. In this work, we show that if an FR sequence has the longest length, then it satisfies a certain minimal property. For linear programming (LP), we prove that every minimal FR sequence forms a basis of a fixed vector space. This yields a direct characterization of the longest FR sequences. To study the MSD for semidefinite programming (SDP), we provide several useful tools including simplification and upper-bounding techniques. By leveraging these tools and the characterization for LP problems, we prove that finding a longest FR sequence for SDP problems is NP-hard. This complexity result highlights a striking difference between the shortest and the longest FR sequences for SDP problems.

math.OC↗

arXiv2026

An Exact Dual for Second-Order Cone Programming Using Only Lorentz-Cone Constraints

Without a constraint qualification, second-order cone programs can have a duality gap or an unattained dual value. For every such program with arbitrary real coefficients, we construct an exact dual using only affine equations and memberships in products of Lorentz cones. Every feasible dual point gives a valid bound. Whenever the primal is feasible with finite value, the dual attains that value. This answers a question raised by Pólik and Terlaky and reiterated in subsequent work: whether an exact dual for second-order cone programming can use only Lorentz-cone constraints. The same construction produces an affine second-order cone system that is feasible exactly when a given affine second-order cone system is infeasible, including in the weakly infeasible case. Both formulations have polynomial size and are obtained uniformly from the input coefficients using only fixed rational constants. These are formulation-size results over exact real data; they do not imply polynomial-time solvability or polynomial bounds on the bit length of rational certificates.

math.OC↗

arXiv2026

Affine Facial Reduction for Semidefinite Relaxations of Binary and Mixed-Binary Optimization Problems

Semidefinite programming (SDP) relaxations can provide strong bounds for binary and mixed-binary optimization problems, but their practical use is often limited by matrix variables of large order and by failures of Slater's condition, which can contribute to numerical difficulties for interior-point solvers. We propose \emph{affine facial reduction (affine FR)}, an automatic, LP-based preprocessing method for SDP relaxations of such problems. The method uses the affine hull of the linear programming relaxation to construct a positive semidefinite face containing the lifted feasible set and an associated facial range vector, thereby replacing the original positive semidefinite matrix variable by one of lower order. The required affine-hull information is obtained by solving a single linear programming problem, followed by linear-algebraic computations. We analyze the relation between affine FR, analytical facial reduction, the Permenter--Parrilo partial FR method, and Sieve-SDP, and establish explicit comparisons among the resulting matrix orders for the Shor relaxation. On MIPLIB 2017 mixed-binary instances, affine FR reduces matrix order more often and by a larger amount than the partial-FR variants considered, with comparable preprocessing times. On selected SAT relaxations with substantial reductions, affine FR can shorten SDP solution times and yield more reliable solver outcomes when the unreduced formulations encounter numerical difficulties.

math.OC↗

arXiv2026

Sharp Singularity-Degree Bounds for Equality-Generated SDP-RLT Relaxations of Binary Programs

Singularity degree is an important measure of semidefinite programming (SDP) degeneracy, but it is generally unavailable a priori from the problem data. We augment the Shor relaxation of nonempty binary sets $\{x\in\{0,1\}^n:Ax=b\}$ with the first-level Reformulation-Linearization Technique (RLT) equations generated by the defining linear equalities. For the resulting equality-generated SDP-RLT relaxation, we determine the exact worst-case singularity degree. If $\operatorname{rank}(A)=m$ and $0<m<n$, then the associated relaxation has singularity degree at most $\min\{m,n-m\}$, and this rank-nullity bound is attained for every possible rank in this range. Consequently, the worst-case singularity degree over this class is $\lfloor n/2\rfloor$ for $n\geq 2$. This is strikingly smaller than the sharp general bound $n$ for feasible SDP systems with matrix variables of order $n+1$ (Sturm, 2000, Example 2). Thus, for individual relaxations, rank and nullity provide an a priori bound on the otherwise inaccessible singularity degree and on the Hölder exponent in error bounds estimating distance to feasibility from constraint residuals.

math.OC↗

arXiv2026

T-GMP: Terrain-conditioned Generative Motion Priors for Versatile and Natural Humanoid Locomotion

Achieving both anthropomorphic naturalness and rich motion diversity during terrain traversal remains a fundamental challenge in humanoid locomotion. Existing reinforcement learning approaches typically rely on fixed motion priors, limiting their adaptability to varying environments. We propose Terrain-conditioned Generative Motion Priors (T-GMP), a module that captures a terrain-conditioned latent motion manifold from a few expert state-terrain demonstrations. The learned priors enable smooth style transitions, facilitating a unified policy that adapts to terrain variations. We integrate T-GMP into an adversarial learning pipeline, where a discriminator dynamically modulates naturalness constraints conditioned on local terrain features, guiding the generation of versatile and human-like motions. We further introduce a Foothold Penalty to promote safe foot placement on challenging terrains. Experimental results demonstrate that T-GMP outperforms existing baselines in motion naturalness, motion diversity, and traversal success rates, while preserving physically coordinated motions.

cs.RO↗

arXiv2026

RACER: Reinforced Agent Collaboration for Explainable Reasoning on Knowledge Graphs

Large Language Models (LLMs) often suffer from hallucination and struggle with complex reasoning tasks requiring multi-hop domain knowledge. While integrating Knowledge Graphs (KGs) provides a structured and verifiable information source, current KG-enhanced LLM paradigms usually rely on single-agent path extraction and fixed prompting, lacking adaptability and facing huge search spaces. To address these challenges, we propose RACER, a Reinforced Agent Collaboration framework for Explainable Reasoning on knowledge graphs. RACER employs a semantic-aware action pruning and teacher-guided reinforcement learning mechanism to efficiently extract high-quality reasoning pathways from large-scale KGs. Furthermore, to mitigate single-path generation pitfalls, we introduce a cross-task accumulated shared memory graph paired with an attention-driven multi-path knowledge refinement module. Finally, RACER orchestrates these components through a four-role multi-agent collaboration system (GraphAgent, TemplateAgent, AnswerAgent, and CriticAgent) to dynamically refine prompts and evaluate answers. Extensive experiments on CommonsenseQA and OpenBookQA datasets demonstrate that RACER significantly outperforms state-of-the-art KG-enhanced LLM baselines with an average improvement of 5\%, offering robust and highly interpretable reasoning capabilities.

cs.AI↗

arXiv2026

Face Identification via Polyhedral Relaxations for Binary Programs: A Comparison with Factor-Width Partial Facial Reduction

Facial reduction (FR) is a preprocessing technique used to restore Slater's condition in semidefinite programming (SDP), but each step generally requires solving an auxiliary SDP. Factor-width-$k$ partial FR restricts the class of exposing matrices. Increasing $k$ enlarges this class, but, for $k\geq3$, the auxiliary problem remains an SDP involving positive semidefinite blocks of order $k$. For SDP relaxations of binary programs, we replace this auxiliary SDP by an LP-based face-identification method. We construct a polyhedron in subset-indexed moment variables that has polynomial size for fixed $k$. The resulting face contains every feasible binary lift and is contained in every face exposed by a factor-width-$k$ exposing matrix from the same auxiliary system. Thus, linear programming identifies a face no larger than those obtained from the factor-width-$k$ auxiliary SDP while preserving all feasible binary points. To iterate the construction, we represent each identified face by linear equations in the original matrix variable, thereby retaining the moment-matrix indexing and the factor-width comparison at every iteration.

math.OC↗

arXiv2026

Kimi K2.5: Visual Agentic Intelligence

We introduce Kimi K2.5, an open-source multimodal agentic model designed to advance general agentic intelligence. K2.5 emphasizes the joint optimization of text and vision so that two modalities enhance each other. This includes a series of techniques such as joint text-vision pre-training, zero-vision SFT, and joint text-vision reinforcement learning. Building on this multimodal foundation, K2.5 introduces Agent Swarm, a self-directed parallel agent orchestration framework that dynamically decomposes complex tasks into heterogeneous sub-problems and executes them concurrently. Extensive evaluations show that Kimi K2.5 achieves state-of-the-art results across various domains including coding, vision, reasoning, and agentic tasks. Agent Swarm also reduces latency by up to $4.5\times$ over single-agent baselines. We release the post-trained Kimi K2.5 model checkpoint to facilitate future research and real-world applications of agentic intelligence.

cs.CL↗

arXiv2026

Kimi K3: Open Frontier Intelligence

We introduce Kimi K3, a 2.8T parameter Mixture-of-Experts model with 104 billion activated parameters, native vision capabilities, and a 1-million-token context window. Kimi K3 is built on Kimi Delta Attention and Attention Residuals, which improve information flow across sequence length and model depth. Together with Stable LatentMoE, which effectively activates 16 of 896 routed experts per token, and refined training and data recipes, these advances yield an approximately 2.5x improvement in overall scaling efficiency over Kimi K2. Post-training highlights reinforcement learning across general, agentic, and coding domains and multiple reasoning-effort levels, enabling compositional generalization and robust long-horizon execution. At 2.8T scale, Kimi K3 is supported by infrastructure advances in multiple areas: algorithm-system co-design for KDA, perfectly balanced expert-parallel training with efficient memory management, million-token agentic RL with persistent rollout and sandbox states, and deployment innovations. Extensive evaluations show that Kimi K3 achieves frontier-level performance across long-horizon coding, agentic, knowledge, reasoning, and vision tasks. While its overall performance still trails the most powerful proprietary models, namely Claude Fable 5 and GPT-5.6 Sol, Kimi K3 consistently outperforms other open and proprietary models evaluated in our suite. We release the full Kimi K3 model weights to facilitate future research and accelerate the broader deployment and adoption of frontier intelligence.

cs.CL↗

arXiv2026

Ultrasound Tomography of Musculoskeletal Tissues with Generative Neural Physics

Ultrasound Tomography (UT) is a radiation-free, high-resolution modality, but remains limited for musculoskeletal imaging due to the high computational cost and instability of full-waveform inversion in strongly scattering media. We propose a generative neural physics framework that couples generative networks with physics-informed neural simulation for fast, high-fidelity 3D UT. By learning a compact surrogate of ultrasonic wave propagation from a limited set of cross-modality images, our method merges the accuracy of wave modeling with the efficiency and stability of deep learning. This enables accurate quantitative imaging of in vivo musculoskeletal tissues, producing spatial maps of acoustic properties beyond reflection-mode images. On synthetic and in vivo data of breasts, arms, and legs, we reconstruct 3D maps of tissue parameters in under ten minutes, with sensitivity to acoustic variations in musculoskeletal tissues and resolution comparable to MRI. By overcoming computational bottlenecks in strongly scattering regimes, this approach demonstrates the feasibility of quantitative UT for musculoskeletal imaging and advances its development toward future routine clinical use.

cs.CV↗

arXiv2026

Skillsets on the Chain: A Blockchain-based Zero-Trust Framework for Agentic AI Networking

Agentic AI networking (AgentNet) systems rely heavily on third-party skillset implementations and distributed multi-agent collaboration, yet they face major claim-to-capability inconsistencies and security vulnerabilities under trust-by-declaration assumptions. To bridge this gap, this paper proposes TrustAgentNet, a dual-tier blockchain-secured zero-trust framework. Specifically, a global Chain of Skillsets (CoS) governs the lifecycle of skillset metadata with protocols empowered by specialized agents to enforce off-chain auditing while maintaining lightweight on-chain cryptographic consensus. Furthermore, transient, task-oriented Chains of Collaboration (CoC) are dynamically established to enable trustless distributed multi-agent collaboration. Theoretical analysis of the three-way trade-off among security level, task performance, and resource overhead is provided and empirically validated. Experimental results on a hardware prototype demonstrate that compared with no-blockchain trust-by-default baselines, the zero-trust overhead of TrustAgentNet is dominated by off-chain inference, while the blockchain layer incurs minor ledger costs via the ledger-IPFS storage and on/off-chain integration design. Crucially, the proposed verification pipeline achieves a flawless 100% accuracy across 50 AI models, correctly validating 40 honest skillsets and intercepting 10 adversarial ones, and generalizes to non-AI domains with an 83.91% accuracy and a 0.85 F1-score across 1478 features from 171 ClawHub skills. Adversarial experiments further show that TrustAgentNet enables autonomous skillset self-recovery against various malicious attacks.

cs.CR↗

arXiv2026

A Primal Approach to Facial Reduction for SDP Relaxations of Combinatorial Optimization Problems

We propose a novel facial reduction algorithm tailored to semidefinite programming relaxations of combinatorial optimization problems with quadratic objective functions. Our method leverages the specific structure of these relaxations, particularly the availability of feasible solutions that can often be generated efficiently in practice. By incorporating such solutions into the facial reduction process, we substantially simplify the reduction steps. On average, our facial reduction algorithm is four times faster than the standard implementation on the considered benchmark sets, providing significantly improved preprocessing for SDP relaxations in combinatorial optimization.

math.OC↗