BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Jiri Lebl

Jiri Lebl appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.CVmath.AGmath.ACmath.COComputational Geometrymath.NTmath-phmath.APmath.DSmath.FAmath.MPmath.RAquant-ph

Catalog footprint

What is connected

23works
13topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

23 published item(s)

preprint2022arXiv

Integer Sequences and Output Arrays

The first author recently introduced an integer sequence now numbered A355519 in OEIS. This sequence arose from counting bracket tournaments; its study evokes the analysis of the Catalan triangle (sequence A009766 in OEIS) and the related Catalan numbers, sequence A000108 in OEIS. We therefore introduce a general construction that places these sequences on the same footing and suggests many new integer sequences. We provide code for performing this construction and a lengthy list of examples. This construction determines a function from input sequences to output sequences. Some of the resulting output sequences are in OEIS and others are not.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

On the Levi-flat Plateau problem

We solve the Levi-flat Plateau problem in the following case. Let $M \subset {\mathbb C}^{n+1}$, $n \geq 2$, be a connected compact real-analytic codimension-two submanifold with only nondegenerate CR singularities. Suppose $M$ is a diffeomorphic image via a real-analytic CR map of a real-analytic hypersurface in ${\mathbb C}^n \times {\mathbb R}$ with only nondegenerate CR singularities. Then there exists a unique compact real-analytic Levi-flat hypersurface, nonsingular except possibly for self-intersections, with boundary $M$. We also study boundary regularity of CR automorphisms of domains in ${\mathbb C}^n \times {\mathbb R}$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Local Distinguishability of Generic Unentangled Orthonormal Bases

An orthonormal basis consisting of unentangled (pure tensor) elements in a tensor product of Hilbert spaces is an Unentangled Orthogonal Basis (UOB). In general, for $n$ qubits, we prove that in its natural structure as a real variety, the space of UOB is a bouquet of products of Riemann spheres parametrized by a class of edge colorings of hypercubes. Its irreducible components of maximum dimension are products of $2^n-1$ two-spheres. Using a theorem of Walgate and Hardy, we observe that the UOB whose elements are distinguishable by local operations and classical communication (called locally distinguishable or LOCC distinguishable UOB) are exactly those in the maximum dimensional components. Bennett et al, in their in-depth study of quantum nonlocality without entanglement, include a specific 3 qubit example UOB which is not LOCC distinguishable; we construct certain generalized counterparts of this UOB in $n$ qubits.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Homotopy equivalence for proper holomorphic mappings

We introduce several homotopy equivalence relations for proper holomorphic mappings between balls. We provide examples showing that the degree of a rational proper mapping between balls (in positive codimension) is not a homotopy invariant. In domain dimension at least 2, we prove that the set of homotopy classes of rational proper mappings from a ball to a higher dimensional ball is finite. By contrast, when the target dimension is at least twice the domain dimension, it is well known that there are uncountably many spherical equivalence classes. We generalize this result by proving that an arbitrary homotopy of rational maps whose endpoints are spherically inequivalent must contain uncountably many spherically inequivalent maps. We introduce Whitney sequences, a precise analogue (in higher dimensions) of the notion of finite Blaschke product (in one dimension). We show that terms in a Whitney sequence are homotopic to monomial mappings, and we establish an additional result about the target dimensions of such homotopies.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Initial monomial invariants of holomorphic maps

We study a new biholomorphic invariant of holomorphic maps between domains in different dimensions based on generic initial ideals. We start with the standard generic monomial ideals to find invariants for rational maps of spheres and hyperquadrics, giving a readily computable invariant in this important case. For example, the generic initial monomials distinguish all four inequivalent rational proper maps from the two to the three dimensional ball. Next, we associate to each subspace $X \subset {\mathcal O}(U)$ a generic initial monomial subspace, which is invariant under biholomorphic transformations and multiplication by nonzero functions. The generic initial monomial subspace is a biholomorphic invariant for holomorphic maps if the target automorphism is linear fractional as in the case of automorphisms of spheres or hyperquadrics.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Normal forms for CR singular codimension two Levi-flat submanifolds

Real-analytic Levi-flat codimension two CR singular submanifolds are a natural generalization to ${\mathbb{C}}^m$, $m > 2$, of Bishop surfaces in ${\mathbb{C}}^2$. Such submanifolds for example arise as zero sets of mixed-holomorphic equations with one variable antiholomorphic. We classify the codimension two Levi-flat CR singular quadrics, and we notice that new types of submanifolds arise in dimension 3 or greater. In fact, the nondegenerate submanifolds, i.e. higher order purturbations of $z_m=\bar{z}_1z_2+\bar{z}_1^2$, have no analogue in dimension 2. We prove that the Levi-foliation extends through the singularity in the real-analytic nondegenerate case. Furthermore, we prove that the quadric is a (convergent) normal form for a natural large class of such submanifolds, and we compute its automorphism group. In general, we find a formal normal form in ${\mathbb{C}}^3$ in the nondegenerate case that shows infinitely many formal invariants.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Singular Levi-flat hypersurfaces in complex projective space induced by curves in the Grassmannian

