arXiv subjects

Jianping Pan

Publications and source records attributed to Jianping Pan.

At least 19 recordsLinked to original sources

arXiv2026

A First Look at Starlink Maritime on Cruise Ships

Low-Earth-Orbit (LEO) satellite networks are reshaping maritime connectivity, offering much lower latency and higher capacity than traditional geostationary (GEO) links. As a single user terminal (UT) cannot serve hundreds to thousands of passengers, a cruise ship often deploys several UTs behind an onboard multi-WAN router for aggregated capacity and load balancing. Consequently, passenger connectivity depends not only on the satellite links but also on how the router distributes sessions among UTs. In this paper, we measure Starlink maritime connectivity on two cruise ships of different scales, Utopia of the Seas near the Bahamas in December 2025 and Silver Muse in the Adriatic Sea in July 2026, combining UT telemetry, inside-out measurements from a passenger device, and outside-in measurements from cloud servers near Starlink Points of Presence (PoPs). We find that the onboard network, rather than the satellite links, largely determines the passenger experience, as cruise lines rate limit each passenger device. Moreover, the public IP address of a passenger device changes not only at PoP handovers but also within the same PoP. Furthermore, while the country code reported by the UT reflects the maritime jurisdiction of the ship, the serving PoP follows neither this jurisdiction nor geographic proximity alone, suggesting factors beyond the distance-based PoP boundaries observed in Starlink aviation. To the best of our knowledge, this is the first systematic study of Starlink on commercial cruise ships, complementing prior land mobile and in-flight measurements.

cs.NI↗

arXiv2026

Principal specializations of the $t$-chromatic symmetric function

We introduce the $t$-chromatic symmetric function $Z_G(\mathbf{x};t)$, a variant of Stanley's chromatic symmetric function in which the variable $t$ records the number of distinct colors used in a proper coloring. Although $Z_G(\mathbf{x};t)$ is equivalent to the chromatic symmetric function as a graph invariant, its principal specializations retain substantially more information than those of the chromatic symmetric function. This construction is motivated by the work of Bajo--Beck--Vindas-Meléndez on the $q$-chromatic polynomial and the conjecture of Loehr--Warrington that the $n$th principal specialization of the chromatic symmetric function distinguishes trees on at most $n$ vertices, both of which stem from Stanley's longstanding question of whether the chromatic symmetric function distinguishes trees. We determine the classes of caterpillars resulting from the second principal specialization of $Z_G(\mathbf{x};t)$, showing that the second specialization already captures some of the structure of trees. We then prove that the third principal specialization distinguishes and explicitly reconstructs caterpillars with three spine vertices as well as elongated bistars. Finally, we conjecture, based on computational data, that the fourth principal specialization distinguishes all caterpillars.

math.CO↗

arXiv2026

BIER-DC: Stateless Multicast for In-Orbit Space Data Centers in LEO Constellations

Emerging data-intensive space applications generate large volumes of data that must be processed, stored, replicated, and delivered efficiently. However, relying on terrestrial cloud regions can expose satellite data to high delivery latency and loss of timeliness due to intermittent satellite-to-ground visibility and limited access to ground infrastructure. Space Data Centers (SDCs), which organize collaborative satellites into logical compute and storage clusters, offer a promising approach for in-orbit data management and service continuity. In this paper, we first evaluate how satellite clustering with different sizes affects satellite visibility and gateway outage. We then propose BIER-DC, a stateless one-to-many communication protocol tailored for satellite-based SDCs. Unlike terrestrial multicast protocols designed for stable data center fabrics, BIER-DC decouples inter-SDC forwarding from intra-SDC delivery and encodes compact cluster-level forwarding information in packet headers. Comparative evaluations against BIER, BIER-TE, and Yeti show that BIER-DC significantly reduces packet-header length and byte-hop overhead, improving effective goodput and scalability for next-generation LEO space data centers.

cs.NI↗

arXiv2026

The Chromatic Symmetric Function for Unicyclic Graphs

Motivated by the question of which structural properties of a graph can be recovered from the chromatic symmetric function (CSF), we study the CSF of connected unicyclic graphs. While it is known that there can be non-isomorphic unicyclic graphs with the same CSF, we find experimentally that such examples are rare for graphs with up to 17 vertices. In fact, in many cases we can recover data such as the number of leaves, number of internal edges, cycle size, and number of attached non-trivial trees, by extending known results for trees to unicyclic graphs. These results are obtained by analyzing the CSF of a connected unicyclic graph in the $\textit{star-basis}$ using the deletion-near-contraction (DNC) relation developed by Aliste-Prieto, Orellana and Zamora, and computing the "leading" partition, its coefficient, as well as coefficients indexed by hook partitions. We also give explicit formulas for star-expansions of several classes of graphs, developing methods for extracting coefficients using structural properties of the graph.

