Search

The main observation of this paper is that some sequential weak compactness arguments in Hilbert space theory can be replaced by Heine/Borel compactness arguments (for the strong topology). Even though the latter form of compactness fails in (infinite-dimensional) Hilbert spaces, it nevertheless trivializes under the so-called bounded functional interpretation. As a consequence, the proof mining programme of extracting computational bounds from ordinary proofs of mathematics can be applied to {\em modified proofs} which use these false Heine/Borel compactness arguments. Additionally, the bounded functional interpretation provides good logical guidance in formulating quantitative versions of analytical statements. We illustrate these claims with three minings. The bounded functional interpretation is here used for the first time in proof mining.

Public Transport Networks plays a central role in cities devolopment. In big cities such system may be represented by a complex network and understand its properties is of great interest for managers and scholars. In this work, the urban public transport system of S\~ao Paulo is reinterpreted as a coupled (bus, subway and train) network, bypassing operational details and focusing on connectivity. Using a empirically generated graph, a statistical characterization is made by network metrics. Nearby bus stops and rail transport stations (subway and train) may or may not be considered as a single vertex in the network representation of the transport system, depending on how much an user is willing to walk to shift from one stop/station to another. This distance radius is then used to group nearby stops/stations as a single vertex in the network representation of the urban public transport system and then its properties are studied as a function of this radius. This radius is used as proxy of the user's willingness to walk until the nearest point to access transportation. The variation of the measure $ \rho $ leads to changes in the perception of the topology of the public transport network as shown in this work. An interesting result was that the network is assortative. Another aspect investigated was the degree distribution of the network. It was not possible to distinguish between power-law or a log-normal distribution. An exploratory model is used to test the robustness of the network by randomly, deterministically and preferentially targeting the stops and service lines. According to the grouping radius, aka willingness, different fragmentation values were obtained under attack simulations. We showed that increasing this willingness generates great reduction in the number of necessary jumps between buses, subway and trains lines to achieve all the network destinations., Comment: 21 pages, 9 figures

During the last years, the new science of municipalities has been established as a fertile quantitative approach to systematically understand the urban phenomena. One of its main pillars is the proposition that urban systems display universal scaling behavior regarding socioeconomic, infrastructural and individual basic services variables. This paper discusses the extension of the universality proposition by testing it against a broad range of urban metrics in a developing country urban system. We present an exploration of the scaling exponents for over 6$ variables for the Brazilian urban system. As Brazilian municipalities can deviate significantly from urban settlements, urban-like municipalities were selected based on a systematic density cut-off procedure and the scaling exponents were estimated for this new subset of municipalities. To validate our findings we compared the results for overlaying variables with other studies based on alternative methods. It was found that the analyzed socioeconomic variables follow a superlinear scaling relationship with the population size, and most of the infrastructure and individual basic services variables follow expected sublinear and linear scaling, respectively. However, some infrastructural and individual basic services variables deviated from their expected regimes, challenging the universality hypothesis of urban scaling. We propose that these deviations are a product of top-down decisions/policies. Our analysis spreads over a time-range of 10 years, what is not enough to draw conclusive observations, nevertheless we found hints that the scaling exponent of these variables are evolving towards the expected scaling regime, indicating that the deviations might be temporally constrained and that the urban systems might eventually reach the expected scaling regime., Comment: 14 pages, 6 figures