相关论文: Log Sarkisov Program

We expose some simple facts at the interplay between mathematics and the real world, putting in evidence mathematical objects " nonlinear generalized functions" that are needed to model the real world, which appear to have been generally…

In this note we give geometric formulations and proofs of three results of S. Morita. These results relate certain two dimensional cohomology classes of various moduli spaces of curves. We also give a geometric interpretation of a fourth…

This paper is devoted to logarithmic Hardy-Littlewood-Sobolev inequalities in the two-dimensional Euclidean space, in presence of an external potential with logarithmic growth. The coupling with the potential introduces a new parameter,…

The article examines Nikolskii and Besov spaces with norms defined using "$L_p$-averaged" mixed moduli of continuity for functions of appropriate orders, instead of mixed moduli of continuity of known orders for certain mixed derivative…

We solve a problem posed by Cardinali and Sastry [2] about factorization of $2$-covers of finite classical generalized quadrangles. To that end, we develop a general theory of cover factorization for generalized quadrangles, and in…

We identify certain Gromov-Witten invariants counting rational curves with given incidence and tangency conditions with the Betti numbers of moduli spaces of point configurations in projective spaces. On the Gromov-Witten side, S. Fomin and…

A generalization of Wilson loop observables for BF theories in any dimension is introduced in the Batalin-Vilkovisky framework. The expectation values of these observables are cohomology classes of the space of imbeddings of a circle. One…

Recently, Chubanov proposed an interesting new polynomial-time algorithm for linear program. In this paper, we extend his algorithm to second-order cone programming.

In the last years many results in the area of semidefinite programming were obtained for invariant (finite dimensional, or infinite dimensional) semidefinite programs - SDPs which have symmetry. This was done for a variety of problems and…

We prove a generalization of Orlov's theorem for matrix factorizations with $n$ steps. Let $X$ be a regular scheme, $W\colon X\to \mathbb{A}^1$ a flat morphism and $D:=W^{-1}(0)$ its central fiber. We construct an appropriate triangulated…

We propose a modular method for proving termination of general logic programs (i.e., logic programs with negation). It is based on the notion of acceptable programs, but it allows us to prove termination in a truly modular way. We consider…

This paper is expository and is accessible to students. We define simple invariants of knots or links (linking number, Arf-Casson invariants and Alexander-Conway polynomials) motivated by interesting results whose statements are accessible…

We propose a set theory strong enough to interpret powerful type theories underlying proof assistants such as LEGO and also possibly Coq, which at the same time enables program extraction from its constructive proofs. For this purpose, we…

The notion of $q$-deformed lattice gauge theory is introduced. If the deformation parameter is a root of unity, the weak coupling limit of a 3-$d$ partition function gives a topological invariant for a corresponding 3-manifold. It enables…

We consider the moduli space, in the sense of Kisin, of finite flat models of a 2-dimensional representation with values in a finite field of the absolute Galois group of a totally ramified extension of $mathbb{Q}_p$. We determine the…

Cylindric plane partitions may be thought of as a natural generalization of reverse plane partitions. A generating series for the enumeration of cylindric plane partitions was recently given by Borodin. As in the reverse plane partition…

We give a general surgery formula for the Casson-Walker-Lescop invariant of closed 3-manifolds, seen as the leading term of the LMO invariant, in a purely diagrammatic and combinatorial way. This provides a new viewpoint on a formula…

In 2010, Turaev introduced knotoids as a variation on knots that replaces the embedding of a circle with the embedding of a closed interval with two endpoints which here we call poles. We define generalized knotoids to allow arbitrarily…

Let $(X,\Delta)$ be a log pair over $S$, such that $-(K_X+\Delta)$ is nef over $S$. It is conjectured that the intersection of the non-klt (non Kawamata log terminal) locus of $(X,\Delta)$ with any fiber $X_s$ has at most two connected…

Motivated by a connection with the factorization of multivariate polynomials, we study integral convex polytopes and their integral decompositions in the sense of the Minkowski sum. We first show that deciding decomposability of integral…