Deciding whether two quadratic surfaces actually intersect

Huu-Quang Nguyen,Ruey-Lin Sheu,Yong Xia

DOI: https://doi.org/10.48550/arXiv.2012.10318

2020-12-18

Optimization and Control

Abstract:We answer an open question proposed by P\'{o}lik and Terlaky in 2007 that: {\it how we can decide whether two quadratic surfaces intersect without actually computing the intersections?}

What problem does this paper attempt to address?

Topology Driven Approximation to Rational Surface-Surface Intersection Via Interval Algebraic Topology Analysis.

Jin-San Cheng,Bingwei Zhang,Yikun Xiao,Ming Li

DOI: https://doi.org/10.1145/3592452

2023-01-01

Abstract:Computing the intersection between two parametric surfaces (SSI) is one of the most fundamental problems in geometric and solid modeling. Maintaining the SSI topology is critical to its computation robustness. We propose a topology-driven hybrid symbolic-numeric framework to approximate rational parametric surface-surface intersection (SSI) based on a concept of interval algebraic topology analysis (IATA), which configures within a 4D interval box the SSI topology. We map the SSI topology to an algebraic system's solutions within the framework, classify and enumerate all topological cases as a mixture of four fundamental cases (or their specific sub-cases). Various complicated topological situations are covered, such as cusp points or curves, tangent points (isolated or not) or curves, tiny loops, self-intersections, or their mixtures. The theoretical formulation is also implemented numerically using advanced real solution isolation techniques, and computed within a topology-driven framework which maximally utilizes the advantages of the topology maintenance of algebraic analysis, the robustness of iterative subdivision, and the efficiency of forward marching. The approach demonstrates improved robustness under benchmark topological cases when compared with available open-source and commercial solutions, including IRIT, SISL, and Parasolid.
Algebraic algorithms for computing intersections between Torus and natural Quadrics

Qiang Li,Sanyuan Zhang,Xiuzi Ye

DOI: https://doi.org/10.1080/16864360.2004.10738288

2013-01-01

Computer-Aided Design and Applications

Abstract:We present in this paper efficient and robust algebraic algorithms for computing intersection curves between torus and natural quadrics used in CAD, namely sphere, cylinder and cone. A proper local coordinate system (LCS) is chosen first. Under the chosen LCS, cylinders and cones are parametrized by their line generators, and the problem of computing intersections between tori and cylinders or cones are converted to the line/torus intersection problem. Then, cases that the intersections are conic sections are identified and computed in geometrical and intuitive ways. For all other cases, discrete intersection points are computed and sorted to form intersection curves. For torus/sphere intersection, we present algorithms to compute the intersection curves directly from explicit algebraic representations.
Intersections of Two Offset Parametric Surfaces Based on Topology Analysis.

Ouyang Ying-xiu,Tang Min,Lin Jun-cheng,Dong Jin-xiang

DOI: https://doi.org/10.1631/bf02841009

2004-01-01

Journal of Zhejiang University SCIENCE A

Abstract:Conventional methods for solving intersections between two offset parametric surfaces often include iteratively using computationally expensive SSI (surface/surface intersections) algorithm. In addition, these methods ignore the relations between the intersection curves of parametric surfaces with different offset distances. The algorithm presented in this paper, makes full use of the topological relations between different intersection loops and calculates intersection loops with the help of previously calculated intersection loops. It first pre-processes two parametric surfaces to obtain the characteristic points, called topology transition points (TTPs), which can help in the subsequent finding of the topologies of the intersection curves. Then these points are categorized into several distinct groups, and we can determine the calculation strategy for searching initial points by analyzing the properties of these TTPs on the surfaces. Hence, all intersection curves can be marched from initial points by the tracing algorithm. The proposed algorithm could calculate intersection curves robustly and effectively, and has been tested to be capable of overcoming the degenerate conditions such as loop and singularities leaking that occur frequently in conventional algorithms.
A New Method For Implicit Algebraic Surfaces Intersection

Zs Yu,Wq Cao,Lz Ma,Qs Peng

1997-01-01

Abstract:The paper presents a new metheod for implicit algebraic surfaces intersection. From the view of visualization in science compute(VISC),the implicit algebraic surfaces act as the isosurface in three dimension scalar field. Then, the problem of solving for isosurface is transformed into the matters as following:look for the two surfaces' common voxel set;solve for the two algebraic surfaces' approximation - triangle facet in each voxel,and calculate their intersection line;combine all these line segments. The combination we got here is the intersection curve we want. This method is not only accurate, reliable, but also fit to various situations.
Algebraic intersections on Bouw-Möller surfaces, and more general convex polygons

Julien Boulanger,Irene Pasquinelli

