107 research outputs found
Inexact Model: A Framework for Optimization and Variational Inequalities
In this paper we propose a general algorithmic framework for first-order
methods in optimization in a broad sense, including minimization problems,
saddle-point problems and variational inequalities. This framework allows to
obtain many known methods as a special case, the list including accelerated
gradient method, composite optimization methods, level-set methods, proximal
methods. The idea of the framework is based on constructing an inexact model of
the main problem component, i.e. objective function in optimization or operator
in variational inequalities. Besides reproducing known results, our framework
allows to construct new methods, which we illustrate by constructing a
universal method for variational inequalities with composite structure. This
method works for smooth and non-smooth problems with optimal complexity without
a priori knowledge of the problem smoothness. We also generalize our framework
for strongly convex objectives and strongly monotone variational inequalities.Comment: 41 page
The Electron-Proton Bound State in the Continuum with the Positive Binding Energy of 1.531 of the Electron Mass
In the bound states in the continuum (BIC), the binding energy is positive, and the mass of a composite particle is greater than the total mass of its constituents. In this work, the BIC state is studied for the electron-proton system using the ladder Bethe-Salpeter equation. We demonstrate that there is a momentum space region in which the electromagnetic interaction between the particles is strongly enhanced, and the effective coupling constant is Ξ± p mp/me = 0.313, where Ξ± is the fine structure constant, and mp and me are the proton and the electron masses. This interaction resonance causes the confinement of the pair in the BIC state with the positive binding energy of 1.531me. The integral equation for the bispinor wave function is derived. This normalized wave function, which must be complex, was found numerically. It
turned out that in the BIC state, the average radius for the electron is 48 Fm, and that for the proton is 1.1 Fm. This composite boson can exist exclusively in the free state, in which its properties, such as its form factors, should only be studied. In bound states with other particles, the composite loses its individuality. In Stern-Gerlach experiments, the electron-proton composite boson will demonstrate the properties of a spin 1/2 fermion
Work Extraction and Landauer's Principle in a Quantum Spin Hall Device
Landauer's principle states that erasure of each bit of information in a
system requires at least a unit of energy to be dissipated. In
return, the blank bit may possibly be utilized to extract usable work of the
amount , in keeping with the second law of thermodynamics. While
in principle any collection of spins can be utilized as information storage,
work extraction by utilizing this resource in principle requires specialized
engines that are capable of using this resource. In this work, we focus on heat
and charge transport in a quantum spin Hall device in the presence of a spin
bath. We show how a properly initialized nuclear spin subsystem can be used as
a memory resource for a Maxwell's Demon to harvest available heat energy from
the reservoirs to induce charge current that can power an external electrical
load. We also show how to initialize the nuclear spin subsystem using applied
bias currents which necessarily dissipate energy, hence demonstrating
Landauer's principle. This provides an alternative method of "energy storage"
in an all-electrical device. We finally propose a realistic setup to
experimentally observe a Landauer erasure/work extraction cycle.Comment: Accepted for publication PRB, 9 pages, 4 figures, RevTe
Π‘ΠΎΠ²ΠΌΠ΅ΡΡΠ½ΠΎΠ΅ ΡΠΏΡΠ°Π²Π»Π΅Π½ΠΈΠ΅ ΡΠΈΠ³Π½Π°Π»Π°ΠΌΠΈ ΡΠ²Π΅ΡΠΎΡΠΎΡΠΎΠ² ΠΈ ΡΡΠ°Π΅ΠΊΡΠΎΡΠΈΡΠΌΠΈ Π΄Π²ΠΈΠΆΠ΅Π½ΠΈΡ ΡΡΠ°Π½ΡΠΏΠΎΡΡΠ½ΡΡ ΡΡΠ΅Π΄ΡΡΠ²
Π’ΡΠ°Π½ΡΠΏΠΎΡΡΠ½Π°Ρ ΡΠΈΡΡΠ΅ΠΌΠ° ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΎΠ΄Π½ΠΎΠΉ ΠΈΠ· Π²Π°ΠΆΠ½Π΅ΠΉΡΠΈΡ
ΡΠ°ΡΡΠ΅ΠΉ ΡΠΊΠΎΠ½ΠΎΠΌΠΈΠΊΠΈ ΡΡΡΠ°Π½Ρ. Π ΡΠΎ ΠΆΠ΅ Π²ΡΠ΅ΠΌΡ, ΡΠΎΡΡ ΠΈΠ½ΡΠ΅Π½ΡΠΈΠ²Π½ΠΎΡΡΠΈ ΡΡΠ°Π½ΡΠΏΠΎΡΡΠ½ΠΎΠ³ΠΎ ΠΏΠΎΡΠΎΠΊΠ° ΠΎΠΊΠ°Π·ΡΠ²Π°Π΅Ρ ΡΡΡΠ΅ΡΡΠ²Π΅Π½Π½ΠΎΠ΅ ΠΎΡΡΠΈΡΠ°ΡΠ΅Π»ΡΠ½ΠΎΠ΅ Π²Π»ΠΈΡΠ½ΠΈΠ΅ Π½Π° ΡΠΊΠΎΠ½ΠΎΠΌΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΏΠΎΠΊΠ°Π·Π°ΡΠ΅Π»ΠΈ ΠΎΡΡΠ°ΡΠ»ΠΈ. ΠΠ΄Π½ΠΈΠΌ ΠΈΠ· ΡΠΏΠΎΡΠΎΠ±ΠΎΠ² ΠΏΠΎΠ²ΡΡΠ΅Π½ΠΈΡ ΡΡΡΠ΅ΠΊΡΠΈΠ²Π½ΠΎΡΡΠΈ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°Π½ΠΈΡ ΡΡΠ°Π½ΡΠΏΠΎΡΡΠ½ΠΎΠΉ ΠΈΠ½ΡΡΠ°ΡΡΡΡΠΊΡΡΡΡ ΡΠ²Π»ΡΠ΅ΡΡΡ ΡΠΏΡΠ°Π²Π»Π΅Π½ΠΈΠ΅ ΡΡΠ°Π½ΡΠΏΠΎΡΡΠ½ΡΠΌΠΈ ΠΏΠΎΡΠΎΠΊΠ°ΠΌΠΈ. Π Π΅ΡΠ΅Π½ΠΈΠ΅ Π·Π°Π΄Π°ΡΠΈ ΡΡΡΠ΅ΠΊΡΠΈΠ²Π½ΠΎΠ³ΠΎ ΡΠΏΡΠ°Π²Π»Π΅Π½ΠΈΡ ΡΡΠ°Π½ΡΠΏΠΎΡΡΠ½ΡΠΌΠΈ ΠΏΠΎΡΠΎΠΊΠ°ΠΌΠΈ Π² Π½Π°ΡΡΠΎΡΡΠ΅Π΅ Π²ΡΠ΅ΠΌΡ ΡΠ°ΡΡΠΎ ΠΎΡΡΡΠ΅ΡΡΠ²Π»ΡΠ΅ΡΡΡ ΠΏΡΡΠ΅ΠΌ ΠΏΡΠΈΠΌΠ΅Π½Π΅Π½ΠΈΡ ΡΠΈΡΡΠ΅ΠΌ ΡΠΏΡΠ°Π²Π»Π΅Π½ΠΈΡ ΡΠΈΠ³Π½Π°Π»Π°ΠΌΠΈ ΡΠ²Π΅ΡΠΎΡΠΎΡΠΎΠ² Π½Π° ΡΠ΅Π³ΡΠ»ΠΈΡΡΠ΅ΠΌΡΡ
ΠΏΠ΅ΡΠ΅ΠΊΡΡΡΡΠΊΠ°Ρ
. Π ΡΠ²ΡΠ·ΠΈ Ρ ΡΠ°Π·Π²ΠΈΡΠΈΠ΅ΠΌ ΠΈ ΠΏΠΎΡΡΠ΅ΠΏΠ΅Π½Π½ΡΠΌ Π²Π½Π΅Π΄ΡΠ΅Π½ΠΈΠ΅ΠΌ ΡΠ°ΠΌΠΎΠΎΡΠ³Π°Π½ΠΈΠ·ΡΡΡΠΈΡ
ΡΡ Π°Π²ΡΠΎΠΌΠΎΠ±ΠΈΠ»ΡΠ½ΡΡ
ΡΠ΅ΡΠ΅ΠΉ, ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡΡΠΈΡ
ΠΎΠ±ΠΌΠ΅Π½ΠΈΠ²Π°ΡΡΡΡ ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠ΅ΠΉ ΠΌΠ΅ΠΆΠ΄Ρ ΡΡΠ°Π½ΡΠΏΠΎΡΡΠ½ΡΠΌΠΈ ΡΡΠ΅Π΄ΡΡΠ²Π°ΠΌΠΈ ΠΈ ΠΎΠ±ΡΠ΅ΠΊΡΠ°ΠΌΠΈ ΠΈΠ½ΡΡΠ°ΡΡΡΡΠΊΡΡΡΡ, Π° ΡΠ°ΠΊΠΆΠ΅ ΡΠ°Π·Π²ΠΈΡΠΈΠ΅ΠΌ Π°Π²ΡΠΎΠ½ΠΎΠΌΠ½ΡΡ
ΡΡΠ°Π½ΡΠΏΠΎΡΡΠ½ΡΡ
ΡΡΠ΅Π΄ΡΡΠ² Π΄ΡΡΠ³ΠΈΠΌ ΠΏΠ΅ΡΡΠΏΠ΅ΠΊΡΠΈΠ²Π½ΡΠΌ ΠΏΠΎΠ΄Ρ
ΠΎΠ΄ΠΎΠΌ ΠΊ ΡΠ΅ΡΠ΅Π½ΠΈΡ ΡΠ°ΡΡΠΌΠ°ΡΡΠΈΠ²Π°Π΅ΠΌΠΎΠΉ Π·Π°Π΄Π°ΡΠΈ ΡΠ²Π»ΡΠ΅ΡΡΡ ΡΠΏΡΠ°Π²Π»Π΅Π½ΠΈΠ΅ ΡΡΠ°Π΅ΠΊΡΠΎΡΠΈΠ΅ΠΉ Π΄Π²ΠΈΠΆΠ΅Π½ΠΈΡ Π±Π΅ΡΠΏΠΈΠ»ΠΎΡΠ½ΡΡ
ΡΡΠ°Π½ΡΠΏΠΎΡΡΠ½ΡΡ
ΡΡΠ΅Π΄ΡΡΠ². ΠΠ°ΠΊ ΡΠ»Π΅Π΄ΡΡΠ²ΠΈΠ΅, ΡΡΠ°Π½ΠΎΠ²ΠΈΡΡΡ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΠΉ ΠΏΠΎΡΡΠ°Π½ΠΎΠ²ΠΊΠ° Π·Π°Π΄Π°ΡΠΈ ΡΠΎΠ²ΠΌΠ΅ΡΡΠ½ΠΎΠ³ΠΎ ΡΠΏΡΠ°Π²Π»Π΅Π½ΠΈΡ ΡΡΠ°Π΅ΠΊΡΠΎΡΠΈΡΠΌΠΈ Π΄Π²ΠΈΠΆΠ΅Π½ΠΈΡ ΡΡΠ°Π½ΡΠΏΠΎΡΡΠ½ΡΡ
ΡΡΠ΅Π΄ΡΡΠ² ΠΈ ΡΠΈΠ³Π½Π°Π»Π°ΠΌΠΈ ΡΠ²Π΅ΡΠΎΡΠΎΡΠΎΠ² Π΄Π»Ρ ΠΏΠΎΠ²ΡΡΠ΅Π½ΠΈΡ ΠΏΡΠΎΠΏΡΡΠΊΠ½ΠΎΠΉ ΡΠΏΠΎΡΠΎΠ±Π½ΠΎΡΡΠΈ ΠΏΠ΅ΡΠ΅ΠΊΡΠ΅ΡΡΠΊΠΎΠ², ΡΠ½ΠΈΠΆΠ΅Π½ΠΈΡ ΠΏΠΎΡΡΠ΅Π±Π»ΡΠ΅ΠΌΠΎΠ³ΠΎ ΡΠΎΠΏΠ»ΠΈΠ²Π° ΠΈ Π²ΡΠ΅ΠΌΠ΅Π½ΠΈ Π΄Π²ΠΈΠΆΠ΅Π½ΠΈΡ. Π Π΄Π°Π½Π½ΠΎΠΉ ΡΠ°Π±ΠΎΡΠ΅ ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»Π΅Π½ ΠΌΠ΅ΡΠΎΠ΄ ΡΠΏΡΠ°Π²Π»Π΅Π½ΠΈΡ ΡΡΠ°Π½ΡΠΏΠΎΡΡΠ½ΡΠΌ ΠΏΠΎΡΠΎΠΊΠΎΠΌ Π½Π° ΠΏΠ΅ΡΠ΅ΠΊΡΠ΅ΡΡΠΊΠ΅, Π·Π°ΠΊΠ»ΡΡΠ°ΡΡΠΈΠΉΡΡ Π² ΡΠΎΠ²ΠΌΠ΅ΡΡΠ½ΠΎΠΌ ΡΠΏΡΠ°Π²Π»Π΅Π½ΠΈΠΈ ΡΠΈΠ³Π½Π°Π»Π°ΠΌΠΈ ΡΠ²Π΅ΡΠΎΡΠΎΡΠΎΠ² ΠΈ ΡΡΠ°Π΅ΠΊΡΠΎΡΠΈΡΠΌΠΈ Π΄Π²ΠΈΠΆΠ΅Π½ΠΈΡ ΠΏΠΎΠ΄ΠΊΠ»ΡΡΠ΅Π½Π½ΡΡ
/Π°Π²ΡΠΎΠ½ΠΎΠΌΠ½ΡΡ
ΡΡΠ°Π½ΡΠΏΠΎΡΡΠ½ΡΡ
ΡΡΠ΅Π΄ΡΡΠ². Π Π°Π·ΡΠ°Π±ΠΎΡΠ°Π½Π½ΡΠΉ ΠΌΠ΅ΡΠΎΠ΄ ΡΠΎΡΠ΅ΡΠ°Π΅Ρ ΠΌΠ΅ΡΠΎΠ΄ Π°Π΄Π°ΠΏΡΠΈΠ²Π½ΠΎΠ³ΠΎ ΡΠΏΡΠ°Π²Π»Π΅Π½ΠΈΡ ΡΠΈΠ³Π½Π°Π»Π°ΠΌΠΈ ΡΠ²Π΅ΡΠΎΡΠΎΡΠΎΠ², ΠΎΡΠ½ΠΎΠ²Π°Π½Π½ΡΠΉ Π½Π° Π΄Π΅ΡΠ΅ΡΠΌΠΈΠ½ΠΈΡΠΎΠ²Π°Π½Π½ΠΎΠΉ ΠΌΠΎΠ΄Π΅Π»ΠΈ ΠΏΡΠΎΠ³Π½ΠΎΠ·ΠΈΡΠΎΠ²Π°Π½ΠΈΡ Π΄Π²ΠΈΠΆΠ΅Π½ΠΈΡ ΡΡΠ°Π½ΡΠΏΠΎΡΡΠ½ΡΡ
ΡΡΠ΅Π΄ΡΡΠ², ΠΈ Π΄Π²ΡΡ
ΡΡΠ°ΠΏΠ½ΡΠΉ Π°Π»Π³ΠΎΡΠΈΡΠΌ ΠΏΠΎΡΡΡΠΎΠ΅Π½ΠΈΡ ΡΡΠ°Π΅ΠΊΡΠΎΡΠΈΠΈ Π΄Π²ΠΈΠΆΠ΅Π½ΠΈΡ ΡΡΠ°Π½ΡΠΏΠΎΡΡΠ½ΡΡ
ΡΡΠ΅Π΄ΡΡΠ². Π¦Π΅Π»Π΅Π²Π°Ρ ΡΡΠ½ΠΊΡΠΈΡ ΠΎΠΏΡΠΈΠΌΠΈΠ·Π°ΡΠΈΠΈ, ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΠ΅ΠΌΠ°Ρ Π΄Π»Ρ ΠΏΠΎΡΡΡΠΎΠ΅Π½ΠΈΡ ΠΎΠΏΡΠΈΠΌΠ°Π»ΡΠ½ΡΡ
ΡΡΠ°Π΅ΠΊΡΠΎΡΠΈΠΉ, ΡΡΠΈΡΡΠ²Π°Π΅Ρ ΡΠ°ΡΡ
ΠΎΠ΄ ΡΠΎΠΏΠ»ΠΈΠ²Π°, Π²ΡΠ΅ΠΌΡ Π΄Π²ΠΈΠΆΠ΅Π½ΠΈΡ ΠΏΠΎ Π΄ΠΎΡΠΎΠΆΠ½ΠΎΠΉ ΠΏΠΎΠ»ΠΎΡΠ΅ ΠΈ Π²ΡΠ΅ΠΌΡ ΠΎΠΆΠΈΠ΄Π°Π½ΠΈΡ Π½Π° ΠΏΠ΅ΡΠ΅ΠΊΡΠ΅ΡΡΠΊΠ΅. ΠΠΊΡΠΏΠ΅ΡΠΈΠΌΠ΅Π½ΡΠ°Π»ΡΠ½ΡΠ΅ ΠΈΡΡΠ»Π΅Π΄ΠΎΠ²Π°Π½ΠΈΡ ΡΠ°Π·ΡΠ°Π±ΠΎΡΠ°Π½Π½ΠΎΠ³ΠΎ ΠΌΠ΅ΡΠΎΠ΄Π° ΠΏΡΠΎΠ²Π΅Π΄Π΅Π½Ρ Π² ΡΠΈΡΡΠ΅ΠΌΠ΅ ΠΌΠΈΠΊΡΠΎΡΠΊΠΎΠΏΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΠΌΠΎΠ΄Π΅Π»ΠΈΡΠΎΠ²Π°Π½ΠΈΡ Π΄Π²ΠΈΠΆΠ΅Π½ΠΈΡ ΡΡΠ°Π½ΡΠΏΠΎΡΡΠ½ΡΡ
ΡΡΠ΅Π΄ΡΡΠ² SUMO Ρ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°Π½ΠΈΠ΅ΠΌ ΡΡΠ΅Ρ
ΡΡΠ΅Π½Π°ΡΠΈΠ΅Π² ΠΌΠΎΠ΄Π΅Π»ΠΈΡΠΎΠ²Π°Π½ΠΈΡ, Π²ΠΊΠ»ΡΡΠ°ΡΡΠΈΡ
ΡΠΈΠ½ΡΠ΅ΡΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΡΡΠ΅Π½Π°ΡΠΈΠΈ ΠΈ ΡΡΠ΅Π½Π°ΡΠΈΠΉ Π΄Π²ΠΈΠΆΠ΅Π½ΠΈΡ Π² ΡΠ΅Π°Π»ΡΠ½ΠΎΠΉ Π³ΠΎΡΠΎΠ΄ΡΠΊΠΎΠΉ ΡΡΠ΅Π΄Π΅. Π Π΅Π·ΡΠ»ΡΡΠ°ΡΡ ΡΠΊΡΠΏΠ΅ΡΠΈΠΌΠ΅Π½ΡΠ°Π»ΡΠ½ΡΡ
ΠΈΡΡΠ»Π΅Π΄ΠΎΠ²Π°Π½ΠΈΠΉ ΠΏΠΎΠ΄ΡΠ²Π΅ΡΠΆΠ΄Π°ΡΡ ΡΡΡΠ΅ΠΊΡΠΈΠ²Π½ΠΎΡΡΡ ΡΠ°Π·ΡΠ°Π±ΠΎΡΠ°Π½Π½ΠΎΠ³ΠΎ ΠΌΠ΅ΡΠΎΠ΄Π° ΠΏΠΎ ΠΊΡΠΈΡΠ΅ΡΠΈΡΠΌ ΠΏΠΎΡΡΠ΅Π±Π»Π΅Π½ΠΈΡ ΡΠΎΠΏΠ»ΠΈΠ²Π°, Π²ΡΠ΅ΠΌΠ΅Π½ΠΈ Π΄Π²ΠΈΠΆΠ΅Π½ΠΈΡ ΠΈ Π²ΡΠ΅ΠΌΠ΅Π½ΠΈ ΠΎΠΆΠΈΠ΄Π°Π½ΠΈΡ ΠΏΠΎ ΡΡΠ°Π²Π½Π΅Π½ΠΈΡ Ρ ΠΌΠ΅ΡΠΎΠ΄ΠΎΠΌ Π°Π΄Π°ΠΏΡΠΈΠ²Π½ΠΎΠ³ΠΎ ΡΠΏΡΠ°Π²Π»Π΅Π½ΠΈΡ ΡΠΈΠ³Π½Π°Π»Π°ΠΌΠΈ ΡΠ²Π΅ΡΠΎΡΠΎΡΠΎΠ²
Inexact model: A framework for optimization and variational inequalities
In this paper we propose a general algorithmic framework for first-order methods in optimization in a broad sense, including minimization problems, saddle-point problems and variational inequalities. This framework allows to obtain many known methods as a special case, the list including accelerated gradient method, composite optimization methods, level-set methods, proximal methods. The idea of the framework is based on constructing an inexact model of the main problem component, i.e. objective function in optimization or operator in variational inequalities. Besides reproducing known results, our framework allows to construct new methods, which we illustrate by constructing a universal method for variational inequalities with composite structure. This method works for smooth and non-smooth problems with optimal complexity without a priori knowledge of the problem smoothness. We also generalize our framework for strongly convex objectives and strongly monotone variational inequalities
Inexact relative smoothness and strong convexity for optimization and variational inequalities by inexact model
In this paper we propose a general algorithmic framework for first-order methods in optimization in a broad sense, including minimization problems, saddle-point problems and variational inequalities. This framework allows to obtain many known methods as a special case, the list including accelerated gradient method, composite optimization methods, level-set methods, Bregman proximal methods. The idea of the framework is based on constructing an inexact model of the main problem component, i.e. objective function in optimization or operator in variational inequalities. Besides reproducing known results, our framework allows to construct new methods, which we illustrate by constructing a universal conditional gradient method and universal method for variational inequalities with composite structure. These method works for smooth and non-smooth problems with optimal complexity without a priori knowledge of the problem smoothness. As a particular case of our general framework, we introduce relative smoothness for operators and propose an algorithm for VIs with such operator. We also generalize our framework for relatively strongly convex objectives and strongly monotone variational inequalities
Recommended from our members
Inexact relative smoothness and strong convexity for optimization and variational inequalities by inexact model
In this paper we propose a general algorithmic framework for first-order methods in optimization in a broad sense, including minimization problems, saddle-point problems and variational inequalities. This framework allows to obtain many known methods as a special case, the list including accelerated gradient method, composite optimization methods, level-set methods, Bregman proximal methods. The idea of the framework is based on constructing an inexact model of the main problem component, i.e. objective function in optimization or operator in variational inequalities. Besides reproducing known results, our framework allows to construct new methods, which we illustrate by constructing a universal conditional gradient method and universal method for variational inequalities with composite structure. These method works for smooth and non-smooth problems with optimal complexity without a priori knowledge of the problem smoothness. As a particular case of our general framework, we introduce relative smoothness for operators and propose an algorithm for VIs with such operator. We also generalize our framework for relatively strongly convex objectives and strongly monotone variational inequalities
- β¦