ECCC-Report TR18-212https://eccc.weizmann.ac.il/report/2018/212Comments and Revisions published for TR18-212en-usTue, 13 Dec 2022 15:42:06 +0200
Revision 1
| Constructing Faithful Homomorphisms over Fields of Finite Characteristic |
Prerona Chatterjee,
Ramprasad Saptharishi
https://eccc.weizmann.ac.il/report/2018/212#revision1We study the question of algebraic rank or transcendence degree preserving homomorphisms over finite fields. This concept was first introduced by Beecken, Mittmann and Saxena (Information and Computing, 2013), and exploited by them, and Agrawal, Saha, Saptharishi and Saxena (Journal of Computing, 2016) to design algebraic independence based identity tests using the Jacobian criterion over characteristic zero fields. An analogue of such constructions over finite characteristic fields was unknown due to the failure of the Jacobian criterion over finite characteristic fields.
Building on a recent criterion of Pandey, Sinhababu and Saxena (MFCS, 2016), we construct explicit faithful maps for some natural classes of polynomials in the positive characteristic field setting, when a certain parameter called the inseparable degree of the underlying polynomials is bounded (this parameter is always 1 in fields of characteristic zero). This presents the first generalisation of some of the results of Beecken et al. and Agrawal et al. in the positive characteristic setting.Tue, 13 Dec 2022 15:42:06 +0200https://eccc.weizmann.ac.il/report/2018/212#revision1
Paper TR18-212
| Constructing Faithful Homomorphisms over Fields of Finite Characteristic |
Prerona Chatterjee,
Ramprasad Saptharishi
https://eccc.weizmann.ac.il/report/2018/212We study the question of algebraic rank or transcendence degree preserving homomorphisms over finite fields. This concept was first introduced by Beecken, Mittmann and Saxena (Information and Computing, 2013), and exploited by them, and Agrawal, Saha, Saptharishi and Saxena (Journal of Computing, 2016) to design algebraic independence based identity tests using the Jacobian criterion over characteristic zero fields. An analogue of such constructions over finite characteristic fields was unknown due to the failure of the Jacobian criterion over finite characteristic fields.
Building on a recent criterion of Pandey, Sinhababu and Saxena (MFCS, 2016), we construct explicit faithful maps for some natural classes of polynomials in the positive characteristic field setting, when a certain parameter called the inseparable degree of the underlying polynomials is bounded (this parameter is always 1 in fields of characteristic zero). This presents the first generalisation of some of the results of Beecken et al. and Agrawal et al. in the positive characteristic setting.Wed, 26 Dec 2018 16:56:28 +0200https://eccc.weizmann.ac.il/report/2018/212