math.CO↗

arXiv2026

Type B c-Birkhoff polytopes are order polytopes

In a previous work, we defined (type A) c-Birkhoff polytopes and showed that they were unimodularly equivalent to order polytopes of heap posets. In this note we answer the question: What about type B?

math.CO↗

arXiv2026

Where Does My Call Go? Measuring Google Meet, Zoom, and Microsoft Teams on Starlink

Low-Earth-Orbit (LEO) satellite networks are expanding broadband access, but major Real-Time Communication (RTC) platforms, including Google Meet, Zoom, and Microsoft Teams, still rely on service-point selection mechanisms that appear to be largely shaped by terrestrial-network assumptions. As a result, they may not consistently account for LEO-specific dynamics such as satellite topology and Point-of-Presence (PoP) changes, especially during in-flight connectivity. To characterize RTC service-point selection over Starlink, we measure RTC performance using a Canada-wide testbed and more than 24 hours of in-flight experiments. Our results show clear platform differences. Google Meet tends to align more closely with the serving PoP, consistent with broader observed edge coverage. Zoom follows a regional service-point selection pattern, while Microsoft Teams often remains tied to fixed service points. Moreover, we show that in-flight PoP handovers can shift traffic egress points mid-session, and that RTC platforms respond differently to these changes. In some cases, this interaction leads to suboptimal service-point selections and RTT inflation. Overall, our findings suggest that LEO connectivity can expose mismatches between Starlink egress dynamics and RTC service-point selection, motivating further measurement and LEO-optimized designs for service placement and selection.

cs.NI↗

arXiv2026

Worst-Case Regret Bounds for Combinatorial Thompson Sampling in Sleeping Semi-Bandits

We revisit combinatorial Thompson sampling (CTS) for semi-bandits with sleeping arms, where arm availability varies over time and actions must satisfy combinatorial constraints, as in wireless mesh routing with fluctuating link availability. Despite its practical relevance, CTS has been hindered by several long-standing problems: (i) the absence of worst-case regret guarantees in the semi-bandit setting even without sleeping arms, (ii) the lack of theory under adversarially varying availability, and (iii) the consistently weak empirical performance of CTS with Gaussian priors (CTS-G). This paper resolves these long-standing issues by providing the first worst-case regret analysis of CTS-G, proving an upper bound of $\tilde{O}(m\sqrt{NT})$ and a matching lower bound of $\tildeΩ(m\sqrt{NT})$. To bridge the gap between theory and practice, we further propose CL-SG, a simple CTS-G variant that samples a single shared Gaussian seed each round to coordinate exploration across arms. We show that CL-SG achieves an improved regret bound of $\tilde{O}(\sqrt{mNT})$, together with a matching lower bound $Ω(\sqrt{mNT})$. Experiments on real-world datasets demonstrate that CL-SG consistently outperforms strong baselines including CTS-G and CTS-B, and we open-source our implementation for reproducibility.

cs.LG↗

arXiv2026

$c$-Birkhoff polytopes

In a 2018 paper, Davis and Sagan studied several pattern-avoiding polytopes. They found that a particular pattern-avoiding Birkhoff polytope had the same normalized volume as the order polytope of a certain poset, leading them to ask if the two polytopes were unimodularly equivalent. Motivated by Davis and Sagan's question, in this paper we define a pattern-avoiding Birkhoff polytope called a $c$-Birkhoff polytope for each Coxeter element $c$ of the symmetric group. We then show that the $c$-Birkhoff polytope is unimodularly equivalent to the order polytope of the heap poset of the $c$-sorting word of the longest permutation. When $c=s_1s_2\dots s_{n}$, this result recovers an affirmative answer to Davis and Sagan's question. Another consequence of this result is that the normalized volume of the $c$-Birkhoff polytope is the number of the longest chains in the (type A) $c$-Cambrian lattice.

math.CO↗

arXiv2026

Structure and geometry of the tableaux algebra

We study the monoid algebra ${}_{n}\mathcal{T}_{m}$ of semistandard Young tableaux, which coincides with the Gelfand--Tsetlin semigroup ring $\mathcal{GT}_{n}$ when $m = n$. Among others, we show that this algebra is commutative, Noetherian, reduced, Koszul, and Cohen--Macaulay. We provide a complete classification of its maximal ideals and compute the topology of its maximal spectrum. Furthermore, we classify its irreducible modules and provide a faithful semisimple representation. We also establish that its associated variety coincides with a toric degeneration of certain partial flag varieties constructed by Gonciulea--Lakshmibai. As an application, we show that this algebra yields injective embeddings of $\mathfrak{sl}_n$-crystals, extending a result of Bossinger--Torres.

