Related papers: A linear programming approach to Fuglede's conject…
We study adjointable, bounded operators on the direct sum of two copies of the standard Hilbert C*-module over a unital C*-algebra A that are given by upper triangular 2 by 2 operator matrices. Using the definition of A-Fredholm and…
We consider when a smooth vector bundle endowed with a connection possesses non-trivial, local parallel sections. This is accomplished by means of a derived flag of subsets of the bundle. The procedure is algebraic and rests upon the…
The main result of this paper is the following: let d be a natural number >= 3; the line bundle O(1,...,1) on the product of d copies of the projective line P^1 satisfies Property N_p of Green-Lazarsfeld if and only if p <= 3.
We consider so-called squaring the square-puzzles where a given square (or rectangle) should be dissected into smaller squares. For a specific instance of such problems we demonstrate that a mathematically rigorous solution can be quite…
The Pappas-Rapoport coherence conjecture, proved by Zhu, states that the dimensions of spaces of sections of certain line bundles coincide. The two sides of the equality correspond to the line bundles on spherical Schubert varieties in the…
In this paper, we study some bounds for nonconvex quadratically constrained quadratic programs. We propose two types of bounds for quadratically constrained quadratic programs, quadratic and cubic bounds. For quadratic bounds, we use affine…
A conjecture of Breuil, Buzzard, and Emerton says that the slopes of certain reducible $p$-adic Galois representations must be integers. In previous work we showed this conjecture for representations that lie over certain non-subtle…
We study the fixed singularities imposed on members of a linear system of surfaces in P^3_C by its base locus Z. For a 1-dimensional subscheme Z \subset P^3 with finitely many points p_i of embedding dimension three and d >> 0, we determine…
In this short note we confirm the relation between the generalized $abc$-conjecture and the $p$-rationality of number fields. Namely, we prove that given K$/\mathbb{Q}$ a real quadratic extension or an imaginary $S_3$-extension, if the…
In this paper, a class of optimization problems with nonlinear inequality constraints is discussed. Based on the ideas of sequential quadratic programming algorithm and the method of strongly sub-feasible directions, a new superlinearly…
We provide here a proof theoretic account of constraint programming that attempts to capture the essential ingredients of this programming style. We exemplify it by presenting proof rules for linear constraints over interval domains, and…
For a finite set $A\subset \mathbb{R}$ and real $\lambda$, let $A+\lambda A:=\{a+\lambda b :\, a,b\in A\}$. Combining a structural theorem of Freiman on sets with small doubling constants together with a discrete analogue of…
In this paper, we give a proof of the Bouchard-Klemm-Marino-Pasquetti conjecture for a framed vertex, by using the symmetrized Cut-Join Equation developed in a previous paper.
We study the problem of passive imaging through convolutive channels. A scene is illuminated with an unknown, unstructured source, and the measured response is the convolution of this source with multiple channel responses, each of which is…
We streamline Malliaris and Shelah's proof that $\mathfrak{p} = \mathfrak{t}$. In particular, we replace cofinality spectrum problems with models of $ZFC^-$, and we eliminate the use of peculiar cuts.
We consider the Zariski-Lipman Conjecture on free module of derivations for algebraic surfaces. Using the theory of non-complete algebraic surfaces, and some basic results about ruled surfaces, we will prove the conjecture for several…
We consider A-hypergeometric functions associated to normal sets in the plane. We give a classification of all point configurations for which there exists a parameter vector such that the associated hypergeometric function is algebraic. In…
Bundle methods have been intensively studied for solving both convex and nonconvex optimization problems. In most of the bundle methods developed thus far, at least one quadratic programming (QP) subproblem needs to be solved in each…
We find a simple algebraic model for rational G-equivariant spectra, where G is the p-adic integers, via a series of Quillen equivalences. This model, along with an Adams short exact sequence, will allow us to easily perform constructions…
In this paper, we study the spectrality of infinite convolutions generated by infinitely many admissible pairs which may not be compactly supported, where the spectrality means the corresponding square integrable function space admits a…