Resumen Técnico: Longitudes de Trayectoria Corta en Procesos de Cox de Líneas de Poisson

1. Planteamiento del Problema

El artículo aborda la caracterización de las longitudes de trayectoria corta con restricciones de calle ($\ell_1$) dentro de un Proceso de Cox de Líneas de Poisson (PLCP). En este modelo de geometría estocástica, un Proceso de Líneas de Poisson (PLP) con densidad $\lambda$ genera líneas aleatorias en el plano euclidiano. Sobre estas líneas se superponen Procesos de Puntos de Poisson (PPP) con intensidad lineal $\mu$, que representan entidades como vehículos o nodos de calles.

Mientras que la distancia euclidiana ($\ell_2$) al vecino más cercano está bien comprendida, la distancia $\ell_1$ (longitud de trayectoria restringida a las líneas) es significativamente más compleja debido a las orientaciones aleatorias de las líneas. Los autores buscan derivar distribuciones exactas y límites tratables para la longitud de la trayectoria más corta desde una ubicación típica hacia su vecino más cercano bajo restricciones de enrutamiento específicas (restricciones de un giro y dos giros). Este problema es crítico para aplicaciones en planificación de transporte urbano (por ejemplo, servicios de transporte privado o ride-hailing) y comunicaciones vehiculares, donde el movimiento está restringido a la red de calles.

2. Metodología

Los autores emplean técnicas de geometría estocástica y probabilidad geométrica, utilizando específicamente probabilidades de vacío y condicionamiento de Palm.

• Descomposición Geométrica: La metodología central implica la descomposición del conjunto factible de longitudes de trayectoria. Los autores evalúan explícitamente la probabilidad de que no existan puntos de PLCP dentro de una longitud de trayectoria $t$ (la probabilidad de vacío) condicionando sobre el PLP subyacente.
• Independencia Condicional: Explotan el hecho de que, condicionado al PLP, los procesos de puntos en distintas líneas son PPP unidimensionales independientes. Esto permite la factorización de las probabilidades de vacío a través de diferentes segmentos de línea.
• Análisis de Casos:
  • Punto Típico: El análisis considera un punto típico en una sola línea ($L_x$).
  • Intersección Típica: El análisis considera una intersección típica donde dos líneas ($L_x$ y $L_y$) se cruzan. Esto requiere una descomposición geométrica detallada de la región de longitud de trayectoria factible a lo largo de las líneas aleatorias que se intersectan, involucrando evaluaciones caso por caso de los ángulos de intersección y las distancias.
  • Caso de Dos Giros: Para el escenario de dos giros, los autores utilizan un argumento de encogimiento del conjunto factible. En lugar de caracterizar todos los posibles trayectos de dos giros (que es analíticamente intratable), restringen el análisis a un subconjunto de trayectos admisibles (específicamente, trayectos donde el segundo giro ocurre tras alcanzar una línea intermedia seleccionada). Esto produce un límite superior computable.
• Comparación con Modelos Euclidianos: El artículo compara analíticamente las distribuciones de PLCP derivadas frente a un Proceso de Puntos de Poisson (PPP) planar de intensidad igualada para cuantificar el "sesgo de desvío" introducido por las restricciones de calle.

3. Contribuciones Clave y Resultados

A. Distribuciones Exactas para Enrutamiento de Un Giro

El artículo deriva expresiones de forma cerrada para la Función de Distribución Acumulativa (CDF) de la longitud de la trayectoria más corta bajo una restricción de un giro:

1. Desde un Punto Típico de PLCP: El Teorema 1 proporciona una CDF exacta derivada mediante la evaluación de la probabilidad de vacío condicionando sobre el PLP. El resultado es:
   $$F_D(t) = 1 - \exp\left(-2\mu t - 2\lambda t + \frac{\lambda}{\mu}(1 - e^{-2\mu t})\right)$$
2. Desde una Intersección Típica de PLP: El Teorema 2 establece una caracterización exacta para cuando el origen es una intersección típica. Esto involucra integrales complejas ($T_x, T_y$) que dan cuenta de la interacción entre la aleatoriedad de la orientación de las líneas y la densidad del proceso de puntos.

B. Límites para el Caso de Intersección

