Related papers: $\Delta^1_1$ Effectivization in Borel Combinatoric…

We prove a closed formula for the derivative, of any order, of a implicit function, in terms of some binomial building blocks, and explain the combinatorics behind the coefficients appearing in the formula.

In this paper, we consider recurrence sequences $x_n=\xi_1 \alpha_1^n+\xi_2 \alpha_2^n$ ($n=0,1,\ldots$) with companion polynomial $P(X)$. For example, the sequence $x_n=\xi_1(4+\sqrt{2})^n+\xi_2(4-\sqrt{2})^n$ satisfies the recurrence…

Several relations are obtained among the Riemann zeta and Hurwitz zeta functions, as well as their products. A particular case of these relations give rise to a simple re-derivation if the important results of [11]. Also, a relation derived…

Part 2 of 3 from master's thesis: Modeling Compact Objects with Effective Field Theory. Using the Effective Field Theory framework for extended objects, we build the effective theory of a binary system made up of the most general compact…

In a previous article, we have argued that Low's sub-leading soft photon theorem can be recovered as a Ward identity associated to the same large gauge transformations that control the leading piece of the theorem. The key for that was to…

Starting from the orthogonal polynomial expansion of a function $F$ corresponding to a finite positive Borel measure with infinite compact support, we study the asymptotic behavior of certain associated rational functions…

We prove that if the linear-time and polynomial-time hierarchies coincide, then every model of $\Pi_1(\mathbb{N}) + \neg \Omega_1$ has a proper end-extension to a model of $\Pi_1(\mathbb{N})$, and so $\Pi_1(\mathbb{N}) + \neg \Omega_1…

We present an elementary method for proving enumeration formulas which are polynomials in certain parameters if others are fixed and factorize into distinct linear factors over Z. Roughly speaking the idea is to prove such formulas by…

We give an explicit demonstration that the derivative expansion of the QED effective action is a divergent but Borel summable asymptotic series, for a particular inhomogeneous background magnetic field. A duality transformation B\to iE…

For $0\neq x>-1$ let $$\Delta(x)={{\ln \Gamma(x+1)} \over x}.$$ Recently Adell and Alzer proved the complete monotonicity of $\Delta'$ on $(-1,\infty)$ by giving an integral representation of $(-1)^n \Delta^{(n+1)}(x)$ in terms of the…

Let $\mu_1$ and $\mu_2$ be two complex-valued Borel measures on the real line such that $\operatorname{supp} \mu_1 =[\alpha_1,\beta_1] < \operatorname{supp} \mu_2 =[\alpha_2,\beta_2]$ and ${\rm d}\mu_i(x) = -\rho_i(x){\rm d}x/2\pi {\rm i}$,…

We consider the problem of finding a homomorphism from an input digraph $G$ to a fixed digraph $H$. We show that if $H$ admits a weak-near-unanimity polymorphism $\phi$ then deciding whether $G$ admits a homomorphism to $H$ (HOM($H$)) is…

We prove measurable analogues of Whitney's classical theorems on weak isomorphisms of finite graphs. In the setting of locally finite graphings, we introduce a notion of weak isomorphism as an edge-measure-preserving Borel bijection that…

We study sigma-ideals and regularity properties related to the "filter-Laver" and "dual-filter-Laver" forcing partial orders. An important innovation which enables this study is a dichotomy theorem proved recently by Miller [1]. [1] Arnold…

There are many examples of optimization problems whose associated polyhedra can be described much nicer, and with way less inequalities, by projections of higher dimensional polyhedra than this would be possible in the original space.…

We give a short summary of Varopoulos' generalised Hardy-Littlewood-Sobolev inequality for self-adjoint $C_{0}$ semigroups and give a new probabilistic representation of the classical fractional integral operators on $\R^n$ as projections…

Using Hirota's direct method and Baecklund transformations we construct explicit complex one and two-solutions to the complex Korteweg-de Vries equation, the complex modified Korteweg-de Vries equation and the complex sine-Gordon equation.…

We prove the Extended Delta Conjecture of Haglund, Remmel, and Wilson, a combinatorial formula for $\Delta _{h_l}\Delta' _{e_k} e_{n}$, where $\Delta' _{e_k}$ and $\Delta_{h_l}$ are Macdonald eigenoperators and $e_n$ is an elementary…

These are lecture notes from a course I gave at the University of Wisconsin during the Spring semester of 1993. Part 1 is concerned with Borel hierarchies. Section 13 contains an unpublished theorem of Fremlin concerning Borel hierarchies…

Let A be an abelian variety over a number field K. An identity between the L-functions L(A/K_i,s) for extensions K_i of K induces a conjectural relation between the Birch-Swinnerton-Dyer quotients. We prove these relations modulo finiteness…