arXiv ScienceSearch

arXiv subjects

Lachlan Bridges

Publications and source records attributed to Lachlan Bridges.

3 recordsLinked to original sources

An exact Jordan signature in cumulative-count first-passage statistics

For cumulative-count first-passage problems, the Laplace transform of the time $\mathcal T_N$ of the $N$th count is naturally expressed through powers of a one-count kernel. A Jordan defect of that kernel does not, however, automatically survive the complete sum over terminal phases. We give an exact three-state Markov-renewal example in which it does. At $s=1$, the one-count kernel has spectrum $\{1/2,1/8,1/8\}$, with a one-dimensional eigenspace at $1/8$, and for initial phase $1$, \[ \mathbb E_1[e^{-\mathcal T_N}] =\frac56\,2^{-N}+\frac{N+1}{6}\,8^{-N}. \] Thus the ordinary, unconditioned cumulative-count transform contains the explicit Jordan contribution $N/(6\,8^N)$ at every threshold $N\ge1$. For the same fixed stochastic process, the two eigenvalues meeting at $1/8$ unfold as \[ λ_\pm(s)=\frac18\pm\frac1{96}\sqrt{s-1} -\frac{131}{2304}(s-1)+O((s-1)^{3/2}), \] and the characteristic discriminant has a simple zero at $s=1$. We place the example beside two structures that suppress such a marginal signature: fixed post-count reset, which gives scalar renewal, and a common total holding rate, for which terminal summation scalarizes the matrix power. The model also admits a monitored-Lindblad realization, but the mechanism is entirely classical. The result provides a small exact benchmark for how generalized spectral modes can remain visible in finite-threshold first-passage statistics.

quant-ph

Gaussian Vertex-Face Balance in Random Convex Polyhedra with Fixed Edge Count

Choose uniformly among the combinatorial types of convex three-dimensional polyhedra with a fixed admissible number $e$ of edges, and let $V_e$ be the number of vertices. This resolves a fixed-edge limit-distribution question posed by Rüdinger: if $β_e=V_e/(e+2)$, then $\sqrt e(β_e-1/2)\Rightarrow N(0,1/32)$, equivalently $\operatorname{Var}(V_e)\sim e/32$. Using the classical rooted enumeration and asymmetry results of Bender and Wormald, we derive a relative lattice local limit theorem on every $o(e^{3/4})$ window, a quartic correction from the rate function on every $o(e^{5/6})$ window, precise moderate-tail constants, a quadratic moderate-deviation principle for every $a_e\to\infty$ with $a_e=o(\sqrt e)$, and a full speed-$e$ large-deviation principle with an explicit good rate function. All fixed standardised moments converge. When $e=3m$, the two extremal vertex counts have equal probability asymptotic to $\frac{6561}{32\sqrt2}(4/27)^m$. Rooted and unrooted fixed-edge laws are also uniformly exponentially close, with relative discrepancy $O(ρ^e)$.

math.CO

Single-Machine Scheduling with Interval Predictions and Costly Preemption

We study the single-machine total-completion-time problem $1||\sum C_j$ when processing times are unknown but each job comes with a reported interval. Jobs are initially processed in nondecreasing order of reported upper bound. If a job is still unfinished after receiving that much service, the reported upper bound has been violated and the policy switches to a resumable geometric fallback. Each interruption of an unfinished job incurs an additive penalty $κ$. For a residual set of $m$ jobs, known size ratio $D=s_1/s_0$, normalized interruption penalty $λ=κ/s_0$, and geometric depth $K$, we derive an explicit worst-case coefficient $Ψ_{m,D,λ}(K)$. When $λ>0$, a finite minimizing depth exists and can be chosen after the trigger from the observed number of unfinished jobs; the optimal depth decreases with the interruption penalty and increases with the residual set size. We also derive the exact worst-case coefficient $R_{n,D}$ for an arbitrary nonpreemptive list when all processing times lie in a known bounded range. These bounds give guarantees for valid intervals, a single interval failure, arbitrary reports, no-trigger outcomes, and random instances. In the single-failure regime, they also give a precise condition under which the proved fallback guarantee is smaller than the bounded-range continuation guarantee.

cs.DS