Showing 1–50 of 151 results for author: Fedotov, A

An analytical formula for signal optimization in stimulated photon-photon scattering setup with three laser pulses

Authors: A. V. Berezin, A. M. Fedotov

Abstract: We consider a setup to detect stimulated photon-photon scattering using high-power lasers. Signal photons are emitted from an overlap of the incoming intense laser pulses focused in vacuum from three sides. We derive and justify a general approximate analytical formula for the angular distribution and total yield of such signal photons in terms of the parameters of the incoming pulses, including t… ▽ More We consider a setup to detect stimulated photon-photon scattering using high-power lasers. Signal photons are emitted from an overlap of the incoming intense laser pulses focused in vacuum from three sides. We derive and justify a general approximate analytical formula for the angular distribution and total yield of such signal photons in terms of the parameters of the incoming pulses, including their intensity, carrier frequencies, durations, focusing, polarizations, mutual orientation and overlap. Using the obtained formula a parametric study of the signal is carried out and optimization is performed. △ Less

Submitted 30 April, 2024; originally announced May 2024.

Comments: 14 pages, 9 figures

Python Fuzzing for Trustworthy Machine Learning Frameworks

Authors: Ilya Yegorov, Eli Kobrin, Darya Parygina, Alexey Vishnyakov, Andrey Fedotov

Abstract: Ensuring the security and reliability of machine learning frameworks is crucial for building trustworthy AI-based systems. Fuzzing, a popular technique in secure software development lifecycle (SSDLC), can be used to develop secure and robust software. Popular machine learning frameworks such as PyTorch and TensorFlow are complex and written in multiple programming languages including C/C++ and Py… ▽ More Ensuring the security and reliability of machine learning frameworks is crucial for building trustworthy AI-based systems. Fuzzing, a popular technique in secure software development lifecycle (SSDLC), can be used to develop secure and robust software. Popular machine learning frameworks such as PyTorch and TensorFlow are complex and written in multiple programming languages including C/C++ and Python. We propose a dynamic analysis pipeline for Python projects using the Sydr-Fuzz toolset. Our pipeline includes fuzzing, corpus minimization, crash triaging, and coverage collection. Crash triaging and severity estimation are important steps to ensure that the most critical vulnerabilities are addressed promptly. Furthermore, the proposed pipeline is integrated in GitLab CI. To identify the most vulnerable parts of the machine learning frameworks, we analyze their potential attack surfaces and develop fuzz targets for PyTorch, TensorFlow, and related projects such as h5py. Applying our dynamic analysis pipeline to these targets, we were able to discover 3 new bugs and propose fixes for them. △ Less

Submitted 19 March, 2024; originally announced March 2024.

Journal ref: Zapiski Nauchnykh Seminarov Sankt-Peterburgskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Rossiiskoi Akademii Nauk 530 (2023) 38-50

Measurement of groomed event shape observables in deep-inelastic electron-proton scattering at HERA

Authors: The H1 collaboration, V. Andreev, M. Arratia, A. Baghdasaryan, A. Baty, K. Begzsuren, A. Bolz, V. Boudry, G. Brandt, D. Britzger, A. Buniatyan, L. Bystritskaya, A. J. Campbell, K. B. Cantun Avila, K. Cerny, V. Chekelian, Z. Chen, J. G. Contreras, J. Cvach, J. B. Dainton, K. Daum, A. Deshpande, C. Diaconu, A. Drees, G. Eckerlin , et al. (123 additional authors not shown)

Abstract: The H1 Collaboration at HERA reports the first measurement of groomed event shape observables in deep inelastic electron-proton scattering (DIS) at $\sqrt{s}=319$ GeV, using data recorded between the years 2003 and 2007 with an integrated luminosity of $351$ pb$^{-1}$. Event shapes provide incisive probes of perturbative and non-perturbative QCD. Grooming techniques have been used for jet measurem… ▽ More The H1 Collaboration at HERA reports the first measurement of groomed event shape observables in deep inelastic electron-proton scattering (DIS) at $\sqrt{s}=319$ GeV, using data recorded between the years 2003 and 2007 with an integrated luminosity of $351$ pb$^{-1}$. Event shapes provide incisive probes of perturbative and non-perturbative QCD. Grooming techniques have been used for jet measurements in hadronic collisions; this paper presents the first application of grooming to DIS data. The analysis is carried out in the Breit frame, utilizing the novel Centauro jet clustering algorithm that is designed for DIS event topologies. Events are required to have squared momentum-transfer $Q^2 > 150$ GeV$^2$ and inelasticity $ 0.2 < y < 0.7$. We report measurements of the production cross section of groomed event 1-jettiness and groomed invariant mass for several choices of grooming parameter. Monte Carlo model calculations and analytic calculations based on Soft Collinear Effective Theory are compared to the measurements. △ Less

Submitted 15 March, 2024; originally announced March 2024.

Comments: 32 pages, 17 tables, 7 figures, submitted to EPJ C

Report number: DESY-24-036

Measurement of the 1-jettiness event shape observable in deep-inelastic electron-proton scattering at HERA

Authors: The H1 collaboration, V. Andreev, M. Arratia, A. Baghdasaryan, A. Baty, K. Begzsuren, A. Bolz, V. Boudry, G. Brandt, D. Britzger, A. Buniatyan, L. Bystritskaya, A. J. Campbell, K. B. Cantun Avila, K. Cerny, V. Chekelian, Z. Chen, J. G. Contreras, J. Cvach, J. B. Dainton, K. Daum, A. Deshpande, C. Diaconu, A. Drees, G. Eckerlin , et al. (124 additional authors not shown)

Abstract: The H1 Collaboration reports the first measurement of the 1-jettiness event shape observable $τ_1^b$ in neutral-current deep-inelastic electron-proton scattering (DIS). The observable $τ_1^b$ is equivalent to a thrust observable defined in the Breit frame. The data sample was collected at the HERA $ep$ collider in the years 2003-2007 with center-of-mass energy of $\sqrt{s}=319\,\text{GeV}$, corres… ▽ More The H1 Collaboration reports the first measurement of the 1-jettiness event shape observable $τ_1^b$ in neutral-current deep-inelastic electron-proton scattering (DIS). The observable $τ_1^b$ is equivalent to a thrust observable defined in the Breit frame. The data sample was collected at the HERA $ep$ collider in the years 2003-2007 with center-of-mass energy of $\sqrt{s}=319\,\text{GeV}$, corresponding to an integrated luminosity of $351.1\,\text{pb}^{-1}$. Triple differential cross sections are provided as a function of $τ_1^b$, event virtuality $Q^2$, and inelasticity $y$, in the kinematic region $Q^2>150\,\text{GeV}^{2}$. Single differential cross section are provided as a function of $τ_1^b$ in a limited kinematic range. Double differential cross sections are measured, in contrast, integrated over $τ_1^b$ and represent the inclusive neutral-current DIS cross section measured as a function of $Q^2$ and $y$. The data are compared to a variety of predictions and include classical and modern Monte Carlo event generators, predictions in fixed-order perturbative QCD where calculations up to $\mathcal{O}(α_s^3)$ are available for $τ_1^b$ or inclusive DIS, and resummed predictions at next-to-leading logarithmic accuracy matched to fixed order predictions at $\mathcal{O}(α_s^2)$. These comparisons reveal sensitivity of the 1-jettiness observable to QCD parton shower and resummation effects, as well as the modeling of hadronization and fragmentation. Within their range of validity, the fixed-order predictions provide a good description of the data. Monte Carlo event generators are predictive over the full measured range and hence their underlying models and parameters can be constrained by comparing to the presented data. △ Less

Submitted 15 March, 2024; originally announced March 2024.

Comments: 45 pages, 38 tables, 13 figures

Report number: DESY-24-035

Observation and differential cross section measurement of neutral current DIS events with an empty hemisphere in the Breit frame

Authors: The H1 collaboration, V. Andreev, M. Arratia, A. Baghdasaryan, A. Baty, K. Begzsuren, A. Bolz, V. Boudry, G. Brandt, D. Britzger, A. Buniatyan, L. Bystritskaya, A. J. Campbell, K. B. Cantun Avila, K. Cerny, V. Chekelian, Z. Chen, J. G. Contreras, J. Cvach, J. B. Dainton, K. Daum, A. Deshpande, C. Diaconu, A. Drees, G. Eckerlin , et al. (124 additional authors not shown)

Abstract: The Breit frame provides a natural frame to analyze lepton-proton scattering events. In this reference frame, the parton model hard interactions between a quark and an exchanged boson defines the coordinate system such that the struck quark is back-scattered along the virtual photon momentum direction. In Quantum Chromodynamics (QCD), higher order perturbative or non-perturbative effects can chang… ▽ More The Breit frame provides a natural frame to analyze lepton-proton scattering events. In this reference frame, the parton model hard interactions between a quark and an exchanged boson defines the coordinate system such that the struck quark is back-scattered along the virtual photon momentum direction. In Quantum Chromodynamics (QCD), higher order perturbative or non-perturbative effects can change this picture drastically. As Bjorken-$x$ decreases below one half, a rather peculiar event signature is predicted with increasing probability, where no radiation is present in one of the two Breit-frame hemispheres and all emissions are to be found in the other hemisphere. At higher orders in $α_s$ or in the presence of soft QCD effects, predictions of the rate of these events are far from trivial, and that motivates measurements with real data. We report on the first observation of the empty current hemisphere events in electron-proton collisions at the HERA collider using data recorded with the H1 detector at a center-of-mass energy of 319 GeV. The fraction of inclusive neutral-current DIS events with an empty hemisphere is found to be $0.0112 \pm 3.9\,\%_\text{stat} \pm 4.5\,\%_\text{syst} \pm 1.6\,\%_\text{mod}$ in the selected kinematic region of $150< Q^2<1500$ GeV$^2$ and inelasticity $0.14< y<0.7$. The data sample corresponds to an integrated luminosity of 351.1 pb$^{-1}$, sufficient to enable differential cross section measurements of these events. The results show an enhanced discriminating power at lower Bjorken-$x$ among different Monte Carlo event generator predictions. △ Less

