Searcharxiv⌕ Search

arXiv subjects

Denis Bashkirov

Publications and source records attributed to Denis Bashkirov.

At least 19 recordsLinked to original sources
arXiv2025

GigaEvo: An Open Source Optimization Framework Powered By LLMs And Evolution Algorithms

Recent advances in LLM-guided evolutionary computation, particularly AlphaEvolve (Novikov et al., 2025; Georgiev et al., 2025), have demonstrated remarkable success in discovering novel mathematical constructions and solving challenging optimization problems. However, the high-level descriptions in published work leave many implementation details unspecified, hindering reproducibility and further research. In this report we present GigaEvo, an extensible open-source framework that enables researchers to study and experiment with hybrid LLM-evolution approaches inspired by AlphaEvolve. Our system provides modular implementations of key components: MAP-Elites quality-diversity algorithms, asynchronous DAG-based evaluation pipelines, LLM-driven mutation operators with insight generation and bidirectional lineage tracking, and flexible multi-island evolutionary strategies. In order to assess reproducibility and validate our implementation we evaluate GigaEvo on challenging problems from the AlphaEvolve paper: Heilbronn triangle placement, circle packing in squares, and high-dimensional kissing numbers. The framework emphasizes modularity, concurrency, and ease of experimentation, enabling rapid prototyping through declarative configuration. We provide detailed descriptions of system architecture, implementation decisions, and experimental methodology to support further research in LLM driven evolutionary methods. The GigaEvo framework and all experimental code are available at https://github.com/AIRI-Institute/gigaevo-core.

cs.NE↗
arXiv2024

Planar rooted line arrangements and an operad for factorized scattering

We introduce two topological non-$\Sigma$ operad structures on planar line arrangements subject to a certain geometric order condition, ensuring a well-defined notion of particle ordering on a distinguished line. This is interpreted in terms of scattering diagrams in purely elastic (1+1)-dimensional theories. We discuss a possible approach to factorized scattering in operadic terms.

math-ph↗
arXiv2024

Percolating sets and the operad of permutations

We give an operadic interpretation of the known result of L.Shapiro and A.B.Stephens that characterizes percolating permutation matrices. A relation of ideals and suboperads of the non-symmetric operad of permutations to percolative properties of sets in the 2-neighbor percolation process is discussed. On a related note, we discuss a certain presentation of the operad of permutations.

math.CO↗
arXiv2022

Lattice operads and operad filtrations

We elaborate on the notion of a filtration of an operad defined in terms of a lattice-valued operad serving as an indexing object. That covers ordinary integer-indexed filtrations of associative algebras and operads as a special case, yet the notion appears to be natural enough to encompass examples of other kind as well. The characteristic property of lattice operads is that of a certain distributivity of partial compositions with respect to meets and joins. We observe that some well-known families of lattices of combinatorial origin, such as Tamari lattices, assemble to operads subject to this particular property. Other examples include an operad of integer paritions supported on Young's lattice, operads of integer compositions of types $A, B$ and $D$, which we relate to operads of regular polytopes. We discuss the partial compatibility of the weak order on the symmetric group with the structure of the permutations operad.

math.RA↗
arXiv2021

Calculus of multilinear differential operators, operator $L_\infty$-algebras and ${\it IBL}_\infty$-algebras

We propose an operadic framework suitable for describing algebraic structures with operations being multilinear differential operators of varying orders or, more generally, formal series of such operators. The framework is built upon the notion of a multifiltration of a linear operad generalizing the concept of a filtration of an associative algebra. We describe a particular way of constructing and analyzing multifiltrations based on a presentation of a linear operad in terms of generators and relations. In particular, that allows us to observe a special role played in this context by Lie, Lie-admissible and L-infinity structures. As a main application, and the original motivation for the present work, we show how a certain generalization of the well-known big bracket construction of Lecomte\textendash Roger and Kosmann-Schwarzbach encompassing the case of homotopy involutive Lie bialgebras can be obtained.

math.AT↗
arXiv2018

Einstein Equations, Cosmological Constant and all that

We suggest an interpretation of Einstein Equations of General Relativity at large scales in which the Cosmological constant is exactly zero in the limit of zero spacetime variations of fundamental constants. We argue that in a quasiclassical Universe such variation should be tiny which leads to a tiny value for the Dark Energy. Next, we suggest that the are two sources of the Dark Energy. The first is the variation in Newton's constant $G_N$. It is a form of Dark Energy in that it has negative pressure, but it differs from the Cosmological Constant by a negative contribution to the energy. The second is the contribution of (causal) nonlocalities to the Dark Energy. This comes together with a particular view of Quantum Mechanics and the wavefunction collapse, in particular. The collapse is neither dynamical nor subjective.

hep-th↗
arXiv2017

On homotopy Lie bialgebroids

A well-known result of A. Vaintrob characterizes Lie algebroids and their morphisms in terms of homological vector fields on supermanifolds. We give an interpretation of Lie bialgebroids and their morphisms in terms of odd symplectic dg-manifolds, building on the approach of D. Roytenberg. This extends naturally to the homotopy Lie case and leads to the notion of $L_\infty$-bialgebroids and $L_\infty$-morphisms between them.

math.QA↗
arXiv2016

The BV formalism for L$_\infty$-algebras

