arXiv subjects

Logan Post

Publications and source records attributed to Logan Post.

8 recordsLinked to original sources

arXiv2026

Deck Reconstruction for Restricted Word Classes

For a binary word $x\in \{0,1\}^+$, the $k$-deck of $x$ is the multiset of all length-$k$ subsequences counted with multiplicity. The deck reconstruction problem asks for the minimum $k$ such that every word of a fixed length is uniquely determined by its $k$-deck. In this paper, we study deck reconstruction for several restricted classes of binary words, including words with exactly $s$ ones, words with at most $\ell$ runs of ones, and words where the indices of ones are given by a monotone polynomial of degree $d$. We prove that for these classes of words, their reconstruction thresholds are bounded by a function of the structural complexity of the class. We also study weak deck reconstruction, in which subwords may contain "wildcard" symbols that map to either 0 or 1. By generalizing a "template lemma" of Dudík and Schulman, we improve the upper bound in an open question about weak reconstruction from Dudík and Schulman. Finally, for the class of periodic words with period $d$, we prove that its in-class reconstruction threshold is equal to the general reconstruction threshold for words of length $d$, and give a general template construction producing further classes with the same threshold-preservation phenomenon.

math.CO↗

arXiv2026

New bounds for off-diagonal hypergraph Ramsey numbers

We study a conjecture of Conlon, Fox, Gunby, He, Mubayi, Suk, Verstraëte, and Yu, which characterizes the $3$-graphs $H$ for which the off-diagonal Ramsey number $r(H,n)$ is polynomial. We prove the conjecture for $3$-graphs with at most five tight components. Additionally, we show that the full conjecture is equivalent to its specialization to linear $3$-graphs. We prove quasipolynomial upper bounds for a class of `forward-doubleable' $3$-graphs, which includes the Fano plane. Finally, we give an exponential lower bound for `non-forward-laminar' $3$-graphs and use this to completely classify the Ramsey growth of a natural family of 3-graphs called chains.

math.CO↗

arXiv2026

Counting cliques in graphs with small independence number

We prove that for all fixed $k\geq 4$, any $N$ vertex graph with no independent set of size $n$ and $N\geq Ω(n^{k-1}/\log^{k-2}n)$ contains at least $$ Ω\bigg(\binom Nk \Big(\frac{\log n}{n}\Big)^{\binom k2}/\log n\bigg) $$ cliques of order $k$, and for $k\geq 5$ this is best possible conditional on the known upper bounds for $r(k,n)$. This is also true and tight for $k=2$ by Turán's Theorem and for $k=3$ by a result of Bohman and Mubayi. We show the bound is also tight for $k=4$. We obtain other supersaturation results using the same methods.

math.CO↗

arXiv2026

Hypergraph Ramsey numbers with quasipolynomial growth rate

For a 3-uniform hypergraph (3-graph) $F$, let $r(F,n)$ be the smallest $N$ such that any $N$-vertex $F$-free 3-graph has an independent set of size $n$. We construct a $3$-graph $H_2$ with six vertices and five edges such that $r(H_2,n)=n^{Θ(\log n)}$, and a more general family of $3$-graphs $F$ for which $r(F,n)=n^{\log^{Θ(1)}(n)}$. These are the first examples of such Ramsey number known to be neither polynomial nor exponential.

math.CO↗

arXiv2026

Almost all graphs are vertex-minor universal

Answering a question of Claudet, we prove that the uniformly random graph $G\sim \mathbb G(n, 1/2)$ is $Ω(\sqrt n)$-vertex-minor universal with high probability. That is, for some constant $α\approx 0.911$, any graph on any $α\sqrt n$ specified vertices of $G$ can be obtained as a vertex-minor of $G$. This has direct implications for quantum communications networks: an $n$-vertex $k$-vertex-minor universal graph corresponds to an $n$-qubit $k$-stabilizer universal graph state, which has the property that one can induce any stabilizer state on any $k$ qubits using only local operations and classical communications. We further employ our methods in two other contexts. We obtain a bipartite pivot-minor version of our main result, and we use it to derive a universality statement for minors in random binary matroids. We also introduce the vertex-minor Ramsey number $R_{\mathrm{vm}}(k)$ to be the smallest value $n$ such that every $n$-vertex graph contains an independent set of size $k$ as a vertex-minor. Supported by our main result, we conjecture that $R_{\mathrm{vm}}(k)$ is polynomial in $k$. We prove $Ω(k^2) \leq R_{\mathrm{vm}}(k) \leq 2^k - 1$.

quant-ph↗

arXiv2025

Asymptotically half of binary words are shuffle squares

A binary shuffle square is a binary word of even length that can be partitioned into two disjoint, identical subwords. Huang, Nam, Thaper, and the first author conjectured that as $n\rightarrow \infty$, asymptotically half of all binary words of length $2n$ are shuffle squares. We prove this conjecture in a strong form, by showing that the number of binary shuffle squares of length $2n$ is $(\frac{1}{2} - o(n^{-1/15})) 2^{2n}$.

math.CO↗

arXiv2023

Superpolynomial period lengths of the winning positions in the subtraction game

Given a finite set of positive integers, $A$, and starting with a heap of $n$ chips, Alice and Bob alternate turns and on each turn a player chooses $x\in A$ with $x$ smaller or equal than the current number of chips and subtract $x$ chips from the heap. The game terminates when the current number of chips becomes smaller than $\min\{A\}$ and no moves are possible. The player who makes the last move is the winner. We can define $w^A(n)$ to be $1$ if Alice has a winning strategy with a starting heap of $n$ chips and $0$ if Bob has a winning strategy. By the Pigeonhole Principle, $w^A(n)$ becomes periodic, and it is easy to see that the period length is at most an exponential function of $\max\{A\}$. The typical period length is a linear function of $\max\{A\}$, and it is a long time open question if exponential period length is possible. We consider a slight modification of this game by introducing an initial seed $S$ that tells for the few initial numbers of chips whether the current or the opposite player is the winner. In this paper we show that the initial seed cannot change the period length of $w^A(n)$ if the size of $A$ is $1$ or $2$, but it can change the period length with $|A| \geq 3$. Further, we exhibit a class of sets $A$ of size $3$ and corresponding initial seeds such that the period length becomes a superpolynomial function of $\max\{A\}$.

math.CO↗

arXiv2022

Common kings of a chain of cycles in a strong tournament

It is known that every strong tournament has directed cycles of any length, and thereby strong subtournaments of any size. In this note, we prove that they also can share a common vertex which is a king of all of them. This common vertex can be any king in the whole tournament. Further, the Hamiltonian cycles in them can be recursively constructed by inserting an additional vertex to one directed edge.

math.CO↗