math.AC↗

arXiv2026

Demystifying Starlink Network Performance under Vehicular Mobility with Dynamic Beam Switching

In the last few years, considerable research efforts have focused on measuring and improving Starlink network performance, especially for user terminals (UTs) in stationary scenarios. However, the performance of Starlink networks in mobility settings, particularly with frequent changes in the UT's orientation, and the impact of environmental factors, such as transient obstructions, has not been thoroughly studied, leaving gaps in understanding the causes of performance degradation. Recently, researchers have started identifying the communicating satellites to evaluate satellite selection strategies and the impact on network performance. However, existing Starlink satellite identification methods only work in stationary, obstruction-free scenarios, as they do not account for UT mobility, obstructions or detect dynamic beam switching events. In this paper, we reveal that the UT can perform multiple dynamic beam switching attempts to connect to different satellites when the UT-satellite link is degraded. This degradation can occur either due to the loss of line-of-sight (LoS) from changes in the FOV or obstructions, or due to poor signal quality, extending UT-satellite handovers beyond the well-known 15-second regular handover interval. We propose a mobility-aware Starlink satellite identification method that detects dynamic beam switching events, and plausibly explain network performance using UT's diagnostic data and connected satellite information. Our findings demystifies the mobile Starlink network performance degradations, which is crucial to enhance the end-to-end performance of transport layer protocols and in diverse application scenarios.

cs.NI↗

arXiv2026

Hook-valued tableau uncrowding and tableau switching

Refined canonical stable Grothendieck polynomials were introduced by Hwang, Jang, Kim, Song, and Song. There exist two combinatorial models for these polynomials: one using hook-valued tableaux and the other using pairs of a semistandard Young tableau and (what we call) an exquisite tableau. An uncrowding algorithm on hook-valued tableaux was introduced by Pan, Pappe, Poh, and Schilling. In this paper, we discover a novel connection between the two models via the uncrowding and Goulden--Greene's jeu de taquin algorithms, using a classical result of Benkart, Sottile, and Stroomer on tableau switching. This connection reveals a symmetry of the uncrowding algorithm defined on hook-valued tableaux. As a corollary, we obtain another combinatorial model for the refined canonical stable Grothendieck polynomials in terms of biflagged tableaux, which naturally appear in the characterization of the image of the uncrowding map.

math.CO↗

arXiv2025

BIER-Star: Stateless Geographic Multicast for Scalable Satellite-Terrestrial Integration

The rapid expansion of LEO satellite constellations has enabled an integrated terrestrial network and non-terrestrial network (TN-NTN), connecting diverse users such as aircraft, ships, and remote communities. These networks increasingly need a scalable and efficient multicast protocol for critical applications like emergency alerts, large-scale software updates, and real-time broadcasting. However, traditional multicast protocols, such as IP-based multicast and software-defined multicast approaches, introduce significant control overhead and struggle to adapt to the dynamic and mobile nature of satellite topologies. This paper presents BIER-Star, a stateless multicast protocol designed for the integrated TN-NTN. BIER-Star uses a two-layer geospatial gridding scheme (i.e., H3) to encode destinations as Earth- and space-cell identifiers rather than per-terminal addresses. This cell-based abstraction shortens the header bitstring, simplifies forwarding, and eliminates per-flow state and complex signaling. Our simulations indicate that BIER-Star reduces header size versus BIER and avoids geographic path-finding failures seen in greedy methods.

cs.NI↗

arXiv2025

Stochastic Geometry of Cylinders: Characterizing Inter-Nodal Distances for 3D UAV Networks

The analytical characterization of coverage probability in finite three-dimensional wireless networks has long remained an open problem, hindered by the loss of spatial independence in finite-node settings and the coupling between link distances and interference in bounded geometries. This paper closes this gap by presenting the first exact analytical framework for coverage probability in finite 3D networks modeled by a binomial point process within a cylindrical region. To bypass the intractability that has long hindered such analyses, we leverage the independence structure, convolution geometry, and derivative properties of Laplace transforms, yielding a formulation that is both mathematically exact and computationally efficient. Extensive Monte Carlo simulations verify the analysis and demonstrate significant accuracy gains over conventional Poisson-based models. The results generalize to any confined 3D wireless system, including aerial, underwater, and robotic networks.

cs.NI↗

arXiv2025

Investigating Web Content Delivery Performance over Starlink

