Skip to content
Log in
#explainable ai #edge computing Dataset Open access

Exact certificates for r(n) = e(n), n = 9–21: regular triangle unions

Reynout Vos
Aug 2026 · Zenodo (CERN European Organization for Nuclear Research)

Abstract

Version 6 (Augustus 2026) adds r(21) = e(21) = 231, closing the hardest rung to date after a five-day resistance documented in CHANGELOG_v6.md; the pattern now holds for thirteen consecutive values. -- Version 5 (August 2026) adds r(19) = 207 and r(20) = 220, extending r(n) = e(n) = U(n) to twelve consecutive values; the n=20 census was dual-computed by the established Python pipeline and a gate-validated native kernel with exact agreement. --- Version 4 (August 2026) closes the question left open in v3: r(18) = e(18) = 196, certified circle-inscribed and independently verified. The pattern r(n) = e(n) holds continuously for n = 9 through 18; the apparent separation was a search-capability artifact, documented in CHANGELOG_v4.md. --- Version 3 (August 2026) adds three results: r(17) = e(17) = 185, extending the circle-inscribed series to nine consecutive values meeting the proven combinatorial ceiling. r(18) >= 195, an exact circle-inscribed certificate one below the ceiling of 196. e(18) = 196: the first FREE-PLANAR certificate in this series, consisting of 54 rational point coordinates not on a circle, 196 sides meeting the ceiling, with a new decisive assertion verified in exact integer arithmetic: REGULARITY, i.e. the boundary cycle visits the 54 triangle corners with labels 0..17 repeated exactly three times. Consequently the sequence A375986 extends to a(18) = 196, attained off-circle, while the best known circle configuration at n = 18 has 195 sides: whether r(18) = 195 < e(18), which would be the first separation of the circle-restricted and regular quantities, or r(18) = 196, is open and under active search. All three new certificates passed the same five-tier verification standard as v1/v2 (two independently written exact-arithmetic verifiers, two execution environments, zero floating point in any decisive predicate); the three independent verifiers are included with SHA-256 hashes in CHANGELOG_v3.md. See CHANGELOG_v3.md for details and candid provenance notes. ----- Version 2 (August 2026) extends the results to n = 16: exact certificates for r(13)=137, r(14)=150, r(15)=161, r(16)=172 are added, each verified to the same standard as v1 (two independently written exact-arithmetic verifiers, two environments, zero floating point). See CHANGELOG_v2.md for details. The sequence A375986 now reads 3, 12, 22, 33, 45, 56, 67, 80, 91, 102, 115, 126, 137, 150, 161, 172. Summary This deposit contains explicit, exactly-verifiable configurations answering and extending open questions from: G. Alkauskas, Regular triangle unions with maximal number of sides, arXiv:2510.22584 (v5, April 2026). For n triangles inscribed in the unit circle with their 3n vertices in cyclic arrangement (a regular union, in the paper's sense), r(n) denotes the maximal number of sides of a union that is a simple polygon. The paper proves the combinatorial ceiling e(n) ≤ 12n − 12 − γ(n+1) with γ(n+1) = n + 2 − 2⌊(n+1)/3⌋, poses "prove rigorously that r(9) = 90" as Open Question 2, and asks in Question 3 to improve the bound r(n) ≥ 10n − 7. Main results certified here: r(9) = e(9) = 91 — answering Open Question 2 in the opposite direction to the conjecture; r(10) = e(10) = 102, r(11) = e(11) = 115, r(12) = e(12) = 126 — three new exact values of the sequence e(n) (cf. OEIS A375986: 3, 12, 22, 33, 45, 56, 67, 80, 91, ...), each meeting the proven ceiling; consequent data for Open Questions 6 and 7: the observed increments are 11, 13, 11 (exactly the ceiling increments; no increment of 14), consistent with limsup e(n)/n = 35/3. The certificates Each certificate (certificates/r{n}_exact_certificate.json) is a list of 3n rational numbers t, in increasing order. The corresponding vertex is P(t) = ((1 − t²)/(1 + t²), 2t/(1 + t²)), which lies exactly on the unit circle for rational t. Increasing t corresponds to circular order (wrapping through (−1, 0)); the vertex at position j belongs to triangle j mod n. The claim per certificate: the union of the n closed triangles is a simple polygon with exactly S sides (S = 91, 102, 115, 126), all 3n corners on its boundary in circular order. Verification Two independently written verifiers are included; both use only Python's standard-library fractions.Fraction — no floating point enters any decisive predicate: verifiers/exact_certifier_pipeline.py — the author-side certifier; verifiers/independent_verifier_generalized.py — an independent verifier written from scratch by OpenAI's ChatGPT on request, covering all four certificates. It additionally checks: no coincident vertices, no degenerate triangles, no vertex on a foreign edge, no collinear foreign edges, no endpoint/tangent contacts, no three concurrent edges, boundary graph 2-regular with a single component, no collinear boundary nodes, all corners genuine polygon vertices in circular traversal order, and connectedness of the triangle-interior overlap graph. verifiers/independent_verifier_n9.py is its original n = 9 version. Both verifiers were cross-executed in two separate environments with identical output. To verify yourself: python3 verifiers/independent_verifier_generalized.py (Python ≥ 3.9, no dependencies; runtime seconds to minutes). Method and provenance The configurations were found with substantial help from AI systems (Anthropic's Claude; independent verification code by OpenAI's ChatGPT). Blind numerical search over circle configurations reliably plateaus just below sharp optima (reproducibly 44/45 and 77/80 on the paper's known Pentastar/Octastar values, which may explain the experimental value 90 at n = 9 reported in the paper). The successful approach was combinatorics-first, built on the paper's own triangulation-shift tool: (1) exhaustively enumerate maximal-weight triangulation shifts of the (n+1)-gon; (2) compile each champion into its full boundary word (the compiler reproduces the paper's 79-edge worked example symbol-for-symbol and its Pentastar/Octastar structure); (3) solve the geometric realization on the circle guided by the target word; (4) inflate degeneracy margins, round to rational circle points, and certify exactly. search_code/ contains the complete pipeline. License Code: MIT. Data (certificates) and accompanying text: CC BY 4.0. If you use these certificates or values, please cite this deposit and arXiv:2510.22584.

