{
  "id": "permanent-arithmetic-lower-bounds",
  "org": "OpenAI",
  "topic": "Complexity theory",
  "published": "2026-08-01",
  "status": "formalized-provider-reported",
  "method": "Provider announcement; formal certificates reported, not rerun here",
  "math": "Complexity theory",
  "source": "https://openai.com/index/ten-advances-in-mathematics/",
  "source_kind": "provider_announcement",
  "checked": "2026-10-29",
  "editorial_published": "2026-10-29",
  "editorial_method": "AI-assisted original educational interpretation; primary announcement inspected",
  "translations": {
    "en": {
      "title": "How hard is it to compute the permanent?",
      "simple": "The determinant is a familiar way to combine a square matrix. Its cousin, the permanent, sums similar products without alternating signs. That small-looking change leads to a very different computational problem.",
      "research": "The release reports new arithmetic-circuit and formula lower bounds, including an arithmetic-formula bound of order n⁴/log n for the permanent.",
      "academic": "An arithmetic formula is a restricted computation model: intermediate results cannot be freely reused as in a general circuit. Therefore a formula lower bound must not be presented as the same lower bound for all circuits or all algorithms. The underlying field, allowed constants, uniformity assumptions and circuit class are essential parts of the theorem.",
      "impact": "Could advance methods for proving that algebraic computations intrinsically require substantial resources.",
      "caution": "This does not resolve P versus NP. A bound for one arithmetic computation model is not a universal software runtime lower bound."
    },
    "nl": {
      "title": "Hoe moeilijk is het berekenen van de permanent?",
      "simple": "Een determinant combineert elementen van een vierkante matrix. De permanent telt vergelijkbare producten op, maar zonder afwisselende tekens. Dat kleine verschil maakt de berekening fundamenteel anders.",
      "research": "De publicatie meldt nieuwe ondergrenzen, waaronder orde n⁴/log n voor rekenkundige formules voor de permanent.",
      "academic": "Een rekenkundige formule mag tussenresultaten niet onbeperkt hergebruiken zoals een algemeen circuit. Een formulegrens geldt dus niet automatisch voor alle circuits of algoritmen. Het gebruikte lichaam, toegestane constanten en circuitklasse horen bij de exacte stelling.",
      "impact": "Mogelijke vooruitgang in methoden die noodzakelijke rekeninspanning aantonen.",
      "caution": "Dit lost P versus NP niet op en bewijst geen universele looptijdgrens voor software."
    },
    "de": {
      "title": "Wie schwierig ist die Berechnung der Permanente?",
      "simple": "Die Determinante kombiniert Einträge einer quadratischen Matrix. Die Permanente summiert ähnliche Produkte ohne wechselnde Vorzeichen. Diese kleine Änderung führt zu einer anderen Rechenaufgabe.",
      "research": "Gemeldet werden neue untere Schranken für arithmetische Schaltkreise und Formeln, darunter eine Formelschranke der Größenordnung n⁴/log n für die Permanente.",
      "academic": "Eine arithmetische Formel darf Zwischenergebnisse nicht so frei wiederverwenden wie ein allgemeiner Schaltkreis. Eine Formelschranke ist daher keine identische Schranke für alle Algorithmen. Körper, Konstanten, Uniformität und genaue Modellklasse gehören zur Aussage.",
      "impact": "Möglicher Fortschritt bei Methoden zum Nachweis unvermeidbarer algebraischer Rechenkosten.",
      "caution": "Dies löst P gegen NP nicht. Eine Schranke in einem eingeschränkten Rechenmodell ist keine allgemeine Software-Laufzeitschranke."
    },
    "fr": {
      "title": "Quelle est la difficulté du calcul du permanent ?",
      "simple": "Le déterminant combine les entrées d’une matrice carrée. Le permanent somme des produits similaires sans alterner les signes. Ce petit changement conduit à une difficulté de calcul très différente.",
      "research": "La publication annonce de nouvelles bornes inférieures pour circuits et formules arithmétiques, notamment une borne de l’ordre de n⁴/log n pour les formules calculant le permanent.",
      "academic": "Une formule arithmétique ne réutilise pas librement les résultats intermédiaires comme un circuit général. Sa borne ne s’applique donc pas automatiquement à tous les algorithmes. Corps, constantes, uniformité et classe exacte de calcul font partie du théorème.",
      "impact": "Peut faire progresser les méthodes démontrant qu’un calcul algébrique exige intrinsèquement des ressources.",
      "caution": "Cela ne résout pas P contre NP. Une borne dans un modèle restreint n’est pas une limite universelle des logiciels."
    },
    "es": {
      "title": "¿Qué dificultad tiene calcular el permanente?",
      "simple": "El determinante combina elementos de una matriz cuadrada. El permanente suma productos parecidos sin alternar signos. Ese cambio aparentemente pequeño conduce a otro problema computacional.",
      "research": "Se anuncian nuevas cotas inferiores para circuitos y fórmulas aritméticas, incluida una cota de orden n⁴/log n para fórmulas que calculan el permanente.",
      "academic": "Una fórmula aritmética no reutiliza resultados intermedios libremente como un circuito general. Por ello su cota no se extiende automáticamente a todos los algoritmos. El cuerpo, las constantes, la uniformidad y la clase de cómputo forman parte del enunciado.",
      "impact": "Podría mejorar los métodos que demuestran recursos intrínsecamente necesarios en cálculos algebraicos.",
      "caution": "Esto no resuelve P frente a NP. Una cota en un modelo restringido no es un límite universal del tiempo de ejecución de software."
    },
    "it": {
      "title": "Quanto è difficile calcolare il permanente?",
      "simple": "Il determinante combina gli elementi di una matrice quadrata. Il permanente somma prodotti simili senza alternare i segni. Questa piccola differenza cambia notevolmente il problema computazionale.",
      "research": "Sono annunciati nuovi limiti inferiori per circuiti e formule aritmetiche, compreso un limite di ordine n⁴/log n per formule che calcolano il permanente.",
      "academic": "Una formula aritmetica non riutilizza liberamente risultati intermedi come un circuito generale. Il suo limite non si estende quindi automaticamente a ogni algoritmo. Campo, costanti, uniformità e classe di calcolo fanno parte del teorema.",
      "impact": "Potrebbe far avanzare i metodi che dimostrano risorse intrinsecamente necessarie al calcolo algebrico.",
      "caution": "Non risolve P contro NP. Un limite in un modello ristretto non è una barriera universale al tempo dei programmi."
    }
  },
  "translation_method": "AI-assisted explanatory translations; not native mathematical peer review",
  "url": "https://appliedfrontier.nl/en/discoveries/permanent-arithmetic-lower-bounds/",
  "as_of": "2026-10-29"
}