相关论文: Higher rank Brill-Noether theory and coherent syst…
We introduce a hierarchy of fast-growing complexity classes and show its suitability for completeness statements of many non elementary problems. This hierarchy allows the classification of many decision problems with a non-elementary…
A variety of logical frameworks support the use of higher-order abstract syntax in representing formal systems; however, each system has its own set of benchmarks. Even worse, general proof assistants that provide special libraries for…
Battiston et al. (arXiv:2110.06023) provide a comprehensive overview of how investigations of complex systems should take into account interactions between more than two elements, which can be modelled by hypergraphs and studied via…
A simple local proof of Noether's Second Theorem is given. This proof immediately leads to a generalization of the theorem, yielding conservation laws and/or explicit relationships between the Euler--Lagrange equations of any variational…
We introduce a variant of global generation for coherent sheaves on abelian varieties which, under certain circumstances, implies ampleness. This extends a criterion of Debarre asserting that a continuously globally generated coherent sheaf…
In this paper, we consider the perturbative generation of the CPT-even aether-like Lorentz-breaking term in the extended Lorentz-breaking QED within different approaches and discuss its ambiguities.
We survey recent developments in the theory of achievement sets and present a substantial collection of open problems.
This is a self-contained set of lecture notes covering various aspects of the theory of open quantum system, at a level appropriate for a one-semester graduate course. The main emphasis is on completely positive maps and master equations,…
Given any finite and closed chemical reaction system, it is possible to efficiently determine whether or not it contains a `self-sustaining and collectively autocatalytic' subset of reactions, and to find such subsets when they exist.…
In this article an hierarchy of terms in the expansion of the multipolar Hamiltonian for non relativistic moving atoms in QED is considered. The particular case of neutral composite systems of 2,3 and 4 particles is considered. The proposed…
Naturally occurring diagrams in algebraic topology are commutative up to homotopy, but not on the nose. It was quickly realized that very little can be done with this information. Homotopy coherent category theory arose out of a desire to…
Higher bundles are homotopy coherent generalisations of classical fibre bundles. They appear in numerous contexts in geometry, topology and physics. In particular, higher principal bundles provide the geometric framework for higher-group…
The problem of building coherent states from non-normalizable fiducial states is considered. We propose a way of constructing such coherent states by regularizing the divergence of the fiducial state norm. Then, we successfully apply the…
It is shown that the algebra of bounded Dirichlet series is not a coherent ring, and has infinite Bass stable rank. As corollaries of the latter result, it is derived that the algebra of bounded Dirichlet series has infinite topological…
We present a list of open questions in the theory of holomorphic foliations, possibly with singularities. Some problems have been around for a while, others are very accessible.
Nonlinear contraction theory is a comparatively recent dynamic control system design tool based on an exact differential analysis of convergence, in essence converting a nonlinear stability problem into a linear time-varying stability…
We introduce a variation on Barthe et al.'s higher-order logic in which formulas are interpreted as predicates over open rather than closed objects. This way, concepts which have an intrinsically functional nature, like continuity,…
Let X be a ruled surface over a nonsingular curve C of genus $g\geq0$. Let $M_H:=M_{X,H}(2;c_1,c_2)$ be the moduli space of H-stable rank 2 vector bundles E on X with fixed Chern classes $c_i:=c_i(E)$ for $i=1,2$. The main goal of this…
We show a model construction for a system of higher-order illative combinatory logic $\mathcal{I}_\omega$, thus establishing its strong consistency. We also use a variant of this construction to provide a complete embedding of first-order…
A review article on the physics of beam-beam interactions in circular colliders.