-
Constraining Lens Masses in Moderately to Highly Magnified Microlensing Events from Gaia
Authors:
U. Pylypenko,
Ł. Wyrzykowski,
P. J. Mikołajczyk,
K. Kotysz,
P. Zielinski,
N. Ihanec,
M. Wicker,
M. Ratajczak,
M. Sitek,
K. Howil,
M. Jablonska,
Z. Kaczmarek,
K. Kruszynska,
A. Udalski,
G. Damljanovic,
M. Stojanovic,
M. D. Jovanovic,
T. Kvernadze,
O. Kvaratskhelia,
M. Zejmo,
S. M. Brincat,
J. K. T. Qvam,
T. Güver,
E. Bachelet,
K. A. Rybicki
, et al. (34 additional authors not shown)
Abstract:
Microlensing events provide a unique way to detect and measure the masses of isolated, non-luminous objects, particularly dark stellar remnants. Under certain conditions, it is possible to measure the mass of these objects using photometry alone, specifically when a microlensing light curve displays a finite-source (FS) effect. This effect generally occurs in highly magnified light curves, i.e. wh…
▽ More
Microlensing events provide a unique way to detect and measure the masses of isolated, non-luminous objects, particularly dark stellar remnants. Under certain conditions, it is possible to measure the mass of these objects using photometry alone, specifically when a microlensing light curve displays a finite-source (FS) effect. This effect generally occurs in highly magnified light curves, i.e. when the source and the lens are very well aligned. In this study, we analyse Gaia Alerts and Gaia Data Release 3 datasets, identifying four moderate-to-high-magnification microlensing events without a discernible FS effect. The absence of this effect suggests a large Einstein radius, implying substantial lens masses. In each event, we constrain the FS effect and therefore establish lower limits for angular Einstein radius and lens mass. Additionally, we use the DarkLensCode software to obtain mass, distance, and brightness distribution for the lens based on the Galactic model. Our analysis established lower mass limits of $\sim 0.2$ $M_{\odot}$ for one lens and $\sim 0.3-0.5$ $M_{\odot}$ for two others. DarkLensCode analysis supports these findings, estimating lens masses in the range of$\sim 0.42-1.66$ $M_{\odot}$ and dark lens probabilities exceeding 60\%. These results strongly indicate that the lenses are stellar remnants, such as white dwarfs or neutron stars. While further investigations are required to confirm the nature of these lenses, we demonstrate a straightforward yet effective approach to identifying stellar remnant candidates.
△ Less
Submitted 15 April, 2025;
originally announced April 2025.
-
Modular evolutions and causality in two-dimensional conformal field theory
Authors:
Dobrica Jovanovic,
Mihail Mintchev,
Erik Tonni
Abstract:
In two-dimensional conformal field theories (CFT) in Minkowski spacetime, we study the spacetime distance between two events along two distinct modular trajectories. When the spatial line is bipartite by a single interval, we consider both the ground state and the state at finite different temperatures for the left and right moving excitations. For the free massless Dirac field in the ground state…
▽ More
In two-dimensional conformal field theories (CFT) in Minkowski spacetime, we study the spacetime distance between two events along two distinct modular trajectories. When the spatial line is bipartite by a single interval, we consider both the ground state and the state at finite different temperatures for the left and right moving excitations. For the free massless Dirac field in the ground state, the bipartition of the line given by the union of two disjoint intervals is also investigated. The modular flows corresponding to connected subsystems preserve relativistic causality. Locality along the modular flows of some fields is explored by evaluating their (anti-)commutators. In particular, the bilocal nature of the modular Hamiltonian of two disjoint intervals for the massless Dirac field provide multiple trajectories leading to Dirac delta contributions in the (anti-)commutators even when the initial points belong to different intervals, thus being spacelike separated.
△ Less
Submitted 20 January, 2025;
originally announced January 2025.
-
Multiband Optical Variability of the Blazar 3C 454.3 on Diverse Timescales
Authors:
Karan Dogra,
Alok C. Gupta,
C. M. Raiteri,
M. Villata,
Paul J. Wiita,
S. O. Kurtanidze,
S. G. Jorstad,
R. Bachev,
G. Damljanovic,
C. Lorey,
S. S. Savchenko,
O. Vince,
M. Abdelkareem,
F. J. Aceituno,
J. A. Acosta-Pulido,
I. Agudo,
G. Andreuzzi,
S. A. Ata,
G. V. Baida,
L. Barbieri,
D. A. Blinov,
G. Bonnoli,
G. A. Borman,
M. I. Carnerero,
D. Carosati
, et al. (57 additional authors not shown)
Abstract:
Due to its peculiar and highly variable nature, the blazar 3C 454.3 has been extensively monitored by the WEBT team. Here, we present for the first time these long-term optical flux and color variability results using data acquired in B, V, R, and I bands over a time span of $\sim$ 2 decades. We include data from WEBT collaborators and public archives such as SMARTS, Steward Observatory, and ZTF.…
▽ More
Due to its peculiar and highly variable nature, the blazar 3C 454.3 has been extensively monitored by the WEBT team. Here, we present for the first time these long-term optical flux and color variability results using data acquired in B, V, R, and I bands over a time span of $\sim$ 2 decades. We include data from WEBT collaborators and public archives such as SMARTS, Steward Observatory, and ZTF. The data are binned and segmented to study the source over this long term when more regular sampling was available. During our study, the long-term spectral variability reveals a redder when brighter (RWB) trend, which, however, stabilizes at a particular brightness cutoff $\sim$ 14.5 mag in the I-band, after which it saturates and evolves into a complex state. This trend indicates increasing jet emission dominance over accretion disk emission until jet emission completely dominates. Plots of the spectral index variation (following $F_ν \propto ν^{-α}$) reveal a bimodal distribution using a one-day binning. These correlate with two extreme phases of 3C 454.3, an outburst or high flux state and quiescent or low flux state, which are respectively jet and accretion disk dominated. We have also conducted intra-day variability studies of nine light curves and found that six of them are variable. Discrete Correlation Function (DCF) analysis between different optical waveband pairs peak at zero lags, indicating co-spatial emission in different optical bands.
△ Less
Submitted 14 December, 2024;
originally announced December 2024.
-
A wiggling filamentary jet at the origin of the blazar multi-wavelength behaviour
Authors:
C. M. Raiteri,
M. Villata,
M. I. Carnerero,
S. O. Kurtanidze,
D. O. Mirzaqulov,
E. Benítez,
G. Bonnoli,
D. Carosati,
J. A. Acosta-Pulido,
I. Agudo,
T. S. Andreeva,
G. Apolonio,
R. Bachev,
G. A. Borman,
V. Bozhilov,
L. F. Brown,
W. Carbonell,
C. Casadio,
W. P. Chen,
G. Damljanovic,
S. A. Ehgamberdiev,
D. Elsaesser,
J. Escudero,
M. Feige,
A. Fuentes
, et al. (74 additional authors not shown)
Abstract:
Blazars are beamed active galactic nuclei known for their strong multi-wavelength variability on timescales from years down to minutes. We aim to investigate the suitability of the twisting jet model presented in previous works to explain the multi-wavelength behaviour of BL Lacertae, the prototype of one of the blazar classes. According to this model, the jet is inhomogeneous, curved, and twistin…
▽ More
Blazars are beamed active galactic nuclei known for their strong multi-wavelength variability on timescales from years down to minutes. We aim to investigate the suitability of the twisting jet model presented in previous works to explain the multi-wavelength behaviour of BL Lacertae, the prototype of one of the blazar classes. According to this model, the jet is inhomogeneous, curved, and twisting, and the long-term variability is due to changes in the Doppler factor due to variations in the orientation of the jet-emitting regions. We analysed optical data of the source obtained during monitoring campaigns organised by the Whole Earth Blazar Telescope (WEBT) in 2019-2022, together with radio data from the WEBT and other teams, and gamma-ray data from the Fermi satellite. In this period, BL Lacertae underwent an extraordinary activity phase, reaching its historical optical and gamma-ray brightness maxima. The application of the twisting jet model to the source light curves allows us to infer the wiggling motion of the optical, radio, and gamma-ray jet-emitting regions. The optical-radio correlation shows that the changes in the radio viewing angle follow those in the optical viewing angle by about 120 days, and it suggests that the jet is composed of plasma filaments, which is in agreement with some radio high-resolution observations of other sources. The gamma-ray emitting region is found to be co-spatial with the optical one, and the analysis of the gamma-optical correlation is consistent with both the geometric interpretation and a synchrotron self-Compton (SSC) origin of the high-energy photons. We propose a geometric scenario where the jet is made up of a pair of emitting plasma filaments in a sort of double-helix curved rotating structure, whose wiggling motion produces changes in the Doppler beaming and can thus explain the observed multi-wavelength long-term variability.
△ Less
Submitted 29 October, 2024;
originally announced October 2024.
-
Extreme photometric and polarimetric variability of blazar S4 0954+65 at its maximum optical and $γ$-ray brightness levels
Authors:
C. M. Raiteri,
M. Villata,
M. I. Carnerero,
S. S. Savchenko,
S. O. Kurtanidze,
V. V. Vlasyuk,
A. Marchini,
K. Matsumoto,
C. Lorey,
M. D. Joner,
K. Gazeas,
D. Carosati,
D. O. Mirzaqulov,
J. A. Acosta Pulido,
I. Agudo,
R. Bachev,
E. Benítez,
G. A. Borman,
P. Calcidese,
W. P. Chen,
G. Damljanovic,
S. A. Ehgamberdiev,
D. Elsässer,
M. Feige,
A. Frasca
, et al. (42 additional authors not shown)
Abstract:
In 2022 the BL Lac object S4 0954+65 underwent a major variability phase, reaching its historical maximum brightness in the optical and $γ$-ray bands. We present optical photometric and polarimetric data acquired by the Whole Earth Blazar Telescope (WEBT) Collaboration from 2022 April 6 to July 6. Many episodes of unprecedented fast variability were detected, implying an upper limit to the size of…
▽ More
In 2022 the BL Lac object S4 0954+65 underwent a major variability phase, reaching its historical maximum brightness in the optical and $γ$-ray bands. We present optical photometric and polarimetric data acquired by the Whole Earth Blazar Telescope (WEBT) Collaboration from 2022 April 6 to July 6. Many episodes of unprecedented fast variability were detected, implying an upper limit to the size of the emitting region as low as $10^{-4}$ parsec. The WEBT data show rapid variability in both the degree and angle of polarization. We analyse different models to explain the polarization behaviour in the framework of a twisting jet model, which assumes that the long-term trend of the flux is produced by variations in the emitting region viewing angle. All the models can reproduce the average trend of the polarization degree, and can account for its general anticorrelation with the flux, but the dispersion of the data requires the presence of intrinsic mechanisms, such as turbulence, shocks, or magnetic reconnection. The WEBT optical data are compared to $γ$-ray data from the Fermi satellite. These are analysed with both fixed and adaptive binning procedures. We show that the strong correlation between optical and $γ$-ray data without measurable delay assumes different slopes in faint and high brightness states, and this is compatible with a scenario where in faint states we mainly see the imprint of the geometrical effects, while in bright states the synchrotron self-Compton process dominates.
△ Less
Submitted 17 October, 2023;
originally announced October 2023.
-
Multi-year characterisation of the broad-band emission from the intermittent extreme BL Lac 1ES~2344+514
Authors:
H. Abe,
S. Abe,
V. A. Acciari,
I. Agudo,
T. Aniello,
S. Ansoldi,
L. A. Antonelli,
A. Arbet Engels,
C. Arcaro,
M. Artero,
K. Asano,
D. Baack,
A. Babić,
A. Baquero,
U. Barres de Almeida,
I. Batković,
J. Baxter,
J. Becerra González,
E. Bernardini,
J. Bernete,
A. Berti,
J. Besenrieder,
C. Bigongiari,
A. Biland,
O. Blanch
, et al. (210 additional authors not shown)
Abstract:
The BL Lac 1ES 2344+514 is known for temporary extreme properties (e.g., a shift of the synchrotron SED peak energy $ν_{synch,p}$ above 1keV). While those extreme states were so far observed only during high flux levels, additional multi-year observing campaigns are required to achieve a coherent picture. Here, we report the longest investigation of the source from radio to VHE performed so far, f…
▽ More
The BL Lac 1ES 2344+514 is known for temporary extreme properties (e.g., a shift of the synchrotron SED peak energy $ν_{synch,p}$ above 1keV). While those extreme states were so far observed only during high flux levels, additional multi-year observing campaigns are required to achieve a coherent picture. Here, we report the longest investigation of the source from radio to VHE performed so far, focusing on a systematic characterisation of the intermittent extreme states. While our results confirm that 1ES 2344+514 typically exhibits $ν_{synch,p}>$1keV during elevated flux periods, we also find periods where the extreme state coincides with low flux activity. A strong spectral variability thus happens in the quiescent state, and is likely caused by an increase of the electron acceleration efficiency without a change in the electron injection luminosity. We also report a strong X-ray flare (among the brightest for 1ES 2344+514) without a significant shift of $ν_{synch,p}$. During this particular flare, the X-ray spectrum is among the softest of the campaign. It unveils complexity in the spectral evolution, where the common harder-when-brighter trend observed in BL Lacs is violated. During a low and hard X-ray state, we find an excess of the UV flux with respect to an extrapolation of the X-ray spectrum to lower energies. This UV excess implies that at least two regions contribute significantly to the infrared/optical/ultraviolet/X-ray emission. Using the simultaneous MAGIC, XMM-Newton, NuSTAR, and AstroSat observations, we argue that a region possibly associated with the 10 GHz radio core may explain such an excess. Finally, we investigate a VHE flare, showing an absence of simultaneous variability in the 0.3-2keV band. Using a time-dependent leptonic modelling, we show that this behaviour, in contradiction to single-zone scenarios, can instead be explained by a two-component model.
△ Less
Submitted 5 October, 2023;
originally announced October 2023.
-
Hydrodynamic regime and cold plasmas hit by short laser pulses
Authors:
Gaetano Fiore,
Monica De Angelis,
Renato Fedele,
Gabriele Guerriero,
Dušan Jovanović
Abstract:
We briefly report and elaborate on some conditions allowing a hydrodynamic description of the impact of a very short and arbitrarily intense laser pulse onto a cold plasma, as well as the localization of the first wave-breaking due to the plasma inhomogeneity. We use a recently developed fully relativistic plane model whereby we reduce the system of the Lorentz-Maxwell and continuity PDEs into a 1…
▽ More
We briefly report and elaborate on some conditions allowing a hydrodynamic description of the impact of a very short and arbitrarily intense laser pulse onto a cold plasma, as well as the localization of the first wave-breaking due to the plasma inhomogeneity. We use a recently developed fully relativistic plane model whereby we reduce the system of the Lorentz-Maxwell and continuity PDEs into a 1-parameter family of decoupled systems of non-autonomous Hamilton equations in dimension 1, with the light-like coordinate $ξ=ct\!-\!z$ replacing time $t$ as an independent variable. Apriori estimates on the Jacobian $\hat J$ of the change from Lagrangian to Eulerian coordinates in terms of the input data (initial density and pulse profile) are obtained applying Liapunov direct method to an associated family of pairs of ODEs; wave-breaking is pinpointed by the inequality $\hat J\le 0$. These results may help in drastically simplifying the study of extreme acceleration mechanisms of electrons, which have very important applications.
△ Less
Submitted 2 October, 2023;
originally announced October 2023.
-
Long-Term Stability of Graphene/c-Si Schottky-Junction Solar Cells
Authors:
Djordje Jovanović,
Miloš Petrović,
Tijana Tomašević-Ilić,
Aleksandar Matković,
Matevž Bokalič,
Marko Spasenović,
Konstantinos Rogdakis,
Emmannuel Kymakis,
Dragan Knežević,
Lucio Cinà,
Radoš Gajić
Abstract:
A long operational lifetime is required for the use of solar cells in real-life photovoltaic applications. The optimization of operational lifetimes is achieved through understanding the inherent degradation phenomena in solar cells. In this study, graphene/Si Schottky-junction solar cells were produced, utilizing liquid-phase-exfoliated graphene as an active surface. The operational and interface…
▽ More
A long operational lifetime is required for the use of solar cells in real-life photovoltaic applications. The optimization of operational lifetimes is achieved through understanding the inherent degradation phenomena in solar cells. In this study, graphene/Si Schottky-junction solar cells were produced, utilizing liquid-phase-exfoliated graphene as an active surface. The operational and interface stability of these solar cells over a period of 5 years in ambient conditions (following ISOS-D protocols: dark storage/shelf life) was examined, and the origin of their degradation was reported. It was found that the dominant degradation mechanism could be attributed to the degradation of silver contacts. This was indicated by a decrease in shunt resistance, an increase in the ideality factor (due to a higher carrier recombination), and a constant defect density in graphene films for up to 4 years. Measurements across the solar cell's active area during the 5-year period revealed neither significant spatial inhomogeneity, nor shunt channel defects.
△ Less
Submitted 15 June, 2023;
originally announced June 2023.
-
Multi-band optical variability of a newly discovered twelve blazars sample from 2013-2019
Authors:
Miljana D. Jovanovic,
Goran Damljanovic,
Francois Taris,
Alok C. Gupta,
Gopal Bhatta
Abstract:
Here we present the first optical photometric monitoring results of a sample of twelve newly discovered blazars from the ICRF - Gaia CRF astrometric link. The observations were performed from April 2013 until August 2019 using eight telescopes located in Europe. For a robust test for the brightness and colour variability, we use Abbe criterion and F-test. Moreover, linear fittings are performed to…
▽ More
Here we present the first optical photometric monitoring results of a sample of twelve newly discovered blazars from the ICRF - Gaia CRF astrometric link. The observations were performed from April 2013 until August 2019 using eight telescopes located in Europe. For a robust test for the brightness and colour variability, we use Abbe criterion and F-test. Moreover, linear fittings are performed to investigate the relation in the colour-magnitude variations of the blazars. Variability was confirmed in the case of 10 sources; two sources, 1429+249 and 1556+335 seem to be possibly variable. Three sources (1034+574, 1722+119, and 1741+597) have displayed large amplitude brightness change of more than one magnitude. We found that the seven sources displayed bluer-when-brighter variations, and one source showed redder-when-brighter variations. We briefly explain the various AGN emission models which can explain our results.
△ Less
Submitted 11 April, 2023; v1 submitted 7 April, 2023;
originally announced April 2023.
-
On the impact of short laser pulses on cold diluted plasmas
Authors:
Gaetano Fiore,
Sergio De Nicola,
Tahmina Akhter,
Renato Fedele,
Dušan Jovanović
Abstract:
We analytically study the impact of a short laser pulse onto an inhomogeneous cold diluted plasma at rest, in particular: the duration of the hydrodynamic regime; the formation and the features of plasma waves (PWs); their wave-breakings (WBs); the motion of test electrons injected in the PWs.
If the pulse is a plane wave travelling in the $z$-direction, and the initial plasma density (IPD) depe…
▽ More
We analytically study the impact of a short laser pulse onto an inhomogeneous cold diluted plasma at rest, in particular: the duration of the hydrodynamic regime; the formation and the features of plasma waves (PWs); their wave-breakings (WBs); the motion of test electrons injected in the PWs.
If the pulse is a plane wave travelling in the $z$-direction, and the initial plasma density (IPD) depends only on $z$, then suitable matched bounds on the maximum and relative variations of the IPD, as well as the intensity and duration of the pulse, ensure a strictly hydrodynamic evolution of the electron fluid during its whole interaction with the pulse, while ions can be regarded as immobile. This evolution is ruled by a family (parametrized by $Z\ge 0$) of decoupled systems of non-autonomous Hamilton equations with 1 degree of freedom, which determine how electrons initially located in the layer $Z\le z<Z+dZ$ move; $ξ=ct-z$ replaces time $t$ as the independent variable. This family of ODEs is obtained by reduction from the Lorentz-Maxwell and continuity PDEs for the electrons' fluid within the spacetime region where the change of the pulse is negligible. After the laser-plasma interaction the Jacobian of the map from Lagrangian to Eulerian coordinates is linear-quasi-periodic in $ξ$. We determine spacetime locations and features of the first wave-breakings of the wakefield PWs, the motion of test electrons (self-)injected in the PWs. The energy of those trapped in a single PW trough grows linearly with the distance gone, where the IPD is constant.
If the pulse has cylindrical symmetry and a not too small radius, the same conclusions hold for the part of the plasma enclosed within the causal cone swept by it.
This computationally light approach may help in a preliminary study of extreme acceleration mechanisms of electrons (LWFA, etc.), before 2D or 3D PIC simulations.
△ Less
Submitted 9 August, 2023; v1 submitted 6 March, 2023;
originally announced March 2023.
-
Multi-band Optical Variability of the TeV Blazar PG 1553+113 in 2019
Authors:
Vinit Dhiman,
Alok C. Gupta,
Sofia O. Kurtanidze,
I. Eglitis,
A. Strigachev,
G. Damljanovic,
Paul J. Wiita,
Minfeng Gu,
Haritma Gaur,
Oliver Vince,
R. Bachev,
D. P. Bisen,
S. Ibryamov,
R. Z. Ivanidze,
Miljana D. Jovanovic,
Omar M. Kurtanidze,
M. G. Nikolashvili,
E. Semkov,
B. Spassov,
M. Stojanovic,
Beatriz Villarroel,
Haiguang Xu,
Zhongli Zhang
Abstract:
We report the flux and spectral variability of PG 1553+113 on intra-night (IDV) to short-term timescales using BVRI data collected over 91 nights from 28 February to 8 November 2019 employing ten optical telescopes: three in Bulgaria, two each in India and Serbia, and one each in Greece, Georgia, and Latvia. We monitored the blazar quasi-simultaneously for 16 nights in the V and R bands and 8 nigh…
▽ More
We report the flux and spectral variability of PG 1553+113 on intra-night (IDV) to short-term timescales using BVRI data collected over 91 nights from 28 February to 8 November 2019 employing ten optical telescopes: three in Bulgaria, two each in India and Serbia, and one each in Greece, Georgia, and Latvia. We monitored the blazar quasi-simultaneously for 16 nights in the V and R bands and 8 nights in the V, R, I bands and examined the light curves (LCs) for intra-day flux and colour variations using two powerful tests: the power-enhanced F-test and the nested ANOVA test. The source was found to be significantly (> 99%) variable in 4 nights out of 27 in R-band, 1 out of 16 in V-band, and 1 out of 6 nights in I-band. No temporal variations in the colours were observed on IDV timescale. During the course of these observations the total variation in R-band was 0.89 mag observed. We also investigated the spectral energy distribution (SED) using B, V, R, and I band data. We found optical spectral indices in the range of 0.878+-0.029 to 1.106+-0.065 by fitting a power law to these SEDs of PG 1553+113. We found that the source follows a bluer-when-brighter trend on IDV timescales. We discuss possible physical causes of the observed spectral variability.
△ Less
Submitted 18 December, 2022;
originally announced December 2022.
-
Hydrodynamic impacts of short laser pulses on plasmas
Authors:
Gaetano Fiore,
Monica De Angelis,
Renato Fedele,
Gabriele Guerriero,
Dusan Jovanović
Abstract:
We determine conditions allowing to simplify the description of the impact of a short and arbitrarily intense laser pulse onto a cold plasma at rest. If both the initial plasma density and pulse profile have plane simmetry, then suitable matched upper bounds on the maximum and the relative variations of the initial density, as well as the intensity and duration of the pulse, ensure a strictly hydr…
▽ More
We determine conditions allowing to simplify the description of the impact of a short and arbitrarily intense laser pulse onto a cold plasma at rest. If both the initial plasma density and pulse profile have plane simmetry, then suitable matched upper bounds on the maximum and the relative variations of the initial density, as well as the intensity and duration of the pulse, ensure a strictly hydrodynamic evolution of the electron fluid (without wave-breaking or vacuum-heating) during its whole interaction with the pulse, while ions can be regarded as immobile. We use a recently developed fully relativistic plane model whereby the system of the (Lorentz-Maxwell and continuity) PDEs is reduced into a family of highly nonlinear but decoupled systems of non-autonomous Hamilton equations with one degree of freedom, with the light-like coordinate $ξ=ct\!-\!z$ instead of time $t$ as an independent variable, and new apriori estimates (eased by use of a Liapunov function) of the solutions in terms of the input data (initial density and pulse profile). If the laser spot radius $R$ is finite but not too small the same conclusions hold for the part of the plasma close to the axis $\vec{z}$ of cylindrical symmetry. These results may help in drastically simplifying the study of extreme acceleration mechanisms of electrons.
△ Less
Submitted 22 July, 2022;
originally announced July 2022.
-
Interpolation and Model Checking for Nonlinear Arithmetic
Authors:
Dejan Jovanović,
Bruno Dutertre
Abstract:
We present a new model-based interpolation procedure for satisfiability modulo theories (SMT). The procedure uses a new mode of interaction with the SMT solver that we call solving modulo a model. This either extends a given partial model into a full model for a set of assertions or returns an explanation (a model interpolant) when no solution exists. This mode of interaction fits well into the mo…
▽ More
We present a new model-based interpolation procedure for satisfiability modulo theories (SMT). The procedure uses a new mode of interaction with the SMT solver that we call solving modulo a model. This either extends a given partial model into a full model for a set of assertions or returns an explanation (a model interpolant) when no solution exists. This mode of interaction fits well into the model-constructing satisfiability (MCSAT) framework of SMT. We use it to develop an interpolation procedure for any MCSAT-supported theory. In particular, this method leads to an effective interpolation procedure for nonlinear real arithmetic. We evaluate the new procedure by integrating it into a model checker and comparing it with state-of-art model-checking tools for nonlinear arithmetic.
△ Less
Submitted 8 June, 2021;
originally announced June 2021.
-
Optical Variability of Three Extreme TeV Blazars
Authors:
Ashwani Pandey,
Alok C. Gupta,
G. Damljanovic,
P. J. Wiita,
O. Vince,
M. D. Jovanovic
Abstract:
We present the results of optical photometric observations of three extreme TeV blazars, 1ES 0229$+$200, 1ES 0414$+$009, and 1ES 2344$+$514, taken with two telescopes (1.3 m Devasthal Fast Optical Telescope, and 1.04 m Sampuranand Telescope) in India and two (1.4 m Milanković telescope and 60 cm Nedeljković telescope) in Serbia during 2013--2019. We investigated their flux and spectral variability…
▽ More
We present the results of optical photometric observations of three extreme TeV blazars, 1ES 0229$+$200, 1ES 0414$+$009, and 1ES 2344$+$514, taken with two telescopes (1.3 m Devasthal Fast Optical Telescope, and 1.04 m Sampuranand Telescope) in India and two (1.4 m Milanković telescope and 60 cm Nedeljković telescope) in Serbia during 2013--2019. We investigated their flux and spectral variability on diverse timescales. We examined a total of 36 intraday $R-$band light curves of these blazars for flux variations using the power-enhanced {\it F}-test and the nested ANOVA test. No significant intraday variation was detected on 35 nights, and during the one positive detection the amplitude of variability was only 2.26 per cent. On yearly timescales, all three blazars showed clear flux variations in all optical wavebands. The weighted mean optical spectral index ($α_{BR}$), calculated using $B - R$ color indices, for 1ES 0229$+$200 was 2.09 $\pm$ 0.01. We also estimated the weighted mean optical spectral indices of 0.67 $\pm$ 0.01 and 1.37 $\pm$ 0.01 for 1ES 0414$+$009, and 1ES 2344$+$514, respectively, by fitting a single power-law ($F_ν \propto ν^{-α}$) in their optical ({\it VRI}) spectral energy distributions. A bluer-when-brighter trend was only detected in the blazar 1ES 0414$+$009. We briefly discuss different possible physical mechanisms responsible for the observed flux and spectral changes in these blazars on diverse timescales.
△ Less
Submitted 4 June, 2020;
originally announced June 2020.
-
Formal Specification and Verification of Solidity Contracts with Events
Authors:
Ákos Hajdu,
Dejan Jovanović,
Gabriela Ciocarlie
Abstract:
Events in the Solidity language provide a means of communication between the on-chain services of decentralized applications and the users of those services. Events are commonly used as an abstraction of contract execution that is relevant from the users' perspective. Users must, therefore, be able to understand the meaning and trust the validity of the emitted events. This paper presents a source…
▽ More
Events in the Solidity language provide a means of communication between the on-chain services of decentralized applications and the users of those services. Events are commonly used as an abstraction of contract execution that is relevant from the users' perspective. Users must, therefore, be able to understand the meaning and trust the validity of the emitted events. This paper presents a source-level approach for the formal specification and verification of Solidity contracts with the primary focus on events. Our approach allows specification of events in terms of the on-chain data that they track, and predicates that define the correspondence between the blockchain state and the abstract view provided by the events. The approach is implemented in solc-verify, a modular verifier for Solidity, and we demonstrate its applicability with various examples.
△ Less
Submitted 20 May, 2020;
originally announced May 2020.
-
Solving bitvectors with MCSAT: explanations from bits and pieces (long version)
Authors:
Stéphane Graham-Lengrand,
Dejan Jovanović,
Bruno Dutertre
Abstract:
We present a decision procedure for the theory of fixed-sized bitvectors in the MCSAT framework. MCSAT is an alternative to CDCL(T) for SMT solving and can be seen as an extension of CDCL to domains other than the Booleans. Our procedure uses BDDs to record and update the sets of feasible values of bitvector variables. For explaining conflicts and propagations, we develop specialized word-level in…
▽ More
We present a decision procedure for the theory of fixed-sized bitvectors in the MCSAT framework. MCSAT is an alternative to CDCL(T) for SMT solving and can be seen as an extension of CDCL to domains other than the Booleans. Our procedure uses BDDs to record and update the sets of feasible values of bitvector variables. For explaining conflicts and propagations, we develop specialized word-level interpolation for two common fragments of the theory. For full generality, explaining conflicts outside of the covered fragments resorts to local bitblasting. The approach is implemented in the Yices 2 SMT solver and we present experimental results.
△ Less
Submitted 16 April, 2020;
originally announced April 2020.
-
SMT-Friendly Formalization of the Solidity Memory Model
Authors:
Ákos Hajdu,
Dejan Jovanović
Abstract:
Solidity is the dominant programming language for Ethereum smart contracts. This paper presents a high-level formalization of the Solidity language with a focus on the memory model. The presented formalization covers all features of the language related to managing state and memory. In addition, the formalization we provide is effective: all but few features can be encoded in the quantifier-free f…
▽ More
Solidity is the dominant programming language for Ethereum smart contracts. This paper presents a high-level formalization of the Solidity language with a focus on the memory model. The presented formalization covers all features of the language related to managing state and memory. In addition, the formalization we provide is effective: all but few features can be encoded in the quantifier-free fragment of standard SMT theories. This enables precise and efficient reasoning about the state of smart contracts written in Solidity. The formalization is implemented in the solc-verify verifier and we provide an extensive set of tests that covers the breadth of the required semantics. We also provide an evaluation on the test set that validates the semantics and shows the novelty of the approach compared to other Solidity-level contract analysis tools.
△ Less
Submitted 17 April, 2020; v1 submitted 9 January, 2020;
originally announced January 2020.
-
Verifying Visibility-Based Weak Consistency
Authors:
Siddharth Krishna,
Michael Emmi,
Constantin Enea,
Dejan Jovanovic
Abstract:
Multithreaded programs generally leverage efficient and thread-safe concurrent objects like sets, key-value maps, and queues. While some concurrent-object operations are designed to behave atomically, each witnessing the atomic effects of predecessors in a linearization order, others forego such strong consistency to avoid complex control and synchronization bottlenecks. For example, contains (val…
▽ More
Multithreaded programs generally leverage efficient and thread-safe concurrent objects like sets, key-value maps, and queues. While some concurrent-object operations are designed to behave atomically, each witnessing the atomic effects of predecessors in a linearization order, others forego such strong consistency to avoid complex control and synchronization bottlenecks. For example, contains (value) methods of key-value maps may iterate through key-value entries without blocking concurrent updates, to avoid unwanted performance bottlenecks, and consequently overlook the effects of some linearization-order predecessors. While such weakly-consistent operations may not be atomic, they still offer guarantees, e.g., only observing values that have been present.
In this work we develop a methodology for proving that concurrent object implementations adhere to weak-consistency specifications. In particular, we consider (forward) simulation-based proofs of implementations against relaxed-visibility specifications, which allow designated operations to overlook some of their linearization-order predecessors, i.e., behaving as if they never occurred. Besides annotating implementation code to identify linearization points, i.e., points at which operations' logical effects occur, we also annotate code to identify visible operations, i.e., operations whose effects are observed; in practice this annotation can be done automatically by tracking the writers to each accessed memory location. We formalize our methodology over a general notion of transition systems, agnostic to any particular programming language or memory model, and demonstrate its application, using automated theorem provers, by verifying models of Java concurrent object implementations.
△ Less
Submitted 4 November, 2019;
originally announced November 2019.
-
Reducing sheet resistance of self-assembled transparent graphene films by defect patching and doping with UV/ozone treatment
Authors:
Tijana Tomašević-Ilić,
Djordje Jovanović,
Igor Popov,
Rajveer Fandan,
Jorge Pedrós,
Marko Spasenović,
Radoš Gajić
Abstract:
Liquid phase exfoliation followed by Langmuir-Blodgett self-assembly (LBSA) is a promising method for scalable production of thin graphene films for transparent conductor applications. However, monolayer assembly into thin films often induces a high density of defects, resulting in a large sheet resistance that hinders practical use. We introduce UV/ozone as a novel photochemical treatment that re…
▽ More
Liquid phase exfoliation followed by Langmuir-Blodgett self-assembly (LBSA) is a promising method for scalable production of thin graphene films for transparent conductor applications. However, monolayer assembly into thin films often induces a high density of defects, resulting in a large sheet resistance that hinders practical use. We introduce UV/ozone as a novel photochemical treatment that reduces sheet resistance of LBSA graphene threefold, while preserving the high optical transparency. The effect of such treatment on our films is opposite to the effect it has on mechanically exfoliated or CVD films, where UV/ozone creates additional defects in the graphene plane, increasing sheet resistance. Raman scattering shows that exposure to UV/ozone reduces the defect density in LBSA graphene, where edges are the dominant defect type. FTIR spectroscopy indicates binding of oxygen to the graphene lattice during exposure to ozone. In addition, work function measurements reveal that the treatment dopes the LBSA film, making it more conductive. Such defect patching paired with doping leads to an accessible way of improving the transparent conductor performance of LBSA graphene, making solution-processed thin films a candidate for industrial use.
△ Less
Submitted 16 August, 2019; v1 submitted 25 July, 2019;
originally announced July 2019.
-
solc-verify: A Modular Verifier for Solidity Smart Contracts
Authors:
Ákos Hajdu,
Dejan Jovanović
Abstract:
We present solc-verify, a source-level verification tool for Ethereum smart contracts. Solc-verify takes smart contracts written in Solidity and discharges verification conditions using modular program analysis and SMT solvers. Built on top of the Solidity compiler, solc-verify reasons at the level of the contract source code, as opposed to the more common approaches that operate at the level of E…
▽ More
We present solc-verify, a source-level verification tool for Ethereum smart contracts. Solc-verify takes smart contracts written in Solidity and discharges verification conditions using modular program analysis and SMT solvers. Built on top of the Solidity compiler, solc-verify reasons at the level of the contract source code, as opposed to the more common approaches that operate at the level of Ethereum bytecode. This enables solc-verify to effectively reason about high-level contract properties while modeling low-level language semantics precisely. The contract properties, such as contract invariants, loop invariants, and function pre- and post-conditions, can be provided as annotations in the code by the developer. This enables automated, yet user-friendly formal verification for smart contracts. We demonstrate solc-verify by examining real-world examples where our tool can effectively find bugs and prove correctness of non-trivial properties with minimal user effort.
△ Less
Submitted 16 March, 2020; v1 submitted 9 July, 2019;
originally announced July 2019.
-
Full orbital solution for the binary system in the northern Galactic disc microlensing event Gaia16aye
Authors:
Łukasz Wyrzykowski,
P. Mróz,
K. A. Rybicki,
M. Gromadzki,
Z. Kołaczkowski,
M. Zieliński,
P. Zieliński,
N. Britavskiy,
A. Gomboc,
K. Sokolovsky,
S. T. Hodgkin,
L. Abe,
G. F. Aldi,
A. AlMannaei,
G. Altavilla,
A. Al Qasim,
G. C. Anupama,
S. Awiphan,
E. Bachelet,
V. Bakıs,
S. Baker,
S. Bartlett,
P. Bendjoya,
K. Benson,
I. F. Bikmaev
, et al. (160 additional authors not shown)
Abstract:
Gaia16aye was a binary microlensing event discovered in the direction towards the northern Galactic disc and was one of the first microlensing events detected and alerted to by the Gaia space mission. Its light curve exhibited five distinct brightening episodes, reaching up to I=12 mag, and it was covered in great detail with almost 25,000 data points gathered by a network of telescopes. We presen…
▽ More
Gaia16aye was a binary microlensing event discovered in the direction towards the northern Galactic disc and was one of the first microlensing events detected and alerted to by the Gaia space mission. Its light curve exhibited five distinct brightening episodes, reaching up to I=12 mag, and it was covered in great detail with almost 25,000 data points gathered by a network of telescopes. We present the photometric and spectroscopic follow-up covering 500 days of the event evolution. We employed a full Keplerian binary orbit microlensing model combined with the motion of Earth and Gaia around the Sun to reproduce the complex light curve. The photometric data allowed us to solve the microlensing event entirely and to derive the complete and unique set of orbital parameters of the binary lensing system. We also report on the detection of the first-ever microlensing space-parallax between the Earth and Gaia located at L2. The properties of the binary system were derived from microlensing parameters, and we found that the system is composed of two main-sequence stars with masses 0.57$\pm$0.05 $M_\odot$ and 0.36$\pm$0.03 $M_\odot$ at 780 pc, with an orbital period of 2.88 years and an eccentricity of 0.30. We also predict the astrometric microlensing signal for this binary lens as it will be seen by Gaia as well as the radial velocity curve for the binary system. Events such as Gaia16aye indicate the potential for the microlensing method of probing the mass function of dark objects, including black holes, in directions other than that of the Galactic bulge. This case also emphasises the importance of long-term time-domain coordinated observations that can be made with a network of heterogeneous telescopes.
△ Less
Submitted 28 October, 2019; v1 submitted 22 January, 2019;
originally announced January 2019.
-
Self consistent hydrodynamic description of the plasma wake field excitation induced by a relativistic charged-particle beam in an unmagnetized plasma
Authors:
Dušan Jovanović,
Renato Fedele,
Sergio De Nicola,
Tamina Akhter,
Milivoj Belić
Abstract:
A self-consistent nonlinear hydrodynamic theory is presented of the propagation of a long and thin relativistic electron beam, for a typical plasma wake field acceleration configuration in an unmagnetized and overdense plasma. The random component of the trajectories of the beam particles as well as of their velocity spread is modelled by an anisotropic temperature, allowing the beam dynamics to b…
▽ More
A self-consistent nonlinear hydrodynamic theory is presented of the propagation of a long and thin relativistic electron beam, for a typical plasma wake field acceleration configuration in an unmagnetized and overdense plasma. The random component of the trajectories of the beam particles as well as of their velocity spread is modelled by an anisotropic temperature, allowing the beam dynamics to be approximated as a 3-D adiabatic expansion/compression. {It is shown that even in the absence of the {nonlinear plasma wake force}, the localization of the beam in the transverse direction can be achieved owing to the} nonlinearity associated with the adiabatic compression/rarefaction and a coherent stationary state is constructed. Numerical calculations reveal the possibility of the beam focussing and defocussing, but the lifetime of the beam can be significantly extended by the appropriate adjustments, so that transverse oscillations are observed, {similar to those} predicted within the thermal wave and Vlasov kinetic models.
△ Less
Submitted 30 June, 2017;
originally announced June 2017.
-
Stability properties of a thin relativistic beam propagation in a magnetized plasma
Authors:
Dusan Jovanovic,
Renato Fedele,
Milivoj Belic,
Sergio De Nicola
Abstract:
A self-consistent nonlinear hydrodynamic theory is presented of the propagation of a long and thin relativistic electron beam through a plasma that is relatively strongly magnetized, $|Ω_e|\simω_{pe}$ and whose density is much bigger than that of the beam. In the regime when the parallel phase velocity in the comoving frame is much smaller than the thermal speed and the beam electrons are thermali…
▽ More
A self-consistent nonlinear hydrodynamic theory is presented of the propagation of a long and thin relativistic electron beam through a plasma that is relatively strongly magnetized, $|Ω_e|\simω_{pe}$ and whose density is much bigger than that of the beam. In the regime when the parallel phase velocity in the comoving frame is much smaller than the thermal speed and the beam electrons are thermalized, a stationary solution for the beam is found when the electron motion in the transverse direction is negligibile and the transverse localization comes from the nonlinearity of its 3-D adiabatic expansion. Conversely, when the parallel phase velocity is sufficiently large to prevent the heat convection along the magnetic field, a helicoidally shaped stationary beam is found whose transverse profile is determined from a nonlinear dispersion relation and depends on the transverse size of the beam and its pitch angle.
△ Less
Submitted 30 June, 2017;
originally announced June 2017.
-
Fluid theory of coherent magnetic vortices in high-beta space plasmas
Authors:
Dusan Jovanovic,
Olga Alexandrova,
Milan Maksimovic,
Milivoj Belic
Abstract:
In-situ observations in the Earth's and Saturn's magnetosheaths and in the solar wind reveal the presence of Alfvén vortices as intermittent structures in the range of scales from fluid lengths down to few ion lengths. The density and the magnetic field associated with them appear to be compressible for higher plasma betas. Until now, only incompressible Alfvén vortices have been known. Motivated…
▽ More
In-situ observations in the Earth's and Saturn's magnetosheaths and in the solar wind reveal the presence of Alfvén vortices as intermittent structures in the range of scales from fluid lengths down to few ion lengths. The density and the magnetic field associated with them appear to be compressible for higher plasma betas. Until now, only incompressible Alfvén vortices have been known. Motivated by space plasma observations we develop a new model of magnetic vortices in high-beta plasmas with anisotropic temperature, possessing compressible density and magnetic field, whose typical size ranges from fluid to ion scales. At magneto-fluid scales we find novel non-propagating field-aligned cylindrical monopoles and inclined propagating dipoles. Their transverse magnetic and velocity fluctuations are aligned, but not identical, {and they exhibit density and compressible magnetic field fluctuations $δn$ and $δB_\Vert$ localized inside the vortex core. In the presence of thermal anisotropy and acoustic effects, they may be correlated or anti-correlated $δn/δB_\Vert={\rm constant}\gtrless 0$; fluctuations whose velocity along the magnetic field is below the ion thermal speed are always correlated.} At ion or kinetic scales (with the smallest radii $\sim c/ω_{pi}, ρ_{L i}$) {and in the absence of acoustic perturbations}, only dipolar Alfvén vortices survive with similar properties as those at fluid scales, except for their $δn/n_0$ that reaches the level of $δB_\Vert/B_0$. At kinetic scales we find also pressure balanced dipolar structures, possessing finite parallel electric field $E_\Vert$ and purely compressional magnetic field perturbation.
△ Less
Submitted 15 April, 2020; v1 submitted 8 May, 2017;
originally announced May 2017.
-
Gyrokinetic theory of magnetic structures in high-beta plasmas of the Earths magnetopause and of the slow solar wind
Authors:
Dusan Jovanovic,
Olga Alexandrova,
Milan Maksimovic,
Milivoj Belic
Abstract:
Nonlinear effects of the trapping of resonant particles by the combined action of the electric field and the magnetic mirror force is studied using a gyrokinetic description that includes the finite Larmor radius effects. A general nonlinear solution is found that is supported by the nonlinearity arising from the resonant particles, trapped by the combined action of the parallel electric field and…
▽ More
Nonlinear effects of the trapping of resonant particles by the combined action of the electric field and the magnetic mirror force is studied using a gyrokinetic description that includes the finite Larmor radius effects. A general nonlinear solution is found that is supported by the nonlinearity arising from the resonant particles, trapped by the combined action of the parallel electric field and the magnetic mirror force. Applying these results to the space plasma conditions, we demonstrate that in the magnetosheath plasma, coherent nonlinear magnetic depression may be created associated with the nonlinear mirror mode and supported by the population of trapped ions forming a hump in the distribution function. These objects may appear either isolated or as the train of weakly correlated structures (the cnoidal wave). In the Solar wind and in the Earths magnetopause, characterized with anisotropic electron and ion temperatures that are of the same order of magnitude, we find coherent magnetic holes of the same form that are attributed to the two branches of the nonlinear magnetosonic mode, the electron mirror and the field swelling mode, including also the kinetic Alfven mode, and supported by the population of trapped electrons. The localized magnetic holes may have the form of a moving oblique slab or of an ellipsoid parallel to the magnetic field and strongly elongated along it, that propagates along the magnetic field and may be convected in the perpendicular direction by a plasma flow. While the ion mirror structures are purely compressional magnetic, featuring negligible magnetic torsion and electric field, the magnetosonic and kinetic Alfven structures possess a finite electrostatic potential, magnetic compression, and magnetic torsion, but the ratio of the perpendicular and parallel magnetic fields remains small.
△ Less
Submitted 8 May, 2017;
originally announced May 2017.
-
Sonneberg Sky Patrol Archive - Photometric Analysis
Authors:
Milan Spasovic,
Christian Dersch,
Christian Lange,
Dragan Jovanovic,
Andreas Schrimpf
Abstract:
The Sonneberg Sky Patrol archive so far has not yet been analyzed systematically. In this paper we present first steps towards an automated photometric analysis aiming at the search for variable stars and transient phenomena like novae. Early works on the sky patrol plates showed that photometric accuracy can be enhanced with fitting algorithms. The procedure used was a manually supported click-an…
▽ More
The Sonneberg Sky Patrol archive so far has not yet been analyzed systematically. In this paper we present first steps towards an automated photometric analysis aiming at the search for variable stars and transient phenomena like novae. Early works on the sky patrol plates showed that photometric accuracy can be enhanced with fitting algorithms. The procedure used was a manually supported click-and-fit-routine, not suitable for automatic analysis of vast amount of photographic plates. We will present our progress on deconvolution of overlapping sources on the plates and compare photometric analysis using different methods. Our goal is to get light curves of sufficient quality from sky patrol plates, which can be classified with machine learning algorithms. The development of an automated scheme for finding transient events is in progress and the first results are very promising.
△ Less
Submitted 2 October, 2016;
originally announced October 2016.
-
Multifrequency Photo-polarimetric WEBT Observation Campaign on the Blazar S5 0716+714: Source Microvariability and Search for Characteristic Timescales
Authors:
G. Bhatta,
Ł. Stawarz,
M. Ostrowski,
A. Markowitz,
H. Akitaya,
A. A. Arkharov,
R. Bachev,
E. Benítez,
G. A. Borman,
D. Carosati,
A. D. Cason,
R. Chanishvili,
G. Damljanovic,
S. Dhalla,
A. Frasca,
D. Hiriart,
S-M. Hu,
R. Itoh,
D. Jableka,
S. Jorstad,
M. D. Jovanovic,
K. S. Kawabata,
S. A. Klimanov,
O. Kurtanidze,
V. M. Larionov
, et al. (21 additional authors not shown)
Abstract:
Here we report on the results of the WEBT photo-polarimetric campaign targeting the blazar S5~0716+71, organized in March 2014 to monitor the source simultaneously in BVRI and near IR filters. The campaign resulted in an unprecedented dataset spanning $\sim 110$\,h of nearly continuous, multi-band observations, including two sets of densely sampled polarimetric data mainly in R filter. During the…
▽ More
Here we report on the results of the WEBT photo-polarimetric campaign targeting the blazar S5~0716+71, organized in March 2014 to monitor the source simultaneously in BVRI and near IR filters. The campaign resulted in an unprecedented dataset spanning $\sim 110$\,h of nearly continuous, multi-band observations, including two sets of densely sampled polarimetric data mainly in R filter. During the campaign, the source displayed pronounced variability with peak-to-peak variations of about $30\%$ and "bluer-when-brighter" spectral evolution, consisting of a day-timescale modulation with superimposed hourlong microflares characterized by $\sim 0.1$\,mag flux changes. We performed an in-depth search for quasi-periodicities in the source light curve; hints for the presence of oscillations on timescales of $\sim 3$\,h and $\sim 5$\,h do not represent highly significant departures from a pure red-noise power spectrum. We observed that, at a certain configuration of the optical polarization angle relative to the positional angle of the innermost radio jet in the source, changes in the polarization degree led the total flux variability by about 2\,h; meanwhile, when the relative configuration of the polarization and jet angles altered, no such lag could be noted. The microflaring events, when analyzed as separate pulse emission components, were found to be characterized by a very high polarization degree ($> 30\%$) and polarization angles which differed substantially from the polarization angle of the underlying background component, or from the radio jet positional angle. We discuss the results in the general context of blazar emission and energy dissipation models.
△ Less
Submitted 11 August, 2016;
originally announced August 2016.
-
Compressive Coherent Structures at Ion Scales in the Slow Solar Wind
Authors:
D. Perrone,
O. Alexandrova,
A. Mangeney,
M. Maksimovic,
C. Lacombe,
V. Rokoto,
J. C. Kasper,
D. Jovanovic
Abstract:
We present a study of magnetic field fluctuations, in a slow solar wind stream, close to ion scales, where an increase of the level of magnetic compressibility is observed. Here, the nature of these compressive fluctuations is found to be characterized by coherent structures. Although previous studies have shown that current sheets can be considered as the principal cause of intermittency at ion s…
▽ More
We present a study of magnetic field fluctuations, in a slow solar wind stream, close to ion scales, where an increase of the level of magnetic compressibility is observed. Here, the nature of these compressive fluctuations is found to be characterized by coherent structures. Although previous studies have shown that current sheets can be considered as the principal cause of intermittency at ion scales, here we show for the first time that, in the case of the slow solar wind, a large variety of coherent structures contributes to intermittency at proton scales, and current sheets are not the most common. Specifically, we find compressive ($δb_{\|} \gg δb_{\perp}$), linearly polarized structures in the form of magnetic holes, solitons and shock waves. Examples of Alfvénic structures ($δb_{\perp} > δb_{\|}$) are identified as current sheets and vortex-like structures. Some of these vortices have $ δb_{\perp} \gg δb_{\|}$, as in the case of Alfvén vortices, but the majority of them are characterized by $δb_{\perp} \gtrsim δb_{\|}$. Thanks to multi-point measurements by Cluster spacecraft, for about 100 structures, we could determine the normal, the propagation velocity and the spatial scale along this normal. Independently of the nature of the structures, the normal is always perpendicular to the local magnetic field, meaning that $k_{\perp} \gg k_{\parallel}$. The spatial scales of the studied structures are found to be between 2 and 8 times the proton gyroradius. Most of them are simply convected by the wind, but 25\% propagate in the plasma frame. Possible interpretations of the observed structures and the connection with plasma heating are discussed.
△ Less
Submitted 26 April, 2016;
originally announced April 2016.
-
Formation and stability of a hollow electron beam in the presence of a plasma wake field driven by an ultra-short electron bunch
Authors:
F. Tanjia,
R. Fedele,
S. De Nicola,
T. Akhter,
D. Jovanovic
Abstract:
A numerical investigation on the spatiotemporal evolution of an electron beam, externally injected in a plasma in the presence of a plasma wake field, is carried out. The latter is driven by an ultra-short relativistic axially-symmetric femtosecond electron bunch. We first derive a novel Poisson-like equation for the wake potential where the driving term is the ultra-short bunch density, taking su…
▽ More
A numerical investigation on the spatiotemporal evolution of an electron beam, externally injected in a plasma in the presence of a plasma wake field, is carried out. The latter is driven by an ultra-short relativistic axially-symmetric femtosecond electron bunch. We first derive a novel Poisson-like equation for the wake potential where the driving term is the ultra-short bunch density, taking suitably into account the interplay between the sharpness and high energy of the bunch. Then, we show that a channel is formed longitudinally, through the externally injected beam while experiencing the effects of the bunch-driven plasma wake field, within the context of thermal wave model. The formation of the channel seems to be a final stage of the 3D evolution of the beam. This involves the appearance of small filaments and bubbles around the longitudinal axis. The bubbles coalesce forming a relatively stable axially-symmetric hollow beam structure.
△ Less
Submitted 25 November, 2015;
originally announced November 2015.
-
Self modulated dynamics of a relativistic charged particle beam in plasma wake field excitation
Authors:
T. Akhter,
R. Fedele,
S. De Nicola,
F. Tanjia,
D. Jovanovic,
A. Mannan
Abstract:
Self modulated dynamics of a relativistic charged particle beam is reviewed within the context of the theory of plasma wake field excitation. The self-consistent description of the beam dynamics is provided by coupling the Vlasov equation with a Poisson-type equation relating the plasma wake potential to the beam density. An analysis of the beam envelope self-modulation is then carried out and the…
▽ More
Self modulated dynamics of a relativistic charged particle beam is reviewed within the context of the theory of plasma wake field excitation. The self-consistent description of the beam dynamics is provided by coupling the Vlasov equation with a Poisson-type equation relating the plasma wake potential to the beam density. An analysis of the beam envelope self-modulation is then carried out and the criteria for the occurrence of the instability are discussed thereby.
△ Less
Submitted 24 November, 2015;
originally announced November 2015.
-
Multilayer graphene condenser microphone
Authors:
Dejan Todorović,
Aleksandar Matković,
Marijana Milićević,
Đorđe Jovanović,
Radoš Gajić,
Iva Salom,
Marko Spasenović
Abstract:
Vibrating membranes are the cornerstone of acoustic technology, forming the backbone of modern loudspeakers and microphones. Acoustic performance of condenser microphone is derived mainly from the membrane's size and achievable static tension. The widely studied and available nickel has been the one of dominant membrane material for several decades. In this paper we introduce multilayer graphene a…
▽ More
Vibrating membranes are the cornerstone of acoustic technology, forming the backbone of modern loudspeakers and microphones. Acoustic performance of condenser microphone is derived mainly from the membrane's size and achievable static tension. The widely studied and available nickel has been the one of dominant membrane material for several decades. In this paper we introduce multilayer graphene as membrane material for a condenser microphone. The graphene device outperforms a high end commercial nickel-based microphone over a significant part of the acoustic spectrum, with a larger than 10 dB enhancement of sensitivity. Our experimental results are supported with numerical simulations, which show that a 300 layer thick graphene membrane under maximum tension would offer excellent extension of the frequency range, up to 1 MHz, with similar sensitivity as commercial condenser microphones.
△ Less
Submitted 4 June, 2015;
originally announced June 2015.
-
Ultrarelativistic regime in the propagation of an ultrastrong, femtosecond laser pulse in plasmas
Authors:
Dušan Jovanović,
Renato Fedele,
Milivoj Belić,
Sergio De Nicola
Abstract:
The interaction of a multi-Petawatt, pancake-shaped laser pulse with an unmagnetized plasma is studied analytically and numerically in the regime of fully relativistic electron jitter velocities and in the context of the laser wakefield acceleration scheme. The study is applied to the specifications available at present time, or planned for the near future, of the Ti:Sa Frascati Laser for Accelera…
▽ More
The interaction of a multi-Petawatt, pancake-shaped laser pulse with an unmagnetized plasma is studied analytically and numerically in the regime of fully relativistic electron jitter velocities and in the context of the laser wakefield acceleration scheme. The study is applied to the specifications available at present time, or planned for the near future, of the Ti:Sa Frascati Laser for Acceleration and Multidisciplinary Experiments (FLAME) in Frascati. Novel nonlinear equation is derived by a three-timescale description, with an intermediate timescale associated with the nonlinear phase of the laser wave. They describe on an equal footing both the strong and moderate laser intensity regimes, pertinent to the core and the edges of the pulse. These have fundamentally different dispersive properties since, in the core, the electrons are almost completely expelled by a very strong ponderomotive force and the electromagnetic wave packet is imbedded in a vacuum channel and has (almost) linear properties, while at the pulse edges the laser amplitude is smaller and the wave is dispersive. The nonlinear phase provides a transition to a nondispersive electromagnetic wave at large intensities and the saturation of the previously known nonlocal cubic nonlinearity, without the violation of the imposed scaling laws. The temporal evolution of the laser pulse is studied by the numerical solution of the model equations in a two-dimensional geometry, with the spot diameter presently used in the self-injection test experiment (SITE) with FLAME. The most stable initial pulse length is found to be around 1 $μ$m, which is several times shorter than presently available. A stretching of the laser pulse is observed, followed by the development of a vacuum channel and a very large electrostatic wake potential, as well as the bending of the laser wave front.
△ Less
Submitted 30 July, 2014;
originally announced July 2014.
-
Dynamics of the wakefield of a multi-petawatt, femtosecond laser pulse in a configuration with ultrarelativistic electrons
Authors:
D. Jovanovic,
R. Fedele,
M. Belic
Abstract:
The wake field excitation in an unmagnetized plasma by a multi-petawatt, femtosecond, pancake-shaped laser pulse is described both analytically and numerically in the regime with ultrarelativistic electron jitter velocities, when the plasma electrons are almost expelled from the pulse region. This is done, for the first time, in fluid theory. A novel mathematical model is devised that does not bre…
▽ More
The wake field excitation in an unmagnetized plasma by a multi-petawatt, femtosecond, pancake-shaped laser pulse is described both analytically and numerically in the regime with ultrarelativistic electron jitter velocities, when the plasma electrons are almost expelled from the pulse region. This is done, for the first time, in fluid theory. A novel mathematical model is devised that does not break down for very intense pump strengths, in contrast to the standard approach that uses the laser field envelope and the ponderomotive guiding center averaging. This is accomplished by employing a three-timescale description, with the intermediate scale associated with the nonlinear phase of the electromagnetic wave and with the bending of its wave front. The evolution of the pulse and of its electrostatic wake are studied by the numerical solution in a two-dimensional geometry, with the spot diameter \geq 100 microns. It reveals that the optimum initial pulse length needs to be somewhat bigger than 1 micron (1-2 oscillations), as suggested by simple analytical local estimates, because the nonlocal plasma response tends to stretch very short pulses.
△ Less
Submitted 30 July, 2014;
originally announced July 2014.
-
Teaching Network Storage Technology Assessment Outcomes and Directions
Authors:
Dr. V. Jovanovic,
Dr. Timur Mirzoev
Abstract:
The paper presents academic content, delivery and assessment mechanisms used, available resources including initial lessons from teaching Networked Storage Technology as a special topics course to students enrolled in two specific programs - IT and CS. The course is based on the EMC s vendor-neutral Storage Technology Fundamentals course. Furthermore, this manuscript provides a detailed review of…
▽ More
The paper presents academic content, delivery and assessment mechanisms used, available resources including initial lessons from teaching Networked Storage Technology as a special topics course to students enrolled in two specific programs - IT and CS. The course is based on the EMC s vendor-neutral Storage Technology Fundamentals course. Furthermore, this manuscript provides a detailed review of how the course fits into our curriculum, particularly, how it helps achieving the 2008 ABET assessment requirements.
△ Less
Submitted 8 April, 2014;
originally announced April 2014.
-
The quantum plasma lens concept: a preliminary investigation
Authors:
F. Tanjia,
R. Fedele,
S. De Nicola,
D. Jovanovic,
A. Mannan
Abstract:
Recently, a theoretical investigation of the collective and nonlocal quantum effects has been carried out within the framework of a quantum approach to the relativistic charged particle beam travelling in a cold, collisionless, strongly magnetized plasma. This has been done taking into account both the plasma wake field excitation and the quantum paraxial approximation. On the basis of this theory…
▽ More
Recently, a theoretical investigation of the collective and nonlocal quantum effects has been carried out within the framework of a quantum approach to the relativistic charged particle beam travelling in a cold, collisionless, strongly magnetized plasma. This has been done taking into account both the plasma wake field excitation and the quantum paraxial approximation. On the basis of this theory, here we carry out a preliminary study of the transverse effects experienced by a cold relativistic beam through a thin plasma slab (plasma lens). In the strongly nonlocal regime, in which the beam experiences a very strong focusing effect, the scheme of plasma lens is reviewed in terms of the wave description provided by the above quantum theory.
△ Less
Submitted 25 September, 2013; v1 submitted 22 April, 2013;
originally announced April 2013.
-
Wave theories of non-laminar charged particle beams: from quantum to thermal regime
Authors:
Renato Fedele,
Fatema Tanjia,
Dusan Jovanovic,
Sergio De Nicola,
Concetta Ronsivalle
Abstract:
The standard classical description of non-laminar charge particle beams in paraxial approximation is extended to the context of two wave theories. The first theory is the so-called Thermal Wave Model (TWM) that interprets the paraxial thermal spreading of the beam particles as the analog of the quantum diffraction. The other theory, hereafter called Quantum Wave Model (QWM), that takes into accoun…
▽ More
The standard classical description of non-laminar charge particle beams in paraxial approximation is extended to the context of two wave theories. The first theory is the so-called Thermal Wave Model (TWM) that interprets the paraxial thermal spreading of the beam particles as the analog of the quantum diffraction. The other theory, hereafter called Quantum Wave Model (QWM), that takes into account the individual quantum nature of the single beam particle (uncertainty principle and spin) and provides the collective description of the beam transport in the presence of the quantum paraxial diffraction. QWM can be applied to beams that are sufficiently cold to allow the particles to manifest their individual quantum nature but sufficiently warm to make overlapping-less the single-particle wave functions. In both theories, the propagation of the beam transport in plasmas or in vacuo is provided by fully similar set of nonlinear and nonlocal governing equations, where in the case of TWM the Compton wavelength (fundamental emittance) is replaced by the beam thermal emittance. In both models, the beam transport in the presence of the self-fields (space charge and inductive effects) is governed by a suitable nonlinear nonlocal 2D Schroedinger equation that is used to obtain the envelope beam equation in quantum and quantum-like regimes, respectively. An envelope equation is derived for both TWM and QWM regimes. In TWM we recover the well known Sacherer equation whilst, in QWM we obtain the evolution equation of the single-particle spot size, i.e., single quantum ray spot in the transverse plane (Compton regime). We show that such a quantum evolution equation contains the same information carried out by an evolution equation for the beam spot size (description of the beam as a whole). This is done by defining the lowest QWM state reachable by a system of overlapping-less Fermions.
△ Less
Submitted 1 April, 2013;
originally announced April 2013.
-
Quantumlike description of the nonlinear and collective effects on relativistic electron beams in strongly magnetized plasmas
Authors:
Fatema Tanjia,
Sergio De Nicola,
Renato Fedele,
P. K. Shukla,
Dusan Jovanovic
Abstract:
A numerical analysis of the self-interaction induced by a relativistic electron/positron beam in the presence of an intense external longitudinal magnetic field in plasmas is carried out. Within the context of the Plasma Wake Field theory in the overdense regime, the transverse beam-plasma dynamics is described by a quantumlike Zakharov system of equations in the long beam limit provided by the Th…
▽ More
A numerical analysis of the self-interaction induced by a relativistic electron/positron beam in the presence of an intense external longitudinal magnetic field in plasmas is carried out. Within the context of the Plasma Wake Field theory in the overdense regime, the transverse beam-plasma dynamics is described by a quantumlike Zakharov system of equations in the long beam limit provided by the Thermal Wave Model. In the limiting case of beam spot size much larger than the plasma wavelength, the Zakharov system is reduced to a 2D Gross-Pitaevskii-type equation, where the trap potential well is due to the external magnetic field. Vortices, "beam halos" and nonlinear coherent states (2D solitons) are predicted.
△ Less
Submitted 4 August, 2011;
originally announced August 2011.
-
Self consistent thermal wave model description of the transverse dynamics for relativistic charged particle beams in magnetoactive plasmas
Authors:
Renato Fedele,
Fatema Tanjia,
Sergio De Nicola,
P. K. Shukla,
Dusan Jovanovic
Abstract:
Thermal Wave Model is used to study the strong self-consistent Plasma Wake Field interaction (transverse effects) between a strongly magnetized plasma and a relativistic electron/positron beam travelling along the external magnetic field, in the long beam limit, in terms of a nonlocal NLS equation and the virial equation. In the linear regime, vortices predicted in terms of Laguerre-Gauss beams ch…
▽ More
Thermal Wave Model is used to study the strong self-consistent Plasma Wake Field interaction (transverse effects) between a strongly magnetized plasma and a relativistic electron/positron beam travelling along the external magnetic field, in the long beam limit, in terms of a nonlocal NLS equation and the virial equation. In the linear regime, vortices predicted in terms of Laguerre-Gauss beams characterized by non-zero orbital angular momentum (vortex charge). In the nonlinear regime, criteria for collapse and stable oscillations is established and the thin plasma lens mechanism is investigated, for beam size much greater than the plasma wavelength. The beam squeezing and the self-pinching equilibrium is predicted, for beam size much smaller than the plasma wavelength, taking the aberrationless solution of the nonlocal Nonlinear Schroeding equation.
△ Less
Submitted 4 August, 2011;
originally announced August 2011.
-
Propagation of ultrastrong femtosecond laser pulses in PLASMON-X
Authors:
Dusan Jovanovic,
Renato Fedele,
Fatema Tanjia,
Sergio De Nicola
Abstract:
The derivation is presented of the nonlinear equations that describe the propagation of ultrashort laser pulses in a plasma, in the Plasmon-X device. It is shown that the Plasmon-X scheme used for the electron acceleration uses a sufficiently broad beam ($L_\bot\sim 130\,\,μ{\rm m}$) that justifies the use of the standard stationary 1-D approximation in the electron hydrodynamic equations, since t…
▽ More
The derivation is presented of the nonlinear equations that describe the propagation of ultrashort laser pulses in a plasma, in the Plasmon-X device. It is shown that the Plasmon-X scheme used for the electron acceleration uses a sufficiently broad beam ($L_\bot\sim 130\,\,μ{\rm m}$) that justifies the use of the standard stationary 1-D approximation in the electron hydrodynamic equations, since the pulse width is sufficiently bigger than the pulse length ($\sim 7.5\,\,μ{\rm m}$). Furthermore, with the laser power of $W\leq 250$ TW and the $130\,\,μ{\rm m}$ spot size, the dimensionless laser vector potential is sufficiently small $|A_{\bot_0}|^2/{2} = ({W}/{c^2ε_0})({λ^2}/{8 π^2 c})({4}/{πL_\bot^2})({e}/{m_0 c})^2 \sim 0.26$, the nonlinearity is sufficiently weak to allow the power expansion in the nonlinear Poissons's equation. Such approximation yields a nonlinear Schr\" odinger equation with a reactive nonlocal nonlinear term. The nonlocality contains a cosine function under the integral, indicating the oscillating wake. For a smaller spot size that is used for the Thomson scattering, $L_\bot = 10\,\, μ$m, the length and the width of the pulse are comparable, and it is not possible to use the 1-D approximation in the hydrodynamic equations. With such small spot size, the laser intensity is very large, and most likely some sort of chanelling in the plasma would take place (the plasma gets locally depleted so much that the electromagnetic wave practically propagates in vacuum).
△ Less
Submitted 4 August, 2011;
originally announced August 2011.
-
Radiation hardness qualification of PbWO4 scintillation crystals for the CMS Electromagnetic Calorimeter
Authors:
The CMS Electromagnetic Calorimeter Group,
P. Adzic,
N. Almeida,
D. Andelin,
I. Anicin,
Z. Antunovic,
R. Arcidiacono,
M. W. Arenton,
E. Auffray,
S. Argiro,
A. Askew,
S. Baccaro,
S. Baffioni,
M. Balazs,
D. Bandurin,
D. Barney,
L. M. Barone,
A. Bartoloni,
C. Baty,
S. Beauceron,
K. W. Bell,
C. Bernet,
M. Besancon,
B. Betev,
R. Beuselinck
, et al. (245 additional authors not shown)
Abstract:
Ensuring the radiation hardness of PbWO4 crystals was one of the main priorities during the construction of the electromagnetic calorimeter of the CMS experiment at CERN. The production on an industrial scale of radiation hard crystals and their certification over a period of several years represented a difficult challenge both for CMS and for the crystal suppliers. The present article reviews t…
▽ More
Ensuring the radiation hardness of PbWO4 crystals was one of the main priorities during the construction of the electromagnetic calorimeter of the CMS experiment at CERN. The production on an industrial scale of radiation hard crystals and their certification over a period of several years represented a difficult challenge both for CMS and for the crystal suppliers. The present article reviews the related scientific and technological problems encountered.
△ Less
Submitted 21 December, 2009;
originally announced December 2009.
-
Stability and collapse of localized solutions of the controlled three-dimensional Gross-Pitaevskii equation
Authors:
Renato Fedele,
Dusan Jovanovic,
Bengt Eliasson,
Sergio De Nicola,
Padma Kant Shukla
Abstract:
On the basis of recent investigations, a newly developed analytical procedure is used for constructing a wide class of localized solutions of the controlled three-dimensional (3D) Gross-Pitaevskii equation (GPE) that governs the dynamics of Bose-Einstein condensates (BECs). The controlled 3D GPE is decomposed into a two-dimensional (2D) linear Schrödinger equation and a one-dimensional (1D) nonl…
▽ More
On the basis of recent investigations, a newly developed analytical procedure is used for constructing a wide class of localized solutions of the controlled three-dimensional (3D) Gross-Pitaevskii equation (GPE) that governs the dynamics of Bose-Einstein condensates (BECs). The controlled 3D GPE is decomposed into a two-dimensional (2D) linear Schrödinger equation and a one-dimensional (1D) nonlinear Schrödinger equation, constrained by a variational condition for the controlling potential. Then, the above class of localized solutions are constructed as the product of the solutions of the transverse and longitudinal equations. On the basis of these exact 3D analytical solutions, a stability analysis is carried out, focusing our attention on the physical conditions for having collapsing or non-collapsing solutions.
△ Less
Submitted 8 August, 2009;
originally announced August 2009.
-
Soliton solutions of 3D Gross-Pitaevskii equation by a potential control method
Authors:
Renato Fedele,
Bengt Eliasson,
Fernando Haas,
Padma Kant Shukla,
Dusan Jovanovic,
Sergio De Nicola
Abstract:
We present a class of three-dimensional solitary waves solutions of the Gross-Pitaevskii (GP) equation, which governs the dynamics of Bose-Einstein condensates (BECs). By imposing an external controlling potential, a desired time-dependent shape of the localized BEC excitation is obtained. The stability of some obtained localized solutions is checked by solving the time-dependent GP equation num…
▽ More
We present a class of three-dimensional solitary waves solutions of the Gross-Pitaevskii (GP) equation, which governs the dynamics of Bose-Einstein condensates (BECs). By imposing an external controlling potential, a desired time-dependent shape of the localized BEC excitation is obtained. The stability of some obtained localized solutions is checked by solving the time-dependent GP equation numerically with analytic solutions as initial conditions. The analytic solutions can be used to design external potentials to control the localized BECs in experiment.
△ Less
Submitted 9 July, 2009; v1 submitted 9 July, 2009;
originally announced July 2009.
-
Some mathematical aspects in determining the 3D controlled solutions of the Gross-Pitaevskii equation
Authors:
Renato Fedele,
Dusan Jovanovic,
Sergio De Nicola,
Bengt Eliasson,
Padma Kant Shukla
Abstract:
The possibility of the decomposition of the three dimensional (3D) Gross-Pitaevskii equation (GPE) into a pair of coupled Schrödinger-type equations, is investigated. It is shown that, under suitable mathematical conditions, solutions of the 3D controlled GPE can be constructed from the solutions of a 2D linear Schrödinger equation (transverse component of the GPE) coupled with a 1D nonlinear Sc…
▽ More
The possibility of the decomposition of the three dimensional (3D) Gross-Pitaevskii equation (GPE) into a pair of coupled Schrödinger-type equations, is investigated. It is shown that, under suitable mathematical conditions, solutions of the 3D controlled GPE can be constructed from the solutions of a 2D linear Schrödinger equation (transverse component of the GPE) coupled with a 1D nonlinear Schrödinger equation (longitudinal component of the GPE). Such a decomposition, called the 'controlling potential method' (CPM), allows one to cast the above solutions in the form of the product of the solutions of the transverse and the longitudinal components of the GPE. The coupling between these two equations is the functional of both the transverse and the longitudinal profiles. The analysis shows that the CPM is based on the variational principle that sets up a condition on the controlling potential well, and whose physical interpretation is given in terms of the minimization of the (energy) effects introduced by the control operation.
△ Less
Submitted 7 July, 2009;
originally announced July 2009.
-
Symmetry of $k\cdot p$ Hamiltonian in pyramidal InAs/GaAs quantum dots: Application to the calculation of electronic structure
Authors:
Nenad Vukmirović,
Dragan Indjin,
Vladimir D. Jovanović,
Zoran Ikonić,
Paul Harrison
Abstract:
A method for the calculation of the electronic structure of pyramidal self-assembled InAs/GaAs quantum dots is presented. The method is based on exploiting the exact $\bar{C}_{4}$ symmetry of the 8-band $k\cdot p$ Hamiltonian with the strain taken into account via the continuum mechanical model. The operators representing symmetry group elements were represented in the plane wave basis and the g…
▽ More
A method for the calculation of the electronic structure of pyramidal self-assembled InAs/GaAs quantum dots is presented. The method is based on exploiting the exact $\bar{C}_{4}$ symmetry of the 8-band $k\cdot p$ Hamiltonian with the strain taken into account via the continuum mechanical model. The operators representing symmetry group elements were represented in the plane wave basis and the group projectors were used to find the symmetry adapted basis in which the corresponding Hamiltonian matrix is block diagonal with four blocks of approximately equal size. The quantum number of total quasi-angular momentum is introduced and the states are classified according to its value. Selection rules for interaction with electromagnetic field in the dipole approximation are derived. The method was applied to calculate electron and hole quasibound states in a periodic array of vertically stacked pyramidal self-assembled InAs/GaAs quantum dots for different values of the distance between the dots and external axial magnetic field. As the distance between the dots in an array is varied, an interesting effect of simultaneous change of ground hole state symmetry, type and the sign of miniband effective mass is predicted. This effect is explained in terms of the change of biaxial strain. It is also found that the magnetic field splitting of Kramer's double degenerate states is most prominent for the first and second excited state in the conduction band and that the magnetic field can both separate otherwise overlapping minibands and concatenate otherwise nonoverlapping minibands.
△ Less
Submitted 8 August, 2007; v1 submitted 24 May, 2005;
originally announced May 2005.