SearcharxivSearch

arXiv subjects

Evgeny Makarov

Publications and source records attributed to Evgeny Makarov.

3 recordsLinked to original sources

Recurring Public Transit Schedules: Stable Identification from GTFS and Similarity Analysis

Public transit schedules contain recurring service structures: many dates share the same passenger-facing timetable, while others differ because of weekends, holidays, seasons, or special events. GTFS does not encode these recurring schedules directly, so downstream scheduling, assignment, and mismatch models lack an explicit recurrent supply object. This paper formalizes recurring schedules as DayTypes, defined by the complete set of Route Pattern trips operating on a date, and develops a stable GTFS-based extraction method using H3 route-pattern keys. We then define a schedule-comparison framework with exact, time-tolerant, and structural-comparability metrics that distinguish strict timetable differences from small timing shifts and larger service changes. Validation on Japanese and Canadian GTFS feeds shows substantial schedule compression, a median of four nonempty DayTypes per agency in the pairwise-analysis sample, hierarchical nesting between service classes, and country-level differences in the persistence of exact disjointness. The resulting DayTypes provide compact Route-Pattern-time schedule sets for timetable synchronization, vehicle scheduling, demand assignment, and schedule-consolidation analysis.

cs.DB

Spatial Patterns in Urban Systems

Understanding the morphology of an urban system is an important step toward unveiling the dynamical processes of its growth and development. At the foundation of every urban system, transportation system is undeniably a crucial component in powering the life of the entire urban system. In this work, we study the spatial pattern of $73$ cities across the globe by analysing the distribution of public transport points within the cities. The analysis reveals that different spatial distributions of points could be classified into four groups with distinct features, indicating whether the points are clustered, dispersed or regularly distributed. From visual inspection, we observe that the cities with regularly distributed patterns do not have apparent centre in contrast to the other two types in which star-node structure, i.e. monocentric, can be clearly observed. Furthermore, the results provide evidence for the existence of two different types of urban system: well-planned and organically grown. We also study the spatial distribution of another important urban entity, the amenities, and find that it possesses universal properties regardless of the city's spatial pattern type. This result has one important implication that at small scale of locality, the urban dynamics cannot be controlled even though the regulation can be done at large scale of the entire urban system. The relation between the distribution of amenities within the city and its spatial pattern is also discussed.

physics.soc-ph

Provably Total Functions of Arithmetic with Basic Terms

A new characterization of provably recursive functions of first-order arithmetic is described. Its main feature is using only terms consisting of 0, the successor S and variables in the quantifier rules, namely, universal elimination and existential introduction.

cs.LO