SearcharxivSearch

arXiv subjects

Igor Pavlov

Publications and source records attributed to Igor Pavlov.

12 recordsLinked to original sources

Wall-Clock Complexity for Zeroth-Order Optimization with Tunable Oracle Fidelity

Zeroth-order (black-box) optimization is applied when gradients are unavailable and objective evaluations rely on expensive simulations. In many such applications, the oracle fidelity is tunable: higher-accuracy queries reduce noise but incur higher computational costs. To capture this trade-off, we study an accuracy-aware wall-clock model where each query with fidelity $\delta$ has a cost $c(\delta)$, and we minimize the total time $T_{\mathrm{total}} = \sum_{k=1}^{N} c(\delta_k)$, subject to a target accuracy constraint. We show how the choice of oracle type, noise model, and optimization scheme induces explicit wall-clock-optimal choices for the algorithmic parameters. For instance, we demonstrate that accelerated methods can be wall-clock inferior to non-accelerated schemes. Furthermore, we characterize the conditions under which a constant fidelity strategy is optimal in the Big-O sense. Our framework provides a unified methodology to translate convergence guarantees into practical fidelity and batching recommendations.

math.OC

Kandinsky 3: Text-to-Image Synthesis for Multifunctional Generative Framework

Text-to-image (T2I) diffusion models are popular for introducing image manipulation methods, such as editing, image fusion, inpainting, etc. At the same time, image-to-video (I2V) and text-to-video (T2V) models are also built on top of T2I models. We present Kandinsky 3, a novel T2I model based on latent diffusion, achieving a high level of quality and photorealism. The key feature of the new architecture is the simplicity and efficiency of its adaptation for many types of generation tasks. We extend the base T2I model for various applications and create a multifunctional generation system that includes text-guided inpainting/outpainting, image fusion, text-image fusion, image variations generation, I2V and T2V generation. We also present a distilled version of the T2I model, evaluating inference in 4 steps of the reverse process without reducing image quality and 3 times faster than the base model. We deployed a user-friendly demo system in which all the features can be tested in the public domain. Additionally, we released the source code and checkpoints for the Kandinsky 3 and extended models. Human evaluations show that Kandinsky 3 demonstrates one of the highest quality scores among open source generation systems.

cs.CV

On some minimal characteristics in a model of a system of N particles with interaction

For the well-known model of a system of N particles with interaction (N-body problem), we consider the spatial problem of finding the minimum of the function of the kinetic energy of a system on its phase space under conditions on its size and angular momentum. Based on the solution to this problem, we prove that the minimum possible kinetic energy of a system at the current value of its size can be achieved only on flat trajectories of the system. And under some natural additional conditions these trajectories are flat finite and periodic (elliptical) trajectories generated by flat central configurations. The solution to this problem also provides a simpler solution to a similar optimization dual problem of finding the minimum of the size of a system under conditions on its kinetic energy and angular momentum. This leads to a similar result that the minimum possible size of the system at the current value of its kinetic energy can also be achieved only on flat trajectories. Under some additional conditions these trajectories are also flat periodic elliptical trajectories generated by flat central configurations. Next, we consider the more complex spatial problem of finding local minima of the function of the kinetic energy of a system on its phase space at fixed values of the integrals of motion: angular momentum and total energy of a system. Based on the solution of this problem, we prove further that under some natural additional conditions the local minima of the system kinetic and potential energy functions at fixed values of these integrals of motion can be achieved only on flat periodic elliptical trajectories generated by some flat central configurations. And at the points of these local minima the minimum possible kinetic energy of the system at the current value of its size and the minimum possible size of the system at the current value of its kinetic energy are also achieved.

math-ph

Kandinsky 3.0 Technical Report

We present Kandinsky 3.0, a large-scale text-to-image generation model based on latent diffusion, continuing the series of text-to-image Kandinsky models and reflecting our progress to achieve higher quality and realism of image generation. In this report we describe the architecture of the model, the data collection procedure, the training technique, and the production system for user interaction. We focus on the key components that, as we have identified as a result of a large number of experiments, had the most significant impact on improving the quality of our model compared to the others. We also describe extensions and applications of our model, including super resolution, inpainting, image editing, image-to-video generation, and a distilled version of Kandinsky 3.0 - Kandinsky 3.1, which does inference in 4 steps of the reverse process and 20 times faster without visual quality decrease. By side-by-side human preferences comparison, Kandinsky becomes better in text understanding and works better on specific domains. The code is available at https://github.com/ai-forever/Kandinsky-3

