Related papers: Notes on Cofinality Spectrum Problems
These are notes for three lectures on higher properads given at a program at the mathematical institute MATRIX in Australia in June 2016. The first lecture covers the case of operads, and provides a brief introduction to the Moerdijk-Weiss…
We study the Point/Tukey spectrum of a general directed set using PCF theoretic tools and uncover basic connections between the theories. In particular, we prove that if the supremum of the Tukey spectrum is singular, then its cofinality…
Notes of three talks given at the workshop 'Hilbert schemes, non-commutative algebra and the McKay correspondence' CIRM-Luminy (France) October 2003. If A is an order over a central normal affine variety X having a stability structure such…
We prove a regularity lemma with respect to arbitrary Keisler measures mu on V, nu on W where the bipartite graph (V,W,R) is definable in a saturated structure M and the formula R(x,y) is stable. The proof is rather quick and uses local…
We develop a general theory of higher semiadditive Fourier transforms that includes both the classical discrete Fourier transform for finite abelian groups at height $n=0$, as well as a certain duality for the $E_n$-(co)homology of…
In this paper we collect some open set-theoretic problems that appear in the large-scale topology (called also Asymptology). In particular we ask problems about critical cardinalities of some special (large, indiscrete, inseparated) coarse…
We give a new proof of the slope classicality theorem in classical and higher Coleman theory for modular curves at arbitrary level using the completed cohomology classes attached to overconvergent modular forms. The latter give an embedding…
In this paper we prove a partial $C^{1,\alpha}$ regularity result in dimension $N=2$ for the optimal $p$-compliance problem, extending for $p\not = 2$ some of the results obtained by A. Chambolle, J. Lamboley, A. Lemenant, E. Stepanov…
Weighted cup-length calculations in singular cohomology led Farber and Grant in 2008 to general lower bounds for the topological complexity of lens spaces. We replace singular cohomology by K-theory, and weighted cup-length arguments by…
We use set-theoretic tools to make a model-theoretic contribution. In particular, we construct a \emph{single} $\mathcal{L}_{\omega_1,\omega}$-sentence $\psi$ that codes Kurepa trees to prove the consistency of the following: (1) The…
The paper deals with two issues: the existence of universal models of a theory T and related properties when cardinal arithmetic does not give this existence offhand. In the first section we prove that simple theories (e.g., theories…
The purpose of this paper is to establish a completely new partial regularity theory on certain homogeneous complex Monge-Ampere equations. Our partial regularity theory will be obtained by studying foliations by holomorphic curves and and…
In the classification of complete first-order theories, many dividing lines have been defined in order to understand the complexity and the behavior of some classes of theories. In this paper, using the concept of patterns of consistency…
The best finite Fourier Series for a smooth surface $h(x,y)$ closest to the positions of heads of amphiphiles in the least-square sense, agrees fully with the Fourier coefficients obtained by a direct summation over raw data points. Both…
It is consistent that for every n >= 2, every stationary subset of omega_n consisting of ordinals of cofinality omega_k where k = 0 or k <= n-3 reflects fully in the set of ordinals of cofinality omega_{n-1}. We also show that this result…
These lecture notes give a very short introduction to coarsening phenomena and summarize some recent results in the field. They focus on three aspects: the super-universality hypothesis, the geometry of growing structures, and coarsening in…
We exhibit the first explicit examples of Salem sets in $\mathbb{Q}_p$ of every dimension $0 < \alpha < 1$ by showing that certain sets of well-approximable $p$-adic numbers are Salem sets. We construct measures supported on these sets that…
The class XNLP consists of (parameterized) problems that can be solved nondeterministically in $f(k)n^{O(1)}$ time and $f(k)\log n$ space, where $n$ is the size of the input instance and $k$ the parameter. The class XALP consists of…
We prove that the exact versions of the domatic number problem are complete for the levels of the boolean hierarchy over NP. The domatic number problem, which arises in the area of computer networks, is the problem of partitioning a given…
This note serves to provide additional details for the proof of Lemma 3.6 in our paper [Liu, Zhang and Zhang, Comm. Math. Sci., 3(2005), pp.201-218]. Moreover, we will also present an alternative, yet simpler, proof based on arguments in…