2024-09-03

Abstract:This paper focuses on intersection of closed curves on translation surfaces. Namely, we investigate the question of determining the intersection of two closed curves of a given length on such surfaces. This question has been investigated in several papers and this paper complement the work of Boulanger, Lanneau and Massart done for double regular polygons, and extend the results to a large family of surfaces which includes in particular Bouw-Möller surfaces. Namely, we give an estimate for KVol on surfaces based on geometric constraints (angles and indentifications of sides). This estimate is sharp in the case of Bouw-Möller surfaces with a unique singularity, and it allows to compute KVol on the $SL_2(\mathbb{R})$-orbit of such surfaces.

Geometric Topology
A New Diophantine Approximation Inequality on Surfaces and Its Applications

Keping Huang,Aaron Levin,Zheng Xiao

2024-06-27

Abstract:We prove a Diophantine approximation inequality for closed subschemes on surfaces which can be viewed as a joint generalization of recent inequalities of Ru-Vojta and Heier-Levin in this context. As applications, we study various Diophantine problems on affine surfaces given as the complement of three numerically parallel ample projective curves: inequalities involving greatest common divisors, degeneracy of integral points, and related Diophantine equations including families of S-unit equations. We state analogous results in the complex analytic setting, where our main result is an inequality of Second Main Theorem type for surfaces, with applications to the study and value distribution theory of holomorphic curves in surfaces.

Number Theory
Intersection Testing Between an Ellipsoid and an Algebraic Surface.

Xiao-Diao Chen,Jun-Hai Yong,Jean-Claude Paul,Jiaguang Sun

DOI: https://doi.org/10.1109/cadcg.2007.4407853

2007-01-01

Abstract:This paper presents a new method on the intersection testing problem between an ellipsoid and an algebraic surface. In the new method, the testing problem is turned into a new testing problem whether a univariate polynomial has a positive or negative real root. Examples are shown to illustrate the robustness and efficiency of the new method.
Finding polynomials with arbitrary intersection numbers

Weiyuan Qiu,Yueyang Wang

DOI: https://doi.org/10.1007/s11856-024-2698-6

2024-12-05

Israel Journal of Mathematics

Abstract:We prove that for any positive integers p ≥ 2 and d ≥ 3, there exists a polynomial of degree d which is a common boundary point of exactly p hyperbolic components. For p > 3, there is no such map in the case of degree d = 2.

mathematics
A Geometric Method for Determining Intersection Relations Between a Movable Convex Object and a Set of Planar Polygons.

K Tang,YJ Liu

DOI: https://doi.org/10.1109/tro.2004.829479

IF: 7.8

2004-01-01

IEEE Transactions on Robotics

Abstract:In this paper, we investigate how to topologically and geometrically characterize the intersection relations between a movable convex polygon A and a set /spl Xi/ of possibly overlapping polygons fixed in the plane. More specifically, a subset /spl Phi//spl sube//spl Xi/ is called an intersection relation if there exists a placement of A that intersects, and only intersects, /spl Phi/. The objective of this paper is to design an efficient algorithm that finds a finite and discrete representation of all of the intersection relations between A and /spl Xi/. Past related research only focuses on the complexity of the free space of the configuration space between A and /spl Xi/ and how to move or place an object in this free space. However, there are many applications that require the knowledge of not only the free space, but also the intersection relations. Examples are presented to demonstrate the rich applications of the formulated problem on intersection relations.
An Intersection Algorithm for Parametric Offsets Surfaces Based on Topology Similarity

林军呈,唐敏,董金祥

2003-01-01

Ruan Jian Xue Bao/Journal of Software

Abstract:Commonly, surface/surface intersect algorithm is repeatedly used to solve the offset surface/surface intersections. It doesn't make full use of similarity of intersect curve topology to simple offset surface/surface intersection problem. The algorithm presented in this paper pre-processes two parametric surfaces to achieve points, called topology transition points, which produce an effect on intersect curve structure, number and location. According to topology transition points distribution graph, initial point search strategy and intersect curve topology can be fixed. The algorithm is tested, and can be proved to overcome the degenerate conditions such as loop leaking, singularity leaking and can calculate the initial point effectively.
Linear subspaces of the intersection of two quadrics via Kuznetsov component

Yanjie Li,Shizhuo Zhang

2024-01-01