Submitted 13 March, 2024; originally announced March 2024.

Comments: 13 pages, 5 figures, 2 Tables

Report number: DESY-24-034

Bright ultra-broadband fiber-based biphoton source

Authors: Maksim A. Smirnov, Ilya V. Fedotov, Anastasia M. Smirnova, Albert F. Khairullin, Andrei B. Fedotov, Sergey A. Moiseev

Abstract: In this Letter, we report a first experimental realization of bright ultra-broadband (180 THz) fiber-based biphoton source with widely spectrally separated signal and idler photons. Such a two-photon source is realized due to the joint use of broadband phase-matching of interacting light waves and high optical nonlinearity of a silica-core photonic crystal fiber. The high performance of the develo… ▽ More In this Letter, we report a first experimental realization of bright ultra-broadband (180 THz) fiber-based biphoton source with widely spectrally separated signal and idler photons. Such a two-photon source is realized due to the joint use of broadband phase-matching of interacting light waves and high optical nonlinearity of a silica-core photonic crystal fiber. The high performance of the developed fiber source identifies it as an important and useful tool for a wide range of optical quantum applications. △ Less

Submitted 13 March, 2024; originally announced March 2024.

Dynamics of the temperature regime of permafrost soil in the vicinity of the main gas pipeline taking into account climate warming

Authors: A. A. Fedotov, P. V. Khrapov, A. E. Dengovskaya

Abstract: An initial-boundary value problem for an unsteady two-dimensional heat conduction equation in a bounded domain modeling the unsteady temperature distribution of permafrost soil in the vicinity of a main gas pipeline, taking into account climate warming, is investigated. The parameters of the mathematical model are selected in accordance with experimental data on gas transportation in permafrost ar… ▽ More An initial-boundary value problem for an unsteady two-dimensional heat conduction equation in a bounded domain modeling the unsteady temperature distribution of permafrost soil in the vicinity of a main gas pipeline, taking into account climate warming, is investigated. The parameters of the mathematical model are selected in accordance with experimental data on gas transportation in permafrost areas. The problem is solved numerically by the finite element method. Modeling of the temperature field has been carried out for 30 years since the start of the gas pipeline operation. Calculations are carried out until the periodic temperature regime of the soil around the gas pipeline is practically established. Under the initial conditions adopted in the work, a periodic temperature regime at the top and bottom of the pipe is established in approximately 12 years, and a periodic temperature regime in depth is established in approximately 22 years. Two scenarios of climate warming are considered: moderate RCP2.6 and more negative RCP8.5. It is shown that significant changes in the ground temperature regime occur in the vicinity of the pipe under both warming scenarios. Nevertheless, the calculations demonstrate the preservation of permafrost even in a negative scenario of climate warming. △ Less

Submitted 25 February, 2024; originally announced February 2024.

Comments: 9 pages, 11 figures

Astrocyte control bursting mode of spiking neuron network with memristor-implemented plasticity

Authors: Sergey V. Stasenko, Alexey N. Mikhaylov, Alexander A. Fedotov, Vladimir A. Smirnov, Victor B. Kazantsev

Abstract: A mathematical model of a spiking neuron network accompanied by astrocytes is considered. The network is composed of excitatory and inhibitory neurons with synaptic connections supplied by a memristor-based model of plasticity. Another mechanism for changing the synaptic connections involves astrocytic regulations using the concept of tripartite synapses. In the absence of memristor-based plastici… ▽ More A mathematical model of a spiking neuron network accompanied by astrocytes is considered. The network is composed of excitatory and inhibitory neurons with synaptic connections supplied by a memristor-based model of plasticity. Another mechanism for changing the synaptic connections involves astrocytic regulations using the concept of tripartite synapses. In the absence of memristor-based plasticity, the connections between these neurons drive the network dynamics into a burst mode, as observed in many experimental neurobiological studies when investigating living networks in neuronal cultures. The memristive plasticity implementing synaptic plasticity in inhibitory synapses results in a shift in network dynamics towards an asynchronous mode. Next,it is found that accounting for astrocytic regulation in glutamatergic excitatory synapses enable the restoration of 'normal' burst dynamics. The conditions and parameters of such astrocytic regulation's impact on burst dynamics established. △ Less

Submitted 30 November, 2023; originally announced February 2024.

Coherent radiation of an electron bunch colliding with an intense laser pulse

Authors: Evgeny Gelfer, Alexander Fedotov, Ondrej Klimo, Stefan Weber

Abstract: We study the conditions for coherent radiation of an electron bunch driven by a counterpropagating strong pulsed electromagnetic plane wave. We derive the spectrum of the coherent radiation and show that it is emitted backwards with respect to the laser propagation direction and has a very narrow angular spread. We demonstrate that for a solid density plasma coherent radiation extends to frequenci… ▽ More We study the conditions for coherent radiation of an electron bunch driven by a counterpropagating strong pulsed electromagnetic plane wave. We derive the spectrum of the coherent radiation and show that it is emitted backwards with respect to the laser propagation direction and has a very narrow angular spread. We demonstrate that for a solid density plasma coherent radiation extends to frequencies up to hundreds of keV thereby enhancing the low-frequency part of the spectrum by many orders of magnitude. Our analytical findings are tested with 3D particle-in-cell simulations of an electron bunch passing through a laser pulse, clearly demonstrating how the coherence can essentially modify the observed radiation spectrum. △ Less

Submitted 16 April, 2024; v1 submitted 29 June, 2023; originally announced June 2023.

Short-term evolution of electron wave packet in a constant crossed field with radiative corrections

Authors: I. Yu. Kostyukov, E. N. Nerush, A. A. Mironov, A. M. Fedotov

Abstract: We study the dynamics of an electron wave packet in a strong constant crossed electromagnetic field with account for radiative corrections due to interaction of the electron with the vacuum fluctuations. We evaluate a wave packet composed of the solutions to the Dyson-Schwinger equation, which describes electron propagation without emission of real photons. Spacetime dependence of the wave packet… ▽ More We study the dynamics of an electron wave packet in a strong constant crossed electromagnetic field with account for radiative corrections due to interaction of the electron with the vacuum fluctuations. We evaluate a wave packet composed of the solutions to the Dyson-Schwinger equation, which describes electron propagation without emission of real photons. Spacetime dependence of the wave packet is obtained analytically for a short time interval, the more restricted from above the wider is the packet in momentum space. The radiative corrections alter the electron wavefunction, resulting in particular in a damping of the wave packet. The expectation value of the Dirac spin operator also gets modified. △ Less

Submitted 16 June, 2023; originally announced June 2023.

Comments: 10 pages, no figures

Unbinned Deep Learning Jet Substructure Measurement in High $Q^2$ ep collisions at HERA

Authors: The H1 collaboration, V. Andreev, M. Arratia, A. Baghdasaryan, A. Baty, K. Begzsuren, A. Bolz, V. Boudry, G. Brandt, D. Britzger, A. Buniatyan, L. Bystritskaya, A. J. Campbell, K. B. Cantun Avila, K. Cerny, V. Chekelian, Z. Chen, J. G. Contreras, J. Cvach, J. B. Dainton, K. Daum, A. Deshpande, C. Diaconu, A. Drees, G. Eckerlin , et al. (120 additional authors not shown)

Abstract: The radiation pattern within high energy quark- and gluon-initiated jets (jet substructure) is used extensively as a precision probe of the strong force as well as an environment for optimizing event generators with numerous applications in high energy particle and nuclear physics. Looking at electron-proton collisions is of particular interest as many of the complications present at hadron collid… ▽ More The radiation pattern within high energy quark- and gluon-initiated jets (jet substructure) is used extensively as a precision probe of the strong force as well as an environment for optimizing event generators with numerous applications in high energy particle and nuclear physics. Looking at electron-proton collisions is of particular interest as many of the complications present at hadron colliders are absent. A detailed study of modern jet substructure observables, jet angularities, in electron-proton collisions is presented using data recorded using the H1 detector at HERA. The measurement is unbinned and multi-dimensional, using machine learning to correct for detector effects. All of the available reconstructed object information of the respective jets is interpreted by a graph neural network, achieving superior precision on a selected set of jet angularities. Training these networks was enabled by the use of a large number of GPUs in the Perlmutter supercomputer at Berkeley Lab. The particle jets are reconstructed in the laboratory frame, using the $k_{\mathrm{T}}$ jet clustering algorithm. Results are reported at high transverse momentum transfer $Q^2>150$ GeV${}^2$, and inelasticity $0.2 < y < 0.7$. The analysis is also performed in sub-regions of $Q^2$, thus probing scale dependencies of the substructure variables. The data are compared with a variety of predictions and point towards possible improvements of such models. △ Less

