SearcharxivSearch

arXiv subjects

Ankan Pal

Publications and source records attributed to Ankan Pal.

4 recordsLinked to original sources

Measuring Representation Robustness in Large Language Models for Geometry

Large language models (LLMs) are increasingly evaluated on mathematical reasoning, yet their robustness to equivalent problem representations remains poorly understood. In geometry, identical problems can be expressed in Euclidean, coordinate, or vector forms, but existing benchmarks report accuracy on fixed formats, implicitly assuming representation invariance and masking failures caused by representational changes alone. We propose GeoRepEval, a representation-aware evaluation framework that measures correctness, invariance, and consistency at the problem level across parallel formulations, combining strict answer matching, bootstrap confidence intervals, paired McNemar tests, representation-flip analyses, and regression controls for surface complexity. We prove that our Invariance@3 metric decomposes accuracy into robust and fragile components and is bounded by the weakest representation. Evaluating eleven LLMs on 158 curated high-school geometry problems (474 instances), we find accuracy gaps of up to 14 percentage points induced solely by representation choice. Vector formulations emerge as a consistent failure point, with Invariance@3 as low as 0.044 even after controlling for length and symbolic complexity. A convert-then-solve prompting intervention improves vector accuracy by up to 52 percentage points for high-capacity models, suggesting that failures reflect representation sensitivity rather than inability; however, low-capacity models show no gains, indicating deeper limitations. These results suggest that current models rely on representation-specific heuristics rather than abstract geometric reasoning. All datasets, prompts, and scripts are released at https://github.com/vedjaw/GeoRepEval.

cs.CL

Moments of Gaussian hypergeometric functions over finite fields

We prove explicit formulas for certain first and second moment sums of families of Gaussian hypergeometric functions $_{n+1}F_n$, $n\ge1$, over finite fields with $q$ elements where $q$ is an odd prime. This enables us to find an estimate for the value $_6F_5(1)$. In addition, we evaluate certain second moments of traces of the family of Clausen elliptic curves in terms of the value $_3F_2(-1)$. These formulas also allow us to express the product of certain $_2F_1$ and $_{n+1}F_n$ functions in terms of finite field Appell series which generalizes current formulas for products of $_2F_1$ functions. We finally give closed form expressions for sums of Gaussian hypergeometric functions defined using different multiplicative characters.

math.NT

High Order Elements in Finite Fields Arising from Recursive Towers

We provide a recipe to construct towers of fields producing high order elements in $\mathrm{GF}(q,2^n)$, for odd $q$, and in $\mathrm{GF}(2,2 \cdot 3^n)$, for $n \ge 1$. These towers are obtained recursively by $x_{n}^2 + x_{n} = v(x_{n - 1})$, for odd $q$, or $x_{n}^3 + x_{n} = v(x_{n - 1})$, for $q=2$, where $v(x)$ is a polynomial of small degree over the prime field $\mathrm{GF}(q,1)$ and $x_n$ belongs to the finite field extension $\mathrm{GF}(q,2^n)$, for $q$ odd, or to $\mathrm{GF}(2,2\cdot 3^n)$. Several examples are carried out and analysed numerically. The lower bounds of the orders of the groups generated by $x_n$, or by the discriminant $\delta_n$ of the polynomial, are similar to the ones obtained in [BCG+09], but we get better numerical results in some cases.

math.NT

A New Method for Geometric Interpretation of Elliptic Curve Discrete Logarithm Problem

In this paper, we intend to study the geometric meaning of the discrete logarithm problem defined over an Elliptic Curve. The key idea is to reduce the Elliptic Curve Discrete Logarithm Problem (EC-DLP) into a system of equations. These equations arise from the interesection of quadric hypersurfaces in an affine space of lower dimension. In cryptography, this interpretation can be used to design attacks on EC-DLP. Presently, the best known attack algorithm having a sub-exponential time complexity is through the implementation of Summation Polynomials and Weil Descent. It is expected that the proposed geometric interpretation can result in faster reduction of the problem into a system of equations. These overdetermined system of equations are hard to solve. We have used F4 (Faugere) algorithms and got results for primes less than 500,000. Quantum Algorithms can expedite the process of solving these over-determined system of equations. In the absence of fast algorithms for computing summation polynomials, we expect that this could be an alternative. We do not claim that the proposed algorithm would be faster than Shor's algorithm for breaking EC-DLP but this interpretation could be a candidate as an alternative to the 'summation polynomial attack' in the post-quantum era.

cs.CR