Prajnanabha Volume 1 Issue 5 ยท V1I5-A05

Kakeya Upper Bounds for Neural Arbors

A. Chawla \\ REAL Institute and IIT Delhi | 28 March 2026
Source PDF: kakeyaRallv3.pdf

Abstract

We establish a bridge between incidence geometry and neurobiological structure by showing that the classical joints problem provides a strict upper bound on the branching complexity of neural arbors. We refine this connection using bounded-degree incidence graphs, demonstrating that pruning, directionality, and conservation laws reduce the combinatorial complexity of intersections from $O(N^{3/2})$ to $O(N)$. In particular, dendritic trees modeled after Rall's framework naturally induce bounded-degree, acyclic incidence structures, leading to sharp linear upper bounds on branching complexity.

Introduction

The joints problem asks: given $N$ lines in ${R}^3$, how many points can occur where three non-coplanar lines intersect? The answer is: \[ |J| = O(N^{3/2}). \]

This bound reflects maximal combinatorial reuse of lines.

In contrast, neural arbors (e.g., dendritic trees) exhibit:

We show that these constraints correspond to bounded-degree incidence graphs, which enforce linear scaling of branching complexity.

The Joints Problem

Definition

A joint is a point in ${R}^3$ where at least three lines intersect with linearly independent directions.

Theorem

[Joints Theorem] For $N$ lines in ${R}^3$, \[ |J| C N^{3/2}. \]

This represents the unconstrained regime.

Incidence Graph Formulation

We encode the configuration as a bipartite graph.

Definition

The incidence graph $G = (L J, E)$ is defined by:

  • vertices: lines $L$ and joints $J$,

  • edges: $(, x) E$ if line $$ passes through joint $x$.

In the classical setting:

This high-degree freedom drives the $N^{3/2}$ bound.

Neural Arbor Model

We now introduce constraints inspired by dendritic trees.

Definition

An arbor is a directed, acyclic graph embedded in ${R}^3$ obtained from initial trajectories via:

  • orientation (signal flow),

  • pruning of backward segments,

  • non-reuse of segments after branching.

Rall-Type Constraints

In addition, branching satisfies: \[ _j d_j^{3/2} = {constant}, \] imposing physical limits on branching proliferation.

Bounded-Degree Incidence Graphs

The key structural difference is degree control.

Definition

An incidence graph is bounded-degree if each line vertex has degree at most $D$, where $D$ is independent of $N$.

Proposition

The incidence graph of a neural arbor is bounded-degree.

Proof

After pruning:

  • each trajectory can only branch forward,

  • each segment participates in at most one downstream branching event,

  • reuse is forbidden.

Thus each original trajectory contributes a bounded number of incidences, implying a uniform degree bound $D$.

Edge Bound

Theorem

[Arbor Bound] Let $T$ be an arbor derived from $N$ initial trajectories. Then the number of edges satisfies \[ E kN \] for some constant $k 2$, and hence \[ |J_{{arb}}| kN. \]

Proof

Intersections subdivide trajectories into multiple segments. For example, two intersecting trajectories may produce up to four local segments.

However, pruning enforces:

  • directionality,

  • acyclicity,

  • non-reuse.

These constraints ensure that each initial trajectory yields at most a bounded number of retained segments. Hence $E kN$ for some constant $k 2$.

Since branching points are bounded by the number of edges, \[ |J_{{arb}}| E kN. \]

Comparison with Classical Regime

\[ O(N) O(N^{3/2}) \]

Thus bounded-degree incidence graphs suppress combinatorial explosion.

Graph-Theoretic Interpretation

In general incidence graphs:

In bounded-degree graphs:

This aligns neural arbors with sparse graph regimes.

Biological Interpretation

Neural systems impose:

These translate mathematically into:

Hence biological networks cannot realize extremal incidence configurations.

Main Conclusion

Theorem

[Kakeya Upper Bound for Neural Arbors] Any neural arbor derived from $N$ spatial trajectories satisfies \[ |J_{{arb}}| kN, \] while the unconstrained upper bound satisfies \[ |J| C N^{3/2}. \]

This establishes a strict gap between geometric possibility and biological realizability. Future work will exploit this gap to bound the complexity of the neural connectome.

Keywords

Kakeya problem, joints theorem, incidence geometry, bounded-degree graphs, neural arbors, dendritic trees, Rall model, connectome complexity.

Acknowledgment of LLM Use

This document was prepared with assistance from a large language model (LLM), which aided in structuring and drafting the mathematical exposition. The conceptual content and mathematical reasoning were critically reviewed and refined by the author. We refer the reader to standard works by Rall and Guth for dendrites and the joints problem, respectively.