Showing 1–9 of 9 results for author: Kadyrsizova, Z

Intractability of Learning the Discrete Logarithm with Gradient-Based Methods

Authors: Rustem Takhanov, Maxat Tezekbayev, Artur Pak, Arman Bolatov, Zhibek Kadyrsizova, Zhenisbek Assylbekov

Abstract: The discrete logarithm problem is a fundamental challenge in number theory with significant implications for cryptographic protocols. In this paper, we investigate the limitations of gradient-based methods for learning the parity bit of the discrete logarithm in finite cyclic groups of prime order. Our main result, supported by theoretical analysis and empirical verification, reveals the concentra… ▽ More The discrete logarithm problem is a fundamental challenge in number theory with significant implications for cryptographic protocols. In this paper, we investigate the limitations of gradient-based methods for learning the parity bit of the discrete logarithm in finite cyclic groups of prime order. Our main result, supported by theoretical analysis and empirical verification, reveals the concentration of the gradient of the loss function around a fixed point, independent of the logarithm's base used. This concentration property leads to a restricted ability to learn the parity bit efficiently using gradient-based methods, irrespective of the complexity of the network architecture being trained. Our proof relies on Boas-Bellman inequality in inner product spaces and it involves establishing approximate orthogonality of discrete logarithm's parity bit functions through the spectral norm of certain matrices. Empirical experiments using a neural network-based approach further verify the limitations of gradient-based learning, demonstrating the decreasing success rate in predicting the parity bit as the group order increases. △ Less

Submitted 2 October, 2023; originally announced October 2023.

Comments: ACML 2023

Classification of Frobenius Forms in five variables

Authors: Zhibek Kadyrsizova, Janet Page, Jyoti Singh, Karen E. Smith, Adela Vraciu, Emily E. Witt

Abstract: We classify Frobenius forms, a special class of homogeneous polynomials in characteristic $p>0$, in up to five variables over an algebraically closed field. We also point out some of the similarities with quadratic forms. We classify Frobenius forms, a special class of homogeneous polynomials in characteristic $p>0$, in up to five variables over an algebraically closed field. We also point out some of the similarities with quadratic forms. △ Less

Submitted 13 May, 2022; v1 submitted 12 April, 2021; originally announced April 2021.

Comments: Appears in Springer volume "Women in Commutative Algebra--Proceedings of the 2019 WICA Workshop". Note that in "Lower Bounds on the F-pure Threshold and Extremal Singularities" (with Jennifer Kenkel, arxiv:2009.13679 [v3], to appear in Transactions of the AMS), we completely classify all extremal singularities of fixed degree and embedding dimension up to projective equivalence

MSC Class: 13A35 (Primary) 14B05; 14G17; 14J70 (Secondary)

Lower Bounds on the F-pure Threshold and Extremal Singularities

Authors: Zhibek Kadyrsizova, Jennifer Kenkel, Janet Page, Jyoti Singh, Karen E. Smith, Adela Vraciu, Emily E. Witt

Abstract: We prove that if $f$ is a reduced homogenous polynomial of degree $d$, then its $F$-pure threshold at the unique homogeneous maximal ideal is at least $\frac{1}{d-1}$. We show, furthermore, that its $F$-pure threshold equals $\frac{1}{d-1}$ if and only if $f\in \mathfrak m^{[q]}$ and $d=q+1$, where $q$ is a power of $p$. Up to linear changes of coordinates (over a fixed algebraically closed field)… ▽ More We prove that if $f$ is a reduced homogenous polynomial of degree $d$, then its $F$-pure threshold at the unique homogeneous maximal ideal is at least $\frac{1}{d-1}$. We show, furthermore, that its $F$-pure threshold equals $\frac{1}{d-1}$ if and only if $f\in \mathfrak m^{[q]}$ and $d=q+1$, where $q$ is a power of $p$. Up to linear changes of coordinates (over a fixed algebraically closed field), we classify such "extremal singularities," and show that there is at most one with isolated singularity. Finally, we indicate several ways in which the projective hypersurfaces defined by such forms are "extremal," for example, in terms of the configurations of lines they can contain. △ Less

Submitted 13 May, 2022; v1 submitted 28 September, 2020; originally announced September 2020.

Comments: to appear in Transactions of the AMS

MSC Class: 13A35 (Primary) 14B05; 14G17; 14J70 (Secondary)

Cubic Surfaces of Characteristic Two

Authors: Zhibek Kadyrsizova, Jennifer Kenkel, Janet Page, Jyoti Singh, Karen E. Smith, Adela Vraciu, Emily E. Witt

Abstract: Cubic surfaces in characteristic two are investigated from the point of view of prime characteristic commutative algebra. In particular, we prove that, the non-Frobenius split cubic surfaces form a linear subspace of codimension four in the 19-dimensional space of all cubics, and that up to projective equivalence, there are finitely many non-Frobenius split cubic surfaces. We explicitly describe d… ▽ More Cubic surfaces in characteristic two are investigated from the point of view of prime characteristic commutative algebra. In particular, we prove that, the non-Frobenius split cubic surfaces form a linear subspace of codimension four in the 19-dimensional space of all cubics, and that up to projective equivalence, there are finitely many non-Frobenius split cubic surfaces. We explicitly describe defining equations for each and characterize them as extremal in terms of configurations of lines on them. In particular, a (possibly singular) cubic surface in characteristic two fails to be Frobenius split if and only if no three lines on it form a "triangle". △ Less

Submitted 13 May, 2022; v1 submitted 23 July, 2020; originally announced July 2020.

MSC Class: 13A35 (Primary) 14G17; 14J26 (Secondary)

Algebraic sets defined by the commutator matrix

