arXiv subjects

Alexander Kolpakov

Publications and source records attributed to Alexander Kolpakov.

At least 19 recordsLinked to original sources

arXiv2026

Non-Pseudo-Arithmetic Hyperbolic 4-Manifolds

We give three explicit finite-volume hyperbolic Coxeter lattices in dimension four whose adjoint trace fields are not totally real. They are the reflection groups of the Ma--Zheng polytopes $P_{11,6}$, $P_{11,7}$, $P_{11,8}$. The obstruction is contained in two cyclic products of the doubled unit-normal Gram matrix $A=2G$. Those products recover elements $s=\sqrt5$ and $u$ satisfying $$ (s-1)u^2+2(s-3)u+s-7=0. $$ After the embedding $s\mapsto-\sqrt5$, this quadratic has discriminant $8(1-\sqrt5)<0$. The cyclic-product field therefore has a complex place. Vinberg's identification of that field with the adjoint trace field and the Emery--Mila total-reality obstruction imply that the three lattices are not pseudo-arithmetic. Torsion-free orientation-preserving finite-index subgroups yield orientable noncompact finite-volume hyperbolic $4$-manifolds with the same obstruction. Exact computations check the census data and provide independent field and finite-volume certificates. A pinned Lean~4 development verifies the radical identity and the number-field obstruction. It also checks the lattice and manifold implications conditional on explicit geometric and literature hypotheses.

math.GT↗

arXiv2026

Sharp dimension bounds for right-angled hyperbolic polytopes

We determine the largest dimensions in which right-angled hyperbolic polytopes of finite volume can exist. The dimension is at most eight in general, and at most four when all vertices lie at infinity. Both bounds are attained, improving the previously known upper bounds of twelve and six. Our proofs use elementary properties of hyperbolic polytopes together with bounds for configurations of points on spheres.

math.GT↗

arXiv2026

On the second smallest ideal right-angled hyperbolic four-polytope

The regular ideal right-angled 24-cell has volume $4 π^2/3$ and is the unique minimum-volume entirely ideal right-angled hyperbolic four-polytope. We prove that the next distinct volume is $8 π^2/3$ and that its unique equality case is the reflection double of the 24-cell across one octahedral facet. We also show that an entirely ideal right-angled four-polytope whose facets are regular ideal octahedra or their doubles across triangular faces decomposes into a chain of regular 24-cells, with opposite cutting facets in each intermediate cell.

math.GT↗

arXiv2026

Burau representation, Squier's form, and non-Abelian anyons

We study a phase-tunable coherent device that reproduces the matrix-valued braid statistics associated with non-Abelian anyons without assuming pre-existing anyonic quasiparticles. The construction uses the reduced Burau representation, made unitary by Squier's Hermitian form, to implement two noncommuting braid generators on a two-dimensional encoded space. A controlled-order circuit applies the generators in both orders, and optimal single-use discrimination gives a closed-form witness for their order dependence. Together with the braid relation, this certifies the implemented non-Abelian braid action. It does not by itself demonstrate the existence of anyonic quasiparticles.

quant-ph↗

arXiv2026

Pushout Attachments and Conditional Complexity of Executable Models

We represent the modular enlargement of an executable model by a pushout of finite typed presentations. Adhesivity preserves the original model and recovers the shared interface, while chosen pushouts make linking functorial and coproducts describe parallel attachments. A semantic comparison gives a precise criterion for behavioral persistence. Effective linking also bounds conditional prefix complexity; under the stated canonicalization and invariance assumptions, attachment and extension codes yield the same profiles of loss against complexity, up to additive constants, and share an exact scalar envelope. The result separates syntax, semantics, ideal complexity, and concrete coding cost, and shows that a preference for modularity can arise only through restrictions on the permitted attachments.

cs.LO↗

arXiv2026

Random Knots via Stiefel manifolds

A fixed simplex, randomly projected into three dimensions and joined in Hamiltonian order, produces a rich and unusually tractable model of random stick knots. We prove that Gaussian projections and Haar-random Stiefel projections have exactly the same knot-type law, despite having different metric shapes, and that at every stick budget the model gives positive probability to precisely the knot types realizable with that many sticks. Its linear-algebraic structure yields an exact marginal distance law, an exact mean planar-crossing count, and crossing concentration, while in the first nontrivial six-stick case the complete tetrahedral sign pattern gives an exact unknot-versus-handed-trefoil classifier for every generic sample. The result is a direct bridge from random projections and finite sign geometry to the topology of random knots.

