Showing 1–8 of 8 results for author: Friedman, H M

When Bi-interpretability implies Synonymy

Authors: Harvey M. Friedman, Albert Visser

Abstract: Two salient notions of sameness of theories are synonymy, also known as definitional equivalence, and bi-interpretability. Of these two definitional equivalence is the strictest notion. In which cases can we infer synonymy from bi-interpretability? We study this question for the case of sequential theories. Our result is as follows. Suppose that two sequential theories are bi-interpretable and tha… ▽ More Two salient notions of sameness of theories are synonymy, also known as definitional equivalence, and bi-interpretability. Of these two definitional equivalence is the strictest notion. In which cases can we infer synonymy from bi-interpretability? We study this question for the case of sequential theories. Our result is as follows. Suppose that two sequential theories are bi-interpretable and that the interpretations involved in the bi-interpretation are one-dimensional and identity preserving. Then, the theories are synonymous. The crucial ingredient of our proof is a version of the Schröder-Bernstein theorem under very weak conditions. We think this last result has some independent interest. We provide an example to show that this result is optimal. There are two finitely axiomatized sequential theories that are bi-interpretable but not synonymous, where precisely one of the interpretations involved in the bi-interpretation is not identity preserving. △ Less

Submitted 1 June, 2025; originally announced June 2025.

Comments: This preprint is an improved version of an earlier preprint that came out in Logic Group Preprint Series nr 320, 2014, of Utrecht University

MSC Class: 03A05; 03B30; 03F25

Thermodynamic uncertainty relation in atomic-scale quantum conductors

Authors: Hava Meira Friedman, Bijay Kumar Agarwalla, Ofir Shein-Lumbroso, Oren Tal, Dvira Segal

Abstract: The thermodynamic uncertainty relation (TUR) is expected to hold in nanoscale electronic conductors, when the electron transport process is quantum coherent and the transmission probability is constant (energy and voltage independent). We present measurements of the electron current and its noise in gold atomic-scale junctions and confirm the validity of the TUR for electron transport in realistic… ▽ More The thermodynamic uncertainty relation (TUR) is expected to hold in nanoscale electronic conductors, when the electron transport process is quantum coherent and the transmission probability is constant (energy and voltage independent). We present measurements of the electron current and its noise in gold atomic-scale junctions and confirm the validity of the TUR for electron transport in realistic quantum coherent conductors. Furthermore, we show that it is beneficial to present the current and its noise as a TUR ratio in order to identify deviations from noninteracting-electron coherent dynamics. △ Less

Submitted 1 February, 2020; originally announced February 2020.

Comments: 9 pages, 5 figures

Journal ref: Phys. Rev. B 101, 195423 (2020)

Cooling condition for multilevel quantum absorption refrigerators

Authors: Hava Meira Friedman, Dvira Segal

Abstract: Models for quantum absorption refrigerators serve as test beds for exploring concepts and developing methods in quantum thermodynamics. Here, we depart from the minimal, ideal design and consider a generic multilevel model for a quantum absorption refrigerator, which potentially suffers from lossy processes. Based on a full-counting statistics approach, we derive a formal cooling condition for the… ▽ More Models for quantum absorption refrigerators serve as test beds for exploring concepts and developing methods in quantum thermodynamics. Here, we depart from the minimal, ideal design and consider a generic multilevel model for a quantum absorption refrigerator, which potentially suffers from lossy processes. Based on a full-counting statistics approach, we derive a formal cooling condition for the refrigerator, which can be feasibly evaluated analytically and numerically. We exemplify our approach on a three-level model for a quantum absorption refrigerator that suffers from different forms of non-ideality (heat leakage, competition between different cooling pathways), and examine the cooling current with different designs. This study assists in identifying the cooling window of imperfect thermal machines. △ Less

Submitted 20 September, 2019; originally announced September 2019.

Comments: 12 pages, 4 figures, 2 appendices

Journal ref: Phys. Rev. E 100, 062112 (2019)

