arXiv subjects

Hanna Wdowicka

Publications and source records attributed to Hanna Wdowicka.

3 recordsLinked to original sources

arXiv2026

Exact Locality Gaps for Matchable Semi-Matchings

An assignment of tasks to servers can resist every small improvement and still make tasks wait longer than necessary. We determine exactly how inefficient such an assignment can be when each task requires one unit of service and the eligibility constraints permit all tasks to use distinct servers. For every move size $r$ and maximum current server load $K$, we give a closed formula for the worst ratio between locally optimal and globally optimal total completion time. Local optimality here allows every feasible reassignment changing at most $r$ tasks. Every finite-cap bound is attained on a tree where each task has at most two eligible servers. Thus the worst behavior already occurs under simple eligibility constraints. At load cap two, the exact ratio is $1+1/(r+2)$, attained on a path with $r+2$ tasks. Without a load cap, the worst-case supremum is $3/2$ for single-task moves and approximately $1.294503159$ for two-task moves; its excess above one is $1/(r+2)+O(2^{-r}/r)$ as $r$ grows. The proof uses an explicit rational potential on a comparison graph and matching extremal constructions. These results give sharp guarantees for bounded-size local search on matchable semi-matchings, including exact guarantees under degree bounds.

cs.DS↗

arXiv2026

Robust and Learned Online Matching in Growing Trees

We study irrevocable maximum-cardinality matching in trees revealed by successive leaf attachments, with a known horizon and an exogenous growth law that is misspecified or unknown. For deterministic affine attachment forecasts with nonnegative degree reinforcement, the optimal threshold policy loses at most twice the cumulative expected conditional total-variation error relative to an online oracle knowing the actual growth law. This follows from a unit-span property of the Bellman continuation score and has no additional horizon factor. A four-vertex example attains the coefficient two for the specified deterministic policy, and a two-model argument gives a lower bound linear in the model-error budget for arbitrary policies under general misspecification. For uniform-preferential attachment, the local error has an exact expression through the leaf count. When its constant mixture parameter is unknown, we estimate it from the same growing tree and update the threshold policy at geometric times. A parameter-sensitivity bound for individual Bellman prices and uniform degree-moment estimates yield expected regret $O(\sqrt{n}\log^2 n)$, using $O(n^2\log n)$ arithmetic operations and $O(n)$ stored entries. The exact minimax rate remains open.

cs.DS↗

arXiv2026

Total Path Length in Power-Weight Recursive Trees: Martingale Limits and Global Fluctuations

We study total path length in recursive trees with positive deterministic attachment weights. Writing $W_n=\sum_{i=1}^n w_i$ and $p_n=w_n/W_n$, we obtain exact martingale-innovation identities and a variance recurrence. Under the condition $p_n=O(n^{-1})$, centered total path length divided by $n$ converges almost surely and in $L^2$ to a nondegenerate random variable, and its variance is asymptotic to a positive constant times $n^2$. No polynomial asymptotic for $W_n$ is required. For power weights $w_i=i^α$, the same argument applies to every real $α$, including the critical and summable regimes beyond the positive-power cumulative-weight assumptions of existing profile theory. The expected average depth is logarithmic for $α>-1$, iterated logarithmic for $α=-1$, and bounded for $α<-1$, while the global fluctuation scale remains linear throughout. In the summable regime we identify the random limit through the weighted depths of the infinite tree. The uniform case recovers the classical variance coefficient $2-π^2/6$. For linear weights we evaluate the coefficient as $8-2π^2/3$. Although this tree and a random binary search tree have identical insertion-depth marginals and expected total path length, their asymptotic variance coefficients differ by one. This gives an explicit comparison of global dependence that is invisible in individual depth distributions.

math.PR↗