Related papers: Analysis of HOD for Admissible Structures

We demonstrate that the technology of Radin forcing can be used to transfer compactness properties at a weakly inaccessible but not strong limit cardinal to a strongly inaccessible cardinal. As an application, relative to the existence of…

We deal with Calder\'on's problem in a layered anisotropic medium $\Omega\subset\mathbb{R}^n$, $n\geq 3$, with complex anisotropic admittivity $\sigma=\gamma A$, where $A$ is a known Lipschitz matrix-valued function. We assume that the…

The property of countable metacompactness of a topological space gets its importance from Dowker's 1951 theorem that the product of a normal space X with the unit interval is again normal iff X is countably metacompact. In a recent paper,…

In this paper we introduce a modal theory $H_{\sigma}$, which is sound and complete for arithmetical $\Sigma$_1 substitutions in ${\bf HA}$, in other words, we will show that $H_{\sigma}$ is the $\Sigma$_1-provability logic of ${\bf HA}$.…

We analyze the notion of guessing model, a way to assign combinatorial properties to arbitrary regular cardinals. Guessing models can be used, in combination with inaccessibility, to characterize various large cardinals axioms, ranging from…

Algebraic injectivity was introduced to capture homotopical structures like algebraic Kan complexes. But at a much simpler level, it allows one to describe sets with operations subject to no equations. If one wishes to add equations (or…

Given a family of intermediate Jacobians (for a polarized variation of Hodge structure of weight -1) on a Zariski-open subset of a complex manifold, we construct an analytic space that naturally extends the family. Its two main properties…

If M is a smooth compact oriented Riemannian manifold of dimension n=4k+2, with or without boundary, and F is a vector bundle on M with an inner product and a flat connection, we construct a modification of the Hodge star operator on the…

Let $G$ be $\text{SO}^\circ(n,1)$ for $n \geq 3$ and consider a lattice $\Gamma < G$. Given a standard Borel probability $\Gamma$-space $(\Omega,\mu)$, consider a measurable cocycle $\sigma:\Gamma \times \Omega \rightarrow…

We extend and improve the result of Makkai and Par\'e that the powerful image of any accessible functor F is accessible, assuming there exists a sufficiently large strongly compact cardinal. We reduce the required large cardinal assumption…

This article studies the construction of Hopf algebras $H$ acting on a given algebra $K$ in terms of algebra morphisms $ \sigma \colon K \rightarrow \mathrm{M}_n(K)$. The approach is particularly suited for controlling whether these actions…

Heuristic functions are central to the performance of search algorithms such as A-star, where admissibility - the property of never overestimating the true shortest-path cost - guarantees solution optimality. Recent deep learning approaches…

Let kappa be the least ordinal alpha such that L_{alpha}(R) is admissible. Let A be the set of reals x such that x is ordinal definable in L_{\alpha}(R), for some alpha<kappa. It is well known that (assuming determinacy) A is the largest…

Let G be one of the local gauge groups C(X,U(n)), C^\infty(X,U(n)), C(X,SU(n)) or C^\infty(X,SU(n)) where X is a compact Riemannian manifold. We observe that G has a nontrivial group topology, coarser than its natural topology, w.r.t. which…

For the Heyting Arithmetic HA, HA* is defined as the theory $\{A\mid {\sf HA}\vdash A^{\Box}\}$, where $A^{\Box}$ is called the box translation of $A$. We characterize the $\Sigma_1$-provability logic of HA* as a modal theory ${\sf…

A group $G$ is called to be acceptable (due to M. Larsen) if for any finite group $H$, two element-conjugate homomorphisms are globally conjugate. We answer the acceptability question for general linear, special linear, unitary, symplectic…

A surprising result of FitzGerald and Horn (1977) shows that $A^{\circ \alpha} := (a_{ij}^\alpha)$ is positive semidefinite (p.s.d.) for every entrywise nonnegative $n \times n$ p.s.d. matrix $A = (a_{ij})$ if and only if $\alpha$ is a…

We extend current models of the halo occupation distribution (HOD) to include a flexible, empirical framework for the forward modeling of the intrinsic alignment (IA) of galaxies. A primary goal of this work is to produce mock galaxy…

We study an algebraic cycle of the form $Z_0= r {\mathbb P}^{\frac{n}{2}}+\check r \check{\mathbb P}^{\frac{n}{2}}$, $r \in{\mathbb N},\check r \in{\mathbb Z},\ \ 1\leq r , |\check r |\leq 10,\ \ \gcd ( r ,\check r )=1$, inside the cubic…

We show that the existence of a homomorphism from an $n$-vertex graph $G$ to an $h$-vertex graph $H$ can be decided in time $2^{O(n)}h^{O(1)}$ and polynomial space if $H$ comes from a family of graphs that excludes a topological minor. The…