Quantum energy exchange and refrigeration: A full-counting statistics approach

Authors: Hava Meira Friedman, Bijay Kumar Agarwalla, Dvira Segal

Abstract: We formulate a full-counting statistics description to study energy exchange in multi-terminal junctions. Our approach applies to quantum systems that are coupled either additively or non-additively (cooperatively) to multiple reservoirs. We derive a Markovian Redfield-type equation for the counting-field dependent reduced density operator. Under the secular approximation, we confirm that the cumu… ▽ More We formulate a full-counting statistics description to study energy exchange in multi-terminal junctions. Our approach applies to quantum systems that are coupled either additively or non-additively (cooperatively) to multiple reservoirs. We derive a Markovian Redfield-type equation for the counting-field dependent reduced density operator. Under the secular approximation, we confirm that the cumulant generating function satisfies the heat exchange fluctuation theorem. Our treatment thus respects the second law of thermodynamics. We exemplify our formalism on a multi-terminal two-level quantum system, and apply it to realize the smallest quantum absorption refrigerator, operating through engineered reservoirs, and achievable only through a cooperative bath interaction model. △ Less

Submitted 23 July, 2018; v1 submitted 1 February, 2018; originally announced February 2018.

Effects of vibrational anharmonicity on molecular electronic conduction and thermoelectric efficiency

Authors: Hava Meira Friedman, Bijay Kumar Agarwalla, Dvira Segal

Abstract: We study inelastic vibration-assisted charge transfer effects in two-site molecular junctions, focusing on signatures of vibrational anharmonicity on the electrical characteristics and the thermoelectric response of the junction. We consider three types of oscillators: harmonic, anharmonic-Morse allowing bond dissociation, and harmonic-quartic, mimicking a confinement potential. Using a quantum ma… ▽ More We study inelastic vibration-assisted charge transfer effects in two-site molecular junctions, focusing on signatures of vibrational anharmonicity on the electrical characteristics and the thermoelectric response of the junction. We consider three types of oscillators: harmonic, anharmonic-Morse allowing bond dissociation, and harmonic-quartic, mimicking a confinement potential. Using a quantum master equation method which is perturbative in the electron-vibration interaction we find that the (inelastic) electrical and thermal conductances can be largely affected by the nature of the vibrational potential. In contrast, the Seebeck coefficient, the thermoelectric figure-of-merit, and the thermoelectric efficiency beyond linear response, conceal this information, showing a rather weak sensitivity to vibrational anharmonicity. Our work illustrates that anharmonic (many-body) effects, consequential to the current-voltage characteristics, are of little effect for the thermoelectric performance. △ Less

Submitted 9 May, 2016; originally announced May 2016.

Journal ref: J. Chem. Phys. 146, 092303 (2017)

Integration on the Surreals: a Conjecture of Conway, Kruskal and Norton

Authors: Ovidiu Costin, Philip Ehrlich, Harvey M. Friedman

Abstract: In his monograph On Numbers and Games, J. H. Conway introduced a real-closed field No of surreal numbers containing the reals and the ordinals, as well as a vast array of less familiar numbers. A longstanding aim has been to develop analysis on No as a powerful extension of ordinary analysis on the reals. This entails finding a natural way of extending important functions f from the reals to the r… ▽ More In his monograph On Numbers and Games, J. H. Conway introduced a real-closed field No of surreal numbers containing the reals and the ordinals, as well as a vast array of less familiar numbers. A longstanding aim has been to develop analysis on No as a powerful extension of ordinary analysis on the reals. This entails finding a natural way of extending important functions f from the reals to the reals to functions f* from the surreals to the surreals, and naturally defining integration on the f*. The usual square root, log, and exp were naturally extended to No by Bach, Conway, Kruskal, and Norton, retaining their usual properties. Later Norton also proposed a treatment of integration, but Kruskal discovered it has flaws. In his recent survey [2, p. 438], Siegel characterizes the question of the existence of a reasonable definition of surreal integration as "perhaps the most important open problem in the theory of surreal numbers." This paper addresses this and related unresolved issues with positive and negative results. In the positive direction, we show that semi-algebraic, semi-analytic, analytic, meromorphic, or more generally Écalle-Borel transseriable functions extend naturally to No, and an integral with good properties exists on them. In the negative direction, we show there is a fundamental set-theoretic obstruction to naturally extending many larger families of functions. △ Less

