Concave Kite Central Configurations

• Concave kite central configurations are symmetric planar four-body arrangements with a reflection axis, where one mass lies inside the triangle formed by the others.
• Researchers use inverse problems, geometric normalizations, and computer-assisted proofs to classify the existence and multiplicity of these configurations.
• The study reveals critical bifurcation mechanisms—such as saddle-node, pitchfork, and transcritical transitions—that impact stability and mass-map behavior.

A concave kite central configuration is a planar four-body central configuration with a reflection axis passing through two of the bodies and with one body lying in the interior of the triangle formed by the other three. In the terminology of planar symmetric central configurations of four bodies, it is the concave branch of the kite, or deltoid, family, distinct from the convex kite branch and from the isosceles trapezoid family. Recent work has treated this class from several complementary viewpoints: explicit inverse problems for determining masses from a prescribed symmetric concave shape, direct counting problems for determining the number of shapes compatible with fixed masses, and computer-assisted classifications for special mass symmetries, including two pairs of equal masses and three equal masses (Liu et al., 29 Oct 2025, Czirják et al., 2022).

1. Geometric setting and central-configuration equations

The geometric core of the subject is a reflection-symmetric quadrilateral in which two bodies lie on the symmetry axis and the other two are placed symmetrically with respect to that axis. In one standard normalization, used in the symmetric concave four-body literature, the bodies are placed at

$$q_1=(-1,0),\quad q_2=(1,0),\quad q_3=(0,t),\quad q_4=(0,s),\qquad t>s>0,$$

so that $q_4$ lies strictly inside the triangle $q_1q_2q_3$ and the configuration is therefore concave (Deng et al., 2012). A closely related normalization for the two-pairs-of-equal-masses problem is

$$q_1=(-1,0),\quad q_2=(1,0),\quad q_3=(0,y_1),\quad q_4=(0,y_2),$$

with

$$y_1=\sqrt{a^2-1},\qquad y_2=\sqrt{b^2-1},\qquad b>a>1,$$

so that $r_{12}=2$, $r_{13}=a$, and $r_{14}=b$ (Liu et al., 29 Oct 2025).

The dynamical condition is the Newtonian central-configuration equation

$\nabla U(q)=\lambda \nabla I(q),$

or, after centering at the center of mass $c$,

$q_4$0

Under kite symmetry, these vector equations reduce to a smaller scalar system. In the 2012 symmetric concave analysis, symmetry implies $q_4$1 and $q_4$2, after which the problem becomes a reduced system in $q_4$3, $q_4$4, $q_4$5, $q_4$6, and $q_4$7 (Deng et al., 2012). In the more general concave-kite treatment of Roberts, the configuration is encoded in $q_4$8 by

$q_4$9

with center-of-mass and inertia normalizations defining a normalized configuration space $q_1q_2q_3$0 (Roberts, 2024).

An angle-based formulation provides a shape-only description. If $q_1q_2q_3$1 and $q_1q_2q_3$2 are the two axis bodies and $q_1q_2q_3$3 are the off-axis bodies, then every concave kite shape is represented, up to similarity, by angles

$q_1q_2q_3$4

and this domain gives a unique concave kite shape for each $q_1q_2q_3$5 (Czirják et al., 2022). This reformulation is useful because it separates purely geometric admissibility from the mass constraints.

2. Inverse formulations: when a prescribed concave shape can be central

A central theme in the older literature is the inverse problem: given a symmetric concave kite shape, determine whether positive masses can be assigned so that the configuration is central. Deng and Zhang split the problem into two cases according to whether the center of mass coincides with the interior axis body $q_1q_2q_3$6 or not (Deng et al., 2012).

When $q_1q_2q_3$7, the shape is completely rigid: the configuration is central if and only if

$q_1q_2q_3$8

with

$q_1q_2q_3$9

This is the equilateral-kite configuration singled out in Theorem 1.1 of that work (Deng et al., 2012).

