Related papers: Embedding $FD(\omega)$ into $\mathcal{P}_s$ densel…
The main results of this paper provide an Efficient Polynomial-Time Approximation Scheme (EPTAS) for approximating the genus (and non-orientable genus) of dense graphs. By dense we mean that $|E(G)|\ge \alpha |V(G)|^2$ for some fixed…
Working in Zermelo-Fraenkel Set Theory with Atoms over an $\omega$-categorical $\omega$-stable structure, we show how \emph{infinite} constructions over definable sets can be encoded as \emph{finite} constructions over the Stone-\v{C}ech…
We investigate the approach to the universal regime of the dilute unitary Fermi gas as the density is reduced to zero in a lattice model. To this end we study the chemical potential, superfluid order parameter and internal energy of the…
This work is intended to contextualize and enhance certain well-studied relationships between Hessenberg varieties and the Toda lattice, thereby building on the results of Kostant, Peterson, and others. One such relationship is the fact…
We prove that every finite distributive lattice is isomorphic to a final segment of the d.c.e. Turing degrees (i.e., the degrees of differences of computably enumerable sets). As a corollary, we are able to infer the undecidability of the…
Given $k\ge 2$ and two $k$-graphs ($k$-uniform hypergraphs) $F$ and $H$, an $F$-factor in $H$ is a set of vertex disjoint copies of $F$ that together cover the vertex set of $H$. Lenz and Mubayi were first to study the $F$-factor problems…
William W. Boone and Graham Higman proved that a finitely generated group has soluble word problem if and only if it can be embedded in a simple group that can be embedded in a finitely presented group. We prove the exact analogue for…
We study embeddings of the simple admissible affine vertex algebras $V_k(sl(2))$ and $V_k(osp(1,2))$, $k \notin {\Bbb Z}_{\ge 0}$, into the tensor product of rational Virasoro and $N=1$ Neveu-Schwarz vertex algebra with lattice vertex…
It has been known for almost 200 years that some angles cannot be trisected by straightedge and compass alone. This paper studies the set of such angles as well as its complement $\mathcal{T}$, both regarded as subsets of the unit circle…
One of the challenging features of studying model Hamiltonians with cold atoms in optical lattices is the presence of spatial inhomogeneities induced by the confining potential, which results in the coexistence of different phases. This…
A graph $G$ on $m$ edges is graceful if there is an injection $f : V(G) \to \{0, 1, \ldots, m\}$ whose induced edge labels $\{|f(u) - f(v)| : uv \in E(G)\}$ are exactly $\{1, 2, \ldots, m\}$. Ringel and Kotzig conjectured in 1964 that every…
We prove that hereditarily Lindel\"of space which is $F_{\sigma\delta}$ in some compactification is absolutely $F_{\sigma\delta}$. In particular, this implies that any separable Banach space is absolutely $F_{\sigma\delta}$ when equipped…
We prove density results for neural-network classes on compact sets \(K\subset X\), where \(X\) is a topological vector space whose continuous dual \(X^*\) separates points. Let \(\Psi:\mathbb R\to\mathbb R\) be a continuous squashing…
In this paper we present new proofs of the non-embeddability of countably branching trees into Banach spaces satisfying property $(\beta_p)$ and of countably branching diamonds into Banach spaces which are $p$-AMUC for $p > 1$. These proofs…
In this paper we present a new version of the second author's factorization theorem for perfect matchings of symmetric graphs. We then use our result to solve four open problems of Propp on the enumeration of trimer tilings on the hexagonal…
We prove estimates for the optimal volume of thick embeddings of finite graphs into symmetric spaces, generalising results of Kolmogorov-Barzdin and Gromov-Guth for embeddings into Euclidean spaces. We distinguish two very different…
This is the last paper of a series of four papers in which we prove the following relaxation of the Loebl-Komlos-Sos Conjecture: For every $\alpha>0$ there exists a number~$k_0$ such that for every $k>k_0$ every $n$-vertex graph $G$ with at…
Let $\mathbb{V}$ be an admissible and graded-polarized integral variation of mixed Hodge structures over a smooth and irreducible complex algebraic variety $S$. We show that if the typical Hodge locus…
We investigate the structure of confining and deconfining phases in SU(2) lattice gauge theory via persistent homology, which gives us access to the topology of a hierarchy of combinatorial objects constructed from given data. Specifically,…
We prove that if a Bessel sequence in a Hilbert space, that is indexed by a countably infinite group in an invariant manner, can be partitioned into finitely many Riesz basic sequences, then each of the sets in the partition can be chosen…