Abstract:Let $Q_i(i=1,2)$ be $2g$ dimensional quadrics in $\mathbb{P}^{2g+1}$ and let $Y$ be the smooth intersection $Q_1\cap Q_2$. We associate the linear subspace in $Y$ with vector bundles on the hyperelliptic curve $C$ of genus $g$ by the left adjoint functor of $\Phi:D^b(C)\rightarrow D^b(Y)$. As an application, we give a different proof of the classification of line bundles and stable bundles of rank $2$ on hyperelliptic curves given by Desale and Ramanan. When $g=3$, we show that the projection functor induces a closed embedding $\alpha:Y\rightarrow SU^s_C(4,h)$ into the moduli space of stable bundles on $C$ of rank $4$ of fixed determinant.

Algebraic Geometry
Quartic del Pezzo surfaces without quadratic points

Brendan Creutz,Bianca Viray

2024-08-16

Abstract:Previous work of the authors showed that every quartic del Pezzo surface over a number field has index dividing $2$, and asked whether such surfaces always have a closed point of degree $2$. We resolve this by constructing infinitely many quartic del Pezzo surfaces over $\mathbb{Q}$ without degree $2$ points. These are the first examples of smooth intersections of two quadrics with index strictly less than the minimal degree of a closed point.

Number Theory,Algebraic Geometry
An Intersection Algorithm Based on Transformation

Chen Xiao-xia,Yong Jun-hai,Chen Yu-jian

DOI: https://doi.org/10.1007/s11465-006-0024-0

2005-01-01

Computer Integrated Manufacturing Systems

Abstract:How to obtain intersection of curves and surfaces is a fundamental problem in many areas such as computer graphics, CAD/CAM, computer animation, and robotics. Especially, how to deal with singular cases, such as tangency or superposition, is a key problem in obtaining intersection results. A method for solving the intersection problem based on the coordinate transformation is presented. With the Lagrange multiplier method, the minimum distance between the center of a circle and a quadric surface is given as well. Experience shows that the coordinate transformation could significantly simplify the method for calculating intersection results. The location of the tangent point is revised according to the tangency condition. It can improve the stability of the intersection of given curves and surfaces in singularity cases. The new algorithm is applied in a three dimensional CAD software (GEMS), produced by Tsinghua University.
Guaranteed Consistency of Surface Intersections and Trimmed Surfaces Using a Coupled Topology Resolution and Domain Decomposition Scheme

Joel Hass,Rida T. Farouki,Chang Yong Han,Xiaowen Song,Thomas W. Sederberg

DOI: https://doi.org/10.1007/s10444-005-7539-5

2006-01-01

Advances in Computational Mathematics

Abstract:We describe a method that serves to simultaneously determine the topological configuration of the intersection curve of two parametric surfaces and generate compatible decompositions of their parameter domains, that are amenable to the application of existing perturbation schemes ensuring exact topological consistency of the trimmed surface representations. To illustrate this method, we begin with the simpler problem of topology resolution for a planar algebraic curve F ( x , y )=0 in a given domain, and then extend concepts developed in this context to address the intersection of two tensor-product parametric surfaces p ( s , t ) and q ( u , v ) defined on ( s , t )∈[0,1] 2 and ( u , v )∈[0,1] 2 . The algorithms assume the ability to compute, to any specified precision, the real solutions of systems of polynomial equations in at most four variables within rectangular domains, and proofs for the correctness of the algorithms under this assumption are given.
Just-likely intersections on Hilbert modular surfaces

Asvin G.,Qiao He,Ananth N. Shankar

2024-01-17

Abstract:In this paper, we prove an intersection-theoretic result pertaining to curves in certain Hilbert modular surfaces in positive characteristic. Specifically, we show that given two appropriate curves C,D parameterizing abelian surfaces with real multiplication, the set of points (x,y) in the product CxD with surfaces parameterized by x and y isogenous to each other is Zariski dense in C x D, thereby proving a case of a just-likely intersection conjecture. We also compute the change in Faltings height under appropriate p-power isogenies of abelian surfaces with real multiplication over characteristic p global fields.

Algebraic Geometry,Number Theory
On Self-Intersections of Cubic Bézier Curves

Ying-Ying Yu,Xin Li,Ye Ji

DOI: https://doi.org/10.3390/math12060882

IF: 2.4

2024-03-17

Mathematics

Abstract:Cubic Bézier curves are widely used in computer graphics and geometric modeling, favored for their intuitive design and ease of implementation. However, self-intersections within these curves can pose significant challenges in both geometric modeling and analysis. This paper presents a comprehensive approach to detecting and computing self-intersections of cubic Bézier curves. We introduce an efficient algorithm that leverages both the geometric properties of Bézier curves and numerical methods to accurately identify intersection points. The self-intersection problem of cubic Bézier curves is firstly transformed into a quadratic problem by eliminating trivial solutions. Subsequently, this quadratic system is converted into a linear system that may be easily analyzed and solved. Finally, the parameter values corresponding to the self-intersection points are computed through the solution of the linear system. The proposed method is designed to be robust and computationally efficient, making it suitable for real-time applications.