When $$q_1=(-1,0),\quad q_2=(1,0),\quad q_3=(0,y_1),\quad q_4=(0,y_2),$$0, the same paper derives an explicit formula for $$q_1=(-1,0),\quad q_2=(1,0),\quad q_3=(0,y_1),\quad q_4=(0,y_2),$$1 and then closed-form expressions for the masses $$q_1=(-1,0),\quad q_2=(1,0),\quad q_3=(0,y_1),\quad q_4=(0,y_2),$$2, $$q_1=(-1,0),\quad q_2=(1,0),\quad q_3=(0,y_1),\quad q_4=(0,y_2),$$3, and $$q_1=(-1,0),\quad q_2=(1,0),\quad q_3=(0,y_1),\quad q_4=(0,y_2),$$4 as functions of $$q_1=(-1,0),\quad q_2=(1,0),\quad q_3=(0,y_1),\quad q_4=(0,y_2),$$5 and $$q_1=(-1,0),\quad q_2=(1,0),\quad q_3=(0,y_1),\quad q_4=(0,y_2),$$6. The admissibility of positive masses reduces to sign conditions on auxiliary factors $$q_1=(-1,0),\quad q_2=(1,0),\quad q_3=(0,y_1),\quad q_4=(0,y_2),$$7, and the final result is geometric: the region in the positive quadrant $$q_1=(-1,0),\quad q_2=(1,0),\quad q_3=(0,y_1),\quad q_4=(0,y_2),$$8 for which all four masses can be chosen positive is exactly the union of two open lobes $$q_1=(-1,0),\quad q_2=(1,0),\quad q_3=(0,y_1),\quad q_4=(0,y_2),$$9 and $$y_1=\sqrt{a^2-1},\qquad y_2=\sqrt{b^2-1},\qquad b>a>1,$$0, bounded by four explicit algebraic curves. Outside $$y_1=\sqrt{a^2-1},\qquad y_2=\sqrt{b^2-1},\qquad b>a>1,$$1, no choice of positive masses yields a central configuration (Deng et al., 2012).

The angle-based model of Czirják and Érdi recasts the same inverse problem in non-dimensionalized mass-ratio form. For each $$y_1=\sqrt{a^2-1},\qquad y_2=\sqrt{b^2-1},\qquad b>a>1,$$2 in the concave domain, the axis masses $$y_1=\sqrt{a^2-1},\qquad y_2=\sqrt{b^2-1},\qquad b>a>1,$$3 and the equal off-axis masses $$y_1=\sqrt{a^2-1},\qquad y_2=\sqrt{b^2-1},\qquad b>a>1,$$4 are given by rational formulas in four angle-dependent quantities $$y_1=\sqrt{a^2-1},\qquad y_2=\sqrt{b^2-1},\qquad b>a>1,$$5, with

$$y_1=\sqrt{a^2-1},\qquad y_2=\sqrt{b^2-1},\qquad b>a>1,$$6

Within the admissible angle region, these formulas produce $$y_1=\sqrt{a^2-1},\qquad y_2=\sqrt{b^2-1},\qquad b>a>1,$$7 (Czirják et al., 2022). In this formulation, a prescribed concave shape determines a unique positive mass triple after normalization, while the direct problem of recovering shapes from masses becomes a problem of analyzing level sets in the $$y_1=\sqrt{a^2-1},\qquad y_2=\sqrt{b^2-1},\qquad b>a>1,$$8-plane.

3. Two pairs of equal masses: complete classification in the concave kite family

The 2025 classification of symmetric concave configurations with two pairs of equal masses fixes

$$y_1=\sqrt{a^2-1},\qquad y_2=\sqrt{b^2-1},\qquad b>a>1,$$9

and proves that, up to relabeling, the only possible concave kite geometry is one in which $r_{12}=2$0 occupy the endpoints of the base of an isosceles triangle, while $r_{12}=2$1 lie on its perpendicular bisector, with $r_{12}=2$2 inside the triangle and $r_{12}=2$3 outside (Liu et al., 29 Oct 2025). This structural reduction is a strong rigidity statement: in the concave kite case, the mass assignment and geometry are not arbitrary even before solving the reduced equations.

After eliminating the center-of-mass shift, the central-configuration equations reduce to a scalar system involving $r_{12}=2$4, $r_{12}=2$5, $r_{12}=2$6, and $r_{12}=2$7. Eliminating the mass parameter yields a mass-free shape equation in $r_{12}=2$8 and $r_{12}=2$9. The key existence theorem then states that for each

$r_{13}=a$0

there is a unique

$r_{13}=a$1

solving the shape equation, and $r_{13}=a$2 depends smoothly on $r_{13}=a$3. Substituting this branch into the recovered mass formula gives a smooth one-variable function

$r_{13}=a$4

so the entire symmetric concave kite family becomes a one-parameter curve $r_{13}=a$5 (Liu et al., 29 Oct 2025).

The main classification theorem is quantitative. With mass ratio $r_{13}=a$6 and

$r_{13}=a$7

the count is:

• exactly two concave kite central configurations for $r_{13}=a$8,
• exactly one for $r_{13}=a$9,
• none for $r_{14}=b$0.

The $r_{14}=b$1 limit yields two degenerate configurations if one allows $r_{14}=b$2: an equilateral-triangle convex hull with the extra body either at the midpoint of the base or coinciding with the apex (Liu et al., 29 Oct 2025). In the reduced symmetric subspace, the bifurcation diagram has the shape of an arch, with a unique maximum at

