-
A multi-objective combinatorial optimisation framework for large scale hierarchical population synthesis
Authors:
Imran Mahmood,
Nicholas Bishop,
Anisoara Calinescu,
Michael Wooldridge,
Ioannis Zachos
Abstract:
In agent-based simulations, synthetic populations of agents are commonly used to represent the structure, behaviour, and interactions of individuals. However, generating a synthetic population that accurately reflects real population statistics is a challenging task, particularly when performed at scale. In this paper, we propose a multi objective combinatorial optimisation technique for large sca…
▽ More
In agent-based simulations, synthetic populations of agents are commonly used to represent the structure, behaviour, and interactions of individuals. However, generating a synthetic population that accurately reflects real population statistics is a challenging task, particularly when performed at scale. In this paper, we propose a multi objective combinatorial optimisation technique for large scale population synthesis. We demonstrate the effectiveness of our approach by generating a synthetic population for selected regions and validating it on contingency tables from real population data. Our approach supports complex hierarchical structures between individuals and households, is scalable to large populations and achieves minimal contigency table reconstruction error. Hence, it provides a useful tool for policymakers and researchers for simulating the dynamics of complex populations.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Semi-stable and splitting models for unitary Shimura varieties over ramified places. II
Authors:
Ioannis Zachos,
Zhihao Zhao
Abstract:
We consider Shimura varieties associated to a unitary group of signature $(n-1, 1)$. For these varieties, we construct $p$-adic integral models over odd primes $p$ which ramify in the imaginary quadratic field with level subgroup at $p$ given by the stabilizer of a vertex lattice in the hermitian space. Our models are given by a variation of the construction of the splitting models of Pappas-Rapop…
▽ More
We consider Shimura varieties associated to a unitary group of signature $(n-1, 1)$. For these varieties, we construct $p$-adic integral models over odd primes $p$ which ramify in the imaginary quadratic field with level subgroup at $p$ given by the stabilizer of a vertex lattice in the hermitian space. Our models are given by a variation of the construction of the splitting models of Pappas-Rapoport and they have a simple moduli theoretic description. By an explicit calculation, we show that these splitting models are normal, flat, Cohen-Macaulay and with reduced special fiber. In fact, they have relatively simple singularities: we show that a single blow-up along a smooth codimension one subvariety of the special fiber produces a semi-stable model. This also implies the existence of semi-stable models of the corresponding Shimura varieties.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
Semi-stable and splitting models for unitary Shimura varieties over ramified places. I
Authors:
Ioannis Zachos,
Zhihao Zhao
Abstract:
We consider Shimura varieties associated to a unitary group of signature $(n-s,s)$ where $n$ is even. For these varieties, we construct smooth $p$-adic integral models for $s=1$ and regular $p$-adic integral models for $s=2$ and $s=3$ over odd primes $p$ which ramify in the imaginary quadratic field with level subgroup at $p$ given by the stabilizer of a $π$-modular lattice in the hermitian space.…
▽ More
We consider Shimura varieties associated to a unitary group of signature $(n-s,s)$ where $n$ is even. For these varieties, we construct smooth $p$-adic integral models for $s=1$ and regular $p$-adic integral models for $s=2$ and $s=3$ over odd primes $p$ which ramify in the imaginary quadratic field with level subgroup at $p$ given by the stabilizer of a $π$-modular lattice in the hermitian space. Our construction, which has an explicit moduli-theoretic description, is given by an explicit resolution of a corresponding local model.
△ Less
Submitted 28 November, 2023; v1 submitted 28 September, 2023;
originally announced September 2023.
-
Table inference for combinatorial origin-destination choices in agent-based population synthesis
Authors:
Ioannis Zachos,
Theodoros Damoulas,
Mark Girolami
Abstract:
A key challenge in agent-based mobility simulations is the synthesis of individual agent socioeconomic profiles. Such profiles include locations of agent activities, which dictate the quality of the simulated travel patterns. These locations are typically represented in origin-destination matrices that are sampled using coarse travel surveys. This is because fine-grained trip profiles are scarce a…
▽ More
A key challenge in agent-based mobility simulations is the synthesis of individual agent socioeconomic profiles. Such profiles include locations of agent activities, which dictate the quality of the simulated travel patterns. These locations are typically represented in origin-destination matrices that are sampled using coarse travel surveys. This is because fine-grained trip profiles are scarce and fragmented due to privacy and cost reasons. The discrepancy between data and sampling resolutions renders agent traits non-identifiable due to the combinatorial space of data-consistent individual attributes. This problem is pertinent to any agent-based inference setting where the latent state is discrete. Existing approaches have used continuous relaxations of the underlying location assignments and subsequent ad-hoc discretisation thereof. We propose a framework to efficiently navigate this space offering improved reconstruction and coverage as well as linear-time sampling of the ground truth origin-destination table. This allows us to avoid factorially growing rejection rates and poor summary statistic consistency inherent in discrete choice modelling. We achieve this by introducing joint sampling schemes for the continuous intensity and discrete table of agent trips, as well as Markov bases that can efficiently traverse this combinatorial space subject to summary statistic constraints. Our framework's benefits are demonstrated in multiple controlled experiments and a large-scale application to agent work trip reconstruction in Cambridge, UK.
△ Less
Submitted 6 July, 2023; v1 submitted 5 July, 2023;
originally announced July 2023.
-
Creation and evaluation of timelines for longitudinal user posts
Authors:
Anthony Hills,
Adam Tsakalidis,
Federico Nanni,
Ioannis Zachos,
Maria Liakata
Abstract:
There is increasing interest to work with user generated content in social media, especially textual posts over time. Currently there is no consistent way of segmenting user posts into timelines in a meaningful way that improves the quality and cost of manual annotation. Here we propose a set of methods for segmenting longitudinal user posts into timelines likely to contain interesting moments of…
▽ More
There is increasing interest to work with user generated content in social media, especially textual posts over time. Currently there is no consistent way of segmenting user posts into timelines in a meaningful way that improves the quality and cost of manual annotation. Here we propose a set of methods for segmenting longitudinal user posts into timelines likely to contain interesting moments of change in a user's behaviour, based on their online posting activity. We also propose a novel framework for evaluating timelines and show its applicability in the context of two different social media datasets. Finally, we present a discussion of the linguistic content of highly ranked timelines.
△ Less
Submitted 10 March, 2023;
originally announced March 2023.
-
Semi-stable models for some unitary Shimura varieties over ramified primes
Authors:
Ioannis Zachos
Abstract:
We consider Shimura varieties associated to a unitary group of signature $(2,n-2)$. We give regular $p$-adic integral models for these varieties over odd primes $p$ which ramify in the imaginary quadratic field with level subgroup at $p$ given by the stabilizer of a selfdual lattice in the hermitian space. Our construction is given by an explicit resolution of a corresponding local model.
We consider Shimura varieties associated to a unitary group of signature $(2,n-2)$. We give regular $p$-adic integral models for these varieties over odd primes $p$ which ramify in the imaginary quadratic field with level subgroup at $p$ given by the stabilizer of a selfdual lattice in the hermitian space. Our construction is given by an explicit resolution of a corresponding local model.
△ Less
Submitted 12 October, 2023; v1 submitted 25 October, 2022;
originally announced October 2022.
-
Regular integral models for Shimura varieties of orthogonal type
Authors:
Georgios Pappas,
Ioannis Zachos
Abstract:
We consider Shimura varieties for orthogonal or spin groups acting on hermitian symmetric domains of type IV. We give regular p-adic integral models for these varieties over odd primes p at which the level subgroup is the connected stabilizer of a vertex lattice in the orthogonal space. Our construction is obtained by combining results of Kisin and the first author with an explicit presentation an…
▽ More
We consider Shimura varieties for orthogonal or spin groups acting on hermitian symmetric domains of type IV. We give regular p-adic integral models for these varieties over odd primes p at which the level subgroup is the connected stabilizer of a vertex lattice in the orthogonal space. Our construction is obtained by combining results of Kisin and the first author with an explicit presentation and resolution of a corresponding local model.
△ Less
Submitted 15 December, 2021; v1 submitted 4 February, 2021;
originally announced February 2021.
-
On orthogonal local models of Hodge type
Authors:
Ioannis Zachos
Abstract:
We study local models that describe the singularities of Shimura varieties of non-PEL type for orthogonal groups at primes where the level subgroup is given by the stabilizer of a single lattice. In particular, we use the Pappas-Zhu construction and we give explicit equations that describe an open subset around the "worst" point of orthogonal local models given by a single lattice. These equations…
▽ More
We study local models that describe the singularities of Shimura varieties of non-PEL type for orthogonal groups at primes where the level subgroup is given by the stabilizer of a single lattice. In particular, we use the Pappas-Zhu construction and we give explicit equations that describe an open subset around the "worst" point of orthogonal local models given by a single lattice. These equations display the affine chart of the local model as a hypersurface in a determinantal scheme. Using this we prove that the special fiber of the local model is reduced and Cohen-Macaulay.
△ Less
Submitted 25 April, 2022; v1 submitted 12 June, 2020;
originally announced June 2020.