arXiv subjects

Alexander Temerev

Publications and source records attributed to Alexander Temerev.

5 recordsLinked to original sources

arXiv2026

A new unconditional lower bound for shoreline search

A unit-speed searcher starts at the origin of the Euclidean plane and must hit an unknown straight line whose direction and distance from the origin are both unknown. We prove that every deterministic search path has competitive ratio at least $C_{\log}\approx 12.5937096701246675$. The bound is unconditional: the path need not be cyclic, self-similar, spiral-like, or monotone in angle. For each projection direction, we compare the path with a zigzag obtained by sorting its alternating record turns. The resulting completion constraints are interpreted as jobs with scale-dependent deadlines and lower-bounded through a finite-window scheduling argument in logarithmic time. Averaging these directional bounds then uses the exact Euclidean velocity budget. In one dimension, the same method recovers the optimal cow-path constant $9$. Finally, Arb ball arithmetic provides a rigorous numerical enclosure of the constant.

math.MG↗

arXiv2026

A Glyph Is Not a Letter, a Token Is Not a Word, a Space Is Not a Space: What the Units of Voynichese Are Not

The Voynich manuscript (Beinecke MS 408) is usually analysed on three unstated assumptions: that its glyphs are letters, that the strings between blanks are words, and that every blank is a word space. We test all three against the Zandbergen-Landini transliteration with matched prose, cipher, and pseudo-text controls and quire-level resampling. None holds, and the failures share a shape: the order in Voynichese sits at the edges of tokens and at graded boundaries between them, not in the succession of tokens themselves. Glyph regularity is too strong for one-to-one substitution of any tested plaintext (conditional entropy 2.7 bits against about 3.5 for Latin, Italian, and English) and resolves instead onto a quire-stable scale of recurrent multi-symbol units. Tokens form a plausible vocabulary, yet the identity of one token predicts the next by under 1% of token entropy, below every matched control (2-10%), while the glyphs at token edges share 0.2 bits of mutual information, more than in any prose control. Blanks fall into two regimes: the separators transcribers marked uncertain behave like word-internal junctures, are physically narrower on the page (AUC 0.905 from independent image coordinates, with the same sign in a small blind ink audit), and are crossed by learned units even when every space is erased before learning. This profile is also what discriminates. A published Voynich-imitating cipher and a self-citation text generator both reproduce the low entropy, the unit scale, the weak token order, and the null result of a calibrated substitution attack; neither reproduces the edge-glyph coupling or the open, hapax-rich vocabulary (70% singleton types against 41% and 59-60%). Any account of the manuscript must therefore earn, rather than assume, the step from glyphs, tokens, and separators to letters, words, and word spaces, and these are the measurements on which to do so.

cs.CL↗

arXiv2026

The exact solution of Bellman's lost-in-a-forest problem for the golden gnomon

We solve Bellman's lost-in-a-forest problem for the golden gnomon $G$, the isosceles triangle with equal sides $1$ and apex angle $108^\circ$: the shortest curve guaranteed to reach the boundary of $G$ from an unknown starting position and heading is a symmetric seven-piece path of segments, circular shoulders, and tangents, of exactly determined length $C=1.282676025459\ldots$. To our knowledge, this is the first proved exact optimum for an isosceles triangle whose base angle is below $45^\circ$. The curve's parameters come from one isolated quartic root, and $C$ is transcendental. Equivalently, $C^{-1}G$ is the smallest homothetic golden-gnomon cover of all unit arcs. The proof introduces a balanced support calibration: one weighted family of escape inequalities, built on the linear relation among the triangle's three normals, exactly saturated by the candidate, through eighteen exact support windows, and confronting every shorter competitor at once. Aggregation along the normal fan compresses the calibration to a finite zero-sum family of supported vectors; summation by parts then bounds its total by path length whenever the running suffix balance, the ledger, stays in the unit disk. A local two-gap surgery and cyclic bitonicity force a shortest hypothetical counterexample into exactly the temporal order the ledger tolerates. Lean 4 verifies the two finite algebraic certificate families and the reusable discrete ledger identities and bounds.

math.MG↗

arXiv2021

A stochastic geospatial epidemic model and simulation using an event modulated Gillespie algorithm

We developed a model and a software package for stochastic simulations of transmission of COVID-19 and other similar infectious diseases, that takes into account contact network structures and geographical distribution of population density, detailed up to a level of location of individuals. Our analysis framework includes a surrogate model optimization process for quick fitting of the model's parameters to the observed epidemic curves for cases, hospitalizations and deaths. This set of instruments (the model, the simulation code, and the optimizer) is a useful tool for policymakers and epidemic response teams who can use it to forecast epidemic development scenarios in local environments (on the scale from towns to large countries) and design optimal response strategies. The simulation code also includes a geospatial visualization subsystem, presenting detailed views of epidemic scenarios directly on population density maps. We used the developed framework to draw predictions for COVID-19 spreading in the canton of Geneva, Switzerland.

q-bio.PE↗

arXiv2014

Heterogeneous epidemic model for assessing data dissemination in opportunistic networks

In this paper we investigate a susceptible-infected-susceptible (SIS) epidemic model describing data dissemination in opportunistic networks with heterogeneous setting of transmission parameters. We obtained the estimation of the final epidemic size assuming that amount of data transferred between network nodes possesses a Pareto distribution, implying scale-free properties. In this context, more heterogeneity in susceptibility means the less severe epidemic progression, and, on the contrary, more heterogeneity in infectivity leads to more severe epidemics -- assuming that the other parameter (either heterogeneity or susceptibility) stays fixed. The results are general enough and can be useful in general epidemic theory for estimating the epidemic progression for diseases with no significant acquired immunity -- in the cases where Pareto distribution holds.

cs.SI↗