221 research outputs found
SEMICLASSICAL ASYMPTOTICS OF EIGENVALUES FOR NON-SELFADJOINT OPERATORS AND QUANTIZATION CONDITIONS ON RIEMANN SURFACES
This paper reports a study of the semiclassical asymptotic behavior of the eigenvalues of some nonself-adjoint operators that are important for applications. These operators are the Schrödinger operator with complex periodic potential and the operator of induction. It turns out that the asymptotics of the spectrum can be calculated using the quantization conditions. These can be represented as the condition that the integrals of a holomorphic form over the cycles on the corresponding complex Lagrangian manifold, which is a Riemann surface of constant energy, are integers. In contrast to the real case (the Bohr–Sommerfeld–Maslov formulas), in order to calculate a chosen spectral series, it is sufficient to assume that the integral over only one of the cycles takes integer values, and different cycles determine different parts of the spectrum
Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems
B{\'e}zout 's theorem states that dense generic systems of n multivariate
quadratic equations in n variables have 2 n solutions over algebraically closed
fields. When only a small subset M of monomials appear in the equations
(fewnomial systems), the number of solutions may decrease dramatically. We
focus in this work on subsets of quadratic monomials M such that generic
systems with support M do not admit any solution at all. For these systems,
Hilbert's Nullstellensatz ensures the existence of algebraic certificates of
inconsistency. However, up to our knowledge all known bounds on the sizes of
such certificates -including those which take into account the Newton polytopes
of the polynomials- are exponential in n. Our main results show that if the
inequality 2|M| -- 2n \sqrt 1 + 8{\nu} -- 1 holds for a quadratic
fewnomial system -- where {\nu} is the matching number of a graph associated
with M, and |M| is the cardinality of M -- then there exists generically a
certificate of inconsistency of linear size (measured as the number of
coefficients in the ground field K). Moreover this certificate can be computed
within a polynomial number of arithmetic operations. Next, we evaluate how
often this inequality holds, and we give evidence that the probability that the
inequality is satisfied depends strongly on the number of squares. More
precisely, we show that if M is picked uniformly at random among the subsets of
n + k + 1 quadratic monomials containing at least (n 1/2+)
squares, then the probability that the inequality holds tends to 1 as n grows.
Interestingly, this phenomenon is related with the matching number of random
graphs in the Erd{\"o}s-Renyi model. Finally, we provide experimental results
showing that certificates in inconsistency can be computed for systems with
more than 10000 variables and equations.Comment: ISSAC 2016, Jul 2016, Waterloo, Canada. Proceedings of ISSAC 201
Solving rank-constrained semidefinite programs in exact arithmetic
We consider the problem of minimizing a linear function over an affine
section of the cone of positive semidefinite matrices, with the additional
constraint that the feasible matrix has prescribed rank. When the rank
constraint is active, this is a non-convex optimization problem, otherwise it
is a semidefinite program. Both find numerous applications especially in
systems control theory and combinatorial optimization, but even in more general
contexts such as polynomial optimization or real algebra. While numerical
algorithms exist for solving this problem, such as interior-point or
Newton-like algorithms, in this paper we propose an approach based on symbolic
computation. We design an exact algorithm for solving rank-constrained
semidefinite programs, whose complexity is essentially quadratic on natural
degree bounds associated to the given optimization problem: for subfamilies of
the problem where the size of the feasible matrix is fixed, the complexity is
polynomial in the number of variables. The algorithm works under assumptions on
the input data: we prove that these assumptions are generically satisfied. We
also implement it in Maple and discuss practical experiments.Comment: Published at ISSAC 2016. Extended version submitted to the Journal of
Symbolic Computatio
On the dimension of subspaces with bounded Schmidt rank
We consider the question of how large a subspace of a given bipartite quantum
system can be when the subspace contains only highly entangled states. This is
motivated in part by results of Hayden et al., which show that in large d x
d--dimensional systems there exist random subspaces of dimension almost d^2,
all of whose states have entropy of entanglement at least log d - O(1). It is
also related to results due to Parthasarathy on the dimension of completely
entangled subspaces, which have connections with the construction of
unextendible product bases. Here we take as entanglement measure the Schmidt
rank, and determine, for every pair of local dimensions dA and dB, and every r,
the largest dimension of a subspace consisting only of entangled states of
Schmidt rank r or larger. This exact answer is a significant improvement on the
best bounds that can be obtained using random subspace techniques. We also
determine the converse: the largest dimension of a subspace with an upper bound
on the Schmidt rank. Finally, we discuss the question of subspaces containing
only states with Schmidt equal to r.Comment: 4 pages, REVTeX4 forma
One-dimensional polynomial maps, periodic points and multipliers
We discuss tangent maps related to the multipliers of periodic points of a
typical one-dimensional polynomial map.Comment: We correct inaccuracies (wrong signs) in the computation of gradients
of multiplier functions (Sect. 2). The statements and proofs of main results
remain unchange
Melnikov theory to all orders and Puiseux series for subharmonic solutions
We study the problem of subharmonic bifurcations for analytic systems in the
plane with perturbations depending periodically on time, in the case in which
we only assume that the subharmonic Melnikov function has at least one zero. If
the order of zero is odd, then there is always at least one subharmonic
solution, whereas if the order is even in general other conditions have to be
assumed to guarantee the existence of subharmonic solutions. Even when such
solutions exist, in general they are not analytic in the perturbation
parameter. We show that they are analytic in a fractional power of the
perturbation parameter. To obtain a fully constructive algorithm which allows
us not only to prove existence but also to obtain bounds on the radius of
analyticity and to approximate the solutions within any fixed accuracy, we need
further assumptions. The method we use to construct the solution -- when this
is possible -- is based on a combination of the Newton-Puiseux algorithm and
the tree formalism. This leads to a graphical representation of the solution in
terms of diagrams. Finally, if the subharmonic Melnikov function is identically
zero, we show that it is possible to introduce higher order generalisations,
for which the same kind of analysis can be carried out.Comment: 30 pages, 6 figure
The Topology of Parabolic Character Varieties of Free Groups
Let G be a complex affine algebraic reductive group, and let K be a maximal
compact subgroup of G. Fix elements h_1,...,h_m in K. For n greater than or
equal to 0, let X (respectively, Y) be the space of equivalence classes of
representations of the free group of m+n generators in G (respectively, K) such
that for each i between 1 and m, the image of the i-th free generator is
conjugate to h_i. These spaces are parabolic analogues of character varieties
of free groups. We prove that Y is a strong deformation retraction of X. In
particular, X and Y are homotopy equivalent. We also describe explicit examples
relating X to relative character varieties.Comment: 16 pages, version 2 includes minor revisions and some modified
proofs, accepted for publication in Geometriae Dedicat
Spectral series of the Schrodinger operator with delta-potential on a three-dimensional spherically symmetric manifold
The spectral series of the Schrodinger operator with a delta-potential on a threedimensional compact spherically symmetric manifold in the semiclassical limit as h -> 0 are described
Punctual Hilbert Schemes and Certified Approximate Singularities
In this paper we provide a new method to certify that a nearby polynomial
system has a singular isolated root with a prescribed multiplicity structure.
More precisely, given a polynomial system f , we present a Newton iteration on an extended deflated system
that locally converges, under regularity conditions, to a small deformation of
such that this deformed system has an exact singular root. The iteration
simultaneously converges to the coordinates of the singular root and the
coefficients of the so called inverse system that describes the multiplicity
structure at the root. We use -theory test to certify the quadratic
convergence, and togive bounds on the size of the deformation and on the
approximation error. The approach relies on an analysis of the punctual Hilbert
scheme, for which we provide a new description. We show in particular that some
of its strata can be rationally parametrized and exploit these parametrizations
in the certification. We show in numerical experimentation how the approximate
inverse system can be computed as a starting point of the Newton iterations and
the fast numerical convergence to the singular root with its multiplicity
structure, certified by our criteria.Comment: International Symposium on Symbolic and Algebraic Computation, Jul
2020, Kalamata, Franc
- …