Submitted 14 September, 2023; v1 submitted 23 March, 2023; originally announced March 2023.

Comments: 25 pages, 10 figures, 8 tables, version accepted by Physics Letters B

Report number: DESY-23-034

Journal ref: PLB 844 (2023) 138101

Tunable in situ Near-UV Pulses by Transient Plasmonic Resonance in Nanocomposites

Authors: Anton Husakou, Ihar Babushkin, Olga Fedotova, Ryhor Rusetsky, Oleg Khasanov, Tatsiana Smirnova, Alexander Fedotov, Usman Sapaev, Tzveta Apostolova

Abstract: We propose a new concept for generation of ultrashort pulses based on transient plasmonic resonance in nanoparticle composites. Photoionization and free-carriers plasma change the susceptibility of nanoparticles on a few-femtosecond scale. This results in a narrow time window during the pump pulse duration when the system is in plasmonic resonance, accompanied by a short burst of the local field.… ▽ More We propose a new concept for generation of ultrashort pulses based on transient plasmonic resonance in nanoparticle composites. Photoionization and free-carriers plasma change the susceptibility of nanoparticles on a few-femtosecond scale. This results in a narrow time window during the pump pulse duration when the system is in plasmonic resonance, accompanied by a short burst of the local field. During this process, frequency-tunable few-fs pulses are generated. We elucidate the details of the above mechanism, and investigate the influences of different contributing processes. △ Less

Submitted 16 January, 2023; v1 submitted 12 January, 2023; originally announced January 2023.

Comments: 10 pages, 4 figures, corrected mutliple typos and inserted missing "a"/"the"

Unified Model for a Nonlinear Pulse Propagation in Composites and Optimization of THz Generation

Authors: Anton Husakou, Olga Fedotova, Ryhor Rusetsky, Oleg Khasanov, Tatsiana Smirnova, Alexander Fedotov, Tzveta Apostolova, Ihar Babushkin, Usman Sapaev

Abstract: We describe a unified numerical model which allows fast and accurate simulation of nonlinear light propagation in nanoparticle composites, including various effects such as group velocity dispersion, second- and third-order nonlinearity, quasi-free-carrier formation and plasma contribution, exciton dynamics, scattering and so on. The developed software package SOLPIC is made available for the comm… ▽ More We describe a unified numerical model which allows fast and accurate simulation of nonlinear light propagation in nanoparticle composites, including various effects such as group velocity dispersion, second- and third-order nonlinearity, quasi-free-carrier formation and plasma contribution, exciton dynamics, scattering and so on. The developed software package SOLPIC is made available for the community. Using this model, we analyze and optimize efficient generation of THz radiation by two-color pulses in ZnO/fused silica composite, predicting an efficiency of 3\%. We compare the role of various nonlinear effects contributing to the frequency conversion, and show that optimum conditions of THz generation differ from those expected intuitively. △ Less

Submitted 16 January, 2023; v1 submitted 11 January, 2023; originally announced January 2023.

Comments: 8 pages, 4 figures, corrected several typos and missing "a"/"the", make unified reference style, introduced one abbreviation to improve readability

Sydr-Fuzz: Continuous Hybrid Fuzzing and Dynamic Analysis for Security Development Lifecycle

Authors: Alexey Vishnyakov, Daniil Kuts, Vlada Logunova, Darya Parygina, Eli Kobrin, Georgy Savidov, Andrey Fedotov

Abstract: Nowadays automated dynamic analysis frameworks for continuous testing are in high demand to ensure software safety and satisfy the security development lifecycle (SDL) requirements. The security bug hunting efficiency of cutting-edge hybrid fuzzing techniques outperforms widely utilized coverage-guided fuzzing. We propose an enhanced dynamic analysis pipeline to leverage productivity of automated… ▽ More Nowadays automated dynamic analysis frameworks for continuous testing are in high demand to ensure software safety and satisfy the security development lifecycle (SDL) requirements. The security bug hunting efficiency of cutting-edge hybrid fuzzing techniques outperforms widely utilized coverage-guided fuzzing. We propose an enhanced dynamic analysis pipeline to leverage productivity of automated bug detection based on hybrid fuzzing. We implement the proposed pipeline in the continuous fuzzing toolset Sydr-Fuzz which is powered by hybrid fuzzing orchestrator, integrating our DSE tool Sydr with libFuzzer and AFL++. Sydr-Fuzz also incorporates security predicate checkers, crash triaging tool Casr, and utilities for corpus minimization and coverage gathering. The benchmarking of our hybrid fuzzer against alternative state-of-the-art solutions demonstrates its superiority over coverage-guided fuzzers while remaining on the same level with advanced hybrid fuzzers. Furthermore, we approve the relevance of our approach by discovering 85 new real-world software flaws within the OSS-Sydr-Fuzz project. Finally, we open Casr source code to the community to facilitate examination of the existing crashes. △ Less

Submitted 23 March, 2023; v1 submitted 21 November, 2022; originally announced November 2022.

Journal ref: 2022 Ivannikov ISPRAS Open Conference (ISPRAS), IEEE, 2022, pp. 111-123

Strong Optimistic Solving for Dynamic Symbolic Execution

Authors: Darya Parygina, Alexey Vishnyakov, Andrey Fedotov

Abstract: Dynamic symbolic execution (DSE) is an effective method for automated program testing and bug detection. It is increasing the code coverage by the complex branches exploration during hybrid fuzzing. DSE tools invert the branches along some execution path and help fuzzer examine previously unavailable program parts. DSE often faces over- and underconstraint problems. The first one leads to signific… ▽ More Dynamic symbolic execution (DSE) is an effective method for automated program testing and bug detection. It is increasing the code coverage by the complex branches exploration during hybrid fuzzing. DSE tools invert the branches along some execution path and help fuzzer examine previously unavailable program parts. DSE often faces over- and underconstraint problems. The first one leads to significant analysis complication while the second one causes inaccurate symbolic execution. We propose strong optimistic solving method that eliminates irrelevant path predicate constraints for target branch inversion. We eliminate such symbolic constraints that the target branch is not control dependent on. Moreover, we separately handle symbolic branches that have nested control transfer instructions that pass control beyond the parent branch scope, e.g. return, goto, break, etc. We implement the proposed method in our dynamic symbolic execution tool Sydr. We evaluate the strong optimistic strategy, the optimistic strategy that contains only the last constraint negation, and their combination. The results show that the strategies combination helps increase either the code coverage or the average number of correctly inverted branches per one minute. It is optimal to apply both strategies together in contrast with other configurations. △ Less

Submitted 25 December, 2022; v1 submitted 8 September, 2022; originally announced September 2022.

Journal ref: 2022 Ivannikov Memorial Workshop (IVMEM), IEEE, 2022, pp. 43-53

Functional nanostructures superconductor-ferromagnet for spintronics

Authors: A. S. Sidorenko, V. Boian, Yu. B. Savva, A. Yu. Fedotov, A. V. Vakhrushev

Abstract: The work is devoted to the study of the processes of formation and analysis of the parameters of a functional nanostructure -- a superconducting spin valve, which is a multilayer structure consisting of ferromagnetic cobalt nanofilms separated by niobium superconductor films. The studies were carried out using molecular dynamics simulations. The atomic structure of individual nanolayers of the sys… ▽ More The work is devoted to the study of the processes of formation and analysis of the parameters of a functional nanostructure -- a superconducting spin valve, which is a multilayer structure consisting of ferromagnetic cobalt nanofilms separated by niobium superconductor films. The studies were carried out using molecular dynamics simulations. The atomic structure of individual nanolayers of the system is considered. △ Less

Submitted 26 April, 2022; originally announced August 2022.

Comments: Invited talk of prof. A.Sidorenko at XXIV International Symposium "Nanophysics and Nanoelectronics" in Nyjnii Novgorod, 2020, in russian

Modelling the processes of atom structure formation of a superconducting spin valve

Authors: A. V. Vakhrushev, A. Yu. Fedotov, Yu. B. Savva, A. S. Sidorenko

Abstract: The article considers the simulation of the formation of a multilayer nanocomposite, the combination of elements of which gives rise to the effect of a spin valve. The relevance and importance of the effects in the field of spintronics and related materials and devices are described. The composition and atomic structure of individual layers of the multilayer nanocomposite, as well as the compositi… ▽ More The article considers the simulation of the formation of a multilayer nanocomposite, the combination of elements of which gives rise to the effect of a spin valve. The relevance and importance of the effects in the field of spintronics and related materials and devices are described. The composition and atomic structure of individual layers of the multilayer nanocomposite, as well as the composition and morphology of the interface of the nanocomposite layers are the object of research. A sample with a periodic superconductor - ferromagnetic structure consisting of more than 20 alternating layers of niobium and cobalt was analyzed as a sample. The deposition process took place under deep vacuum conditions. Modeling was performed by the molecular dynamics method using the potential of the modified submerged atom method. The formation of the layers was performed in the stacionar mode. △ Less

Submitted 25 April, 2022; originally announced August 2022.

Nonlinear Compton scattering in time-dependent electric fields: LCFA and beyond

Authors: E. G. Gelfer, A. M. Fedotov, A. A. Mironov, S. Weber

