Beyond Bits: An Introduction to Computation over the Reals
arXiv:2603.29427v1 Announce Type: cross Abstract: We introduce a lightweight and accessible approach to computation over the real numbers, with the aim of clarifying both the underlying concepts and their relevance in modern research. The material is intended for a broad audience, including instructors who wish to incorporate real computation into algorithms courses, their students, and PhD students encountering the subject for the first time. Rather than striving for completeness, we focus on a carefully selected set of results that can be presented and proved in a classroom setting. This allows us to highlight core techniques and recurring ideas while maintaining an approachable exposition. In some places, the presentation is intentionally informal, prioritizing intuition and practical u
View PDF HTML (experimental)
Abstract:We introduce a lightweight and accessible approach to computation over the real numbers, with the aim of clarifying both the underlying concepts and their relevance in modern research. The material is intended for a broad audience, including instructors who wish to incorporate real computation into algorithms courses, their students, and PhD students encountering the subject for the first time. Rather than striving for completeness, we focus on a carefully selected set of results that can be presented and proved in a classroom setting. This allows us to highlight core techniques and recurring ideas while maintaining an approachable exposition. In some places, the presentation is intentionally informal, prioritizing intuition and practical understanding over full technical precision. We position our exposition relative to existing literature, including Matousek's lecture notes on ER-completeness and the recent compendium of ER-complete problems by Schaefer, Cardinal, and Miltzow. While these works provide deep and comprehensive perspectives, our goal is to offer an accessible entry point with proofs and examples suitable for teaching. Our approach follows modern formulations of real computation that emphasize binary input, real-valued witnesses, and restricted use of constants, aligning more closely with contemporary complexity theory, while acknowledging the foundational contributions of the Blum--Shub--Smale model.
Comments: 37 pages, 24 figures
Subjects:
Computational Complexity (cs.CC); Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS)
Cite as: arXiv:2603.29427 [cs.CC]
(or arXiv:2603.29427v1 [cs.CC] for this version)
https://doi.org/10.48550/arXiv.2603.29427
arXiv-issued DOI via DataCite (pending registration)
Submission history
From: Tillmann Miltzow [view email] [v1] Tue, 31 Mar 2026 08:34:38 UTC (914 KB)
Sign in to highlight and annotate this article
Conversation starters
Daily AI Digest
Get the top 5 AI stories delivered to your inbox every morning.
More about
modelannounceperspective
60% of Consumers Want Approval Gates for AI Spending. Who Builds Them?
Visa just published a study of 2,000 consumers on AI agents and spending. The finding that should dominate every conversation about agentic commerce: 60% of respondents want human approval gates before an AI agent makes purchases on their behalf. Only 27% are comfortable with unlimited AI spending authority. Thirty-six percent say they would trust an AI agent backed by their bank. Twenty-eight percent would trust an independent agent. The paper's own summary: "Trust is the adoption switch." This is empirical confirmation of something that was structurally obvious. The infrastructure to move money is almost ready. The infrastructure to decide whether money should move does not exist. The asymmetry Two days ago, the x402 Foundation launched under the Linux Foundation. Twenty-two founding mem
Autonomous Revolution: How AI Agents are Redefining Blockchain's Future
Autonomous Revolution: How AI Agents are Redefining Blockchain's Future The convergence of artificial intelligence and blockchain technology is no longer a futuristic pipe dream; it's a rapidly unfolding reality. As developers and innovators push the boundaries of decentralized systems, the integration of AI agents in blockchain is emerging as a critical catalyst for enhanced efficiency, security, and user experience. This article delves into the transformative potential of these intelligent entities, exploring how they are poised to reshape the crypto landscape and unlock unprecedented levels of automation and intelligence within Web3. The Symbiotic Relationship: AI Enhancing Decentralization Blockchain's core tenets of decentralization, immutability, and transparency are powerful, but th
Do You Actually Need an AI Gateway? (And When a Simple LLM Wrapper Isn't Enough)
I remember the early days of building LLM-powered tools. One OpenAI API key, one model, one team life was simple. I’d send a prompt, get a response, and move on. It worked. Fast. Fast forward a few months: three more teams wanted in, costs started climbing, and someone asked where the data was actually going. Then a provider went down for an hour, and suddenly swapping models wasn’t just a code change it was a nightmare. You might have experienced this too: a product manager asks why one team’s model is faster than another’s. Another developer points out that prompt injections have been slipping past reviews. Meanwhile, finance is asking for a monthly cost breakdown, and IT is questioning whether sensitive data is leaving the VPC. Suddenly, your “simple integration” is a tangle of spreadsh
Knowledge Map
Connected Articles — Knowledge Graph
This article is connected to other articles through shared AI topics and tags.
More in Research Papers
Realistic Lip Motion Generation Based on 3D Dynamic Viseme and Coarticulation Modeling for Human-Robot Interaction
arXiv:2604.01756v1 Announce Type: new Abstract: Realistic lip synchronization is essential for the natural human-robot non-verbal interaction of humanoid robots. Motivated by this need, this paper presents a lip motion generation framework based on 3D dynamic viseme and coarticulation modeling. By analyzing Chinese pronunciation theory, a 3D dynamic viseme library is constructed based on the ARKit standard, which offers coherent prior trajectories of lips. To resolve motion conflicts within continuous speech streams, a coarticulation mechanism is developed by incorporating initial-final (Shengmu-Yunmu) decoupling and energy modulation. After developing a strategy to retarget high-dimensional spatial lip motion to a 14-DOF lip actuation system of a humanoid head platform, the efficiency and
3-D Relative Localization for Multi-Robot Systems with Angle and Self-Displacement Measurements
arXiv:2604.01703v1 Announce Type: new Abstract: Realizing relative localization by leveraging inter-robot local measurements is a challenging problem, especially in the presence of measurement noise. Motivated by this challenge, in this paper we propose a novel and systematic 3-D relative localization framework based on inter-robot interior angle and self-displacement measurements. Initially, we propose a linear relative localization theory comprising a distributed linear relative localization algorithm and sufficient conditions for localizability. According to this theory, robots can determine their neighbors' relative positions and orientations in a purely linear manner. Subsequently, in order to deal with measurement noise, we present an advanced Maximum a Posterior (MAP) estimator by a
Coupler Position Optimization and Channel Estimation for Flexible Coupler Antenna Aided Multiuser Communication
arXiv:2602.11319v2 Announce Type: replace-cross Abstract: In this paper, we propose a distributed flexible coupler antenna (FCA) array to enhance communication performance with low hardware cost. At each FCA, there is one fixed-position active antenna and multiple passive couplers that can move within a designated region around the active antenna. Moreover, each FCA is equipped with a local processing unit (LPU). All LPUs exchange signals with a central processing unit (CPU) for joint signal processing. We study an FCA-aided multiuser multiple-input multiple-output (MIMO) system, where an FCA array base station (BS) is deployed to enhance the downlink communication between the BS and multiple single-antenna users. We formulate optimization problems to maximize the achievable sum rate of us
Taxonomy for Cybersecurity Threat Attributes and Countermeasures in Smart Manufacturing Systems
arXiv:2401.01374v2 Announce Type: replace Abstract: An attack taxonomy offers a consistent and structured classification scheme to systematically understand, identify, and classify cybersecurity threat attributes. However, existing taxonomies only focus on a narrow range of attacks and limited threat attributes, lacking a comprehensive characterization of manufacturing cybersecurity threats. There is little to no focus on characterizing threat actors and their intent, specific system and machine behavioral deviations introduced by cyberattacks, system-level and operational implications of attacks, and potential countermeasures against those attacks. To close this pressing research gap, this work proposes a comprehensive attack taxonomy for a holistic understanding and characterization of c
Discussion
Sign in to join the discussion
No comments yet — be the first to share your thoughts!