Authors: Zhibek Kadyrsizova, Madi Yerlanov

Abstract: In this paper we study algebraic sets of pairs of matrices defined by the vanishing of either the diagonal of their commutator matrix or its anti-diagonal. We find a system of parameters for the coordinate rings of these two sets and their intersection and show that they are complete intersections. Moreover, we prove that these algebraic sets are $F$-pure over a field of positive prime characteris… ▽ More In this paper we study algebraic sets of pairs of matrices defined by the vanishing of either the diagonal of their commutator matrix or its anti-diagonal. We find a system of parameters for the coordinate rings of these two sets and their intersection and show that they are complete intersections. Moreover, we prove that these algebraic sets are $F$-pure over a field of positive prime characteristic and the algebraic set of pairs of matrices with the zero diagonal commutator is $F$-regular. △ Less

Submitted 24 June, 2020; originally announced June 2020.

The variety defined by the matrix of diagonals is $F$-pure

Authors: Zhibek Kadyrsizova

Abstract: We prove that the variety defined by the determinant of the matrix of diagonals is $F$-pure for matrices of all sizes and in all positive prime characteristics. Moreover, we find a system of parameters for it. We prove that the variety defined by the determinant of the matrix of diagonals is $F$-pure for matrices of all sizes and in all positive prime characteristics. Moreover, we find a system of parameters for it. △ Less

Submitted 26 May, 2021; v1 submitted 7 February, 2019; originally announced February 2019.

Comments: To appear in the Springer volume "Women in Commutative Algebra--Proceedings of the 2019 WICA Workshop". 11 pages, comments are welcome

The TestIdeals package for Macaulay2

Authors: Alberto F. Boix, Daniel J. Hernández, Zhibek Kadyrsizova, Mordechai Katzman, Sara Malec, Marcus Robinson, Karl Schwede, Daniel Smolkin, Pedro Teixeira, Emily E. Witt

Abstract: This note describes a \emph{Macaulay2} package for computations in prime characteristic commutative algebra. This includes Frobenius powers and roots, $p^{-e}$-linear and $p^{e}$-linear maps, singularities defined in terms of these maps, different types of test ideals and modules, and ideals compatible with a given $p^{-e}$-linear map. This note describes a \emph{Macaulay2} package for computations in prime characteristic commutative algebra. This includes Frobenius powers and roots, $p^{-e}$-linear and $p^{e}$-linear maps, singularities defined in terms of these maps, different types of test ideals and modules, and ideals compatible with a given $p^{-e}$-linear map. △ Less

Submitted 22 June, 2019; v1 submitted 5 October, 2018; originally announced October 2018.

Comments: 21 pages, minor improvements throughout. This paper is the companion to the the latest version of the package (https://github.com/kschwede/Workshop-2017-Berkeley/tree/master/Fsing/TestIdealsPackage), which should be included in 1.15 of Macaulay2 and later

MSC Class: 13A35; 14F18

Journal ref: J. Softw. Alg. Geom. 9 (2019) 89-110

Nearly Commuting Matrices

Authors: Zhibek Kadyrsizova

Abstract: We prove that the algebraic set of pairs of matrices with a diagonal commutator over a field of positive prime characteristic, its irreducible components, and their intersection are $F$-pure when the size of matrices is equal to 3. Furthermore, we show that this algebraic set is reduced and the intersection of its irreducible components is irreducible in any characteristic for pairs of matrices of… ▽ More We prove that the algebraic set of pairs of matrices with a diagonal commutator over a field of positive prime characteristic, its irreducible components, and their intersection are $F$-pure when the size of matrices is equal to 3. Furthermore, we show that this algebraic set is reduced and the intersection of its irreducible components is irreducible in any characteristic for pairs of matrices of any size. In addition, we discuss various conjectures on the singularities of these algebraic sets and the system of parameters on the corresponding coordinate rings. △ Less

Submitted 14 December, 2017; v1 submitted 31 May, 2017; originally announced May 2017.

Comments: 30 pages, improved the exposition and some of the proofs, to appear in the Journal of Algebra

Journal ref: Zhibek Kadyrsizova, Nearly commuting matrices, In Journal of Algebra, Volume 497, 2018, Pages 199-218

On the behavior of singularities at the $F$-pure threshold

Authors: Eric Canton, Daniel Hernández, Karl Schwede, Emily Witt, Alessandro De Stefani, Jack Jeffries, Zhibek Kadyrsizova, Robert Walker, George Whelan

Abstract: We provide a family of examples where the $F$-pure threshold and the log canonical threshold of a polynomial are different, but where $p$ does not divide the denominator of the $F$-pure threshold (compare with an example of \mustata-Takagi-Watanabe). We then study the $F$-signature function in the case where either the $F$-pure threshold and log canonical threshold coincide or where $p$ does not d… ▽ More We provide a family of examples where the $F$-pure threshold and the log canonical threshold of a polynomial are different, but where $p$ does not divide the denominator of the $F$-pure threshold (compare with an example of \mustata-Takagi-Watanabe). We then study the $F$-signature function in the case where either the $F$-pure threshold and log canonical threshold coincide or where $p$ does not divide the denominator of the $F$-pure threshold. We show that the $F$-signature function behaves similarly in those two cases. Finally, we include an appendix which shows that the test ideal can still behave in surprising ways even when the $F$-pure threshold and log canonical threshold coincide. △ Less

Submitted 10 May, 2016; v1 submitted 21 August, 2015; originally announced August 2015.

Comments: Typos corrected, other improvements to the exposition

MSC Class: 13A35; 14J17; 14B05

Journal ref: Illinois J. Math. 60 (2016), no. 3-4, 669-685