arXiv subjects

Aleksandar Perisic

Publications and source records attributed to Aleksandar Perisic.

3 recordsLinked to original sources

arXiv2025

The Existence and Role of Quantum-State Noise

The key observation about quantum reality is that it often appears as if, at some moment, the probability of a quantum event becomes a definite outcome for us. A careful analysis suggests, however, that what we perceive as a definite state -- the observed outcome of a quantum experiment -- is not strictly definite. From this, we conclude that the quantum world is active: its influence extends beyond a merely statistical and permanently fixed determination of reality as we experience it.

physics.gen-ph↗

arXiv2025

Retrograde Program Analysis: A Practical Tutorial

Retrograde analysis reads programs from the end to the beginning: treat statements as constraints on prior states, propagate sets of states backward, and compare the reachable inputs with the intended specification. This tutorial condenses a longer exposition to a focused guide with definitions, worked examples (toy branches, sorting networks, binary search), loop treatment via fixpoints, and a range-algebra appendix that standardizes array splits and midpoints. The aim is practical: short proofs, concrete invariants, and drop-in code and property tests

cs.SE↗

arXiv2025

Range Algebra for Safe Array Splits

We present a language-agnostic range algebra that derives correct index intervals for splitting arrays and implementing binary search, eliminating off-by-one and empty-range bugs. From two primitives -- $\lfloor n/2\rfloor$ and $\lceil n/2\rceil = \lfloor (n + 1)/2\rfloor$ -- we obtain four canonical splits (Natural, Left+, Right+, Center-cut) with proofs of coverage and balance for all $n \ge 0$ and any base index $b \in \mathbb{Z}$. We record invariants (normalization to left-closed/right-open intervals $[u, w)$ with len $= w - u$), document cross-language division quirks, and give drop-in code patterns and property tests. The result is a small, memorable spec that can be copied verbatim into C/C++/Java/C\#/Go/Rust/Swift/JS/Python.

cs.PL↗