arXiv subjects

Victor I. Kolobov

Publications and source records attributed to Victor I. Kolobov.

9 recordsLinked to original sources

arXiv2025

Observation of stationary spontaneous Hawking radiation and the time evolution of an analogue black hole

The emission of Hawking radiation from a black hole was predicted to be stationary, which is necessary for the correspondence between Hawking radiation and black-body radiation. Spontaneous Hawking radiation was observed in analogue black holes in atomic Bose-Einstein condensates, although the stationarity was not probed. Here, we confirm that the spontaneous Hawking radiation is stationary, by observing such a system at six different times. Furthermore, we follow the time evolution of Hawking radiation and compare and contrast it with predictions for real black holes. We observe the ramp up of Hawking radiation followed by stationary spontaneous emission, similar to a real black hole. The end of the spontaneous Hawking radiation is marked by the formation of an inner horizon, which is seen to cause stimulated Hawking radiation as predicted. We find that the stimulated Hawking and partner particles are directly observable, and that the stimulated emission evolves from multi-mode to monochromatic. Numerical simulations suggest that Bogoliubov-Cherenkov-Landau stimulation predominates, rather than black-hole lasing.

gr-qc↗

arXiv2022

On the Download Rate of Homomorphic Secret Sharing

A homomorphic secret sharing (HSS) scheme is a secret sharing scheme that supports evaluating functions on shared secrets by means of a local mapping from input shares to output shares. We initiate the study of the download rate of HSS, namely, the achievable ratio between the length of the output shares and the output length when amortized over $\ell$ function evaluations. We obtain the following results. * In the case of linear information-theoretic HSS schemes for degree-$d$ multivariate polynomials, we characterize the optimal download rate in terms of the optimal minimal distance of a linear code with related parameters. We further show that for sufficiently large $\ell$ (polynomial in all problem parameters), the optimal rate can be realized using Shamir's scheme, even with secrets over $\mathbb{F}_2$. * We present a general rate-amplification technique for HSS that improves the download rate at the cost of requiring more shares. As a corollary, we get high-rate variants of computationally secure HSS schemes and efficient private information retrieval protocols from the literature. * We show that, in some cases, one can beat the best download rate of linear HSS by allowing nonlinear output reconstruction and $2^{-Ω(\ell)}$ error probability.

cs.IT↗

arXiv2021

Finitely Convergent Iterative Methods with Overrelaxations Revisited

We study the finite convergence of iterative methods for solving convex feasibility problems. Our key assumptions are that the interior of the solution set is nonempty and that certain overrelaxation parameters converge to zero, but with a rate slower than any geometric sequence. Unlike other works in this area, which require divergent series of overrelaxations, our approach allows us to consider some summable series. By employing quasi-Fejérian analysis in the latter case, we obtain additional asymptotic convergence guarantees, even when the interior of the solution set is empty.

math.OC↗

arXiv2020

Fast Deterministic Algorithms for Highly-Dynamic Networks

This paper provides an algorithmic framework for obtaining fast distributed algorithms for a highly-dynamic setting, in which *arbitrarily many* edge changes may occur in each round. Our algorithm significantly improves upon prior work in its combination of (1) having an $O(1)$ amortized time complexity, (2) using only $O(\log{n})$-bit messages, (3) not posing any restrictions on the dynamic behavior of the environment, (4) being deterministic, (5) having strong guarantees for intermediate solutions, and (6) being applicable for a wide family of tasks. The tasks for which we deduce such an algorithm are maximal matching, $(degree+1)$-coloring, 2-approximation for minimum weight vertex cover, and maximal independent set (which is the most subtle case). For some of these tasks, node insertions can also be among the allowed topology changes, and for some of them also abrupt node deletions.

cs.DC↗

arXiv2020

Finitely Convergent Deterministic and Stochastic Iterative Methods for Solving Convex Feasibility Problems

We propose finitely convergent methods for solving convex feasibility problems defined over a possibly infinite pool of constraints. Following other works in this area, we assume that the interior of the solution set is nonempty and that certain overrelaxation parameters form a divergent series. We combine our methods with a very general class of deterministic control sequences where, roughly speaking, we require that sooner or later we encounter a violated constraint if one exists. This requirement is satisfied, in particular, by the cyclic, repetitive and remotest set controls. Moreover, it is almost surely satisfied for random controls.