mathematics
The alternating simultaneous Halpern-Lions-Wittmann-Bauschke algorithm for finding the best approximation pair for two disjoint intersections of convex sets

Yair Censor,Rafiq Mansour,Daniel Reem

DOI: https://doi.org/10.1016/j.jat.2024.106045

2024-06-05

Abstract:Given two nonempty and disjoint intersections of closed and convex subsets, we look for a best approximation pair relative to them, i.e., a pair of points, one in each intersection, attaining the minimum distance between the disjoint intersections. We propose an iterative process based on projections onto the subsets which generate the intersections. The process is inspired by the Halpern-Lions-Wittmann-Bauschke algorithm and the classical alternating process of Cheney and Goldstein, and its advantage is that there is no need to project onto the intersections themselves, a task which can be rather demanding. We prove that under certain conditions the two interlaced subsequences converge to a best approximation pair. These conditions hold, in particular, when the space is Euclidean and the subsets which generate the intersections are compact and strictly convex. Our result extends the one of Aharoni, Censor and Jiang ["Finding a best approximation pair of points for two polyhedra'', Computational Optimization and Applications 71 (2018), 509--523] who considered the case of finite-dimensional polyhedra.

Optimization and Control,Functional Analysis,Numerical Analysis
On the arithmetic of intersections of two quadrics containing a conic

Per Salberger

2023-05-04

Abstract:This is a retyped version of an unpublished manuscript from 1993. It contains proofs of two conjectures of Colliot-Thélène, Sansuc and Swinnerton-Dyer on the arithmetic of intersections of two quadrics in the case where the variety contains a conic.

Number Theory
On Intersections of B-Spline Curves

Ying-Ying Yu,Xin Li,Ye Ji

DOI: https://doi.org/10.3390/math12091344

IF: 2.4

2024-04-29

Mathematics

Abstract:Bézier and B-spline curves are foundational tools for curve representation in computer graphics and computer-aided geometric design, with their intersection computation presenting a fundamental challenge in geometric modeling. This study introduces an innovative algorithm that quickly and effectively resolves intersections between Bézier and B-spline curves. The number of intersections between the two input curves within a specified region is initially determined by applying the resultant of a polynomial system and Sturm's theorem. Subsequently, the potential region of the intersection is established through the utilization of the pseudo-curvature-based subdivision scheme and the bounding box detection technique. The projected Gauss-Newton method is ultimately employed to efficiently converge to the intersection. The robustness and efficiency of the proposed algorithm are demonstrated through numerical experiments, demonstrating a speedup of 3 to 150 times over traditional methods.

mathematics
A conjecture on tangent intersections of surface patches

Thomas W. Sederberg,Jianmin Zheng,Xiaowen Song

DOI: https://doi.org/10.1016/j.cagd.2003.07.005

IF: 1.368

2004-01-01

Computer Aided Geometric Design

Abstract:This note conjectures that if two surface patches intersect with G1 continuity along an entire curve, the probability is one that the curve is rational. This idea has significance for surface intersection algorithms.

Deciding whether two quadratic surfaces actually intersect

Topology Driven Approximation to Rational Surface-Surface Intersection Via Interval Algebraic Topology Analysis.

Algebraic algorithms for computing intersections between Torus and natural Quadrics

Intersections of Two Offset Parametric Surfaces Based on Topology Analysis.

A New Method For Implicit Algebraic Surfaces Intersection

Algebraic intersections on Bouw-Möller surfaces, and more general convex polygons

A New Diophantine Approximation Inequality on Surfaces and Its Applications

Intersection Testing Between an Ellipsoid and an Algebraic Surface.

Finding polynomials with arbitrary intersection numbers

A Geometric Method for Determining Intersection Relations Between a Movable Convex Object and a Set of Planar Polygons.

An Intersection Algorithm for Parametric Offsets Surfaces Based on Topology Similarity

Linear subspaces of the intersection of two quadrics via Kuznetsov component

Quartic del Pezzo surfaces without quadratic points

An Intersection Algorithm Based on Transformation

Guaranteed Consistency of Surface Intersections and Trimmed Surfaces Using a Coupled Topology Resolution and Domain Decomposition Scheme

Just-likely intersections on Hilbert modular surfaces

On Self-Intersections of Cubic Bézier Curves

The alternating simultaneous Halpern-Lions-Wittmann-Bauschke algorithm for finding the best approximation pair for two disjoint intersections of convex sets

On the arithmetic of intersections of two quadrics containing a conic

On Intersections of B-Spline Curves

A conjecture on tangent intersections of surface patches