Abstract: Locally constant crossed field approximation (LCFA) is a powerful tool for theoretical and numerical studies of various strong field quantum electrodynamical effects. We explore this approximation in detail for photon emission by a spinless particle in a strong time-dependent electric field. This kind of electromagnetic fields is of particular interest, because, in contrast to the comprehensively… ▽ More Locally constant crossed field approximation (LCFA) is a powerful tool for theoretical and numerical studies of various strong field quantum electrodynamical effects. We explore this approximation in detail for photon emission by a spinless particle in a strong time-dependent electric field. This kind of electromagnetic fields is of particular interest, because, in contrast to the comprehensively studied case of a plane wave, they are not crossed. We develop an approach for calculating photon emission probability in a generic time-dependent electric field, establish the range of applicability of LCFA, and calculate the corrections to it. △ Less

Submitted 29 August, 2022; v1 submitted 16 June, 2022; originally announced June 2022.

Generalized Gelfand-Dikii equation and solitonic electric fields for fermionic Schwinger pair production

Authors: Naser Ahmadiniaz, Alexander M. Fedotov, Evgeny G. Gelfer, Sang Pyo Kim, Christian Schubert

Abstract: In previous work on Schwinger pair creation in purely time-dependent fields, it was shown how to construct ``solitonic'' electric fields that do not create scalar pairs with an arbitrary fixed momentum. We show that this construction can be adapted to the fermionic case in two inequivalent ways, both closely related to supersymmetric quantum mechanics for reflectionless potentials, and both leadin… ▽ More In previous work on Schwinger pair creation in purely time-dependent fields, it was shown how to construct ``solitonic'' electric fields that do not create scalar pairs with an arbitrary fixed momentum. We show that this construction can be adapted to the fermionic case in two inequivalent ways, both closely related to supersymmetric quantum mechanics for reflectionless potentials, and both leading to the vanishing of the density of created pairs at certain values of the Pöschl-Teller like index $p$ of the associated Schrödinger equation. For one of them, we are able to demonstrate that the pair non-creation can be interpreted as a quantum interference effect using the phase-integral formalism. Asymptotically for large $p$, here scalar particles are not created for integer $p$ and fermions are not created for half integer $p$. Thus for any given momentum we can construct electric fields that create scalar particles but not spinor particles, and vice versa. In the scalar QED case, the solitonic fields had originally been found using the Gelfand-Dikii equation, which is related to the resolvent of the mode equation, and through it to the (generalized) KdV equation [38]. This motivates us to develop for the spinor QED case, too, an evolution equation that can be considered as a fermionic generalization of the Gelfand-Dikii equation. △ Less

Submitted 31 August, 2023; v1 submitted 31 May, 2022; originally announced May 2022.

Comments: 30 pages, 11 figures, 1 table, substantially revised and extended version published in Phys. Rev. D 108, 036019 (2023)

Useful formulas for non-magnetized electron cooling

Authors: Sergei Seletskiy, Alexei Fedotov

Abstract: Recent success of Low Energy RHIC Electron Cooler (LEReC) opened a road for development of high energy electron coolers based on non-magnetized electron bunches accelerated by RF cavities. Electrons in such coolers can have velocity distribution with various unequal horizontal, vertical and longitudinal velocity spreads. In this paper we revisit a formula of friction force in non-magnetized coolin… ▽ More Recent success of Low Energy RHIC Electron Cooler (LEReC) opened a road for development of high energy electron coolers based on non-magnetized electron bunches accelerated by RF cavities. Electrons in such coolers can have velocity distribution with various unequal horizontal, vertical and longitudinal velocity spreads. In this paper we revisit a formula of friction force in non-magnetized cooling and derive a number of useful expressions for different limiting cases. △ Less

Submitted 22 September, 2022; v1 submitted 29 April, 2022; originally announced May 2022.

Report number: BNL-222963-2022-TECH

Magnetic circular dichroism within the Algebraic Diagrammatic Construction scheme of the polarisation propagator up to third order

Authors: Daniil A. Fedotov, Mikael Scott, Maximilian Scheurer, Dirk R. Rehn, Andreas Dreuw, Sonia Coriani

Abstract: We present an implementation of the B term of Magnetic Circular Dichroism within the Algebraic Diagrammatic Construction (ADC) scheme of the polarization propagator and its Intermediate State Representation. As illustrative results, the MCD spectra of the ADC variants ADC(2), ADC(2)-x and ADC(3) of the molecular systems uracil, 2-thiouracil, 4-thiouracil, purine, hypoxanthine, 1,4-naphthoquinone,… ▽ More We present an implementation of the B term of Magnetic Circular Dichroism within the Algebraic Diagrammatic Construction (ADC) scheme of the polarization propagator and its Intermediate State Representation. As illustrative results, the MCD spectra of the ADC variants ADC(2), ADC(2)-x and ADC(3) of the molecular systems uracil, 2-thiouracil, 4-thiouracil, purine, hypoxanthine, 1,4-naphthoquinone, 9,10-anthraquinone and 1-naphthylamine, are computed and compared with results obtained using the Coupled-Cluster Singles and Approximate Doubles (CC2) method, literature TD-DFT results as well as with available experimental data. △ Less

Submitted 21 March, 2022; originally announced March 2022.

Advances in QED with intense background fields

Authors: A. Fedotov, A. Ilderton, F. Karbstein, B. King, D. Seipt, H. Taya, G. Torgrimsson

Abstract: Upcoming and planned experiments combining increasingly intense lasers and energetic particle beams will access new regimes of nonlinear, relativistic, quantum effects. This improved experimental capability has driven substantial progress in QED in intense background fields. We review here the advances made during the last decade, with a focus on theory and phenomenology. As ever higher intensitie… ▽ More Upcoming and planned experiments combining increasingly intense lasers and energetic particle beams will access new regimes of nonlinear, relativistic, quantum effects. This improved experimental capability has driven substantial progress in QED in intense background fields. We review here the advances made during the last decade, with a focus on theory and phenomenology. As ever higher intensities are reached, it becomes necessary to consider processes at higher orders in both the number of scattered particles and the number of loops, and to account for non-perturbative physics (e.g. the Schwinger effect), with extreme intensities requiring resummation of the loop expansion. In addition to increased intensity, experiments will reach higher accuracy, and these improvements are being matched by developments in theory such as in approximation frameworks, the description of finite-size effects, and the range of physical phenomena analysed. Topics on which there has been substantial progress include: radiation reaction, spin and polarisation, nonlinear quantum vacuum effects and connections to other fields including physics beyond the Standard Model. △ Less

Submitted 31 January, 2023; v1 submitted 28 February, 2022; originally announced March 2022.

Comments: Review article: 175 pages, 38 figures. To appear in Physics Reports

Report number: RIKEN-iTHEMS-Report-22

Journal ref: Phys. Rep. 1010, 1-138 (2023)

Casr-Cluster: Crash Clustering for Linux Applications

Authors: Georgy Savidov, Andrey Fedotov

Abstract: Crash report analysis is a necessary step before developers begin fixing errors. Fuzzing or hybrid (with dynamic symbolic execution) fuzzing is often used in the secure development lifecycle. Modern fuzzers could produce many crashes and developers do not have enough time to fix them till release date. There are two approaches that could reduce developers' effort on crash analysis: crash clusterin… ▽ More Crash report analysis is a necessary step before developers begin fixing errors. Fuzzing or hybrid (with dynamic symbolic execution) fuzzing is often used in the secure development lifecycle. Modern fuzzers could produce many crashes and developers do not have enough time to fix them till release date. There are two approaches that could reduce developers' effort on crash analysis: crash clustering and crash severity estimation. Crash severity estimation could help developers to prioritize crashes and close security issues first. Crash clustering puts similar crash reports in one cluster what could speed up the analyzing time for all crash reports. In this paper, we focus on crash clustering. We propose an approach for clustering and deduplicating of crashes that occurred in Linux applications. We implement this approach as a tool that could cluster Casr~\cite{fedotov2020casr} crash reports. We evaluated our tool on a set of crash reports that was collected from fuzzing results. △ Less

Submitted 27 December, 2021; originally announced December 2021.

Impact of jet-production data on the next-to-next-to-leading-order determination of HERAPDF2.0 parton distributions

Authors: H1, ZEUS Collaborations, :, I. Abt, R. Aggarwal, V. Andreev, M. Arratia, V. Aushev, A. Baghdasaryan, A. Baty, K. Begzsuren, O. Behnke, A. Belousov, A. Bertolin, I. Bloch, V. Boudry, G. Brandt, I. Brock, N. H. Brook, R. Brugnera, A. Bruni, A. Buniatyan, P. J. Bussey, L. Bystritskaya, A. Caldwell , et al. (212 additional authors not shown)