math.OC↗

arXiv2020

Finding Subgraphs in Highly Dynamic Networks

In this paper we consider the fundamental problem of finding subgraphs in highly dynamic distributed networks - networks which allow an arbitrary number of links to be inserted / deleted per round. We show that the problems of $k$-clique membership listing (for any $k\geq 3$), 4-cycle listing and 5-cycle listing can be deterministically solved in $O(1)$-amortized round complexity, even with limited logarithmic-sized messages. To achieve $k$-clique membership listing we introduce a very useful combinatorial structure which we name the robust $2$-hop neighborhood. This is a subset of the 2-hop neighborhood of a node, and we prove that it can be maintained in highly dynamic networks in $O(1)$-amortized rounds. We also show that maintaining the actual 2-hop neighborhood of a node requires near linear amortized time, showing the necessity of our definition. For $4$-cycle and $5$-cycle listing, we need edges within hop distance 3, for which we similarly define the robust $3$-hop neighborhood and prove it can be maintained in highly dynamic networks in $O(1)$-amortized rounds. We complement the above with several impossibility results. We show that membership listing of any other graph on $k\geq 3$ nodes except $k$-clique requires an almost linear number of amortized communication rounds. We also show that $k$-cycle listing for $k\geq 6$ requires $Ω(\sqrt{n} / \log n)$ amortized rounds. This, combined with our upper bounds, paints a detailed picture of the complexity landscape for ultra fast graph finding algorithms in this highly dynamic environment.

cs.DC↗

arXiv2018

Observation of thermal Hawking radiation at the Hawking temperature in an analogue black hole

We measure the correlation spectrum of the Hawking radiation emitted by an analogue black hole and find it to be thermal at the Hawking temperature implied by the analogue surface gravity. The Hawking radiation is in the regime of linear dispersion, in analogy with a real black hole. Furthermore, the radiation inside of the black hole is seen to be composed of negative-energy partners only. This work confirms the prediction of Hawking's theory regarding the value of the Hawking temperature, as well as the thermality of the spectrum. The thermality of Hawking radiation is the root of the information paradox. The correlations between the Hawking and partner particles imply that the analogue black hole has no analogue firewall.

gr-qc↗

arXiv2018

Linear Convergence Rates for Extrapolated Fixed Point Algorithms

We establish linear convergence rates for a certain class of extrapolated fixed point algorithms which are based on dynamic string-averaging methods in a real Hilbert space. This applies, in particular, to the extrapolated simultaneous and cyclic cutter methods. Our analysis covers the cases of both metric and subgradient projections.

math.OC↗

arXiv2017

Weak, Strong and Linear Convergence of a Double-Layer Fixed Point Algorithm

In this article we consider a consistent convex feasibility problem in a real Hilbert space defined by a finite family of sets $C_i$. We are interested, in particular, in the case where for each $i$, $C_i=Fix (U_i)=\{z\in \mathcal H\mid p_i(z)=0\}$, $U_i\colon\mathcal H\rightarrow \mathcal H$ is a cutter and $p_i\colon\mathcal H\rightarrow [0,\infty)$ is a proximity function. Moreover, we make the following assumption: the computation of $p_i$ is at most as difficult as the evaluation of $U_i$ and this is at most as difficult as projecting onto $C_i$. We study a double-layer fixed point algorithm which applies two types of controls in every iteration step. The first one -- the outer control -- is assumed to be almost cyclic. The second one -- the inner control -- determines the most important sets from those offered by the first one. The selection is made in terms of proximity functions. The convergence results presented in this manuscript depend on the conditions which first, bind together the sets, the operators and the proximity functions and second, connect the inner and outer controls. In particular, weak regularity (demi-closedness principle), bounded regularity and bounded linear regularity imply weak, strong and linear convergence of our algorithm, respectively. The framework presented in this paper covers many known (subgradient) projection algorithms already existing in the literature; for example, those applied with (almost) cyclic, remotest-set, maximum displacement, most-violated constraint and simultaneous controls. In addition, we provide several new examples, where the double-layer approach indeed accelerates the convergence speed as we demonstrate numerically.

math.OC↗