cs.CV

Investigation of the Effects of the Multiplication Area Shape on the Operational Parameters of InGaAs/InAlAs SPADs

A 2D model of an InGaAs/InAlAs single photon avalanche photodiode has been developed. The influence of the active area structure in the multiplication region on the diode's operating parameters has been studied. It was found that changing the diameter of the structure's active region leads to a change in the dark current in the linear part of the current-voltage curve and a change in the breakdown voltage. Reducing the diameter of the active region from 25 $\mu$m to 10 $\mu$m allowed decreasing the dark current in the linear mode by about $10$ dB. It has been shown that the quality of the SPAD device can be assessed by knowing the avalanche breakdown voltage and the overall current-voltage curve plot if we consider structures with the same multiplication region thickness and different remaining layers. The higher the breakdown voltage, the better the structure's quality due to smaller local increases in the field strength. Following this statement, we conclude that for further use in single-photon detectors, it is reasonable to pick specific SPADs from a batch on the sole basis of their current-voltage curves.

physics.app-ph

The avalanche delay effect in sine-gated single-photon detector based on InGaAs/InP SPADs

A sine-gated single-photon detector (SPD) intended for use in a quantum key distribution (QKD) system is considered in this paper. An "avalanche delay" effect in the sine-gated SPD is revealed. This effect consists in the appearance of an avalanche triggered at the next gate after the photon arrival gate. It has been determined experimentally that the nature of this effect is not related to the known effects of afterpulsing or charge persistence. This effect negatively affects the overall error rate in the QKD system. The influence of the main detector control parameters, such as temperature, gate amplitude and comparator's threshold voltage, on the avalanche delay effect was experimentally established.

physics.ins-det

Kandinsky: an Improved Text-to-Image Synthesis with Image Prior and Latent Diffusion

Text-to-image generation is a significant domain in modern computer vision and has achieved substantial improvements through the evolution of generative architectures. Among these, there are diffusion-based models that have demonstrated essential quality enhancements. These models are generally split into two categories: pixel-level and latent-level approaches. We present Kandinsky1, a novel exploration of latent diffusion architecture, combining the principles of the image prior models with latent diffusion techniques. The image prior model is trained separately to map text embeddings to image embeddings of CLIP. Another distinct feature of the proposed model is the modified MoVQ implementation, which serves as the image autoencoder component. Overall, the designed model contains 3.3B parameters. We also deployed a user-friendly demo system that supports diverse generative modes such as text-to-image generation, image fusion, text and image fusion, image variations generation, and text-guided inpainting/outpainting. Additionally, we released the source code and checkpoints for the Kandinsky models. Experimental evaluations demonstrate a FID score of 8.03 on the COCO-30K dataset, marking our model as the top open-source performer in terms of measurable image generation quality.

cs.CV

Information-Theoretic Upper Bounds for Deterministic Noise in Zeroth-Order Convex Optimization

We study deterministic adversarial noise in zeroth-order convex optimization on Euclidean balls. The maximum admissible level of noise is the largest uniform error in function-value queries for which polynomial-query optimization remains possible. We convert the Risteski-Li information-theoretic obstruction for approximately convex optimization into deterministic noisy-oracle upper bounds on this quantity. The conversion gives the Lipschitz convex MALN upper bound with the Risteski-Li dimension dependence. A localized conic-collar embedding gives the corresponding Lipschitz strongly convex bound. Compact randomized smoothing transfers these constructions to smooth convex objectives, producing the stated fourth-root dimension dependence, and to smooth strongly convex objectives on the associated compatibility window. At the endpoint where the smoothness and strong-convexity constants coincide, the class consists only of shifted quadratics. We prove that this endpoint class admits robust $2n$-query reconstruction at noise level of order $R\sqrt{\mu\varepsilon/n}$. Consequently, for query budgets at least $2n$, no uniform $R$-free smooth strongly convex upper bound of the usual form can extend to the endpoint. The results separate theorem validity ranges from the first-branch regimes in which the class-dependent MALN scale dominates the universal $\varepsilon/n$ branch.

