English
Related papers

Related papers: The uniform Martin's conjecture for many-one degre…

200 papers

We give a decomposition of the equivariant Kasparov category for discrete quantum group with torsions. As an outcome, we show that the crossed product by a discrete quantum group in a certain class preserves the UCT. We then show that…

Operator Algebras · Mathematics 2021-03-22 Yuki Arano , Adam Skalski

We investigate the truth-table degrees of (co-)c.e.\ sets, in particular, sets of random strings. It is known that the set of random strings with respect to any universal prefix-free machine is Turing complete, but that truth-table…

Logic in Computer Science · Computer Science 2015-07-01 Mingzhong Cai , Rodney G Downey , Rachel Epstein , Steffen Lempp , Joseph Miller

It is open whether equivalence ( f = g ) is decidable for string-to-string polyregular functions. We consider their higher-order extension based on the {\lambda}-calculus definition of polyregular functions from Boja\'nczyk (2018). In this…

Programming Languages · Computer Science 2026-04-15 Mikołaj Bojańczyk , Grzegorz Fabiański , Rafał Stefański

One partially ordered set, $Q$, is a Tukey quotient of another, $P$, if there is a map $\phi : P \to Q$ carrying cofinal sets of $P$ to cofinal sets of $Q$. Two partial orders which are mutual Tukey quotients are said to be Tukey…

General Topology · Mathematics 2016-08-02 Paul Gartside , Ana Mamatelashvili

We give a classification of the degrees of the points with rational $j$-invariant on the modular curves $X_{0}(n)$ and $X_{1}(n)$. The degrees which occur infinitely often are computed unconditionally, while those which occur finitely often…

Number Theory · Mathematics 2025-07-18 Kenji Terao

In the present paper we introduce analogs of almost periodic functions on the unit circle. We study certain uniform algebras generated by such functions, prove corona theorems for them and describe their maximal ideal spaces.

Complex Variables · Mathematics 2007-05-23 A. Brudnyi , D. Kinzebulatov

The purpose of this paper is to study the equivalence relation on unitary bases defined by R. F. Werner [{\it J. Phys. A: Math. Gen.} {\bf 34} (2001) 7081], relate it to local operations on maximally entangled vectors bases, find an…

Quantum Physics · Physics 2014-01-03 Sibasish Ghosh , Ajit Iqbal Singh

This paper studies the space of degree $d>1$ invariant q-laminations, i.e., geodesic laminations invariant under the $d$-tupling map of the circle and associated with equivalence relations. Our main construction associates a q-lamination…

Dynamical Systems · Mathematics 2026-04-28 Alexander Blokh , Lex Oversteegen , Vladlen Timorin

We study pairs of reals that are mutually Martin-L\"{o}f random with respect to a common, not necessarily computable probability measure. We show that a generalized version of van Lambalgen's Theorem holds for non-computable probability…

Logic · Mathematics 2016-02-10 Adam R. Day , Jan Reimann

An inequality in quantum mechanics, which does not appear to be well known, is derived by elementary means and shown to be quite useful. The inequality applies to 'all' operators and 'all' pairs of quantum states, including mixed states. It…

Atomic Physics · Physics 2007-05-23 Gordon N. Fleming

We prove an inversion theorem for the Fourier transform defined for normal functions, in the case when such functions are of moderate decrease, and in dimensions 2 and 3. This improves on Carleson's general almost everywhere convergence…

Mathematical Physics · Physics 2024-04-01 Tristram de Piro

Beurling slow variation is generalized to Beurling regular variation. A Uniform Convergence Theorem, not previously known, is proved for those functions of this class that are measurable or have the Baire property. This permits their…

Classical Analysis and ODEs · Mathematics 2013-07-22 N. H. Bingham , A. J. Ostaszewski

The equivalence of the noncommutative U(N) quantum field theories related by the theta-exact Seiberg-Witten maps is in this letter proven to all orders in the perturbation theory with respect to the coupling constant. We show that this…

High Energy Physics - Theory · Physics 2016-08-24 Carmelo P. Martin , Josip Trampetic , Jiangyang You

We prove a multivariate Lagrange-Good formula for functionals of uncountably many variables and investigate its relation with inversion formulas using trees. We clarify the cancellations that take place between the two aforementioned…

Mathematical Physics · Physics 2021-02-15 Sabine Jansen , Tobias Kuna , Dimitrios Tsagkarogiannis

We examine general aspects of parity functions arising in rational conformal field theories, as a result of Galois theoretic properties of modular transformations. We focus more specifically on parity functions associated with affine Lie…

High Energy Physics - Theory · Physics 2008-11-26 D. Altschuler , P. Ruelle , E. Thiran

The uniform continuity theorem (UCT) states that every pointwise continuous real-valued function on the unit interval is uniformly continuous. In constructive mathematics, UCT is stronger than the decidable fan theorem (DFT); however, Loeb…

Logic · Mathematics 2020-04-17 Makoto Fujiwara , Tatsuji Kawai

We prove that, assuming $\mathrm{ZF}$, and restricted to any pointed set, Chaitin's $\Omega_U:x\mapsto \Omega_U^x=\sum_{U^x(\sigma)\downarrow}2^{-|\sigma|}$ is not injective for any universal prefix-free Turing machine $U$, and that…

Logic · Mathematics 2023-08-29 Liang Yu

In this paper our aim is to present the completely monotonicity and convexity properties for the Wright function. As consequences of these results, we present some functional inequalities. Moreover, we derive the monotonicity and…

Classical Analysis and ODEs · Mathematics 2017-08-03 Khaled Mehrez

In the finite dimensional case, mean-type mappings, their invariant means, relations between the uniqueness of invariant means and convergence of orbits of the mapping, are considered. In particular it is shown, that the uniqueness of an…

Classical Analysis and ODEs · Mathematics 2022-06-10 Janusz Matkowski , Paweł Pasteczka

In this paper we prove monotonicity of some ratios of $q$--Kummer confluent hypergeometric and $q$--hypergeometric functions. The results are also closely connected with Tur\'an type inequalities. In order to obtain main results we apply…

Classical Analysis and ODEs · Mathematics 2016-09-20 Khaled Mehrez , Sergei M. Sitnik
‹ Prev 1 8 9 10 Next ›