$r_{14}=b$3

At this point the Jacobian $r_{14}=b$4 has a simple zero eigenvalue, the Kuznetsov nondegeneracy conditions hold, and the unique critical configuration is a fold, or saddle-node, bifurcation point. Two symmetric solution branches in the $r_{14}=b$5-plane coalesce at $r_{14}=b$6 and disappear for larger $r_{14}=b$7 (Liu et al., 29 Oct 2025).

Methodologically, this classification is computer-assisted. Proposition 3.1 uses the Perpendicular-Bisector Theorem; Lemma 3.5 establishes sign properties by elementary estimates and roots of a quintic; Lemma 3.6 combines the Intermediate-Value Theorem with strict monotonicity; Lemma 3.10 locates the unique maximum of $r_{14}=b$8 using validated interval arithmetic and the Krawczyk operator; and the fold test is verified numerically with rigorous interval bounds (Liu et al., 29 Oct 2025).

4. Three equal masses: inner and outer concave families

A parallel but distinct classification arises when

$r_{14}=b$9

Using the same fixed coordinate system

$\nabla U(q)=\lambda \nabla I(q),$0

with

$\nabla U(q)=\lambda \nabla I(q),$1

the 2026 analysis derives a two-equation reduction

$\nabla U(q)=\lambda \nabla I(q),$2

after eliminating $\nabla U(q)=\lambda \nabla I(q),$3 from the symmetric central-configuration equations (Liu et al., 17 Jun 2026).

Here the sign of

$\nabla U(q)=\lambda \nabla I(q),$4

splits the problem into two geometries. The outer case is $\nabla U(q)=\lambda \nabla I(q),$5, meaning the fourth mass lies outside the triangle of the three equal masses. The inner case is $\nabla U(q)=\lambda \nabla I(q),$6, meaning the fourth mass lies inside that triangle (Liu et al., 17 Jun 2026).

For the outer case, the paper proves that for each

$\nabla U(q)=\lambda \nabla I(q),$7

there is a unique

$\nabla U(q)=\lambda \nabla I(q),$8

solving the reduced equation. This yields a smooth one-parameter curve

$\nabla U(q)=\lambda \nabla I(q),$9

As $c$0 or $c$1, one has $c$2, and the function has a single maximum at

$c$3

attained at

$c$4

Hence the outer count is exactly two solutions for $c$5, one double solution at $c$6, and no outer kite for $c$7 (Liu et al., 17 Jun 2026). In the reduced symmetric subspace this critical point is a fold, or saddle-node, bifurcation, again certified by interval arithmetic and the Krawczyk operator.

For the inner case, the structure is more elaborate. There is a smooth one-parameter isosceles-triangle family

$c$8

where

$c$9

and for each such $q_4$00 there is a unique $q_4$01 solving the reduced equation. In addition, there is the equilateral-center family

$q_4$02

corresponding to the three equal masses at the vertices of an equilateral triangle and the fourth mass at its center (Liu et al., 17 Jun 2026). These two inner branches intersect exactly once, at

$q_4$03

and $q_4$04 is strictly increasing in $q_4$05. The inner count is therefore exactly two configurations for $q_4$06, and exactly one at $q_4$07, where the intersection is a transcritical bifurcation in the reduced symmetric subspace (Liu et al., 17 Jun 2026).

The global bifurcation picture includes asymmetric concave kites as well. In the outer case, a supercritical pitchfork bifurcation occurs at

$q_4$08

where the symmetric equilateral-center central configuration $q_4$09 loses stability and two asymmetric concave kites split off. The symmetric outer branch survives until the saddle-node at $q_4$10, whereas the asymmetric branch persists for larger $q_4$11. In the inner case, the equilateral-center branch and the isosceles branch cross in the transcritical exchange at $q_4$12 (Liu et al., 17 Jun 2026).

5. General concave-kite counting, degeneracy, and mass-map geometry

The modern special-symmetry classifications sit inside broader counting theories. In the angle-based direct problem, fixing an ordered pair of axis masses $q_4$13 reduces the number of concave kite solutions to a level-set counting problem for a single function $q_4$14. For each ordered pair,

$q_4$15

and the total number of distinct concave kite central configurations is

$q_4$16

with the second addend omitted when $q_4$17 to avoid double-counting. The total count therefore ranges from $q_4$18 up to $q_4$19, and the curves

$q_4$20

partition the mass plane into regions with constant solution count (Czirják et al., 2022).

Roberts’ concave-kite analysis describes a closely related multiplicity phenomenon in a different coordinate system. Writing

