-
Nonlinear integrated optical resonators for optical fibre data recovery
Authors:
Ivan K. Boikov,
Daniel Brunner,
Alfredo De Rossi
Abstract:
We apply in simulation a reservoir computer based on evanescently coupled GaAs microrings for real-time compensation of a nonlinear distortion of a 50 Gbaud 16-QAM signal with the launch power up to 12 dBm in a standard single-mode optical fibre. We clearly evidence the crucial role of fast nonlinear response in enabling all-optical signal recovery in real time. With our system we are able to redu…
▽ More
We apply in simulation a reservoir computer based on evanescently coupled GaAs microrings for real-time compensation of a nonlinear distortion of a 50 Gbaud 16-QAM signal with the launch power up to 12 dBm in a standard single-mode optical fibre. We clearly evidence the crucial role of fast nonlinear response in enabling all-optical signal recovery in real time. With our system we are able to reduce the signal error rate below the forward error correction limit for a 20 km fibre and 12 dBm launch power.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
Synchronization by external periodic force in ensembles of globally coupled phase oscillators
Authors:
Semyon S. Abramov,
Maxim I. Bolotov,
Lev A. Smirnov
Abstract:
We consider the effect of an external periodic force on chimera state in the phase oscillator model proposed by Abrams et al. [Phys. Rev. Lett, v. 101, 00319007 (2008)]. Using the Ott--Antonsen reduction the dynamical equations for the global order parameter characterizing the degree of synchronization are constructed. The regions of the global order parameter frequency locking by an external peri…
▽ More
We consider the effect of an external periodic force on chimera state in the phase oscillator model proposed by Abrams et al. [Phys. Rev. Lett, v. 101, 00319007 (2008)]. Using the Ott--Antonsen reduction the dynamical equations for the global order parameter characterizing the degree of synchronization are constructed. The regions of the global order parameter frequency locking by an external periodic force are constructed. The possibility of stable chimeras synchronization and unstable chimeras stabilization are established.
△ Less
Submitted 17 January, 2024;
originally announced January 2024.
-
Fast reconstruction of programmable interferometers with intensity-only measurements
Authors:
B. I. Bantysh,
A. Yu. Chernyavskiy,
S. A. Fldzhyan,
Yu. I. Bogdanov
Abstract:
Programmable linear optical interferometers are promising for classical and quantum applications. Their integrated design makes it possible to create more scalable and stable devices. To use them in practice, one has to reconstruct the whole device model taking the manufacturing errors into account. The inability to address individual interferometer elements complicates the reconstruction problem.…
▽ More
Programmable linear optical interferometers are promising for classical and quantum applications. Their integrated design makes it possible to create more scalable and stable devices. To use them in practice, one has to reconstruct the whole device model taking the manufacturing errors into account. The inability to address individual interferometer elements complicates the reconstruction problem. A naive approach is to train the model via some complex optimization procedure. A faster optimization-free algorithm has been recently proposed [Opt. Express 31, 16729 (2023)]. However, it requires the full transfer matrix tomography while a more practical setup measures only the fields intensities at the interferometer output. In this paper, we propose the modification of the fast algorithm, which uses additional set of interferometer configurations in order to reconstruct the model in the case of intensity-only measurements. We show that it performs slightly worse than the original fast algorithm but it is more practical and still does not require intensive numerical optimization.
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
Breathing and switching cyclops states in Kuramoto networks with higher-mode coupling
Authors:
Maxim I. Bolotov,
Vyacheslav O. Munyayev,
Lev A. Smirnov,
Grigory V. Osipov,
Igor Belykh
Abstract:
Cyclops states are intriguing cluster patterns observed in oscillator networks, including neuronal ensembles. The concept of cyclops states formed by two distinct, coherent clusters and a solitary oscillator was introduced in [Munyayev {\it et al.}, Phys. Rev. Lett. 130, 107021 (2023)], where we explored the surprising prevalence of such states in repulsive Kuramoto networks of rotators with highe…
▽ More
Cyclops states are intriguing cluster patterns observed in oscillator networks, including neuronal ensembles. The concept of cyclops states formed by two distinct, coherent clusters and a solitary oscillator was introduced in [Munyayev {\it et al.}, Phys. Rev. Lett. 130, 107021 (2023)], where we explored the surprising prevalence of such states in repulsive Kuramoto networks of rotators with higher-mode harmonics in the coupling. This paper extends our analysis to understand the mechanisms responsible for destroying the cyclops' states and inducing new dynamical patterns called breathing and switching cyclops' states. We first analytically study the existence and stability of cyclops states in the Kuramoto-Sakaguchi networks of two-dimensional oscillators with inertia as a function of the second coupling harmonic. We then describe two bifurcation scenarios that give birth to breathing and switching cyclops states. We demonstrate that these states and their hybrids are prevalent across a wide coupling range and are robust against a relatively large intrinsic frequency detuning. Beyond the Kuramoto networks, breathing and switching cyclops states promise to strongly manifest in other physical and biological networks, including coupled theta-neurons.
△ Less
Submitted 12 January, 2024; v1 submitted 15 December, 2023;
originally announced December 2023.
-
Two-cluster regular states, chimeras and hyperchaos in a system of globally coupled phase oscillators with inertia
Authors:
Vyacheslav O. Munyayev,
Maxim I. Bolotov,
Lev A. Smirnov,
Grigory V. Osipov
Abstract:
In this work, two-cluster modes are studied in a system of globally coupled Kuramoto-Sakaguchi phase oscillators with inertia. It is shown that these regimes can be of two types: with a constant intercluster phase difference rotating at the same frequency (according to the analysis, such regimes are always unstable) and with a periodically changing (taking into account the multiplicity of $2π$) ph…
▽ More
In this work, two-cluster modes are studied in a system of globally coupled Kuramoto-Sakaguchi phase oscillators with inertia. It is shown that these regimes can be of two types: with a constant intercluster phase difference rotating at the same frequency (according to the analysis, such regimes are always unstable) and with a periodically changing (taking into account the multiplicity of $2π$) phase mismatch. The issues of existence and stability, emergence and destruction of two-cluster modes are studied depending on the parameters: effective mass (responsible for inertial processes in the model system under consideration) and phase shift in the coupling function. The analytical results are confirmed and supplemented by numerical simulation of the rotators (second order) interacting globally through the mean field.
△ Less
Submitted 20 November, 2023;
originally announced November 2023.
-
FiND: Few-shot three-dimensional image-free confocal focusing on point-like emitters
Authors:
Swetapadma Sahoo,
Junyue Jiang,
Jaden Li,
Kieran Loehr,
Chad E. Germany,
**cheng Zhou,
Bryan K. Clark,
Simeon I. Bogdanov
Abstract:
Confocal fluorescence microscopy is widely applied for the study of point-like emitters such as biomolecules, material defects, and quantum light sources. Confocal techniques offer increased optical resolution, dramatic fluorescence background rejection and sub-nanometer localization, useful in super-resolution imaging of fluorescent biomarkers, single-molecule tracking, or the characterization of…
▽ More
Confocal fluorescence microscopy is widely applied for the study of point-like emitters such as biomolecules, material defects, and quantum light sources. Confocal techniques offer increased optical resolution, dramatic fluorescence background rejection and sub-nanometer localization, useful in super-resolution imaging of fluorescent biomarkers, single-molecule tracking, or the characterization of quantum emitters. However, rapid, noise-robust automated 3D focusing on point-like emitters has been missing for confocal microscopes. Here, we introduce FiND (Focusing in Noisy Domain), an imaging-free, non-trained 3D focusing framework that requires no hardware add-ons or modifications. FiND achieves focusing for signal-to-noise ratios down to 1, with a few-shot operation for signal-to-noise ratios above 5. FiND enables unsupervised, large-scale focusing on a heterogeneous set of quantum emitters. Additionally, we demonstrate the potential of FiND for real-time 3D tracking by following the drift trajectory of a single NV center indefinitely with a positional precision of < 10 nm. Our results show that FiND is a useful focusing framework for the scalable analysis of point-like emitters in biology, material science, and quantum optics.
△ Less
Submitted 10 November, 2023;
originally announced November 2023.
-
An Experimental Design for Anytime-Valid Causal Inference on Multi-Armed Bandits
Authors:
Biyonka Liang,
Iavor Bo**ov
Abstract:
Experimentation is crucial for managers to rigorously quantify the value of a change and determine if it leads to a statistically significant improvement over the status quo, thus augmenting their decision-making. Many companies now mandate that all changes undergo experimentation, presenting two challenges: (1) reducing the risk/cost of experimentation by minimizing the proportion of customers as…
▽ More
Experimentation is crucial for managers to rigorously quantify the value of a change and determine if it leads to a statistically significant improvement over the status quo, thus augmenting their decision-making. Many companies now mandate that all changes undergo experimentation, presenting two challenges: (1) reducing the risk/cost of experimentation by minimizing the proportion of customers assigned to the inferior treatment and (2) increasing the experimentation velocity by enabling managers to stop experiments as soon as results are statistically significant. This paper simultaneously addresses both challenges by proposing the Mixture Adaptive Design (MAD), a new experimental design for multi-armed bandit (MAB) algorithms that enables anytime valid inference on the Average Treatment Effect (ATE) for any MAB algorithm. Intuitively, the MAB "mixes" any bandit algorithm with a Bernoulli design such that at each time step, the probability that a customer is assigned via the Bernoulli design is controlled by a user-specified deterministic sequence that can converge to zero. The sequence enables managers to directly and interpretably control the trade-off between regret minimization and inferential precision. Under mild conditions on the rate the sequence converges to zero, we provide a confidence sequence that is asymptotically anytime valid and demonstrate that the MAD is guaranteed to have a finite stop** time in the presence of a true non-zero ATE. Hence, the MAD allows managers to stop experiments early when a significant ATE is detected while ensuring valid inference, enhancing both the efficiency and reliability of adaptive experiments. Empirically, we demonstrate that the MAD achieves finite-sample anytime-validity while accurately and precisely estimating the ATE, all without incurring significant losses in reward compared to standard bandit designs.
△ Less
Submitted 14 June, 2024; v1 submitted 9 November, 2023;
originally announced November 2023.
-
Eigenvalues bifurcating from the continuum in two-dimensional potentials generating non-Hermitian gauge fields
Authors:
D. I. Borisov,
D. A. Zezyulin
Abstract:
It has been recently shown that complex two-dimensional (2D) potentials $V_\varepsilon(x,y)=V(y+\mathrm{i}\varepsilonη(x))$ can be used to emulate non-Hermitian matrix gauge fields in optical waveguides. Here $x$ and $y$ are the transverse coordinates, $V(y)$ and $η(x)$ are real functions, $\varepsilon>0$ is a small parameter, and $\mathrm{i}$ is the imaginary unit. The real potential $V(y)$ is re…
▽ More
It has been recently shown that complex two-dimensional (2D) potentials $V_\varepsilon(x,y)=V(y+\mathrm{i}\varepsilonη(x))$ can be used to emulate non-Hermitian matrix gauge fields in optical waveguides. Here $x$ and $y$ are the transverse coordinates, $V(y)$ and $η(x)$ are real functions, $\varepsilon>0$ is a small parameter, and $\mathrm{i}$ is the imaginary unit. The real potential $V(y)$ is required to have at least two discrete eigenvalues in the corresponding 1D Schrödinger operator. When both transverse directions are taken into account, these eigenvalues become thresholds embedded in the continuous spectrum of the 2D operator. Small nonzero $\varepsilon$ corresponds to a non-Hermitian perturbation which can result in a bifurcation of each threshold into an eigenvalue. Accurate analysis of these eigenvalues is important for understanding the behavior and stability of optical waves propagating in the artificial non-Hermitian gauge potential. Bifurcations of complex eigenvalues out of the continuum is the main object of the present study. We obtain simple asymptotic expansions in $\varepsilon$ that describe the behavior of bifurcating eigenvalues. The lowest threshold can bifurcate into a single eigenvalue, while every other threshold can bifurcate into a pair of complex eigenvalues. These bifurcations can be controlled by the Fourier transform of function $η(x)$ evaluated at certain isolated points of the reciprocal space. When the bifurcation does not occur, the continuous spectrum of 2D operator contains a quasi-bound-state which is characterized by a strongly localized central peak coupled to small-amplitude but nondecaying tails. The analysis is applied to the case examples of parabolic and double-well potentials $V(y)$. In the latter case, the bifurcation of complex eigenvalues can be dampened if the two wells are widely separated.
△ Less
Submitted 19 October, 2023;
originally announced October 2023.
-
Runway Sign Classifier: A DAL C Certifiable Machine Learning System
Authors:
Konstantin Dmitriev,
Johann Schumann,
Islam Bostanov,
Mostafa Abdelhamid,
Florian Holzapfel
Abstract:
In recent years, the remarkable progress of Machine Learning (ML) technologies within the domain of Artificial Intelligence (AI) systems has presented unprecedented opportunities for the aviation industry, paving the way for further advancements in automation, including the potential for single pilot or fully autonomous operation of large commercial airplanes. However, ML technology faces major in…
▽ More
In recent years, the remarkable progress of Machine Learning (ML) technologies within the domain of Artificial Intelligence (AI) systems has presented unprecedented opportunities for the aviation industry, paving the way for further advancements in automation, including the potential for single pilot or fully autonomous operation of large commercial airplanes. However, ML technology faces major incompatibilities with existing airborne certification standards, such as ML model traceability and explainability issues or the inadequacy of traditional coverage metrics. Certification of ML-based airborne systems using current standards is problematic due to these challenges. This paper presents a case study of an airborne system utilizing a Deep Neural Network (DNN) for airport sign detection and classification. Building upon our previous work, which demonstrates compliance with Design Assurance Level (DAL) D, we upgrade the system to meet the more stringent requirements of Design Assurance Level C. To achieve DAL C, we employ an established architectural mitigation technique involving two redundant and dissimilar Deep Neural Networks. The application of novel ML-specific data management techniques further enhances this approach. This work is intended to illustrate how the certification challenges of ML-based systems can be addressed for medium criticality airborne applications.
△ Less
Submitted 10 October, 2023;
originally announced October 2023.
-
Exotic eigenvalues and analytic resolvent for a graph with a shrinking edge
Authors:
Gregory Berkolaiko,
Denis I. Borisov,
Marshall King
Abstract:
We consider a metric graph consisting of two edges, one of which has length $\varepsilon$ which we send to zero. On this graph we study the resolvent and spectrum of the Laplacian subject to a general vertex condition at the connecting vertex. Despite the singular nature of the perturbation (by a short edge), we find that the resolvent depends analytically on the parameter $\varepsilon$. In contra…
▽ More
We consider a metric graph consisting of two edges, one of which has length $\varepsilon$ which we send to zero. On this graph we study the resolvent and spectrum of the Laplacian subject to a general vertex condition at the connecting vertex. Despite the singular nature of the perturbation (by a short edge), we find that the resolvent depends analytically on the parameter $\varepsilon$. In contrast, the negative eigenvalues escape to minus infinity at rates that could be fractional, namely, $\varepsilon^0$, $\varepsilon^{-2/3}$ or $\varepsilon^{-1}$. These rates take place when the corresponding eigenfunction localizes, respectively, only on the long edge, on both edges, or only on the short edge.
△ Less
Submitted 29 September, 2023; v1 submitted 11 August, 2023;
originally announced August 2023.
-
Entropic property of randomized QAOA circuits
Authors:
A. Yu. Chernyavskiy,
B. I. Bantysh,
Yu. I. Bogdanov
Abstract:
Quantum approximate optimization algorithm (QAOA) aims to solve discrete optimization problems by sampling bitstrings using a parameterized quantum circuit. The circuit parameters (angles) are optimized in the way that minimizes the cost Hamiltonian expectation value. Recently, general statistical properties of QAOA output probability distributions have begun to be studied. In contrast to the conv…
▽ More
Quantum approximate optimization algorithm (QAOA) aims to solve discrete optimization problems by sampling bitstrings using a parameterized quantum circuit. The circuit parameters (angles) are optimized in the way that minimizes the cost Hamiltonian expectation value. Recently, general statistical properties of QAOA output probability distributions have begun to be studied. In contrast to the conventional approach, we analyse QAOA circuits with random angles. We provide analytical equations for probabilities and the numerical evidence that for unweighted Max-Cut problems on connected graphs such sampling always gives higher entropy of energy distribution than uniform random sampling of bitstrings. We also analyse the probability to obtain the global optima, which appears to be higher on average than for random sampling.
△ Less
Submitted 28 November, 2023; v1 submitted 3 August, 2023;
originally announced August 2023.
-
The evolution of relative frequencies of ONe and CO SNe Ia
Authors:
A. I. Bogomazov,
A. V. Tutukov
Abstract:
In this population synthesis work we study a variety of possible origin channels of supernovae type Ia (SNe Ia) Among them mergers of carbon-oxygen (CO) and oxygen-neon (ONe) white dwarfs (WDs) under the influence of gravitational waves are considered as the primary channel of SNe Ia formation. We estimated frequencies of mergers of WDs with different chemical compositions and distributions of mas…
▽ More
In this population synthesis work we study a variety of possible origin channels of supernovae type Ia (SNe Ia) Among them mergers of carbon-oxygen (CO) and oxygen-neon (ONe) white dwarfs (WDs) under the influence of gravitational waves are considered as the primary channel of SNe Ia formation. We estimated frequencies of mergers of WDs with different chemical compositions and distributions of masses of merging WDs. We computed the dependence of the ratio of merger frequencies of ONe and CO WDs as primaries in corresponding binaries on time. The scatter of masses of considered sources (up to the factor $1.5-2$) of SNe Ia is important and should be carefully studied with other sophisticated methods from theoretical point of view. Our ``game of parameters'' potentially explains the increased dimming of SNe Ia in the redshift range $z\approx 0.5-1$ by the changes in the ratio of ONe and CO WDs, i.e., to describe the observed accelerated expansion of the Universe in terms of the evolution of properties of SNe Ia instead of cosmological explanations. This example shows the extreme importance of theoretical studies of problems concerning SNe Ia, because evolutionary scenario and parameter games in nature potentially lead to confusions in their empirical standardization and, therefore, they can influence on cosmological conclusions.
△ Less
Submitted 31 July, 2023;
originally announced July 2023.
-
Direct coupling of nonlinear integrated cavities for all-optical reservoir computing
Authors:
Ivan Boikov,
Daniel Brunner,
Alfredo De Rossi
Abstract:
We consider theoretically a network of directly coupled optical microcavities to implement a space-multiplexed optical neural network in an integrated nanophotonic circuit. Nonlinear photonic network integrations based on direct coupling ensures a highly dense integration, reducing the chip footprint by several orders of magnitude compared to other implementations. Different nonlinear effects inhe…
▽ More
We consider theoretically a network of directly coupled optical microcavities to implement a space-multiplexed optical neural network in an integrated nanophotonic circuit. Nonlinear photonic network integrations based on direct coupling ensures a highly dense integration, reducing the chip footprint by several orders of magnitude compared to other implementations. Different nonlinear effects inherent to such microcavities are studied when used for realizing an all-optical autonomous computing substrate, here based on the reservoir computing concept. We provide an in-depth analysis of the impact of basic microcavity parameters on computational metrics of the system, namely, the dimensionality and the consistency. Importantly, we find that differences between frequencies and bandwidths of supermodes formed by the direct coupling is the determining factor of the reservoir's dimensionality and its scalability. The network's dimensionality can be improved with frequency-shifting nonlinear effects such as the Kerr effect, while two-photon absorption has an opposite effect. Finally, we demonstrate in simulation that the proposed reservoir is capable of solving the Mackey-Glass prediction and the optical signal recovery tasks at GHz timescale.
△ Less
Submitted 20 July, 2023;
originally announced July 2023.
-
Terahertz-Mediated Microwave-to-Optical Transduction
Authors:
Furkan Sahbaz,
James N. Eckstein,
Dale J. Van Harlingen,
Simeon I. Bogdanov
Abstract:
Transduction of quantum signals between the microwave and the optical ranges will unlock powerful hybrid quantum systems enabling information processing with superconducting qubits and low-noise quantum networking through optical photons. Most microwave-to-optical quantum transducers suffer from thermal noise due to pump absorption. We analyze the coupled thermal and wave dynamics in electro-optic…
▽ More
Transduction of quantum signals between the microwave and the optical ranges will unlock powerful hybrid quantum systems enabling information processing with superconducting qubits and low-noise quantum networking through optical photons. Most microwave-to-optical quantum transducers suffer from thermal noise due to pump absorption. We analyze the coupled thermal and wave dynamics in electro-optic transducers that use a two-step scheme based on an intermediate frequency state in the THz range. Our analysis, supported by numerical simulations, shows that the two-step scheme operating with a continuous pump offers near-unity external efficiency with a multi-order noise suppression compared to direct transduction. As a result, two-step electro-optic transducers may enable quantum noise-limited interfacing of superconducting quantum processors with optical channels at MHz-scale bitrates.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
Fast reconstruction of programmable integrated interferometers
Authors:
B. I. Bantysh,
K. G. Katamadze,
A. Yu. Chernyavskiy,
Yu. I. Bogdanov
Abstract:
Programmable linear optical interferometers are important for classical and quantum information technologies, as well as for building hardware-accelerated artificial neural networks. Recent results showed the possibility of constructing optical interferometers that could implement arbitrary transformations of input fields even in the case of high manufacturing errors. The building of detailed mode…
▽ More
Programmable linear optical interferometers are important for classical and quantum information technologies, as well as for building hardware-accelerated artificial neural networks. Recent results showed the possibility of constructing optical interferometers that could implement arbitrary transformations of input fields even in the case of high manufacturing errors. The building of detailed models of such devices drastically increases the efficiency of their practical use. The integral design of interferometers complicates its reconstruction since the internal elements are hard to address. This problem can be approached by using optimization algorithms [Opt. Express 29, 38429 (2021)]. In this paper, we present a novel efficient algorithm based on linear algebra only, which does not use computationally expensive optimization procedures. We show that this approach makes it possible to perform fast and accurate characterization of high-dimensional programmable integrated interferometers. Moreover, the method provides access to the physical characteristics of individual interferometer layers.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
High-precision tomography of ion qubits based on registration of fluorescent photons
Authors:
Yu. I. Bogdanov,
I. A. Dmitriev,
B. I. Bantysh,
N. A. Bogdanova,
V. F. Lukichev
Abstract:
We develop a new method for high-precision tomography of ion qubit registers under conditions of limited distinguishability of its logical states. It is not always possible to achieve low error rates during the readout of the quantum states of ion qubits due to the finite lifetime of excited levels, photon scattering, dark noise, low numerical aperture, etc. However, the model of fuzzy quantum mea…
▽ More
We develop a new method for high-precision tomography of ion qubit registers under conditions of limited distinguishability of its logical states. It is not always possible to achieve low error rates during the readout of the quantum states of ion qubits due to the finite lifetime of excited levels, photon scattering, dark noise, low numerical aperture, etc. However, the model of fuzzy quantum measurements makes it possible to ensure precise tomography of quantum states. To do this, we developed a fuzzy measurement model based on counting the number of fluorescent photons. A statistically adequate algorithm for the reconstruction of quantum states of ion qubit registers based on fuzzy measurement operators is proposed. The algorithm uses the complete information available in the experiment and makes it possible to account for systematic measurement errors associated with the limited distinguishability of the logical states of ion qubits. We show that the developed model, although computationally more complex, contains significantly more information about the state of the qubit and provides a higher accuracy of state reconstruction compared to the model based on the threshold algorithm.
△ Less
Submitted 6 July, 2023;
originally announced July 2023.
-
Universal kernel-type estimation of random fields
Authors:
Yu. Yu. Linke,
I. S. Borisov,
P. S. Ruzankin
Abstract:
Consistent weighted least square estimators are proposed for a wide class of nonparametric regression models with random regression function, where this real-valued random function of $k$ arguments is assumed to be continuous with probability 1. We obtain explicit upper bounds for the rate of uniform convergence in probability of the new estimators to the unobservable random regression function fo…
▽ More
Consistent weighted least square estimators are proposed for a wide class of nonparametric regression models with random regression function, where this real-valued random function of $k$ arguments is assumed to be continuous with probability 1. We obtain explicit upper bounds for the rate of uniform convergence in probability of the new estimators to the unobservable random regression function for both fixed or random designs. In contrast to the predecessors' results, the bounds for the convergence are insensitive to the correlation structure of the $k$-variate design points. As an application, we study the problem of estimating the mean and covariance functions of random fields with additive noise under dense data conditions. The theoretical results of the study are illustrated by simulation examples which show that the new estimators are more accurate in some cases than the Nadaraya--Watson ones. An example of processing real data on earthquakes in Japan in 2012--2021 is included.
△ Less
Submitted 1 July, 2023;
originally announced July 2023.
-
Balancing Risk and Reward: An Automated Phased Release Strategy
Authors:
Yufan Li,
Jialiang Mao,
Iavor Bo**ov
Abstract:
Phased releases are a common strategy in the technology industry for gradually releasing new products or updates through a sequence of A/B tests in which the number of treated units gradually grows until full deployment or deprecation. Performing phased releases in a principled way requires selecting the proportion of units assigned to the new release in a way that balances the risk of an adverse…
▽ More
Phased releases are a common strategy in the technology industry for gradually releasing new products or updates through a sequence of A/B tests in which the number of treated units gradually grows until full deployment or deprecation. Performing phased releases in a principled way requires selecting the proportion of units assigned to the new release in a way that balances the risk of an adverse effect with the need to iterate and learn from the experiment rapidly. In this paper, we formalize this problem and propose an algorithm that automatically determines the release percentage at each stage in the schedule, balancing the need to control risk while maximizing ramp-up speed. Our framework models the challenge as a constrained batched bandit problem that ensures that our pre-specified experimental budget is not depleted with high probability. Our proposed algorithm leverages an adaptive Bayesian approach in which the maximal number of units assigned to the treatment is determined by the posterior distribution, ensuring that the probability of depleting the remaining budget is low. Notably, our approach analytically solves the ramp sizes by inverting probability bounds, eliminating the need for challenging rare-event Monte Carlo simulation. It only requires computing means and variances of outcome subsets, making it highly efficient and parallelizable.
△ Less
Submitted 16 May, 2023;
originally announced May 2023.
-
Stability of solutions of systems of Volterra integral equations
Authors:
Ilya Boykov,
Vladimir Roudnev,
Alla Boykova
Abstract:
In this paper we propose new sufficient conditions for stability of solutions of systems of Volterra linear integral equations and systems of linear integro-differential Volterra equations. Solution stability conditions for systems of Volterra linear integral equations are studied with perturbed right hand sides of the equations. These new sufficient conditions are expressed in terms of logarithmi…
▽ More
In this paper we propose new sufficient conditions for stability of solutions of systems of Volterra linear integral equations and systems of linear integro-differential Volterra equations. Solution stability conditions for systems of Volterra linear integral equations are studied with perturbed right hand sides of the equations. These new sufficient conditions are expressed in terms of logarithmic norms of matrices consisting of coefficients of equations and derivatives of their kernels. For integro-differential Volterra equations we also provide sufficient conditions for stability of solutions when the initial conditions are perturbed.
△ Less
Submitted 22 April, 2023;
originally announced April 2023.
-
Design-Based Inference for Multi-arm Bandits
Authors:
Dae Woong Ham,
Iavor Bo**ov,
Michael Lindon,
Martin Tingley
Abstract:
Multi-arm bandits are gaining popularity as they enable real-world sequential decision-making across application areas, including clinical trials, recommender systems, and online decision-making. Consequently, there is an increased desire to use the available adaptively collected datasets to distinguish whether one arm was more effective than the other, e.g., which product or treatment was more ef…
▽ More
Multi-arm bandits are gaining popularity as they enable real-world sequential decision-making across application areas, including clinical trials, recommender systems, and online decision-making. Consequently, there is an increased desire to use the available adaptively collected datasets to distinguish whether one arm was more effective than the other, e.g., which product or treatment was more effective. Unfortunately, existing tools fail to provide valid inference when data is collected adaptively or require many untestable and technical assumptions, e.g., stationarity, iid rewards, bounded random variables, etc. Our paper introduces the design-based approach to inference for multi-arm bandits, where we condition the full set of potential outcomes and perform inference on the obtained sample. Our paper constructs valid confidence intervals for both the reward mean of any arm and the mean reward difference between any arms in an assumption-light manner, allowing the rewards to be arbitrarily distributed, non-iid, and from non-stationary distributions. In addition to confidence intervals, we also provide valid design-based confidence sequences, sequences of confidence intervals that have uniform type-1 error guarantees over time. Confidence sequences allow the agent to perform a hypothesis test as the data arrives sequentially and stop the experiment as soon as the agent is satisfied with the inference, e.g., the mean reward of an arm is statistically significantly higher than a desired threshold.
△ Less
Submitted 27 February, 2023;
originally announced February 2023.
-
Cyclops states in repulsive Kuramoto networks: the role of higher-order coupling
Authors:
V. O. Munyayev,
M. I. Bolotov,
L. A. Smirnov,
G. V. Osipov,
I. Belykh
Abstract:
Repulsive oscillator networks can exhibit multiple cooperative rhythms, including chimera and cluster splay states. Yet, understanding which rhythm prevails remains challenging. Here, we address this fundamental question in the context of Kuramoto-Sakaguchi networks of identical rotators with higher-order coupling. Through analysis and numerics, we show that three-cluster splay states with two dis…
▽ More
Repulsive oscillator networks can exhibit multiple cooperative rhythms, including chimera and cluster splay states. Yet, understanding which rhythm prevails remains challenging. Here, we address this fundamental question in the context of Kuramoto-Sakaguchi networks of identical rotators with higher-order coupling. Through analysis and numerics, we show that three-cluster splay states with two distinct coherent clusters and a solitary oscillator are the prevalent rhythms in networks with an odd number of units. We denote such tripod patterns cyclops states with the solitary oscillator reminiscent of the Cyclops's eye. As their mythological counterparts, the cyclops states are giants that dominate the system's phase space in weakly repulsive networks with first-order coupling. Astonishingly, the addition of the second or third harmonics to the Kuramoto coupling function makes the cyclops states global attractors practically across the full range of coupling's repulsion. At a more general level, our results suggest clues for finding dominant rhythms in repulsive physical and biological networks.
△ Less
Submitted 7 December, 2022;
originally announced December 2022.
-
Interface Capturing Flow Boiling Simulations in a Compact Heat Exchanger
Authors:
Anna Iskhakova,
Yoshiyuki Kondo,
Koichi Tanimoto,
Nam T. Dinh,
Igor A. Bolotnov
Abstract:
High-fidelity flow boiling simulations are conducted in a vertical minichannel with offset strip fins (OSF) using R113 as a working fluid. Finite-element code PHASTA coupled with level set method for interface capturing is employed to model multiple sequential bubble nucleation using transient three-dimensional approach. The code performance is validated against experiments for a single nucleation…
▽ More
High-fidelity flow boiling simulations are conducted in a vertical minichannel with offset strip fins (OSF) using R113 as a working fluid. Finite-element code PHASTA coupled with level set method for interface capturing is employed to model multiple sequential bubble nucleation using transient three-dimensional approach. The code performance is validated against experiments for a single nucleation site in a vertical rectangular channel. To test the code performance, the studies for a bubble departing from the wall in a minichannel with OSF are carried out first. Due to low heat flux values applied to the channel (1 kW/m2) contribution from the microlayer is not considered. The influence of surface characteristics such as contact angle and liquid superheat on bubble dynamics are analyzed. Local two-phase heat transfer coefficient is also investigated. To achieve higher void fractions, two conic nucleation cavities are introduced in the same channel with OSF. Observed bubble characteristics (departure diameter, bubble departure frequency) are evaluated and bubble trajectories are presented and analyzed. Local heat transfer coefficient is evaluated for each simulation case. The results show approximately 2.5 times increase in the local heat transfer coefficient when individual bubbles approach the wall. With a smaller bubble nucleation diameter, heat transfer coefficient increases by two times. The current work shows the capability of modeling flow boiling phenomena in such complex geometry as OSF as well as data processing advantages of high-resolution simulations.
△ Less
Submitted 18 November, 2022;
originally announced November 2022.
-
The continualization approach to the on-line hypergraph coloring
Authors:
Margarita Akhmejanova,
Ilya Bogdanov,
Grigory Chelnokov
Abstract:
The paper deals with an algorithmic problem concerning combinatorial game theory. Here we introduce and analyze a continuous generalization of Chip Game from the work of Duraj, Gutowski and Kozik. The general Chip game was introduced by Aslam and Dhagat to model on-line type problems on hypergraph coloring.
The paper deals with an algorithmic problem concerning combinatorial game theory. Here we introduce and analyze a continuous generalization of Chip Game from the work of Duraj, Gutowski and Kozik. The general Chip game was introduced by Aslam and Dhagat to model on-line type problems on hypergraph coloring.
△ Less
Submitted 18 November, 2022; v1 submitted 17 November, 2022;
originally announced November 2022.
-
Operator estimates for non-periodically perforated domains: disappearance of cavities
Authors:
D. I. Borisov
Abstract:
We consider a boundary value problem for a general second order linear equation in a perforated domain. The perforation is made by small cavities, a minimal distance between the cavities is also small. We impose minimal natural geometric conditions on the shapes of the cavities and no conditions on their distribution in the domain. On the boundaries of the cavities a nonlinear Robin condition is i…
▽ More
We consider a boundary value problem for a general second order linear equation in a perforated domain. The perforation is made by small cavities, a minimal distance between the cavities is also small. We impose minimal natural geometric conditions on the shapes of the cavities and no conditions on their distribution in the domain. On the boundaries of the cavities a nonlinear Robin condition is imposed. The sizes of the cavities and the minimal distance between them are supposed to satisfy a certain simple condition ensuring that under the homogenization the cavities disappear and we obtain a similar problem in a non-perforated domain. Our main results state the convergence of the solution of the perturbed problem to that of the homogenized one in $W_2^1$- and $L_2$-norms uniformly in $L_2$-norm of the right hand side in the equation and provide the estimates for the convergence rates. We also discuss the order sharpness of these estimates.
△ Less
Submitted 23 October, 2022;
originally announced October 2022.
-
Design-Based Confidence Sequences: A General Approach to Risk Mitigation in Online Experimentation
Authors:
Dae Woong Ham,
Iavor Bo**ov,
Michael Lindon,
Martin Tingley
Abstract:
Randomized experiments have become the standard method for companies to evaluate the performance of new products or services. In addition to augmenting managers' decision-making, experimentation mitigates risk by limiting the proportion of customers exposed to innovation. Since many experiments are on customers arriving sequentially, a potential solution is to allow managers to "peek" at the resul…
▽ More
Randomized experiments have become the standard method for companies to evaluate the performance of new products or services. In addition to augmenting managers' decision-making, experimentation mitigates risk by limiting the proportion of customers exposed to innovation. Since many experiments are on customers arriving sequentially, a potential solution is to allow managers to "peek" at the results when new data becomes available and stop the test if the results are statistically significant. Unfortunately, peeking invalidates the statistical guarantees for standard statistical analysis and leads to uncontrolled type-1 error. Our paper provides valid design-based confidence sequences, sequences of confidence intervals with uniform type-1 error guarantees over time for various sequential experiments in an assumption-light manner. In particular, we focus on finite-sample estimands defined on the study participants as a direct measure of the incurred risks by companies. Our proposed confidence sequences are valid for a large class of experiments, including multi-arm bandits, time series, and panel experiments. We further provide a variance reduction technique incorporating modeling assumptions and covariates. Finally, we demonstrate the effectiveness of our proposed approach through a simulation study and three real-world applications from Netflix. Our results show that by using our confidence sequence, harmful experiments could be stopped after only observing a handful of units; for instance, an experiment that Netflix ran on its sign-up page on 30,000 potential customers would have been stopped by our method on the first day before 100 observations.
△ Less
Submitted 24 May, 2023; v1 submitted 16 October, 2022;
originally announced October 2022.
-
Anytime-Valid Linear Models and Regression Adjusted Causal Inference in Randomized Experiments
Authors:
Michael Lindon,
Dae Woong Ham,
Martin Tingley,
Iavor Bo**ov
Abstract:
Linear regression adjustment is commonly used to analyse randomised controlled experiments due to its efficiency and robustness against model misspecification. Current testing and interval estimation procedures leverage the asymptotic distribution of such estimators to provide Type-I error and coverage guarantees that hold only at a single sample size. Here, we develop the theory for the anytime-v…
▽ More
Linear regression adjustment is commonly used to analyse randomised controlled experiments due to its efficiency and robustness against model misspecification. Current testing and interval estimation procedures leverage the asymptotic distribution of such estimators to provide Type-I error and coverage guarantees that hold only at a single sample size. Here, we develop the theory for the anytime-valid analogues of such procedures, enabling linear regression adjustment in the sequential analysis of randomised experiments. We first provide sequential $F$-tests and confidence sequences for the parametric linear model, which provide time-uniform Type-I error and coverage guarantees that hold for all sample sizes. We then relax all linear model parametric assumptions in randomised designs and provide nonparametric model-free sequential tests and confidence sequences for treatment effects. This formally allows experiments to be continuously monitored for significance, stopped early, and safeguards against statistical malpractices in data collection. A particular feature of our results is their simplicity. Our test statistics and confidence sequences all emit closed-form expressions, which are functions of statistics directly available from a standard linear regression table. We illustrate our methodology with the sequential analysis of software A/B experiments at Netflix, performing regression adjustment with pre-treatment outcomes.
△ Less
Submitted 7 February, 2024; v1 submitted 16 October, 2022;
originally announced October 2022.
-
Domain Engineering for Applied Monocular Reconstruction of Parametric Faces
Authors:
Igor Borovikov,
Karine Levonyan,
Jon Rein,
Pawel Wrotek,
Nitish Victor
Abstract:
Many modern online 3D applications and video games rely on parametric models of human faces for creating believable avatars. However, manually reproducing someone's facial likeness with a parametric model is difficult and time-consuming. Machine Learning solution for that task is highly desirable but is also challenging. The paper proposes a novel approach to the so-called Face-to-Parameters probl…
▽ More
Many modern online 3D applications and video games rely on parametric models of human faces for creating believable avatars. However, manually reproducing someone's facial likeness with a parametric model is difficult and time-consuming. Machine Learning solution for that task is highly desirable but is also challenging. The paper proposes a novel approach to the so-called Face-to-Parameters problem (F2P for short), aiming to reconstruct a parametric face from a single image. The proposed method utilizes synthetic data, domain decomposition, and domain adaptation to address multifaceted challenges in solving the F2P. The open-sourced codebase illustrates our key observations and provides means for quantitative evaluation. The presented approach proves practical in an industrial application; it improves accuracy and allows for more efficient models training. The techniques have the potential to extend to other types of parametric models.
△ Less
Submitted 6 September, 2022;
originally announced September 2022.
-
Applied monocular reconstruction of parametric faces with domain engineering
Authors:
Igor Borovikov,
Karine Levonyan,
Jon Rein,
Pawel Wrotek,
Nitish Victor
Abstract:
Many modern online 3D applications and videogames rely on parametric models of human faces for creating believable avatars. However, manual reproduction of someone's facial likeness with a parametric model is difficult and time-consuming. Machine Learning solution for that task is highly desirable but is also challenging. The paper proposes a novel approach to the so-called Face-to-Parameters prob…
▽ More
Many modern online 3D applications and videogames rely on parametric models of human faces for creating believable avatars. However, manual reproduction of someone's facial likeness with a parametric model is difficult and time-consuming. Machine Learning solution for that task is highly desirable but is also challenging. The paper proposes a novel approach to the so-called Face-to-Parameters problem (F2P for short), aiming to reconstruct a parametric face from a single image. The proposed method utilizes synthetic data, domain decomposition, and domain adaptation for addressing multifaceted challenges in solving the F2P. The open-sourced codebase illustrates our key observations and provides means for quantitative evaluation. The presented approach proves practical in an industrial application; it improves accuracy and allows for more efficient models training. The techniques have the potential to extend to other types of parametric models.
△ Less
Submitted 4 August, 2022;
originally announced August 2022.
-
Hybrid quantum nanophotonic devices with color centers in nanodiamonds
Authors:
Swetapadma Sahoo,
Valery Davydov,
Viatcheslav Agafonov,
Simeon I. Bogdanov
Abstract:
Optically active color centers in nanodiamonds offer unique opportunities for generating and manipulating quantum states of light. These mechanically, chemically, and optically robust emitters can be produced in mass quantities, deterministically manipulated, and integrated with a variety of quantum device geometries and photonic material platforms. Nanodiamonds with deeply sub-wavelength sizes co…
▽ More
Optically active color centers in nanodiamonds offer unique opportunities for generating and manipulating quantum states of light. These mechanically, chemically, and optically robust emitters can be produced in mass quantities, deterministically manipulated, and integrated with a variety of quantum device geometries and photonic material platforms. Nanodiamonds with deeply sub-wavelength sizes coupled to nanophotonic structures feature a giant enhancement of light-matter interaction, promising high bitrates in quantum photonic systems. We review the recent advances in controlled techniques for synthesizing, selecting, and manipulating nanodiamond-based color centers for their integration with quantum nanophotonic devices.
△ Less
Submitted 4 August, 2022; v1 submitted 25 July, 2022;
originally announced July 2022.
-
Helson zeta functions for characters with finitely many values
Authors:
I. Bochkov
Abstract:
We show that the analytic continuations of Helson zeta functions $ ζ_χ(s)= \sum_1^{\infty}χ(n)n^{-s} $ can have essentially arbitrary poles and zeroes in the strip $ 21/40 < \Re s < 1 $ (unconditionally), and in the whole critical strip $ 1/2 < \Re s <1 $ under Riemann Hypothesis for the function $ χ$ taking values in cubic roots of unity. If the sets are symmetric with respect to the real axis, t…
▽ More
We show that the analytic continuations of Helson zeta functions $ ζ_χ(s)= \sum_1^{\infty}χ(n)n^{-s} $ can have essentially arbitrary poles and zeroes in the strip $ 21/40 < \Re s < 1 $ (unconditionally), and in the whole critical strip $ 1/2 < \Re s <1 $ under Riemann Hypothesis for the function $ χ$ taking values in cubic roots of unity. If the sets are symmetric with respect to the real axis, the same can be achieved with $ χ$ taking values $ \pm 1 $.
△ Less
Submitted 18 July, 2022;
originally announced July 2022.
-
Universal local linear kernel estimators in nonparametric regression
Authors:
Yuliana Linke,
Igor Borisov,
Pavel Ruzankin,
Vladimir Kutsenko,
Elena Yarovaya,
Svetlana Shalnova
Abstract:
New local linear estimators are proposed for a wide class of nonparametric regression models. The estimators are uniformly consistent regardless of satisfying traditional conditions of depen\-dence of design elements.
The estimators are the solutions of a specially weighted least-squares method. The design can be fixed or random and does not need to meet classical regularity or independence cond…
▽ More
New local linear estimators are proposed for a wide class of nonparametric regression models. The estimators are uniformly consistent regardless of satisfying traditional conditions of depen\-dence of design elements.
The estimators are the solutions of a specially weighted least-squares method. The design can be fixed or random and does not need to meet classical regularity or independence conditions. As an application, several estimators are constructed for the mean of dense functional data. The theoretical results of the study are illustrated by simulations. An example of processing real medical data from the epidemiological cross-sectional study ESSE-RF is included. We compare the new estimators with the estimators best known for such studies.
△ Less
Submitted 2 July, 2022;
originally announced July 2022.
-
Homogenization for operators with arbitrary perturbations in coefficients
Authors:
D. I. Borisov
Abstract:
We consider a general second order matrix operator in a multi-dimensional domain subject to a classical boundary condition. This operator is perturbed by a first order differential operator, the coefficients of which depend arbitrarily on a small multi-dimensional parameter. We study the existence of a limiting (homogenized) operator in the sense of the norm resolvent convergence for such perturbe…
▽ More
We consider a general second order matrix operator in a multi-dimensional domain subject to a classical boundary condition. This operator is perturbed by a first order differential operator, the coefficients of which depend arbitrarily on a small multi-dimensional parameter. We study the existence of a limiting (homogenized) operator in the sense of the norm resolvent convergence for such perturbed operator. The first part of our main results states that the norm resolvent convergence is equivalent to the convergence of the coefficients in the perturbing operator in certain space of multipliers. If this is the case, the resolvent of the perturbed operator possesses a complete asymptotic expansion, which converges uniformly to the resolvent. The second part of our results says that the convergence in the mentioned spaces of multipliers is equivalent to the convergence of certain local mean values over small pieces of the considered domains. These results are supported by series of examples. We also provide a series of ways of generating new non-periodically oscillating perturbations, which finally leads to a very wide class of perturbations, for which our results are applicable.
△ Less
Submitted 2 October, 2022; v1 submitted 19 June, 2022;
originally announced June 2022.
-
About MathPartner web service
Authors:
Gennadi Malaschonok,
Ivan Borisov
Abstract:
The report is devoted to the current state of the MathPartner computer algebra web project. We discuss the main directions of development of the project and give several examples of using it to solve selected problems.
The report is devoted to the current state of the MathPartner computer algebra web project. We discuss the main directions of development of the project and give several examples of using it to solve selected problems.
△ Less
Submitted 25 April, 2022;
originally announced June 2022.
-
Population synthesis of AX J1745.6-2901 X-ray nova type binaries with rapidly decreasing orbital periods
Authors:
A. I. Bogomazov,
A. M. Cherepashchuk,
T. S. Khruzina,
A. V. Tutukov
Abstract:
The neutron star low mass X-ray binary (LMXB) AX J1745.6-2901 was detected an anomalously fast decrease of orbital period. The decreasing rate of orbital period exceeds the contribution of all processes extracting angular momentum from the binary star in standard model. Using SCENARIO MACHINE code we conducted a population synthesis study of X-ray novae with neutron stars to investigate a possible…
▽ More
The neutron star low mass X-ray binary (LMXB) AX J1745.6-2901 was detected an anomalously fast decrease of orbital period. The decreasing rate of orbital period exceeds the contribution of all processes extracting angular momentum from the binary star in standard model. Using SCENARIO MACHINE code we conducted a population synthesis study of X-ray novae with neutron stars to investigate a possible formation and evolution of such binaries. Such close LMXBs should experience a preceding common envelope stage, in which the magnetic fields of the low mass main-sequence donor stars can be dramatically amplified. Our calculations show that the magnetic stellar wind of the optical companion can efficiently extract angular momentum from the binary systems, and produce the observed orbital-period derivatives of AX J1745.6-2901 and black hole LMXBs. The estimated values of the required magnetic field induction are following: $B_\textrm{d}\approx 400$ G (AX~J1745.6-2901), $B_\textrm{d}\approx 1500$ G (KV UMa), $B_\textrm{d}\approx 400$ G (A0620-00), $B_\textrm{d}\approx 1800$ G (Nova Muscae). We successfully reproduced the current observational abundance of such anomalous neutron star X-ray novae, and computed the appropriate value of the parameter of magnetic braking $λ_\textrm{MSW}$ ($0.8-0.6$ for Roche lobe filling stars and $0.4-0.15$ for binaries with partial Roche lobe filling).
△ Less
Submitted 8 June, 2022;
originally announced June 2022.
-
Operator estimates for non-periodically perforated domains with Dirichlet and nonlinear Robin conditions: strange term
Authors:
Denis I. Borisov
Abstract:
We consider a boundary value problem for a general second order linear equation in a domain with a fine perforation. The latter is made by small cavities; both the shapes of the cavities and their distribution are arbitrary. The boundaries of the cavities are subject either to a Dirichlet or a nonlinear Robin condition. On the perforation, certain rather weak conditions are imposed to ensure that…
▽ More
We consider a boundary value problem for a general second order linear equation in a domain with a fine perforation. The latter is made by small cavities; both the shapes of the cavities and their distribution are arbitrary. The boundaries of the cavities are subject either to a Dirichlet or a nonlinear Robin condition. On the perforation, certain rather weak conditions are imposed to ensure that under the homogenization we obtain a similar problem in a non-perforated domain with an additional potential in the equation usually called a strange term. Our main results state the convergence of the solution of the perturbed problem to that of the homogenized one in $W_2^1$- and $L_2$-norms uniformly in $L_2$-norm of the right hand side in the equation. The estimates for the convergence rates are established and their order sharpness is discussed.
△ Less
Submitted 23 August, 2022; v1 submitted 19 May, 2022;
originally announced May 2022.
-
Operator estimates for non-periodically perforated domains with Dirichlet and nonlinear Robin conditions: vanishing limit
Authors:
D. I. Borisov,
J. Kriz
Abstract:
We consider a general second order linear elliptic equation in a finely perforated domain. The shapes of cavities and their distribution in the domain are arbitrary and non-periodic; they are supposed to satisfy minimal natural geometric conditions. On the boundaries of the cavities we impose either the Dirichlet or a nonlinear Robin condition; the choice of the type of the boundary condition for…
▽ More
We consider a general second order linear elliptic equation in a finely perforated domain. The shapes of cavities and their distribution in the domain are arbitrary and non-periodic; they are supposed to satisfy minimal natural geometric conditions. On the boundaries of the cavities we impose either the Dirichlet or a nonlinear Robin condition; the choice of the type of the boundary condition for each cavity is arbitrary. Then we suppose that for some cavities the nonlinear Robin condition is sign-definite in certain sense. Provided such cavities and ones with the Dirichlet condition are distributed rather densely in the domain and the characteristic sizes of the cavities and the minimal distances between the cavities satisfy certain simple condition, we show that a solution to our problem tends to zero as the perforation becomes finer. Our main result are order sharp estimates for the $L_2$- and $W_2^1$-norms of the solution uniform in the $L_2$-norm of the right hand side in the equation.
△ Less
Submitted 23 August, 2022; v1 submitted 10 April, 2022;
originally announced April 2022.
-
Direct Numerical Simulation of Low and Unitary Prandtl Number Fluids in Reactor Downcomer Geometry
Authors:
Cheng-Kai Tai,
Tri Nguyen,
Arsen S. Iskhakov,
Elia Merzari,
Nam Dinh,
Igor A. Bolotnov
Abstract:
Buoyancy effect on low-flow condition convective heat transfer of non-conventional coolants, such as liquid metal and molten salts, is a crucial safety factor to advanced reactors under transient or accidental scenarios. The distinct heat transfer characteristics of non-unitary Prandtl fluids and the inherent complexity of the low-flow mixed convection phenomena requires the development of novel t…
▽ More
Buoyancy effect on low-flow condition convective heat transfer of non-conventional coolants, such as liquid metal and molten salts, is a crucial safety factor to advanced reactors under transient or accidental scenarios. The distinct heat transfer characteristics of non-unitary Prandtl fluids and the inherent complexity of the low-flow mixed convection phenomena requires the development of novel turbulent and heat transfer models that are adaptive to different spatiotemporal scales involved in the mixed convection heat transfer. In this work, direct numerical simulation of low-flow mixed convection is carried out at low-to-unitary Prandtl numbers that are of industrial interest. Time-averaged statistics, turbulent Prandtl number, as well as time signals are analyzed to investigate mixed convection phenomenon. From the time-averaged statistics, buoyant plume altered velocity boundary layer as well as the intensity of the fluctuation near both walls and channel centerline. Buoyancy effect also rendered different degree of convective heat transfer enhancement and impairment depends on Prandtl and Richardson number. Analysis of time series was conducted on the sodium mixed convection case to emphasize on the low-Pr mixed convection behavior at transition region. Resulting power spectra density and wavelet spectrogram suggests possible large convective structure in transition region. Future work will focus on providing broader data coverage on Pr-Re-Ri parameter space to facilitate more comprehensive analysis of mixed convection.
△ Less
Submitted 1 April, 2022;
originally announced April 2022.
-
Direct Numerical Simulation of High Prandtl Number Fluid Flow in the Downcomer of an Advanced Reactor
Authors:
Tri Nguyen,
Elia Merzari,
Cheng-Kai Tai,
Igor A. Bolotnov
Abstract:
The passive safety is a crucial feature of advanced nuclear reactor (Gen IV) design. During loss of power scenarios, the downcomer plays a crucial role. The fluid-flow behavior in the downcomer can involve forced to mixed to natural convection and characterizing the heat transfer for these changing regimes is a daunting challenge. High-resolution heat transfer numerical database can potentially su…
▽ More
The passive safety is a crucial feature of advanced nuclear reactor (Gen IV) design. During loss of power scenarios, the downcomer plays a crucial role. The fluid-flow behavior in the downcomer can involve forced to mixed to natural convection and characterizing the heat transfer for these changing regimes is a daunting challenge. High-resolution heat transfer numerical database can potentially support the development of precise and affordable reduced resolution heat transfer models. These models can be designed based on a multiscale hierarchy developed as part of the recently DOE-funded center of excellence for thermal-fluids applications in nuclear energy. In this paper, the downcomer is simplified to heated parallel plates and High Prandtl number fluid (FLiBe) is considered for all simulations. The calculations are performed for a wide range of Richardson number from 0 to 400 at 2 different FLiBe Prandtl numbers (12 and 24) which result in 40 simulated Cases in total. Time averaged and time series statistics as well as Nusselt number correlations are investigated to illuminate the mixed convection behaviors. The calculated database will be instrumental in understanding the flow behaviors in the downcomer. Ultimately, we aimed to evaluate existing heat transfer correlations and some modifications will be proposed for Cases where no satisfactory choice is available.
△ Less
Submitted 26 March, 2022;
originally announced March 2022.
-
Norm convergence for problems with perforation along a given manifold with nonlinear Robin condition on boundaries of cavities
Authors:
D. I. Borisov,
A. I. Mukhametrakhimova
Abstract:
In the work we consider a boundary value problem for a second order equation with variable coefficients in a multi-dimensional domain perforated by small cavities closely spaced along a given manifold. We assume that the linear sizes of all cavities are of a same order of smallness, while their shapes and distributions are arbitrary. The boundaries of the cavities are subject to a nonlinear Robin…
▽ More
In the work we consider a boundary value problem for a second order equation with variable coefficients in a multi-dimensional domain perforated by small cavities closely spaced along a given manifold. We assume that the linear sizes of all cavities are of a same order of smallness, while their shapes and distributions are arbitrary. The boundaries of the cavities are subject to a nonlinear Robin condition. We prove that the solution of the perturbed problem converges to that of the homogenized problem in norm $L_2$ and $W_2^1$ uniformly in $L_2$-norm of the right hand side in the equation. We also establish the estimates for the convergence rates.
△ Less
Submitted 22 February, 2022;
originally announced February 2022.
-
On spectra of convolution operators with potentials
Authors:
Denis I. Borisov,
Andrey L. Piatnitski,
Elena A. Zhizhina
Abstract:
This paper focuses on the spectral properties of a bounded self-adjoint operator in $L_2(\mathds R^d)$ being the sum of a convolution operator with an integrable convolution kernel and an operator of multiplication by a continuous potential converging to zero at infinity. We study both the essential and the discrete spectra of this operator. It is shown that the essential spectrum of the sum is th…
▽ More
This paper focuses on the spectral properties of a bounded self-adjoint operator in $L_2(\mathds R^d)$ being the sum of a convolution operator with an integrable convolution kernel and an operator of multiplication by a continuous potential converging to zero at infinity. We study both the essential and the discrete spectra of this operator. It is shown that the essential spectrum of the sum is the union of the essential spectrum of the convolution operator and the image of the potential. We then provide a number of sufficient conditions for the existence of discrete spectrum and obtain lower and upper bounds for the number of discrete eigenvalues. Special attention is paid to the case of operators possessing countably many points of the discrete spectrum. We also compare the spectral properties of the operators considered in this work with those of classical Schrödinger operators.
△ Less
Submitted 12 January, 2022;
originally announced January 2022.
-
Measurement of polarization quantum states under chromatic aberration conditions
Authors:
Yu. I. Bogdanov,
B. I. Bantysh,
N. A. Bogdanova,
M. I. Shakirov,
V. F. Lukichev
Abstract:
The wave plate is a basic device for transforming and measuring the polarization states of light. It is known that the transformation of light by means of two wave plates makes it possible to measure the state of polarization in an arbitrary basis. The finite spectral width of the light, however, leads to a chromatic aberration of the polarization quantum transformation caused by the parasitic dis…
▽ More
The wave plate is a basic device for transforming and measuring the polarization states of light. It is known that the transformation of light by means of two wave plates makes it possible to measure the state of polarization in an arbitrary basis. The finite spectral width of the light, however, leads to a chromatic aberration of the polarization quantum transformation caused by the parasitic dispersion of the birefringence of the plate material. This causes systematic errors in the tomography of quantum polarization states and significantly reduces its accuracy. This study is a development of our work1, in which an adequate model for quantum measurements of polarization qubits under chromatic aberration was first formulated. This work includes a generalization of the results obtained earlier for the cases of two-qubit states. Along with examples of random states those uniformly distributed over the Haar measure are considered. Using a matrix of complete information, it is quantitatively traced how the presence of chromatic aberrations under conditions of a finite spectral width of light leads to the loss of information in quantum measurements. It is shown that the use of the developed model of fuzzy measurements instead of the model of standard projection measurements makes it possible to suppress systematic errors of quantum tomography even when using high-order wave plates. It turns out that the fuzzy measurement model can give a significant increase in the reconstruction accuracy compared to the standard measurement model.
△ Less
Submitted 9 January, 2022;
originally announced January 2022.
-
Study of decoherence of a superposition of macroscopic quantum states by means the consideration of a multimode state of a Schrodinger cat
Authors:
D. V. Fastovets,
Yu. I. Bogdanov,
N. A. Bogdanova,
V. F. Lukichev
Abstract:
Quantum Schrodinger cat states are of great interest in quantum communications and quantum optics. These states are used in various scientific fields such as quantum computing, quantum error correction and high-precision measurements. The analysis of the Schrodinger cat states coherence is an important task for their complete practical application. Our developed approach makes it possible to estim…
▽ More
Quantum Schrodinger cat states are of great interest in quantum communications and quantum optics. These states are used in various scientific fields such as quantum computing, quantum error correction and high-precision measurements. The analysis of the Schrodinger cat states coherence is an important task for their complete practical application. Our developed approach makes it possible to estimate the coherence of the quantum Schrodinger cat state of arbitrary dimension, as well as to find the interference visibility of the state - an important optical characteristic. The obtained simple quantitative relationship between coherence and the Schmidt number, as well as the developed approach of reducing the multidimensional quantum cat state to a two-mode analog allow us to analyze macroscopic states formed by a large number of modes. Several explicit formulas for the reduced states that arise after measuring of some modes of the considered multimode system are obtained. The research results have significant application and can be used in the development of high-dimensional quantum information processing systems.
△ Less
Submitted 9 January, 2022;
originally announced January 2022.
-
High-fidelity tracking of the evolution of multilevel quantum states
Authors:
Yu. I. Bogdanov,
N. A. Bogdanova,
Yu. A. Kuznetsov,
V. F. Lukichev
Abstract:
The method of quantum tomography, which allows us to track with high accuracy the evolution of multilevel quantum systems (qudits) in Hilbert spaces of various dimensions is presented. The developed algorithms for quantum control are based on the use of the spinor representation of the Lorentz transformation group. In the simplest case of one-qubit states, it turns out that, in addition to three-d…
▽ More
The method of quantum tomography, which allows us to track with high accuracy the evolution of multilevel quantum systems (qudits) in Hilbert spaces of various dimensions is presented. The developed algorithms for quantum control are based on the use of the spinor representation of the Lorentz transformation group. In the simplest case of one-qubit states, it turns out that, in addition to three-dimensional rotations on the Bloch sphere, one can introduce four-dimensional Lorentz pseudorotations, similar to the transformations of the special theory of relativity. We show that feedback through weakly perturbing adaptive quantum measurements turns out to be capable of providing high-precision control of the quantum system, while introducing only weak perturbations into the initial quantum state. It turns out that, together with the control of a quantum system through its weak perturbation, the developed algorithms for controlling the evolution of the state of a quantum system can be super-efficient, providing a higher measurement accuracy than any standard POVM (Positive-Operator Valued Measure) protocols. The results of the study are important for the development of optimal adaptive methods for quantum states and operations controlling. The results obtained are essential for the development of high-precision control methods for quantum information technologies.
△ Less
Submitted 9 January, 2022;
originally announced January 2022.
-
Quantum tomography for quantum systems optimization
Authors:
B. I. Bantysh,
Yu. I. Bogdanov
Abstract:
Debugging quantum states transformations is an important task of modern quantum computing. The use of quantum tomography for these purposes significantly expands the range of possibilities. However, the presence of preparation and measurement errors complicates the practical use of this procedure. In this work, we investigate the possibility of estimating these errors from experiment. These estima…
▽ More
Debugging quantum states transformations is an important task of modern quantum computing. The use of quantum tomography for these purposes significantly expands the range of possibilities. However, the presence of preparation and measurement errors complicates the practical use of this procedure. In this work, we investigate the possibility of estimating these errors from experiment. These estimates are subsequently used to build a robust quantum tomography model. The model allows one to accurately reconstruct unitary errors of single-qubit gates. We show that, having such imperfect single-qubit gates with pre-estimated errors, one can obtain transformations close to ideal ones. A similar approach can also significantly mitigate single-qubit gates cross-talk.
△ Less
Submitted 10 January, 2022;
originally announced January 2022.
-
Comparative analysis of various protocols for high-precision tomography of qudits
Authors:
Yu. I. Bogdanov,
B. I. Bantysh,
N. A. Bogdanova,
K. B. Koksharov,
V. F. Lukichev
Abstract:
Quantum tomography is an important tool for obtaining information about the quantum state from experimental data. In this study, we conduct a comparative analysis of various quantum tomography protocols, including protocols based on highly symmetric sets of state vectors, on mutually unbiased bases (MUB), and two-level transformations. Using the universal distribution for the fidelity of quantum s…
▽ More
Quantum tomography is an important tool for obtaining information about the quantum state from experimental data. In this study, we conduct a comparative analysis of various quantum tomography protocols, including protocols based on highly symmetric sets of state vectors, on mutually unbiased bases (MUB), and two-level transformations. Using the universal distribution for the fidelity of quantum state tomography, we estimate the fidelity and efficiency of quantum measurements for qudits of various dimensions as applied to a set of random states uniformly distributed over the Haar measure.
△ Less
Submitted 9 January, 2022;
originally announced January 2022.
-
High-fidelity tomography of fluorescent ion qubits under conditions of limited discrimination between bright and dark levels
Authors:
Yu. I. Bogdanov,
B. I. Bantysh,
N. A. Bogdanova,
I. A. Dmitriev,
V. F. Lukichev
Abstract:
The present work is devoted to the development of a method for high-precision tomography of ion qubit registers under conditions of limited distinguishability of the states of a logical value 0 and a logical value 1. In the considered ion qubits, the identification of the quantum state is achieved by measuring the fluorescence of the ion by repeated excitation of the cyclic transition, which inclu…
▽ More
The present work is devoted to the development of a method for high-precision tomography of ion qubit registers under conditions of limited distinguishability of the states of a logical value 0 and a logical value 1. In the considered ion qubits, the identification of the quantum state is achieved by measuring the fluorescence of the ion by repeated excitation of the cyclic transition, which includes only the lower energy state that sets a logical value 0 and becomes bright, but does not include the upper metastable state that remains dark and sets logical value 1. It is important to note that it is not always possible to achieve low levels of registration errors due to the finite lifetime of excited levels, photon scattering, dark noise, low numerical aperture values, etc. However, even under such conditions, with use of the model of fuzzy quantum measurements, it is possible to provide precise control of quantum states. We show that a model that is characterized by relatively high levels of errors under conditions, where we have a reliable statistical model of their occurrence, is more accurate than the case when the considered errors are small, but we do not have an adequate statistical model for the occurrence of these errors. In the given illustrative examples, we show that the factor of reducing the loss of accuracy with the use of the model of fuzzy measurements can reach values of the order of 1000 or more in comparison with standard measurements. The obtained results are essential for the development of high-precision methods for controlling the technology of quantum computing on the ion platform.
△ Less
Submitted 9 January, 2022;
originally announced January 2022.
-
Study of the effect of quantum noise on the accuracy of the Schrodinger equation simulation on a quantum computer using the Zalka-Wiesner method
Authors:
Yu. I. Bogdanov,
N. A. Bogdanova,
D. V. Fastovets,
V. F. Lukichev
Abstract:
The study of the effect of quantum noise on the accuracy of modeling quantum systems on a quantum computer using the Zalka-Wiesner method is carried out. The efficiency of the developed methods and algorithms is demonstrated by the example of solving the nonstationary Schrodinger equation with allowance for quantum noise for a particle moving in the Poschl-Teller potential. The analysis and predic…
▽ More
The study of the effect of quantum noise on the accuracy of modeling quantum systems on a quantum computer using the Zalka-Wiesner method is carried out. The efficiency of the developed methods and algorithms is demonstrated by the example of solving the nonstationary Schrodinger equation with allowance for quantum noise for a particle moving in the Poschl-Teller potential. The analysis and prediction of accuracy for the Zalka-Wiesner method are carried out taking into account the complexity of the quantum system and the strength of quantum noise. In our opinion, the considered problem provides a useful test for assessing the quality and efficiency of quantum computing devices on various physical platforms currently being developed. The obtained results are essential for the development of high-precision methods for controlling the technologies of quantum computations.
△ Less
Submitted 9 January, 2022;
originally announced January 2022.
-
Quantum measurements and high-precision control of quantum states
Authors:
Yu. I. Bogdanov
Abstract:
The report presents a general approach for estimating quantum information technologies by means of fuzzy quantum measurements. The developed methods are used for precision reconstruction of quantum states under conditions of significant influence of decoherence and quantum noise. Monitoring of the amount of information about quantum states and their parameters, including the loss of information ca…
▽ More
The report presents a general approach for estimating quantum information technologies by means of fuzzy quantum measurements. The developed methods are used for precision reconstruction of quantum states under conditions of significant influence of decoherence and quantum noise. Monitoring of the amount of information about quantum states and their parameters, including the loss of information caused by the effect of quantum noise, is considered. Examples of the developed approach as applied to readout errors and phase relaxation are presented.
△ Less
Submitted 9 January, 2022;
originally announced January 2022.
-
Covering three-tori with cubes
Authors:
Ilya Bogdanov,
Oleg Grigoryan,
Maksim Zhukovskii
Abstract:
Let $μ(\varepsilon)$ be the minimum number of cubes of side $\varepsilon$ needed to cover the unit three-torus $[\mathbb{R}/\mathbb{Z}]^3$. We prove new lower and upper bounds for $μ(\varepsilon)$ and find the exact value for all $\varepsilon\geq\frac{7}{15}$ and all $\varepsilon\in\left[\frac{1}{r+1/(r^2+r+1)},\frac{1}{r-1/(r^2-1)}\right)$ for any integer $r\geq 2$.
Let $μ(\varepsilon)$ be the minimum number of cubes of side $\varepsilon$ needed to cover the unit three-torus $[\mathbb{R}/\mathbb{Z}]^3$. We prove new lower and upper bounds for $μ(\varepsilon)$ and find the exact value for all $\varepsilon\geq\frac{7}{15}$ and all $\varepsilon\in\left[\frac{1}{r+1/(r^2+r+1)},\frac{1}{r-1/(r^2-1)}\right)$ for any integer $r\geq 2$.
△ Less
Submitted 6 November, 2022; v1 submitted 22 December, 2021;
originally announced December 2021.
-
Stability of rotatory solitary states in Kuramoto networks with inertia
Authors:
V. O. Munyaev,
M. I. Bolotov,
L. A. Smirnov,
G. V. Osipov,
I. V. Belykh
Abstract:
Solitary states emerge in oscillator networks when one oscillator separates from the fully synchronized cluster and becomes incoherent with the rest of the network. Such chimera-type patterns with an incoherent state formed by a single oscillator were observed in various oscillator networks; however, there is still a lack of understanding of how such states can stably appear. Here, we study the st…
▽ More
Solitary states emerge in oscillator networks when one oscillator separates from the fully synchronized cluster and becomes incoherent with the rest of the network. Such chimera-type patterns with an incoherent state formed by a single oscillator were observed in various oscillator networks; however, there is still a lack of understanding of how such states can stably appear. Here, we study the stability of solitary states in Kuramoto networks of identical two-dimensional phase oscillators with inertia and a phase-lagged coupling. The presence of inertia can induce rotatory dynamics of the phase difference between the solitary oscillator and the coherent cluster. We derive asymptotic stability conditions for such a solitary state as a function of inertia, network size, and phase lag that may yield either attractive or repulsive coupling. Counterintuitively, our analysis demonstrates that (i) increasing the size of the coherent cluster can promote the stability of the solitary state in the attractive coupling case and (ii) the solitary state can be stable in small-size networks with all repulsive coupling. We also discuss the implications of our stability analysis for the emergence of rotatory chimeras.
△ Less
Submitted 13 December, 2021;
originally announced December 2021.