Abstract: The HERAPDF2.0 ensemble of parton distribution functions (PDFs) was introduced in 2015. The final stage is presented, a next-to-next-to-leading-order (NNLO) analysis of the HERA data on inclusive deep inelastic $ep$ scattering together with jet data as published by the H1 and ZEUS collaborations. A perturbative QCD fit, simultaneously of $α_s(M_Z^2)$ and and the PDFs, was performed with the result… ▽ More The HERAPDF2.0 ensemble of parton distribution functions (PDFs) was introduced in 2015. The final stage is presented, a next-to-next-to-leading-order (NNLO) analysis of the HERA data on inclusive deep inelastic $ep$ scattering together with jet data as published by the H1 and ZEUS collaborations. A perturbative QCD fit, simultaneously of $α_s(M_Z^2)$ and and the PDFs, was performed with the result $α_s(M_Z^2) = 0.1156 \pm 0.0011~{\rm (exp)}~ ^{+0.0001}_{-0.0002}~ {\rm (model}$ ${\rm +~parameterisation)}~ \pm 0.0029~{\rm (scale)}$. The PDF sets of HERAPDF2.0Jets NNLO were determined with separate fits using two fixed values of $α_s(M_Z^2)$, $α_s(M_Z^2)=0.1155$ and $0.118$, since the latter value was already chosen for the published HERAPDF2.0 NNLO analysis based on HERA inclusive DIS data only. The different sets of PDFs are presented, evaluated and compared. The consistency of the PDFs determined with and without the jet data demonstrates the consistency of HERA inclusive and jet-production cross-section data. The inclusion of the jet data reduced the uncertainty on the gluon PDF. Predictions based on the PDFs of HERAPDF2.0Jets NNLO give an excellent description of the jet-production data used as input. △ Less

Submitted 2 December, 2021; originally announced December 2021.

Comments: 43 pages, 24 figures, to be submitted to Eur. Phys. J. C

Report number: DESY-21-206

Symbolic Security Predicates: Hunt Program Weaknesses

Authors: Alexey Vishnyakov, Vlada Logunova, Eli Kobrin, Daniil Kuts, Darya Parygina, Andrey Fedotov

Abstract: Dynamic symbolic execution (DSE) is a powerful method for path exploration during hybrid fuzzing and automatic bug detection. We propose security predicates to effectively detect undefined behavior and memory access violation errors. Initially, we symbolically execute program on paths that don't trigger any errors (hybrid fuzzing may explore these paths). Then we construct a symbolic security pred… ▽ More Dynamic symbolic execution (DSE) is a powerful method for path exploration during hybrid fuzzing and automatic bug detection. We propose security predicates to effectively detect undefined behavior and memory access violation errors. Initially, we symbolically execute program on paths that don't trigger any errors (hybrid fuzzing may explore these paths). Then we construct a symbolic security predicate to verify some error condition. Thus, we may change the program data flow to entail null pointer dereference, division by zero, out-of-bounds access, or integer overflow weaknesses. Unlike static analysis, dynamic symbolic execution does not only report errors but also generates new input data to reproduce them. Furthermore, we introduce function semantics modeling for common C/C++ standard library functions. We aim to model the control flow inside a function with a single symbolic formula. This assists bug detection, speeds up path exploration, and overcomes overconstraints in path predicate. We implement the proposed techniques in our dynamic symbolic execution tool Sydr. Thus, we utilize powerful methods from Sydr such as path predicate slicing that eliminates irrelevant constraints. We present Juliet Dynamic to measure dynamic bug detection tools accuracy. The testing system also verifies that generated inputs trigger sanitizers. We evaluate Sydr accuracy for 11 CWEs from Juliet test suite. Sydr shows 95.59% overall accuracy. We make Sydr evaluation artifacts publicly available to facilitate results reproducibility. △ Less

Submitted 21 March, 2022; v1 submitted 10 November, 2021; originally announced November 2021.

Journal ref: 2021 Ivannikov ISPRAS Open Conference (ISPRAS), IEEE, 2021, pp. 76-85

Phase-Integral Formulation of Dynamically Assisted Schwinger Pair Production

Authors: Chul Min Kim, Alexander Fedotov, Sang Pyo Kim

Abstract: We present a phase-integral formulation of dynamically assisted Schwinger pair production of scalar charges to find the pair production density under a strong low-frequency field and a weak high-frequency field. The leading WKB action was the Schwinger formula determined by the constant field, whose corrections are determined by the Keldysh parameter for the oscillating field, $mω_{q}/qE_{q}$. We… ▽ More We present a phase-integral formulation of dynamically assisted Schwinger pair production of scalar charges to find the pair production density under a strong low-frequency field and a weak high-frequency field. The leading WKB action was the Schwinger formula determined by the constant field, whose corrections are determined by the Keldysh parameter for the oscillating field, $mω_{q}/qE_{q}$. We found a systematic expression of the leading WKB action as a power series in the Keldysh parameter, of which coefficients are given as integrals of the product of fields in the complex time domain. For the case of a strong constant field superimposed with a weak oscillating field, we provided explicit formulas and proposed a procedure for numerical evaluation. The presented phase-integral formulation should provide a clear simple method for quantitatively analyzing the leading-order features of dynamically assisted Schwinger pair production. △ Less

Submitted 21 September, 2021; originally announced September 2021.

Structure of radiative corrections in a strong constant crossed field in the bubble-chain approximation

Authors: A. A. Mironov, A. M. Fedotov