DOI
View source

Similar papers

#federated learning Sep 2026

AoI Minimization in Heterogeneous MEC Networks: A Federated Learning-Assisted Hybrid DRL and Convex Approach

This paper investigates a dynamic heterogeneous mobile edge computing network (HMECN), where mobile devices (MDs) could offload their full tasks to a small base station (SBS) directly or the macro base station (MBS) in direct or relay mode. As age of information (AoI) is a comprehensive and accurate metric to capture the freshness of computation results, we formulate a long-term weighted sum AoI (LWSA) minimization problem in the HMECN by jointly optimizing the offloading decisions of MDs as well as the bandwidth and computation resource allocation of all base stations, subject to energy, delay and peak AoI constraints. To address the formulated non-convex mixed integer nonlinear programming problem, we decompose it into the offloading decision optimization (ODO) top-problem and the resource allocation optimization (RAO) sub-problem. Based on the decomposition, we propose a federated learning (FL)-assisted hybrid DRL and convex approach that is comprised of a safe multi-agent DRL algorithm, convex optimization and FL. The ODO top-problem is solved by the safe multi-agent DRL algorithm, which strictly ensures that the actions of each agent do not exceed its energy constraint and then paves the way for using convex optimization to solve the RAO sub-problem. FL is used to alleviate the training instability problem aggravated by multi-agent settings via breaking the limitation of partial knowledge for each individual agent. Simulation results demonstrate the superiority of the proposed approach in terms of the LWSA, convergence, scalability and robustness in dynamic environments.

Xiaoying Liu, Junhao Zheng, Kechen Zheng et al. · 8 citations
#edge computing Sep 2026

