-
Splitting aspects of holomorphic distributions with locally free tangent sheaf
Authors:
Raphael Constant da Costa
Abstract:
In this work, we mainly deal with a two-dimensional singular holomorphic distribution $\mathcal{D}$ defined on $M$, in the two situations $M=\mathbb{P}^n$ or $M=(\mathbb{C}^n,0)$, tangent to a one-dimensional foliation $\mathcal{G}$ on $M$, and whose tangent sheaf $T_{\mathcal{D}}$ is locally free. We provide sufficient conditions on $\mathcal{G}$ so that there is another one-dimensional foliation…
▽ More
In this work, we mainly deal with a two-dimensional singular holomorphic distribution $\mathcal{D}$ defined on $M$, in the two situations $M=\mathbb{P}^n$ or $M=(\mathbb{C}^n,0)$, tangent to a one-dimensional foliation $\mathcal{G}$ on $M$, and whose tangent sheaf $T_{\mathcal{D}}$ is locally free. We provide sufficient conditions on $\mathcal{G}$ so that there is another one-dimensional foliation $\mathcal{H}$ on $M$ tangent to $\mathcal{D}$, such that their respective tangent sheaves satisfy the splitting relation $T_{\mathcal{D}}=T_{\mathcal{G}} \oplus T_{\mathcal{H}}$. As an application, we show that if $\mathcal{F}$ is a codimension one holomorphic foliation on $\mathbb{P}^3$ with locally free tangent sheaf and tangent to a nontrivial holomorphic vector field on $\mathbb{P}^3$, then $T_{\mathcal{F}}$ splits. Some division results for vector fields and differential forms are also obtained.
△ Less
Submitted 5 June, 2024; v1 submitted 27 May, 2024;
originally announced May 2024.
-
Some results involving the $A_α$-eigenvalues for graphs and line graphs
Authors:
Joao Domingos Gomes da Silva Junior,
Carla Silva Oliveira,
Liliana Manuela Gaspar C. da Costa
Abstract:
Let $G$ be a simple graph with adjacency matrix $A(G)$, signless Laplacian matrix $Q(G)$, degree diagonal matrix $D(G)$ and let $l(G)$ be the line graph of $G$. In 2017, Nikiforov defined the $A_α$-matrix of $G$, $A_α(G)$, as a linear convex combination of $A(G)$ and $D(G)$, the following way, $A_α(G):=αA(G)+(1-α)D(G),$ where $α\in[0,1]$. In this paper, we present some bounds for the eigenvalues o…
▽ More
Let $G$ be a simple graph with adjacency matrix $A(G)$, signless Laplacian matrix $Q(G)$, degree diagonal matrix $D(G)$ and let $l(G)$ be the line graph of $G$. In 2017, Nikiforov defined the $A_α$-matrix of $G$, $A_α(G)$, as a linear convex combination of $A(G)$ and $D(G)$, the following way, $A_α(G):=αA(G)+(1-α)D(G),$ where $α\in[0,1]$. In this paper, we present some bounds for the eigenvalues of $A_α(G)$ and for the largest and smallest eigenvalues of $A_α(l(G))$. Extremal graphs attaining some of these bounds are characterized.
△ Less
Submitted 23 February, 2024;
originally announced February 2024.
-
Superdiffusive limits for Bessel-driven stochastic kinetics
Authors:
Miha Brešar,
Conrado da Costa,
Aleksandar Mijatović,
Andrew Wade
Abstract:
We prove anomalous-diffusion scaling for a one-dimensional stochastic kinetic dynamics, in which the stochastic drift is driven by an exogenous Bessel noise, and also includes endogenous volatility which is permitted to have arbitrary dependence with the exogenous noise. We identify the superdiffusive scaling exponent for the model, and prove a weak convergence result on the corresponding scale. W…
▽ More
We prove anomalous-diffusion scaling for a one-dimensional stochastic kinetic dynamics, in which the stochastic drift is driven by an exogenous Bessel noise, and also includes endogenous volatility which is permitted to have arbitrary dependence with the exogenous noise. We identify the superdiffusive scaling exponent for the model, and prove a weak convergence result on the corresponding scale. We show how our result extends to admit, as exogenous noise processes, not only Bessel processes but more general processes satisfying certain asymptotic conditions.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
Superdiffusive planar random walks with polynomial space-time drifts
Authors:
Conrado da Costa,
Mikhail Menshikov,
Vadim Shcherbakov,
Andrew Wade
Abstract:
We quantify superdiffusive transience for a two-dimensional random walk in which the vertical coordinate is a martingale and the horizontal coordinate has a positive drift that is a polynomial function of the individual coordinates and of the present time. We describe how the model was motivated through an heuristic connection to a self-interacting, planar random walk which interacts with its own…
▽ More
We quantify superdiffusive transience for a two-dimensional random walk in which the vertical coordinate is a martingale and the horizontal coordinate has a positive drift that is a polynomial function of the individual coordinates and of the present time. We describe how the model was motivated through an heuristic connection to a self-interacting, planar random walk which interacts with its own centre of mass via an excluded-volume mechanism, and is conjectured to be superdiffusive with a scale exponent $3/4$. The self-interacting process originated in discussions with Francis Comets.
△ Less
Submitted 25 June, 2024; v1 submitted 15 January, 2024;
originally announced January 2024.
-
Intelligent methods for business rule processing: State-of-the-art
Authors:
Cristiano André da Costa,
Uélison Jean Lopes dos Santos,
Eduardo Souza dos Reis,
Rodolfo Stoffel Antunes,
Henrique Chaves Pacheco,
Thaynã da Silva França,
Rodrigo da Rosa Righi,
Jorge Luis Victória Barbosa,
Franklin Jebadoss,
Jorge Montalvao,
Rogerio Kunkel
Abstract:
In this article, we provide an overview of the latest intelligent techniques used for processing business rules. We have conducted a comprehensive survey of the relevant literature on robot process automation, with a specific focus on machine learning and other intelligent approaches. Additionally, we have examined the top vendors in the market and their leading solutions to tackle this issue.
In this article, we provide an overview of the latest intelligent techniques used for processing business rules. We have conducted a comprehensive survey of the relevant literature on robot process automation, with a specific focus on machine learning and other intelligent approaches. Additionally, we have examined the top vendors in the market and their leading solutions to tackle this issue.
△ Less
Submitted 20 November, 2023;
originally announced November 2023.
-
Limiting distributions for RWCRE in the sub-ballistic regime and in the critical Gaussian regime
Authors:
Conrado da Costa,
Jonathon Peterson,
Yongjia Xie
Abstract:
Random Walks in Cooling Random Environments (RWCRE) is a model of random walks in dynamic random environments where the environment is frozen between a fixed sequence of times (called the cooling map) where it is resampled. Naturally the limiting distributions for this model depend both on the structure of the cooling sequence and on distribution $μ$ from which the environments are sampled. Previo…
▽ More
Random Walks in Cooling Random Environments (RWCRE) is a model of random walks in dynamic random environments where the environment is frozen between a fixed sequence of times (called the cooling map) where it is resampled. Naturally the limiting distributions for this model depend both on the structure of the cooling sequence and on distribution $μ$ from which the environments are sampled. Previous results have considered the cases where $μ$ is such that the corresponding model of random walks in a fixed random environment (RWRE) is either (1) recurrent, (2) has a Gaussian limit with diffusive scaling (the $κ> 2$ case), or (3) has positive speed and a stable, non-Gaussian limit (the $κ\in (1,2)$ case).
In this paper we examine the limiting distributions in two other transient regimes: the sub-ballistic, non-stable regime (i.e., $κ\in (0,1)$), and the Gaussian regime with non-diffusive scaling (i.e., $κ= 2$). In the first case we show that the limiting distributions are either Gaussian or a mixture of Gaussian and independent sums of Mittag-Leffler random variables, while in the second case the limiting distributions are always Gaussian but with a scaling that differs from the standard deviation by factor (which can oscillate, but which remains confined to some interval $[β,1]$) that depends very delicately on the properties of the cooling map.
△ Less
Submitted 14 July, 2023;
originally announced July 2023.
-
Passage-times for partially-homogeneous reflected random walks on the quadrant
Authors:
Conrado da Costa,
Mikhail Menshikov,
Andrew Wade
Abstract:
We consider a random walk on the first quadrant of the square lattice, whose increment law is, roughly speaking, homogeneous along a finite number of half-lines near each of the two boundaries, and hence essentially specified by finitely-many transition laws near each boundary, together with an interior transition law that applies at sufficient distance from both boundaries. Under mild assumptions…
▽ More
We consider a random walk on the first quadrant of the square lattice, whose increment law is, roughly speaking, homogeneous along a finite number of half-lines near each of the two boundaries, and hence essentially specified by finitely-many transition laws near each boundary, together with an interior transition law that applies at sufficient distance from both boundaries. Under mild assumptions, in the (most subtle) setting in which the mean drift in the interior is zero, we classify recurrence and transience and provide power-law bounds on tails of passage times; the classification depends on the interior covariance matrix, the (finitely many) drifts near the boundaries, and stationary distributions derived from two one-dimensional Markov chains associated to each of the two boundaries. As an application, we consider reflected random walks related to multidimensional variants of the Lindley process, for which the recurrence question was studied recently by Peigné and Woess (Ann. Appl. Probab., vol. 31, 2021) using different methods, but for which no previous quantitative results on passage-times appear to be known.
△ Less
Submitted 14 July, 2023;
originally announced July 2023.
-
CDJUR-BR -- A Golden Collection of Legal Document from Brazilian Justice with Fine-Grained Named Entities
Authors:
Antonio Mauricio,
Vladia Pinheiro,
Vasco Furtado,
João Araújo Monteiro Neto,
Francisco das Chagas Jucá Bomfim,
André Câmara Ferreira da Costa,
Raquel Silveira,
Nilsiton Aragão
Abstract:
A basic task for most Legal Artificial Intelligence (Legal AI) applications is Named Entity Recognition (NER). However, texts produced in the context of legal practice make references to entities that are not trivially recognized by the currently available NERs. There is a lack of categorization of legislation, jurisprudence, evidence, penalties, the roles of people in a legal process (judge, lawy…
▽ More
A basic task for most Legal Artificial Intelligence (Legal AI) applications is Named Entity Recognition (NER). However, texts produced in the context of legal practice make references to entities that are not trivially recognized by the currently available NERs. There is a lack of categorization of legislation, jurisprudence, evidence, penalties, the roles of people in a legal process (judge, lawyer, victim, defendant, witness), types of locations (crime location, defendant's address), etc. In this sense, there is still a need for a robust golden collection, annotated with fine-grained entities of the legal domain, and which covers various documents of a legal process, such as petitions, inquiries, complaints, decisions and sentences. In this article, we describe the development of the Golden Collection of the Brazilian Judiciary (CDJUR-BR) contemplating a set of fine-grained named entities that have been annotated by experts in legal documents. The creation of CDJUR-BR followed its own methodology that aimed to attribute a character of comprehensiveness and robustness. Together with the CDJUR-BR repository we provided a NER based on the BERT model and trained with the CDJUR-BR, whose results indicated the prevalence of the CDJUR-BR.
△ Less
Submitted 19 May, 2023;
originally announced May 2023.
-
Bounds for a alpha-eigenvalues
Authors:
João Domingos G. da Silva Jr,
Carla Silva Oliveira,
Liliana Manuela G. C. da Costa
Abstract:
Let G be a graph with adjacency matrix A(G) and degree diagonal matrix D(G). In 2017, Nikiforov [1] defined the matrix Aalpha(G), as a convex combination of A(G) and D(G), the following way, Aalpha(G) = alpha A(G) + (1 - alpha)D(G), where alpha belongs to [0,1]. In this paper, we present some new upper and lower bounds for the largest, second largest, and smallest eigenvalue of the Aalpha-matrix.…
▽ More
Let G be a graph with adjacency matrix A(G) and degree diagonal matrix D(G). In 2017, Nikiforov [1] defined the matrix Aalpha(G), as a convex combination of A(G) and D(G), the following way, Aalpha(G) = alpha A(G) + (1 - alpha)D(G), where alpha belongs to [0,1]. In this paper, we present some new upper and lower bounds for the largest, second largest, and smallest eigenvalue of the Aalpha-matrix. Moreover, extremal graphs attaining some of these bounds are characterized
△ Less
Submitted 6 January, 2023;
originally announced January 2023.
-
First measurements and upgrade plans of the MAGIC intensity interferometer
Authors:
Juan Cortina,
V. A. Acciari,
A. Biland,
E. Colombo,
C. da Costa,
C. Delgado,
C. Diaz,
M. Fiori,
D. Fink,
T. Hassan,
I. Jimenez-Martinez,
E. Lyard,
M. Mariotti,
G. Martinez,
R. Mirzoyan,
G. Naletto,
M. Polo,
N. Produit,
J. J. Rodriguez,
T. Schweizer,
R. Walter,
C. W. Wunderlich,
L. Zampieri,
the MAGIC,
LST collaborations
Abstract:
The two MAGIC 17-m diameter Imaging Atmospheric Cherenkov Telescopes have been equipped to work also as an intensity interferometer with a deadtime-free, 4-channel, GPU-based, real-time correlator. Operating with baselines between approx. 40 and 90 m the MAGIC interferometer is able to measure stellar diameters of 0.5-1 mas in the 400-440 nm wavelength range with a sensitivity roughly 10 times bet…
▽ More
The two MAGIC 17-m diameter Imaging Atmospheric Cherenkov Telescopes have been equipped to work also as an intensity interferometer with a deadtime-free, 4-channel, GPU-based, real-time correlator. Operating with baselines between approx. 40 and 90 m the MAGIC interferometer is able to measure stellar diameters of 0.5-1 mas in the 400-440 nm wavelength range with a sensitivity roughly 10 times better than that achieved in the 1970s by the Narrabri Stellar Intensity Interferometer. Besides, active mirror control allows to split the primary mirrors into sub-mirrors. This allows to make simultaneous calibration measurements of the zero-baseline correlation or to simultaneously collect six baselines below 17 m with almost arbitrary orientation, corresponding to angular scales of approx. 1-50 mas. We plan to perform test observations adding the nearby Cherenkov Telescope Array (CTA) LST-1 23 m diameter telescope by next year. All three telescope pairs will be correlated simultaneously. Adding LST-1 is expected to increase the sensitivity by at least 1 mag and significantly improve the u-v plane coverage. If successful, the proposed correlator setup is scalable enough to be implemented to the full CTA arrays.
△ Less
Submitted 29 September, 2022;
originally announced September 2022.
-
Gradual convergence for Langevin dynamics on a degenerate potential
Authors:
Gerardo Barrera,
Conrado da Costa,
Milton Jara
Abstract:
In this paper, we study an ordinary differential equation with a degenerate global attractor at the origin, to which we add a white noise with a small parameter that regulates its intensity. Under general conditions, for any fixed intensity, as time tends to infinity, the solution of this stochastic dynamics converges exponentially fast in total variation distance to a unique equilibrium distribut…
▽ More
In this paper, we study an ordinary differential equation with a degenerate global attractor at the origin, to which we add a white noise with a small parameter that regulates its intensity. Under general conditions, for any fixed intensity, as time tends to infinity, the solution of this stochastic dynamics converges exponentially fast in total variation distance to a unique equilibrium distribution. We suitably accelerate the random dynamics and show that the preceding convergence is gradual, that is, the total variation distance of the accelerated random dynamics and its equilibrium distribution converges to a decreasing function, which corresponds to the total variation distance between the marginal of a stochastic differential equation that comes down from infinity and its corresponding equilibrium distribution. This completes the classification of all possible behaviors of the total variation distance between the time marginal of the aforementioned stochastic dynamics and its invariant measure for one dimensional smooth convex potentials. In addition, there is no cut-off phenomenon for this one-parameter family of random processes and asymptotics of the mixing times are derived.
△ Less
Submitted 5 October, 2023; v1 submitted 22 September, 2022;
originally announced September 2022.
-
On the characteristic polynomial of the $A_α$-matrix for some operations of graphs
Authors:
João Domingos G. da Silva Jr.,
Carla Silva Oliveira,
Liliana Manuela G. C. da Costa
Abstract:
Let G be a graph of order $n$ with adjacency matrix $A(G)$ and diagonal matrix of degree $D(G)$. For every $α\in [0,1]$, Nikiforov \cite{VN17} defined the matrix $A_α(G) = αD(G) + (1-α)A(G)$. In this paper we present the $A_α(G)$-characteristic polynomial when $G$ is obtained by coalescing two graphs, and if $G$ is a semi-regular bipartite graph we obtain the $A_α$-characteristic polynomial of the…
▽ More
Let G be a graph of order $n$ with adjacency matrix $A(G)$ and diagonal matrix of degree $D(G)$. For every $α\in [0,1]$, Nikiforov \cite{VN17} defined the matrix $A_α(G) = αD(G) + (1-α)A(G)$. In this paper we present the $A_α(G)$-characteristic polynomial when $G$ is obtained by coalescing two graphs, and if $G$ is a semi-regular bipartite graph we obtain the $A_α$-characteristic polynomial of the line graph associated to $G$. Moreover, if $G$ is a regular graph we exhibit the $A_α$-characteristic polynomial for the graphs obtained from some operations.
△ Less
Submitted 22 August, 2022;
originally announced August 2022.
-
STEAM++ An Extensible End-To-End Framework for Develo** IoT Data Processing Applications in the Fog
Authors:
Márcio Miguel Gomes,
Rodrigo da Rosa Righi,
Cristiano André da Costa,
Dalvan Griebler
Abstract:
IoT applications usually rely on cloud computing services to perform data analysis such as filtering, aggregation, classification, pattern detection, and prediction. When applied to specific domains, the IoT needs to deal with unique constraints. Besides the hostile environment such as vibration and electric-magnetic interference, resulting in malfunction, noise, and data loss, industrial plants o…
▽ More
IoT applications usually rely on cloud computing services to perform data analysis such as filtering, aggregation, classification, pattern detection, and prediction. When applied to specific domains, the IoT needs to deal with unique constraints. Besides the hostile environment such as vibration and electric-magnetic interference, resulting in malfunction, noise, and data loss, industrial plants often have Internet access restricted or unavailable, forcing us to design stand-alone fog and edge computing solutions. In this context, we present STEAM++, a lightweight and extensible framework for real-time data stream processing and decision-making in the network edge, targeting hardware-limited devices, besides proposing a micro-benchmark methodology for assessing embedded IoT applications. In real-case experiments in a semiconductor industry, we processed an entire data flow, from values sensing, processing and analyzing data, detecting relevant events, and finally, publishing results to a dashboard. On average, the application consumed less than 500kb RAM and 1.0% of CPU usage, processing up to 239 data packets per second and reducing the output data size to 14% of the input raw data size when notifying events.
△ Less
Submitted 7 April, 2022;
originally announced May 2022.
-
Perspectives on risk prioritization of data center vulnerabilities using rank aggregation and multi-objective optimization
Authors:
Bruno Grisci,
Gabriela Kuhn,
Felipe Colombelli,
Vítor Matter,
Leomar Lima,
Karine Heinen,
Mauricio Pegoraro,
Marcio Borges,
Sandro Rigo,
Jorge Barbosa,
Rodrigo da Rosa Righi,
Cristiano André da Costa,
Gabriel de Oliveira Ramos
Abstract:
Nowadays, data has become an invaluable asset to entities and companies, and kee** it secure represents a major challenge. Data centers are responsible for storing data provided by software applications. Nevertheless, the number of vulnerabilities has been increasing every day. Managing such vulnerabilities is essential for building a reliable and secure network environment. Releasing patches to…
▽ More
Nowadays, data has become an invaluable asset to entities and companies, and kee** it secure represents a major challenge. Data centers are responsible for storing data provided by software applications. Nevertheless, the number of vulnerabilities has been increasing every day. Managing such vulnerabilities is essential for building a reliable and secure network environment. Releasing patches to fix security flaws in software is a common practice to handle these vulnerabilities. However, prioritization becomes crucial for organizations with an increasing number of vulnerabilities since time and resources to fix them are usually limited. This review intends to present a survey of vulnerability ranking techniques and promote a discussion on how multi-objective optimization could benefit the management of vulnerabilities risk prioritization. The state-of-the-art approaches for risk prioritization were reviewed, intending to develop an effective model for ranking vulnerabilities in data centers. The main contribution of this work is to point out multi-objective optimization as a not commonly explored but promising strategy to prioritize vulnerabilities, enabling better time management and increasing security.
△ Less
Submitted 12 February, 2022;
originally announced February 2022.
-
The Evolution of AGN Activity in Brightest Cluster Galaxies
Authors:
T. Somboonpanyakul,
M. McDonald,
A. Noble,
M. Aguena,
S. Allam,
A. Amon,
F. Andrade-Oliveira,
D. Bacon,
M. B. Bayliss,
E. Bertin,
S. Bhargava,
D. Brooks,
E. Buckley-Geer,
D. L. Burke,
M. Calzadilla,
R. Canning,
A. Carnero Rosell,
M. Carrasco Kind,
J. Carretero,
M. Costanzi L. N. da Costa,
M. E. S. Pereira J. De Vicente P. Doel P. Eisenhardt S. Everett A. E. Evrard,
I. Ferrero,
B. Flaugher,
B. Floyd,
J. García-Bellido
, et al. (51 additional authors not shown)
Abstract:
We present the results of an analysis of Wide-field Infrared Survey Explorer (WISE) observations on the full 2500 deg^2 South Pole Telescope (SPT)-SZ cluster sample. We describe a process for identifying active galactic nuclei (AGN) in brightest cluster galaxies (BCGs) based on WISE mid-infrared color and redshift. Applying this technique to the BCGs of the SPT-SZ sample, we calculate the AGN-host…
▽ More
We present the results of an analysis of Wide-field Infrared Survey Explorer (WISE) observations on the full 2500 deg^2 South Pole Telescope (SPT)-SZ cluster sample. We describe a process for identifying active galactic nuclei (AGN) in brightest cluster galaxies (BCGs) based on WISE mid-infrared color and redshift. Applying this technique to the BCGs of the SPT-SZ sample, we calculate the AGN-hosting BCG fraction, which is defined as the fraction of BCGs hosting bright central AGNs over all possible BCGs. Assuming {\bf an evolving} single-burst stellar population model, we find statistically significant evidence (>99.9%) for a mid-IR excess at high redshift compared to low redshift, suggesting that the fraction of AGN-hosting BCGs increases with redshift over the range of 0 < z < 1.3. The best-fit redshift trend of the AGN-hosting BCG fraction has the form (1+z)^(4.1+/-1.0). These results are consistent with previous studies in galaxy clusters as well as field galaxies. One way to explain this result is that member galaxies at high redshift tend to have more cold gas. While BCGs in nearby galaxy clusters grow mostly by dry mergers with cluster members, leading to no increase in AGN activity, BCGs at high redshift could primarily merge with gas-rich satellites, providing fuel for feeding AGNs. If this observed increase in AGN activity is linked to gas-rich mergers, rather than ICM cooling, we would expect to see an increase in scatter in the P_cav vs L_cool relation at z > 1. Lastly, this work confirms that the runaway cooling phase, as predicted by the classical cooling flow model, in the Phoenix cluster is extremely rare and most BCGs have low (relative to Eddington) black hole accretion rates.
△ Less
Submitted 9 February, 2022; v1 submitted 20 January, 2022;
originally announced January 2022.
-
Axiomatic Theory of Distributions
Authors:
Newton C. A. da Costa,
J. A. Baêta Segundo
Abstract:
In this monograph, very simple axiomatic definitions to the L. Schwartz' concepts of distribution and derivative of a distribution are formulated. Beyond this, a kind of generalization of that concepts is propose and corresponding axiomatic definitions are presented.
In this monograph, very simple axiomatic definitions to the L. Schwartz' concepts of distribution and derivative of a distribution are formulated. Beyond this, a kind of generalization of that concepts is propose and corresponding axiomatic definitions are presented.
△ Less
Submitted 7 November, 2021;
originally announced November 2021.
-
Evaluation of Convolutional Neural Networks for COVID-19 Classification on Chest X-Rays
Authors:
Felipe André Zeiser,
Cristiano André da Costa,
Gabriel de Oliveira Ramos,
Henrique Bohn,
Ismael Santos,
Rodrigo da Rosa Righi
Abstract:
Early identification of patients with COVID-19 is essential to enable adequate treatment and to reduce the burden on the health system. The gold standard for COVID-19 detection is the use of RT-PCR tests. However, due to the high demand for tests, these can take days or even weeks in some regions of Brazil. Thus, an alternative for detecting COVID-19 is the analysis of Digital Chest X-rays (XR). C…
▽ More
Early identification of patients with COVID-19 is essential to enable adequate treatment and to reduce the burden on the health system. The gold standard for COVID-19 detection is the use of RT-PCR tests. However, due to the high demand for tests, these can take days or even weeks in some regions of Brazil. Thus, an alternative for detecting COVID-19 is the analysis of Digital Chest X-rays (XR). Changes due to COVID-19 can be detected in XR, even in asymptomatic patients. In this context, models based on deep learning have great potential to be used as support systems for diagnosis or as screening tools. In this paper, we propose the evaluation of convolutional neural networks to identify pneumonia due to COVID-19 in XR. The proposed methodology consists of a preprocessing step of the XR, data augmentation, and classification by the convolutional architectures DenseNet121, InceptionResNetV2, InceptionV3, MovileNetV2, ResNet50, and VGG16 pre-trained with the ImageNet dataset. The obtained results demonstrate that the VGG16 architecture obtained superior performance in the classification of XR for the evaluation metrics using the methodology proposed in this article. The obtained results for our methodology demonstrate that the VGG16 architecture presented a superior performance in the classification of XR, with an Accuracy of 85.11%, Sensitivity of 85.25%, Specificity of $85.16%, F1-score of $85.03%, and an AUC of 0.9758.
△ Less
Submitted 6 September, 2021;
originally announced September 2021.
-
Gaussian, stable, tempered stable and mixed limit laws for random walks in cooling random environments
Authors:
Luca Avena,
Conrado da Costa,
Jonathon Peterson
Abstract:
Random Walks in Cooling Random Environments (RWCRE) is a model of random walks in dynamic random environments where the entire environment is resampled along a fixed sequence of times, called the "cooling sequence," and is kept fixed in between those times. This model interpolates between that of a homogenous random walk, where the environment is reset at every step, and Random Walks in (static) R…
▽ More
Random Walks in Cooling Random Environments (RWCRE) is a model of random walks in dynamic random environments where the entire environment is resampled along a fixed sequence of times, called the "cooling sequence," and is kept fixed in between those times. This model interpolates between that of a homogenous random walk, where the environment is reset at every step, and Random Walks in (static) Random Environments (RWRE), where the environment is never resampled. In this work we focus on the limiting distributions of one-dimensional RWCRE in the regime where the fluctuations of the corresponding (static) RWRE is given by a $s$-stable random variable with $s\in(1,2)$. In this regime, due to the two extreme cases (resampling every step and never resampling, respectively), a crossover from Gaussian to stable limits for sufficiently regular cooling sequence was previously conjectured. Our first result answers affirmatively this conjecture by making clear critical exponent, norming sequences and limiting laws associated with the crossover which demonstrates a change from Gaussian to $s$-stable limits, passing at criticality through a certain generalized tempered stable distribution. We then explore the resulting RWCRE scaling limits for general cooling sequences. On the one hand, we offer sets of operative sufficient conditions that guarantee asymptotic emergence of either Gaussian, $s$-stable or generalized tempered distributions from a certain class. On the other hand, we give explicit examples and describe how to construct irregular cooling sequences for which the corresponding limit law is characterized by mixtures of the three above mentioned laws. To obtain these results, we need and derive a number of refined asymptotic results for the static RWRE with $s\in(1,2)$ which may be of independent interest.
△ Less
Submitted 18 August, 2021;
originally announced August 2021.
-
Stochastic billiards with Markovian reflections in generalized parabolic domains
Authors:
Conrado da Costa,
Mikhail V. Menshikov,
Andrew R. Wade
Abstract:
We study recurrence and transience for a particle that moves at constant velocity in the interior of an unbounded planar domain, with random reflections at the boundary governed by a Markov kernel producing outgoing angles from incoming angles. Our domains have a single unbounded direction and sublinear growth. We characterize recurrence in terms of the reflection kernel and growth rate of the dom…
▽ More
We study recurrence and transience for a particle that moves at constant velocity in the interior of an unbounded planar domain, with random reflections at the boundary governed by a Markov kernel producing outgoing angles from incoming angles. Our domains have a single unbounded direction and sublinear growth. We characterize recurrence in terms of the reflection kernel and growth rate of the domain. The results are obtained by transforming the stochastic billiards model to a Markov chain on a half-strip $\mathbb{R}_+ \!\times S$ where $S$ is a compact set. We develop the recurrence classification for such processes in the near-critical regime in which drifts of the $\mathbb{R}_+$ component are of generalized Lamperti type, and the $S$ component is asymptotically Markov; this extends earlier work that dealt with finite $S$.
△ Less
Submitted 30 March, 2023; v1 submitted 29 July, 2021;
originally announced July 2021.
-
Interval probability density functions constructed from a generalization of the Moore and Yang integral
Authors:
Benjamín Bedregal,
Claudilene Gomes da Costa,
Eduardo Palmeira,
Edmundo Mansilla
Abstract:
Moore and Yang defined an integral notion, based on an extension of Riemann sums, for inclusion monotonic continuous interval functions, where the integrations limits are real numbers. This integral notion extend the usual integration of real functions based on Riemann sums. In this paper, we extend this approach by considering intervals as integration limits instead of real numbers and we abolish…
▽ More
Moore and Yang defined an integral notion, based on an extension of Riemann sums, for inclusion monotonic continuous interval functions, where the integrations limits are real numbers. This integral notion extend the usual integration of real functions based on Riemann sums. In this paper, we extend this approach by considering intervals as integration limits instead of real numbers and we abolish the inclusion monotonicity restriction of the interval functions and this notion is used to determine interval probability density functions.
△ Less
Submitted 4 July, 2021;
originally announced July 2021.
-
Codimension one foliations of degree three on projective spaces
Authors:
Raphael Constant da Costa,
Ruben Lizarbe,
Jorge Vitório Pereira
Abstract:
We establish a structure theorem for degree three codimension one foliations on projective spaces of dimension $n\ge 3$, extending a result by Loray, Pereira, and Touzet for degree three foliations on $\mathbb P^3$. We show that the space of codimension one foliations of degree three on $\mathbb{P}^n$, $n\ge 3$, has exactly $18$ distinct irreducible components parameterizing foliations without rat…
▽ More
We establish a structure theorem for degree three codimension one foliations on projective spaces of dimension $n\ge 3$, extending a result by Loray, Pereira, and Touzet for degree three foliations on $\mathbb P^3$. We show that the space of codimension one foliations of degree three on $\mathbb{P}^n$, $n\ge 3$, has exactly $18$ distinct irreducible components parameterizing foliations without rational first integrals, and at least $6$ distinct irreducible components parameterizing foliations with rational first integrals.
△ Less
Submitted 10 December, 2021; v1 submitted 21 February, 2021;
originally announced February 2021.
-
Reaction-diffusion models for a class of infinite-dimensional non-linear stochastic differential equations
Authors:
Conrado da Costa,
Bernardo Freitas Paulo da Costa,
Daniel Valesin
Abstract:
We establish the existence of solutions to a class of non-linear stochastic differential equation of reaction-diffusion type in an infinite-dimensional space, with diffusion corresponding to a given transition kernel. The solution obtained is the scaling limit of a sequence of interacting particle systems, and satisfies the martingale problem corresponding to the target differential equation.
We establish the existence of solutions to a class of non-linear stochastic differential equation of reaction-diffusion type in an infinite-dimensional space, with diffusion corresponding to a given transition kernel. The solution obtained is the scaling limit of a sequence of interacting particle systems, and satisfies the martingale problem corresponding to the target differential equation.
△ Less
Submitted 8 August, 2021; v1 submitted 27 April, 2020;
originally announced April 2020.
-
Laws of large numbers for weighted sums of independent random variables: a game of mass
Authors:
Luca Avena,
Conrado da Costa
Abstract:
We consider weighted sums of independent random variables regulated by an increment sequence. We provide operative conditions that ensure strong law of large numbers for such sums to hold in both the centered and non-centered case. The existing criteria for the strong law are either implicit or assume some sufficient decay for the sequence of coefficients. In our set up we allow for arbitrary sequ…
▽ More
We consider weighted sums of independent random variables regulated by an increment sequence. We provide operative conditions that ensure strong law of large numbers for such sums to hold in both the centered and non-centered case. The existing criteria for the strong law are either implicit or assume some sufficient decay for the sequence of coefficients. In our set up we allow for arbitrary sequence of coefficients, possibly random, provided the random variables regulated by such increments satisfy some mild concentration conditions. In the non-centered case, convergence can be translated into the behavior of a deterministic sequence and it becomes a game of mass provided the expectation of the random variables is a function of the increments. We show how different limiting scenarios can emerge by identifying several classes of increments, for which concrete examples will be offered.
△ Less
Submitted 10 March, 2021; v1 submitted 1 April, 2020;
originally announced April 2020.
-
Algebras with Laurent polynomial identity
Authors:
Claudenir Freire Rodrigues,
Ramon Codamo B. da Costa
Abstract:
In this article we shows some results about algebra with the group of units having special polynomial identity.
In this article we shows some results about algebra with the group of units having special polynomial identity.
△ Less
Submitted 25 July, 2019;
originally announced July 2019.
-
Random walk in cooling random environment: recurrence versus transience and mixed fluctuations
Authors:
Luca Avena,
Yuki Chino,
Conrado da Costa,
Frank den Hollander
Abstract:
This is the third in a series of papers in which we consider one-dimensional Random Walk in Cooling Random Environment (RWCRE). The latter is obtained by starting from one-dimensional Random Walk in Random Environment (RWRE) and resampling the environment along a sequence of deterministic times, called refreshing times. In the present paper we explore two questions for general refreshing times. Fi…
▽ More
This is the third in a series of papers in which we consider one-dimensional Random Walk in Cooling Random Environment (RWCRE). The latter is obtained by starting from one-dimensional Random Walk in Random Environment (RWRE) and resampling the environment along a sequence of deterministic times, called refreshing times. In the present paper we explore two questions for general refreshing times. First, we investigate how the recurrence versus transience criterion known for RWRE changes for RWCRE. Second, we explore the fluctuations for RWCRE when RWRE is either recurrent or satisfies a classical central limit theorem. We show that the answer depends in a delicate way on the choice of the refreshing times. An overarching goal of our paper is to investigate how the behaviour of a random process with a rich correlation structure can be affected by resettings.
△ Less
Submitted 24 July, 2019; v1 submitted 21 March, 2019;
originally announced March 2019.
-
Foliations on projective spaces associated to the affine Lie Algebra
Authors:
Raphael Constant da Costa
Abstract:
In this work, we construct some irreducible components of the space of two-dimensional holomorphic foliations on $\mathbb{P}^n$ associated to some algebraic representations of the affine Lie algebra $\mathfrak{aff}(\mathbb{C})$. We give a description of the generalized Kupka components, obtaining a classification of them in terms of the degree of the foliations, in both cases $n=3$ and $n=4$.
In this work, we construct some irreducible components of the space of two-dimensional holomorphic foliations on $\mathbb{P}^n$ associated to some algebraic representations of the affine Lie algebra $\mathfrak{aff}(\mathbb{C})$. We give a description of the generalized Kupka components, obtaining a classification of them in terms of the degree of the foliations, in both cases $n=3$ and $n=4$.
△ Less
Submitted 1 October, 2018;
originally announced October 2018.
-
An Adaptive CM Array Preconditioner for Blind Multi-User Separation
Authors:
Stanislaw Gorlow,
João Paulo C. L. da Costa,
and Martin Haardt
Abstract:
The family of constant-modulus algorithms is widely used in wireless communication systems and in radar. The classical constant-modulus adaptive (CMA) algorithm, however, fails to lock onto a single mode when used in conjunction with an antenna array. Instead, it equalizes the entire spatial spectrum. In this paper, we describe in full detail our recently proposed approach for the separation of mu…
▽ More
The family of constant-modulus algorithms is widely used in wireless communication systems and in radar. The classical constant-modulus adaptive (CMA) algorithm, however, fails to lock onto a single mode when used in conjunction with an antenna array. Instead, it equalizes the entire spatial spectrum. In this paper, we describe in full detail our recently proposed approach for the separation of multiple users in a radio system with frequency reuse, such as a cellular network, making use of the CMA algorithm. Based on the observation that the differential filter weights resemble a superposition of the array steering vectors, we cast the original task to a direction-of-arrival estimation problem. With rigorous theoretical analysis of the array response based on the discrete-space Fourier transform we elaborate a solution that solves the problem by finding the roots of a polynomial equation. We provide a numerical example to demonstrate the validity of the approach under high-SNR conditions. In addition, we propose a more general preprocessor for the CMA array which allows the modulated signals to differ in amplitude. As a byproduct, the preprocessor yields a low-cost estimate of the number of concurrent users, i.e. the model order, by simply counting the roots with the strongest response.
△ Less
Submitted 25 July, 2018;
originally announced July 2018.
-
Random walk in cooling random environment: ergodic limits and concentration inequalities
Authors:
L. Avena,
Y. Chino,
C. da Costa,
F. den Hollander
Abstract:
In previous work by Avena and den Hollander, a model of a one-dimensional random walk in a dynamic random environment was proposed where the random environment is resampled from a given law along a growing sequence of deterministic times. In the regime where the increments of the resampling times diverge, which is referred to as the cooling regime, a weak law of large numbers and certain fluctuati…
▽ More
In previous work by Avena and den Hollander, a model of a one-dimensional random walk in a dynamic random environment was proposed where the random environment is resampled from a given law along a growing sequence of deterministic times. In the regime where the increments of the resampling times diverge, which is referred to as the cooling regime, a weak law of large numbers and certain fluctuation properties were derived under the annealed measure. In the present paper we show that a strong law of large numbers and a quenched large deviation principle hold as well. In the cooling regime, the random walk can be represented as a sum of independent variables, distributed as the increments of a random walk in a static random environment over increasing periods of time. Our proofs require suitable multi-layer decompositions of sums of random variables controlled by moments bounds and concentration estimates. Along the way we derive two results of independent interest, namely, a concentration inequality for the cumulants of the displacement in the static random environment and an ergodic theorem that deals with limits of sums of triangular arrays representing the structure of the cooling regime. We close by discussing our present understanding of homogenisation effects as a function of the speed of divergence of the increments of the resampling times.
△ Less
Submitted 8 March, 2018;
originally announced March 2018.
-
Global Lipschitz Invariant Center Manifolds for ODEs with Generalized Trichotomies
Authors:
António J. G. Bento,
Cristina Tomás da Costa
Abstract:
In a Banach space, assuming that a linear nonautonomous differential equation $v'=A(t)v$ admits a very general type of trichotomy, we establish conditions for the existence of global Lipschitz invariant center manifold of the perturbed equation $v'=A(t)v+f(t,v)$. Our results not only improve results already existing in the literature, as well include new cases.
In a Banach space, assuming that a linear nonautonomous differential equation $v'=A(t)v$ admits a very general type of trichotomy, we establish conditions for the existence of global Lipschitz invariant center manifold of the perturbed equation $v'=A(t)v+f(t,v)$. Our results not only improve results already existing in the literature, as well include new cases.
△ Less
Submitted 27 July, 2017;
originally announced July 2017.
-
Towards a Multi-Subject Analysis of Neural Connectivity
Authors:
Chris J. Oates,
Lilia Carneiro da Costa,
Tom Nichols
Abstract:
Directed acyclic graphs (DAGs) and associated probability models are widely used to model neural connectivity and communication channels. In many experiments, data are collected from multiple subjects whose connectivities may differ but are likely to share many features. In such circumstances it is natural to leverage similarity between subjects to improve statistical efficiency. The first exact a…
▽ More
Directed acyclic graphs (DAGs) and associated probability models are widely used to model neural connectivity and communication channels. In many experiments, data are collected from multiple subjects whose connectivities may differ but are likely to share many features. In such circumstances it is natural to leverage similarity between subjects to improve statistical efficiency. The first exact algorithm for estimation of multiple related DAGs was recently proposed by Oates et al. 2014; in this letter we present examples and discuss implications of the methodology as applied to the analysis of fMRI data from a multi-subject experiment. Elicitation of tuning parameters requires care and we illustrate how this may proceed retrospectively based on technical replicate data. In addition to joint learning of subject-specific connectivity, we allow for heterogeneous collections of subjects and simultaneously estimate relationships between the subjects themselves. This letter aims to highlight the potential for exact estimation in the multi-subject setting.
△ Less
Submitted 14 November, 2014; v1 submitted 4 April, 2014;
originally announced April 2014.
-
Critical Exponents of the Superfluid-Bose Glass Transition in Three-Dimensions
Authors:
Zhiyuan Yao,
Karine P. C. da Costa,
Mikhail Kiselev,
Nikolay Prokof'ev
Abstract:
Recent experimental and numerical studies of the critical-temperature exponent $φ$ for the superfluid-Bose glass universality in three-dimensional systems report strong violations of the key quantum critical relation, $φ=νz$, where $z$ and $ν$ are the dynamic and correlation length exponents, respectively, and question the fundamental concepts underlying quantum critical phenomena. Using Monte Car…
▽ More
Recent experimental and numerical studies of the critical-temperature exponent $φ$ for the superfluid-Bose glass universality in three-dimensional systems report strong violations of the key quantum critical relation, $φ=νz$, where $z$ and $ν$ are the dynamic and correlation length exponents, respectively, and question the fundamental concepts underlying quantum critical phenomena. Using Monte Carlo simulations of the disordered Bose-Hubbard model, we demonstrate that previous work on the superfluid-to-normal fluid transition-temperature dependence on chemical potential (or magnetic field, in spin systems), $T_c \propto (μ-μ_c)^φ$, was misinterpreting transient behavior on approach to the fluctuation region with the genuine critical law. When the model parameters are modified to have a broad quantum critical region, simulations of both quantum and classical models reveal that the $φ=νz$ law [with $φ=2.7(2)$, $z=3$, and $ν= 0.88(5)$] holds true, resolving the $φ$-exponent "crisis".
△ Less
Submitted 4 June, 2014; v1 submitted 21 February, 2014;
originally announced February 2014.
-
On the Stability of Our Universe
Authors:
Marcelo Samuel Berman,
Newton C. A. da Costa
Abstract:
We argue that the Robertson-Walker's Universe is a zero-energy stable one, even though it may possess a rotational state besides expansion.
We argue that the Robertson-Walker's Universe is a zero-energy stable one, even though it may possess a rotational state besides expansion.
△ Less
Submitted 19 December, 2010;
originally announced December 2010.
-
Methods for Analytical Understanding of Agent-Based Modeling of Complex Systems
Authors:
Gilson A. Giraldi,
Luis C. da Costa,
Adilson V. Xavier,
Paulo S. Rodrigues
Abstract:
Von Neuman's work on universal machines and the hardware development have allowed the simulation of dynamical systems through a large set of interacting agents. This is a bottom-up approach which tries to derive global properties of a complex system through local interaction rules and agent behaviour. Traditionally, such systems are modeled and simulated through top-down methods based on differe…
▽ More
Von Neuman's work on universal machines and the hardware development have allowed the simulation of dynamical systems through a large set of interacting agents. This is a bottom-up approach which tries to derive global properties of a complex system through local interaction rules and agent behaviour. Traditionally, such systems are modeled and simulated through top-down methods based on differential equations. Agent-Based Modeling has the advantage of simplicity and low computational cost. However, unlike differential equations, there is no standard way to express agent behaviour. Besides, it is not clear how to analytically predict the results obtained by the simulation. In this paper we survey some of these methods. For expressing agent behaviour formal methods, like Stochastic Process Algebras have been used. Such approach is useful if the global properties of interest can be expressed as a function of stochastic time series. However, if space variables must be considered, we shall change the focus. In this case, multiscale techniques, based on Chapman-Enskog expansion, was used to establish the connection between the microscopic dynamics and the macroscopic observables. Also, we use data mining techniques,like Principal Component Analysis (PCA), to study agent systems like Cellular Automata. With the help of these tools we will discuss a simple society model, a Lattice Gas Automaton for fluid modeling, and knowledge discovery in CA databases. Besides, we show the capabilities of the NetLogo, a software for agent simulation of complex system and show our experience about.
△ Less
Submitted 30 July, 2005;
originally announced August 2005.
-
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.
-
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.
-
Time is dispensable in thermodynamics
Authors:
Newton C. A. da Costa,
Adonai S. Sant'Anna
Abstract:
We use Padoa's principle of independence of primitive symbols in axiomatic systems in order to show that time is dispensable in continuum thermodynamics, according to the axiomatic formulation of Gurtin and Williams. We also show how to define time by means of the remaining primitive concepts of Gurtin and Williams system. Finally, we introduce thermodynamics without any explicit reference to ti…
▽ More
We use Padoa's principle of independence of primitive symbols in axiomatic systems in order to show that time is dispensable in continuum thermodynamics, according to the axiomatic formulation of Gurtin and Williams. We also show how to define time by means of the remaining primitive concepts of Gurtin and Williams system. Finally, we introduce thermodynamics without any explicit reference to time and briefly discuss some physical and philosophical consequences of our main results.
△ Less
Submitted 23 April, 2001;
originally announced April 2001.
-
The mathematical role of time and space-time in classical physics
Authors:
Newton C. A. da Costa,
Adonai S. Sant'Anna
Abstract:
We use Padoa's principle of independence of primitive symbols in axiomatic systems in order to discuss the mathematical role of time and space-time in some classical physical theories. We show that time is eliminable in Newtonian mechanics and that space-time is also dispensable in Hamiltonian mechanics, Maxwell's electromagnetic theory, the Dirac electron, classical gauge fields, and general re…
▽ More
We use Padoa's principle of independence of primitive symbols in axiomatic systems in order to discuss the mathematical role of time and space-time in some classical physical theories. We show that time is eliminable in Newtonian mechanics and that space-time is also dispensable in Hamiltonian mechanics, Maxwell's electromagnetic theory, the Dirac electron, classical gauge fields, and general relativity.
△ Less
Submitted 24 April, 2001; v1 submitted 27 February, 2001;
originally announced February 2001.
-
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.
-
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.
-
On the existence of certain total recursive functions in nontrivial axiom systems, I
Authors:
N. C. A. da Costa,
F. A. Doria
Abstract:
We investigate the existence of a class of ZFC-provably total recursive unary functions, given certain constraints, and apply some of those results to show that, for $Σ_1$-sound set theory, ZFC$\not\vdash P<NP$.
We investigate the existence of a class of ZFC-provably total recursive unary functions, given certain constraints, and apply some of those results to show that, for $Σ_1$-sound set theory, ZFC$\not\vdash P<NP$.
△ Less
Submitted 30 April, 1998;
originally announced April 1998.