Source author record

Alex Kruckman

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO Formal Languages and Automata Theory Logic in Computer Science math.CO math.PR math.ST Statistics Theory

Catalog footprint

Research overview

6works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Interpolative fusions II: Preservation results

We study interpolative fusion, a method of combining theories $T_1$ and $T_2$ in distinct languages in a "generic" way over a common reduct $T_\cap$ , to obtain a theory $T_\cup^*$ . When each $T_i$ is model-complete, $T_\cup^*$ is the model companion of the union $T_1\cup T_2$ . Our goal is to prove preservation results, i.e., to find sufficient conditions under which model-theoretic properties of $T_1$ and $T_2$ are inherited by $T_\cup^*$ . We first prove preservation results for quantifier elimination, model-completeness, and related properties. We then apply these tools to show that, under mild hypotheses, including stability of $T_\cap$ , the property $\mathrm{NSOP}_1$ is preserved. We also show that simplicity is preserved under stronger hypotheses on algebraic closure in $T_1$ and $T_2$ . This generalizes many previous results; for example, simplicity of $\mathrm{ACFA}$ and the random $n$ -hypergraph are both non-obvious corollaries. We also address preservation of stability, $\mathrm{NIP}$ , and $\aleph_0$ -categoricity, and we describe examples which witness that these results are sharp.

preprint2022arXiv

Invariant measures in simple and in small theories

We give examples of (i) a simple theory with a formula (with parameters) which does not fork over the empty set but has mu measure 0 for every automorphism invariant Keisler measure mu, and (ii) a definable group G in a simple theory such that G is not definably amenable, i.e. there is no translation invariant Keisler measure on G We also discuss paradoxical decompositions both in the setting of discrete groups and of definable groups, and prove some positive results about small theories, including the definable amenability of definable groups, and nontriviality of the graded Grothendieck ring.

preprint2022arXiv

The almost sure theory of finite metric spaces

We establish an approximate zero-one law for sentences of continuous logic over finite metric spaces of diameter at most $1$ . More precisely, we axiomatize a complete metric theory $T_{\mathrm{as}}$ such that, given any sentence $σ$ in the language of pure metric spaces and any $ε>0$ , the probability that the difference of the value of $σ$ in a random metric space of size $n$ and the value of $σ$ in any model of $T_{\mathrm{as}}$ is less than $ε$ approaches $1$ as $n$ approaches infinity. We also establish some model-theoretic properties of the theory $T_{\mathrm{as}}$ .

preprint2013arXiv

The Ax-Kochen Theorem: an application of model theory to algebra

The Ax-Kochen Theorem is a purely algebraic statement about the zeros of homogeneous polynomials over the p-adic numbers, but it was originally proved using techniques from mathematical logic. This document, the author's undergraduate honors thesis, provides an exposition of the theorem and its proof via model theory, assuming no previous experience with logic.

preprint2012arXiv

A Myhill-Nerode theorem for automata with advice

An automaton with advice is a finite state automaton which has access to an additional fixed infinite string called an advice tape. We refine the Myhill-Nerode theorem to characterize the languages of finite strings that are accepted by automata with advice. We do the same for tree automata with advice.

preprint2008arXiv

Chains of distributions, hierarchical Bayesian models and Benford's Law

Kossovsky recently conjectured that the distribution of leading digits of a chain of probability distributions converges to Benford's law as the length of the chain grows. We prove his conjecture in many cases, and provide an interpretation in terms of products of independent random variables and a central limit theorem. An interesting consequence is that in hierarchical Bayesian models priors tend to satisfy Benford's Law as the number of levels of the hierarchy increases, which allows us to develop some simple tests (based on Benford's law) to test proposed models. We give explicit formulas for the error terms as sums of Mellin transforms, which converges extremely rapidly as the number of terms in the chain grows. We may interpret our results as showing that certain Markov chain Monte Carlo processes are rapidly mixing to Benford's law.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Alex Kruckman

Research overview

Is this your work?

6 publications

Interpolative fusions II: Preservation results

Invariant measures in simple and in small theories

The almost sure theory of finite metric spaces

The Ax-Kochen Theorem: an application of model theory to algebra

A Myhill-Nerode theorem for automata with advice

Chains of distributions, hierarchical Bayesian models and Benford's Law

See the researcher in context

Building this map preview