Telecomunicaciones, información y comunicación

Optimization-based Proof of Useful Work: Framework, Modeling, and Security Analysis

- Proof of Work (PoW) has extensively served as the foundation of blockchain's security, consistency, and tamper-resistance, but long has it been criticized for its tremendous and inefficient...

A Dichotomy for Maximum PCSPs on Graphs

- Fix two non-empty loopless graphs $G$ and $H$ such that $G$ maps homomorphically to $H$. The Maximum Promise Constraint Satisfaction Problem parameterised by $G$ and $H$ is the following...

Maximizing Algebraic Connectivity with $2(n-2)$ Edges: The Large Vertex Number Case

- Kolokolnikov conjectured that, among finite simple graphs on $n$ vertices with exactly $2(n-2)$ edges, the complete bipartite graph $K_{2,n-2}$ maximizes algebraic connectivity. We prove the...

Measurements Automatically Extracted from Zero Echo Time MRI Using Deep Learning Image Segmentation and Geometric Modeling Agree with Expert Manual Readings

- Computed tomography (CT) remains the reference for 3D osseous morphometry in femoroacetabular impingement (FAI) but requires ionizing radiation and manual measurement. Zero echo time (ZTE) MRI...

Free-Horizon Newton Method for Nonlinear Optimal Control

- This paper presents a novel trajectory optimization method for nonlinear l1-optimal control problems in which the control horizon is treated as a free variable, allowing both the control duration and...

Optimized Certainty Equivalent Risk Minimization Using Samples: Algorithms, Convergence Rates, and Applications

- We consider the optimization of the Optimized Certainty Equivalent (OCE) risk, with applications including portfolio optimization in finance, and uncertainty quantification, classification, and...

Autonomous discovery of accelerator commissioning algorithms

- Simulated commissioning has become essential for de-risking modern light-source design and commissioning, but the procedures being simulated are still designed entirely by human experts. Their...

Rate-Fidelity Control for Wide-Area Quantum Links

- Quantum network links must distribute entanglement at high rates while satisfying application-specified fidelity demands. However, wide-area deployed fiber links suffer from polarization drift which...

Establishing Boundary KKT Convergence of Mirror Descent through Reparameterization

- We prove that mirror descent converges to a KKT point for the nonconvex problem without excluding boundary limits. The result holds under verifiable conditions that jointly couple the objective, the...

Artificial Intelligence Can Match Domain Experts in Evidence Extraction and Critical Appraisal of Microbial Oncogenesis Research Publications

- Confirmed oncogenic microbes contribute significantly to cancer burden. Identifying novel microbial oncogenicity could yield strategies that will reduce disease burdens. However, relevant evidence is...

On the Radical Computation of Parametric Ideals over Finite Fields

- Matsumoto's algorithm for computing the radical of a polynomial ideal is generalized to the parametric setting within the framework of symbolic computation. The main tool is a comprehensive...

Stochastic Gradient Descent with Momentum: Analysis and Synthesis via Integral Quadratic Constraints

- This article applies dynamic integral quadratic constraints (IQCs) to the analysis and synthesis of accelerated stochastic gradient algorithms. We consider composite objective functions whose...

Mixture of Geodesic Factor Analyzers on Riemannian Homogeneous Spaces

- This paper introduces Mixtures of Geodesic Factor Analyzers (MGFA) on Riemannian homogeneous spaces. MGFA uses a geodesic factor model within each mixture component, providing greater expressiveness...

IceHorizon: A Dataset for Horizon Detection in Ice-Covered Maritime Environments and Comparative Evaluation of Detection Methods

- Horizon detection in images of ice-covered waters is a challenging problem for maritime navigation due to low contrast between water and sky, cluttered ice structures, and varying illumination...

Shor's algorithm requires Fanout

- Shor's algorithm is a canonical quantum supremacy target whose core operation relies on the Quantum Fourier Transform (QFT). We resolve an open question of Fang, Fenner, Green, Homer and Zhang...

Conditions for Quantum Advantage in AC Power Flow

- This paper aims to contextualize the requirements for Quantum Computing (QC) algorithms to achieve a quantum advantage in solving the alternating current power flow (ACPF) problem, with a focus on...

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets

- For a finite hypergraph H, the complements of the models of its associated definite Horn CNF are exactly the stopping sets of H; hence the complements of its coatoms are the inclusion-minimal...

QCORE: A Quantum-Control-Oriented Real-Time Execution Architecture with Extensible Closed-Loop Services and Shared AI Acceleration

- Scalable quantum processors require control, readout, feedback, calibration, and error correction to coexist under bounded latency and shared-resource constraints, whereas existing platforms...

Density-Functional Excited-State Gradients and Nonadiabatic Couplings on a Consumer GPU from a Contraction-DAG

- Nonadiabatic dynamics needs an excited-state gradient and an interstate nonadiabatic coupling matrix element (NACME) at every nuclear geometry, and a double-hybrid functional's accuracy has been...

Strategy-first synthesis planning for complex natural products

- The total synthesis of a complex molecule is among the most demanding intellectual and experimental feats in chemistry: a chemist must plan many steps ahead for how to assemble simple building blocks...

CoinRAG: Contextualized Information Nugget KV Cache Reuse for Long-Context RAG

- Recent optimization studies on Retrieval-Augmented Generation (RAG) have exploited chunk-level KV cache reuse to avoid processing long retrieved contexts for higher efficiency, while significant...