Functorial properties of the correspondence between commutative BV$_\infty$-algebras and L$_\infty$-algebras are investigated. The category of L$_\infty$-algebras with L$_\infty$-morphisms is characterized as a certain category of pure BV$_\infty$-algebras with pure BV$_\infty$-morphisms. The functor assigning to a commutative BV$_\infty$-algebra the L$_\infty$-algebra given by higher derived brackets is also shown to have a left adjoint. Cieliebak-Fukaya-Latschev's machinery of IBL$_\infty$- and BV$_\infty$-morphisms is further developed with introducing the logarithm of a map.

math.QA↗
arXiv2016

Quantum Field Theory, Causal Structures and Weyl Transformations

We suggest that in the proper definition, Quantum Field Theories are quantum mechanical system which 'live' on the space of causal structures ${\cal C}$ of spacetime. That is, for any QFT a Hilbert space ${\cal H}$ on which local operators live is assigned not for each Lorentzian metric $g$, but for each causal structure ${\cal C}$. In practice one uses 'conformal frames' which all provide equivalent descriptions of the same QFT. To put it differently, Quantum Field Theories only know about causal structure of spacetime, and not its full Lorentzian metric. The Weyl group and the local RG flow naturally arise when one compares equivalent descriptions in different conformal frames. This is reduced to the usual RG flow of coupling constants when one only compares descriptions in conformal frames related by spacetime-independent Weyl rescalings. We point out that in this picture minimal coupling of a QFT to the metric is inconsistent and comment on the necessary violation of the equivalence principle in the presence of scalars.

hep-th↗
arXiv2013

Bootstrapping the $\cN=1$ SCFT in three dimensions

We suggest a way to implement conformal bootstrap program for the case of the ${\cal N}=1$ SCFT in three dimensions using the previous analysis of the Ising model in \cite{CB}. We find approximate values for the conformal dimensions of several operators and the central charge $C_T$, the coefficient in the two-point function of the stress-tensor. Bootstrapping this particular (minimal) SCFT is of special interest as it was suggested in \cite{CM} that it may realize supersymmetry in 2+1 dimensions in experiment. The values are in a good agreement with the previous estimate in \cite{CM}.

hep-th↗
arXiv2013

Relations between supersymmetric structures in UV and IR for $\mathcal{N}=4$ bad theories

We investigate options for the structure of the infrared fixed points of $\mathcal{N}=4$ bad theories in three dimensions. Unitarity constraints allow a number of possibilities, not necessarily a product of an interacting $\mathcal{N}=4$ SCFT and free theories. For each option we provide relations between the UV and IR $R-$symmetry groups. For some of them we give examples. In particular, the $\mathcal{N}4$ SU(2) SYM with two fundamental hypermultiplets is an example of a bad theory which flows to an interacting irreducible SCFT in the IR. The question of whether all the options are realized remains open.

hep-th↗
arXiv2012

A comment on the enhancement of global symmetries in superconformal SU(2) gauge theories in 5D

Recently, the superconformal index for a class of 5-dimensional superconformal quantum field theories with gauge group SU(2) and $N_f$ flavors was computed in Kim, Kim, and Lee (2012) to a few low orders in the chemical potential and enhancement of the global symmetry to $E_{N_f+1}$ was confirmed to this low order. In this note I provide an argument that the information contained in these few low order terms in the expansion of the index is sufficient to prove the enhancement of global symmetries in the theories. So, in particular the expression for the indices must display the enhancement to all orders in the chemical potential.

hep-th↗
arXiv2012

BLG theories at low values of Chern-Simons coupling

It was checked in paper [1] by comparing the moduli spaces and superconformal indices that two of the BLG theories $(SU(2)_{1}\times SU(2)_{-1})/{\mathbb Z}_2$ and $SU(2)_2\times SU(2)_{-2}$ are dual to $U(2)_1\times U(2)_{-1}$ and $U(2)_{2}\times U(2)_{-2}$ ABJM theories, correspondingly. In this paper we consider the BLG theories $SU(2)_1\times SU(2)_{-1}$ and $(SU(2)_2\times SU(2)_{-2})/{\mathbb Z}_2$. These theories were noted in [1] to be a tensor product of two interacting ${\mathcal N}=8$ SCFT's. In this paper we identify the SCFT's that occur in the product. For both theories one of the sectors is the IR limit of ${\mathcal N}=8$ SU(2) SYM.

hep-th↗
arXiv2011

A note on ${\cal N}\ge 6$ Superconformal Quantum Field Theories in three dimensions

Based on the structure of the three-dimensional superconformal algebra we show that every irreducible ${\mathcal N}=6$ three-dimensional superconformal theory containes exactly one conserved U(1)-symmetry current in the stress tensor supermultiplet and that superconformal symmetry of every ${\mathcal N}=7$ superconformal theory is in fact enhanced to ${\mathcal N}=8$. Moreover, an irreducible ${\cal N}=8$ superconformal theory does not have any global symmetries. The first observation explains why all known examples of ${\mathcal N}=6$ superconformal theories have a global abelian symmetry.

hep-th↗
arXiv2011

Aharony duality and monopole operators in three dimensions

We test dualities between three dimensional N = 2 gauge theories proposed by Aharony in [1] by comparing superconformal indices of dual theories. We also extend the discussion of chiral rings matching to include monopole operators.

hep-th↗
arXiv2011

New and old N=8 superconformal field theories in three dimensions

We show that an infinite family of N=6 d=3 superconformal Chern-Simons-matter theories has hidden N=8 superconformal symmetry and hidden parity on the quantum level. This family of theories is different from the one found by Aharony, Bergman, Jafferis and Maldacena, as well as from the theories constructed by Bagger and Lambert, and Gustavsson. We also test several conjectural dualities between BLG theories and ABJ theories by comparing superconformal indices of these theories.

hep-th↗