arXiv math/03031042003-03-08math.AGcs.ITmath.IT

Bounding the trellis state complexity of algebraic geometric codes

Carlos Munuera, Fernando Torres

备注：: LaTeX, 14 pages, available at http://www.ime.unicamp.br/~ftorres

英文摘要：

Let C be an algebraic geometric code of dimension k and length n constructed on a curve X over $F_q$. Let s(C) be the state complexity of C and set w(C):=min{k,n-k}, the Wolf upper bound on s(C). We introduce a numerical function R that depends on the gonality sequence of X and show that s(C)\geq w(C)-R(2g-2), where g is the genus of X. As a matter of fact, R(2g-2)\leq g-(γ_2-2) with γ_2 being the gonality over F_q of X, and thus in particular we have that s(C)\geq w(C)-g+γ_2-2.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

A Goppa-like bound on the trellis state complexity of algebraic geometric codes

For a linear code $\cC$ of length $n$ and dimension $k$, Wolf noticed that the trellis state complexity $s(\cC)$ of $\cC$ is upper bounded by $w(\cC):=\min(k,n-k)$. In this paper we point out some new lower bounds for $s(\cC)$. In particular, if $\cC$ is an Algebraic Geometric code, then $s(\cC)\geq w(\cC)-(g-a)$, where $g$ is the genus of the underlying curve and $a$ is the abundance of the code.

2002-12-03cs.ITmath.AGmath.IT

Bounding the equivariant Betti numbers of symmetric semi-algebraic sets

Let $\mathrm{R}$ be a real closed field. The problem of obtaining tight bounds on the Betti numbers of semi-algebraic subsets of $\mathrm{R}^k$ in terms of the number and degrees of the defining polynomials has been an important problem in real algebraic geometry with the first results due to Ole{\uı}nik and Petrovski{\uı}, Thom and Milnor. These bounds are all exponential in the number of variables $k$. Motivated by several applications in real algebraic geometry, as well as in theoretical computer science, where such bounds have found applications, we consider in this paper the problem of bo…

2016-10-05cs.CCmath.AGmath.AT

Bounding minimum distances of cyclic codes using algebraic geometry

There are many results on the minimum distance of a cyclic code of the form that if a certain set T is a subset of the defining set of the code, then the minimum distance of the code is greater than some integer t. This includes the BCH, Hartmann-Tzeng, Roos, and shift bounds and generalizations of these. In this paper we define certain projective varieties V(T,t) whose properties determine whether, if T is in the defining set, the code has minimum distance exceeding t. Thus our attention shifts to the study of these varieties. By investigating them using class field theory and arithmetical ge…

2000-09-18math.AGmath.NT

Bounding ramification by covers and curves

We prove that $\bar {\mathbb Q}_\ell$-local systems of bounded rank and ramification on a smooth variety $X$ defined over an algebraically closed field $k$ of characteristic $p\neq \ell$ are tamified outside of codimension $2$ by a finite separable cover of bounded degree. In rank one, there is a curve which preserves their monodromy. There is a curve defined over the algebraic closure of a purely transcendental extension of $k$ of finite degree which fulfills the Lefschetz theorem. Last version: minor typos corrected.

2021-08-01math.AGmath.NT

Bounding the Betti numbers and computing the Euler-Poincaré characteristic of semi-algebraic sets defined by partly quadratic systems of polynomials

Let $\R$ be a real closed field, $ {\mathcal Q} \subset \R[Y_1,...,Y_\ell,X_1,...,X_k], $ with $ °_{Y}(Q) \leq 2, °_{X}(Q) \leq d, Q \in {\mathcal Q}, #({\mathcal Q})=m,$ and $ {\mathcal P} \subset \R[X_1,...,X_k] $ with $°_{X}(P) \leq d, P \in {\mathcal P}, #({\mathcal P})=s$, and $S \subset \R^{\ell+k}$ a semi-algebraic set defined by a Boolean formula without negations, with atoms $P=0, P \geq 0, P \leq 0, P \in {\mathcal P} \cup {\mathcal Q}$. We prove that the sum of the Betti numbers of $S$ is bounded by \[ \ell^2 (O(s+\ell+m)\ell d)^{k+2m}. \] This is a common generalization of previous…

2008-06-24cs.SCmath.AGmath.AT

Bounding the number of stable homotopy types of a parametrized family of semi-algebraic sets defined by quadratic inequalities

We prove a nearly optimal bound on the number of stable homotopy types occurring in a k-parameter semi-algebraic family of sets in $\R^\ell$, each defined in terms of m quadratic inequalities. Our bound is exponential in k and m, but polynomial in $\ell$. More precisely, we prove the following. Let $\R$ be a real closed field and let \[ {\mathcal P} = \{P_1,...,P_m\} \subset \R[Y_1,...,Y_\ell,X_1,...,X_k], \] with ${\rm deg}_Y(P_i) \leq 2, {\rm deg}_X(P_i) \leq d, 1 \leq i \leq m$. Let $S \subset \R^{\ell+k}$ be a semi-algebraic set, defined by a Boolean formula without negations, whose atoms …

2007-07-30math.AGmath.ATmath.GT

更多相关论文收起更多论文

Bounding the Betti numbers of real hypersurfaces near the tropical limit

We prove a bound conjectured by Itenberg on the Betti numbers of real algebraic hypersurfaces near non-singular tropical limits. These bounds are given in terms of the Hodge numbers of the complexification. To prove the conjecture we introduce a real variant of tropical homology and define a filtration on the corresponding chain complex inspired by Kalinin's filtration. The spectral sequence associated to this filtration converges to the homology groups of the real algebraic variety and we show that the terms of the first page are tropical homology groups with $\mathbb{Z}_2$-coefficients. The …

