- Research Article
1
- 10.1016/j.comgeo.2018.06.003
On a conjecture of Karasev
- Jun 21, 2018
- Computational Geometry
- Seunghun Lee + 1 more +1
On a conjecture of Karasev
For a set S of n lines labeled from 1 to n, we say that S supports an n-vertex planar graph G if for every labeling from 1 to n of its vertices, G has a straight-line crossing-free drawing with each vertex drawn as a point on its associated line. It is known from previous work [4] that no set of n parallel lines supports all n-vertex planar graphs. We show that intersecting lines, even if they intersect at a common point, are more “powerful” than a set of parallel lines. In particular, we prove that every such set of lines supports outerpaths, lobsters, and squids, none of which are supported by any set of parallel lines. On the negative side, we prove that no set of n lines that intersect in a common point supports all n-vertex planar graphs. Finally, we show that there exists a set of n lines in general position that does not support all n-vertex planar graphs.
On a conjecture of Karasev
On a conjecture of Karasev
Line partitions of internal points to a conic in PG(2,q)
All sets of lines providing a partition of the set of internal points to a conic C in PG(2,q), q odd, are determined. There exist only three such linesets up to projectivities, namely the set of all non-tangent lines to C through an external point to C, the set of all non-tangent lines to C through a point in C, and, for square q, the set of all non-tangent lines to C belonging to a Baer subplane PG(2,√q) with √q+1 common points with C. This classification theorem is the analogous of a classical result by Segre and Korchmaros [9] characterizing the pencil of lines through an internal point to C as the unique set of lines, up to projectivities, which provides a partition of the set of all non-internal points to C. However, the proof is not analogous, since it does not rely on the famous Lemma of Tangents of Segre which was the main ingredient in [9]. The main tools in the present paper are certain partitions in conics of the set of all internal points to C, together with some recent combinatorial characterizations of blocking sets of non-secant lines, see [2], and of blocking sets of external lines, see [1].
Read moreMethod for Vision Measurement Based on Mutual Perpendicular Line Correspondences
Method for Vision Measurement Based on Mutual Perpendicular Line Correspondences
Paracatadioptric camera calibration
Catadioptric sensors refer to the combination of lens-based devices and reflective surfaces. These systems are useful because they may have a field of view which is greater than hemispherical, providing the ability to simultaneously view in any direction. Configurations which have a unique effective viewpoint are of primary interest, among these is the case where the reflective surface is a parabolic mirror and the camera is such that it induces an orthographic projection and which we call paracatadioptric. We present an algorithm for the calibration of such a device using only the images of lines in space. In fact, we show that we may obtain all of the intrinsic parameters from the images of only three lines and that this is possible without any metric information. We propose a closed-form solution for focal length, image center, and aspect ratio for skewless cameras and a polynomial root solution in the presence of skew. We also give a method for determining the orientation of a plane containing two sets of parallel lines from one uncalibrated view. Such an orientation recovery enables a rectification which is impossible to achieve in the case of a single uncalibrated view taken by a conventional camera. We study the performance of the algorithm in simulated setups and compare results on real images with an approach based on the image of the mirror's bounding circle.
Read moreA Procedure For Two-Dimensional Asymptotic Rotational-Splitting Inversion
Rotational splitting Δω(n,l,m) of the eigenfrequencies of a star rotating with angular velocity Ω(r, θ) about a unique axis can be represented as a weighted integral of Ω over r and θ, (r, θ, φ) being spherical polar coordinates about the axis of rotation. For high-frequency acoustic modes, Δω/m collapses essentially to a function of ω — ω /(l+1/2) and M = m/(l + 1/2) alone, and the weighting kernel K(r,θ) becomes asymptotically degenerate, each factor being of essentially Abel type. Therefore, formally, the splitting integral can be inverted, once a procedure has been found for extending Δω over the domain of (ω, M) such that the turning points (rt,ωt), given by (c(rt)/rt, sinωt) = (ω, M) where c is sound speed, span the star. Obtaining that representation is the most difficult stage of the inversion. We report on a procedure that treats the inverted two-dimensional Abel integral as a repeated double integral, representing the data successively along a set of parallel lines M =constant. The method is illustrated by an inversion of artificial data which is compared with the angular velocity from which those data were computed.
Read moreThe structure of a strange attractor
The structure of a strange attractor
The efficient sorting of light's orbital angular momentum for optical communications
The desire to increase the amount of information that can be encoded onto a single photon has driven research into many areas of optics. One such area is optical orbital angular momentum (OAM) [1]. These beams have helical phasefronts and carry an orbital angular momentum of mbar per photon, where the integer m is unbounded, giving a large state space in which to encode information. We recently developed a telescope system comprising two bespoke refractive optical elements to transform OAM states into transverse momentum states [2]. This is achieved by mapping the azimuthal position of the input plane to the lateral position in the output [3]. A mapping of this type transforms a set of concentric rings at the input plane into a set of parallel lines in the output plane. A lens can then separate the resulting transverse momentum states into specified lateral positions, allowing for the efficient measurement of multiple OAM states simultaneously. Separating OAM states in this way presents an opportunity for this larger alphabet to improve the data capacity of a free space link and has potential application in both the classical and quantum regimes. We will present our latest design, increasing the bandwidth of measurable states to over 50 OAM modes. In such a system we study the crosstalk introduced by a thin phase turbulence, showing that turbulence similarly degrades the purity of all the modes within this range.
Read moreSynthesis, physico-chemical and DNA interaction studies of homo- and hetero-trinuclear complexes
Synthesis, physico-chemical and DNA interaction studies of homo- and hetero-trinuclear complexes
On the electrostatics of cubic crystals
The electrostatic potential in an ionic crystal is presented in terms of the zeroth-order MacDonald function by means of decomposition of the crystal lattice into sets of parallel lines with the periodic charge distribution with the zero net charge within a period. The method is applied to the calculation of the Madelung constants of a series of standard cubic lattices, doped fullerides and idealized Y-Ba-Cu-O crystals.
Read moreDetermining object shape from local velocity measurements
Determining object shape from local velocity measurements
“I'll Google It”: Gossip, Queer Intimacies, and the Internet
With a still developing and largely unpoliced code of ethics, the Internet forces users to renegotiate continually the boundaries and registers of publicity and privacy, and thus, it is the technic that constellates the ideal conditions for gossip, quite apart from its speed and efficiency in circulating tittle-tattle. Proceeding from observations about how the Internet challenges definitional certitudes about the practice and performance of gossip, this article considers the queer performances of Stephen Karam's darkly comic play Speech & Debate, in which three high-school misfits meet and bond over shared sexual secrets that begin to circulate online. Karam's representation suggests how the new platforms or stages for gossip that develop out of networking sites and technologies may create new counter-publics, capable, in their turn, of occasioning new forms of counter-intimacy. These platforms offer not only new potentialities for intertextual citation and public discourse but also mechanisms for self-promotion and, in this way, raise questions about the distinction between confession and gossip and between intimacy and publicity: two sets of parallel lines that have begun to bend toward one another.
Read moreShading of regions on vector display devises
Given an arbitrary simple polygon with N vertices we present an algorithm for shading the interior of the polygon with a set of parallel lines where the slope and the distance between lines are prespecified. If the number of shading line segments is M, the algorithm described in the paper runs in 0(N log N + M) time. The algorithm is generalizable to shade any region or regions of an arbitrary planar subdivision.
Read moreOn the Fundamental Group of the Complement of a Node Curve
where dl, * dt are the degrees of the irreducible components of C, would follow if one knew that the intersection of all subgroups of finite index in r(P 2C) were trivial. Zariski's original goal of determining all finite coverings of P2 C follows from the theorem stated here: the profinite completions of the displayed groups are the same, and similarly for the tame fundamental group and the prime-to-p completion in characteristic p (cf. [11, [31). The theorem also implies the same conclusion for a hypersurface in PI whose generic plane sections are node curves. Zariski's proof relied on the assertion of Enriques and Severi that any node curve can be degenerated to lines in general position. This assertion remains unproved, however. Abhyankar has proved many special cases of this result. A recent strengthening of Bertini's connectedness theorem, proved jointly with J. Hansen [21, yields a lemma which completes Abhyankar's beautiful argument. Let f: X -+ Y be a finite morphism of projective surfaces over an algebraically closed field, with Y non-singular and X normal. Assume f is a
Read morePseudo-geometric Formulation for Fitting Equidistant Parallel Lines
We present a novel pseudo-geometric formulation for equidistant parallel lines which allows direct linear evaluation against fitted lines in the image space thus providing improved robustness of fit and avoids the need for non-linear optimization. The key idea of our work is to determine an equidistant set of parallel lines which are at minimum orthogonal distance from the edge lines in the image. The comparative results on simulated and real datasets show that a linear solution using the pseudo-geometric formulation is superior to the previous algebraic solution and performs close to the non-linear solution of the true geometric error.
Read moreOn the number of lines in the limit set for discrete subgroups of PSL(3, ℂ)
Given a discret subgroup $\Gamma\subset PSL(3,\C)$, we determine the number of complex lines and complex lines in general position lying in the complement of: maximal regions on which $\Gamma$ acts properly discontinuously, the Kularni's limit set of $\Gamma$ and the equicontinuity set of $\Gamma$. We also provide sufficient conditions to ensure that the equicontinuity region agrees with the Kulkarni's discontinuity region and is the largest set where the group acts properly discontinuously and we provide a description of he respective limit set in terms of the elements of the group.
Read more