scholarly journals On Bar Recursion and Choice in a Classical Setting

Author(s):  
Valentin Blot ◽  
Colin Riba
Keyword(s):  
Author(s):  
Tomasz Adamowicz ◽  
María J. González

AbstractWe define Hardy spaces $${\mathcal {H}}^p$$ H p for quasiregular mappings in the plane, and show that for a particular class of these mappings many of the classical properties that hold in the classical setting of analytic mappings still hold. This particular class of quasiregular mappings can be characterised in terms of composition operators when the symbol is quasiconformal. Relations between Carleson measures and Hardy spaces play an important role in the discussion. This program was initiated and developed for Hardy spaces of quasiconformal mappings by Astala and Koskela in 2011 in their paper $${\mathcal {H}}^p$$ H p -theory for Quasiconformal Mappings (Pure Appl Math Q 7(1):19–50, 2011).


2021 ◽  
Vol 27 (3) ◽  
Author(s):  
Martin Schäfer ◽  
Tino Ullrich ◽  
Béatrice Vedel

AbstractIn this paper we introduce new function spaces which we call anisotropic hyperbolic Besov and Triebel-Lizorkin spaces. Their definition is based on a hyperbolic Littlewood-Paley analysis involving an anisotropy vector only occurring in the smoothness weights. Such spaces provide a general and natural setting in order to understand what kind of anisotropic smoothness can be described using hyperbolic wavelets (in the literature also sometimes called tensor-product wavelets), a wavelet class which hitherto has been mainly used to characterize spaces of dominating mixed smoothness. A centerpiece of our present work are characterizations of these new spaces based on the hyperbolic wavelet transform. Hereby we treat both, the standard approach using wavelet systems equipped with sufficient smoothness, decay, and vanishing moments, but also the very simple and basic hyperbolic Haar system. The second major question we pursue is the relationship between the novel hyperbolic spaces and the classical anisotropic Besov–Lizorkin-Triebel scales. As our results show, in general, both approaches to resolve an anisotropy do not coincide. However, in the Sobolev range this is the case, providing a link to apply the newly obtained hyperbolic wavelet characterizations to the classical setting. In particular, this allows for detecting classical anisotropies via the coefficients of a universal hyperbolic wavelet basis, without the need of adaption of the basis or a-priori knowledge on the anisotropy.


2020 ◽  
Vol 0 (0) ◽  
Author(s):  
Roland Duduchava

AbstractThe purpose of the present research is to investigate a general mixed type boundary value problem for the Laplace–Beltrami equation on a surface with the Lipschitz boundary 𝒞 in the non-classical setting when solutions are sought in the Bessel potential spaces \mathbb{H}^{s}_{p}(\mathcal{C}), \frac{1}{p}<s<1+\frac{1}{p}, 1<p<\infty. Fredholm criteria and unique solvability criteria are found. By the localization, the problem is reduced to the investigation of model Dirichlet, Neumann and mixed boundary value problems for the Laplace equation in a planar angular domain \Omega_{\alpha}\subset\mathbb{R}^{2} of magnitude 𝛼. The model mixed BVP is investigated in the earlier paper [R. Duduchava and M. Tsaava, Mixed boundary value problems for the Helmholtz equation in a model 2D angular domain, Georgian Math. J.27 (2020), 2, 211–231], and the model Dirichlet and Neumann boundary value problems are studied in the non-classical setting. The problems are investigated by the potential method and reduction to locally equivalent 2\times 2 systems of Mellin convolution equations with meromorphic kernels on the semi-infinite axes \mathbb{R}^{+} in the Bessel potential spaces. Such equations were recently studied by R. Duduchava [Mellin convolution operators in Bessel potential spaces with admissible meromorphic kernels, Mem. Differ. Equ. Math. Phys.60 (2013), 135–177] and V. Didenko and R. Duduchava [Mellin convolution operators in Bessel potential spaces, J. Math. Anal. Appl.443 (2016), 2, 707–731].


Author(s):  
James Hawthorne

Revising classical logic—to deal with the paradoxes of self-reference, or vague propositions, for the purposes of scientific theory or of metaphysical anti-realism—requires the revision of probability theory. This chapter reviews the connection between classical logic and classical probability, clarifies nonclassical logic, giving simple examples, explores modifications of probability theory, using formal analogies to the classical setting, and provides two foundational justifications for these ‘nonclassical probabilities’. There follows an examination of extensions of the nonclassical framework: to conditionalization and decision theory in particular, before a final review of open questions and alternative approaches, and an evaluation of current progress.


2020 ◽  
Vol 27 (2) ◽  
pp. 211-231
Author(s):  
Roland Duduchava ◽  
Medea Tsaava

