Related papers: Level optimization in the totally real case
We show that completeness at higher levels of the theory of the reals is a robust notion (under changing the signature and bounding the domain of the quantifiers). This mends recognized gaps in the hierarchy, and leads to stronger…
In this paper, we derive explicit second-order necessary and sufficient optimality conditions of a local minimizer to an optimal control problem for a quasilinear second-order partial differential equation with a piecewise smooth but not…
We characterize all logarithmic, holomorphic vector-valued modular forms which can be analytically continued to a region strictly larger than the upper half-plane.
We study an optimization problem with the feasible set being a real algebraic variety $X$ and whose parametric objective function $f_u$ is gradient-solvable with respect to the parametric data $u$. This class of problems includes Euclidean…
We consider divergence-based high order discretizations of an $L^2$-based first order system least squares formulation of a second order elliptic equation with Robin boundary conditions. For smooth geometries, we show optimal convergence…
We give a survey of recent results related to the problem of characterizing finite-dimensional division algebras by the set of isomorphism classes of their maximal subfields. We also discuss various generalizations of this problem and some…
We study moduli spaces of maximal orders in a ramified division algebra over the function field of a smooth projective surface. As in the case of moduli of stable commutative surfaces, we show that there is a Koll\'ar-type condition giving…
We derive an explicit isomorphism between the Hilbert modular group and certain congruence subgroups on the one hand and particular subgroups of the special orthogonal group $SO(2, 2)$ on the other hand. The proof is based on an application…
We suggest simple implementable modifications of conditional gradient and gradient projection methods for smooth convex optimization problems in Hilbert spaces. Usually, the custom methods attain only weak convergence. We prove strong…
In this paper, in terms of three types of generalized second-order derivatives of a nonsmooth function, we mainly study the corresponding second-order optimality conditions in a Hilbert space and prove the equivalence among these optimality…
Let R be a polynomial ring and M a finitely generated graded R-module of maximal grade (which means that the ideal I_t(\cA) generated by the maximal minors of a homogeneous presentation matrix, \cA, of M has maximal codimension in R).…
We present a generic study of unambiguous discrimination between two mixed quantum states. We derive operational optimality conditions and show that the optimal measurements can be classified according to their rank. In Hilbert space…
The purpose of this semi-expository article is to give another proof of a classical theorem of Shimura on the critical values of the standard L-function attached to a Hilbert modular form. Our proof is along the lines of previous work of…
We develop a theory of levels for irreducible representations of symmetric groups of degree $n$ analogous to the theory of levels for finite classical groups. A key property of level is that the level of a character, provided it is not too…
Given a simplicial complex with weights on its simplices, and a nontrivial cycle on it, we are interested in finding the cycle with minimal weight which is homologous to the given one. Assuming that the homology is defined with integer…
We use the Jacquet-Langlands correspondence to generalize well-known congruence results of Mazur on Fourier coefficients and L-values of elliptic modular forms for prime level in weight 2 both to nonsquare level and to Hilbert modular…
We establish a criterion for a complex number to be algebraic over Q of degree at most two. It requires that, for any sufficiently large real number X, there exists a non-zero polynomial with integral coefficients, of degree at most two and…
The mathematical modeling of numerous real-world applications results in hierarchical optimization problems with two decision makers where at least one of them has to solve an optimal control problem of ordinary or partial differential…
This article starts a computational study of congruences of modular forms and modular Galois representations modulo prime powers. Algorithms are described that compute the maximum integer modulo which two monic coprime integral polynomials…
In this paper we study holomorphic approximation using boundary value problems for $\bar\partial$ on an annulus in the Hilbert space setting. The associated boundary conditions for $\bar\partial$ are the mixed boundary problems on an…