Abstract: We present a calculation of the electron mass operator combining the bubble-chain photon and the leading order electron propagators in a strong constant crossed electromagnetic field. The photon propagator is obtained by a summation of the Dyson series over 1PI polarization loop insertions and is accounted for in general form. By applying the derived mass operator, we find the bubble-chain electro… ▽ More We present a calculation of the electron mass operator combining the bubble-chain photon and the leading order electron propagators in a strong constant crossed electromagnetic field. The photon propagator is obtained by a summation of the Dyson series over 1PI polarization loop insertions and is accounted for in general form. By applying the derived mass operator, we find the bubble-chain electron propagator and the elastic scattering amplitude. The results are expressed in the general form of expansion over $γ$-matrix structures, each multiplied by a scalar invariant function of the electron virtuality and the quantum dynamical parameter $χ$. We perform their asymptotic analysis and identify the dominant contribution at $χ\gg 1$. The presented calculations can be generalized by replacing the leading order electron propagator with the bubble-chain one. This will allow a consistent study the Dyson-Schwinger equations in the fully nonperturbative regime $αχ^{2/3}\gtrsim1$ within the bubble-chain approximation. In addition, we accompany our paper with the open-access computer-algebraic scripts containing all the presented computations [https://github.com/ArsenyMironov/SFQED-Loops]. △ Less

Submitted 1 September, 2021; originally announced September 2021.

Comments: 27 pages, 4 figures

Measurement of lepton-jet correlation in deep-inelastic scattering with the H1 detector using machine learning for unfolding

Authors: H1 Collaboration, V. Andreev, M. Arratia, A. Baghdasaryan, A. Baty, K. Begzsuren, A. Belousov, A. Bolz, V. Boudry, G. Brandt, D. Britzger, A. Buniatyan, L. Bystritskaya, A. J. Campbell, K. B. Cantun Avila, K. Cerny, V. Chekelian, Z. Chen, J. G. Contreras, L. Cunqueiro Mendez, J. Cvach, J. B. Dainton, K. Daum, A. Deshpande, C. Diaconu , et al. (120 additional authors not shown)

Abstract: The first measurement of lepton-jet momentum imbalance and azimuthal correlation in lepton-proton scattering at high momentum transfer is presented. These data, taken with the H1 detector at HERA, are corrected for detector effects using an unbinned machine learning algorithm OmniFold, which considers eight observables simultaneously in this first application. The unfolded cross sections are compa… ▽ More The first measurement of lepton-jet momentum imbalance and azimuthal correlation in lepton-proton scattering at high momentum transfer is presented. These data, taken with the H1 detector at HERA, are corrected for detector effects using an unbinned machine learning algorithm OmniFold, which considers eight observables simultaneously in this first application. The unfolded cross sections are compared to calculations performed within the context of collinear or transverse-momentum-dependent (TMD) factorization in Quantum Chromodynamics (QCD) as well as Monte Carlo event generators. The measurement probes a wide range of QCD phenomena, including TMD parton distribution functions and their evolution with energy in so far unexplored kinematic regions. △ Less

Submitted 1 April, 2022; v1 submitted 27 August, 2021; originally announced August 2021.

Comments: 17 pages, 7 figures, 4 tables, version accepted by PRL

Report number: DESY 21-130

Dyson-Schwinger equations in scalar electrodynamics

Authors: A V Berezin, A A Mironov, E S Sozinov, A M Fedotov

Abstract: Counterparts of the Dyson-Schwinger equations for scalar QED in an external electromagnetic field are derived. Exact structure and diagrammatic interpretation of the corresponding mass and polarization operators are obtained. It is shown that in the presence of an external field the final equations include an exact three-photon interaction vertex. Counterparts of the Dyson-Schwinger equations for scalar QED in an external electromagnetic field are derived. Exact structure and diagrammatic interpretation of the corresponding mass and polarization operators are obtained. It is shown that in the presence of an external field the final equations include an exact three-photon interaction vertex. △ Less

Submitted 13 July, 2021; originally announced July 2021.

Comments: 9 pages, 4 figures, to be published in proceedings of the VII International Conference LaPlas-2021

Effect of coherent excitation in coherent electron cooler

Authors: Sergei Seletskiy, Alexei Fedotov, Dmitry Kayran

Abstract: We consider the possibility of coherent excitation (CE) of cooled particles in the coherent electron coolers (CeC). We consider the current CeC scheme for the Electron Ion Collider (EIC) and derive the tolerances to a systematic error in longitudinal alignment of the electron and the proton bunches in the EIC cooler set by the CE effect. We consider the possibility of coherent excitation (CE) of cooled particles in the coherent electron coolers (CeC). We consider the current CeC scheme for the Electron Ion Collider (EIC) and derive the tolerances to a systematic error in longitudinal alignment of the electron and the proton bunches in the EIC cooler set by the CE effect. △ Less

Submitted 18 April, 2022; v1 submitted 23 June, 2021; originally announced June 2021.

Anomalous Resonance Frequency Shift in Liquid Crystal-Loaded THz Metamaterials

Authors: Eleni Perivolari, Vassili A. Fedotov, Janusz Parka, Malgosia Kaczmarek, Vasilis Apostolopoulos

Abstract: Babinet complementary patterns of a spectrally tunable metamaterial incorporating a nematic liquid crystal are normally assumed to exhibit the same tuning range. Here we show that for a hybrid, terahertz liquid crystal-metamaterial, the sensitivity of its resonances to the variations of the refractive index differs substantially for the two complementary patterns. This is due to a mismatch between… ▽ More Babinet complementary patterns of a spectrally tunable metamaterial incorporating a nematic liquid crystal are normally assumed to exhibit the same tuning range. Here we show that for a hybrid, terahertz liquid crystal-metamaterial, the sensitivity of its resonances to the variations of the refractive index differs substantially for the two complementary patterns. This is due to a mismatch between the alignment of the liquid crystal and the direction of the local electric field induced in the patterns. Furthermore, and more intriguingly, our experimental data indicate that it is possible to shift the resonance of the positive metamaterial pattern beyond the limit imposed by the alignment mismatch. Our analysis suggests that the observed anomalous frequency shift result from the orientational optical nonlinearity of a nematic liquid crystal. △ Less

Submitted 23 June, 2021; originally announced June 2021.

Comments: 11 pages, 6 figures

Analysis and prediction of changes in the temperature of the pure freshwater ice column in the Antarctic and the Arctic

Authors: A. A. Fedotov, V. V. Kaniber, P. V. Khrapov

Abstract: This paper investigates the initial boundary value problem for a non-stationary one-dimensional heat equation that simulates the temperature distribution in freshwater ice near the Earth's poles. The mathematical model has been constructed taking into account solid-liquid phase transitions. Data from meteorological stations were used to determine the model parameters, with the help of which the ne… ▽ More This paper investigates the initial boundary value problem for a non-stationary one-dimensional heat equation that simulates the temperature distribution in freshwater ice near the Earth's poles. The mathematical model has been constructed taking into account solid-liquid phase transitions. Data from meteorological stations were used to determine the model parameters, with the help of which the necessary physical and thermophysical characteristics of the computational domain were obtained. For the numerical solution of the problem, the finite volume method (FVM) was used. For the obtained periodic regime, the temperature versus depth dependences for each month were plotted, and the depth of the active layer, as well as the depth of zero annual amplitudes were found for each meteorological station. A forecast of the ice temperature regime for 2100 was modeled for three Representative Concentration Pathway (RCP) scenarios of global warming: moderate RCP2.6, corresponding to the current emissions of RCP7 and adopted at the Paris Agreement in 2015 RCP1.9. By analyzing the impact of an additional 0,5 degrees Celsius of warming on other areas, a reduction in the full range of risks to humanity and the planet as a whole becomes evident with the proper efforts of the global community. Thus, the conducted modeling has confirmed the need to reduce the rate of global warming. △ Less

Submitted 16 June, 2021; originally announced June 2021.

Comments: 33 pages, 7 figures

Journal ref: International Journal of Open Information Technologies, 9 (9) (2021), 47-65

Onset of electron-seeded cascades in generic electromagnetic fields

Authors: A. A. Mironov, E. G. Gelfer, A. M. Fedotov

Abstract: QED cascades in a strong electromagnetic field of optical range and arbitrary configuration are considered. A general expression for short-time dependence of the key electron quantum dynamical parameter is derived, allowing to generalize the effective threshold condition of QED cascade onset. The generalized theory is applied to selfsustained cascades in a single focused laser pulse. According to… ▽ More QED cascades in a strong electromagnetic field of optical range and arbitrary configuration are considered. A general expression for short-time dependence of the key electron quantum dynamical parameter is derived, allowing to generalize the effective threshold condition of QED cascade onset. The generalized theory is applied to selfsustained cascades in a single focused laser pulse. According to numerical simulations, if a GeV electron bunch is used as a seed, an ordinary cascade can be converted into the selfsustained one. As an application, it would be also possible to produce this way bright collimated photon beams with up to GeV photon energies. △ Less

Submitted 10 May, 2021; originally announced May 2021.

Comments: 16 pages, 7 figures

Journal ref: Phys. Rev. A 104, 012221 (2021)

Decay rate enhancement of diamond NV-centers on diamond thin films

Authors: Hao Li, Jun-Yu Ou, Vassili A. Fedotov, Nikitas Papasimakis

Abstract: We demonstrate experimentally two-fold enhancement of the decay rate of NV$^0$ centers on diamond/Si substrate as opposed to a bare Si substrate. We link the decay enhancement to the interplay between the excitation of substrate modes and the presence of non-radiative decay channels. We show that the radiative decay rate can vary by up to 90% depending on the thickness of the diamond film. We demonstrate experimentally two-fold enhancement of the decay rate of NV$^0$ centers on diamond/Si substrate as opposed to a bare Si substrate. We link the decay enhancement to the interplay between the excitation of substrate modes and the presence of non-radiative decay channels. We show that the radiative decay rate can vary by up to 90% depending on the thickness of the diamond film. △ Less

Submitted 15 March, 2021; originally announced March 2021.

Conceptual Design Report for the LUXE Experiment

Authors: Halina Abramowicz, Uwe Hernandez Acosta, Massimo Altarelli, Ralph Assmann, Zhaoyu Bai, Ties Behnke, Yan Benhammou, Thomas Blackburn, Stewart Boogert, Oleksandr Borysov, Maryna Borysova, Reinhard Brinkmann, Marco Bruschi, Florian Burkart, Karsten Büßer, Niall Cavanagh, Oz Davidi, Winfried Decking, Umberto Dosselli, Nina Elkina, Alexander Fedotov, Miroslaw Firlej, Tomasz Fiutowski, Kyle Fleck, Mikhail Gostkin , et al. (66 additional authors not shown)

Abstract: This Conceptual Design Report describes LUXE (Laser Und XFEL Experiment), an experimental campaign that aims to combine the high-quality and high-energy electron beam of the European XFEL with a powerful laser to explore the uncharted terrain of quantum electrodynamics characterised by both high energy and high intensity. We will reach this hitherto inaccessible regime of quantum physics by analys… ▽ More This Conceptual Design Report describes LUXE (Laser Und XFEL Experiment), an experimental campaign that aims to combine the high-quality and high-energy electron beam of the European XFEL with a powerful laser to explore the uncharted terrain of quantum electrodynamics characterised by both high energy and high intensity. We will reach this hitherto inaccessible regime of quantum physics by analysing high-energy electron-photon and photon-photon interactions in the extreme environment provided by an intense laser focus. The physics background and its relevance are presented in the science case which in turn leads to, and justifies, the ensuing plan for all aspects of the experiment: Our choice of experimental parameters allows (i) effective field strengths to be probed at and beyond the Schwinger limit and (ii) a precision to be achieved that permits a detailed comparison of the measured data with calculations. In addition, the high photon flux predicted will enable a sensitive search for new physics beyond the Standard Model. The initial phase of the experiment will employ an existing 40 TW laser, whereas the second phase will utilise an upgraded laser power of 350 TW. All expectations regarding the performance of the experimental set-up as well as the expected physics results are based on detailed numerical simulations throughout. △ Less

Submitted 27 July, 2021; v1 submitted 3 February, 2021; originally announced February 2021.

Report number: DESY 21-016

Damped (linear) response theory within the resolution-of-identity coupled cluster singles and approximate doubles (RI-CC2) method

Authors: Daniil A. Fedotov, Sonia Coriani, Christof Hättig

Abstract: An implementation of a complex solver for the solution of the response equations required to compute the complex response functions of damped response theory is presented for the resolution-of-identity (RI) coupled-cluster singles and approximate doubles CC2 method. The implementation uses a partitioned formulation that avoids the storage of double excitation amplitudes to make it applicable to la… ▽ More An implementation of a complex solver for the solution of the response equations required to compute the complex response functions of damped response theory is presented for the resolution-of-identity (RI) coupled-cluster singles and approximate doubles CC2 method. The implementation uses a partitioned formulation that avoids the storage of double excitation amplitudes to make it applicable to large molecules. The solver is the keystone element for the development of the damped coupled-cluster response formalism for linear and nonlinear effects in resonant frequency regions at the RI-CC2 level of theory. Illustrative results are reported for the one-photon absorption cross section of C60, the electronic circular dichroism of $n$-helicenes ($n$ = 5, 6, 7), and the $C_6$ dispersion coefficients of a set of selected organic molecules and fullerenes. △ Less

Submitted 11 January, 2021; originally announced January 2021.

Comments: Submitted to J. Chem. Phys., Dec. 2020

A series of spectral gaps for the almost Mathieu operator with a small coupling constant

Authors: Alexander Fedotov

Abstract: For the almost Mathieu operator with a small coupling constant, for a series of spectral gaps, we describe the asymptotic locations of the gaps and get lower bounds for their lengths. The results are obtained by analysing a monodromy matrix. For the almost Mathieu operator with a small coupling constant, for a series of spectral gaps, we describe the asymptotic locations of the gaps and get lower bounds for their lengths. The results are obtained by analysing a monodromy matrix. △ Less

Submitted 19 February, 2021; v1 submitted 6 December, 2020; originally announced December 2020.

Comments: 41 pages, 1 figure

MSC Class: 47A35(Primary) 39A45(Secondary)

Sydr: Cutting Edge Dynamic Symbolic Execution

Authors: Alexey Vishnyakov, Andrey Fedotov, Daniil Kuts, Alexander Novikov, Darya Parygina, Eli Kobrin, Vlada Logunova, Pavel Belecky, Shamil Kurmangaleev

Abstract: The security development lifecycle (SDL) is becoming an industry standard. Dynamic symbolic execution (DSE) has enormous amount of applications in computer security (fuzzing, vulnerability discovery, reverse-engineering, etc.). We propose several performance and accuracy improvements for dynamic symbolic execution. Skipping non-symbolic instructions allows to build a path predicate 1.2--3.5 times… ▽ More The security development lifecycle (SDL) is becoming an industry standard. Dynamic symbolic execution (DSE) has enormous amount of applications in computer security (fuzzing, vulnerability discovery, reverse-engineering, etc.). We propose several performance and accuracy improvements for dynamic symbolic execution. Skipping non-symbolic instructions allows to build a path predicate 1.2--3.5 times faster. Symbolic engine simplifies formulas during symbolic execution. Path predicate slicing eliminates irrelevant conjuncts from solver queries. We handle each jump table (switch statement) as multiple branches and describe the method for symbolic execution of multi-threaded programs. The proposed solutions were implemented in Sydr tool. Sydr performs inversion of branches in path predicate. Sydr combines DynamoRIO dynamic binary instrumentation tool with Triton symbolic engine. We evaluated Sydr features on 64-bit Linux executables. △ Less

Submitted 26 January, 2021; v1 submitted 18 November, 2020; originally announced November 2020.

Comments: 9 pages

Journal ref: 2020 Ivannikov ISPRAS Open Conference (ISPRAS), IEEE, 2020, pp. 46-54

Resummation of QED radiative corrections in a strong constant crossed field

Authors: A. A. Mironov, S. Meuren, A. M. Fedotov

Abstract: By considering radiative corrections of up to 3rd-loop order, Ritus and Narozhny conjectured that the proper expansion parameter for QED in a strong constant crossed field is $g=αχ^{2/3}$, where the dynamical quantum parameter $χ=e\sqrt{-(Fp)^2}/m^3$ combines the particle momentum $p$ with the external field strength tensor $F$. Here we present and discuss the first non-perturbative result in this… ▽ More By considering radiative corrections of up to 3rd-loop order, Ritus and Narozhny conjectured that the proper expansion parameter for QED in a strong constant crossed field is $g=αχ^{2/3}$, where the dynamical quantum parameter $χ=e\sqrt{-(Fp)^2}/m^3$ combines the particle momentum $p$ with the external field strength tensor $F$. Here we present and discuss the first non-perturbative result in this context, the resummed bubble-type polarization corrections to the electron self-energy in a constant crossed field. Our analysis confirms the relevance of the scaling parameter $g$ to the enhancement of bubble-type radiative corrections. This parameter actually represents the characteristic value of the ratio of the 1-loop polarization bubble to the photon virtuality. After an all-order resummation we identify and discuss two contributions to the self-energy with different formation regions and asymptotic behavior for $g\gg1$. Whereas the breakdown of perturbation theory occurs already for $g\gtrsim1$, the leading-order result remains dominant until the asymptotic regime $g\gg 1$ is reached. However, the latter is specific to processes like elastic scattering or photon emission and does not have to remain true for general higher-order QED processes. △ Less

Submitted 3 November, 2020; v1 submitted 15 March, 2020; originally announced March 2020.

Comments: 18 pages, 8 figures, 2 tables. A deep revision was made: Sections III A and Section V are completely rewritten [in particular, by including the new Eqs. (28), (56), (57) and Table II]; Figure 3 is modified; the Appendix is extended with new Eqs. (A.1), (A.10), (A.11) and Figure 8; new references are added, a lot of other small improvements are implemented

Journal ref: Phys. Rev. D 102, 053005 (2020)

Difference equations in the complex plane: quasiclassical asymptotics and Berry phase

Authors: Alexander Fedotov, Ekaterina Shchetka

Abstract: We study solutions to the difference equation $Ψ(z+h)=M(z)Ψ(z)$ where $z$ is a complex variable, $h>0$ is a parameter, and $M:\mathbb{C}\mapsto SL(2,\mathbb{C})$ is a given analytic function. We describe the asymptotics of its analytic solutions as $h\to 0$. The asymptotic formulas contain an analog of the geometric (Berry) phase well-known in the quasiclassical analysis of differential equations. We study solutions to the difference equation $Ψ(z+h)=M(z)Ψ(z)$ where $z$ is a complex variable, $h>0$ is a parameter, and $M:\mathbb{C}\mapsto SL(2,\mathbb{C})$ is a given analytic function. We describe the asymptotics of its analytic solutions as $h\to 0$. The asymptotic formulas contain an analog of the geometric (Berry) phase well-known in the quasiclassical analysis of differential equations. △ Less

Submitted 28 October, 2019; v1 submitted 21 October, 2019; originally announced October 2019.

Comments: 21 pages

MSC Class: 39A45; 81Q20

On the resonances near the continua boundaries of the Dirac equation with a short-range interaction

Authors: K. S. Krylov, V. D. Mur, A. M. Fedotov

Abstract: Using the model of a deep spherically symmetric rectangular well as an example, it is shown that resonant scattering near the boundaries of the lower or upper Dirac continua cannot serve as evidence in favor of spontaneous electron-positron pair production in a supercritical domain. Using the model of a deep spherically symmetric rectangular well as an example, it is shown that resonant scattering near the boundaries of the lower or upper Dirac continua cannot serve as evidence in favor of spontaneous electron-positron pair production in a supercritical domain. △ Less

Submitted 11 October, 2019; originally announced October 2019.

Observing and Controlling a Tamm Plasmon at the Interface with a Metasurface

Authors: Oleksandr Buchnev, Alexandr Belosludtsev, Victor Reshetnyak, Dean R. Evans, Vassili A. Fedotov

Abstract: We demonstrate experimentally that Tamm plasmons in the near-IR can be supported by a dielectric mirror interfaced with a metasurface, a discontinuous thin metal film periodically patterned on the sub-wavelength scale. More crucially, not only do Tamm plasmons survive the nano-patterning of the metal film, but they also become sensitive to external perturbations, as a result. In particular, by dep… ▽ More We demonstrate experimentally that Tamm plasmons in the near-IR can be supported by a dielectric mirror interfaced with a metasurface, a discontinuous thin metal film periodically patterned on the sub-wavelength scale. More crucially, not only do Tamm plasmons survive the nano-patterning of the metal film, but they also become sensitive to external perturbations, as a result. In particular, by depositing a nematic liquid crystal on the outer side of the metasurface we were able to red-shift the spectral position of Tamm plasmon by 35 nm, while electrical switching of the liquid crystal enabled us to tune the wavelength of this notoriously inert excitation within a 10 nm range. △ Less

Submitted 21 February, 2020; v1 submitted 12 September, 2019; originally announced September 2019.

Comments: 14 pages, 3 figures

Journal ref: Nanophotonics 9, 897-903 (2020)

Radiation induced acceleration of ions

Authors: Evgeny Gelfer, Alexander Fedotov, Stefan Weber

Abstract: Radiation friction can have a substantial impact on electron dynamics in a transparent target exposed to a strong laser pulse. In particular, by modifying quiver electron motion, it can strongly enhance the longitudinal charge separation field, thus stimulating ion acceleration. We present a model and simulation results for such a radiation induced ion acceleration and study the scalings of the ma… ▽ More Radiation friction can have a substantial impact on electron dynamics in a transparent target exposed to a strong laser pulse. In particular, by modifying quiver electron motion, it can strongly enhance the longitudinal charge separation field, thus stimulating ion acceleration. We present a model and simulation results for such a radiation induced ion acceleration and study the scalings of the maximal attainable and average ion energies with respect to the laser and target parameters. We also compare the performance of this mechanism to the conventional ones. △ Less

Submitted 14 May, 2021; v1 submitted 4 July, 2019; originally announced July 2019.

Absorption and opacity threshold for a thin foil in a strong circularly polarized laser field

Authors: Evgeny Gelfer, Alexander Fedotov, Ondrej Klimo, Stefan Weber

Abstract: We show that a commonly accepted transparency threshold for a thin foil in a strong circularly polarized normally incident laser pulse needs a refinement. We present a new analytical model, which correctly accounts for laser absorption. The refined threshold is determined not solely by the laser amplitude, but other parameters are equally or even more important. Our predictions are in a perfect ag… ▽ More We show that a commonly accepted transparency threshold for a thin foil in a strong circularly polarized normally incident laser pulse needs a refinement. We present a new analytical model, which correctly accounts for laser absorption. The refined threshold is determined not solely by the laser amplitude, but other parameters are equally or even more important. Our predictions are in a perfect agreement with PIC simulations. The refined criterion is crucial for configuring laser plasma experiments in the high field domain. Besides, an opaque foil steepens the pulse front, this can be important for numerous applications. △ Less

Submitted 10 March, 2020; v1 submitted 13 June, 2019; originally announced June 2019.

Journal ref: Phys. Rev. E 101, 033204 (2020)

Point-dipole approximation for small systems of strongly coupled radiating nanorods

Authors: Derek W. Watson, Stewart D. Jenkins, Vassili A. Fedotov, Janne Ruostekoski

Abstract: Systems of closely-spaced resonators can be strongly coupled by interactions mediated by scattered electromagnetic fields. In large systems the resulting response has been shown to be more sensitive to these collective interactions than to the detailed structure of individual resonators. Attempts to describe such systems have resulted in point-dipole approximations to resonators that are computati… ▽ More Systems of closely-spaced resonators can be strongly coupled by interactions mediated by scattered electromagnetic fields. In large systems the resulting response has been shown to be more sensitive to these collective interactions than to the detailed structure of individual resonators. Attempts to describe such systems have resulted in point-dipole approximations to resonators that are computationally efficient for large resonator ensembles. Here we provide a detailed study for the validity of point dipole approximations in small systems of strongly coupled plasmonic nanorods, including the cases of both super-radiant and subradiant excitations, where the characteristics of the excitation depends on the spatial separation between the nanorods. We show that over an appreciable range of rod lengths centered on $210~\text{nm}$, when the relative separation $kl$ in terms of the resonance wave number of light $k$ satisfies $kl \gtrsim π/2$, the point electric dipole model becomes accurate. However, when the resonators are closer, the finite-size and geometry of the resonators modifies the excitation modes, in particular the cooperative mode line shifts of the point dipole approximation begin to rapidly diverge at small separations. We also construct simplified effective models by describing a pair of nanorods as a single effective metamolecule. △ Less

Submitted 8 April, 2019; originally announced April 2019.

Journal ref: Scientific Reports 9 (2019) 5707

WKB asymptotics of meromorphic solutions of difference equations

Authors: Alexander Fedotov, Frédéric Klopp

Abstract: We consider the difference Schr{\''o}dinger equation $ψ(z+h)+ψ(z-h)+ v(z)ψ(z)=0$ where $z$ is a complex variable and $h$ is a small positive parameter. If $v$ is an analytic function, then, for $h$ sufficiently small, the analytic solutions to this equation have standard semi-classical behavior that can be described by means of an analog of the complex WKB method for differential equations. In t… ▽ More We consider the difference Schr{\''o}dinger equation $ψ(z+h)+ψ(z-h)+ v(z)ψ(z)=0$ where $z$ is a complex variable and $h$ is a small positive parameter. If $v$ is an analytic function, then, for $h$ sufficiently small, the analytic solutions to this equation have standard semi-classical behavior that can be described by means of an analog of the complex WKB method for differential equations. In the present paper, we assume that $v$ has a simple pole and, in its neighborhood, we study the asymptotics of meromorphic solutions to the difference Schr{\''o}dinger equation. △ Less

Submitted 6 May, 2019; v1 submitted 6 March, 2019; originally announced March 2019.

Higher order mode damper for low energy RHIC electron cooler SRF booster cavity

Authors: Binping Xiao, A. Fedotov, H. Hahn, D. Holmes, G. McIntyre, C. Pai, S. Seberg, K. Smith, R. Than, P. Thieberger, J. Tuozzolo, Q. Wu, T. Xin, Wencan Xu, A. Zaltsman

Abstract: To improve RHIC luminosity for heavy ion beam energies below 10 GeV/nucleon, the Low Energy RHIC electron Cooler (LEReC) is currently under commissioning at BNL. The Linac of LEReC is designed to deliver a 1.6 MeV to 2.6 MeV electron beam, with rms dp/p less than 5e-4. A 704 MHz superconducting radio frequency (SRF) booster cavity in this Linac provides up to 2.2 MeV accelerating voltage. With suc… ▽ More To improve RHIC luminosity for heavy ion beam energies below 10 GeV/nucleon, the Low Energy RHIC electron Cooler (LEReC) is currently under commissioning at BNL. The Linac of LEReC is designed to deliver a 1.6 MeV to 2.6 MeV electron beam, with rms dp/p less than 5e-4. A 704 MHz superconducting radio frequency (SRF) booster cavity in this Linac provides up to 2.2 MeV accelerating voltage. With such a low energy and very demanding energy spread requirement, control of Higher Order Modes (HOMs) in the cavities becomes critical and needs to be carefully evaluated to ensure minimum impact on the beam. In this paper, we report the multiphysics design of the HOM damper for this cavity to meet the energy spread requirement, as well as experimental results of the cavity with and without the HOM damper. △ Less

Submitted 1 March, 2019; originally announced March 2019.

Comments: 9 pages, 7 figures

Journal ref: Phys. Rev. Accel. Beams 22, 050101 (2019)

Self-consistent kinetic equations for $e^-e^+γ$-plasma generated from vacuum by strong electric field

Authors: S. A. Smolyansky, A. D. Panferov, S. O. Pirogov, A. M. Fedotov

Abstract: We present a self-consistent kinetic description of an electron-positron-photon ($e^-e^+γ$) plasma generated from vacuum in a focal spot of counterpropagating laser pulses. We rely on a model of purely time-dependent external electric field, but properly take into account quantum radiation from plasma, as well as the semiclassical internal (plasma) field. To achieve this goal we derive a system of… ▽ More We present a self-consistent kinetic description of an electron-positron-photon ($e^-e^+γ$) plasma generated from vacuum in a focal spot of counterpropagating laser pulses. We rely on a model of purely time-dependent external electric field, but properly take into account quantum radiation from plasma, as well as the semiclassical internal (plasma) field. To achieve this goal we derive a system of coupled kinetic equations for the electron, positron, and photon plasma species supplemented with Maxwell equation for the internal electric field. Quantum radiation is included systematically by taking into account the pair creation/annihilation and radiation channels of the BBGKY chain in quasiparticle representation, which we truncate at second order of perturbation theory. An important application of our results would be consistent consideration of photon emission and cascade production beyond the locally constant field approximation, including the depletion of the driving laser field and a possible scenario of cascade saturation due to thermalization. △ Less

Submitted 8 January, 2019; originally announced January 2019.

Comments: 8 pages

The complex WKB method for difference equations and Airy functions

Authors: Frédéric Klopp, Alexander Fedotov

Abstract: We consider the difference Schr{ö}dinger equation $ψ$(z + h) + $ψ$(z -- h) + v(z)$ψ$(z) = 0 where z is a complex variable, h > 0 is a parameter, and v is an analytic function. As h $\rightarrow$ 0 analytic solutions to this equation have a standard quasiclassical behavior near the points where v(z) = $\pm$2. We study analytic solutions near the points z 0 satisfying v(z 0) = $\pm$2 and v (z 0) = 0… ▽ More We consider the difference Schr{ö}dinger equation $ψ$(z + h) + $ψ$(z -- h) + v(z)$ψ$(z) = 0 where z is a complex variable, h > 0 is a parameter, and v is an analytic function. As h $\rightarrow$ 0 analytic solutions to this equation have a standard quasiclassical behavior near the points where v(z) = $\pm$2. We study analytic solutions near the points z 0 satisfying v(z 0) = $\pm$2 and v (z 0) = 0. For the finite difference equation, these points are the natural analogues of the simple turning points defined for the differential equation --$ψ$ (z) + v(z)$ψ$(z) = 0. In an h-independent neighborhood of such a point, we derive uniform asymptotic expansions for analytic solutions to the difference equation. △ Less

Submitted 22 November, 2018; v1 submitted 11 October, 2018; originally announced October 2018.

Global search for localised modes in scalar and vector nonlinear Schrödinger-type equations

Authors: G. L. Alfimov, I. V. Barashenkov, A. P. Fedotov, V. V. Smirnov, D. A. Zezyulin

Abstract: We present a new approach for search of coexisting classes of localised modes admitted by the repulsive (defocusing) scalar or vector nonlinear Schrödinger-type equations. The approach is based on the observation that generic solutions of the corresponding stationary system have singularities at finite points on the real axis. We start with establishing conditions on the initial data of the associ… ▽ More We present a new approach for search of coexisting classes of localised modes admitted by the repulsive (defocusing) scalar or vector nonlinear Schrödinger-type equations. The approach is based on the observation that generic solutions of the corresponding stationary system have singularities at finite points on the real axis. We start with establishing conditions on the initial data of the associated Cauchy problem that guarantee the formation of a singularity. Making use of these sufficient conditions, we identify the bounded, nonsingular, solutions --- and then classify them according to their asymptotic behaviour. To determine the bounded solutions, a properly chosen space of initial data is scanned numerically. Due to asymptotic or symmetry considerations, we can limit ourselves to a one- or two-dimensional space. For each set of initial conditions we compute the distances $X^{\pm}$ to the nearest forward and backward singularities; large $X^+$ or $X^-$ indicate the proximity to a bounded solution. We illustrate our method with the Gross-Pitaevskii equation with a $\PT$-symmetric complex potential, a system of coupled Gross-Pitaevskii equations with real potentials, and the Lugiato-Lefever equation with normal dispersion. △ Less

Submitted 15 March, 2019; v1 submitted 3 September, 2018; originally announced September 2018.

Comments: 28 pages, 14 figures; accepted for Physica D