arXiv subjects

Joe Clanin

Publications and source records attributed to Joe Clanin.

3 recordsLinked to original sources

arXiv2025

Finite-State Dimension and The Davenport Erd\H{o}s Theorem

A 1952 result of Davenport and Erd\H{o}s states that if $p$ is an integer-valued polynomial, then the real number $0.p(1)p(2)p(3)\dots$ is Borel normal in base ten. A later result of Nakai and Shiokawa extends this result to polynomials with arbitrary real coefficients and all bases $b\geq 2$. It is well-known that finite-state dimension, a finite-state effectivization of the classical Hausdorff dimension, characterizes the Borel normal sequences as precisely those sequences of finite-state dimension 1. For an infinite set of natural numbers, and a base $b\geq 2$, the base $b$ Copeland-Erd\H{o}s sequence of $A$, $CE_b(A)$, is the infinite sequence obtained by concatenating the base $b$ expressions of the numbers in $A$ in increasing order. In this work we investigate the possible relationships between the finite-state dimensions of $CE_b(A)$ and $CE_b(p(A))$ where $p$ is a polynomial. We show that, if the polynomial is permitted to have arbitrary real coefficients, then for any $s,s^\prime$ in the unit interval, there is a set $A$ of natural numbers and a linear polynomial $p$ so that the finite-state dimensions of $CE_b(A)$ and $CE_b(p(A))$ are $s$ and $s^\prime$ respectively. The corresponding result for strong finite-state dimension is also shown. We demonstrate that linear polynomials with rational coefficients do not change the finite-state dimension of any Copeland-Erd\H{o}s sequence, but there exist polynomials with rational coefficients of every larger integer degree that change the finite-state dimension of some sequence. We also prove the surprising fact that there exist sets $A$ and integer-valued monomials $p$ such that $CE_b(A)$ is normal, but $CE_b(p(A))$ has finite-state dimension strictly less than one.

cs.IT↗

arXiv2022

Additive Security Games: Structure and Optimization

In this work, we provide a structural characterization of the possible Nash equilibria in the well-studied class of security games with additive utility. Our analysis yields a classification of possible equilibria into seven types and we provide closed-form feasibility conditions for each type as well as closed-form expressions for the expected outcomes to the players at equilibrium. We provide uniqueness and multiplicity results for each type and utilize our structural approach to propose a novel algorithm to compute equilibria of each type when they exist. We then consider the special cases of security games with fully protective resources and zero-sum games. Under the assumption that the defender can perturb the payoffs to the attacker, we study the problem of optimizing the defender expected outcome at equilibrium. We show that this problem is weakly NP- hard in the case of Stackelberg equilibria and multiple attacker resources and present a pseudopolynomial time procedure to solve this problem for the case of Nash equilibria under mild assumptions. Finally, to address non-additive security games, we propose a notion of nearest additive game and demonstrate the existence and uniqueness of a such a nearest additive game for any non-additive game.

cs.GT↗

arXiv2018

Analytic computable structure theory and $L^p$ spaces

We continue the investigation of analytic spaces from the perspective of computable structure theory. We show that if $p \geq 1$ is a computable real, and if $Ω$ is a nonzero, non-atomic, and separable measure space, then every computable presentation of $L^p(Ω)$ is computably linearly isometric to the standard computable presentation of $L^p[0,1]$; in particular, $L^p[0,1]$ is computably categorical. We also show that there is a measure space $Ω$ that does not have a computable presentation even though $L^p(Ω)$ does for every computable real $p \geq 1$.

math.LO↗