Let $H \subset {\mathbb P}^n$ be a real-analytic subvariety of codimension one induced by a real-analytic curve in the Grassmannian $G(n+1,n)$. Assuming $H$ has a global defining function, we prove $H$ is Levi-flat, the closure of its smooth points of top dimension is a union of complex hyperplanes, and its singular set is either of dimension $2n-2$ or dimension $2n-4$. If the singular set is of dimension $2n-4$, then we show the hypersurface is algebraic and the Levi-foliation extends to a singular holomorphic foliation of ${\mathbb P}^n$ with a meromorphic (rational of degree 1) first integral. In this case, $H$ is in some sense simply a complex cone over an algebraic curve in ${\mathbb P}^1$. Similarly if $H$ has a degenerate singularity, then $H$ is also algebraic. If the dimension of the singular set is $2n-2$ and is nondegenerate, we show by construction that the hypersurface need not be algebraic nor semialgebraic. We construct a Levi-flat real-analytic subvariety in ${\mathbb P}^2$ of real codimension 1 with compact leaves that is not contained in any proper real-algebraic subvariety of ${\mathbb P}^2$. Therefore a straightforward analogue of Chow's theorem for Levi-flat hypersurfaces does not hold.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Bounding the rank of Hermitian forms and rigidity for CR mappings of hyperquadrics

Using Green's hyperplane restriction theorem, we prove that the rank of a Hermitian form on the space of holomorphic polynomials is bounded by a constant depending only on the maximum rank of the form restricted to affine manifolds. As an application we prove a rigidity theorem for CR mappings between hyperquadrics in the spirit of the results of Baouendi-Huang and Baouendi-Ebenfelt-Huang. Given a real-analytic CR mapping of a hyperquadric (not equivalent to a sphere) to another hyperquadric $Q(A,B)$, either the image of the mapping is contained in a complex affine subspace, or $A$ is bounded by a constant depending only on $B$. Finally, we prove a stability result about existence of nontrivial CR mappings of hyperquadrics. That is, as long as both $A$ and $B$ are sufficiently large and comparable, then there exist CR mappings whose image is not contained in a hyperplane. The rigidity result also extends when mapping to hyperquadrics in infinite dimensional Hilbert-space.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

CR singular images of generic submanifolds under holomorphic maps

The purpose of this paper is to organize some results on the local geometry of CR singular real-analytic manifolds that are images of CR manifolds via a CR map that is a diffeomorphism onto its image. We find a necessary (sufficient in dimension 2) condition for the diffeomorphism to extend to a finite holomorphic map. The multiplicity of this map is a biholomorphic invariant that is precisely the Moser invariant of the image when it is a Bishop surface with vanishing Bishop invariant. In higher dimensions, we study Levi-flat CR singular images and we prove that the set of CR singular points must be large, and in the case of codimension 2, necessarily Levi-flat or complex. We also show that there exist real-analytic CR functions on such images that satisfy the tangential CR conditions at the singular points, yet fail to extend to holomorphic functions in a neighborhood. We provide many examples to illustrate the phenomena that arise.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On the continuity and regularity of convex extensions

We study continuity and regularity of convex extensions of functions from a compact set $C$ to its convex hull $K$. We show that if $C$ contains the relative boundary of $K$, and $f$ is a continuous convex function on $C$, then $f$ extends to a continuous convex function on $K$ using the standard convex roof construction. In fact, a necessary and sufficient condition for $f$ to extend from any set to a continuous convex function on the convex hull is that $f$ extends to a continuous convex function on the relative boundary of the convex hull. We give examples showing that the hypotheses in the results are necessary. In particular, if $C$ does not contain the entire relative boundary of $K$, then there may not exist any continuous convex extension of $f$. Finally, when the boundary of $K$ and $f$ are $C^1$ we give a necessary and sufficient condition for the convex roof construction to be $C^1$ on all of $K$. We also discuss an application of the convex roof construction in quantum computation.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Signature pairs of positive polynomials

A well-known theorem of Quillen says that if $r(z,\bar{z})$ is a bihomogeneous polynomial on ${\mathbb{C}}^n$ positive on the sphere, then there exists $d$ such that $r(z,\bar{z}){\lVert z \rVert}^{2d}$ is a squared norm. We obtain effective bounds relating this $d$ to the signature of $r$. We obtain the sharp bound for $d=1$, and for $d > 1$ we obtain a bound that is of the correct order as a function of $d$ for fixed $n$. The current work adds to an extensive literature on positivity classes for real polynomials. The classes $Ψ_d$ of polynomials for which $r(z,\bar{z}){\lVert z \rVert}^{2d}$ is a squared norm interpolate between polynomials positive on the sphere and those that are Hermitian sums of squares.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Algebraic Levi-flat hypervarieties in complex projective space

We study singular real-analytic Levi-flat hypersurfaces in complex projective space. We define the rank of an algebraic Levi-flat hypersurface and study the connections between rank, degree, and the type and size of the singularity. In particular, we study degenerate singularities of algebraic Levi-flat hypersurfaces. We then give necessary and sufficient conditions for a Levi-flat hypersurface to be a pullback of a real-analytic curve in $\mathbb{C}$ via a meromorphic function. Among other examples, we construct a nonalgebraic semianalytic Levi-flat hypersurface with compact leaves that is a perturbation of an algebraic Levi-flat variety.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Polynomials constant on a hyperplane and CR maps of spheres

We prove a sharp degree bound for polynomials constant on a hyperplane with a fixed number of nonnegative distinct monomials. This bound was conjectured by John P. D'Angelo, proved in two dimensions by D'Angelo, Kos and Riehl and in three dimensions by the authors. The current work builds upon these results to settle the conjecture in all dimensions. We also give a complete description of all polynomials in dimensions 4 and higher for which the sharp bound is obtained. The results prove the sharp degree bounds for monomial CR mappings of spheres in all dimensions.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Hermitian symmetric polynomials and CR complexity

Properties of Hermitian forms are used to investigate several natural questions from CR Geometry. To each Hermitian symmetric polynomial we assign a Hermitian form. We study how the signature pairs of two Hermitian forms behave under the polynomial product. We show, except for three trivial cases, that every signature pair can be obtained from the product of two indefinite forms. We provide several new applications to the complexity theory of rational mappings between hyperquadrics, including a stability result about the existence of non-trivial rational mappings from a sphere to a hyperquadric with a given signature pair.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Normal forms, Hermitian operators, and CR maps of spheres and hyperquadrics

We prove and organize some results on the normal forms of Hermitian operators composed with the Veronese map. We apply this general framework to prove two specific theorems in CR geometry. First, extending a theorem of Faran, we classify all real-analytic CR maps between any hyperquadric in $\C^2$ and any hyperquadric in $\C^3$, resulting in a finite list of equivalence classes. Second, we prove that all degree-two CR maps of spheres in all dimensions are spherically equivalent to a monomial map, thus obtaining an elegant classification of all degree-two CR sphere maps.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Polynomials constant on a hyperplane and CR maps of hyperquadrics

We prove a sharp degree bound for polynomials constant on a hyperplane with a fixed number of distinct monomials for dimensions 2 and 3. We study the connection with monomial CR maps of hyperquadrics and prove similar bounds in this setup with emphasis on the case of spheres. The results support generalizing a conjecture on the degree bounds to the more general case of hyperquadrics.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Uniqueness of certain polynomials constant on a line

We study a question with connections to linear algebra, real algebraic geometry, combinatorics, and complex analysis. Let $p(x,y)$ be a polynomial of degree $d$ with $N$ positive coefficients and no negative coefficients, such that $p=1$ when $x+y=1$. A sharp estimate $d \leq 2N-3$ is known. In this paper we study the $p$ for which equality holds. We prove some new results about the form of these "sharp" polynomials. Using these new results and using two independent computational methods we give a complete classification of these polynomials up to $d=17$. The question is motivated by the problem of classification of CR maps between spheres in different dimensions.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Levi-flat hypersurfaces with real analytic boundary

Let $X$ be a Stein manifold of dimension at least 3. Given a compact codimension 2 real analytic submanifold $M$ of $X$, that is the boundary of a compact Levi-flat hypersurface $H$, we study the regularity of $H$. Suppose that the CR singularities of $M$ are an $\mathcal{O}(X)$-convex set. For example, suppose $M$ has only finitely many CR singularities, which is a generic condition. Then $H$ must in fact be a real analytic submanifold. If $M$ is real algebraic, it follows that $H$ is real algebraic and in fact extends past $M$, even near CR singularities. To prove these results we provide two variations on a theorem of Malgrange, that a smooth submanifold contained in a real analytic subvariety of the same dimension is itself real analytic. We prove a similar theorem for submanifolds with boundary, and another one for subanalytic sets.

0 citations0 reviewsNo code linkedOpen access