Submitted 24 August, 2015; v1 submitted 10 May, 2015; originally announced May 2015.

Foundational aspects of singular integrals

Authors: Ovidiu Costin, Harvey M. Friedman

Abstract: We investigate integration of classes of real-valued continuous functions on (0,1]. Of course difficulties arise if there is a non-$L^1$ element in the class, and the Hadamard finite part integral ({\em p.f.}) does not apply. Such singular integrals arise naturally in many contexts including PDEs and singular ODEs. The Lebesgue integral as well as $p.f.$, starting at zero, obey two fundamental c… ▽ More We investigate integration of classes of real-valued continuous functions on (0,1]. Of course difficulties arise if there is a non-$L^1$ element in the class, and the Hadamard finite part integral ({\em p.f.}) does not apply. Such singular integrals arise naturally in many contexts including PDEs and singular ODEs. The Lebesgue integral as well as $p.f.$, starting at zero, obey two fundamental conditions: (i) they act as antiderivatives and, (ii) if $f =g$ on $(0,a)$, then their integrals from $0$ to $x$ coincide for any $x\in (0,a)$. We find that integrals from zero with the essential properties of $p.f.$, plus positivity, exist by virtue of the Axiom of Choice (AC) on all functions on $(0,1]$ which are $L^1((ε,1])$ for all $ε>0$. However, this existence proof does not provide a satisfactory construction. Without some regularity at $0$, the existence of general antiderivatives which satisfy only (i) and (ii) above on classes with a non-$L^1$ element is independent of ZF (the usual ZFC axioms for mathematics without AC), and even of ZFDC (ZF with the Axiom of Dependent Choice). Moreover we show that there is no mathematical description that can be proved (within ZFC or even extensions of ZFC with large cardinal hypotheses) to uniquely define such an antiderivative operator. Such results are precisely formulated for a variety of sets of functions, and proved using methods from mathematical logic, descriptive set theory and analysis. We also analyze $p.f.$ on analytic functions in the punctured unit disk, and make the connection to singular initial value problems. △ Less

Submitted 19 August, 2014; v1 submitted 27 January, 2014; originally announced January 2014.

MSC Class: 26A42; 32A55; 03E15; 03E25; 03E35

Finite functions and the necessary use of large cardinals

Authors: Harvey M. Friedman

Abstract: We present a coherent collection of finite mathematical theorems some of which can only be proved by going well beyond the usual axioms for mathematics. The proofs of these theorems illustrate in clear terms how one uses the well studied higher infinities of abstract set theory called large cardinals in an essential way in order to derive results in the context of the natural numbers. The findin… ▽ More We present a coherent collection of finite mathematical theorems some of which can only be proved by going well beyond the usual axioms for mathematics. The proofs of these theorems illustrate in clear terms how one uses the well studied higher infinities of abstract set theory called large cardinals in an essential way in order to derive results in the context of the natural numbers. The findings raise the specific issue of what consitutes a valid mathematical proof and the general issue of objectivity in mathematics in a down to earth way. Large cardinal axioms, which go beyond the usual axioms for mathematics, have been commonly used in abstract set theory since the 1960's. We believe that the results reported on here are the early stages of an evolutionary process in which new axioms for mathematics will be commonly used in an essential way in the more concrete parts of mathematics. △ Less

Submitted 31 October, 1998; originally announced November 1998.

Comments: 91 pages, published version

Report number: Annals migration 4-2001

Journal ref: Ann. of Math. (2) 148 (1998), no. 3, 803-893