AbstractThe purpose of the present research is to investigate model mixed boundary value problems (BVPs) for the Helmholtz equation in a planar angular domain {\Omega_{\alpha}\subset\mathbb{R}^{2}} of magnitude α. These problems are considered in a non-classical setting when a solution is sought in the Bessel potential spaces {\mathbb{H}^{s}_{p}(\Omega_{\alpha})}, {s>\frac{1}{p}}, {1<p<\infty}. The investigation is carried out using the potential method by reducing the problems to an equivalent boundary integral equation (BIE) in the Sobolev–Slobodečkii space on a semi-infinite axis {\mathbb{W}^{{s-1/p}}_{p}(\mathbb{R}^{+})}, which is of Mellin convolution type. Applying the recent results on Mellin convolution equations in the Bessel potential spaces obtained by V. Didenko and R. Duduchava [Mellin convolution operators in Bessel potential spaces, J. Math. Anal. Appl. 443 2016, 2, 707–731], explicit conditions of the unique solvability of this BIE in the Sobolev–Slobodečkii {\mathbb{W}^{r}_{p}(\mathbb{R}^{+})} and Bessel potential {\mathbb{H}^{r}_{p}(\mathbb{R}^{+})} spaces for arbitrary r are found and used to write explicit conditions for the Fredholm property and unique solvability of the initial model BVPs for the Helmholtz equation in the non-classical setting. The same problem was investigated in a previous paper [R. Duduchava and M. Tsaava, Mixed boundary value problems for the Helmholtz equation in arbitrary 2D-sectors, Georgian Math. J. 20 2013, 3, 439–467], but there were made fatal errors. In the present paper, we correct these results.


Fractals ◽  
2009 ◽  
Vol 17 (04) ◽  
pp. 523-535 ◽  
Author(s):  
KATHRYN E. HARE ◽  
DENGLIN ZHOU

In contrast to the classical situation, it is known that many Laplacian operators on fractals have gaps in their spectrum. This surprising fact means there can be no limit in the Weyl counting formula and it is a key ingredient in proving that the convergence of Fourier series on fractals can be better than in the classical setting. Recently, it was observed that the Laplacian on the Sierpinski gasket has the stronger property that there are intervals which contain no ratios of eigenvalues. In this paper we give general criteria for this phenomena and show that Laplacians on many interesting classes of fractals satisfy our criteria.


Author(s):  
Maciej Hułas

The paper argues that the original normativity that provides the basis for Habermas’s model of the public sphere remains untouched at its core, despite having undergone some corrective alterations since the time of its first unveiling in the 1960s. This normative core is derived from two individual claims, historically articulated in the eighteenth-century’s “golden age” of reason and liberty as both sacred and self-evident: (1) the individual right to an unrestrained disposal of one’s private property; and (2) the individual right to formulate one’s opinion in the course of public debate. Habermas perceives the public sphere anchored to these two fundamental freedoms/rights as an arena of interactive opinion exchange with the capacity to solidly and reliably generate sound reason and public rationality. Despite its historical and cultural attachments to the bourgeois culture as its classical setting, Habermas’s model of the public sphere, due to its universal normativity, maintains its unique character, even if it has been thoroughly reformulated by social theories that run contrary to his original vision of the lifeworld, organized and ruled by autonomous rational individuals.     


Author(s):  
Akinori Hosoyamada ◽  
Tetsu Iwata

Recent results on quantum cryptanalysis show that some symmetric key schemes can be broken in polynomial time even if they are proven to be secure in the classical setting. Liskov, Rivest, and Wagner showed that secure tweakable block ciphers can be constructed from secure block ciphers in the classical setting. However, Kaplan et al. showed that their scheme can be broken by polynomial time quantum superposition attacks, even if underlying block ciphers are quantum-secure. Since then, it remains open if there exists a mode of block ciphers to build quantum-secure tweakable block ciphers. This paper settles the problem in the reduction-based provable security paradigm. We show the first design of quantum-secure tweakable block ciphers based on quantum-secure block ciphers, and present a provable security bound. Our construction is simple, and when instantiated with a quantum-secure n-bit block cipher, it is secure against attacks that query arbitrary quantum superpositions of plaintexts and tweaks up to O(2n/6) quantum queries. Our security proofs use the compressed oracle technique introduced by Zhandry. More precisely, we use an alternative formalization of the technique introduced by Hosoyamada and Iwata.


Author(s):  
Amit Kumar Chauhan ◽  
Abhishek Kumar ◽  
Somitra Kumar Sanadhya

Recently, Hosoyamada and Sasaki (EUROCRYPT 2020), and Xiaoyang Dong et al. (ASIACRYPT 2020) proposed quantum collision attacks against AES-like hashing modes AES-MMO and AES-MP. Their collision attacks are based on the quantum version of the rebound attack technique exploiting the differential trails whose probabilities are too low to be useful in the classical setting but large enough in the quantum setting. In this work, we present dedicated quantum free-start collision attacks on Hirose’s double block length compression function instantiated with AES-256, namely HCF-AES-256. The best publicly known classical attack against HCF-AES-256 covers up to 9 out of 14 rounds. We present a new 10-round differential trail for HCF-AES-256 with probability 2−160, and use it to find collisions with a quantum version of the rebound attack. Our attack succeeds with a time complexity of 285.11 and requires 216 qRAM in the quantum-attack setting, where an attacker can make only classical queries to the oracle and perform offline computations. We also present a quantum free-start collision attack on HCF-AES-256 with a time complexity of 286.07 which outperforms Chailloux, Naya-Plasencia, and Schrottenloher’s generic quantum collision attack (ASIACRYPT 2017) in a model when large qRAM is not available.


Sign in / Sign up

Export Citation Format

Share Document