REVIEW 3 major objections 5 minor 17 references
Semi-parametric least-area linear-circular regression through M\"{o}bius transformation
T0 review · 3 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read A Möbius link function and a torus-area loss give distribution-free linear-circular regression.
desk verdict A Möbius-area-loss regression idea that can't be evaluated because the torus radii R and r are never specified, leaving the estimator undefined and the results unreproducible. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the Möbius transformation $M(x;\beta_0,\beta_1)=\beta_0\frac{x-\beta_1}{x-\bar{\beta}_1}$, which maps the real predictor axis onto the unit circle and whose argument gives the regression curve $g(x;\beta_0,\beta_1)$. The loss is built from $A_C^{(0)}$, defined as the minimum area between $(0,0)$ and $(\theta,\theta)$ on the curved torus with area element $dA=r(R+r\cos\theta)\,d\phi\,d\theta$, giving a quadratic-like penalty on angular residuals. The minimization is carried out numerically with a bounded L-BFGS-B optimizer, and bootstrap resampling of the angular residuals supplies confidence and prediction intervals.
What would settle it
For a fixed simulated dataset, compute the loss $L$ under two different choices of torus radii, say $R=r=1$ and $R=2,r=1$, and check whether the minimizers $\hat{\beta}_0,\hat{\beta}_1$ differ; if they do, the method as stated is not reproducible. A second check is whether the paper's simulation results can be reproduced only after fixing $R$ and $r$ to some hidden values.
Extended reading notes
Core claim
The central claim is that a loss function built from the intrinsic area of a curved torus, $A_C^{(0)}$, provides a well-behaved, distribution-free estimator for linear-circular regression when the link is the Möbius map $M(x;\beta_0,\beta_1)=\beta_0\frac{x-\beta_1}{x-\bar{\beta}_1}$. Writing the parameters as $\beta_0=e^{ib_0}$ and $\beta_1=b_1+ib_2$, the paper argues that minimizing $L=\frac{1}{n}\sum_{i=1}^n A_C^{(0)}((\theta_i-g(x_i;\beta_0,\beta_1))\bmod 2\pi)$ recovers the true parameters with small standard error for sample sizes from $n=50$ to $n=500$, with residuals that behave like a von Mises distribution even though no such parametric error family was imposed. The demonstration on cryptocurrency high-price timestamps, using the ratio of low to high price divided by the close-open spread as a linear predictor, yields residuals that pass a Watson test and align in a QQ plot.
Load-bearing premise
The loss function $A_C^{(0)}$ is defined through a torus with radii $R$ and $r$, but the paper never assigns these values, so the estimator is not uniquely specified until that geometry is fixed.
Editorial extensions
If this is right
- If the claim holds, angular responses can be regressed on continuous predictors without choosing a circular error family, eliminating a major source of misspecification.
- The torus-area loss gives a concrete geometric meaning to 'squared angular error', and the resulting estimator should be consistent as $n$ grows under the zero-mean, fixed-variance error condition.
- The same loss can be reused for other Möbius-link regressions, including circular-circular settings, by substituting the appropriate map.
- Bootstrap confidence and prediction intervals computed from residual resampling will have correct coverage if the angular errors are exchangeable.
- In applied finance, the model offers a way to study the timing of intraday extremes as a function of price-derived variables.
Reading between the lines
- The paper leaves the torus radii $R$ and $r$ unspecified; a natural inference is that the loss inherits a scale factor from these constants, so the estimator might be invariant to their ratio, but this is not shown and a concrete choice of $R$ and $r$ is needed to make the method reproducible.
- The method could be tested on other circular regressors such as wind direction or protein dihedral angles, where the Möbius link's boundary-mapping property is equally natural.
- A fully parametric version that couples the area loss with a von Mises error would let a user compare likelihood-based and geometric estimators on the same data.
- The predictor $x = (\text{low}/\text{high})/(\text{close}-\text{open})$ used in the data analysis is ad hoc; an implication is that the method's practical value depends on choosing an informative linear feature, which the paper does not address.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a semi-parametric linear-circular regression model in which a linear predictor x is mapped to the unit circle by a Möbius transformation, θ = arg(M(x;β0,β1)) + ε mod 2π, and parameters are estimated by minimizing an area-based loss function derived from the intrinsic geometry of a curved torus. The loss function is defined as the mean 'square of an angle' A_C^0(ψ) between observed and fitted angles, where A_C^0 is said to be the minimum area between (0,0) and (ψ,ψ) on the torus. The paper presents simulation studies under von Mises and wrapped Cauchy errors, a comparison with existing models, and applications to Bitcoin and Ethereum data.
Significance. The proposed use of a Möbius transformation as a flexible link function for linear-circular regression is a reasonable idea, and the attempt to construct an area-based loss that parallels least squares is conceptually interesting. If the method were well defined and validated, it could offer a meaningful alternative to parametric circular regression models, particularly because the error distribution is left unspecified. However, the current manuscript does not achieve this: the loss function is not actually defined because the torus radii R and r are never specified, so the estimator is not reproducible and the simulation and data-analysis results cannot be verified. The paper also contains internal inconsistencies and questionable data-analysis practices that would need to be addressed. As submitted, the central methodological contribution is not sufficiently concrete to support the claims.
major comments (3)
- [Section 3.1, Eq. (3.1); Eq. (1.3)] The loss function L(β0,β1) = (1/n)Σ A_C^0(ψ_i) is not fully specified because A_C^0(ψ) depends on the torus area element dA = r(R + r cos θ)dϕ dθ in Eq. (1.3), yet the paper never assigns values to R and r. Even under the natural interpretation of A_C^0(ψ) as the area of the coordinate square [0,ψ]×[0,ψ], the area is Rrψ² + r²ψ sinψ, which depends on the ratio r/R beyond a common scale factor; different choices of R and r yield different optimizers. Since R and r are never given, the estimator is not uniquely defined, the numerical optimization in Section 3.1 is not reproducible, and the simulation results in Tables 1–4 and the data analysis in Table 5 cannot be independently verified. A citation to Biswas et al. (2024b) does not remedy this: the current paper must either define the loss explicitly in terms of a stated torus geometry or clearly state which geometry it inherits and justify that choice.
- [Section 2.1, Eqs. (2.1)–(2.3); Section 4 (additional simulations)] The paper states that β1 lies in the upper half-plane, but the simulation section includes a setting with b2 = −1.8 (after Table 4), which violates this condition since β1 = b1 + ib2 is then in the lower half-plane. This inconsistency makes the parameter space ambiguous and affects the interpretation of the regression model and the simulation results. Additionally, the decomposition of the Möbius transformation into 'translation, inversion, scaling' is presented incompletely and does not correctly reflect the structure of Eq. (2.2) when β1 is complex; this should be corrected or removed.
- [Section 6.3, Table 5] The data analysis selects the best of 1,000 optimization runs based on 'minimum standard error and a reasonably good QQ-plot'. This selection procedure is data-dependent and invalidates the reported standard errors for the final estimates, because the distribution of the selected estimator under repeated optimization is not the same as the reported standard error of a single run. The paper does not adjust for this multiplicity and does not provide a principled criterion for choosing among the 1,000 results. Unless the optimization is deterministic or the selection is accounted for, the estimates in Table 5 should not be treated as valid statistical results.
minor comments (5)
- [Section 4, Tables 3 caption] The caption of Table 3 lists the true parameters as (b0,b1,b2) = (0,1.7,0.5), but the column header and the text in Section 4 indicate b1 = 1.5; one of these is a typo and should be corrected.
- [Section 6.2, formula for θ] The formula for the angular response is written as θ = (arg max ...)/(24 × 60) ∈ [0,2π), but the denominator gives a value in [0,1], not radians; the intended mapping to [0,2π) is unclear and the formula should be rewritten.
- [Section 1, Eq. (1.1)] The paper relies on Biswas et al. (2024b) for the definition of A_C^0(θ) but does not reproduce or restate the definition; given that the paper's main contribution is the use of this quantity, the definition should be made self-contained.
- [Section 2.1, after Eq. (2.2)] The statement 'if |β1| → 0 then arg[M(x;β0,β1)] → 0 (radian)' is not quite correct: when β1 → 0, the numerator and denominator both tend to x, so the argument tends to arg(β0) rather than 0; the claim should be fixed or qualified.
- [Throughout] There are numerous typographical errors, including 'M ¨obius' with inconsistent spacing, 'Resudual' in Figure 3, and incomplete reference entries (e.g., Brown and Churchill lack the edition/year details, Lund et al. has an unusual volume/page string). A careful proofread is needed.
Circularity Check
No significant circularity: the Möbius regression model and the area-based loss are inputs to estimation, not outputs derived from the target parameters, and the simulations benchmark recovery against known truth.
full rationale
The paper's derivation chain is: define the regression curve by a Möbius map (Eq. 2.2), define an area-based angular error via the torus area element (Eq. 1.3), then estimate parameters by minimizing the mean square angle error (Eq. 3.1). The loss function A_C^0(ψ) is imported from the authors' prior work (Biswas et al., 2024b), but that is a building block, not a conclusion. The estimated parameters are genuine minimizers of a specified criterion on the observed data; they are not equal by construction to the true parameters, and the simulation section explicitly checks recovery of known parameter values, which is an external benchmark. No fitted parameter is renamed as a prediction, no uniqueness theorem is borrowed from the authors' own work to rule out alternatives, and the regression model itself is not derived from the loss. The most serious issue is that R and r in Eq. (1.3) are never assigned, so the loss and hence the estimator are under-specified and not fully reproducible; this is a specification/reproducibility defect, not a circularity. The self-citation defines a geometric quantity used as a loss, but it does not smuggle the paper's conclusions into its premises. Therefore the paper exhibits no significant circularity.
Assumptions & free parameters
free parameters (3)
- Torus major radius R
- Torus minor radius r
- Predictor transformation in the data analysis =
x = (lowest price / highest price) / (closing price - opening price)
assumptions (5)
- standard math The area element of the flat torus is dA = r(R + r cos θ) dϕ dθ (Eq. 1.3).
- ad hoc to paper The 'square of an angle' A_C^(0)(θ) from Biswas et al. (2024b) is a valid measure for regression residuals.
- domain assumption The angular error is additive on the circle with zero mean direction and fixed variance (Eq. 2.3, 3.2).
- ad hoc to paper The parameters β0, β1 are identifiable from the loss function.
- domain assumption The bootstrap residual resampling is valid for CI and PI construction.
Cite this review
Pith. "Pith review of Semi-parametric least-area linear-circular regression through M\"{o}bius transformation." pith.science (2026). https://pith.science/paper/ZCD4UFLU
@misc{pith2026241115822,
author = {Pith},
title = {Pith review of: Semi-parametric least-area linear-circular regression through M\"obius transformation},
year = {2026},
howpublished = {\url{https://pith.science/paper/ZCD4UFLU}},
note = {Machine review of arXiv:2411.15822}
}
read the original abstract
This paper introduces a novel regression model designed for angular response variables with linear predictors, utilizing a generalized M\"{o}bius transformation to define the regression curve. By mapping the real axis to the circle, the model effectively captures the relationship between linear and angular components. A key innovation is the introduction of an area-based loss function, inspired by the geometry of a curved torus, for efficient parameter estimation. The semi-parametric nature of the model eliminates the need for specific distributional assumptions about the angular error, enhancing its versatility. Extensive simulation studies, incorporating von Mises and wrapped Cauchy distributions, highlight the robustness of the framework. The model's practical utility is demonstrated through real-world data analysis of Bitcoin and Ethereum, showcasing its ability to derive meaningful insights from complex data structures.
Figures
Figures from the paper (3 more)
Reference graph
Works this paper leans on
-
[1]
Banerjee, B. and Biswas, S. (2024). Intrinsic geometry-inspired dependent toroidal distribution: Application to regression model for astigmatism data. arXiv preprint arXiv:2409.06229
work page Pith review arXiv 2024
- [2]
-
[3]
Biswas, S., Banerjee, B., and Laha, A. K. (2024b). Changepoint problem with angular data using a measure of variation based on the intrinsic geometry of torus. arXiv preprint arXiv:2403.00508
work page Pith review arXiv 2024
-
[4]
Boomsma, W., Mardia, K. V., Taylor, C. C., Ferkinghoff-Borg, J., Krogh, A., and Hamelryck, T. (2008). A generative, probabilistic model of local protein structure. Proceedings of the National Academy of Sciences , 105(26):8932--8937
work page 2008
-
[5]
Brown, J. W. and Churchill, R. V. (2009). Complex variables and applications . McGraw-Hill,
work page 2009
-
[6]
Cremers, J., Pennings, H. J., and Ley, C. (2020). Regression models for cylindrical data in psychology. Multivariate Behavioral Research , 55(6):910--925
work page 2020
-
[7]
Downs, T. (2003). Spherical regression. Biometrika , 90(3):655--668
work page 2003
-
[8]
Downs, T. D. and Mardia, K. (2002). Circular regression. Biometrika , 89(3):683--698
work page 2002
Show all 17 references
-
[9]
Fisher, N. I. and Lee, A. J. (1992). Regression models for an angular response. Biometrics , pages 665--677
1992
-
[10]
Jammalamadaka, S. R. and Sengupta, A. (2001). Topics in circular statistics , volume 5. world scientific
2001
-
[11]
and Biswas, A
Jha, J. and Biswas, A. (2018). Circular-circular regression model with a spike at zero. Statistics in Medicine , 37(1):71--81
2018
-
[12]
Kato, S., Shimizu, K., and Shieh, G. S. (2008). A circular--circular regression model. Statistica Sinica , pages 633--645
2008
-
[13]
and SenGupta, A
Kim, S. and SenGupta, A. (2015). Inverse circular--linear/linear--circular regression. Communications in Statistics-Theory and Methods , 44(22):4772--4782
2015
-
[14]
Lund, U., Agostinelli, C., and Agostinelli, M. C. (2017). Package ‘circular’. Repository CRAN , 775(5)
2017
-
[15]
V., Jupp, P
Mardia, K. V., Jupp, P. E., and Mardia, K. (2000). Directional statistics , volume 2. Wiley Online Library
2000
-
[16]
McCullagh, P. (1996). M \"o bius transformation and cauchy parameter estimation. The Annals of Statistics , 24(2):787--808
1996
-
[17]
write newline
" write newline "" before.all 'output.state := FUNCTION fin.entry add.period write newline FUNCTION new.block output.state before.all = 'skip after.block 'output.state := if FUNCTION new.sentence output.state after.block = 'skip output.state before.all = 'skip after.sentence '...
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.