Source author record

Patrick Cegielski

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Discrete Mathematics math.NT Formal Languages and Automata Theory Logic in Computer Science

Catalog footprint

Research overview

3works

4topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Congruence Preservation, Lattices and Recognizability

Looking at some monoids and (semi)rings (natural numbers, integers and p-adic integers), and more generally, residually finite algebras (in a strong sense), we prove the equivalence of two ways for a function on such an algebra to behave like the operations of the algebra. The first way is to preserve congruences or stable preorders. The second way is to demand that preimages of recognizable sets belong to the lattice or the Boolean algebra generated by the preimages of recognizable sets by derived unary operation of the algebra (such as translations, quotients,. . . ).

preprint2015arXiv

Characterizing congruence preserving functions $Z/nZ\to Z/mZ$ via rational polynomials

We introduce a basis of rational polynomial-like functions $P_0,\ldots,P_{n-1}$ for the free module of functions $Z/nZ\to Z/mZ$ . We then characterize the subfamily of congruence preserving functions as the set of linear combinations of the functions $lcm(k)\,P_k$ where $lcm(k)$ is the least common multiple of $2,\ldots,k$ (viewed in $Z/mZ$ ). As a consequence, when $n\geq m$ , the number of such functions is independent of $n$ .

preprint2013arXiv

Newton representation of functions over natural integers having integral difference ratios

Different questions lead to the same class of functions from natural integers to integers: those which have integral difference ratios, i.e. verifying $f(a)-f(b)\equiv0 \pmod {(a-b)}$ for all $a>b$ . We characterize this class of functions via their representations as Newton series. This class, which obviously contains all polynomials with integral coefficients, also contains unexpected functions, for instance all functions $x\mapsto\lfloor e^{1/a}\;a^x\;x!\rfloor$ , with $a\in\Z\setminus\{0,1\}$ , and a function equal to $\lfloor e\;x!\rfloor$ except on 0. Finally, to study the complement class, we look at functions $\N\to\RR$ which are not uniformly close to any function having integral difference ratios.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Patrick Cegielski

Research overview

Is this your work?

3 publications

Congruence Preservation, Lattices and Recognizability

Characterizing congruence preserving functions $Z/nZ\to Z/mZ$ via rational polynomials

Newton representation of functions over natural integers having integral difference ratios

See the researcher in context

Building this map preview

Patrick Cegielski

Research overview

Is this your work?

3 publications

Congruence Preservation, Lattices and Recognizability

Characterizing congruence preserving functions Z/nZ→Z/mZZ/nZ\to Z/mZZ/nZ→Z/mZ via rational polynomials

Newton representation of functions over natural integers having integral difference ratios

See the researcher in context

Building this map preview

Characterizing congruence preserving functions $Z/nZ\to Z/mZ$ via rational polynomials