$q_4$21

concave kites occur precisely in this region, and positivity of the masses together with the Dziobek relation and the ordering $q_4$22 yields two disjoint domains $q_4$23 and $q_4$24 in the reduced $q_4$25-plane (Roberts, 2024). On each point of $q_4$26, the mass ratios $q_4$27 and $q_4$28 are given explicitly, and the mass map

$q_4$29

fails to be onto the whole mass triangle and is generically two-to-one over its image. Along the degeneracy curve $q_4$30, the rank of $q_4$31 drops to $q_4$32, producing a classical fold bifurcation in the mass parameters (Roberts, 2024).

A distinguished degenerate point is the $q_4$33-gon at

$q_4$34

where

$q_4$35

This point is a one-parameter family and hence degenerate. It is non-Morse exactly when

$q_4$36

(Roberts, 2024). The same work reports that crossing the degeneracy curve creates or destroys a pair of small-mass concave solutions, one in $q_4$37 and one in $q_4$38, and that passing through the $q_4$39-gon moves preimages between these two domains (Roberts, 2024).

These general theories clarify a common misconception. Concave kite central configurations are not generically unique once the masses are fixed. Depending on the mass symmetry assumptions and on whether labeling is retained, the number of solutions may be $q_4$40 or $q_4$41 (Czirják et al., 2022), whereas the two-pairs-of-equal-masses and three-equal-masses problems isolate subfamilies in which the counts collapse to smaller finite lists (Liu et al., 29 Oct 2025, Liu et al., 17 Jun 2026).

6. Stability, bifurcation mechanisms, and structural synthesis

The bifurcation structure of concave kites is now comparatively well resolved in reduced symmetric subspaces. Fold, or saddle-node, bifurcations occur in the two-pairs-of-equal-masses family at $q_4$42 and in the outer branch of the three-equal-masses family at $q_4$43 (Liu et al., 29 Oct 2025, Liu et al., 17 Jun 2026). A transcritical bifurcation occurs in the inner branch with three equal masses at $q_4$44, where the equilateral-center branch and the isosceles branch cross transversely (Liu et al., 17 Jun 2026). In the global outer picture with three equal masses, a supercritical pitchfork at $q_4$45 organizes the birth of asymmetric concave kites from a symmetric configuration (Liu et al., 17 Jun 2026). In the broader Roberts framework, the fold is seen as a rank-drop of the mass map and as a degeneracy curve in the reduced shape plane (Roberts, 2024).

The following summary isolates the principal counting results under different symmetry assumptions.

Setting	Number of concave kite configurations	Distinguished bifurcation
Ordered axis masses in the angle-based direct problem	$q_4$46 or $q_4$47 per labeling; total $q_4$48 to $q_4$49	crossing $q_4$50 changes the count
Two pairs of equal masses $q_4$51	$q_4$52 or $q_4$53	fold at $q_4$54
Three equal masses, outer case $q_4$55	$q_4$56 or $q_4$57	fold at $q_4$58
Three equal masses, inner case $q_4$59	$q_4$60 or $q_4$61	transcritical at $q_4$62

Stability results remain sharply negative for the concave branch in the available large-scale computations. Roberts studies the relative equilibria obtained from concave kite central configurations via the rotating-frame stability matrix

$q_4$63

restricted to the skew-orthogonal complement of the trivial symmetry modes. Every sampled point in $q_4$64 produced at least one pair of real eigenvalues off the imaginary axis, so no concave kite relative equilibrium was spectrally stable (Roberts, 2024). Along the fold and degeneracy curve, the numerical signatures exhibit saddle-node collisions of eigenvalues on the real axis; between folds, Krein collisions on the imaginary axis create complex quadruplets (Roberts, 2024).

Taken together, these results show that concave kite central configurations form a mathematically rigid but globally nontrivial sector of the planar four-body problem. The rigid aspect is visible in the repeated emergence of one-parameter families after symmetry reduction, the explicit forbidden regions for positive masses, and the special equilateral-center or equilateral-kite branches (Deng et al., 2012, Liu et al., 17 Jun 2026). The nontrivial aspect is the persistent multiplicity and bifurcation structure: folds in both equal-mass classifications, a transcritical inner exchange for three equal masses, a pitchfork in the global outer diagram, and mass-map nonuniqueness in the general concave-kite problem (Liu et al., 29 Oct 2025, Liu et al., 17 Jun 2026, Roberts, 2024). This synthesis suggests that the concave kite branch is one of the clearest settings in which symmetry reduction, algebraic elimination, and validated numerics can together produce a near-complete picture of existence, multiplicity, and bifurcation in the Newtonian four-body problem.