skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

Explore Research Products in the PAR
It may take a few hours for recently added research products to appear in PAR search results.


Title: Dimension Quasi-polynomials of Inversive Difference Field Extensions with Weighted Translations
We consider Hilbert-type functions associated with finitely generated inversive difference field extensions and systems of algebraic difference equations in the case when the translations are assigned positive integer weights. We prove that such functions are quasi-polynomials that can be represented as alternating sums of Ehrhart quasi-polynomials of rational conic polytopes. In particular, we generalize the author's results on difference dimension polynomials and their invariants to the case of inversive difference fields with weighted basic automorphisms.  more » « less
Award ID(s):
1714425
PAR ID:
10066958
Author(s) / Creator(s):
Date Published:
Journal Name:
Mathematical Aspects of Computer and Information Sciences
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. (, ISSAC '21: Proceedings of the 46th International Symposium on Symbolic and Algebraic Computation)
    null (Ed.)
    We present a method of Gröbner bases with respect to several term orderings and use it to obtain new results on multivariate dimension polynomials of inversive difference modules. Then we use the difference structure of the module of Kahler differentials associated with a finitely generated inversive difference field extension of a given difference transcendence degree to describe the form of a multivariate difference dimension polynomial of the extension. 
    more » « less
  2. (, Lecture notes in computer science)
    null (Ed.)
    Let K be an inversive difference-differential field and L a (not necessarily inversive) finitely generated difference-differential field extension of K. We consider the natural filtration of the extension L/K associated with a finite system \eta of its difference-differential generators and prove that for any intermediate difference-differential field F, the transcendence degrees of the components of the induced filtration of F are expressed by a certain numerical polynomial \chi_{K, F,\eta}(t). This polynomial is closely connected with the dimension Hilbert-type polynomial of a submodule of the module of K\"ahler differentials $\Omega_{L^{\ast}|K} where L^{\ast} is the inversive closure of L. We prove some properties of polynomials \chi_{K, F,\eta}(t) and use them for the study of the Krull-type dimension of the extension L/K. In the last part of the paper, we present a generalization of the obtained results to multidimensional filtrations of L/K associated with partitions of the sets of basic derivations and translations. 
    more » « less
  3. ; (, Proceedings of the 24th Conference on Applications of Computer Algebra - ACA 2018)
    We present a difference algebraic technique for the evaluation of the Einstein's strength of quasi-linear partial difference equations and some systems of such equations. Our approach is based on the properties of difference dimension polynomials that express the Einstein's strength and on the characteristic set method for computing such polynomials. The obtained results are applied to the comparative analysis of difference schemes for some chemical reaction-diffusion equations. 
    more » « less
  4. ; ; (, Canadian Journal of Mathematics)
    null (Ed.)
    Abstract We introduce two new bases of the ring of polynomials and study their relations to known bases. The first basis is the quasi-Lascoux basis, which is simultaneously both a $$K$$ -theoretic deformation of the quasi-key basis and also a lift of the $$K$$ -analogue of the quasi-Schur basis from quasi-symmetric polynomials to general polynomials. We give positive expansions of this quasi-Lascoux basis into the glide and Lascoux atom bases, as well as a positive expansion of the Lascoux basis into the quasi-Lascoux basis. As a special case, these expansions give the first proof that the $$K$$ -analogues of quasi-Schur polynomials expand positively in multifundamental quasi-symmetric polynomials of T. Lam and P. Pylyavskyy. The second new basis is the kaon basis, a $$K$$ -theoretic deformation of the fundamental particle basis. We give positive expansions of the glide and Lascoux atom bases into this kaon basis. Throughout, we explore how the relationships among these $$K$$ -analogues mirror the relationships among their cohomological counterparts. We make several “alternating sum” conjectures that are suggestive of Euler characteristic calculations. 
    more » « less
  5. (, Proceedings of the 24th Conference on Applications of Computer Algebra - ACA 2018)
    Multivariate dimension polynomials associated with finitely generated differential and difference field extensions arise as natural generalizations of the univariate differential and difference dimension polynomials. It turns out, however, that they carry more information about the corresponding extensions than their univariate counterparts. We extend the known results on multivariate dimension polynomials to the case of difference-differential field extensions with arbitrary partitions of sets of basic operators. We also describe some properties of multivariate dimension polynomials and their invariants. 
    more » « less
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email