Low Earth Orbit (LEO) satellite ISPs promise universal Internet connectivity, yet their interaction with content delivery remains poorly understood. We present the first comprehensive measurement study decomposing Starlink's web content delivery performance decomposed across Point of Presence (PoP), DNS, and CDN layers. Through two years of measurements combining 225K Cloudflare AIM tests, M-Lab data, and active probing from 99 RIPE Atlas and controlled Starlink probes, we collect 6.1M traceroutes and 10.8M DNS queries to quantify how satellite architecture disrupts terrestrial CDN assumptions. We identify three distinct performance regimes based on infrastructure density. Regions with local content-rich PoPs achieve near-terrestrial latencies with the satellite segment dominating 80-90% of RTT. Infrastructure-sparse regions suffer cascading penalties: remote PoPs force distant resolver selection, which triggers CDN mis-localization, pushing latencies beyond 200 ms. Dense-infrastructure regions show minimal sensitivity to PoP changes. Leveraging Starlink's infrastructure expansion in early 2025 as a natural experiment, we demonstrate that relocating PoPs closer to user location reduces median page-fetch times by 60%. Our findings reveal that infrastructure proximity, not satellite coverage, influences web performance, requiring fundamental changes to CDN mapping and DNS resolution for satellite ISPs.

cs.NI↗

arXiv2025

Uncrowding algorithm for hook-valued tableaux

Whereas set-valued tableaux are the combinatorial objects associated to stable Grothendieck polynomials, hook-valued tableaux are associated to stable canonical Grothendieck polynomials. In this paper, we define a novel uncrowding algorithm for hook-valued tableaux. The algorithm "uncrowds" the entries in the arm of the hooks and yields a set-valued tableau and a column-flagged increasing tableau. We prove that our uncrowding algorithm intertwines with crystal operators. An alternative uncrowding algorithm that "uncrowds" the entries in the leg instead of the arm of the hooks is also given. As an application of uncrowding, we obtain various expansions of the canonical Grothendieck polynomials.

math.CO↗

arXiv2025

Type C $K$-Stanley symmetric functions and Kraśkiewicz-Hecke insertion

We study Type C $K$-Stanley symmetric functions, which are $K$-theoretic extensions of the Type C Stanley symmetric functions. They are indexed by signed permutations and can be used to enumerate reduced words via their expansion into Schur $Q$-functions, which are indexed by strict partitions. A combinatorial description of the Schur $Q$- coefficients is given by Kraśkiewicz insertion. Similarly, their $K$-Stanley analogues are conjectured to expand positively into $GQ$'s, which are $K$-theory representatives for the Lagrangian Grassmannian introduced by Ikeda and Naruse also indexed by strict partitions. We introduce a $K$-theoretic analogue of Kraśkiewicz insertion, which can be used to enumerate 0-Hecke expressions for signed permutations and gives a conjectural combinatorial rule for computing this $GQ$ expansion. We show the Type C $K$-Stanleys for certain fully commutative signed permutations are skew $GQ$'s. Combined with a Pfaffian formula of Anderson's, this allows us to prove Lewis and Marberg's conjecture that $GQ$'s of (skew) rectangle shape are $GQ$'s of trapezoid shape. Combined with our previous conjecture, this also gives an explicit combinatorial description of the skew $GQ$ expansion into $GQ$'s. As a consequence, we obtain a conjecture for the product of two $GQ$ functions where one has trapezoid shape.

math.CO↗

arXiv2024

An eBPF-Based Trace-Driven Emulation Method for Satellite Networks

System-level performance evaluation over satellite networks often requires a simulated or emulated environment for reproducibility and low cost. However, the existing tools may not meet the needs for scenarios such as the low-earth orbit (LEO) satellite networks. To address the problem, this paper proposes and implements a trace-driven emulation method based on Linux's eBPF technology. Building a Starlink traces collection system, we demonstrate that the method can effectively and efficiently emulate the connection conditions, and therefore provides a means for evaluating applications on local hosts.

cs.NI↗

arXiv2024

Schnorr Approval-Based Secure and Privacy-Preserving IoV Data Aggregation

Secure and privacy-preserving data aggregation in the Internet of Vehicles (IoV) continues to be a focal point of interest in both the industry and academia. Aiming at tackling the challenges and solving the remaining limitations of existing works, this paper introduces a novel Schnorr approval-based IoV data aggregation framework based on a two-layered architecture. In this framework, a server can aggregate the IoV data from clusters without inferring the raw data, real identity and trajectories of vehicles. Notably, we avoid incorporating the widely-accepted techniques such as homomorphic encryption and digital pseudonym to avoid introducing high computation cost to vehicles. We propose a novel concept, data approval, based on the Schnorr signature scheme. With the approval, the fake data injection attack carried out by a cluster head can be defended against. The separation of liability is achieved as well. The evaluation shows that the framework is secure and lightweight for vehicles in terms of the computation and communication costs.

cs.CR↗