Alexey A. Nekludoff

AstraVerge Research
  •  12
    Modern cryptography normally assumes that the analytical domain has already been established: messages and ciphertexts are represented through stable alphabets, dictionaries, object boundaries, and cross-session identity relations. This paper introduces Post-Alphabet-Dictionary Cryptography (PADC), a framework in which the formation of those analytical spaces becomes part of the protected architecture. PADC distinguishes three levels of controlled non-equivalence: symbol identity, dictionary dis…Read more
  •  11
    Information theory traditionally begins with messages represented as sequences of symbols drawn from an alphabet. The existence of such alphabets is usually treated as a primitive assumption. This paper argues that alphabets are not primitive objects but derived structures emerging from a deeper hierarchy. We propose the dependency chain Language → Dictionary → Alphabet → Message → Information and examine its consequences for information theory and cryptography. Languages establish systems of di…Read more
  •  38
    Behavioral scientists frequently interpret stable and cross-cultural behavioral asymmetries as evidence of biological predispositions. This paper argues that such inferences are methodologically underdetermined whenever plausible mechanisms of cultural transmission remain available. Using recent research on human left-turn bias as a case study, I distinguish between the observation of a behavioral regularity and the attribution of its causal origin. The paper introduces the concept of the attrib…Read more
  •  47
    This paper revisits Cook's original formulation of the P versus NP problem and asks a question that is logically prior to the traditional P versus NP conjecture: where exactly does NP emerge as a distinct computational class? The analysis reconstructs Cook's definition as a progression from deterministic polynomial computation to deterministic polynomial relations and finally to existentially quantified relations. It is argued that the transition from R(x,y) to ∃yR(x,y) introduces an additional …Read more
  •  57
    This paper examines a methodological question arising in orbital mechanics and the foundations of physical modeling: does successful prediction of a relativistic observable uniquely determine the underlying dynamics? Using Mercury perihelion precession as a representative case, several dynamically non-equivalent orbital systems are constructed that reproduce essentially identical relativistic-scale perihelion advance while differing in local temporal structure, phase-space evolution, and orbital…Read more
  •  133
    The P vs NP problem occupies a uniquely visible position within contemporary theoretical computer science and modern scientific culture more broadly. Formally, the problem concerns the relationship between efficiently verifiable and efficiently solvable computational problems under standard asymptotic computational models. Yet public presentations of the problem frequently extend far beyond these formal definitions. This paper analyzes the rhetoric surrounding the P vs NP problem through a case …Read more
  •  152
    This paper develops an operational approach to emergent geometry within the framework of mode-based analysis. Rather than treating metric and causal structures as primitive entities, the paper investigates how geometric structures may arise from admissible classes of operational evolution. Convergence modes encode admissible approximation procedures, while mode-compatible evolutions induce corresponding admissibility structures on asymptotic tangent directions. The central claim is that causal c…Read more
  •  149
    This paper argues that probabilistic structure should not be treated as ontologically primitive. Instead, probability is defined relative to conditions of recordability: it organizes spaces of possible records rather than properties of events as such. The analysis distinguishes between events, records, and probabilistic structures, and shows that probability acquires meaning only when stable, distinguishable, and reproducible records are available. In this view, Kolmogorovian probability theory …Read more
  •  199
    This paper develops a mode-based reformulation of variational calculus, differential geometry, and analytical structures, in which convergence is treated not as a fixed background notion but as a parameterized class of operational procedures. The central idea is that analytical objects—derivatives, admissible variations, metrics, and measures—should be defined through stability with respect to classes of convergence modes encoding discretization, ordering, and regularization. Within this perspec…Read more
  •  275
    This paper proposes a structural reinterpretation of limits, derivatives, and partial differential equations based on the notion of convergence modes. In classical analysis, limits are defined through asymptotic conditions (e.g., ε–δ formulations), which characterize correctness but do not specify the operational structure by which convergence is realized. In practice, however—whether in numerical computation, physical measurement, or multiscale modeling—limits are always approached through conc…Read more
  •  174
    This paper proposes a discrete foundation of logic based on distinguishability and order. It challenges the standard view that logical systems are grounded in truth values and instead takes acts of distinction as the primary logical units. We introduce the axiom of discrete distinguishability, according to which only discretely distinguishable states are ontologically admissible. On this basis, logical operations are derived from relations between distinctions rather than taken as primitive. Cla…Read more
  •  151
    This paper proposes a formal distinction between molecular synthesis and life formation, motivated by persistent difficulties in abiogenesis research. Standard approaches often treat the successful construction of biomolecules under controlled laboratory conditions as evidence of their relevance for natural emergence. The paper argues that this assumption is structurally flawed. Within the proposed framework, life is defined not in terms of specific molecular configurations, but as a self-sustai…Read more
  •  192
    This paper introduces the Filtered Configuration Framework (FCF), a formal account of how observable structures arise from a broader space of possible configurations. The framework challenges a common assumption in discussions of abiogenesis: that the set of observed biochemical structures reflects the space of locally generable configurations. FCF distinguishes four classes of constraints—generation, transformation, survival, and observability—and formalizes their interaction through explicit o…Read more
  •  174
    This paper establishes the principle of source inaccessibility as a general structural condition of scientific knowledge. It argues that empirical observation does not provide access to underlying sources or systems, but produces structured traces within interface-constrained processes of registration. The standard assumption that observations allow, at least in principle, the reconstruction of a unique source is shown to rely on an implicit epistemic leap grounded in the unjustified treatment o…Read more
  •  173
    Events occur before physics. This paper argues that temporal order is independent of mathematical formalism and cannot be derived from the structures of physical theory. Natural processes such as the alternation of day and night, the formation of sedimentary layers, or the growth of tree rings establish an order of events prior to any theoretical representation. Observers subsequently construct mathematical frameworks—coordinates, metrics, symmetries, and equations—in order to organize and model…Read more
  •  181
    This paper investigates the relation between two frameworks addressing the structure of scientific observation and temporal order: Coherent Observational Epistemology (COE) and the Theory of Global Time (TGT). The apparent tension between them reflects a deeper philosophical problem concerning the relation between epistemic reconstruction and ontological temporal structure. COE analyzes the conditions under which heterogeneous observational sequences produced by independent observational localit…Read more
  •  280
    Domain-Driven Design (DDD) has become one of the most influential approaches to modeling complex software systems. It proposes that software architectures should be structured around domain models and bounded contexts that represent conceptual areas of a business. This paper critically examines that assumption by analyzing the structural organization of real business operations. It argues that enterprises are not naturally decomposed into domains but operate through end-to-end processes that spa…Read more
  •  186
    This paper challenges a widespread assumption in contemporary philosophy of time according to which limitations of spacetime representation entail limitations of temporal ontology. In particular, arguments based on closed timelike curves (CTCs) are often taken to show that temporal order breaks down, motivating appeals to “time direction,” presentism, or other metaphysical revisions. The paper rejects this inference. It distinguishes three levels of order—act-order (ontological precedence), acce…Read more
  •  187
    This work presents a formal architectural model for complex systems based on a directed object–relation graph. In contrast to diagram-centric approaches, architecture is defined independently of representation, notation, or tooling. Objects and directed relations constitute the complete ontological core, while diagrams and viewpoints are treated as computable projections derived through canonical graph operators. The paper introduces formal definitions of reachability, path analysis, and structu…Read more
  •  278
    This paper develops an ontology of global storage grounded in the distinction between ontological identity and epistemic access. The central claim is that the identity of a stored object is determined solely by its globally unique name and the canonical order of operations associated with that name. Observation, availability, failure, and partial visibility are treated as epistemic phenomena that do not alter the object’s ontological state. Against prevailing approaches that conflate consistency…Read more
  •  402
    This work introduces a new physical theory of time in which temporal dynamics is grounded in the canonical global order of events rather than in synchronized clocks, spacetime coordinates, or metric postulates. Time is not treated as a background parameter nor as a geometric attribute, but as a dynamically generated physical structure arising from the irreversible growth of ordered temporal history. The theory departs from the conventional assumption that temporal order is intrinsically defined …Read more
  •  206
    This paper argues that global time, insofar as it is operationally meaningful, is not a discovered physical structure but a constructed canonical order over locally registered events. For remote sources, intrinsic temporal order is in principle inaccessible to a destination; only the order of reception is available. Accordingly, all admissible global temporal structures must be derived solely from reception sequences. The paper develops an axiomatic framework in which multiple scale-separated pe…Read more
  •  168
    This paper examines the epistemic status of availability as it is used in contemporary operational and distributed information systems. While availability is commonly treated as a unified system property, in practice it is derived from heterogeneous observational layers, including infrastructure state, service behavior, and business-level functionality. The paper argues that such usage produces a form of semantic fragmentation: scalar indicators that are numerically stable but lack declared stru…Read more
  •  193
    The term sustainable development occupies a central position in contemporary policy discourse and interdisciplinary modeling practice, yet its formal interpretation remains conceptually underdetermined. In applied models, sustainability is frequently associated—explicitly or implicitly—with trajectory-based notions of stability, while development is understood as directed state transition or departure from a reference condition. These interpretations are routinely combined without an explicit ex…Read more
  •  187
    This paper develops an architectural ontology of computing that rejects evolutionary accounts of technological change. Technical objects do not evolve; rather, they are created, stabilized, reproduced, and disposed under externally governed architectural regimes. An architectural regime is defined as a mode of structural unity maintained through specific invariants and integration mechanisms. The paper introduces three regime operators—growth fronts, closure points, and odd remainders—and applie…Read more
  •  188
    This paper develops a minimalist design ontology for document-centric web systems by examining the ontological status of HTML as a document artifact. While HTML was originally conceived as a self-contained format for structuring and presenting meaning, it has increasingly been treated as a transient output of execution pipelines and generation-oriented frameworks. The paper traces the historical shift from document-oriented extensions toward models in which semantic primacy is assigned to data a…Read more
  •  194
    This paper develops a structural and ontological account of development understood as the persistence of an unresolved remainder. A structure develops only insofar as it sustains a locus of continuation—a growth front—through which further extension remains possible. When all relevant degrees of freedom are internally compensated, development is suspended and the structure enters a regime of local closure. The analysis introduces the notion of an odd remainder as a structural operator distinguis…Read more
  •  203
    Modern storage systems increasingly rely on virtualization and distributed coordination to achieve scalability and fault tolerance. While these approaches offer operational flexibility, they also introduce failure modes not captured by traditional performance or availability metrics. This paper introduces the concept of storage truth as a foundational property of storage systems, defined as the authoritative existence and addressability of data independent of transient access conditions. We show…Read more
  •  153
    Classical real analysis is extraordinarily successful as a computational framework. However, its standard formalism contains implicit transitions between different mathematical spaces that are not explicitly represented in notation. In this paper we argue that the limit operator is not merely a numerical operation but an operator inducing a change of descriptive level. We contrast this situation with the explicit ontological extension performed in complex analysis and review historical and moder…Read more
  •  224
    This work develops an ontological framework underlying contemporary physical theories, addressing a gap between formal admissibility and physical realization. Modern physics—quantum field theory, special relativity, and general relativity—successfully constrains admissible states, relations, and transitions, yet remains largely silent on how admissible structures become realized physical facts. This paper argues that the limitation is ontological rather than dynamical or epistemic. Two complemen…Read more