DRUDM-CFG: A Fairness-Aware Multi-Agent DRL Algorithm for AMEC-Assisted Task Offloading in Post-Disaster Scenarios

High-altitude airships (HAS) and uncrewed aerial vehicles (UAVs) equipped with Multiaccess Edge Computing (MEC) servers have emerged as promising aerial MEC nodes for providing task offloading (TO) services to intelligent mobile devices (IMDs) in post-disaster scenarios. HAS offers robust computing and energy resources, while UAVs provide flexible, low-altitude coverage for rapid deployment. However, direct task offloading from IMDs to HAS often leads to task failures due to high transmission delays. UAVs with limited onboard resources require to minimize resource waste. Additionally, IMDs in sparse areas face insufficient TO services due to unfair UAV coverage. This paper defines these challenges as a joint optimization problem involving TO, RA, and UAV coverage fairness. It proposes a cooperative aerial Multiaccess Edge Computing (AMEC) framework integrating HAS and UAVs to address the issue. Within this framework, a hybrid TO scheme is first developed to mitigate the high transmission delay between IMDs and HAS. Second, a Distance, Resource, Urgency-based Decision Mechanism (DRUDM) is designed to enhance the accuracy of UAVs in selecting target IMDs for TO services. Third, a Coverage Fairness Guarantee (CFG) strategy is proposed to optimize UAV flight trajectories, ensuring IMDs in sparse areas receive fair TO services. Finally, the joint optimization problem is modeled as a Multi-Agent Partially Observable Markov Decision Process (MA-POMDP), and a DRUDM–CFG algorithm is presented to efficiently solve this complex non-convex optimization problem. Experimental results demonstrate that the proposed algorithm outperforms other compared algorithms in task completion rate and average delay, benefiting from the DRUDM mechanism. Meanwhile, the CFG strategy effectively improves TO service fairness for IMDs in sparse areas.

Xiting Peng, Chuanqi Qin, Xiaoyu Zhang et al. · 4 citations
#edge computing Sep 2026

Toward 6G Edge Intelligence: Lightweight LLMs for Intent-Driven Network Automation

Future 6G networks are envisaged to tightly integrate communication, sensing, and computing, demanding real-time, intent-driven intelligence at the edge. While large language models (LLMs) excel in intent recognition and semantic reasoning, their application to real-time network lifecycle management at the edge is limited by heterogeneous application intents (APPIs), dynamic network conditions, and severe resource constraints. This paper proposes a novel lightweight LLM architecture, KGLlama-KD, that synergizes knowledge graphs (KGs) with knowledge distillation (KD) to enable intent-driven networking and enhance 6G edge intelligence. Specifically, a KG is constructed to formally describe the relationships among application scenarios, functional primitives, performance requirements within APPIs, and the correspondences between APPIs and network service requests (NSRs), thereby producing a structured intent training dataset. Building upon the Llama 3 foundation model, a two-phase optimization framework is designed to support lightweight edge deployment while preserving translation fidelity. The LLM is first fine-tuned with KG guidance and compressed via KD in the cloud, and then deployed on resource-constrained edge nodes to perform real-time, accurate, and efficient APPIs interpretation. Experiments validate that KGLlama-KD achieves 95% accuracy for APPI understanding, surpassing DeepSeek and Qwen by an average of 8%. The distilled model reduces inference latency by 60% compared to full-scale LLMs, fulfilling the sub-100 ms requirement for 6G latency-sensitive services.

Bing Wu, Sai Zou, Minghui Liwang et al. · 3 citations
#edge computing Preprint Aug 2026

Computing an e-net of a closed hyperbolic surface