math.GT↗

arXiv2026

Discriminant Varieties for Stick Knots and Links

How many knot types can be built from a fixed budget of straight sticks? We prove that the answer has factorial-scale growth, settling its order for the first time. No previously published general upper bound improves on the exponential-in-the-square estimate obtained from crossing-number enumeration; we replace it with a factorial-scale upper bound, which is optimal at the level of growth order. The proof turns polygonal self-intersection into a sparse real-algebraic chamber problem in only linearly many dimensions, while a complementary braid construction supplies factorially many distinct knots. The result creates a direct bridge between knot topology, real algebraic geometry, fewnomial structure, and permutation combinatorics.

math.GT↗

arXiv2026

Dimensionality reduction for homological stability and global structure preservation

We propose DiRe, a force-directed dimensionality reduction framework designed to preserve global structure and homological features while remaining practical on modern hardware. The method combines an initial embedding with a graph-based layout optimization and evaluates the resulting low-dimensional representation using local distortion, context preservation, and persistent homology measures. Across the benchmark suite considered here, DiRe provides a complementary tradeoff to UMAP and tSNE: it is designed less as a purely local visualization heuristic and more as a framework for embeddings whose large-scale geometry can be quantified through Betti curves and persistence diagrams.

cs.LG↗

arXiv2026

Multiplicative Turing Ensembles, Pareto's Law, and Creativity

We study integer-valued multiplicative dynamics driven by i.i.d. prime multipliers and connect their macroscopic statistics to universal codelengths. We introduce the Multiplicative Turing Ensemble (MTE) and show how it arises naturally -- though not uniquely -- from ensembles of probabilistic Turing machines. Our modeling principle is variational: taking Elias' Omega codelength as an energy and imposing maximum entropy constraints yields a canonical Gibbs prior on integers and, by restriction, on primes. Under mild tail assumptions, this prior induces exponential tails for log-multipliers (up to slowly varying corrections), which in turn generate Pareto-type tails for additive gaps, with the survival exponent shifted by summation over primes. We also prove time-average laws for the Omega codelength along MTE trajectories. Empirically, Debian, PyPI, and CRAN package-size histograms have fitted Omega slopes well below the pure-Omega value $\log 2$, indicating heavier-than-pure-Omega tails within this energy scale. Taken together, the theory--data comparison suggests a qualitative split: machine-adapted regimes (Gibbs-aligned, finite first moment) exhibit clean averaging behavior, whereas human-generated complexity appears to sit beyond this regime, with tails heavy enough to produce an unbounded first moment, and therefore no averaging of the same kind.

cs.IT↗

arXiv2026

Loss-Complexity Landscape and Model Structure Functions

We develop a framework for dualizing the Kolmogorov structure function $h_x(α)$, which then allows using computable complexity proxies. We establish a mathematical analogy between information-theoretic constructs and statistical mechanics, introducing a suitable partition function and free energy functional. We explicitly prove the Legendre-Fenchel duality between the structure function and free energy, showing detailed balance of the Metropolis kernel, and interpret acceptance probabilities as information-theoretic scattering amplitudes. A susceptibility-like variance of model complexity is shown to peak precisely at loss-complexity trade-offs interpreted as phase transitions. Practical experiments with linear and tree-based regression models verify these theoretical predictions, explicitly demonstrating the interplay between the model complexity, generalization, and overfitting threshold.

cs.IT↗

arXiv2026

Subspace stabilisers in hyperbolic lattices

This paper shows that immersed totally geodesic $m$-dimensional suborbifolds of $n$-dimensional arithmetic hyperbolic orbifolds correspond to finite subgroups of the commensurator whenever $m \geqslant \frac{n-1}{2}$. We call such totally geodesic suborbifolds finite centraliser subspaces (or fc-subspaces) and use them to formulate an arithmeticity criterion for hyperbolic lattices. We show that a hyperbolic orbifold $M$ is arithmetic if and only if it has infinitely many fc-subspaces, and exhibit examples of non-arithmetic orbifolds that contain non-fc subspaces of codimension one. We provide an algebraic characterization of totally geodesically immersed suborbifolds of arithmetic hyperbolic orbifolds by analysing Vinberg's commensurability invariants. This allows us to construct examples with the property that the adjoint trace field of the geodesic suborbifold properly contains the adjoint trace field of the orbifold. The case of special interest is that of exceptional trialitarian $7$-dimensional orbifolds. We show that every such orbifold contains a totally geodesic arithmetic hyperbolic $3$-orbifold of exceptional type. Finally, we study arithmetic properties of orbifolds that descend to their totally geodesic suborbifolds, proving that all suborbifolds in a (quasi-)arithmetic orbifold are (quasi-)arithmetic.