math.OC

Construction of stationary trajectories for a model of a system of N particles with interaction

For the classical N-body problem, an approach is proposed based on the introduction of some natural in the physical sense optimization problems of mathematical programming for finding a conditional minimum for the characteristics of the system on the set of its possible states. The solution of these problems then makes it possible to construct families of flat stationary and periodic trajectories of the system and also to find relationships and estimates for the characteristics of the system on these trajectories. It is shown that when the system moves on a plane on trajectories generated by the global minimum in these optimization problems, at any time the minimum possible size of the system is achieved at each current level of its "cohesion" (or potential energy). Similar optimization problems are considered for finding a conditional minimum for the characteristics of a system in three-dimensional space. It is shown that the solution of these problems can be achieved only on flat trajectories of the system and is achieved, in particular, on the constructed flat stationary and periodic trajectories. In addition, it is shown that the trajectory of the system in three-dimensional space, at least at one point of which the minimum possible size of the system is achieved at the current value of its cohesion (or potential energy), can only be flat. And such trajectories are, in particular, flat stationary and periodic trajectories generated by the global minimum in the considered optimization problems.

math.DS

RuCLIP -- new models and experiments: a technical report

In the report we propose six new implementations of ruCLIP model trained on our 240M pairs. The accuracy results are compared with original CLIP model with Ru-En translation (OPUS-MT) on 16 datasets from different domains. Our best implementations outperform CLIP + OPUS-MT solution on most of the datasets in few-show and zero-shot tasks. In the report we briefly describe the implementations and concentrate on the conducted experiments. Inference execution time comparison is also presented in the report.

cs.CV

Gravity: a blockchain-agnostic cross-chain communication and data oracles protocol

This paper intends to propose the architecture of a blockchain-agnostic protocol designed for communication of blockchains amongst each other (i.e. cross-chain), and for blockchains with the outside world (i.e. data oracles). The expansive growth of cutting-edge technology in the blockchain industry outlines the need and opportunity for addressing oracle consensus in a manner both technologically and economically efficient as well as futureproof. Blockchain-agnosticism is inherently limited if proposing a technological solution involves adding one more architectural layer. As such, Gravity protocol is designed to be a truly blockchain-agnostic protocol. By ensuring parity through direct integration and by leveraging the stability and security of the respective interconnected ecosystems, Gravity circumvents the need for a dedicated, public blockchain and a native token. Ultimately, Gravity protocol intends to address scalability challenges by providing a solid infrastructure for the creation of gateways, cross-chain applications, and sidechains. This paper introduces and defines the concept of Oracle Consensus and its implementation in the Gravity protocol named the Pulse Consensus algorithm. The proposed consensus architecture allows Gravity to be considered a singular decentralized blockchain-agnostic oracle.

cs.CR

Scaling advantage in quantum simulation of geometrically frustrated magnets

The promise of quantum computing lies in harnessing programmable quantum devices for practical applications such as efficient simulation of quantum materials and condensed matter systems. One important task is the simulation of geometrically frustrated magnets in which topological phenomena can emerge from competition between quantum and thermal fluctuations. Here we report on experimental observations of relaxation in such simulations, measured on up to 1440 qubits with microsecond resolution. By initializing the system in a state with topological obstruction, we observe quantum annealing (QA) relaxation timescales in excess of one microsecond. Measurements indicate a dynamical advantage in the quantum simulation over the classical approach of path-integral Monte Carlo (PIMC) fixed-Hamiltonian relaxation with multiqubit cluster updates. The advantage increases with both system size and inverse temperature, exceeding a million-fold speedup over a CPU. This is an important piece of experimental evidence that in general, PIMC does not mimic QA dynamics for stoquastic Hamiltonians. The observed scaling advantage, for simulation of frustrated magnetism in quantum condensed matter, demonstrates that near-term quantum devices can be used to accelerate computational tasks of practical relevance.

quant-ph