BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Jesse Elliott

Jesse Elliott appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.ACmath.RAmath.NTmath.AGSymbolic Computation

Catalog footprint

What is connected

11works
5topics
2close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

11 published item(s)

preprint2022arXiv

Bit complexity for computing one point in each connected component of a smooth real algebraic set

We analyze the bit complexity of an algorithm for the computation of at least one point in each connected component of a smooth real algebraic set. This work is a continuation of our analysis of the hypersurface case (On the bit complexity of finding points in connected components of a smooth real hypersurface, ISSAC'20). In this paper, we extend the analysis to more general cases. Let $F=(f_1,..., f_p)$ in $\mathbb{Z}[X_1, ... , X_n]^p$ be a sequence of polynomials with $V = V(F) \subset \mathbb{C}^n$ a smooth and equidimensional variety and $\langle F \rangle \subset \mathbb{C}[X_1, ..., X_n]$ a radical ideal. To compute at least one point in each connected component of $V \cap \mathbb{R}^n$, our starting point is an algorithm by Safey El Din and Schost (Polar varieties and computation of one point in each connected component of a smooth real algebraic set, ISSAC'03). This algorithm uses random changes of variables that are proven to generically ensure certain desirable geometric properties. The cost of the algorithm was given in an algebraic complexity model; here, we analyze the bit complexity and the error probability, and we provide a quantitative analysis of the genericity statements. In particular, we are led to use Lagrange systems to describe polar varieties, as they make it simpler to rely on techniques such as weak transversality and an effective Nullstellensatz.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Harmonic numbers and the prime counting function

We provide approximations to the prime counting function by various discretized versions of the logarithmic integral function, expressed solely in terms of the harmonic numbers. We demonstrate with explicit error bounds that these approximations are at least as good as the logarithmic integral approximation. As a corollary, we provide some reformulations of the Riemann hypothesis in terms of the prime counting function and the harmonic numbers.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Integer-valued polynomials on commutative rings and modules

The ring of integer-valued polynomials on an arbitrary integral domain is well-studied. In this paper we initiate and provide motivation for the study of integer-valued polynomials on commutative rings and modules. Several examples are computed, including the integer-valued polynomials over the ring $R[T_1,\ldots, T_n]/(T_1(T_1-r_1), \ldots, T_n(T_n-r_n))$ for any commutative ring $R$ and any elements $r_1, \ldots, r_n$ of $R$, as well as the integer-valued polynomials over the Nagata idealization $R(+)M$ of $M$ over $R$, where $M$ is an $R$-module such that every non-zerodivisor on $M$ is a non-zerodivisor of $R$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Nuclei and applications to star, semistar, and semiprime operations

We show that the theory of quantales and quantic nuclei motivate new results on star operations, semistar operations, semiprime operations, ideal systems, and module systems, and conversely the latter theories motivate new results on quantales and quantic nuclei. Results include representation theorems for precoherent prequantales and multiplicative semilattices; characterizations of the simple prequantales; and a generalization to the setting of precoherent quantales of the construction of the largest finite type semistar operation and the largest stable semistar operation smaller than a given semistar operation.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Birings and plethories of integer-valued polynomials

Let $A$ and $B$ be commutative rings with identity. An {\it $A$-$B$-biring} is an $A$-algebra $S$ together with a lift of the functor $Hom_A(S,-)$ from $A$-algebras to sets to a functor from $A$-algebras to $B$-algebras. An {\it $A$-plethory} is a monoid object in the monoidal category, equipped with the composition product, of $A$-$A$-birings. The polynomial ring $A[X]$ is an initial object in the category of such structures. The $D$-algebra $Int(D)$ has such a structure if $D = A$ is a domain such that the natural $D$-algebra homomorphism $θ_n: {\bigotimes_D}_{i = 1}^n Int(D) \longrightarrow Int(D^n)$ is an isomorphism for $n = 2$ and injective for $n \leq 4$. This holds in particular if $θ_n$ is an isomorphism for all $n$, which in turn holds, for example, if $D$ is a Krull domain or more generally a TV PVMD. In these cases we also examine properties of the functor $Hom_D(Int(D),-)$ from $D$-algebras to $D$-algebras, which we hope to show is a new object worthy of investigation in the theory of integer-valued polynomials.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Factoring formal power series over principal ideal domains

We provide an irreducibility test and factoring algorithm (with some qualifications) for formal power series in the unique factorization domain $R[[X]]$, where $R$ is any principal ideal domain. We also classify all integral domains arising as quotient rings of $R[[X]]$. Our main tool is a generalization of the $p$-adic Weierstrass preparation theorem to the context of complete filtered commutative rings.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Prequantales and applications to semistar operations and module systems

We show that a generalization of quantales and prequantales provides a noncommutative and nonassociative abstract ideal theoretic setting for the theories of star operations, semistar operations, semiprime operations, ideal systems, and module systems, and conversely the latter theories motivate new results on quantales and prequantales. Results include representation theorems for precoherent prequantales and multiplicative semilattices; a characterization of the simple prequantales; and a generalization to the setting of precoherent prequantales of the construction of the largest finite type semistar operation and the largest stable semistar operation smaller than a given semistar operation.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Presentations and module bases of integer-valued polynomial rings

Let D be an integral domain with quotient field K. For any set X, the ring Int(D^X) of integer-valued polynomials on D^X is the set of all polynomials f in K[X] such that f(D^X) is a subset of D. Using the t-closure operation on fractional ideals, we find for any set X a D-algebra presentation of Int(D^X)$ by generators and relations for a large class of domains D, including any unique factorization domain D, and more generally any Krull domain D such that Int(D) has a regular basis, that is, a D-module basis consisting of exactly one polynomial of each degree. As a corollary we find for all such domains D an intrinsic characterization of the D-algebras that are isomorphic to a quotient of Int(D^X) for some set X. We also generalize the well-known result that a Krull domain D has a regular basis if and only if the Polya-Ostrowski group of D (that is, the subgroup of the class group of D generated by the images of the factorial ideals of D) is trivial, if and only if the product of the height one prime ideals of finite norm q is principal for every q.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Semistar operations on Dedekind domains

We give an explicit description of the lattice $\Semistar(D)$ of all semistar operations on any Dedekind domain $D$ from its set $\Max(D)$ of maximal ideals. This descpription is constructive if $\Max(D)$ is finite. As a corollary we show that $2^{n \choose [n/2]} \leq |\Semistar(D)| \leq 2^{2^n}$ if $n = |\Max(D)|$ is finite; we compute $|\Semistar(D)|$ if $|\Max(D)| \leq 7$; and we show that if $\Max(D)$ is infinite then $\Semistar(D)$ has cardinality $2^{2^{|\Max(D)|}}$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Near prequantales and applications to star and semistar operations and ideal and module systems

We show that a generalization of the theory of quantales and prequantales provides a noncommutative and nonassociative abstract ideal theoretic setting for the theories of star operations, semistar operations, semiprime operations, ideal systems, and module systems, and conversely the latter theories motivate new results in the theory of quantales and prequantales. Applications include representation theorems for precoherent prequantales and multiplicative semilattices; characterizations of simple commutative quantales and simple multiplicative lattices; a construction of the largest finitary nucleus smaller than a given nucleus on a precoherent prequantale; a construction of the smallest semistar operation extending a given star operation on an integral domain; and two potentially useful definitions of tight closure for non-Noetherian commutative rings of prime characteristic.

0 citations0 reviewsNo code linkedOpen access