相关论文: Transcendental pairs of generic extensions

We prove the Singer conjecture for extended graph manifolds and pure complex-hyperbolic higher graph manifolds with residually finite fundamental groups. In real dimension three, where a result of Hempel ensures that the fundamental group…

Let $X$ be a Polish space with Borel probability measure $\mu,$ and let $G$ be a Borel graph on $X$ with no odd cycles and maximum degree $\Delta(G).$ We show that the Baire measurable edge chromatic number of $G$ is at most $\Delta(G)+1$,…

We study Borel systems and continuous systems of measures, with a focus on mapping properties: compositions, liftings, fibred products and disintegration. Parts of the theory we develop can be derived from known work in the literature, and…

We use the theory of topological modular forms to constrain bosonic holomorphic CFTs, which can be viewed as $(0,1)$ SCFTs with trivial right-moving supersymmetric sector. A conjecture by Segal, Stolz and Teichner requires the constant term…

We show that countable increasing unions preserve a large family of well-studied covering properties, which are not necessarily sigma-additive. Using this, together with infinite-combinatorial methods and simple forcing theoretic methods,…

We derive closed-form expressions for several new classes of Hurwitzian- and Tasoevian continued fractions, including $[0;\overline{p-1,1,u(a+2nb)-1,p-1,1,v(a+(2n+1)b)-1 }\,\,]_{n=0}^\infty$, $[0; \overline{c + d m^{n}}]_{n=1}^{\infty}$ and…

We characterize the structural impediments to the existence of Borel perfect matchings for acyclic locally countable Borel graphs admitting a Borel selection of finitely many ends from their connected components. In particular, this yields…

We develop a family of simple rank one theories built over quite arbitrary sequences of finite hypergraphs. (This extends an idea from the recent proof that Keisler's order has continuum many classes, however, the construction does not…

We prove Los conjecture = Morley theorem in ZF, with the same characterization (of first order countable theories categorical in aleph_alpha for some (equivalently for every) ordinal alpha>0. Another central result here is, in this context:…

We study the analytic digraphs of uncountable Borel chromatic number on Polish spaces, and compare them with the notion of injective Borel homomorphism. We provide some minimal digraphs incomparable with G 0. We also prove the existence of…

We prove various congruences for Catalan and Motzkin numbers as well as related sequences. The common thread is that all these sequences can be expressed in terms of binomial coefficients. Our techniques are combinatorial and algebraic:…

A simple proof of a new summation formula for a terminating r+3Fr+2(1) hypergeometric series, representing an extension of Saalschutz's formula for a 3F2(1) series, is given for the case of r pairs of numeratorial and denominatorial…

We determine the exact Borel class of the points whose iterates under $\exp(z)+a$ tend to infinity. We also prove that the sets of non-escaping Julia points for many of these functions are topologically equivalent.

Motivated by the problem of dealing with incomplete or imprecise acquisition of data in computer vision and computer graphics, we extend results concerning the stability of persistent homology with respect to function perturbations to…

Graph contrastive learning (GCL) has recently emerged as a new concept which allows for capitalizing on the strengths of graph neural networks (GNNs) to learn rich representations in a wide variety of applications which involve abundant…

In 2008, Borovik and Cherlin posed the problem of showing that the degree of generic transitivity of an infinite permutation group of finite Morley rank $(X,G)$ is at most $n+2$ where $n$ is the Morley rank of $X$. Moreover, they…

We apply matrix theory over $\mathbb{F}_2$ to understand the nature of so-called "successful pressing sequences" of black-and-white vertex-colored graphs. These sequences arise in computational phylogenetics, where, by a celebrated result…

We investigate the problem of when $\leq\lambda$--support iterations of $<\lambda$--complete notions of forcing preserve $\lambda^+$. We isolate a property -- {\em properness over diamonds} -- that implies $\lambda^+$ is preserved and show…

We obtain an improvement of some coloring theorems from \cite{nsbpr}, \cite{819}, and \cite{APAL} for the case where the singular cardinal in question has countable cofinality. As a corollary, we obtain an "idealized" version of the…

We construct bounded degree acyclic Borel graphs with large Borel chromatic number using a graph arising from Ramsey theory and limits of expander sequences.