Tradução automática do original inglês datado. A página em inglês é a canónica. English →
As quatro equações funcionais de Cauchy, a aditiva, a multiplicativa, a exponencial e a logarítmica, são as únicas soluções contínuas dos respectivos constrangimentos de composição. Este artigo argumenta que este resultado matemático com 200 anos tem uma consequência fisicamente testável: sob os axiomas enunciados, restringe as leis de escala a uma de três famílias funcionais (lei de potência, exponencial ou curva de saturação). A família
25 de Agosto de 2026 (v3.9): duas clarificações datadas, nenhum conteúdo científico foi alterado: a declaração autónoma 19/25 viaja agora com o seu par corrigido (a reexecução exploratória de 11 de Agosto de 2026 que acrescenta o candidato logarítmico dá 18/25, e o subconjunto derivado de Cauchy lê 14/18 antes e depois, como o resumo já regista); e a frase sobre o estatuto de pré-registo está datada como histórica, sendo o teste prospectivo da quarta célula agora preparado como rascunho OSF completo a aguardar submissão humana.
Dentro da ARC Theory: a classificação matemática por trás da forma da Lei I; a grelha da equação funcional de Cauchy.
As quatro equações funcionais de Cauchy, a aditiva, a multiplicativa, a exponencial e a logarítmica, são as únicas soluções contínuas dos respectivos constrangimentos de composição. Argumentamos que este resultado matemático com 200 anos tem uma consequência fisicamente testável: sob os axiomas enunciados, restringe as leis de escala a uma de três famílias funcionais (lei de potência, exponencial ou curva de saturação). A família é determinada pelo operador de composição do processo subjacente de amplificação recursiva.
A contribuição inédita não é a matemática de Cauchy em si, mas a afirmação de que as equações funcionais do tipo Cauchy têm uma consequência fisicamente testável para a classificação de leis de escala através de domínios.
Apresentamos uma comparação estruturada de predições em 50 sistemas do mundo real, em cinco níveis de evidência. Para cada domínio empírico, o operador de composição foi classificado a partir da física conhecida antes do ajuste, a família de escala foi predita a partir da classe do operador, dados publicados ou de referência-padrão foram carregados, e a predição foi testada por ajuste independente de modelos usando selecção de modelos com base em AICc.
Resultado principal (calculado no conjunto de seis candidatos, que não continha candidato logarítmico nem linear puro (Secção 3.2)): 19 de 25 domínios empíricos de ajuste de curvas confirmam a família predita por Cauchy sob selecção estrita de modelos por AICc. A estatística de significância principal é um teste de permutação condicionado às marginais: $p = 7 \times 10^{-5}$. Um teste binomial unilateral contra a hipótese uniforme de acaso $1/3$ dá $p = 1.56 \times 10^{-5}$ (aproximadamente 1 em 64,000) e é retido como verificação de sensibilidade. O resultado mantém-se também no subconjunto estritamente derivado de Cauchy (os 18 domínios multiplicativos e aditivos, excluindo a família limitada cuja exaustividade permanece um problema em aberto): 14/18, permutação $p = 3.0 \times 10^{-4}$. Resultados secundários: uma reexecução da linha-de-base-20 produz 15/20 ($p = 1.67 \times 10^{-4}$); os expoentes metabólicos publicados correspondem ao comparador ARC/Cauchy mais próximo em 13/13 casos directos; identidades analíticas confirmam 6/6. Estes níveis são reportados separadamente e nunca são combinados num único número misturado.
Este resultado é suficientemente forte para ser publicado como evidência exploratória mas não suficientemente forte para ser reivindicado como provado. Não existe artefacto de pré-registo formalmente registado para este teste. As próprias previsões foram pré-registadas por publicação datada: as classificações por linha nos ficheiros de catálogo com hash fixo de Março de 2026, o manifesto trancado de extensão a 12 domínios de 17 de Março de 2026, e os dois apêndices de previsões do livro impressos a 2 de Janeiro de 2026, antes de os artigos e o programa existirem. O que não foi fixado antecipadamente foi o protocolo de ajuste, e essa lacuna é fechada prospectivamente pelos testes encenados formalmente registados: o teste da quarta célula e o teste de expansão a 80 domínios. Existe um enquadramento separado, de predição prospectiva, e não é reivindicado como cobrindo este resultado. A 17 de Março de 2026, entre 02:06:51 e 02:07:05 UTC, um protocolo de predição, um manifesto de extensão e um ficheiro de checksum foram depositados no componente público da Open Science Framework x6wa7. Cada um carrega um carimbo temporal de criação atribuído pela OSF, cada um tem um carimbo temporal de modificação idêntico ao seu carimbo de criação, e os desfechos para os domínios que especificam ainda não foram calculados. Isso é um depósito datado por terceiros e não um Registration OSF, que é um objecto distinto, congelado e vinculado a esquema que este componente não carrega; a API reporta registration: false e a página di-lo em vez de esbater a distinção. O que o depósito estabelece é a ordenação: as predições eram públicas e inalteradas antes de existir qualquer resultado que predissessem. É necessária replicação independente.
Palavras-chave: equações funcionais de Cauchy, leis de escala, leis de potência, universalidade, inter-domínios, composição recursiva, selecção de modelos por AICc, escala metabólica, escala neural, ARC Principle
Este artigo apresenta um resultado: sob os axiomas enunciados, as quatro equações funcionais de Cauchy prendem as leis de escala contínuas a uma de três famílias (potência, exponencial ou saturação), transformando uma identidade com duzentos anos numa predição fisicamente testável sobre as formas que as curvas empíricas de escala podem tomar. Dentro da ARC Theory (the Theory of Artificial Recursive Creation) é uma das experiências ARC/Eden, a espinha matemática que liga os constrangimentos de composição às formas funcionais observadas. O diferencial completo contra todos os documentos anteriores está em eden-vision II.A.8.
Porque existem, sequer, leis de escala? Porque é que o coração de um rato bate mais depressa do que o de um elefante segundo a mesma relação matemática que governa o crescimento das cidades, o abaratamento dos painéis solares e a melhoria das redes neurais com o tamanho?
A resposta padrão é específica de cada domínio. Os biólogos invocam redes vasculares fractais. Os físicos invocam o fluxo do grupo de renormalização. Os economistas invocam a aprendizagem-pelo-fazer. Cada explicação funciona dentro do seu domínio mas não oferece qualquer razão para as mesmas formas matemáticas recorrerem em domínios que não partilham nenhum mecanismo físico.
Este artigo propõe e testa uma resposta independente de domínio: a forma de cada lei de escala é determinada pelo operador de composição do processo recursivo subjacente, e as equações funcionais de Cauchy restringem as formas possíveis.
Augustin-Louis Cauchy estabeleceu no início do século XIX que quatro equações funcionais têm soluções contínuas únicas:
Aditiva: $f(x + y) = f(x) + f(y)$ tem solução $f(x) = cx$
Multiplicativa: $f(xy) = f(x) \cdot f(y)$ tem solução $f(x) = x^c$
Exponencial: $f(x + y) = f(x) \cdot f(y)$ tem solução $f(x) = a^x$
Logarítmica: $f(xy) = f(x) + f(y)$ tem solução $f(x) = c \log x$
Estes não são quatro resultados independentes. São quatro faces de um único constrangimento: a exigência de que uma função seja compatível com uma operação binária. Sob regularidade (continuidade, ou mensurabilidade, ou limitação num intervalo), uma função que transporte uma das duas estruturas nos reais positivos para uma das duas estruturas cai exactamente em quatro famílias: linear ($f(x)=cx$), lei de potência ($f(x)=x^c$), exponencial ($f(x)=a^x$) e logarítmica ($f(x)=c\log x$). Isto esgota os homomorfismos. Não esgota as leis de escala, porque a maioria dos sistemas não são homomorfismos de nenhuma das estruturas: comportamento de saturação, expoentes críticos, curvatura em eixos logarítmicos e transições entre múltiplos regimes ficam todos fora da grelha, e a grelha nada diz sobre eles. A equação aditiva produz a forma linear $f(x)=cx$; a equação multiplicativa produz leis de potência; a equação exponencial governa o crescimento e decaimento exponencial; e a equação logarítmica governa a aplicação ilimitada $c\log x$, que é multiplicativa na entrada e aditiva na saída e não é uma família de retornos decrescentes, uma vez que $c\log x$ é ilimitada.
Considere-se qualquer sistema onde uma quantidade $U$ cresce com a profundidade recursiva $R$. O operador de composição do sistema determina como as aplicações consecutivas se combinam:
Se se conhece o operador de composição de um sistema, é possível predizer a forma funcional da sua lei de escala antes de ver quaisquer dados. A predição decorre das equações de Cauchy sem parâmetros livres e sem ajuste de curvas.
Para cada domínio:
A classificação do operador é feita antes de o procedimento de ajuste correr. No entanto, as previsões, os dados e a lógica de ajuste residem todos num único script escrito pelo autor. Não existe artefacto de pré-registo formalmente registado para este teste. As próprias previsões foram pré-registadas por publicação datada: as classificações por linha nos ficheiros de catálogo com hash fixo de Março de 2026, o manifesto trancado de extensão a 12 domínios de 17 de Março de 2026, e os dois apêndices de previsões do livro impressos a 2 de Janeiro de 2026, antes de os artigos e o programa existirem. O que não foi fixado antecipadamente foi o protocolo de ajuste, e essa lacuna é fechada prospectivamente pelos testes encenados formalmente registados: o teste da quarta célula e o teste de expansão a 80 domínios. Este teste deve portanto ser entendido como uma comparação estruturada de previsões, não como um ensaio cego formalmente registado. Está planeada uma replicação com classificação independente do operador.
O teste v2 usa AICc apropriado (critério de informação de Akaike corrigido) calculado a partir da soma residual dos quadrados, do tamanho da amostra e do número de parâmetros, não a aproximação baseada em R$^2$ usada no teste legado v1. A aproximação v1 ($\text{AIC} \approx n \ln(1 - R^2) + 2k$) era adequada como heurística mas não deveria ter sido descrita como AIC estrito no sentido estatístico padrão. A reescrita v2 corrige isto.
O teste principal de significância é um teste de permutação condicionado às marginais: mantendo fixas tanto as marginais da família predita como as da observada e permutando o emparelhamento 400,000 vezes, a probabilidade de 19 ou mais correspondências é $p = 7 \times 10^{-5}$. A contagem esperada de correspondências sob esta hipótese nula é 9.5 de 25, e não os 8.33 que uma hipótese nula uniforme dá, porque as leis de potência são simplesmente comuns entre os ajustes observados. Um teste binomial unilateral contra uma hipótese nula uniforme de três famílias dá $p = 1.56 \times 10^{-5}$ e é retido como verificação de sensibilidade; é a hipótese nula mais fraca e não é usada como manchete. Equivalentes em sigma não são citados porque mudam com a escolha da hipótese nula. Reprodução: scripts/paper-vii-permutation-null.py no repositório do sítio, que analisa directamente a tabela publicada da Secção 5 para não poder desviar-se desta página.
A Secção 2.1 nomeia quatro famílias de Cauchy. O conjunto de modelos candidatos na Secção 3 contém seis modelos que cobrem três delas: as famílias de lei de potência, exponencial e limitada. Duas das quatro soluções contínuas de Cauchy não têm candidato próprio: a forma logarítmica $c \log x$ e a forma linear pura $cx$. Uma consequência corre em cada sentido. Um domínio genuinamente logarítmico não poderia ter sido classificado correctamente, porque o ajustador não tinha candidato logarítmico para seleccionar, pelo que algumas das seis falhas podem ter sido falhas garantidas; e alguns dos dezanove acertos podem ser relações logarítmicas que uma lei de potência ajusta aceitavelmente num intervalo finito. Cada contagem de acertos neste artigo carrega, portanto, este qualificador, e nenhuma pode ser citada sem ele. Um estudo confirmatório que reexecute a comparação com o conjunto completo de candidatos das quatro famílias, com desfechos por célula especificados de antemão, foi redigido e datado como registo em rascunho aguardando submissão humana (o teste da célula logarítmica das quatro famílias no programa registado, ao lado do estudo de extensão a domínios novos). Até essa reexecução ser reportada, os números abaixo são o resultado do modelo de seis, exactamente como calculado, e nada mais forte.
O conjunto de 50 domínios compreende cinco níveis de evidência de força decrescente. Estes níveis nunca são combinados num único número misturado.
| Nível | Descrição | Contagem | Resultado | Significância |
|---|---|---|---|---|
| Principal | Ajuste empírico de curvas (AICc) | 25 | 19/25 | $p = 7 \times 10^{-5}$ perm.; $1.56 \times 10^{-5}$ binomial |
| Secundário | Reexecução da linha de base-20 (AICc) | 20 | 15/20 | $p = 1.67 \times 10^{-4}$ |
| Secundário | Expoentes publicados (directo) | 13 | 13/13 | Correspondência com comparador mais próximo |
| Assinalado | Expoentes publicados (provisórios) | 6 | 3/6 | Organismos contestados |
| Assinalado | Identidades analíticas | 6 | 6/6 | Confirmação tautológica |
| # | Domínio | Operador | Predito | Melhor por AICc | Corresponde |
|---|---|---|---|---|---|
| 1 | Lei de Kleiber (Escala Metabólica) | Multiplicativa | Lei de potência | Saturação-exp | Não |
| 2 | Escala Urbana (PIB vs População) | Multiplicativa | Lei de potência | Lei de potência | Sim |
| 3 | Espécies-Área (Galápagos) | Multiplicativa | Lei de potência | Hill | Não |
| 4 | Lei de Wright (Painéis Solares) | Multiplicativa | Lei de potência | Lei de potência | Sim |
| 5 | Lei de Heap (Vocabulário) | Multiplicativa | Lei de potência | Lei de potência | Sim |
| 6 | Lei de Zipf (Frequência de Palavras) | Multiplicativa | Lei de potência | Michaelis-Menten | Não |
| 7 | Curva de Aprendizagem (Enrolar Charutos) | Multiplicativa | Lei de potência | Lei de potência | Sim |
| 8 | Lei de Moore (Contagem de Transístores) | Aditiva | Exponencial | Exponencial | Sim |
| 9 | Decaimento Radioactivo (P-32) | Aditiva | Exponencial | Exponencial | Sim |
| 10 | Gutenberg-Richter (Sismos) | Aditiva | Exponencial | Exponencial | Sim |
| 11 | Crescimento Bacteriano (E. coli) | Limitada | Limitada | Logística | Sim |
| 12 | Curva O$_2$-Hemoglobina | Limitada | Limitada | Hill | Sim |
| 13 | SIR Epidémico (Ebola 2014) | Limitada | Limitada | Hill | Sim |
| 14 | Lei de Amdahl (Escala de CPU) | Limitada | Limitada | Michaelis-Menten | Sim |
| 15 | Força-Velocidade Muscular (Hill 1938) | Limitada | Limitada | Exponencial | Não |
| 16 | Crescimento de MAU do Facebook | Limitada | Limitada | Logística | Sim |
| 17 | Difusão Browniana (MSD) | Multiplicativa | Lei de potência | Lei de potência | Sim |
| 18 | Lei de Horton (Números de Cursos de Água) | Aditiva | Exponencial | Exponencial | Sim |
| 19 | Leis de Escala Neural (Perda em LLM) | Multiplicativa | Lei de potência | Lei de potência | Sim |
| 20 | Ordem de Cristal Temporal (Gás de Rydberg) | Limitada | Limitada | Lei de potência | Não |
| 21 | Massa-Luminosidade Estelar | Multiplicativa | Lei de potência | Logística | Não |
| 22 | Ritmo Cardíaco vs Massa Corporal | Multiplicativa | Lei de potência | Lei de potência | Sim |
| 23 | Regra de Rent (Contagem de Pinos VLSI) | Multiplicativa | Lei de potência | Lei de potência | Sim |
| 24 | Lei de Potência de Taylor | Multiplicativa | Lei de potência | Lei de potência | Sim |
| 25 | Lei de Hack (Comprimento de Curso de Água) | Multiplicativa | Lei de potência | Lei de potência | Sim |
Sob selecção estrita de modelos por AICc, a família predita por Cauchy é confirmada em 19 de 25 domínios empíricos de ajuste de curvas. A probabilidade de permutação condicionada às marginais é $p = 7 \times 10^{-5}$; a probabilidade binomial sob atribuição aleatória uniforme às três famílias presentes neste conjunto de candidatos é $p = 1.56 \times 10^{-5}$, aproximadamente 1 em 64,000; sob a grelha de quatro famílias o mesmo resultado dá $p = 1.27 \times 10^{-7}$, aproximadamente 1 em 7,9 milhões, pelo que o valor aqui reportado é o mais conservador. No subconjunto estritamente derivado de Cauchy (apenas os domínios multiplicativos e aditivos) o resultado é 14/18 com permutação $p = 3.0 \times 10^{-4}$: a manchete não depende da família limitada, cuja exaustividade permanece em aberto.
Isto é forte o suficiente para ser publicado como evidência exploratória. Não é suficientemente forte para ser reivindicado como provado. A replicação independente com classificação do operador pré-registada é o próximo passo necessário.
Como contexto, os 20 domínios da linha de base original foram reexecutados com o novo ajustador AICc apropriado. O resultado é 15/20 ($p = 1.67 \times 10^{-4}$). Isto não é directamente comparável ao resultado v1 de 14/20, porque o ajustador mudou (aproximação AIC baseada em R$^2$ para AICc apropriado) e algumas selecções de modelo mudaram em conformidade. A reexecução da linha de base-20 é reportada por transparência, não como evidência de que o novo ajustador é mais ou menos conservador que o antigo.
Seis de 25 domínios empíricos produziram um modelo de melhor ajuste fora da família predita. Cada falha tem uma explicação específica e identificável. Segue-se uma análise honesta.
| # | Domínio | Predito | Melhor por AICc | Explicação |
|---|---|---|---|---|
| 1 | Lei de Kleiber | Lei de potência | Saturação-exp | Caso clássico contestado. O conjunto de dados original de Kleiber de 1932 tem apenas 13 mamíferos. Um modelo limitado consegue captar ligeira curvatura superior em massas corporais extremas. O debate sobre o expoente da lei de potência (0,67 vs 0,75) persiste há décadas. |
| 3 | Espécies-Área (Galápagos) | Lei de potência | Hill | Conjunto de dados pequeno (30 ilhas das Galápagos) com dispersão alta. Várias ilhas têm áreas muito pequenas com contagens desproporcionadas de espécies. A função de Hill consegue absorver essa dispersão com o seu parâmetro extra. |
| 6 | Lei de Zipf | Lei de potência | Michaelis-Menten | Truncatura de corpus finito. O Corpus de Brown tem um limite superior estrito na frequência de palavras (69,971 para «the»). Em posições baixas, as frequências saturam contra este tecto, puxando o AICc para um modelo limitado. A lei de Zipf é uma lei de potência no limite assimptótico; corpora finitos violam esse limite. |
| 15 | Força-Velocidade Muscular | Limitada | Exponencial | Os dados de força-velocidade de Hill 1938 mostram um decréscimo monotónico desde a força isométrica máxima até zero na velocidade máxima. Os dados não atingem nem demonstram um planalto assimptótico: terminam onde a força atinge zero. Um decaimento exponencial ajusta melhor este intervalo truncado do que uma curva de saturação. A predição limitada requer dados que cubram toda a aproximação à saturação. |
| 20 | Ordem de Cristal Temporal | Limitada | Lei de potência | Apenas 4 pontos de dados. Com tão poucas observações, o AICc penaliza os parâmetros extra dos modelos de saturação. Uma lei de potência, com menos parâmetros livres, vence por parcimónia. A predição limitada pode estar correcta mas é intestável com este conjunto de dados. |
| 21 | Massa-Luminosidade Estelar | Lei de potência | Logística | A relação massa-luminosidade mostra dispersão significativa em massas estelares elevadas onde a pressão de radiação, a instabilidade convectiva e diferentes vias de fusão criam desvios em relação a uma lei de potência simples. Um modelo logístico absorve essa dispersão ajustando uma aparente inflexão superior. |
Em resumo: três falhas envolvem conjuntos de dados pequenos ou truncados (espécies-área, cristal temporal, Zipf); uma envolve dados que não cobrem todo o intervalo de saturação (força-velocidade muscular); uma envolve uma relação classicamente contestada (Kleiber); e uma envolve complexidade astrofísica em valores extremos (massa-luminosidade estelar). Nenhuma representa um caso em que a família predita esteja fundamentalmente errada em princípio, mas também nenhuma falha pode ser descartada. São fracassos genuínos que uma replicação independente terá de tratar.
Treze táxones com expoentes de escala metabólica bem estabelecidos foram testados contra a predição dimensional ARC/Cauchy. A predição exige três condições: (a) composição multiplicativa (a equação de Cauchy restringe a forma a uma lei de potência), (b) geometria de transporte de preenchimento de espaço em $d$ dimensões, e (c) um constrangimento de conservação ou optimização sobre o fluxo de recursos (minimização de energia em West et al.; equilíbrio oferta-procura em Banavar et al.; balanço de energia em estado estacionário em Demetrius). Sob todas as três condições, o expoente é restringido a $d/(d+1)$. Nem Cauchy sozinha, nem o preenchimento de espaço sozinho, é suficiente. Organismos com transporte vascular tridimensional e fluxo conservado deveriam escalar como $M^{3/4}$, aqueles com transporte bidimensional como $M^{2/3}$, e aqueles com transporte filamentoso unidimensional como $M^{1/2}$.
O valor empírico do expoente de escala metabólica de mamíferos é debatido, com estimativas que variam de aproximadamente 0,67 a 0,75 dependendo do táxon, do intervalo de massa, da correcção de temperatura e do método estatístico (White & Seymour 2003; Glazier 2005, 2022). O maior conjunto de dados moderno (619 espécies) dá uma estimativa de máxima verosimilhança de 0,687 (IC 95% 0,674-0,701), que exclui 0,750. A predição $d/(d+1)$ de 0,750 para $d = 3$ corresponde ao topo do intervalo empírico. A variação em si é consistente com o quadro: organismos com dimensões efectivas de transporte entre 2 e 3 produziriam expoentes entre 2/3 e 3/4. O quadro prediz esta variação em vez de um único expoente universal.
| # | Táxon | Predito | Observado | Mais próximo | IC inclui? |
|---|---|---|---|---|---|
| 26 | Mamíferos | 0.750 | 0.737 | $d=3$ | Sim |
| 27 | Aves | 0.750 | 0.720 | $d=3$ | Sim |
| 28 | Peixes | 0.750 | 0.800 | $d=3$ | Sim |
| 29 | Répteis | 0.750 | 0.760 | $d=3$ | Sim |
| 30 | Insectos | 0.750 | 0.750 | $d=3$ | Sim |
| 31 | Anfíbios | 0.750 | 0.740 | $d=3$ | Sim |
| 32 | Crustáceos | 0.750 | 0.730 | $d=3$ | Sim |
| 33 | Alforrecas | 0.667 | 0.680 | $d=2$ | Sim |
| 34 | Cnidários | 0.667 | 0.700 | $d=2$ | Sim |
| 35 | Ctenóforos | 0.667 | 0.660 | $d=2$ | Sim |
| 36 | Fungos ectomicorrízicos | 0.500 | 0.580 | $d=1$ | Sim |
| 37 | Fungos marinhos | 0.500 | 0.530 | $d=1$ | Sim |
| 38 | Fungos saprotróficos (20°C) | 0.500 | 0.530 | $d=1$ | Sim |
Todos os 13 expoentes publicados caem mais próximos do comparador dimensional predito ($d/(d+1)$), e todos os 13 intervalos de confiança incluem o valor predito. Isto é forte evidência corroborativa, mas testa uma afirmação diferente (expoente específico) do que o resultado principal (família funcional), pelo que é reportado separadamente.
A tabela acima não carrega uma coluna de citação por linha. As referências [26]-[35] da Secção 10.2 nomeiam a literatura de compêndio mais alargada sobre escala metabólica interespecífica (West, Brown e Enquist 1997; Banavar et al. 1999, 2010; Demetrius 2003, 2006, 2010; White e Seymour 2003; Glazier 2005, 2022; Kolokotrones et al. 2010) a partir da qual é compilada a literatura sobre expoentes de escala em mamíferos, vertebrados e invertebrados, mas este artigo não ancora actualmente uma citação de fonte trancada por linha a cada expoente observado ou intervalo de confiança da tabela. Leitores independentes devem tratar as linhas individuais como pendentes de uma auditoria de fonte por linha antes da reutilização em trabalho secundário; as linhas de alforrecas, cnidários e ctenóforos (33-35) e as três linhas de fungos (36-38) são aquelas para as quais não foi ancorada neste artigo uma citação de fonte por linha.
As entradas de alforrecas, cnidários e ctenóforos (linhas 33-35) são classificadas como correspondências ao comparador mais próximo $d = 2$, o que significa que os seus expoentes observados caem mais perto de 2/3 do que de 1/2 ou 3/4. Contudo, a predição biológica de $d = 2$ permanece por testar no sentido forte porque nenhum organismo conhecido possui uma rede de transporte hierárquica de preenchimento de espaço genuinamente bidimensional com fluxo conservado. Estes organismos carecem da arquitectura vascular que a derivação $d/(d+1)$ pressupõe. A confirmação de $d = 2$ existe em cosmologia (solução da era da matéria de Friedmann, exacta) e em física (percolação, fragmentação), não em biologia. Estas linhas devem ser entendidas como proximidade empírica ao comparador $d = 2$, não como confirmação dimensional.
Seis táxones adicionais com atribuições dimensionais contestadas ou baseadas em «proxy» foram testados. Apenas 3 de 6 correspondem ao comparador predito mais próximo. As falhas são platelmintes (transporte 2D vs 3D disputado), briozoários (organismos coloniais com escala anómala perto de 1,0), e enguias de vidro (alongadas mas retendo transporte vascular 3D). Estes são assinalados por completude mas carregam pouco peso evidencial devido às atribuições dimensionais contestadas.
Seis domínios definidos por fórmulas analíticas exactas ($E = mc^2$, níveis de energia do hidrogénio, cinética de Arrhenius, cinética de Michaelis-Menten, expansão de Friedmann na era da matéria, expansão de de Sitter na era da energia escura) foram incluídos como verificações de sanidade. Todos os 6 confirmam. São tautológicos, uma vez que ajustar uma curva a dados gerados por uma fórmula exacta tem de recuperar essa fórmula, e não carregam peso evidencial independente. Apenas confirmam que o ajustador funciona correctamente.
Uma pasta de pré-registo completa para a extensão deste artigo existia em Março de 2026 e está preservada no repositório público (experiments/cauchy-unification__Paper-VII/preregistration/): um protocolo escrito; um manifesto trancado de candidatos datado de 17 de Março de 2026 no seu próprio campo de versão, carregando doze linhas cada uma com classe de operador, família prevista, modelo previsto e fonte alvo fixados antes de qualquer ajuste; os próprios checksums de ficheiro do autor; e o texto de registação do componente OSF, já escrito. O único passo ausente era o clique de submissão ao registo. O próprio campo de estatuto da pasta regista a limitação nas palavras do estate: 'archived_local_packet_exercised_before_timestamp', e a análise está fixada a um commit de git. O pré-registo existia aqui em substância e em forma de rascunho; o que lhe faltava era o carimbo temporal externo.
Duas outras corridas de Março de 2026 existiam apenas como artefactos de repositório até esta versão, e ambas são registadas aqui com o seu estatuto declarado antes dos seus números. Ambas correram sob o conjunto de candidatos pré-correcção (sem candidato logarítmico), e a linhagem de desenho da extensão foi posteriormente retirada sem edição, pelo que ambas são resultados exploratórios datados sob a taxonomia substituída, substituídas pelo teste da quarta célula formalmente registado, e nenhuma é confirmação de coisa alguma.
A corrida seca de extensão a 12 domínios com manifesto trancado de 17 de Março de 2026 devolveu 10/12 correspondências de família (binomial p = 5.4×10-4; results_preregistered_extension.json). A despromoção do estatuto dessa corrida está datada ao minuto no historial de commits do repositório público: e5c22dd regista o resultado 10/12 às 00:43 de 17 de Março de 2026, f5e06a8 adopta a postura conservadora de falha às 00:47, e c853277 despromove a corrida a corrida seca piloto às 00:56, treze minutos após o resultado ter sido registado e meses antes de qualquer revisão externa existir. O resultado nunca foi retirado; o seu estatuto reivindicado foi corrigido, pelo autor, contra o próprio interesse, em público. A corrida temporal fora-da-amostra a 7 domínios, que ajusta famílias candidatas a dados antigos e testa se a família vencedora prevê a forma funcional de novos dados, devolveu 4 confirmados, 2 parciais e 1 inconsistente (results_temporal_out_of_sample.json); o domínio inconsistente é reportado com o mesmo destaque que as confirmações. Um catálogo de expansão a 105 domínios (linhas 26 a 65 e 66 a 105) está preparado nos dados do repositório e não foi corrido; não é reivindicado nenhum resultado para além das corridas aqui nomeadas.
O anel mais exterior da mesma cadeia datada está em impressão. A primeira edição de 2 de Janeiro de 2026 (ISBN 978-1806056200) leva o Apêndice F, cinco previsões numeradas testáveis que fecham com uma aposta impressa: «Estas previsões são a minha aposta. Se falharem, o enquadramento está errado ou incompleto. Se tiverem sucesso, alguma coisa importante foi vislumbrada. O tempo julgará.» O Apêndice A operacionaliza as proposições do enquadramento, enuncia quatro previsões adicionais em §A.3 (desenvolvimento de IA quadrático em vez de linear; consciência e informação integrada; correcção de erros recursiva cosmológica; incorporação de valores), e fixa antecipadamente critérios de falsificação em §A.4. A Previsão 2 imprime os limiares de deriva de alinhamento de 15 por cento e 5 por cento que o pré-registo em rascunho do study-v preparado agora carrega inalterados para uma hipótese formal, citando o apêndice pelo nome. O livro é uma declaração prévia impressa em vez de um pré-registo, e os dois nunca são confundidos: a impressão fixa a previsão; apenas uma registação fixa um plano de análise.
O resultado principal ($p = 7 \times 10^{-5}$, permutação) merece contextualização honesta.
De 14 domínios empíricos classificados como multiplicativos, 10 produzem escala em lei de potência como o seu melhor modelo por AICc. Estes cobrem alometria metabólica (ritmo cardíaco vs massa corporal), economia urbana (Bettencourt 2007), curvas de aprendizagem tecnológica (lei de Wright), linguística computacional (lei de Heap), aquisição de competências (Crossman 1959), movimento browniano (Catipovic 2013), escala de redes neurais (Kaplan 2020), design VLSI (regra de Rent), ecologia de populações (lei de potência de Taylor) e geomorfologia fluvial (lei de Hack).
Quatro domínios multiplicativos falham: lei de Kleiber (o modelo limitado supera a lei de potência num conjunto de dados de 13 pontos), espécies-área (dispersão alta em dados de ilhas pequenas), massa-luminosidade estelar (dispersão a massa alta) e lei de Zipf (truncatura de corpus finito).
Todos os quatro domínios com operadores de composição aditiva produzem escala exponencial como o seu melhor modelo por AICc: lei de Moore (contagens de transístores), decaimento radioactivo (P-32), lei de Gutenberg-Richter da frequência de sismos, e lei de Horton (números de cursos de água). Este é um limpo 4/4.
De sete domínios com operadores de composição limitada, cinco produzem modelos limitados (de saturação) como melhor por AICc: crescimento bacteriano (logístico), ligação da hemoglobina (Hill), epidemia de Ebola (Hill), lei de Amdahl (Michaelis-Menten) e crescimento do Facebook (logístico). Dois falham: força-velocidade muscular (o decaimento exponencial ajusta melhor o intervalo truncado) e ordem de cristal temporal (apenas 4 pontos de dados).
Três domínios usam valores teóricos ou de referência em vez de medições empíricas independentes: decaimento radioactivo (meia-vida de referência do NIST para P-32), lei de Amdahl (fórmula teórica com fracção série assumida de 10%) e lei de Moore (contagens de transístores obtidas na Wikipédia a partir de especificações do fabricante). Estes confirmam o quadro trivialmente e devem ser ponderados em conformidade.
[1] Kleiber, M. (1932). Body size and metabolism. Hilgardia 6:315-353. Reproduzido em Dodds, P. et al. (2001) J. Theor. Biol. 209:9-27.
[2] Bettencourt, L. et al. (2007). Growth, innovation, scaling, and the pace of life in cities. PNAS 104(17):7301-7306. Dados: BEA + Census 2006, 25 maiores MSAs dos EUA.
[3] Johnson, M. & Raven, P. (1973). Species number and endemism: the Galapagos archipelago revisited. Science 179:893-895. Dados: R faraway::gala dataset, 30 ilhas.
[4] Nemet, G. (2009). Demand-pull, technology-push. Energy Policy; Farmer, J.D. & Lafond, F. (2016) Research Policy; IRENA; Our World in Data.
[5] Manning, C. et al. (2008). Introduction to Information Retrieval. Corpus Reuters RCV1.
[6] Kucera, H. & Francis, W. (1967). Computational Analysis of Present-Day American English. Brown Corpus.
[7] Crossman, E. (1959). A theory of the acquisition of speed-skill. Ergonomics 2(2):153-166. Reanálise: Newell, A. & Rosenbloom, P. (1981).
[8] Wikipedia: Transistor count. Especificações públicas do fabricante (Intel, AMD, TSMC).
[9] NIST Nuclear Data Center. Meia-vida do P-32: 14,29 dias. Valores teóricos exactos.
[10] USGS Earthquake Hazards Program; compilação IRIS. Catálogo global de sismicidade.
[11] Sezonov, G. et al. (2007). E. coli physiology in Luria-Bertani broth. J. Bacteriol. 189:8746-8749.
[12] Severinghaus, J. (1979). Simple, accurate equations for human blood O$_2$ dissociation computations. J. Appl. Physiol. 46(3):599-602.
[13] WHO/CDC Ebola Situation Reports (2014-2015); NEJM Ebola Response Team.
[14] Amdahl, G. (1967). Validity of the single processor approach to achieving large scale computing capabilities. AFIPS. Ver também Hill, M. & Marty, M. (2008) IEEE Computer.
[15] Hill, A. (1938). The heat of shortening and the dynamic constants of muscle. Proc. Royal Soc. B 126:136-195.
[16] Meta SEC filings; Zhang, C., Liu, J. & Xu, Y. (2015). J. Comp. Sci. Tech.
[17] Catipovic, M. et al. (2013). Improving the quantification of Brownian motion. Am. J. Physics 81:485.
[18] Singh, V. et al. (2021). Hydrological stream order analysis. Applied Water Science 11:151.
[19] Kaplan, J. et al. (2020). Scaling Laws for Neural Language Models. arXiv:2001.08361.
[20] Shen, Y. et al. (2025). Time crystal order in a Rydberg gas. Nature Communications. Ver também Kongkhambut, P. et al. (2024) Science 386(6720):670-674.
[21] Torres, G. et al. (2010). Accurate masses and radii of normal stars. Astron. Astrophys. Rev. 18:67-126. Eker, Z. et al. (2018) MNRAS 479:5491. Valores solares nominais da IAU 2015.
[22] Stahl, W. (1967). Scaling of respiratory variables in mammals. J. Appl. Physiol. 22:453. Calder, W. (1984) Size, Function, and Life History. Schmidt-Nielsen, K. (1984) Scaling: Why Is Animal Size So Important?
[23] Landman, B. & Russo, R. (1971). On a pin versus block relationship for partitions of logic graphs. IEEE Trans. Comp. C-20:1469. Christie, P. (2000); Stroobandt, D. (2001).
[24] Taylor, L. (1961). Aggregation, variance and the mean. Nature 189:732-735. Taylor, L. & Woiwod, I. (1980) J. Anim. Ecol. 49:879.
[25] Hack, J. (1957). Studies of longitudinal stream profiles in Virginia and Maryland. USGS Professional Paper 294-B. Mueller, J. (1973); Rigon, R. et al. (1996) Water Resour. Res. 32:3367.
[26] West, G. B., Brown, J. H. & Enquist, B. J. (1997). A general model for the origin of allometric scaling laws in biology. Science 276(5309):122-126.
[27] Banavar, J. R., Maritan, A. & Rinaldo, A. (1999). Size and form in efficient transportation networks. Nature 399(6732):130-132.
[28] Banavar, J. R., Moses, M. E., Brown, J. H., Damuth, J., Rinaldo, A., Sibly, R. M. & Maritan, A. (2010). A general basis for quarter-power scaling in animals. Proceedings of the National Academy of Sciences 107(36):15816-15820.
[29] Demetrius, L. (2003). Quantum statistics and allometric scaling of organisms. Physica A 322:477-490.
[29b] Demetrius, L. (2006). The origin of allometric scaling laws in biology. Journal of Theoretical Biology 243(4):455-467.
[29c] Demetrius, L. & Tuszynski, J. A. (2010). Quantum metabolism explains the allometric scaling of metabolic rates. Journal of the Royal Society Interface 7(44):507-514.
[30] Zhao, J. (2022). Universal growth scaling law determined by dimensionality. arXiv:2206.08094.
[31] Bettencourt, L. M. A. (2013). The origins of scaling in cities. Science 340(6139):1438-1441.
[32] White, C. R. & Seymour, R. S. (2003). Mammalian basal metabolic rate is proportional to body mass2/3. Proceedings of the National Academy of Sciences 100(7):4046-4049.
[33] Glazier, D. S. (2005). Beyond the '3/4-power law': variation in the intra- and interspecific scaling of metabolic rate in animals. Biological Reviews 80(4):611-662.
[34] Glazier, D. S. (2022). Variable metabolic scaling breaks the law: a large-scale data synthesis. Biological Reviews 97(3):1056-1067.
[35] Kolokotrones, T., Savage, V., Deeds, E. J. & Fontana, W. (2010). Curvature in metabolic scaling. Nature 464(7289):753-756.
Uma busca na literatura não devolveu qualquer publicação anterior que invoque as quatro equações funcionais de Cauchy como princípio unificador inter-domínios a restringir as formas das leis de escala. Convidam-se leitores a submeter trabalho anterior; um antecedente genuíno que o faça derrota a reivindicação de prioridade deste artigo.
O trabalho existente mais próximo inclui:
A lacuna é genuína. A fórmula $d/(d+1)$ foi independentemente derivada por pelo menos sete grupos de investigação através de quadros matemáticos diferentes: redes fractais, constrangimentos geométricos com balanço oferta-procura, metabolismo quântico, escala urbana, optimização de rede, geometria vascular optimal e primeiros princípios termodinâmicos. Cada derivação conhecida exige três condições: composição multiplicativa (que Cauchy restringe à família de lei de potência), geometria de preenchimento de espaço em $d$ dimensões, e um constrangimento de conservação ou optimização sobre o fluxo de recursos. Os teoremas matemáticos têm 200 anos. Os dados biológicos têm 90 anos. A contribuição inédita não é a própria fórmula $d/(d+1)$ (que está bem estabelecida), nem a matemática de Cauchy, mas a afirmação de que as equações funcionais do tipo Cauchy explicam porque é que estas derivações independentes convergem para a mesma forma, e que o constrangimento de Cauchy tem uma consequência fisicamente testável para a classificação de leis de escala através de domínios.
As limitações acima descrevem onde o quadro é fraco; esta subsecção enuncia os desfechos específicos que o falsificariam. A afirmação central, de que o operador de composição de um domínio, classificado a partir da física conhecida antes do ajuste, prediz a sua família de lei de escala, é derrotada por qualquer dos seguintes:
O que não a derrotaria: uma única falha adicional, ou um modelo com melhor ajuste a aparecer num domínio. A reivindicação é sobre a correspondência agregada operador–família, não sobre qualquer ajuste isolado; mas esse agregado tem de exceder a linha de base do acaso sob replicação pré-registada com classificação independente.
Se o quadro se aguentar sob replicação independente pré-registada, sugeriria:
Estas implicações são condicionais. A evidência actual é exploratória, não definitiva.
Plante uma bolota e, dados séculos, obtém um carvalho. Mas plante a bolota desse carvalho, e a bolota dessa, recursivamente ao longo de milénios, e obtém uma floresta que molda o clima dos continentes. O que plantarmos nestes sistemas irá compor-se em escalas que não conseguimos imaginar. A semente determina a floresta.
Cauchy provou há 200 anos que a semente também determina a forma da floresta. Sementes multiplicativas produzem leis de potência. Sementes aditivas produzem exponenciais. Sementes limitadas produzem saturação. Vinte e cinco domínios empíricos testados contra esta predição rendem 19 confirmações a $p = 7 \times 10^{-5}$ sob o teste de permutação condicionado às marginais, no conjunto de candidatos de seis modelos da Secção 3.2; a reexecução de quatro famílias está redigida e aguarda submissão humana. Treze expoentes metabólicos publicados caem onde a teoria dimensional prediz.
A matemática esteve sempre lá. Só não a tínhamos lido como uma predição sobre o mundo físico. Se essa leitura se aguenta sob escrutínio independente é agora uma questão para a comunidade científica responder.
Raise AI with care.
O conjunto de validação completo, incluindo todas as 50 definições de domínio, o manifesto canónico e o código de ajuste baseado em AICc, está disponível em:
O script requer Python 3.10+, numpy e scipy. Todos os dados estão embutidos no manifesto com citações completas de proveniência. A saída é determinística.
O autor deste trabalho é Michael Darius Eastwood, um ser humano. Todo o conceito nuclear, hipótese, desenho experimental, afirmação e conclusão neste artigo tem origem em ideação humana. Nenhuma parte deste manuscrito é uma saída totalmente gerada por inteligência artificial.
Ferramentas de inteligência artificial (a família Claude da Anthropic e outros assistentes com grandes modelos de linguagem) foram usadas como instrumentos sob direcção humana contínua, do mesmo modo que se usa um processador de texto, uma calculadora ou um assistente de investigação: para edição e refinamento de prosa, busca e sumarização de literatura (manualmente verificadas contra fontes primárias), estrutura do documento, formatação, brainstorming contra questões definidas pelo autor, e a aceleração da redacção a partir de esquemas e instruções definidos pelo autor. Toda a selecção, coordenação, arranjo e julgamento editorial final são do autor. Cada saída substantiva foi revista, testada ou verificada pelo autor, que assume total responsabilidade pela exactidão e integridade do texto final. As ferramentas aumentaram a velocidade do trabalho; nunca foram utilizadas como sua fonte.
Estatuto epistémico. O que este programa chama Laws são conjecturas sob teste adversarial registado; cada quantidade neste artigo é operacionalmente definida, e o estatuto de lei estabelecida não é reclamado em lado nenhum. O programa registado existe para ganhar esse estatuto, ou perdê-lo, através de medição, replicação e refutação sobrevivida.
© 2026 Michael Darius Eastwood. Autoria humana com assistência computacional; a autoria humana plena e os direitos morais são reivindicados ao abrigo do Copyright, Designs and Patents Act 1988 e em consonância com as orientações do United States Copyright Office sobre obras contendo material gerado por IA; qualquer contribuição técnica inédita descrita neste trabalho foi concebida pelo autor humano. Declaração completa: michaeldariuseastwood.com/authorship.
Compromisso permanente. Prove que este artigo está errado, e publicarei eu próprio a refutação. As condições de falsificação estão enunciadas neste artigo; o desafio permanente: github.com/MichaelDariusEastwood/arc-scaling-challenge.
Erro de tradução? Comunique diretamente: