BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Hans Havlicek

Hans Havlicek contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AGmath-phmath.DGmath.MPquant-phmath.RAmath.HO

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
15works
0followers
7topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

15 published item(s)

preprint2013arXiv

Isometries and Collineations of the Cayley Surface

Let $F$ be Cayley's ruled cubic surface in a projective three-space over any commutative field $K$. We determine all collineations fixing $F$, as a set, and all cubic forms defining $F$. For both problems the cases $|K|=2,3$ turn out to be exceptional. On the other hand, if $|K|\geq 4$ then the set of simple points of $F$ can be endowed with a non-symmetric distance function. We describe the corresponding circles, and we establish that each isometry extends to a unique projective collineation of the ambient space.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The Betten-Walker spread and Cayley's ruled cubic surface

We establish that, over certain ground fields, the set of osculating tangents of Cayley's ruled cubic surface gives rise to a (maximal partial) spread which is also a dual (maximal partial) spread. It is precisely the Betten-Walker spreads that allow for this construction. Every infinite Betten-Walker spread is not an algebraic set of lines, but it turns into such a set by adding just one pencil of lines.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On the Matrices of Central Linear Mappings

We show that a central linear mapping of a projectively embedded Euclidean $n$-space onto a projectively embedded Euclidean $m$-space is decomposable into a central projection followed by a similarity if, and only if, the least singular value of a certain matrix has multiplicity $\ge 2m-n+1$. This matrix is arising, by a simple manipulation, from a matrix describing the given mapping in terms of homogeneous Cartesian coordinates.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Quadratic embeddings

The quadratic Veronese embedding $ρ$ maps the point set $P$ of $\PG{n,F)$ into the point set of $PG({n+2 \choose 2}-1, F$ ($F$ a commutative field) and has the following well-known property: If $M\subset P$, then the intersection of all quadrics containing $M$ is the inverse image of the linear closure of $M^ρ$. In other words, $ρ$ transforms the closure from quadratic into inear. In this paper we use this property to define "quadratic embeddings". We shall prove that if $ν$ is a quadratic embedding of $PG{n,F)$ into $PG(n',F')$ ($F$ a commutative field), then $ρ^{-1}ν$ is dimension-preserving. Moreover, up to some exceptional cases, there is an injective homomorphism of $F$ into $F'$. An additional regularity property for quadratic embeddings allows us to give a geometric characterization of the quadratic Veronese embedding.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Density conditions for quantum propositions

As has already been pointed out by Birkhoff and von Neumann, quantum logic can be formulated in terms of projective geometry. In three-dimensional Hilbert space, elementary logical propositions are associated with one-dimensional subspaces, corresponding to points of the projective plane. It is shown that, starting with three such propositions corresponding to some basis $\{{\vec u},{\vec v},{\vec w}\}$, successive application of the binary logical operation $(x,y)\mapsto (x\vee y)^\perp$ generates a set of elementary propositions which is countable infinite and dense in the projective plane if and only if no vector of the basis $\{{\vec u},{\vec v},{\vec w}\}$ is orthogonal to the other ones.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On Invariant Notions of Segre Varieties in Binary Projective Spaces

Invariant notions of a class of Segre varieties $\Segrem(2)$ of PG(2^m - 1, 2) that are direct products of $m$ copies of PG(1, 2), $m$ being any positive integer, are established and studied. We first demonstrate that there exists a hyperbolic quadric that contains $\Segrem(2)$ and is invariant under its projective stabiliser group $\Stab{m}{2}$. By embedding PG(2^m - 1, 2) into \PG(2^m - 1, 4), a basis of the latter space is constructed that is invariant under $\Stab{m}{2}$ as well. Such a basis can be split into two subsets whose spans are either real or complex-conjugate subspaces according as $m$ is even or odd. In the latter case, these spans can, in addition, be viewed as indicator sets of a $\Stab{m}{2}$-invariant geometric spread of lines of PG(2^m - 1, 2). This spread is also related with a $\Stab{m}{2}$-invariant non-singular Hermitian variety. The case $m=3$ is examined in detail to illustrate the theory. Here, the lines of the invariant spread are found to fall into four distinct orbits under $\Stab{3}{2}$, while the points of PG(7, 2) form five orbits.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Moebius Pairs of Simplices and Commuting Pauli Operators

There exists a large class of groups of operators acting on Hilbert spaces, where commutativity of group elements can be expressed in the geometric language of symplectic polar spaces embedded in the projective spaces PG($n, p$), $n$ being odd and $p$ a prime. Here, we present a result about commuting and non-commuting group elements based on the existence of so-called Moebius pairs of $n$-simplices, i. e., pairs of $n$-simplices which are \emph{mutually inscribed and circumscribed} to each other. For group elements representing an $n$-simplex there is no element outside the centre which commutes with all of them. This allows to express the dimension $n$ of the associated polar space in group theoretic terms. Any Moebius pair of $n$-simplices according to our construction corresponds to two disjoint families of group elements (operators) with the following properties: (i) Any two distinct elements of the same family do not commute. (ii) Each element of one family commutes with all but one of the elements from the other family. A three-qubit generalised Pauli group serves as a non-trivial example to illustrate the theory for $p=2$ and $n=5$.

0 citations0 reviewsNo code linkedOpen access