相关论文: Geometric Complexity Theory II: Towards explicit o…

Let $k$ be a field of characteristic zero and ${\bar k}$ an algebraic closure of $k$. For a geometrically integral variety $X$ over $k$, we write ${\bar k}(X)$ for the function field of ${\bar X}=X\times_k{\bar k}$. If $X$ has a smooth…

We construct persistent bundles over configuration spaces of hard spheres and use the characteristic classes of these persistent bundles to give obstructions for embedding problems. The configuration spaces of $k$-hard spheres ${\rm…

Representing graphs by their homomorphism counts has led to the beautiful theory of homomorphism indistinguishability in recent years. Moreover, homomorphism counts have promising applications in database theory and machine learning, where…

Relying on known results of the Noether theory of symmetries extended to constrained systems, it is shown that there exists an obstruction that prevents certain tangent-space diffeomorphisms to be projectable to phase-space, for generally…

Geometric embedding of graphs in a point set in the plane is a well known problem. In this paper, the complexity of a variant of this problem, where the point set is bounded by a simple polygon, is considered. Given a point set in the plane…

Mulmuley and Sohoni (GCT1 in SICOMP 2001, GCT2 in SICOMP 2008) proposed to view the permanent versus determinant problem as a specific orbit closure problem and to attack it by methods from geometric invariant and representation theory. We…

Let V be an algebraic variety embedded in a power of an elliptic curve, both defined over the algebraic numbers. We show that the set of algebraic points of V which are of bounded height and which satisfy certain algebraic conditions are a…

In this article, we shall describe some of the most interesting topics in the subject of Complexity Science for a general audience. Anyone with a solid foundation in high school mathematics (with some calculus) and an elementary…

We discuss two properties of an abelian variety, namely, being a direct summand in a product of Jacobians and the weaker property of being "split". We relate the first property to the integral Hodge conjecture for curve classes on abelian…

Let $G$ be a connected semi-simple group defined over and algebraically closed field, $T$ a fixed Cartan, $B$ a fixed Borel containing $T$, $S$ a set of simple reflections associated to the simple positive roots corresponding to $(T,B)$,…

We develop an obstruction theory for the existence of gauge equivalences in complete differential graded Lie algebras. Specifically, this theory provides a characterization of homotopy equivalences between differential graded algebras…

We attack the question of E_2-formality of differential graded algebras over prime fields via obstruction theory. We are able to prove that E_2-algebras whose cohomology ring is a polynomial algebra on even degree classes are intrinsically…

We propose a geometric and categorical approach to the Hodge Conjecture for all smooth projective complex varieties. By embedding any such variety into a flat family with general fibers smooth complete intersections, we prove the conjecture…

In [1] it was shown that the Kochen Specker theorem can be written in terms of the non-existence of global elements of a certain varying set over the partially ordered set of boolean subalgebras of projection operators on some Hilbert…

We extend the usual projective Abel-Radon transform to the larger context of a smooth complete toric variety X. We define and study toric concavity attached to an algebraic splitting vector bundle on X and we prove a toric version of the…

The Torsion Anomalous Conjecture states that an irreducible variety $V$ embedded in a semi-abelian variety contains only finitely many maximal $V$-torsion anomalous varieties. In this paper we consider an irreducible variety embedded in a…

Regular and higher regular graded algebras (in simplest case satisfying Von Neumann regularity $\Theta_{1}\Theta_{2}\Theta_{1}=\Theta_{1}$ instead of anticommutativity) are introduced and their properties are studied. They are described in…

The presented material is devoted to the equivalent conversion from the vertex graphs to the edge graphs. We suggest that the proved theorems solve the problem of the isomorphism of graphs, the problem of the graph's enumeration with the…

The complexity of a pair $(X,B)$ is an invariant that relates the dimension of $X$, the rank of the group of divisors, and the coefficients of $B$. If the complexity is less than one, then $X$ is a toric variety. We prove that if the…

The computational complexity of the "cluster minimization problem" is revisited [L. T. Wille and J. Vennik, J. Phys. A 18, L419 (1985)]. It is argued that the original NP-hardness proof does not apply to pairwise potentials of physical…