Para el caso de la intersección, los autores proporcionan límites analíticamente tratables:

• Límite Inferior: Derivado al considerar solo los puntos en las dos líneas que se intersectan ($L_x, L_y$) dentro de la distancia $t$.
• Límite Superior: Derivado al incluir las intersecciones a lo largo de estas líneas.
  Se demuestra que estos límites son ajustados en regímenes específicos (el límite inferior es ajustado para $\mu$ alto, el límite superior es ajustado para $\lambda$ alto).

C. Análisis de Dos Giros

Para el caso que permite dos giros desde un punto típico, el artículo deriva un límite superior computable de la distribución (Teorema 3). Este límite se obtiene mediante el encogimiento del conjunto factible de trayectos. El análisis identifica regímenes donde este límite es ajustado y compara el rendimiento de una ruta de dos giros desde un punto típico frente a una ruta de un giro desde una intersección típica.

D. Aplicaciones en Transporte y Comunicaciones

El artículo demuestra cómo estas distribuciones se traducen en métricas operativas:

• Transporte Privado (Ride-Hailing): Los resultados permiten calcular las distancias de recogida esperadas y la fiabilidad del servicio (probabilidad de recogida dentro de un umbral de tiempo/distancia). Los autores muestran que permitir un solo giro reduce la distancia de recogida esperada en aproximadamente un 31% en comparación con las restricciones de cero giros (línea recta), mientras que un segundo giro ofrece retornos decrecientes (~8% de reducción adicional).
• Dimensionamiento de Flotas: Las expresiones derivadas permiten la determinación analítica de la densidad mínima de vehículos ($\mu$) necesaria para cumplir con garantías de servicio específicas, evitando la necesidad de simulaciones de Monte Carlo.
• Comunicaciones Vehiculares (V2V): El artículo ilustra cualitativamente cómo las distribuciones de longitud de trayectoria afectan la potencia de señal recibida en escenarios de difusión de campo cercano utilizando Superficies Inteligentes Reconfigurables (RIS) y en comunicaciones de campo lejano. La longitud de la trayectoria determina el presupuesto de enlace para los Mensajes Básicos de Seguridad (BSM).

E. Comparación con la Planificación Euclidiana

El Teorema 4 demuestra que la distribución de distancia de un PLCP de un giro y una distribución de un PPP euclidiano de intensidad igualada no son comparables mediante dominancia estocástica de primer orden. Se cruzan exactamente una vez en una distancia crítica $t^*$. Para distancias cortas, el PLCP tiene más probabilidades de ser más corto que la aproximación euclidiana; para distancias largas, la aproximación euclidiana subestima la longitud de la trayectoria (es decir, la trayectoria del PLCP es más larga). Esto resalta un sesgo estructural en la planificación si se utilizan métricas euclidianas para redes con restricciones de calle.

4. Significado y Reivindicaciones

El artículo afirma que su principal significancia radica en proporcionar las primeras caracterizaciones exactas de forma cerrada de las longitudes de trayectoria más corta en PLCPs bajo restricciones de un giro, un problema previamente considerado abierto debido a la orientación aleatoria de las líneas.

• Rigor Analítico: El trabajo va más allá de simples aproximaciones (que los autores demuestran que pueden conducir a ecuaciones recursivas incorrectas) para proporcionar distribuciones exactas y límites rigurosos.
• Utilidad Práctica: Los resultados sirven como un "motor analítico práctico" para el diseño de sistemas de transporte, permitiendo el cálculo directo de garantías de servicio y el dimensionamiento de flotas sin necesidad de simulación.
• Perspectiva sobre la Flexibilidad de Enrutamiento: El análisis cuantifica los compromisos entre la selección del origen (punto vs. intersección) y la flexibilidad de enrutamiento (uno vs. dos giros), revelando que una ruta de un giro desde una intersección puede superar a una ruta de dos giros desde un punto típico bajo ciertos parámetros de densidad.
• Limitaciones: Los autores señalan modestamente que el resultado de dos giros es un límite superior derivado mediante un argumento de encogimiento, y que una caracterización exacta para un número ilimitado de giros sigue siendo un problema abierto. Los modelos están destinados a servir como referentes para la accesibilidad de corto alcance/última milla, más que para la navegación general con giros ilimitados.