-
Determining state space anomalies in mean field games
Authors:
Hongyu Liu,
Catharine W. K. Lo
Abstract:
In this paper, we are concerned with the inverse problem of determining anomalies in the state space associated with the stationary mean field game (MFG) system. We establish novel unique identifiability results for the intrinsic structure of these anomalies in mean field games systems, including their topological structure and parameter configurations, in several general scenarios of practical in…
▽ More
In this paper, we are concerned with the inverse problem of determining anomalies in the state space associated with the stationary mean field game (MFG) system. We establish novel unique identifiability results for the intrinsic structure of these anomalies in mean field games systems, including their topological structure and parameter configurations, in several general scenarios of practical interest, including traffic flow, market economics and epidemics. To the best of our knowledge, this is the first work that considers anomalies in the state space for the nonlinear coupled MFG system.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
Decoding a mean field game by the Cauchy data around its unknown stationary states
Authors:
Hongyu Liu,
Catharine W. K. Lo,
Shen Zhang
Abstract:
In recent years, mean field games (MFGs) have garnered considerable attention and emerged as a dynamic and actively researched field across various domains, including economics, social sciences, finance, and transportation. The inverse design and decoding of MFGs offer valuable means to extract information from observed data and gain insights into the intricate underlying dynamics and strategies o…
▽ More
In recent years, mean field games (MFGs) have garnered considerable attention and emerged as a dynamic and actively researched field across various domains, including economics, social sciences, finance, and transportation. The inverse design and decoding of MFGs offer valuable means to extract information from observed data and gain insights into the intricate underlying dynamics and strategies of these complex physical systems. This paper presents a novel approach to the study of inverse problems in MFGs by analyzing the Cauchy data around their unknown stationary states. This study distinguishes itself from existing inverse problem investigations in three key significant aspects: Firstly, we consider MFG problems in a highly general form. Secondly, we address the technical challenge of the probability measure constraint by utilizing Cauchy data in our inverse problem study. Thirdly, we enhance existing high order linearization methods by introducing a novel approach that involves conducting linearization around non-trivial stationary states of the MFG system, which are not a-priori known. These contributions provide new insights and offer promising avenues for studying inverse problems for MFGs. By unraveling the hidden structure of MFGs, researchers and practitioners can make informed decisions, optimize system performance, and address real-world challenges more effectively.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
On the Obstacle Problem in Fractional Generalised Orlicz Spaces
Authors:
Catharine W. K. Lo,
José Francisco Rodrigues
Abstract:
We consider the one and the two obstacles problems for the nonlocal nonlinear anisotropic $g$-Laplacian $\mathcal{L}_g^s$, with $0<s<1$. We prove the strict T-monotonicity of $\mathcal{L}_g^s$ and we obtain the Lewy-Stampacchia inequalities. We consider the approximation of the solutions through semilinear problems, for which we prove a global $L^\infty$-estimate, and we extend the local Hölder re…
▽ More
We consider the one and the two obstacles problems for the nonlocal nonlinear anisotropic $g$-Laplacian $\mathcal{L}_g^s$, with $0<s<1$. We prove the strict T-monotonicity of $\mathcal{L}_g^s$ and we obtain the Lewy-Stampacchia inequalities. We consider the approximation of the solutions through semilinear problems, for which we prove a global $L^\infty$-estimate, and we extend the local Hölder regularity to the solutions of the obstacle problems in the case of the fractional $p(x,y)$-Laplacian operator. We make further remarks on a few elementary properties of related capacities in the fractional generalised Orlicz framework, with a special reference to the Hilbertian nonlinear case in fractional Sobolev spaces.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
On inverse problems in multi-population aggregation models
Authors:
Yuhan Li,
Hongyu Liu,
Catharine W. K. Lo
Abstract:
This paper focuses on inverse problems arising in studying multi-population aggregations. The goal is to reconstruct the diffusion coefficient, advection coefficient, and interaction kernels of the aggregation system, which characterize the dynamics of different populations. In the theoretical analysis of the physical setup, it is crucial to ensure non-negativity of solutions. To address this, we…
▽ More
This paper focuses on inverse problems arising in studying multi-population aggregations. The goal is to reconstruct the diffusion coefficient, advection coefficient, and interaction kernels of the aggregation system, which characterize the dynamics of different populations. In the theoretical analysis of the physical setup, it is crucial to ensure non-negativity of solutions. To address this, we employ the high-order variation method and introduce modifications to the systems. Additionally, we propose a novel approach called transformative asymptotic technique that enables the recovery of the diffusion coefficient preceding the Laplace operator, presenting a pioneering method for this type of problems. Through these techniques, we offer comprehensive insights into the unique identifiability aspect of inverse problems associated with multi-population aggregation models.
△ Less
Submitted 15 April, 2024;
originally announced April 2024.
-
On the Stability of the $s$-Nonlocal $p$-Obstacle Problem and their Coincidence Sets and Free Boundaries
Authors:
Catharine W. K. Lo,
José Francisco Rodrigues
Abstract:
We show that the solutions to the nonlocal obstacle problems for the nonlocal $-Δ_p^s$ operator, when the fractional parameter $s\toσ$ for $0<σ\leq1$, converge to the solution of the corresponding obstacle problem for $-Δ_p^σ$, being $σ=1$ the classical obstacle problem for the local $p$-Laplacian. We discuss the weak stability of the quasi-characteristic functions of coincidence sets of the solut…
▽ More
We show that the solutions to the nonlocal obstacle problems for the nonlocal $-Δ_p^s$ operator, when the fractional parameter $s\toσ$ for $0<σ\leq1$, converge to the solution of the corresponding obstacle problem for $-Δ_p^σ$, being $σ=1$ the classical obstacle problem for the local $p$-Laplacian. We discuss the weak stability of the quasi-characteristic functions of coincidence sets of the solution with the obstacle, which is a strong convergence of their characteristic functions when $s\nearrow 1$ under a nondegeneracy condition. This stability can be shown also in terms of the convergence of the free boundaries, as well as of the coincidence sets, in Hausdorff distance when $s\nearrow 1$, under non-degeneracy local assumptions on the external force and a local topological property of the coincidence set of the limit classical obstacle problem for the local $p$-Laplacian, essentially when the limit coincidence set is the closure of its interior.
△ Less
Submitted 28 February, 2024;
originally announced February 2024.
-
On inverse problems in predator-prey models
Authors:
Yuhan Li,
Hongyu Liu,
Catharine W. K. Lo
Abstract:
In this paper, we consider the inverse problem of determining the coefficients of interaction terms within some Lotka-Volterra models, with support from boundary observation of its non-negative solutions. In the physical background, the solutions to the predator-prey model stand for the population densities for predator and prey and are non-negative, which is a critical challenge in our inverse pr…
▽ More
In this paper, we consider the inverse problem of determining the coefficients of interaction terms within some Lotka-Volterra models, with support from boundary observation of its non-negative solutions. In the physical background, the solutions to the predator-prey model stand for the population densities for predator and prey and are non-negative, which is a critical challenge in our inverse problem study. We mainly focus on the unique identifiability issue and tackle it with the high-order variation method, a relatively new technique introduced by the second author and his collaborators. This method can ensure the positivity of solutions and has broader applicability in other physical models with non-negativity requirements. Our study improves this method by choosing a more general solution $(u_0,v_0)$ to expand around, achieving recovery for all interaction terms. By this means, we improve on the previous results and apply this to physical models to recover coefficients concerning compression, prey attack, crowding, carrying capacity, and many other interaction factors in the system. Finally, we apply our results to study three specific cases: the hydra-effects model, the Holling-Tanner model and the classic Lotka-Volterra model.
△ Less
Submitted 15 December, 2023;
originally announced December 2023.
-
Determining Sources in the Bioluminescence Tomography Problem
Authors:
Ming-Hui Ding,
Rongfang Gong,
Hongyu Liu,
Catharine W. K. Lo
Abstract:
In this paper, we revisit the bioluminescence tomography (BLT) problem, where one seeks to reconstruct bioluminescence signals (an internal light source) from external measurements of the Cauchy data. As one kind of optical imaging, the BLT has many merits such as high signal-to-noise ratio, non-destructivity and cost-effectiveness etc., and has potential applications such as cancer diagnosis, dru…
▽ More
In this paper, we revisit the bioluminescence tomography (BLT) problem, where one seeks to reconstruct bioluminescence signals (an internal light source) from external measurements of the Cauchy data. As one kind of optical imaging, the BLT has many merits such as high signal-to-noise ratio, non-destructivity and cost-effectiveness etc., and has potential applications such as cancer diagnosis, drug discovery and development as well as gene therapies and so on. In the literature, BLT is extensively studied based on diffusion approximation (DA) equation, where the distribution of peak sources is to be reconstructed and no solution uniqueness is guaranteed without adequate a priori information. Motivated by the solution uniqueness issue, several theoretical results are explored. The major contributions in this work that are new to the literature are two-fold: first, we show the theoretical uniqueness of the BLT problem where the light sources are in the shape of $C^2$ domains or polyhedral- or corona-shaped; second, we support our results with plenty of problem-orientated numerical experiments.
△ Less
Submitted 9 November, 2023;
originally announced November 2023.
-
Strong uniqueness principle for fractional polyharmonic operators and applications to inverse problems
Authors:
Ching-Lung Lin,
Hongyu Liu,
Catharine W. K. Lo
Abstract:
In this work, we are concerned with inverse problems involving poly-fractional operators, where the poly-fractional operator is of the form
\[P( (-Δ_g)^s)u := \sum_{i=1}^M α_i(-Δ_{g_i})^{s_i}u\]
for $s=(s_1,\dots,s_M)$, $0<s_1<\cdots<s_M<\infty$, $s_M\in\mathbb{R}_+\backslash\mathbb{Z}$, $g=(g_1,\dots,g_M)$. There are three major contributions in this work that are new to the literature. First…
▽ More
In this work, we are concerned with inverse problems involving poly-fractional operators, where the poly-fractional operator is of the form
\[P( (-Δ_g)^s)u := \sum_{i=1}^M α_i(-Δ_{g_i})^{s_i}u\]
for $s=(s_1,\dots,s_M)$, $0<s_1<\cdots<s_M<\infty$, $s_M\in\mathbb{R}_+\backslash\mathbb{Z}$, $g=(g_1,\dots,g_M)$. There are three major contributions in this work that are new to the literature. First, we propose equations involving such poly-fractional operators $P$, which have not been previously considered in the general setting. Such equations arise naturally from the superposition of multiple stochastic processes with different scales, including classical random walks and Lévy flights. Secondly, we give novel results for the unique continuation properties for fractional polyharmonic $u$, in the sense that $u$ satisfies $\tilde{P}((-Δ_{\tilde{g}})^{\tilde{s}})=0$ in a bounded Lipschitz domain $Ω$ for some $\tilde{P}$. With these results in hand, we consider the inverse problems for $P$, and proved the uniqueness in recovering the potential, the source function in the semilinear case, and the coefficients associated to the non-isotropy of the fractional operator.
△ Less
Submitted 2 August, 2023; v1 submitted 3 July, 2023;
originally announced July 2023.
-
Determining a parabolic system by boundary observation of its non-negative solutions with biological applications
Authors:
Hongyu Liu,
Catharine W. K. Lo
Abstract:
In this paper, we consider the inverse problem of determining some coefficients within a coupled nonlinear parabolic system, through boundary observation of its non-negative solutions. In the physical setup, the non-negative solutions represent certain probability densities in different contexts. We innovate the successive linearisation method by further develo** a high-order variation scheme wh…
▽ More
In this paper, we consider the inverse problem of determining some coefficients within a coupled nonlinear parabolic system, through boundary observation of its non-negative solutions. In the physical setup, the non-negative solutions represent certain probability densities in different contexts. We innovate the successive linearisation method by further develo** a high-order variation scheme which can both ensure the positivity of the solutions and effectively tackle the nonlinear inverse problem. This enables us to establish several novel unique identifiability results for the inverse problem in a rather general setup. For a theoretical perspective, our study addresses an important topic in PDE analysis on how to characterise the function spaces generated by the products of non-positive solutions of parabolic PDEs. As a typical and practically interesting application, we apply our general results to inverse problems for ecological population models, where the positive solutions signify the population densities.
△ Less
Submitted 17 April, 2023; v1 submitted 23 March, 2023;
originally announced March 2023.
-
Global Existence for Nonlocal Quasilinear Diffusion Systems in Non-Isotropic Non-Divergence Form
Authors:
Catharine W. K. Lo,
José Francisco Rodrigues
Abstract:
Consider the quasilinear diffusion problem \[\begin{cases}\mathbf{u}'+Π(t,x,\mathbf{u},Σ\mathbf{u})\mathbb{A}\mathbf{u}=\mathbf{f}(t,x,\mathbf{u},Σ\mathbf{u})&\text{ in }]0,T[\timesΩ,\\\mathbf{u}=\mathbf{0}&\text{ in }]0,T[\timesΩ^c,\\\mathbf{u}(0,\cdot)=\mathbf{u}_0(\cdot)&\text{ in }Ω\end{cases}\] for an open set $Ω\subset\mathbb{R}^n$, $\mathbf{u}_0\in \mathbf{H}^s_0(Ω):=[H^s_0(Ω)]^m$ and any…
▽ More
Consider the quasilinear diffusion problem \[\begin{cases}\mathbf{u}'+Π(t,x,\mathbf{u},Σ\mathbf{u})\mathbb{A}\mathbf{u}=\mathbf{f}(t,x,\mathbf{u},Σ\mathbf{u})&\text{ in }]0,T[\timesΩ,\\\mathbf{u}=\mathbf{0}&\text{ in }]0,T[\timesΩ^c,\\\mathbf{u}(0,\cdot)=\mathbf{u}_0(\cdot)&\text{ in }Ω\end{cases}\] for an open set $Ω\subset\mathbb{R}^n$, $\mathbf{u}_0\in \mathbf{H}^s_0(Ω):=[H^s_0(Ω)]^m$ and any $T\in]0,\infty[$, where $Σ\mathbf{u}\in \mathbb{R}^q$ for $0<q\leq m\times n$ represents fractional or nonlocal derivatives with order $σ$ with $σ<2s$ for all $0<s\leq1$, including the classical gradient and derivatives of order greater than 1. We show global existence results for various quasilinear diffusion systems in non-divergence form, for different linear operators $\mathbb{A}$, including local elliptic systems, anisotropic fractional equations and systems, and anisotropic nonlocal operators, of the following type \[(\mathbb{A}\mathbf{u})^i=-\sum _{α,β,j} \partial_α(A^{αβ}_{ij}\partial_βu^j),\quad \mathbb{A}u=- D^s(A(x)D^su),\quad\text{ and }\quad (\mathbb{A}\mathbf{u})^i=\int_{\mathbb{R}^n}A_{ij}(x,y)\frac{u^j(x)-u^j(y)}{|x-y|^{n+2s}}\,dy,\] for coercive, invertible matrices $Π$ and suitable vectorial functions $\mathbf{f}$.
△ Less
Submitted 22 June, 2022;
originally announced June 2022.
-
On an Anisotropic Fractional Stefan-Type Problem with Dirichlet Boundary Conditions
Authors:
Catharine W. K. Lo,
José Francisco Rodrigues
Abstract:
In this work, we consider the fractional Stefan-type problem in a Lipschitz bounded domain $Ω\subset\mathbb{R}^d$ with time-dependent Dirichlet boundary condition for the temperature $\vartheta=\vartheta(x,t)$, $\vartheta=g$ on $Ω^c\times]0,T[$, and initial condition $η_0$ for the enthalpy $η=η(x,t)$, given in $Ω\times]0,T[$ by \[\frac{\partial η}{\partial t} +\mathcal{L}_A^s \vartheta= f\quad\tex…
▽ More
In this work, we consider the fractional Stefan-type problem in a Lipschitz bounded domain $Ω\subset\mathbb{R}^d$ with time-dependent Dirichlet boundary condition for the temperature $\vartheta=\vartheta(x,t)$, $\vartheta=g$ on $Ω^c\times]0,T[$, and initial condition $η_0$ for the enthalpy $η=η(x,t)$, given in $Ω\times]0,T[$ by \[\frac{\partial η}{\partial t} +\mathcal{L}_A^s \vartheta= f\quad\text{ with }η\in β(\vartheta),\] where $\mathcal{L}_A^s$ is an anisotropic fractional operator defined in the distributional sense by \[\langle\mathcal{L}_A^su,v\rangle=\int_{\mathbb{R}^d}AD^su\cdot D^sv\,dx,\] $β$ is a maximal monotone graph, $A(x)$ is a symmetric, strictly elliptic and uniformly bounded matrix, and $D^s$ is the distributional Riesz fractional gradient for $0<s<1$. We show the existence of a unique weak solution with its corresponding weak regularity. We also consider the convergence as $s\nearrow 1$ towards the classical local problem, the asymptotic behaviour as $t\to\infty$, and the convergence of the two-phase Stefan-type problem to the one-phase Stefan-type problem by varying the maximal monotone graph $β$.
△ Less
Submitted 20 July, 2022; v1 submitted 19 January, 2022;
originally announced January 2022.
-
On a Class of Nonlocal Obstacle Type Problems Related to the Distributional Riesz Fractional Derivative
Authors:
Catharine W. K. Lo,
José Francisco Rodrigues
Abstract:
In this work, we consider the nonlocal obstacle problem with a given obstacle $ψ$ in a bounded Lipschitz domain $Ω$ in $\mathbb{R}^{d}$, such that $\mathbb{K}_ψ^s=\{v\in H^s_0(Ω):v\geqψ\text{ a.e. in }Ω\}\neq\emptyset$, given by \[u\in\mathbb{K}_ψ^s:\langle\mathcal{L}_au,v-u\rangle\geq\langle F,v-u\rangle\quad\forall v\in\mathbb{K}^s_ψ,\] for $F\in H^{-s}(Ω)$, the dual space of $H^s_0(Ω)$,…
▽ More
In this work, we consider the nonlocal obstacle problem with a given obstacle $ψ$ in a bounded Lipschitz domain $Ω$ in $\mathbb{R}^{d}$, such that $\mathbb{K}_ψ^s=\{v\in H^s_0(Ω):v\geqψ\text{ a.e. in }Ω\}\neq\emptyset$, given by \[u\in\mathbb{K}_ψ^s:\langle\mathcal{L}_au,v-u\rangle\geq\langle F,v-u\rangle\quad\forall v\in\mathbb{K}^s_ψ,\] for $F\in H^{-s}(Ω)$, the dual space of $H^s_0(Ω)$, $0<s<1$. The nonlocal operator $\mathcal{L}_a:H^s_0(Ω)\to H^{-s}(Ω)$ is defined with a measurable, bounded, strictly positive singular kernel $a(x,y)$, possibly not symmetric, by \[\langle\mathcal{L}_au,v\rangle=P.V.\int_{\mathbb{R}^d}\int_{\mathbb{R}^d}v(x)(u(x)-u(y))a(x,y)dydx=\mathcal{E}_a(u,v),\] with $\mathcal{E}_a$ being a Dirichlet form. Also, the fractional operator $\tilde{\mathcal{L}}_A=-D^s\cdot AD^s$ defined with the distributional Riesz $s$-fractional derivative and a bounded matrix $A(x)$ gives a well defined integral singular kernel. The corresponding $s$-fractional obstacle problem converges as $s\nearrow1$ to the obstacle problem in $H^1_0(Ω)$ with the operator $-D\cdot AD$ given with the gradient $D$.
We mainly consider problems involving the bilinear form $\mathcal{E}_a$ with one or two obstacles, and the N-membranes problem, deriving a weak maximum principle, comparison properties, approximation by bounded penalization, and the Lewy-Stampacchia inequalities. This provides regularity of the solutions, including a global estimate in $L^\infty(Ω)$, local Hölder regularity when $a$ is symmetric, and local regularity in $W^{2s,p}_{loc}(Ω)$ and $C^1(Ω)$ for fractional $s$-Laplacian obstacle-type problems. These novel results are complemented with the extension of the Lewy-Stampacchia inequalities to the order dual of $H^s_0(Ω)$ and some remarks on the associated $s$-capacity for general $\mathcal{L}_a$.
△ Less
Submitted 15 September, 2021; v1 submitted 17 January, 2021;
originally announced January 2021.
-
Stacked Neural Networks for end-to-end ciliary motion analysis
Authors:
Charles Lu,
M. Marx,
M. Zahid,
C. W. Lo,
C. Chennubhotla,
S. P. Quinn
Abstract:
Cilia are hairlike structures protruding from nearly every cell in the body. Diseases known as ciliopathies, where cilia function is disrupted, can result in a wide spectrum of disorders. However, most techniques for assessing ciliary motion rely on manual identification and tracking of cilia; this process is laborious and error-prone, and does not scale well. Even where automated ciliary motion a…
▽ More
Cilia are hairlike structures protruding from nearly every cell in the body. Diseases known as ciliopathies, where cilia function is disrupted, can result in a wide spectrum of disorders. However, most techniques for assessing ciliary motion rely on manual identification and tracking of cilia; this process is laborious and error-prone, and does not scale well. Even where automated ciliary motion analysis tools exist, their applicability is limited. Here, we propose an end-to-end computational machine learning pipeline that automatically identifies regions of cilia from videos, extracts patches of cilia, and classifies patients as exhibiting normal or abnormal ciliary motion. In particular, we demonstrate how convolutional LSTM are able to encode complex features while remaining sensitive enough to differentiate between a variety of motion patterns. Our framework achieves 90% with only a few hundred training epochs. We find that the combination of segmentation and classification networks in a single pipeline yields performance comparable to existing computational pipelines, while providing the additional benefit of an end-to-end, fully-automated analysis toolbox for ciliary motion.
△ Less
Submitted 20 March, 2018;
originally announced March 2018.
-
Revisiting Interval Graphs for Network Science
Authors:
Chuan Wen Loe,
Henrik Jeldtoft Jensen
Abstract:
The vertices of an interval graph represent intervals over a real line where overlap** intervals denote that their corresponding vertices are adjacent. This implies that the vertices are measurable by a metric and there exists a linear structure in the system. The generalization is an embedding of a graph onto a multi-dimensional Euclidean space and it was used by scientists to study the multi-r…
▽ More
The vertices of an interval graph represent intervals over a real line where overlap** intervals denote that their corresponding vertices are adjacent. This implies that the vertices are measurable by a metric and there exists a linear structure in the system. The generalization is an embedding of a graph onto a multi-dimensional Euclidean space and it was used by scientists to study the multi-relational complexity of ecology. However the research went out of fashion in the 1980s and was not revisited when Network Science recently expressed interests with multi-relational networks known as multiplexes. This paper studies interval graphs from the perspective of Network Science.
△ Less
Submitted 23 March, 2015;
originally announced March 2015.
-
Citation Analysis with Mark-and-Recapture
Authors:
Chuan Wen Loe,
Henrik Jeldtoft Jensen
Abstract:
Mark-and-Recapture is a methodology from Population Biology to estimate the number of a species without counting every individual. This is done by multiple samplings of the species using traps and discounting the instances that were caught repeated. In this paper we show that this methodology is applicable for citation analysis as it is also not feasible to count all the relevant publications of a…
▽ More
Mark-and-Recapture is a methodology from Population Biology to estimate the number of a species without counting every individual. This is done by multiple samplings of the species using traps and discounting the instances that were caught repeated. In this paper we show that this methodology is applicable for citation analysis as it is also not feasible to count all the relevant publications of a research topic. In addition this estimation also allows us to propose a stop** rule for researchers to decide how far one should extend their search for relevant literature.
△ Less
Submitted 23 March, 2015;
originally announced March 2015.
-
Comparison of Communities Detection Algorithms for Multiplex
Authors:
Chuan Wen Loe,
Henrik Jeldtoft Jensen
Abstract:
Multiplex is a set of graphs on the same vertex set, i.e. $\{G(V,E_1),\ldots,G(V,E_m)\}$. It is a generalized graph to model multiple relationships with parallel edges between vertices. This paper is a literature review of existing communities detection algorithms for multiplex and a comparative analysis of them.
Multiplex is a set of graphs on the same vertex set, i.e. $\{G(V,E_1),\ldots,G(V,E_m)\}$. It is a generalized graph to model multiple relationships with parallel edges between vertices. This paper is a literature review of existing communities detection algorithms for multiplex and a comparative analysis of them.
△ Less
Submitted 9 June, 2014;
originally announced June 2014.
-
F-zeta geometry, Tate motives, and the Habiro ring
Authors:
Catharine Wing Kwan Lo,
Matilde Marcolli
Abstract:
In this paper we propose different notions of F_zeta-geometry, for zeta a root of unity, generalizing notions of F_1-geometry (geometry over the "field with one element") based on the behavior of the counting functions of points over finite fields, the Grothendieck class, and the notion of torification. We relate F_zeta-geometry to formal roots of Tate motives, and to functions in the Habiro ring,…
▽ More
In this paper we propose different notions of F_zeta-geometry, for zeta a root of unity, generalizing notions of F_1-geometry (geometry over the "field with one element") based on the behavior of the counting functions of points over finite fields, the Grothendieck class, and the notion of torification. We relate F_zeta-geometry to formal roots of Tate motives, and to functions in the Habiro ring, seen as counting functions of certain ind-varieties. We investigate the existence of F_zeta-structures in examples arising from general linear groups, matrix equations over finite fields, and some quantum modular forms.
△ Less
Submitted 8 October, 2013;
originally announced October 2013.