Existing Multi-Turn Composed Image Retrieval (MTCIR) datasets lack dialogue-history consistency and are restricted to the fashion domain. To address these limitations, we construct CIRCLED by extending FashionIQ, CIRR, and CIRCO. In CIRCLED, the query at each turn progressively approaches the target image. Data are generated via a CIReVL-based retrieval pipeline and curated with multiple filters on retrieval success, turn length, consistency, and information redundancy to ensure quality. In total, we collect 22,608 multi-turn sessions across nine subsets, substantially exceeding Multi-turn FashionIQ (11,505 sessions) in both scale and generality. We further apply multiple baseline methods and quantitatively assess retrieval accuracy on CIRCLED. Our work provides a practical, high-quality benchmark to facilitate future research on multi-turn CIR. The dataset and code are publicly available at https://huggingface.co/datasets/tk1441/CIRCLED and https://github.com/mti-lab/circled.
This paper presents a new Lemoine-type construction arising from a configuration of six concyclic points. We prove the concyclicity result, establish a converse theorem, and relate the resulting circle to previously known Lemoine circles, in particular the circle introduced by Q. T. Bui. We also note that the resulting circle does not belong to the family of Tucker circles.
Circle graph states are a structurally important family of graph states. The family's entanglement is a priori high enough to allow for universal measurement-based quantum computation (MBQC); however, MBQC on circle graph states is actually efficiently classically simulable. In this work, we paint a detailed picture of the local equivalence of circle graph states. First, we consider the class of all graph states that are local unitary (LU)-equivalent to circle graph states. In graph-theoretical terms, this LU-equivalence class is the set of all graphs reachable from the family of circle graphs by applying $r$-local complementations. We prove that the only graph states that are LU-equivalent to circle graph states are circle graph states themselves: circle graphs are closed under $r$-local complementation. Second, we show that bipartite circle graph states, i.e., 2-colorable circle graph states, are in one-to-one correspondence with planar code states, on which MBQC is known to be efficiently classically simulable. Leveraging this correspondence, we present alternative, simple proofs that (1) if a planar code state is LU-equivalent to a stabilizer state, they are in fact local Cliff
We extend the old definition of the Apollonius circle in such a way that it results in the same curve in Euclidean geometry but will be more convenient in hyperbolic and spherical geometries. We show that there exists an Apollonius circle of the centers of two circles that coincides with their equioptic curves, as in Euclidean geometry.
Thurston introduced the notion of a universal circle associated to a taut foliation of a $3$-manifold as a way of organizing the ideal circle boundaries of its leaves into a single circle action. Calegari--Dunfield proved that every taut foliation of an atoroidal $3$-manifold $M$ has a universal circle, but the uniqueness (or lack-thereof) of this structure remains rather mysterious. In this paper, we consider the foliations associated to an Anosov flow $\varphi$ on $M$, showing that several constructions of a universal circle in the literature are typically distinct. Moreover, the underlying action of the Calegari--Dunfield leftmost universal circle is generally not even conjugate to the universal circle arising from the boundary of the flow space of $\varphi$. Our primary tool is a way to use the flow space of $\varphi$ to parameterize the circle bundle at infinity of $\varphi$'s invariant foliations.
Given a finite set of points in general position in the plane or sphere, we count the number of ways to separate those points using two types of circles: circles through three of the points, and circles through none of the points (up to an equivalence). In each case, we show the number of circles which separate the points into subsets of size k and l is independent of the configuration of points, and we provide an explicit formula in each case. We also consider how the circles change as the configuration of dots varies continuously. We show that an associated higher order Voronoi decomposition of the sphere changes by a sequence of local `moves'. As a consequence, an associated cluster algebra is independent of the configuration of dots, and only depends on the number of dots and the order of the Voronoi decomposition.
We prove that $Aut({\mathbb S}^1)$ coincides with the automorphism group of the \emph{circle graph} $\mathcal{C}$, i.e. the intersection graph of the family of chords of ${\mathbb S}^1$. We prove that the countable subgraph of $\mathcal{C}$ induced by the rational chords is a strongly universal element of the family of circle graphs, and that it is invariant under local complementation. The only other known connected graphs that have the latter property are $K_2$ and the Rado graph.
In this paper, we introduce discrete approximate circle bundles, a class of objects designed to serve as the data science analog of circle bundles from algebraic topology. We show that, under appropriate conditions, one can meaningfully and stably identify a discrete approximate circle bundle with an isomorphism class of true circle bundles. We also describe two cohomology invariants which uniquely determine the isomorphism class of a circle bundle, and provide algorithms to compute them given a discrete approximate representative. Finally, we propose a novel methodology for coordinatization and dimensionality reduction of circle bundle data. To illustrate the practical utility and viability of our algorithms, we present applications to both real and synthetic datasets from computer vision (e.g., modeling optical flow). The paper is accompanied by an open-source software package, with full documentation and tutorials, enabling reproducible implementation of the proposed algorithms and experiments, including those used to generate the figures in this paper.
Given a circle of radius $r$ centered at the origin, the Gauss Circle Problem concerns counting the number of lattice points $C(r)$ within this circle. It is known that as $r$ grows large, the number of lattice points approaches $πr^2$, that is, the area of the circle. The present research is to study how often $C(r)$ will return a prime number of lattice points for $r \leq n$. The Prime Number Theorem predicts that the number of primes less than or equal to $n$ is asymptotic to $\frac{n}{\log n}$. We find that the number of Gauss Circle Primes for $r \leq n$ is also of order $\frac{n}{\log n}$ for $n \leq 2 \times 10^6$. We include a heuristic argument that the Gauss Circle Primes can be approximated by $\frac{n}{\log n}$.
Guo and Luo introduced generalized circle patterns on surfaces and proved their rigidity. In this paper, we prove the existence of Guo-Luo's generalized circle patterns with prescribed generalized intersection angles on surfaces with cusps, which partially answers a question raised by Guo-Luo and generalizes Bobenko-Springborn's hyperbolic circle patterns on closed surfaces to generalized hyperbolic circle patterns on surfaces with cusps. We further introduce the combinatorial Ricci flow and combinatorial Calabi flow for generalized circle patterns on surfaces with cusps, and prove the longtime existence and convergence of the solutions for these combinatorial curvature flows.
Given a Fourier transformable measure in two dimensions, we find a formula for the intensity of its Fourier transform along circles. In particular, we obtain a formula for the diffraction measure along a circle in terms of the autocorrelation measure. We look at some applications of this formula.
We study properties of certain circles associated with a triangle. Each circle is inside the triangle, tangent to two sides of the triangle, and externally tangent to the arc of a circle erected internally on the third side.
In this paper, we introduce two local graph features for missing link prediction tasks on ogbl-citation2. We define the features as Circle Features, which are borrowed from the concept of circle of friends. We propose the detailed computing formulas for the above features. Firstly, we define the first circle feature as modified swing for common graph, which comes from bipartite graph. Secondly, we define the second circle feature as bridge, which indicates the importance of two nodes for different circle of friends. In addition, we firstly propose the above features as bias to enhance graph transformer neural network, such that graph self-attention mechanism can be improved. We implement a Circled Feature aware Graph transformer (CFG) model based on SIEG network, which utilizes a double tower structure to capture both global and local structure features. Experimental results show that CFG achieves the state-of-the-art performance on dataset ogbl-citation2.
We study some properties of a triad of circles associated with a triangle. Each circle is inside the triangle, tangent to two sides of the triangle, and externally tangent to the circle on the third side as diameter. In particular, we find a nice relation involving the radii of the inner and outer Apollonius circles of the three circles in the triad.
In this paper we study circles tangent to conics. We show there are generically $184$ complex circles tangent to three conics in the plane and we characterize the real discriminant of the corresponding polynomial system. We give an explicit example of $3$ conics with $136$ real circles tangent to them. We conjecture that 136 is the maximal number of real circles. Furthermore, we implement a hill-climbing algorithm to find instances of conics with many real circles, and we introduce a machine learning model that, given three real conics, predicts the number of circles tangent to these three conics.
We consider circles of common centre and increasing radius on a compact hyperbolic surface and, more generally, on its unit tangent bundle. We establish a precise asymptotics for their rate of equidistribution. Our result holds for translates of any circle arc by arbitrary elements of $\text{SL}_2(\mathbb{R})$. Our proof relies on a spectral method pioneered by Ratner and subsequently developed by Burger in the study of geodesic and horocycle flows. We further derive statistical limit theorems, with compactly supported limiting distribution, for appropriately rescaled circle averages of sufficient regular observables. Finally, we discuss applications to the classical circle problem in the hyperbolic plane, following the approach of Duke-Rudnick-Sarnak and Eskin-McMullen.
We study unparametrized conformal circles, or called conformal geodesics, study diffeomorphisms mapping conformal circles to conformal circles in pseudo-Riemannian conformal manifolds. We show that such local diffeomorphisms are conformal local diffeomorphisms. Our result extends the result of Yano and Tomonaga. We also present a holographic interpretation for our result on Poincaré-Einstein manifolds. The proofs take suitable variations of conformal circles.
We study the packing of a large number of congruent and non--overlapping circles inside a regular polygon. We have devised efficient algorithms that allow one to generate configurations of $N$ densely packed circles inside a regular polygon and we have carried out intensive numerical experiments spanning several polygons (the largest number of sides considered here being $16$) and up to $200$ circles ($400$ circles in the special cases of the equilateral triangle and the regular hexagon) . Some of the configurations that we have found possibly are not global maxima of the packing fraction, particularly for $N \gg 1$, due to the great computational complexity of the problem, but nonetheless they should provide good lower bounds for the packing fraction at a given $N$. This is the first systematic numerical study of packing in regular polygons, which previously had only been carried out for the equilateral triangle, the square and the circle.
In this paper, we study arrangements of orthogonal circles, that is, arrangements of circles where every pair of circles must either be disjoint or intersect at a right angle. Using geometric arguments, we show that such arrangements have only a linear number of faces. This implies that orthogonal circle intersection graphs have only a linear number of edges. When we restrict ourselves to orthogonal unit circles, the resulting class of intersection graphs is a subclass of penny graphs (that is, contact graphs of unit circles). We show that, similarly to penny graphs, it is NP-hard to recognize orthogonal unit circle intersection graphs.
A circle C holds a convex body K if C does not meet the interior of K and if there does not exist any euclidean displacement which moves C as far as desired from K, avoiding the interior of K. The purpose of this note is to explore how small can be a holding circle. In particular it is shown that the diameter of such a holding circle can be less than the width w of the body but is always greater than 2w/3.