2019-11-12math.AG

对Brill-Noether存在性的图细化次数的上界

Bounding the number of graph refinements for Brill-Noether existence

Leibniz University Hannover（汉诺威莱布尼茨大学）；Università di Torino（都灵大学）；ShanghaiTech University（上海科技大学）

研究通过代数几何结果，给出图细化次数k的上界，基于图的亏度g和参数d,r。

2026-04-06math.AGmath.CO

Bounding Picard numbers of surfaces using p-adic cohomology

Motivated by an application to LDPC (low density parity check) algebraic geometry codes described by Voloch and Zarzar, we describe a computational procedure for establishing an upper bound on the arithmetic or geometric Picard number of a smooth projective surface over a finite field, by computing the Frobenius action on p-adic cohomology to a small degree of p-adic accuracy. We have implemented this procedure in Magma; using this implementation, we exhibit several examples, such as smooth quartics over F_2 and F_3 with arithmetic Picard number 1, and a smooth quintic over F_2 with geometric …

2007-01-18math.AGmath.NT

On the total order of reducibility of a pencil of algebraic plane curves

In this paper, the problem of bounding the number of reducible curves in a pencil of algebraic plane curves is addressed. Unlike most of the previous related works, each reducible curve of the pencil is here counted with its appropriate multiplicity. It is proved that this number of reducible curves, counted with multiplicity, is bounded by d^2-1 where d is the degree of the pencil. Then, a sharper bound is given by taking into account the Newton's polygon of the pencil.

2011-08-17cs.SCmath.ACmath.AG

Rank of tropical curves and tropical hypersurfaces

This paper is devoted to the bounding and computation of the dimension of deformation spaces of tropical curves and hypersurfaces. This characteristic is interesting in light of the fact that it often coincides with the dimension of equisingular (equigeneric etc.) deformation spaces of algebraic curves and hypersurfaces. In this paper, we obtain a series of precise formulas, upper and lower bounds, and algorithms for computing dimension of deformation spaces of various classes of tropical curves and hypersurfaces.

2018-06-05math.AG

多变量多项式在有限域上绝对不可约性的新判据

A new criterion for the absolute irreducibility of multivariate polynomials over finite fields

Purdue University（普渡大学）；University of Puerto Rico（波多黎各大学）

本文提出了一种新的判据，用于判断有限域上由多变量多项式定义的超曲面的绝对不可约性，无需测试基域或扩展域的不可约性，仅需多变量GCD计算和平方自由性质。

2026-02-02cs.CRmath.ACmath.AG

代数曲线上有理点的界：在次数上最优，以及维数增长

Bounds for rational points on algebraic curves, optimal in the degree, and dimension growth

本文针对不可约代数平面曲线上有理点计数问题，建立了对次数 d 最优的上界 C d^2 H^{2/d} (log H)^κ，回答了 Salberger 的问题，并简化了 Heath-Brown 和 Serre 一致维数增长猜想的证明。

2023-09-20math.AGmath.DGmath.NT

The Kodaira dimension of complex hyperbolic manifolds with cusps

We prove a bound relating the volume of a curve near a cusp in a hyperbolic manifold to its multiplicity at the cusp. The proof uses a hybrid technique employing both the geometry of the uniformizing group and the algebraic geometry of the toroidal compactification. There are a number of consequences: we show that for an $n$-dimensional toroidal compactification $\bar X$ with boundary $D$, $K_{\bar X}+(1-\frac{n+1}{2π}) D$ is nef, and in particular that $K_{\bar X}$ is ample for $n\geq 6$. By an independent algebraic argument, we prove that every hyperbolic manifold of dimension $n\geq 3$ is o…

2015-04-10math.AGmath.DGmath.GT

几何 G-函数与非典型性

Geometric G-functions and Atypicality

本文通过为退化周期产生的 G-函数提供 p-adic 解释，改进 Pila–Zannier 策略，证明非 Shimura 情形下 CM 模空间的 Galois 轨道下界并推进 Zilber–Pink 猜想。

2025-07-26math.AGmath.NT

Incidences with curves and surfaces in three dimensions, with applications to distinct and repeated distances

We study a wide spectrum of incidence problems involving points and curves or points and surfaces in $\mathbb R^3$. The current (and in fact the only viable) approach to such problems, pioneered by Guth and Katz [2010,2015], requires a variety of tools from algebraic geometry, most notably (i) the polynomial partitioning technique, and (ii) the study of algebraic surfaces that are ruled by lines or, in more recent studies [Guth-Zahl 2016], by algebraic curves of some constant degree. By exploiting and refining these tools, we obtain new and improved bounds for numerous incidence problems in $\…

2017-04-28math.AGmath.CO

Non-archimedean equidistribution on elliptic curves with global applications

Let $E$ be an elliptic curve over an algebraically closed, complete, non-archimedean field $K$, and let ${\mathsf E}$ denote the Berkovich analytic space associated to $E/K$. We study the $μ$-equidistribution of finite subsets of $E(K)$, where $μ$ is a certain canonical unit Borel measure on ${\mathsf E}$. Our main result is an inequality bounding the error term when testing against a certain class of continuous functions on ${\mathsf E}$. We then give two applications to elliptic curves over global function fields: we prove a function field analogue of the Szpiro-Ullmo-Zhang equidistribution …

2009-04-15math.AGmath.NT

射影超曲面束、Griffiths高度与几何不变量理论 I

Pencils of projective hypersurfaces, Griffiths heights and geometric invariant theory. I

本文通过GIT高度界定射影超曲面束的Griffiths高度，验证Kato-Koshikawa猜想的几何版本，并推广至半齐次奇点情形，证明稳定Griffiths高度的下半连续性。

2025-06-18math.AG