Hyperbolic surfaces are a fundamental object in mathematics and play an increasingly important role in computational geometry and topology. A key ingredient in the design of efficient algorithms on such surfaces is the availability of a geometric discretization of controlled complexity. In this paper, we present the first algorithm for constructing e-nets on hyperbolic surfaces starting from a fundamental polygon representation. Our approach is based on Delaunay refinement and relies on maintaining Delaunay triangulations through edge flips. The size of an e-net cannot be bounded solely as a function of the genus because of the presence of arbitrarily long collars around short geodesics. To overcome this difficulty, we introduce the notion of a pseudo e-net, which decomposes the surface into e-thin cylinders together with a Delaunay triangulation over an e-net of the remaining thick part. As applications, we obtain algorithms for computing the length spectrum of an e-thick hyperbolic surface and for computing the systole from a pseudo log(sqrt(2))-net. These results demonstrate that Delaunay-based discretizations provide a practical and versatile framework for algorithmic computations on hyperbolic surfaces.

V. Delecroix, Vincent Despré, Camille Lanuel et al. · 3 citations
#edge computing Sep 2026

Fair Joint Offloading and Consensus Optimization in Blockchain-Enabled Mobile Edge Computing

Blockchain-enabled mobile edge computing (MEC) must jointly optimize task offloading and consensus finality under highly heterogeneous AIoT devices, where latency/energy constraints and fairness-sensitive incentives coexist with time-varying validator reliability. We propose FE-CTDE, a unified framework that couples (1) a Stackelberg pricing-and-allocation layer that reaches a unique equilibrium and reduces utility disparity, (2) a reliability-aware dynamic BFT committee and block-packing mechanism that stabilizes confirmation delay under intermittent connectivity, and (3) a centralized-training/decentralized-execution multi-agent policy that outputs a continuous offloading ratio while requiring only local observations at run time. Extensive simulations across diverse heterogeneity, workload burstiness, and link intermittency show that FE-CTDE consistently improves social welfare and fairness while reducing end-to-end latency/energy and sustaining higher effective consensus throughput, outperforming strong baselines by up to 22.23%. We further report protocol/learning overheads and provide reproducible implementation details.

Libo Feng, Chenxi Wang, Zhenli He et al. · 2 citations
#edge computing Sep 2026

Service Enhancement and Reliability Assurance in 6G Vehicular Networks via a Stackelberg Game-Theoretic Approach

With the rapid development of 6G and Internet of Vehicles (IoV) technologies, the volume of computation-intensive tasks generated by intelligent vehicles is growing exponentially. Given limited onboard processing capabilities, vehicles increasingly rely on edge servers deployed by service providers (SPs) at roadside units to offload tasks. Vehicle clients can offload the tasks to SPs to mitigate their onboard computation load, while SPs derive economic benefits through the provision of computation resources. However, this interaction introduces a conflict of interest, as vehicles aim to minimize their offloading costs, while SPs seek to maximize revenue. To address this problem, we propose SPOR, a Stackelberg game-based service priority-aware computation offloading and resource pricing scheme in IoV. SPOR is a hierarchical game-theoretic framework in which SPs act as leaders setting prices, while vehicles act as followers determining their offloading strategies. A novel service prioritization function is introduced, incorporating booking price, system load, and reputation to ensure fair and balanced resource allocation. We provide a theoretical proof of the existence and uniqueness of a Nash equilibrium. Extensive experiments on a real-world vehicle edge computing dataset show that SPOR outperforms baseline methods in delay, energy consumption, average load, and task completion rate. Notably, SPOR maintains task completion rates above 97% even under heavy workloads, demonstrating its effectiveness in enhancing system reliability and overall performance.

Kai Peng, Yuanlin Lin, Shuai Zhao et al. · 2 citations

Related blog posts

MIT News · Artificial Intelligence Jul 14, 2026

Helping AI models to meet the real world

Through research and entrepreneurship, Professor Devavrat Shah is helping to design methods that can handle constant decision-making using limited computational resources.

MIT News · Artificial Intelligence Jun 5, 2026

The crucial human component in computing and AI

The MIT Ethics of Computing Research Symposium brought together experts and researchers working at the heart of ethical and social impact in technology.