arXiv subjects

Francesco Noseda

Publications and source records attributed to Francesco Noseda.

9 recordsLinked to original sources

arXiv2025

ProofCompass: Enhancing Specialized Provers with LLM Guidance

Language models have become increasingly powerful tools for formal mathematical reasoning. However, most existing approaches rely exclusively on either large general-purpose models or smaller specialized models, each with distinct limitations, while training specialized large models still requires significant computational resources. This paper introduces ProofCompass, a novel hybrid methodology that achieves remarkable computational efficiency by strategically guiding existing specialized prover methods, such as DeepSeek-Prover-v1.5-RL (DSP-v1.5) with a Large Language Model (LLM) without requiring additional model training. The LLM provides natural language proof strategies and analyzes failed attempts to select intermediate lemmas, enabling effective problem decomposition. On the miniF2F benchmark, ProofCompass demonstrates substantial resource efficiency: it outperforms DSP-v1.5 ($54.9\% \rightarrow 55.3\%$) while using 25x fewer attempts ($3200 \rightarrow 128$). Our synergistic approach paves the way for simultaneously improving computational efficiency and accuracy in formal theorem proving.

cs.AI↗

arXiv2024

Self-similarity of the classical $p$-adic Lie groups and Lie algebras

We exhibit infinite lists of ramification indices $δ$ for which the classical Lie groups over the ring of integers of $p$-adic fields admit a faithful self-similar action on a regular rooted $δ$-ary tree in such a way that the action is transitive on the first level. These results follow from the study of virtual endomorphisms of the classical Lie lattices over the same type of rings. In order to compute the ramification indices for all the types of groups treated in the paper, we compute the indices of principal congruence subgroups of the orthogonal groups for a class of local rings.

math.GR↗

arXiv2023

On the self-similarity of the norm one group of $p$-adic division algebras

Let $p$ be a prime, $D$ a finite dimensional noncommutative division $\mathbb{Q}_p$-algebra, and $SL_1(D)$ the group of elements of $D$ of reduced norm $1$. When the center of $D$ is $\mathbb{Q}_p$, we prove that no open subgroup of $SL_1(D)$ admits self-similar actions on regular rooted trees. Moreover, we prove results on $\mathbb{Z}_p$-Lie lattices that allow to deal with the case where the center of $D$ is bigger than $\mathbb{Q}_p$, and lead to the classification of the torsion-free $p$-adic analytic pro-$p$ groups $G$ of dimension less than $p$ with the property that all the nontrivial closed subgroups of $G$ admit a self-similar action on a $p$-ary tree. As a consequence, we obtain that a nontrivial torsion-free $p$-adic analytic pro-$p$ group $G$ of dimension less than $p$ is isomorphic to the maximal pro-$p$ Galois group of a field that contains a primitive $p$-th root of unity if and only if all the nontrivial closed subgroups of $G$ admit a self-similar action on a regular rooted $p$-ary tree.

math.GR↗

arXiv2022

On self-similarity of $p$-adic analytic pro-$p$ groups of small dimension

Given a torsion-free $p$-adic analytic pro-$p$ group $G$ with $\mathrm{dim}(G) < p$, we show that the self-similar actions of $G$ on regular rooted trees can be studied through the virtual endomorphisms of the associated $\mathbb{Z}_p$-Lie lattice. We explicitly classify 3-dimensional unsolvable $\mathbb{Z}_p$-Lie lattices for $p$ odd, and study their virtual endomorphisms. Together with Lazard's correspondence, this allows us to classify 3-dimensional unsolvable torsion-free $p$-adic analytic pro-$p$ groups for $p\geqslant 5$, and to determine which of them admit a faithful self-similar action on a $p$-ary tree. In particular, we show that no open subgroup of $SL_1^1(Δ_p)$ admits such an action. On the other hand, we prove that all the open subgroups of $SL_2^{\triangle}(\mathbb{Z}_p)$ admit faithful self-similar actions on regular rooted trees.

math.GR↗

arXiv2020

On the self-similarity index of $p$-adic analytic pro-$p$ groups

Let $p$ be a prime. We say that a pro-$p$ group is self-similar of index $p^k$ if it admits a faithful self-similar action on a $p^k$-ary regular rooted tree such that the action is transitive on the first level. The self-similarity index of a self-similar pro-$p$ group $G$ is defined to be the least power of $p$, say $p^k$, such that $G$ is self-similar of index $p^k$. We show that for every prime $p\geqslant 3$ and all integers $d$ there exist infinitely many pairwise non-isomorphic self-similar 3-dimensional hereditarily just-infinite uniform pro-$p$ groups of self-similarity index greater than $d$. This implies that, in general, for self-similar $p$-adic analytic pro-$p$ groups one cannot bound the self-similarity index by a function that depends only on the dimension of the group.

math.GR↗

arXiv2020

Index-stable compact $p$-adic analytic groups

A profinite group is index-stable if any two isomorphic open subgroups have the same index. Let $p$ be a prime, and let $G$ be a compact $p$-adic analytic group with associated $\mathbb{Q}_p$-Lie algebra $\mathcal{L}(G)$. We prove that $G$ is index-stable whenever $\mathcal{L}(G)$ is semisimple. In particular, a just-infinite compact $p$-adic analytic group is index-stable if and only if it is not virtually abelian. Within the category of compact $p$-adic analytic groups, this gives a positive answer to a question of C. Reid. In the Appendix, J-P. Serre proves that $G$ is index-stable if and only if the determinant of any automorphism of $\mathcal{L}(G)$ has $p$-adic norm 1.

math.GR↗

arXiv2020

On hereditarily self-similar $p$-adic analytic pro-$p$ groups

A non-trivial finitely generated pro-$p$ group $G$ is said to be strongly hereditarily self-similar of index $p$ if every non-trivial finitely generated closed subgroup of $G$ admits a faithful self-similar action on a $p$-ary tree. We classify the solvable torsion-free $p$-adic analytic pro-$p$ groups of dimension less than $p$ that are strongly hereditarily self-similar of index $p$. Moreover, we show that a solvable torsion-free $p$-adic analytic pro-$p$ group of dimension less than $p$ is strongly hereditarily self-similar of index $p$ if and only if it is isomorphic to the maximal pro-$p$ Galois group of some field that contains a primitive $p$-th root of unity. As a key step for the proof of the above results, we classify the 3-dimensional solvable torsion-free $p$-adic analytic pro-$p$ groups that admit a faithful self-similar action on a $p$-ary tree, completing the classification of the 3-dimensional torsion-free $p$-adic analytic pro-$p$ groups that admit such actions.

math.GR↗

arXiv2018

Principal actions of stacky Lie groupoids

Stacky Lie groupoids are generalizations of Lie groupoids in which the "space of arrows" of the groupoid is a differentiable stack. In this paper, we consider actions of stacky Lie groupoids on differentiable stacks and their associated quotients. We provide a characterization of principal actions of stacky Lie groupoids, i.e., actions whose quotients are again differentiable stacks in such a way that the projection onto the quotient is a principal bundle. As an application, we extend the notion of Morita equivalence of Lie groupoids to the realm of stacky Lie groupoids, providing examples that naturally arise from non-integrable Lie algebroids.

math.DG↗

arXiv2011

Bases for Riemann-Roch spaces of one point divisors on an optimal tower of function fields

For applications in algebraic geometric codes, an explicit description of bases of Riemann-Roch spaces of divisors on function fields over finite fields is needed. We give an algorithm to compute such bases for one point divisors, and Weierstrass semigroups over an optimal tower of function fields. We also explicitly compute Weierstrass semigroups till level eight.

math.NT↗