math.GT↗

arXiv2026

DiRe-RAPIDS: Topology-faithful dimensionality reduction at scale

Dimensionality reduction methods such as UMAP and t-SNE are central tools for visualising high-dimensional data, but their local-neighborhood objectives can preserve sampling noise while distorting global topology. We show that standard local metrics reward this noise memorisation: top-performing embeddings invent cycles and disconnected islands absent from the data. We introduce a topology-faithfulness benchmark based on noisy manifolds with known homology, tune DiRe against it, and find Pareto-optimal configurations that match or beat GPU-accelerated UMAP on classification while recovering exact first Betti numbers on stress tests. On 723K arXiv paper embeddings, DiRe preserves 3-4 times more topological structure than UMAP at comparable wall-clock.

cs.LG↗

arXiv2026

Fast Geometric Embedding for Node Influence Maximization

Computing classical centrality measures such as betweenness and closeness is computationally expensive on large-scale graphs. In this work, we introduce an efficient force layout algorithm that embeds a graph into a low-dimensional space, where the radial distance from the origin serves as a proxy for various centrality measures. We evaluate our method on multiple graph families and demonstrate strong correlations with degree, PageRank, and paths-based centralities. As an application, it turns out that the proposed embedding allows one to find high-influence nodes in a network, and provides a fast and scalable alternative to the standard greedy algorithm.

cs.SI↗

arXiv2026

Lagrangians, Renormalization, and Quantization in Prefix Coding

We develop a statistical mechanics framework for prefix coding based on variational principles, renormalization, and quantization. A Lagrangian formulation of entropy-optimal encoding under the Kraft-McMillan constraint yields a Gibbs-type implied distribution and completeness of the optimal code. A renormalization operator acting on codeword distribution laws produces a coarse-graining flow whose fixed points have iterated-log structure; discrete quantizations of these fixed points include Elias' $ω$ code as a special case. Extending the theory to mixed discrete-continuous source laws, we show how continuous codelength functions can be quantized into countable prefix codes and derive resolution-adjusted entropy bounds together with Heisenberg-type and Boltzmann-type relations. This provides a unified and physically motivated view of universal coding, with Elias' $ω$ code as a guiding example.

cs.IT↗

arXiv2025

Benford's Law from Turing Ensembles and Integer Partitions

We develop two complementary generative mechanisms that explain when and why Benford's first-digit law arises. First, a probabilistic Turing machine (PTM) ensemble induces a geometric law for codelength. Maximizing its entropy under a constraint on halting length yields Benford statistics. This model shows a phase transition with respect to the halt probability. Second, a constrained partition model (Einstein-solid combinatorics) recovers the same logarithmic profile as the maximum-entropy solution under a coarse-grained entropy-rate constraint, clarifying the role of non-ergodicity (ensemble vs. trajectory averages). We also perform numerical experiments that corroborate our conclusions.

cs.IT↗

arXiv2025

Expansion properties of Whitehead moves on cubic graphs

The present note concerns the "graph of graphs" that has cubic graphs as vertices connected by edges represented by the so-called Whitehead moves. Here, we prove that the outer-conductance of the graph of graphs tends to zero as the number of vertices tends to infinity. This answers a question of K. Rafi in the negative.

math.CO↗

arXiv2025

A ripple in time: a discontinuity in American history

In this technical note we suggest a novel approach to discover temporal (related and unrelated to language dilation) and personality (authorship attribution) aspects in historical datasets. We exemplify our approach on the State of the Union addresses given by the past 42 US presidents: this dataset is known for its relatively small amount of data, and high variability of the size and style of texts. Nevertheless, we manage to achieve about 95\% accuracy on the authorship attribution task, and pin down the date of writing to a single presidential term.

cs.CL↗

arXiv2024

The Information Geometry of UMAP

In this note we highlight some connections of UMAP to the basic principles of Information Geometry. Originally, UMAP was derived from Category Theory observations. However, we posit that it also has a natural geometric interpretation.

cs.CG↗