--- title: 'Circle: Geometry, Patterns, and Applications' url: https://www.emergentmind.com/topics/circle type: topic --- # Circle: Geometry, Patterns, and Applications Searching arXiv for recent and foundational papers on circles across geometry, graph theory, and computational imaging. A circle in the Euclidean plane is the set of points at fixed distance from a center; with center $c=(x_0,y_0)$ and radius $r>0$, it admits the implicit equation $(x-x_0)^2+(y-y_0)^2=r^2$ and the parametric form $x(\theta)=x_0+r\cos\theta$, $y(\theta)=y_0+r\sin\theta$ for $\theta\in[0,2\pi)$ [2211.01254]. In contemporary research, the same object also appears as the primitive of circle patterns with prescribed exterior intersection angles, as the chord model underlying circle graphs, and as a low-parameter representation for approximately spherical structures in medical imaging [2512.10387][2512.23492][2403.11507]. ## 1. Euclidean locus, parametrization, and classical constructions In analytic form, the circle is simultaneously an implicit quadratic curve and a periodic parametrized contour. The parametric representation is particularly useful when the circle is discretized into ordered samples, for example $\theta_i=2\pi i/N$ and $(x_i,y_i)=(x_0+r\cos\theta_i,\ y_0+r\sin\theta_i)$, which makes the circle a natural periodic signal on a cycle graph [2403.11507]. Classical straightedge-and-compass geometry gives a constructive description of the full family of circles through a prescribed point. For a fixed triangle $ABC$ with circumcircle $(O)$, a given point $P$, and a chosen center $K$, one defines $Q$ as the $180^\circ$ rotation of $P$ about $O$ and constructs $D=O+(K-P)$ so that $OPKD$ is a parallelogram. If $E,F,G$ are the second intersections of $AD,BD,CD$ with $(O)$, and $U,V,W$ are the fourth vertices of the parallelograms $AQEU$, $BQFV$, and $CQGW$, then the circle through $U,V,W$ passes through $P$, has center $K$, and radius $|PK|$ [1008.1750]. This identifies the entire family of circles through $P$ with the set of admissible centers. Several recent papers reframe the circle as a locus defined by nonstandard constraints. For a regular $n$-gon of circumradius $r$ and a point $P$, let $d_j$ be the distances from $P$ to the vertices and define $S_n^{(2m)}=\sum_{j=1}^n d_j^{2m}$. For $m=1,2,\dots,n-1$, the locus $S_n^{(2m)}=\text{const}$ is a circle centered at the polygon center when $S_n^{(2m)}>nr^{2m}$, the single point at the center when $S_n^{(2m)}=nr^{2m}$, and empty when $S_n^{(2m)}0$ and center $c_i\in\mathbb{R}^2$, while each edge $(i,j)\in E$ carries a prescribed exterior intersection angle $\theta_{ij}\in[0,\pi)$. The corresponding center distance is $$ l_{ij}=\sqrt{r_i^2+r_j^2+2r_ir_j\cos\theta_{ij}}, $$ and for a triangulated domain the radii are determined by the discrete curvature equations $K_v(r)=0$ after gluing Euclidean triangles with those side lengths [2512.10387]. In this setting, the curvature at a vertex is computed from the sum of incident triangle angles, with $$ K_v= \begin{cases} \sigma_v-2\pi,& v\in V\setminus V_\partial,\\ \sigma_v-\theta_v,& v\in V_\partial, \end{cases} $$ in the Euclidean polygonal formulation [2512.10387]. On surfaces of finite topological type, circle patterns are studied in both Euclidean and hyperbolic background geometries, including the case of obtuse exterior intersection angles. Under the local condition $I(e)=\cos\Theta(e)$ with $\xi_i=\cos\Theta_i+\cos\Theta_j\cos\Theta_k\ge 0$ on each face, the triangle of centers is well defined, and the Chow–Luo combinatorial Ricci flows $$ \frac{dr_i}{dt}=-K_i(r)\sinh r_i \quad\text{and}\quad \frac{dr_i}{dt}=(K_{\mathrm{av}}-K_i(r))r_i $$ provide convergent constructions in the hyperbolic and Euclidean cases, respectively, when the corresponding global inequalities are satisfied [1909.03419]. The same paper characterizes the image of the curvature map by explicit cut inequalities involving $Lk(A)$ and Euler characteristics of subcomplexes $G(A)$ [1909.03419]. The sphere case admits an obtuse-angle extension of the Koebe–Andreev–Thurston framework. For a triangulation of the sphere with angle assignment $\Theta:E\to[0,\pi)$, conditions $(c1)$–$(c4)$ yield an irreducible circle pattern on the Riemann sphere, and the corresponding hyperbolic polyhedral statement gives a compact convex hyperbolic polyhedron with prescribed dihedral angles under conditions $(s1)$–$(s4)$, unique up to isometry [2010.13076]. A complementary computational viewpoint minimizes the least-squares curvature energy $$ E(r)=\sum_{v\in V}K_v(r)^2 $$ by gradient descent in the radii and then recovers centers by solving the sparse symmetric positive definite systems $Lx=b_x$ and $Ly=b_y$ associated with the discrete Dirichlet energy $$ \Psi(z)=\sum_{uv\in E} w_{uv}(r_\mathcal{P})\,|z_u-z_v|^2 $$ [2512.10387]. ## 3. Circle graphs and combinatorial structure A circle graph is the intersection graph of chords drawn in a circle. In chord-diagram language, a graph $G=(V,E)$ is a circle graph when there exists a bijection from vertices to chords such that two vertices are adjacent exactly when the corresponding chord endpoints alternate around the circle [2512.23492]. The same structure may be encoded by a double occurrence circular word, and for prime circle graphs the chord diagram is unique up to reversal [2512.23492]. Split decomposition organizes the recognition problem. A graph is circle if and only if every prime node of its split-tree is labeled by a circle graph [2512.23492]. Earlier work achieved the first subquadratic recognition algorithm, with running time $$ T(n,m)=O\big((n+m)\,\alpha(n+m)\big), $$ using incremental Lexicographic Breadth-First Search, split decomposition, and the data structure of consistent symmetric cycles for chord diagrams [1104.3284]. More recent work replaces the union-find component of the split decomposition by a PC-tree–based representation specialized to circle graphs, yielding the first linear-time recognition algorithm: $$ O(n+m) $$ [2512.23492]. Structural characterization is especially explicit within split graphs. In that class, circle-ness is equivalent to the absence of a family of minimal forbidden induced subgraphs including tent-with-center, odd $k$-sun with center, even $k$-sun, $M_{II}(k)$, $M_{III}(k)$, $M_{IV}$, $M_V$, $F_0$, $F_1(k)$, and $F_2(k)$ [2007.00570]. Recognition, however, does not imply easy optimization: Dominating Set, Independent Dominating Set, Connected Dominating Set, Total Dominating Set, and Acyclic Dominating Set are all W[1]-hard on circle graphs when parameterized by solution size, whereas Connected Acyclic Dominating Set is polynomial-time solvable [1205.3728]. ## 4. Circle chains, closure phenomena, and special circles in triangle geometry A closed chain of circles $C_1,\dots,C_n,C_{n+1}=C_1$ with neighboring intersections $A_i$ supports a family of adapted polygons $X_1X_2\dots X_n$ such that $X_i,A_i,X_{i+1}$ are collinear. Writing $\varphi_{A_i}:C_i\to C_{i+1}$ for the reversion map through $A_i$, the global composition is $$ \Phi_A=\varphi_{A_n}\circ\varphi_{A_{n-1}}\circ\cdots\circ\varphi_{A_1}:C_1\to C_1. $$ If $\Phi_A$ fixes one point of $C_1$, then $\Phi_A$ is the identity on $C_1$, so the polygon closes for every starting point [2502.15751]. The exact criterion is $$ \sum_{i=1}^n \mu_{A_i}\equiv 0\pmod{2\pi}, $$ where $\mu_{A_i}$ is the transfer angle between the tangents at the pivot $A_i$ [2502.15751]. For a chain of touching circles, $\mu_{A_i}=\pi$; therefore an even chain closes in one round and an odd chain closes after two rounds [2502.15751]. The same framework yields fixed auxiliary circles from variable polygons. If $\ell_i$ is the side line through $X_i,A_i,X_{i+1}$, then for each pair $(i,j)$ the point $X_{ij}=\ell_i\cap\ell_j$ lies on a fixed circle $C_{ij}$ through $A_i$ and $A_j$, independent of the starting point, and for any triple $(i,j,k)$ the circles $C_{ij}$, $C_{jk}$, and $C_{ki}$ pass through a common point [2502.15751]. Miquel’s six circles theorem and Steiner’s quadrilateral theorem arise as special cases of this closure formalism [2502.15751]. Triangle geometry supplies another distinguished family. An Omega circle is any circle through the Brocard point $\Omega_1$, and circles through $\Omega_1$ carry triangles indirectly similar to the reference triangle in the same sense that Hagge circles do for the orthocenter. The same paper shows that the three points where the medians intersect the orthocentroidal circle determine circles carrying triangles directly similar to triangles inscribed in the circumcircle [1007.1220]. ## 5. Circle-based representations in medical imaging For ball-shaped medical objects such as glomeruli, nuclei, and eosinophils, circle representation offers a low-parameter alternative to box or polygon initialization. CircleSnake is an end-to-end contour-based instance segmentation framework in which the detection head predicts a center $c=(x_0,y_0)$ and radius $r$, the initial contour is a discretized circle with $N=128$ ordered vertices, and refinement is performed by a circular graph convolutional network on the cycle graph with kernel size $9$ and three deformation iterations [2403.11507]. Relative to octagon proposals, the method counts only $\mathrm{DoF}=2$ for forming the bounding circle once the center is localized, compared with $8$ for octagon initialization [2403.11507]. The complete detection objective is $$ L_{\mathrm{det}} = L_k + \lambda_{\mathrm{radius}}L_{\mathrm{radius}} + \lambda_{\mathrm{off}}L_{\mathrm{off}}, $$ with $\lambda_{\mathrm{radius}}=0.1$ and $\lambda_{\mathrm{off}}=1$ [2403.11507]. Empirically, CircleSnake reports superior segmentation accuracy and rotation consistency on glomeruli, nuclei, and eosinophils. On glomeruli, the segmentation configuration with DLA-34 attained $\mathrm{AP}=0.623$, $\mathrm{AP}_{50}=0.894$, $\mathrm{AP}_{75}=0.762$, and Dice $=0.828$; on nuclei the Dice score was $0.800$; and on eosinophils it was $0.743$ [2403.11507]. The earlier glomeruli-only study already identified CircleSnake as the first end-to-end circle representation deep segmentation pipeline, reporting improvement from detection average precision $0.559$ to $0.614$ and Dice $0.804$ to $0.849$ over DeepSnake on that dataset [2211.01254]. Circle representation also changes ensemble design in detection. Weighted Circle Fusion matches detections by circle IoU, fuses parameters by the confidence-weighted means $$ x_f=\frac{\sum_i w_i x_i}{\sum_i w_i},\quad y_f=\frac{\sum_i w_i y_i}{\sum_i w_i},\quad r_f=\frac{\sum_i w_i r_i}{\sum_i w_i}, $$ with $w_i=s_i$, and filters the fused circles by $T_{\mathrm{score}}=0.9$ and $T_{\mathrm{count}}=2$ after matching at $\tau=0.5$ [2406.19540]. On murine whole-slide glomerular detection, Weighted Circle Fusion achieved $\mathrm{mAP}(0.5{:}0.95)=0.776$ against $0.726$ for the best individual model, and under $90^\circ$ rotation it reached $\mathrm{mAP}(0.5{:}0.95)=0.823$ [2406.19540]. ## 6. Learning-oriented and algebraic generalizations In graph learning, “circle” can denote local social structure rather than Euclidean geometry. Circle Feature Graphormer defines two pairwise features for link prediction: a modified swing score $$ S(i,j)=a_{ij}+\sum_{u\in C(i,j)}\sum_{\substack{v\in C(i,j)\\v\neq u}} \frac{1}{\alpha+|N(u)\cap N(v)|}, $$ and a bridge score $$ B(i,j)=a_{ij}+\frac{1}{2}\tanh(c(i,j))+\sigma(c(i,j))-\frac{1}{2}, $$ where $c(i,j)$ counts common neighbors bridging the exclusive neighborhoods of $i$ and $j$ [2309.06574]. These terms enter Graphormer attention as additive biases, and on ogbl-citation2 the CFG$_1$ model reported test MRR $0.8997\pm0.0015$ against $0.8987\pm0.0018$ for SIEG, with the paper stating that CFG$_2$ adds the bridge feature and yields additional improvements [2309.06574]. A more literal generalization appears in arithmetic geometry. The $q$-unit circle $S_q$ is defined as the completion of the Carlitz torsion set $T_q$ at a fixed branch of infinity, and the ambient space $$ V_q=(F_q(T))_\infty(S_q) $$ is a vector space over $(F_q(T))_\infty$ of dimension $q-1$ [1801.09147]. In this setting, $S_q$ has a center, curvature, additive and multiplicative Möbius transformations, a partition of the ambient space into translates $S_q(v)=v+S_q$, a Dirichlet approximation theorem, a reciprocity law, and an associated hyperbolic plane $$ H_q = V_q \setminus (F_q(T))_\infty $$ together with modular forms and Eisenstein series [1801.09147]. This suggests that, even outside Euclidean geometry, “circle” remains a privileged structure for symmetry, completion, and automorphic action. Source: https://www.emergentmind.com/topics/circle