Related papers: Embedding $FD(\omega)$ into $\mathcal{P}_s$ densel…

We provide a multidimensional extension of previous results on the existence of polynomial progressions in dense subsets of the primes. Let $A$ be a subset of the prime lattice - the d-fold direct product of the primes - of positive…

We give a uniform construction that, on input of a recursive presentation $P$ of a group, outputs a recursive presentation of a torsion-free group, isomorphic to $P$ whenever $P$ is itself torsion-free. We use this to re-obtain a known…

We consider the problem of constructing dense lattices of R^n with a given automorphism group. We exhibit a family of such lattices of density at least cn/2^n, which matches, up to a multiplicative constant, the best known density of a…

We study the dynamics of $SL_3(\mathbb{R})$ and its subgroups on the homogeneous space $X$ consisting of homothety classes of rank-2 discrete subgroups of $\mathbb{R}^3$. We focus on the case where the acting group is Zariski dense in…

Frozen Density Embedding Theory (FDET) [Wesolowski {\it Phys. Rev. A} {\bf 77}, 012504 (2008)] provides the interpretation of the eigenvalue equations for an embedded $N'$-electron wavefunction, in which the embedding operator is…

Answering an open question raised by Cooper, we show that there exist $\Delta^0_2$ sets $D$ and $E$ such that the singleton degree of $E$ is a minimal cover of the singleton degree of $D$. This shows that the $\Sigma^{0}_{2}$ singleton…

We construct a density functional for the lattice gas / Ising model on square and cubic lattices based on lattice fundamental measure theory. In order to treat the nearest-neighbor attractions between the lattice gas particles, the model is…

We prove that the problem of deciding the consequence relation of the full Lambek calculus with weakening is complete for the class HAck of hyper-Ackermannian problems (i.e., level F_{\omega}^{\omega} of the ordinal-indexed hierarchy of…

We consider the Anderson model on the multi-dimensional cubic lattice and prove a positive lower bound on the density of states under certain conditions. For example, if the random variables are independently and identically distributed and…

We calculate numerically the density of states n(S) for SU(2) lattice gauge theory on $L^4$ lattices. Small volume dependence are resolved for small values of S. We compare $ln(n(S))$ with weak and strong coupling expansions. Intermediate…

We investigate the complexity of the lattice of local clones over a countably infinite base set. In particular, we prove that this lattice contains all algebraic lattices with at most countably many compact elements as complete sublattices,…

Let $G$ be a higher rank semisimple real Lie group or the product of at least two automorphism groups of regular trees. We prove all probability measure preserving actions of lattices in such groups have cost one, answering Gaboriau's fixed…

The metric dimension dim(G) of a graph $G$ is the minimum cardinality of a subset $S$ of vertices of $G$ such that each vertex of $G$ is uniquely determined by its distances to $S$. It is well-known that the metric dimension of a graph can…

We consider the problem of partitioning the set of vertices of a given unit disk graph (UDG) into a minimum number of cliques. The problem is NP-hard and various constant factor approximations are known, with the current best ratio of 3.…

We establish a free analogue of Obata's rigidity theorem. More precisely, Cheng and Zhou (2017) proved that on a weighted Riemannian manifold, the sharp spectral gap (Poincar\'e constant) is achieved only when the space splits isometrically…

This thesis describes the development of the density matrix embedding theory (DMET) and its applications to lattice strongly correlated electron problems, including a review of DMET theory and algorithms (Ch 2), investigation of finite size…

We show that for any metric space $M$ satisfying certain natural conditions, there is a finitely generated group $G$, an ultrafilter $\omega $, and an isometric embedding $\iota $ of $M$ to the asymptotic cone ${\rm Cone}_\omega (G)$ such…

Fix $k \in \mathbb{N}$ and $0 < \delta < 1$. We study how large $N$ must be so that every $\delta$-dense subset $\mathcal{D} \subset \{0,1\}^N$ (meaning $|\mathcal{D}| \geq \delta 2^N$) contains the image of a metric embedding $f: \{0,1\}^k…

We give several topological/combinatorial conditions that, for a filter on $\omega$, are equivalent to being a non-meager $\mathsf{P}$-filter. In particular, we show that a filter is countable dense homogeneous if and only if it is a…

A natural question, which appeared as Problem 61 in Hart and van Mill's list of open problems on $\beta\omega$ (2024), asks whether every finite partial order is embeddable in the Rudin--Keisler order on (types of) ultrafilters over a…