Showing 1–8 of 8 results for author: Dória, A

Learning the undecidable from networked systems

Authors: Felipe S. Abrahão, Ítala M. Loffredo D'Ottaviano, Klaus Wehmuth, Francisco Antônio Dória, Artur Ziviani

Abstract: This article presents a theoretical investigation of computation beyond the Turing barrier from emergent behavior in distributed systems. In particular, we present an algorithmic network that is a mathematical model of a networked population of randomly generated computable systems with a fixed communication protocol. Then, in order to solve an undecidable problem, we study how nodes (i.e., Turing… ▽ More This article presents a theoretical investigation of computation beyond the Turing barrier from emergent behavior in distributed systems. In particular, we present an algorithmic network that is a mathematical model of a networked population of randomly generated computable systems with a fixed communication protocol. Then, in order to solve an undecidable problem, we study how nodes (i.e., Turing machines or computable systems) can harness the power of the metabiological selection and the power of information sharing (i.e., communication) through the network. Formally, we show that there is a pervasive network topological condition, in particular, the small-diameter phenomenon, that ensures that every node becomes capable of solving the halting problem for every program with a length upper bounded by a logarithmic order of the population size. In addition, we show that this result implies the existence of a central node capable of emergently solving the halting problem in the minimum number of communication rounds. Furthermore, we introduce an algorithmic-informational measure of synergy for networked computable systems, which we call local algorithmic synergy. Then, we show that such algorithmic network can produce an arbitrarily large value of expected local algorithmic synergy. △ Less

Submitted 4 October, 2019; v1 submitted 8 April, 2019; originally announced April 2019.

Comments: Revised preprint version for publication as a book chapter

MSC Class: 68Q30; 03D32; 68R10; 05C30; 05C78; 05C75; 05C60; 05C80; 05C82; 94A15; 68Q01; 03D10; 03D32; 03D35; 03D80

Linearly presented perfect ideals of codimension $2$ in three variables

Authors: André Dória, Zaqueu Ramos, Aron Simis

Abstract: The goal of this paper is the fine structure of the ideals in the title, with emphasis on the properties of the associated Rees algebra and the special fiber. The watershed between the present approach and some of the previous work in the literature is that here one does not assume that the ideals in question satisfy the common generic properties. One exception is a recent work of N. P. H. Lan whi… ▽ More The goal of this paper is the fine structure of the ideals in the title, with emphasis on the properties of the associated Rees algebra and the special fiber. The watershed between the present approach and some of the previous work in the literature is that here one does not assume that the ideals in question satisfy the common generic properties. One exception is a recent work of N. P. H. Lan which inspired the present work. Here we recover and extend his work. We strongly focus on the behavior of the ideals of minors of the corresponding so-called Hilbert--Burch matrix and on conjugation features of the latter. We apply the results to three important models: linearly presented ideals of plane fat points, reciprocal ideals of hyperplane arrangements and linearly presented monomial ideals. △ Less

Submitted 6 December, 2017; v1 submitted 8 September, 2017; originally announced September 2017.

Comments: 32 pages. This is a revised version. The introduction has been extensively modified. Section 2 was modified and one of the main results was further detailed. We include new bibliographical references

The Newton complementary dual revisited

Authors: André Dória, Aron Simis

Abstract: This work deals with the notion of Newton complementary duality as raised originally in the work of the second author and B. Costa. A conceptual revision of the main steps of the notion is accomplished which then leads to a vast simplification and improvement of several statements concerning rational maps and their images. A ring-homomorphism like map is introduced that allows for a close comparis… ▽ More This work deals with the notion of Newton complementary duality as raised originally in the work of the second author and B. Costa. A conceptual revision of the main steps of the notion is accomplished which then leads to a vast simplification and improvement of several statements concerning rational maps and their images. A ring-homomorphism like map is introduced that allows for a close comparison between the respective graphs of a rational map and its Newton dual counterpart. △ Less

Submitted 18 May, 2016; originally announced May 2016.

Comments: 14 pages

A characteristic free criterion of birationality

Authors: A. V. Dória, S. H. Hassanzadeh, A. Simis

Abstract: One develops {\em ab initio} the theory of rational/birational maps over reduced, but not necessarily irreducible, projective varieties in arbitrary characteristic. A numerical invariant of a rational map is introduced, called the Jacobian dual rank. It is proved that a rational map in this general setup is birational if and only if the Jacobian dual rank attains its maximal possible value. Even i… ▽ More One develops {\em ab initio} the theory of rational/birational maps over reduced, but not necessarily irreducible, projective varieties in arbitrary characteristic. A numerical invariant of a rational map is introduced, called the Jacobian dual rank. It is proved that a rational map in this general setup is birational if and only if the Jacobian dual rank attains its maximal possible value. Even in the "classical" case where the source variety is irreducible there is some gain for this invariant over the degree of the map as it is, on one hand, intrinsically related to natural constructions in commutative algebra and, on the other hand, is effectively straightforwardly computable. Applications are given to results so far only known in characteristic zero. In particular, the surprising result of Dolgachev concerning the degree of a plane polar Cremona map is given an alternative conceptual angle. △ Less

Submitted 30 December, 2010; originally announced January 2011.

Comments: 24 pages

MSC Class: Primary 14E05; 14E07; 14M05; 13H10; Secondary 14M12; 14M15; 13B10; 13C14; 13F45

Journal ref: Advances in Mathematics, Volume 230, Issue 1, 1 May 2012, Pages 390-413

On a total function which overtakes all total recursive functions

Authors: N. C. A. da Costa, F. A. Doria

Abstract: This paper discusses a function that is frequently presented as a simile or look-alike of the so-called ``counterexample function to P=NP,'' that is, the function that collects all first instances of a problem in NP where a poly machine incorrectly `guesses' about the instance. We state and give in full detail a crucial result on the computation of Goedel numbers for some families of poly machin… ▽ More This paper discusses a function that is frequently presented as a simile or look-alike of the so-called ``counterexample function to P=NP,'' that is, the function that collects all first instances of a problem in NP where a poly machine incorrectly `guesses' about the instance. We state and give in full detail a crucial result on the computation of Goedel numbers for some families of poly machines. △ Less

Submitted 12 June, 2001; originally announced June 2001.

Comments: LaTeX

A lemma on a total function defined over the Baker-Gill-Solovay set of polynomial Turing machines

Authors: N. C. A. da Costa, F. A. Doria

Abstract: If we establish that the counterexample function for P=NP, if total, overtakes all total recursive functions when extended over all Turing machines, then what happens to the same counterexample function when defined over the so-called Baker-Gill-Solovay (BGS) set of poly machines? We state and prove here a lemma that tries to answer this query. If we establish that the counterexample function for P=NP, if total, overtakes all total recursive functions when extended over all Turing machines, then what happens to the same counterexample function when defined over the so-called Baker-Gill-Solovay (BGS) set of poly machines? We state and prove here a lemma that tries to answer this query. △ Less

Submitted 12 June, 2001; originally announced June 2001.

Comments: LaTeX

On the consistency of $P=NP$ with fragments of ZFC whose own consistency strength can be measured by an ordinal assignment

Authors: N. C. A. da Costa, F. A. Doria

Abstract: We formulate the $P<NP$ hypothesis in the case of the satisfiability problem as a $Π^0_2$ sentence, out of which we can construct a partial recursive function $f_{\neg A}$ so that $f_{\neg A}$ is total if and only if $P < NP$. We then show that if $f_{\neg A}$ is total, then it isn't ${\cal T}$--provably total (where ${\cal T}$ is a fragment of ZFC that adequately extends PA and whose consistenc… ▽ More We formulate the $P<NP$ hypothesis in the case of the satisfiability problem as a $Π^0_2$ sentence, out of which we can construct a partial recursive function $f_{\neg A}$ so that $f_{\neg A}$ is total if and only if $P < NP$. We then show that if $f_{\neg A}$ is total, then it isn't ${\cal T}$--provably total (where ${\cal T}$ is a fragment of ZFC that adequately extends PA and whose consistency is of ordinal order). Follows that the negation of $P < NP$, that is, $P = NP$, is consistent with those ${\cal T}$. △ Less

Submitted 10 June, 2000; originally announced June 2000.

Comments: LaTeX, 19 pages, no figures

The Atiyah-Singer index theorem and the gauge field copy problem

Authors: Adonai S. Sant'Anna, Newton C. A. da Costa, Francisco A. Doria

Abstract: K-theory allows us to define an analytical condition for the existence of `false' gauge field copies through the use of the Atiyah-Singer index theorem. After establishing that result we discuss a possible extension of the same result without the help of the index theorem and suggest possible related lines of work. K-theory allows us to define an analytical condition for the existence of `false' gauge field copies through the use of the Atiyah-Singer index theorem. After establishing that result we discuss a possible extension of the same result without the help of the index theorem and suggest possible related lines of work. △ Less

Submitted 27 May, 1999; originally announced May 1999.

Comments: LaTeX, 7 pages, no figures

Journal ref: J.Phys.A30:5511-5516,1997