Research works

Bernoulli amputation

A novel, stochastic approach to amputation, the process of introducing missing values to a complete dataset, is presented. It allows one to construct a wide variety of missingness patterns by only having to specify distributions of missingness indicators as opposed to specifying...

A note on test elements for monomorphisms of free groups

A word in a group is called a test element if any endomorphism fixing it is necessarily an automorphism. In this note, we give a sufficient condition in geometry to construct test elements for monomorphisms of a free group, by using the Whitehead graph and the action of the free...

Construction of signed distance functions through an elliptic equation

Motivated by recent advances in structural optimization, we propose a novel method for constructing the distance function to the boundary of a given domain. Building on and extending the celebrated Varadhan asymptotic theory, our approach reformulates the governing equation into...

Learning Quantum Hamiltonians at Any Temperature in Polynomial Time

Abstract. We study the problem of learning a local quantum Hamiltonian [Formula: see text] given copies of its Gibbs state [Formula: see text] at a known inverse temperature [Formula: see text]. Anshu et al. [2020 IEEE 61st Annual Symposium on Foundations of Computer Science, pp....

Polynomial Definability in Constraint Languages with Few Subpowers

Abstract. A first-order formula is called primitive positive (pp) if it uses only existential quantifiers and conjunctions. Primitive positive formulas are a central concept in (fixed-template) constraint satisfaction, as [Formula: see text] can be viewed as the problem of decidi...

CRB3 and ARP2/3 regulate cell biomechanical properties to set epithelial monolayers for collective movement

Several cellular processes during morphogenesis, tissue healing or cancer progression involve collective cell migration. To set the cells for motion, there is an initial breaking of organization of the epithelial tissue that modifies the epithelial phenotype and axis of polarity....

A map of RBP-miRNA regulatory connections for deciphering the mechanisms of transcriptome remodeling in cancer

Micro-RNAs (miRNAs) are key post-transcriptional regulators of gene expression that influence cancer progression and outcome. Whereas transcriptional dysregulation of miRNA abundance underlies abnormal functionality of some miRNAs in cancer, emerging data points to RNA-binding pr...

Controlling Transaction Rate in Tangle Ledger: A Principal Agent Problem Approach

Tangle is a distributed ledger technology that stores data as a directed acyclic graph (DAG). Unlike blockchain, Tangle does not require dedicated miners for its operation; this makes Tangle suitable for Internet of Things (IoT) applications. Distributed ledgers have a built-in t...

A Refuted Golden-Ratio Floating-Point Conjecture, Exactly Reversible Integer Maps, and a Fixed-Width Lifting Wavelet

This is an expository paper with a negative result at its centre. It began from a geometric picture of reversible computation, a state that expands by the golden ratio φ = (1+√5)/2 and folds back by 1/φ, and from the conjecture that scaling by φ gives better round-trip accuracy i...

Opposite-Side Residuals in Working-Precision Newton-Schulz Refinement of LU-Based Matrix Inverses: Measurements and an Empirical Predictor

An inverse X of a matrix A computed through an LU factorization comes with a guarantee on only one of its two residuals, I - AX or I - XA, according to whether it was obtained by solving AX = I or XA = I. In practice the two are usually of the same size, as Wilkinson observed. A...

Personality, Stress and the Partner: Prospective and Dyadic Predictors of Couple Dissolution in Two US Cohorts

Background. Personality and stress are known to go together with relationship problems. It is less clear whether they predict the end of a relationship years ahead, and whether a partner's traits matter on top of a person's own. These questions are central to the 2WO model (2-par...

Verification Theater: Measured Failure Modes of AI Verifier Panels

Accepted as a poster at the NeurIPS 2026 workshop Who Verifies the Agents? Toward Reliable Agent Development (Sydney, December 2026). The workshop is non-archival; this deposit is the citable version.The same text is also at https://github.com/vadimchernets/papers/tree/main/verif...

TOPOGRAPHY-ANCHORED CORONA DISCHARGE (TACD): AN AGNOSTIC ELECTROMECHANICAL MODEL FOR ATMOSPHERIC BOUNDARY LUMINESCENCE

This preprint presents the Topography-Anchored Corona Discharge (TACD) model, a quantitative framework for faint, stationary luminescence anchored to ground features under non-storm conditions. In the model, wind-driven triboelectric charging of aerosols builds a net space charge...

Artian A1 Earth-Flyby Handshake Preregistration: A Prospective Dual-Link Test of the QTT Two-Clock Map

One spacecraft can carry two physically different radio handshakes. Their difference is a new, geometry-locked clock test. Historical Earth-flyby residuals cannot decide this test because they contain only one physical radio-clock history. This preregistration instead requires tw...

Simplified in vitro generation of human gastruloids for modelling early development

Abstract The purpose of this study was to optimize the efficiency and cost of human gastruloid formation by testing and adjusting individual parameters using as examples two distinct human pluripotent stem cell lines, both available from the UK Stem Cell Bank. For the first step,...

MCGMark: An Encodable and Robust Online Watermark for Tracing LLM-Generated Malicious Code

With the advent of large language models (LLMs), numerous software service providers are developing LLMs tailored for code generation, such as CodeLlama. However, these models can be exploited by malicious developers to generate malicious code, posing severe threats to the softwa...

Foreign ownership and transferring of gender norms

Abstract In this paper, we study foreign ownership as a vehicle for transferring gender norms across international borders. Using detailed matched employer‐employee data from Sweden, we analyze how the within‐firm gender pay gap is affected by the degree of gender inequality in t...

Temporal organization in living systems: toward a physics of life

Abstract Classical dynamical systems theory is based on asymptotic stability assumptions. This approach has long dominated theoretical biology, providing insight into stability and functional organization. Yet, living systems rarely converge to static attractors; rather, they ada...

GlRac regulates an ATG8-independent autophagy-like pathway in Giardia lamblia

Autophagy is a conserved catabolic process essential for cellular homeostasis and adaptation to nutrient stress. The protozoan parasite Giardia lamblia lacks most canonical autophagy-related (ATG) genes, including the hallmark ATG8, raising longstanding questions about whether th...

Synthesis, design and integrated in vitro/in silico assessment of novel cyano-amide derivatives

A novel and an efficient synthesis of a series of cyano-amide derivatives 3a-h was achieved via solvent-free reaction of benzylcyanide derivatives 1 with isocyanate derivatives 2 at room temperature. The produced components were structurally characterized by NMR spectroscopy mult...