Loading [MathJax]/jax/element/mml/optable/MathOperators.js
Review

What we need to know about the germ-free animal models

  • Received: 03 December 2023 Revised: 30 January 2024 Accepted: 01 February 2024 Published: 06 February 2024
  • The gut microbiota (GM), as a forgotten organ, refers to the microbial community that resides in the gastrointestinal tract and plays a critical role in a variety of physiological activities in different body organs. The GM affects its targets through neurological, metabolic, immune, and endocrine pathways. The GM is a dynamic system for which exogenous and endogenous factors have negative or positive effects on its density and composition. Since the mid-twentieth century, laboratory animals are known as the major tools for preclinical research; however, each model has its own limitations. So far, two main models have been used to explore the effects of the GM under normal and abnormal conditions: the isolated germ-free and antibiotic-treated models. Both methods have strengths and weaknesses. In many fields of host-microbe interactions, research on these animal models are known as appropriate experimental subjects that enable investigators to directly assess the role of the microbiota on all features of physiology. These animal models present biological model systems to either study outcomes of the absence of microbes, or to verify the effects of colonization with specific and known microbial species. This paper reviews these current approaches and gives advantages and disadvantages of both models.

    Citation: Fatemeh Aghighi, Mahmoud Salami. What we need to know about the germ-free animal models[J]. AIMS Microbiology, 2024, 10(1): 107-147. doi: 10.3934/microbiol.2024007

    Related Papers:

    [1] Marco D'Ignazio, Tom Lunne, Knut. H. Andersen, Shaoli Yang, Bruno Di Buò, Tim Länsivaara . Estimation of preconsolidation stress of clays from piezocone by means of high-quality calibration data. AIMS Geosciences, 2019, 5(2): 104-116. doi: 10.3934/geosci.2019.2.104
    [2] Shehab S Agaiby, Paul W Mayne . CPTU identification of regular, sensitive, and organic clays towards evaluating preconsolidation stress profiles. AIMS Geosciences, 2021, 7(4): 553-573. doi: 10.3934/geosci.2021032
    [3] Don J. DeGroot, Tom Lunne, Ravindra Ghanekar, Siren Knudsen, Cody D. Jones, Tor Inge Yetginer-Tjelta . Engineering properties of low to medium overconsolidation ratio offshore clays. AIMS Geosciences, 2019, 5(3): 535-567. doi: 10.3934/geosci.2019.3.535
    [4] Mike Long, Jean Sebastien L’Heureux, Bjørn Kristian Fiskvik Bache, Alf Kristian Lund, Svein Hove, Karl Gunnar Sødal, Helene Alexandra Amundsen, Steinar Nordal, Alberto Montafia . Site characterisation and some examples from large scale testing at the Klett quick clay research site. AIMS Geosciences, 2019, 5(3): 344-389. doi: 10.3934/geosci.2019.3.344
    [5] Robert Radaszewski, Jędrzej Wierzbicki . Characterization and engineering properties of AMU Morasko soft clay. AIMS Geosciences, 2019, 5(2): 235-264. doi: 10.3934/geosci.2019.2.235
    [6] Solve Hov, David Gaharia . Geotechnical characterization of index and deformation properties of Stockholm clays. AIMS Geosciences, 2023, 9(2): 258-284. doi: 10.3934/geosci.2023015
    [7] Tonje Eide Helle, Per Aagaard, Steinar Nordal, Michael Long, Sara Bazin . A geochemical, mineralogical and geotechnical characterization of the low plastic, highly sensitive glaciomarine clay at Dragvoll, Norway. AIMS Geosciences, 2019, 5(4): 704-722. doi: 10.3934/geosci.2019.4.704
    [8] Annika Bihs, Mike Long, Steinar Nordal . Geotechnical characterization of Halsen-Stjørdal silt, Norway. AIMS Geosciences, 2020, 6(3): 355-377. doi: 10.3934/geosci.2020020
    [9] Jean-Sébastien L'Heureux, Anders Lindgård, Arnfinn Emdal . The Tiller-Flotten research site: Geotechnical characterization of a very sensitive clay deposit. AIMS Geosciences, 2019, 5(4): 831-867. doi: 10.3934/geosci.2019.4.831
    [10] Gerardo W Quirós, Patricia M Peters, Kuat C Gan . Combining NSP- and CPTu-based Nkt to evaluate undrained shear strength. AIMS Geosciences, 2023, 9(1): 95-122. doi: 10.3934/geosci.2023007
  • The gut microbiota (GM), as a forgotten organ, refers to the microbial community that resides in the gastrointestinal tract and plays a critical role in a variety of physiological activities in different body organs. The GM affects its targets through neurological, metabolic, immune, and endocrine pathways. The GM is a dynamic system for which exogenous and endogenous factors have negative or positive effects on its density and composition. Since the mid-twentieth century, laboratory animals are known as the major tools for preclinical research; however, each model has its own limitations. So far, two main models have been used to explore the effects of the GM under normal and abnormal conditions: the isolated germ-free and antibiotic-treated models. Both methods have strengths and weaknesses. In many fields of host-microbe interactions, research on these animal models are known as appropriate experimental subjects that enable investigators to directly assess the role of the microbiota on all features of physiology. These animal models present biological model systems to either study outcomes of the absence of microbes, or to verify the effects of colonization with specific and known microbial species. This paper reviews these current approaches and gives advantages and disadvantages of both models.



    Modeling and analysing the dynamics of network flows is an important problem that has applications in many different areas such as transportation planning [7,25,42], air traffic control [32,48], communication networks [1,6,12,22], processor scheduling [49] and supply chain optimization [34,17]. Flow models are crucial for understanding the response of networked systems under different boundary conditions, estimating the state of the system, measuring system performance under different tunable parameters and devising the appropriate control strategies for efficient operation of the system. For example, in transportation networks, flow models are used for traffic estimation [53], dynamic traffic assignment or demand response assessment [30], traffic signal control [28], ramp-metering control [43] and rerouting [47]. This article focuses on modeling heterogeneous (multi-path) traffic flow through a network with a single source and multiple sinks with the objective of analytically expressing the delays at each node of the network as a function of the boundary flows at the source. This is a critical requirement when solving certain control and optimization problems over the network, where flow entering the network is one of the direct or indirect control parameters [46]. We present this model in the context of a transportation network modeling, but the results can be applied to any single origin network with no merge junctions that satisfies the following properties; 1) link flows are capacity restricted, 2) the flow through each junction satisfies the first-in-first-out (FIFO) condition, and 3) there is no holding of flow, i.e. the flow through a junction is maximized subject to the FIFO condition.

    There are many types of traffic dynamics models, including microsimulation [18], cellular automaton [33], first-order or higher-order macroscopic models [19,26,44,51] and point queue models [52], listed roughly in decreasing model complexity. Microsimulation models simulate the movement of individual vehicles by applying car following models and lane changing models. This approach enables the modeling of very specific and detailed characteristics of driver behavior and networks dynamics [18] such as route choice modeling and the implications of the precise network geometry (e.g. road curvature). Therefore, microscopic models are very popular in transportation planning at an urban scale, since planners have the ability to observe the behavior on the entire network due to modifications such as road closures and changes in traffic signal plans. However, these models can not be expressed in closed form, are very difficult to calibrate [20] and have an extremely high computational overhead associated with them.

    Another related approach is to use cellular automaton models to simulate traffic [33]. Typically, cellular automaton models divide the roadway into cells, each of which can be empty or occupied by only one vehicle. This approach as also been extended to model heterogeneous flow [21,23], where the behavior around freeway off-ramps are considered. Cellular automation models are similar to microscopic models in the sense that they both scale very poorly with the problem size and are generally computationally intractable since they track individual vehicles.

    The third and perhaps most common approach is the use of macroscopic traffic flow models. Among these models, the most well known is the continuum or fluid-dynamic model based on the Lighthill-Williams-Richards (LWR) partial differential equation [26,44,27]. This model uses first-order partial differentiation equations to describe the relationship between aggregate traffic flow variables (flux and density), under the principle of mass conservation. Due to its simplicity, the LWR model does not capture individual driver behavior and cannot be used to model heterogeneous flows where different groups of drivers exhibit different behaviors. However, there have been extensions to the LWR model that can account for such heterogeneous flow [8,9].

    The most popular solution method to the LWR PDE is the Godunov scheme, also known as the cell transmission model (CTM) [7,25]. The CTM discretizes space into cells and keeps track of the vehicle density in each cell instead of individual vehicles. Another approach for solving the LWR PDE is using the Moskowitz function. The Moskowitz function numbers vehicles as they pass a reference location and it describes the evolution of this number over time and space. The Moskowitz function can be interpreted as the cumulative vehicle count at a reference location, also known as cumulative curves, which is similar to our approach. Cumulative curves have been proposed together with triangular shaped fundamental diagram (relationship between flow and density) to simplify the traffic analysis based on the LWR model [35,36,37], because the adoption of cumulative curves automatically guarantees conservation. However, while cumulative curves do provide a nice graphical interpretation of the traffic flow, they do not present the ability to describe the network behavior as a function of variable boundary flows.

    The final approach, which is also the approach used in this work, is to model the traffic via a network of point queues that are typically represented using ordinary differential equations (ODE's). One of the first point queue models was presented in the seminal work of Vickrey [52] to study a roadway with a single bottleneck. This approach has since been extended to handle networks with multiple commodities [11]. One of the main limitations of this ODE-based approach is that it does not capture the spatial propagation of traffic along a roadway (unlike the PDE-based macroscopic models) and assumes that all delayed vehicles wait at the point of the bottleneck, as if vehicles were packets in a data network. As a result, point queue models are generally unable to capture queue spillback. However, some recent work [41,40] shows how point queue models can be adapted to capture queue spillback using two queues for each bottleneck.

    There is a vast literature in the transportation community on network flow models based on both ordinary differential equation (ODE) based point queues and the LWR PDE based spatio-temporal propagation. These models are also commonly referred to as network loading models [2] in dynamic traffic assignment (DTA) [31]. While the existing literature provides a rich portfolio of modeling techniques, of which some recent works we summarize below, this work presents a new technique that adds to the existing literature by enabling the analytical expression of delays within the network as a function of the inflows at the origin and the bottlenecks that are active. This however comes at the cost of some restrictions in terms of the types of networks that can be analyzed, as we will explain in detail below.

    There have been a number of recent works on extending point queue models for network loading in DTA. In [3,4], the authors take a similar approach to ours in terms of extending the Vickrey point queue model (with no spillback). A time discretized iterative numerical scheme is provided to obtain a dynamic user equilibrium solution and the existence of the solution is proven under the assumptions of the model. The convergence rate of the iterative scheme is not explicitly addressed. Similarly, [11] considers a point-queue model with no spillback, but is able to model congestion delay during the free-flow phase of the fundamental diagram for hyperbolic fundamental diagrams. In contrast, [29] uses a point queue network with multiple queues to capture spillback, based on the double queue technique in [41]. The existence and uniqueness of the solution to the network loading problem is not addressed, but an existence result for the dynamic system optimal solution is provided. While the work in [11] allows for merge junctions and the model in [29] captures some queue spillback, none of the works above can analytically express the delays within the network as a function of the input flows1.

    1We wish to incorporate the approach in [41] for capturing queue spillback into the proposed model as future work.

    A series of articles by Han et al. [14,15,16] reformulates the Vickrey model using a PDE-based approach and extends the results to general networks. This reformulation enables more rigorous mathematical analysis of the network loading model, better numerical methods for solving the network loading problem and a proof of existence for a route and departure time user equilibrium. In a follow up work, [5] shows the existence and well-posedness of this PDE-based queuing model. Furthermore, [13] presents a very important contribution to the literature by providing a continuous time network loading model with both existence and well-posedness guarantees. This model can be considered a continuous time counterpart of the Link Transmission Model [39,54]. The results on existence and well-posedness are however limited to certain junction models. In particular, the results require fixed turning ratios at junctions, which does hold in dynamic traffic assignment.

    In addition, there is a rich literature on ODE-based network flow propagation for various packet networks [1,6,12,22], but a large majority of these dynamics models violate the FIFO and no holding requirements that are essential in phyisical flow networks. The models proposed for transportation network flows, as described above, can in fact satisfy these physical requirements, but cannot analytically prescribe the internal delays of the network as a function of the boundary flows. Therefore, a new framework is required for the problem that we consider.

    Our approach can be summarized as follows. We assume that the traffic flow is differentiated by the destination of the flow (i.e. Lagrangian flow) and that the different flow groups satisfy the FIFO condition at each junction. The network is limited to a contain a single origin and no merge junctions. The input flows are assumed to be piecewise continuous in time and the link capacities are assumed to be piecewise constant in time. The queuing in the network is assumed to be contained at each junction node and spill-back to the previous junction is ignored2. We show that this model leads to a well-posed ordinary differential equation for computing the dynamics of the network as a function of the boundary flows and prove that the solution is unique through a rigorous mathematical derivation of the model properties. The main benefit of this framework is the ability to analytically prescribe the delays at any junction in the network and across any sub-path as a function of the the boundary flows, which can be an important requirement when solving certain control and optimization problems, such as demand allocation problems, where the flow entering the network is one of the direct or indirect control parameters. This is achieved via the creation of a time mapping operator that maps the traffic flow at a given node at a given time to the corresponding flow at the origin of the network when that flow entered the network. We also show that this model can be solved numerically using a simple and efficient forward simulation approach. Finally, we demonstrate the application of the model by applying it to two example networks, a single path of multiple bottlenecks and a diverge junction with complex junction dynamics including time varying capacities.

    2This is a restrictive assumption in the case where the queue length at a given node exceeds the length of the incoming link because the queue would have interrupted the flow at the previous junction. The model allows for these cases of queue spill-back to be identified by comparing the queue length to the queue capacity, and for control actions to be taken to mitigate the spill-back. However, in general, it may not be possible to prevent spill-back under certain input flow profiles.

    The article is organized as follows. Section 2 introduces the network properties and junction dynamics. Then section 3 formalizes the time mapping operator, shows the well-posedness of the problem and proves the uniqueness of the solution to this model. Section 4 demonstrates the practical application of the mathematical framework by showing that the off-ramp model posed by Newell [38] can be modeled using this framework. Section 5 concludes the article.

    The traffic network with a single source is modeled as an arborescence3. The congestion at each bottleneck is modeled as a vertical queue that is located at the start of the bottleneck. Thus, the physical propagation of the queue forming at the bottleneck is not modeled. This modeling choice is only restrictive when the queue propagates upstream to the preceding junction, as the change in dynamics at the junction due to the queue is not taken into account, but the model is equivalent to a horizontal queuing model otherwise.

    3An arborescence is a directed rooted tree where all edges point away from the root.

    A node v denotes a junction in the network and V is the set of all nodes. A link l=(vinl,voutl) is a couple consisting of an origin node vinl and a destination node voutl, and L is the set of all links.

    The congestion-free travel time on link l is denoted by Tl, an agent that enters link l at time t will exit link l at time t+Tl. The congestion-free travel time between nodes v1 and v2 is denoted by T(v1,v2), an agent that enters node v1 at time t will reach node v2 at time t+T(v1,v2)

    The set of incoming links to node v is denoted by Linv, the set of outgoing links from node v is denoted by Loutv and the set of all links l connected to node v is denoted by Lv.

    Linv={lL|voutl=v}Loutv={lL|vinl=v} (1)

    A node v is a source if it admits no incoming link (Linv=). A node v is a sink if it admits no exiting link (Loutv=). The set of sinks is denoted by S.

    The set of nodes V and the set of links L compose a network. Due to the network being an arborescence, it contains a unique source indexed by v0. For all nodes vV{v0}, Linv is a singleton. The element of this singleton is called the parent node and is denoted by πv: Linv={(πv,v)}.

    We define a path p(vorig,vdest) as a finite sequence of distinct nodes from an origin node vorig to a destination node vdest such that there is a link connecting each pair of subsequent nodes.

    p(vorig,vdest)=(vorig,,vdest) s.t. (πvi,vi)L   ipvorig (2)

    There is a unique path from any source to any destination since the network is tree structured. For each sink s, let ps be the path starting at the origin vorig and ending at node vs=s, and Vps be the sequence of nodes on path ps. The set of paths Pv is the set of all paths p for which vp. The set of paths Pl is the set of all paths p for which lp.

    Pv={p|vVp} ; Pl={p|vinlVp and voutlVp} (3)

    Remark 1. The path sets Pl where l is a link in Loutv form a partition of Pv

    Pv=lLoutvPl (4)

    The traffic flow at a node is measured by counting the number of agents that pass through the node between an arbitrary initial time tinitial and any given time t.

    For a node vVv0 (that is not the source) and path pPv, the arrival curve Apv(t) gives the total number of agents on path p that arrive at node v during the time interval (tinitial,t]. Similarly, for a node vVS (that is not a sink) and pPv, the departure curve Dpv(t) gives the total number of agents on path p that leave node v during the time interval (tinitial,t].

    Remark 2. The arrival curve Apv(t) (resp. departure curve Dpv(t)) also gives the agent number of the last agent on path p to arrive at (resp. leave) node v by t. Arrival and departure curves are non-decreasing: if t1<t2, A(t2)A(t1) (resp. Dp(t2)Dp(t1)) is the total number of agents who arrive at (resp. pass) node v in the interval (t1,t2], and is therefore non-negative.

    Definition 2.1. Acceptable cumulative arrival and departure curves A(tinitial,tfinal], D(tinitial,tfinal]

    Given times tinitial and tfinal, a function on (tinitial,tfinal] is an acceptable cumulative curve on (tinitial,tfinal] if it is continuous, piecewise C1, and strictly increasing functions on (tinitial,tfinal].

    The assumption that the cumulative curves are strictly increasing is made for mathematical convenience, but can be relaxed4. Cumulative curves are required to be piecewise C1 in order to be able to define flows.

    4We could relax the assumption that the cumulative curves are strictly increasing and allow for non-decreasing curves. However, this results in the time mapping function T,πv(v) introduced in section 3.2 being a correspondence instead of a function and makes the analysis significantly more complicated. Therefore, for mathematical convenience, we make the assumption that the cumulative curves are strictly increasing.

    The outgoing flow λvp at a node v is the piecewise continuous derivative of the departure curve Dvp

    λvp=Dvpt (5)

    Remark 3. Zero congestion-free travel time

    Let πv,v be two consecutive nodes on path p. Agents on path p leaving node v at time t arrive at node v at t+T(πv,v). For all links (πv,v) and paths pPv, without loss of generality we set the congestion-free travel time T(πv,v) to be zero: T(πv,v)=0. This implies that:

    Dπvp=Avp    l=(πv,v)L,pPv (6)

    This modeling choice is made purely for mathematical convenience, since the goal of this framework is to analyze delays in the network. The total travel time for each agent can be easily reconstructed a posteriori by adding the actual congestion-free travel time for each link of the path traveled by the agent.

    Thus, for all links (πv,v)L and paths pP we have:

    dAvpdt=dDπvpdt=λπvp (7)
    \begin{equation} \dfrac{dD^{v}_{p}}{dt} = \lambda^{v}_{p} . \end{equation} (8)

    This section defines the model dynamics for queuing and the flow propagation through a junction, which will then lead to a definition of the feasible departure curves that the model admits.

    The capacity μl(t) of a link l is the maximum flow that can enter the link from its input node vinl at time t. Road capacity may vary with time due to weather conditions, accidents, or other factors. Thus, capacity is a time varying quantity.

    Requirement 1. Capacity constrained flows

    The inflow entering a link is always no greater than the links capacity.

    pPlλvinlp(t)μl(t)     t,lL (9)

    If the flows arriving at a node v are larger than available outflow capacity, a queue will form at node v.

    Definition 2.2.Queue length nv,p(t)

    We define the path queue length nv,p(t) at node v as the number of agents on path p that arrive at node v by time t and are yet to depart node v

    nv,p(t)=Avp(t)Dvp(t) (10)

    The total queue length nv(t) at node v is the sum of the path queue lengths.

    nv(t)=pPvnv,p(t) (11)

    Remark 4. Let [Dv]1 be the inverse of the departure curve Dv. Since Dv is strictly increasing, tk=[Dv]1(k) gives the time at which agent number k leaves node v.

    Definition 2.3. Delay in queue v

    We define δv,p(t) as the delay encountered in queue v by the agent that entered the queue at time t.

    δvp(t)=[Dvp]1(Avp(t))t=[Dvp]1(Dπvp(t))t (12)

    As Dvp is continuous, piecewise C1, and strictly increasing, its inverse is continuous, piecewise C1 and strictly increasing. Since the composition of functions preserves continuity (see [45] for the C0 case and [10,24] for the Ck case), the function [Dvp]1Dπvp is continuous and piecewise C1, and therefore, the delay δv,g is also continuous and piecewise C1.

    Remark 5. If nv,p(t)=0pPv, then Dvp(t)=Avp(t)pPvδv,p(t)=0pPv. If pPv:nvp(t)>0, then Dvp(t)<Avp(t)[Dvp]1(Avp(t))>t and δv,p(t)>0pPv.

    Therefore,

    t,δv,p(t)>0pPv:nv,p(t)>0 (13)

    We now describe the diverge model with a graphical illstration of a one to two diverge junction given in Figure 1.

    Figure 1.  Diverge model.

    Requirement 2. First-in-first-out (FIFO) property

    The model satisfies the FIFO property. The delay encountered in queue v at time t is identical for all paths p in Pv.

    δv(t)=δv,p(t)=[Dvp]1(Dπvp(t))t    t,pPv (14)

    FIFO property implies that agents exit the queue in the same order that they enter the queue regardless of which path they belong to.

    t1<t2[Dvp1]1(Dπvp1(t1))<[Dvp2]1(Dπvp2(t2)) (15)

    Interpreting Avp (resp Dvp) as the identifier of the agent which arrives in (resp. leaves) queue v at time t, we can see that the queues respect the FIFO rule for each path p. Let x1 and x2 be two agents: agent x1 enters queue v at time tin1 such that Avp(tin1)=x1 and leaves queue v at time tout1 such that Dvp(tout1)=x1, agent x2 entered in queue v at time tin2 such that Avp(tin2)=x2 and leaves queue v at time tout2 such that Dvp(tout2)=x2. As Avp and Dvp are both strictly increasing functions, tin1tin2x1x2tout1tout2, which means that if x1 is enters queue v before x2, it will leave v before x2.

    Proposition 1. FIFO implies conservation of the ratio of flows

    If p1 and p2 are two paths in Pv such that λπvp1,λπvp2>0, then the ratio of their flows is conserved when exiting node v

    λvp1(t+δv(t))λvp2(t+δv(t))=λπvp1(t)λπvp2(t),   t(tinit,tfinal] (16)

    Proof. Let t be an arbitrary time. The FIFO assumption gives δv,p(t)=δv(t). By definition of delay δv,p(t),

    \begin{array} sD^{\pi_{v}}_{p}(t) &=& D^{v}_{p}(t + \delta_{v,p}(t)) \forall p \in P_v \end{array}

    Taking the derivative with respect to t and using δv,p(t)=δv(t),

    \begin{equation} \dfrac{dD^{\pi_{v}}_{p}(t)}{dt} = \left(1+\dfrac{d\delta_{v}(t)}{dt}\right) \cdot \left.\dfrac{dD^{v}_{p}}{dt}\right|_{t+\delta_{v}(t)} \end{equation}

    Using equation (8) we obtain,

    \begin{array} a\lambda^{\pi_{v}}_{p}(t) &=& \left(1+\dfrac{d\delta_{v}(t)}{dt}\right) \cdot \lambda^{v}_{p}{t + \delta_{v}(t)} \forall p \in P_v \end{array} (17)

    Therefore, it follows that

    λvp1t+δv(t)λvp2t+δv(t)=λπvp1(t)λπvp2(t)

    Definition 2.4. Queue state ηv -state transitions

    We define queue state as the boolean valued function ηv(t):

    ηv(t)={1if δv(t)>00otherwise (18)

    If ηv=1, queue v is said to be active, or in active state

    If ηv=0, queue v is said to be inactive, or in inactive state

    A queue state transition happens at time t if

    ϵ>0 s.t. θ{(ϵ,0)(0,ϵ)},ηv(tθ)=1ηv(t+θ) (19)

    When queue v is inactive, Dv=Dπv.

    Definition 2.5. Link constraint cl,v(t)

    Let vV{v0S} be a node which is not a source or a sink. For all links lLoutv, we define the link constraint cl,v(t) as the ratio of arriving flows at time t on capacity at queue v when this flow leaves queue v5.

    5The dissipation rate of the point queue at the node is only governed by the capacities of the outgoing links. This model can be extended to also impose a discharge rate constraint based on the capacity of the incoming link, but increases the complexity of the notation and the proofs.

    6When there is a tie, one of them is chosen arbitrarily.

    cl,v(t)=pPlλπvp(t)μl(t+δv(t)) (20)

    Definition 2.6. Active link γvt and set of active paths Γvt of a node

    We define the active link γv(t) of a node v at time t as the most constrained link6 in Loutv:

    6When there is a tie, one of them is chosen arbitrarily.

    γv(t)argmaxlLoutvcl,v(t) (21)

    We define the set of active paths Γv(t) in queue v as the set of paths in the most constrained link γv(t)

    Γv(t)=Pγv(t) (22)

    Remark 1 gives ΓvPv.

    Requirement 3. Full capacity discharge property

    The model satisfies the full capacity discharge property. For each node v and time t, if queue v is active at t, then the active link γv(t) discharges at full capacity.

    ηv(t)=1pΓv(t)λvp(t+δv(t))=μγv(t)(t+δv(t)) (23)

    With this last property, we complete the definition of the dynamics model.

    Definition 2.7. Feasible flows

    A feasible flow λvp at a node v is a flow that satisfies the FIFO, capacity constraint and full capacity discharge properties from requirements 1, 2 and 3.

    The definition of the initial conditions on the network completes the definition of the model.

    Definition 2.8. Initial times for each non-source node

    Given a set of initial delays at each node δv(tinitial)0,vV(S{v0}) and an initial time tinitial, we define the set of initial times over which the departure curves are defined for each non-source node recursively as follows:

    {t0,initial=tinitial for node v0tv,initial=tπv,initial+δv(tπv,initial) (24)

    Now that we have fully defined the model dynamics, we consider the well-posedness of the model. In other words, given a network, link capacities and the departure functions at the source, we want to know whether the dynamics of the model admits a unique solution.

    Probleme 1: General network problem

    Input. An arborescence (V,L) with source v0 and sink set S, capacities μl(t),lL,t[tinitial,tfinal], acceptable departure functions from the source Dv0p D(tinitial,tfinal)pPv0 and initial delays δv(tinitial)0,vV(S{v0})}

    Question. Does a corresponding set of feasible flows exist for all internal nodes vVv0 and are they unique?

    Theorem 1 states that the solution to problem 1 both exists and that the solution is unique, under certain conditions on the departure curves at the origin and the link capacities of the network.

    Theorem 1. Existence and uniqueness of the solution to problem 1

    Problem 1 admits a unique solution under the following conditions.

    1) the path flows at the origin λ0p(t) are piecewise polynomial,

    2) link capacities μl are piecewise constant over time. Note that neither of the assumptions of the theorem are restrictive in a practical sense.

    7Neither of these assumptions are restrictive in a practical sense, because any piecewise continuous function on a closed interval can be approximated to an arbitrary accuracy by a polynomial of appropriate degree (Stone-Weierstrass theorem [50]) and link capacities do not evolve in a continuous manner. LiIf the flows arriving at a nodenk capacities are typically subject to discrete changes due to incidents such as accidents and changes in weather.

    The next section is devoted to a constructive proof of Theorem 1. The general flow of the proof is as follows. Sections 3.1-3.3 first develop a set of differential equations for delays in the network. In section 3.4, we then prove that a unique solution to differential equation on delays also implies a unique solution to problem 1. Section 3.5 proves that the differential equations on the delay at each node always admit an unique solution, which finally leads to the proof of Theorem 1.

    This section builds a constructive proof of Theorem 1. Throughout sections3.1-3.3, we require that the flows at the origin are acceptable departure curves as defined in definition 2.1 and that the outflows at each node satisfy the model requirements (i.e. result in feasible flows as defined in definition 2.7).

    We begin by proving Proposition 2, which gives an analytical expression for the derivative of the delay at node as a function of its downstream capacities and outgoing flow at its parent nodes.

    Proposition 2. Evolution law of a single queue

    If queue v is active at time t,

    dδvdt|t=pΓv(t)λπvp(t)μγvt(t+δv(t))1 (25)

    Proof. From Equation (17),

    λπvp(t)=(1+dδv(dt)t)λvp(t+δv(t))pΓv(t)dδv(t)dt+1=λπvp(t)λvp(t+δv(t))pΓv(t)dδv(t)dt+1=pΓv(t)λπvp(t)pΓv(t)λvp(t+δv(t))

    Using the full capacity discharge property from Requirement 3,

    dδv(t)dt+1=pΓv(t)λπvp(t)μγv(t)(t+δv(t))dδvdt|t=pΓv(t)λπvp(t)μγv(t)(t+δv(t))1

    The evolution law stated above foWe now introduce the following time mapping function r any given node v depends on the outgoing flows λπvp at the parent node. However, this it not an input of Problem 1. In this section, we introduce the notion of time mapping to obtain a modified law for the delay evolution that replaces the outgoing flows at the parent node with the outgoing flow at the origin.

    The evolution law from Proposition 2 gives a non-linear ordinary differential equation (ODE) that governs the evolution of δv(t). The evolution of delay encountered by an agent x entering queue v at time t depends on the flows entering the queue at t and the capacity of the active link(s) γv at time t+δv(t) when agent x leaves the queue. The non-linearity of the ODE makes directly computing the dynamics along a path algebraically complex. Therefore, we introduce a time mapping function.

    Let v be an internal node of the network and its parent node be πv. An agent leaving node πv at time t will leave node v at time t+δv(t). We now introduce the following time mapping function:

    Definition 3.1. Node time mapping function Tv,πv

    We define the time mapping function Tv,πv by

    Tv,πv:tt+δv(t) (26)

    an agent leaving node πv at time t will leave node v at time Tv,πv(t)

    The notation Tv,πv (variable ordering) is chosen for mathematical convenience with respect to the derivatives of the function, as will be apparent in the rest of the discussion. In equation (26), Tv,πv takes a time with a physical meaning at the exit of node πv on its right hand side, and gives back a time with a physical meaning at the exit of node v on its left hand side.

    Proposition 3. Tv,πv is strictly increasing and bijective

    The function Tv,πvT is strictly increasing and thus bijective from its domain to its image. Its derivative is

    dTv,πvdt|t=pΓv(t)λπvp(t)μl(t+δv(t))>0 (27)

    Physically, this means that the FIFO assumption is respected: i.e. an agent x2 entering queue v after another agent x1 will also leave the queue after x1

    Proof. Taking the derivative of equation (26) and applying equation (25) in Proposition 2 gives,

    dTv,πvdt|t=pΓv(t)λπvp(t)μl(t+δv(t)). (28)

    The departure curves at the origin are strictly increasing since they must be acceptable departure curves. The full capacity discharge property from requirement 3 requires that one outgoing link at each node discharges at full capacity. Finally, these properties combined with Proposition 1, which states that the outflows at a node are proportional to the inflows, give us the result that dTv,πvdt|t>0.

    Thus Tv,πv is invertible and its inverse is an increasing function.8

    8If the acceptable set of departure curves D is relaxed to allow non-decreasing instead of strictly increasing functions, Tv,πv becomes a correspondence, and the mathematical treatment would be more involved.

    Definition 3.2. Node time mapping function Tπvv

    Given an internal node v, we define the function Tπvv as the inverse of Tv,πv

    Tπv,vTv,πv=1 and Tv,πvTπvv=1 (29)

    We now consider the unique path (v0,v1,,vn1,vn) which leads from the source v0 to some node vn. As each node has a unique parent, we can recursively trace the path from node v back to the source node v0. Let tvn be a fixed time. If an agent x leaves node vn at the time tvn, we can recursively define the following:

    1) tvn1=Tvn1,vn(tvn) is the time that agent x left vn1, tvn=tvn1+δv(tvn1)

    2) tvn2=Tvn2,vn1(tvn1) is the time that agent x left vn2, tvn=tvn2+δvn1(tvn2)+δv(tvn2+δvn1(tvn2))

    3) tvn3=Tvn3,vn2(tvn2) is the time that agent x left vn3,

    As Tv,πv and Tπv,v are bijective for all internal nodes v, we can give the following definition

    Definition 3.3. Time mapping function from and to the origin Tvv0 and Tv0v

    Let vn be a node, and (v0,v1,v2,,vπn,vn) be a path from the origin v0 to node v. We define the time mapping function to the origin as the composition of the node time mapping function on the path between the source and vn

    Tv0,vn=Tv0,v1Tv1,v2Tvπn,vn (30)

    an agent that leaves node vn at time t left the origin v0 at time Tv0,vn(t).

    Tvn,v0=Tvn,vπnTv2,v1Tv1,v0 (31)

    an agent that leaves the origin at time t will leave node vn at time Tvn,v0(t)

    A sample path from the origin v0 to a node vn is illustrated in figure 2. We can now define the time mapping function between any arbitrary pair of nodes.

    Figure 2.  Time mapping nodes.

    Definition 3.4. Time mapping function between two arbitrary nodes

    We define the time mapping function Ti,j between node i and node j as follows.

    1) There exists a path between nodes i and j (for example nodes v2 and vn in figure 2),

    Ti,j={Ti,i+1Ti+1,i+2Tj2,j1Tj1,jif ijTi,i1Ti1,i2Tj+2,j+1Tj+1,jif ij (32)

    Let x be an agent that leaves node j at time t. Ti,j(t) is the time that agent x leaves node j.

    2) There does not exist a path between nodes i and j (for example nodes v2 and vx in figure 2),

    Ti,j=Ti,v0Tv0,j (33)

    Let xj be an agent that leaves node j at t. From definition 3.3 we know that xj leaves the origin at time T0,j(t). Let xi be an agent that also leaves the origin at time T0,j(t). Then Ti,j(t) is the time that agent xi leaves node i.

    Definition 3.5. Time mapping operator Ti,j

    We define the time mapping operator Ti,j on the set F of time dependent functions as follows:

    Ti,j:FFffTj,i (34)

    We now consider the physical interpretation of Ti,j.

    This section first studies the relationship between departure curves at different nodes and the time mapping function. We then define the time mapped versions of the other quantities in the model. The time mapping operators allow for mapping any quantity from one node to the other. This definition of a time mapped quantities thus allows any quantity to be defined with respect to the source node of the network.

    Proposition 4. Physical interpretation of the time mapping function

    Let p be a path, and (v0,v1,v2,,vn) be a sequence of consecutive nodes on the path.

    Dvip=Dv0pTv0,vi    vip (35)

    Let x=Dv0p(tv0) be an agent on path p that leaves the origin at time tv0 and tvi=Tvi,0(tv0)vip.

    Dv0p(tv0)=Dv1p(tv1)==Dvip(tvi)==Dvnp(tvn) (36)

    Proof. Proof by induction on the length of the sequence k. If k=0, the result is trivial. Let k[1,i] be an integer. By the induction hypothesis, we assume that the result is true for to k=i1, i.e. Dvi1p=Dv0pT0,vi1. By the definition of path delay δv,p,Dvipt+δvi,p(t)=Dvi1p(t),t, which means Dvi1p=DvipTvi,vi1. Composing both sides of the equality with Tvi1,vi we get Dvip=Dvi1pTvi1,vi. Substituting the induction hypothesis and simplifying the results completes the proof.

    Dvip=Dvi1pTvi1,vi=Dv0pT0,vi1Tvi1,vi=Dv0pTv0,vi

    Equation (36) follows directly from equation (35)

    Remark 6. As function Ti,j is the inverse of Tj,i, the operator Tj,i is the inverse of Ti,j.

    We can now reformulate the first equation of Proposition 4 as follows:

    Proposition 5. Time mapping of departure curve Dvp

    Let i and j be two nodes on path p.

    Dip=Ti,j(Djp) (37)

    Proof. Using definition 3.5 we have,

    Ti,jDjp=DjpTj,i=DjpTj,0T0,i=D0pT0i=Dip

    Proposition 6. Time mapping and flows

    Let v be a node on path p.

    λip=Ti,j(λjp)dTj,idt (38)

    Proof. From the definition of flow, λvp=dDvpdt. The result is obtained by simply taking the derivative of the equation Dip=DjpTj,i (from Proposition 5) with respect to time.

    Remark 7. The time mapping and derivative operators do not commute.

    Definition 3.6. Time mapping of delay δij

    Let v be an internal node9. We define the time mapped delay in queue v at node πv, δπvv as the delay encountered in queue v by an agent leaving node πv:

    9An internal node is a node v which is neither a sink nor the source kK({0}S).

    δπvvδv (39)

    Let i be an arbitrary node and j be an internal node. We define the time mapped delay in queue j at node i, δij as

    δijTi,πj(δπjj)=δπjjTπj,i (40)

    Physically, if nodes i and j are on the same branch with ij (resp. ij), then δij(t) is the time that an agent which leaves queue i at time t will be (resp. has been) delayed at in queue j.

    Definition 3.7. Time mapping for capacity

    We define the time mapped capacity of a link l, μvinll as the capacity encountered by an agent at queue vinl in link l

    μvinllμl (41)

    Let l be an arbitrary link and v an internal node. We define the time mapped capacity of link l at node v as

    μvlTv,vinl(μvinll)=μvinllTvinl,v (42)

    Physically, if link l and node v are on the same branch with vinlv (resp. vinlv), then μlv(t) is the capacity an agent that leaves queue v at time t encountered (resp. encounters) at link l.

    Proposition 7. Physical interpretation of mapped delay and mapped capacity

    Let vj be an arbitrary node, p be a path, and (v0,v1,v2,,vn) be a sequence of consecutive nodes on the path p. Also, let tvi=Tvi,0(tv0),vip.

    δv0vj(tv0)=δv1vj(tv1)==δvivj(tvi)==δvnvj(tvn) (43)

    Let l be an arbitrary link.

    μv0l(tv0)=μv1l(tv1)==μvil(tvi)==μvnl(tvn) (44)

    Proof. Let i be an arbitrary node and j be an internal node. From definition (3.6) for time mapped delay we have.

    δijδi1j(Tj1,i(ti))=δi1j(tj1)

    Therefore, δvivj(tvi)=δvj1vj(tvj1),vip, which proves equation (43). The proof for equation (44) is identical.

    Definition 3.8. Time mapping of active link and active paths

    Let v be an internal node. We define mapped active link γπvv as the active link for flow exiting node πv at queue v, and mapped active paths Γπvv as the active paths for flow exiting node πv at queue v.

    γπvvγv;ΓπvvΓv (45)

    Let j be an arbitrary node, we define the mapped active link and mapped paths for flow exiting queue v at node j as

    γjv=Tjπvγπvv ; Γvj=Tj,πvΓπvv (46)

    Physically, if node j and node v are on the same branch with jv (resp. jv), then γjv(t) is the active link that an agent leaving node j at time t will encounter (resp. encountered) at queue v, and Γvj(t) are the corresponding active paths.

    Definition 3.9. Time mapped link constraint

    Let v be a internal node and lLoutv. We define the mapped link constraint cπvv,l as the link constraint at link l for an agent leaving node πv.

    cπvv,l(t)pPlλπvp(t)μl(t+δv(t)) (47)
    =pPlλπvp(t)μvl(t+δv(t))=pPlλπvp(t)μπvl(t) (48)

    Let j be an arbitrary node, we define the mapped link constraint for link l at node j as

    cjv,lTj,πv(cπvv,l)=cπvv,lTπv,j (49)
    cjv,l(t)=pPlλjp(t)μjl(t)dTπvjdt (50)

    Physically, if node j and node v are on the same branch with jv (resp. jv), then cjv,l(t) is the link constraint that an agent leaving node j at time t will encounter (resp. encountered) at link l.

    Remark 8. The notation of the link constraint can be simplified for convenience as follows when time mapped.

    cjv,l=cjl (51)

    We use the simplified notation in the rest of the discussion.

    Proposition 8. The mapping of link constraints and active links is coherent

    For all non-sink nodes jVS, internal nodes vV(S{0} and time t(tinitial,tfinal], we have

    γjv(t)argmaxlLoutvcjv(t) (52)

    Proof. Let v be an internal node and let tj be a time. Let tπv=Tπvj(tj). Proving the proposition is equivalent to proving the following set equality

    argmaxlLoutvcv,ltπv=argmaxlLoutvcjl(tj) (53)

    From the definition of the link constraint in equation (20) we have

    cv,ltπvpPlλπvp(tπv)μl(tπv+δv(tπv)) (54)

    By definition of μvl in equation (41), we have μl(tπv+δv(tπv)) = μvl(tπv+δv(tπv)) and defining tv Tv,πv(tπv) = tπv+δv(tπv), we obtain

    μl(tπv+δv(tπv)) = μvl(Tv,πv(tπv))=μvl(tv). Equation (44) finally gives

    μl(tπv+δv(tπv))=μjl(tj) (55)

    Moreover, using equation (38) gives λπvp(tπv)dTπv,jdt|tj=λjp(tj). Summing on all paths p in Pl, we obtain

    pPlλπvp(tπv)=1dTπv,jdt|tjpPlλjp(tj) (56)

    Substituting equations (55) and (56) in the right hand side of equation (54) and using the time mapped link constraint from equation (50), we obtain

    cv,l(tπv)=1dTπv,jdt|tj[pPlλjp(tj)μjl(tj)] (57)
    =1dTπv,jdt|tjcjl(tj) (58)

    For all lLoutv, cv,l(tπv) and cjl(tj) are proportional (and the proportionality ratio is independent from l). Therefore, the argmax in equation (53) are the same. which concludes the proof.

    Definition 3.10. Capacity of the active link

    For notational simplicity we denote the capacity of the active link of an agent that enters queue v at time t as follows:

    Qv(t)μπvγv(t)(t)=μvγv(t)t+δv(t) (59)
    =μγv(t)t+δv(t) (60)

    Definition 3.11. Time mapped capacity of the active link

    Let v be a internal node. We define the time mapped active link capacity Qπvv as the capacity of link γv as seen by an agent at node πv.

    QπvvQv (61)

    Let j be an arbitrary node, we define the mapped active link capacity for link γv(t) as seen by an agent at node j as

    QjvTj,πv(Qπvv)=QπvvTπv,j=QvTπv,j (62)

    Physically, if node j and node v are on the same branch with jv (resp. jv), then Qjv(t) is the active link capacity that an agent leaving node j at time t will encounter (resp. encountered) at link γjv(t).

    Definition 3.12 Time mapping of queue state

    Let i be an arbitrary node and j be an internal node. We define the time mapped queue state of queue j at node i, ηij as the queue state at queue j as seen by an agent at queue i

    ηijTi,πv(ηπvj)=ηπvjTπv,i=ηjTπv,i (63)

    Physically, if queue i and node j are on the same branch with ij (resp. ij), then ηij(t) is the queue state an agent that leaves node i at time t encounters (resp. encountered) at queue j.

    We now have the necessary tools to define the evolution of delays at any node of the network with respect to the flows at any upstream node in the network.

    Definition 3.13. First active upstream node

    Let v be an internal node. We define the first active upstream node of v as

    Υjv(t)=max{u|uv,ηju(t)=1} (64)

    For notational convenience we also define the following:

    ˆγjv(t)γjΥjv(t)(t) (65)
    ˆΓjv(t)ΓjΥjv(t)(t) (66)
    ˆQjv(t)QjΥjv(t)(t) (67)
    ˆηjv(t)ηjΥjv(t)(t) (68)

    Theorem 2. Evolution law for delay at an arbitrary internal node v mapped to any node j

    Given an arbitrary internal node vV(S{0}) such that queue v is active, if the flows at the origin are acceptable departure curves and the model requirements are satisfied, the evolution law for delay mapped to any upstream node jVS is

    dδjvdt|t={pΓjv(t)λjp(t)Qjv(t)dT0,jdt|tif  v  isthefirstactivequeue ppΓjv(t)λjp(t)Qjv(t)pˆΓjp(t)λjp(t)ˆQjv(t)otherwise (69)

    Proof. Let t be a time and v be a node. Evolution law (25) in Proposition 2 gives

    dδvdt|t=pΓv(t)λπvp(t)Qv(t)1  (70)

    By the definition of the time mapping functions we have, δπvv(t)δv(t),Qπvv(t)Qv(t),Γπvv(t)Γv(t). Thus, equation (70) becomes:

    dδπvvdt|t=pΓπvv(t)λπvp(t)Qπvv(t)1 (71)

    Case 1: If node v is not the first active node of path p and Υv(t) exists.

    Let for an arbitrary node j, tj=Tj,πv(t). Since all the nodes between Υv(t) and πv are inactive by the definition of Υv(t) (note that Υv(t) may be equal to πv), we have

    tΥv(tπv)=tπv=t (72)

    Furthermore, since ˆηπvv(t)=1, and the full capacity discharge of active links (assumption 3), we have

    pˆΓπvv(t)λΥv(t)p(t)=ˆQπvv(t) (73)
    pˆΓπvv(t)λπvp(t)=ˆQπvv(t) (74)

    Thus:

    pˆΓπvv(t)λπvp(t)ˆQπvv(t)=1 (75)

    By replacing the constant 1 in equation (71) with the above result we get,

    dδπvvdt|t=pΓπvv(t)λπvp(t)Qπvv(t)pˆΓπvv(t)λπvp(t)ˆQπvv(t) (76)

    This gives us the result for j=πv. We will now map this result to any node jVS. By definition of time mapping, we have

    δjv=δπvvTπv,j (77)

    Taking its derivative with respect to time, we obtain

    dδjvdt=[dδπvvdtTπv,j]dTπv,jdt (78)
    dδjvdt|t=[pΓπvvTπv,j(t)λπvpTπv,j(t)QπvvTπv,j(t)pΓπvΥvtTπv,j(t)λπvpTπv,j(t)QπvΥv(t)Tπv,j(t)]dTπv,jdt|t (79)

    Equation (38) on flow mapping gives

    (λπvpTπv,j(t))dTπv,jdt|t=λjp(t) (80)

    Substituting this result and the simple time mapping transformations of λ and Q into equation (79) gives the final result

    dδjvdt|t=pΓjv(t)λjp(t)Qjv(t)pΓjΥv(t)(t)λjp(t)QjΥv(t)(t) (81)
    =pΓjv(t)λjp(t)Qjv(t)pˆΓjv(t)λjp(t)ˆQjv(t) (82)

    Case 2: If node v is the first active node of path p, we leave the constant 1 in equation (71) and follow the same remaining steps as in case 1 to obtain the result.

    dδjvdt|t=pΓjv(t)λjp(t)Qjv(t)dT0,jdt|t (83)

    Applying Theorem 2 with j=0, we see that the delays with respect to the flows at the origin δ0v are solutions to the ordinary differential equations in definition 3.14.

    Definition 3.14. Time mapped delay evolution differential equation

    • If v is not an active node and the flow on its active link γv0 is within capacity, then dδ0vdt=0.

    • If v is an active node or its active link γv0 is over capacity, then

    \begin{align} \left.\dfrac{d\delta^{0}_{v}}{dt}\right|_t = \begin{cases} \dfrac{\sum_{p \in \Gamma^{0}_{v}(t)}\lambda^{0}_{p}(t)}{Q^{0}_{v}(t)} - 1&\\ \text{if } v \text{ is the first active queue} \in p \\ \dfrac{\sum_{p \in \Gamma^{0}_{v}(t)}\lambda^{0}_{p}(t)}{Q^{0}_{v}(t)} - \dfrac{\sum_{p \in \hat{\Gamma}^{0}_{v}(t)}\lambda^{0}_{p}(t)}{\hat{Q}^{0}_{v}(t)} \text{otherwise} \end{cases} \end{align} (84)

    where the time mapping functions are redefined from delays as follows:

    Tj0=0ijδ0i (85)

    Proposition 9. Delay evolution does not depend on departure curves

    All the time mapped quantities in equations (84) can be computed using only the initial delays, departure curve at the origin and the link capacities. It does not require the departure curves for any internal nodes .

    Proof. The time mapping function only depends on the delay functions from definition 3.1. The time mapped flows can be obtained using the time mapping function using Proposition 6. The other time mapped quantities are by definition constructed using the time mapping function as given in section 3.2.2.

    We prove Theorem 1 on the existence and uniqueness of Problem 2 by first showing the equivalence between Problem 2 and Problem 2 (defined below), and then proving the existence and uniqueness of Problem 2 in the next section.

    Problem 2: General delay problem

    Input. An arborescence with source and sink set , capacities , departure functions from the source and initial delays }

    Question. Does a solution to the time mapped delay function from definition 3.14 for each node exist and is it unique?

    Theorem 3. Problem (1) and problem (2) are equivalent

    Proof. The inputs to both problems are identical. Therefore, we only need to prove that the existence of a solution to one problem implies a unique and feasible corresponding solution to the other problem.

    Suppose first that Problem 1 admits a solution.

    By the definition of delay,

    (86)

    By the definition of time mapped delay we obtain,

    (87)
    (88)
    (89)

    which can be made a function of only by equation (86).

    Theorem 2 then ensures that the delay functions thus defined satisfy the time mapped delay evolution from definition 3.14, i.e. a feasible solution to problem 2. Furthermore, the solution is unique from equation (89), since is a strictly increasing function.

    Suppose now that Problem 2 admits a solution . We can build the corresponding departure curves as follows.

    (90)

    The inverse departure curve can be constructed from , since the departure curve is strictly increasing.

    (91)

    The departure curve can also be constructed from due to the strictly increasing nature of the functions.

    We now show that the departure curves thus defined are feasible departure curves, i.e. a feasible solution to problem 1.

    1. is continuous and piecewise because is piecewise continuous. Furthermore, since is strictly increasing for all nodes , is continuous and piecewise .

    2. The capacity constraint on links is imposed by equation (84) due to Proposition 8.

    3.The FIFO condition is satisfied by construction since the delay is not a function of the path .

    4.The full capacity discharge of the active queues is also imposed by by equation (84) due to Proposition 8.

    This section proves Theorem 4 on the existence and uniqueness of the solution to Problem 2.

    Theorem 4.Existence and uniqueness of the solution to problem (2)

    The solution to problem (2) exists and is unique on the time interval of the problem , if the following conditions are satisfied.

    1. the path flows at the origin are piecewise polynomial,

    2. link capacities are piecewise constant over time.

    The proof of this theorem is fairly technical and requires several definitions and lemmas. Theorem 1 is a direct corollary of this result due to to Theorem 3 on the equivalence of the two problems.

    The main goal of the proof of Theorem 4 is to show that there are a finite number of possible transitions, and to integrate equation (84) across the transitions. The next definitions and lemmas enables to establish these properties.

    Definition 3.15 Depth of a node

    We define the depth of a node as the number of links on the unique path from the origin to node

    Definition 3.16 Link constraint comparators and

    Given a node and two distinct links , we define the boolean comparator as follows:

    (92)

    Given a node and link , we define the boolean comparator as follows:

    (93)

    Definition 3.17. Time segment of constant link constraint

    A time segment is a segment of constant link constraint if and only if

    1. for each , the boolean is constant on ,

    2. for each pair of nodes , the boolean is constant on .

    3. for each , the time mapped link capacity is constant on .

    Lemma 10. Under the assumptions on flows and capacities, there are a finite number of segments of constant link constraint

    Proof.  Consider a pair of links . Since capacities are piecewise constant and flows are piecewise polynomial, there are a finite number of segments on which the capacities are constant and flows are polynomial. On any such a segment, and are polynomials. Therefore, the number of times each expression crosses zero is bounded by the degree of the polynomial, which implies that there are a finite number of segments of constant link constraint.

    Lemma 11. Constant active link

    If is a segment of constant link constraint, the active link of any node is constant on .

    Proof. The result comes directly from the definition of a segment of constant constraint.

    Definition 3.18. Solution of depth

    A solution of problem (2) for depth is a set of solutions for all nodes such that . It can be rigorously defined because the equations for only depend on variables associated with nodes of depth less than .

    Definition 3.19. Elementary time segment

    Given a node and a solution of depth (if is not the origin), an elementary segment for node is a time segment such that

    is a segment of constant constraint,

    • If is not the origin, for each node such that , the node state is constant on .

    Lemma 12. Single transition of node state on an elementary segment

    If there exists a solution to problem (2) up to depth , and if is an elementary segment for node , then there is a solution of the problem and node admits at most one transition in .

    Proof. As for each node such that , the node state is constant on , the first active upstream node is constant over time. Moreover, as is a segment of constant constraint, Lemma 11 gives that active link and first active upstream link are constant on , and the sign of is constant on .

    Let us now consider the following four cases:

    1. and since the queue state is already active no transition will occur.

    2. and the queue state will immediately transition to being active . No further transitions will occur as shown above.

    3. and the queue at node starts dissipating. There will be a transition in the queue state to inactive if the queue dissipates by time and the queue state will remain active otherwise.

    4. and the only possibility is the strict equality case and the queue state remains inactive.

    Lemma 13. Unique solution on an elementary segment

    Let be an elementary segment for node . Assuming a solution of depth (if is not the origin), then solution of equation for node exists is unique on .

    Proof. By Lemma 12, there can be at most one state transition of node in . This splits into at most two sub-segments where . From Lemma 11 we have that active link and the first active upstream link are constant on . Therefore, the quantities are constant on . Equation (84) states that

    • If is not an active node and the flow on its active link is within capacity, then .

    • If is an active node or it's active link is over capacity,

    (94)

    As all the variables in equation (94) other than the flow are constant during an elementary segment and the flow is continuous in for all , we can show that equation (94) admits a unique solution on the interval by the Picard-Lindelöf theorem.

    We have now all the ingredients to prove Theorem 4.

    Proof of Theorem 4 We will prove the following proposition: The time interval of interest can be partitioned into a finite set of elementary segments, and the solution to problem (2) exists and is unique

    The proof is done inductively over the depth of the network. If the network contains a single node , is an elementary segment for , and there is a unique solution by Lemma 13. By the induction hypothesis, let us now assume that can be partitioned into a finite number of elementary segments with respect to all nodes of depth and that the solution exists and is unique. Let be times such that is the set of elementary segments for nodes of depth , and let for all be the unique solution of depth .

    Let be the non-empty set of nodes of depth , and let be a node in this set. Lemma 12 gives that for each , there is at most one state transition on . Let be the set of times at which these transitions occur for node . Since there are elementary segments, there can at most be transitions. If is the set of times at which the transitions for all nodes of depth happen, .

    Let be the segments created by splitting at each of the state transitions for nodes of depth . The total number of segments satisfies , since . By the definition of the , for each we have

    • for all , is constant on ,

    is a segment of constant constraint , since it is subset of an elementary segment, which is already by definition a segment of constant constraint.

    Thus, is an elementary segment for all nodes of depth . Furthermore, by Lemma 13, this implies that there is an unique solution to all nodes of depth , which concludes the proof.

    This also completes the proof of Theorem 1.

    Proof of Theorem 1 Problem 1. is equivalent to Problem 2 by Theorem 3 and Problem 2 admits a unique solution by Theorem 4.

    In some applications, it is also important to be able to computing the total delay experienced by an agents that takes a particular path. A provides analytical expressions for the total delay along a path.

    The solution to problem (1) models the flows in the network given the departure time functions at the origin and the initial delays by providing the departure time functions for all the other nodes in the network. The solution can be obtained by first solving problem (2), which provides the agent delay function at each node. Practically, problem (2) easier to directly solve than problem (1), because it corresponds to an explicit automaton that is easy to implement for numerical simulations.

    Given a discretization time step and the initial conditions , algorithm 1 gives a numerical solution to the discretized problem (2). The algorithm numerically integrates the ordinary differential equation (ODE) given in equation (84) over time to obtain the solution. The algorithm relies on the fact that each discretized time step is an elementary segment, because the path flows and capacities are assumed to be constant (discrete approximation) during each time step.

    Algorithm 1 Calculate approximate solution of problem (2)
     

     | Show Table
    DownLoad: CSV

    The first case we will study is that of a simple single path network with multiple queues due to several capacity bottlenecks, as illustrated in figure 3. This network can be modeled as a tree with a single sink, i.e. a single path. Thus, we will remove the path index from the notation in this section. Each internal node has a unique child, thus the internal nodes can be indexed by the integers and the unique path of the tree is . Moreover, as they model a succession of queues on the same road, we can assume that the capacity of each link is constant and equal to capacity of the corresponding road segment . From Theorem 5, we know that the evolution of delay is given by

    (95)
    Figure 3.  Multiple bottlenecks on a road..

    Since, the link with the smallest capacity will always be the last active link :

    (96)

    Thus, the evolution of total delay is equivalent to the evolution law for one queue of capacity , and the network can be simplified to a unique internal node followed by a link of capacity .

    If the capacity of the links is time varying and is the capacity of the most constrained link that the agent entering the network at time is subjected to,

    (97)

    The next application is to compute the the dynamics of a congested freeway off-ramp, using the off-ramp model presented by Newell [38]. This example shows the versatility of the proposed framework, since Newell's the model includes non-FIFO dynamics at the off-ramp. This is accommodated by introducing an additional node and state dependent capacities on two links. The description of the model is as follows. As seen in figure 4(a), there are two flows and that enter the network, which has a capacity of . Therefore, . The exiting flow is restricted by a capacity constraint of at the exit. There are four possible states of queuing dynamics that can occur based on the flow values. Figure 5 illustrates the transitions between the states.

    Figure 4.  Off-Ramp model with its four states -(a) state ; (b) state (c) state (d) state . See figure 5 for a illustration of the state transitions..

    Case 1: . If , no queues will form in the network and there will be no delay.

    Case 2:  and . If , an exit queue will start forming at the entrance to the exit as seen in figure 4(b), which will then restrict the capacity of the freeway from to .

    Case 3: , and . If the freeway flow , then a second freeway queue will start forming behind the exiting agent queue, as seen in figure 4(c), since the freeway demand is greater than the new reduced freeway capacity . This second freeway queue will contain both freeway and exiting agents and therefore the flow exiting the queue will be subject to the first-in-first-out (FIFO) condition. As a result, since the freeway flow is restricted to a rate of , the exiting agent flow at the freeway queue will be restricted to .

    Case 4: , and . Now, if , then the off-ramp queue will start decreasing since the flow is less than the capacity and the queue will disappear. Thus, in this case, an off-ramp bottleneck created a second bottleneck that in turn removed the off-ramp bottleneck, which is an unstable equilibrium. Therefore, as explained in [38], there will be a single queue of both freeway and exiting agents that occurs at the off-ramp, as seen in figure 4(d), and the freeway flow through the bottleneck will be according to the FIFO condition.

    Figure 5.  State transitions in the off-ramp model. The four states and correspond respectively to the cases (a), (b), (c) and (d) from figure 4..

    The uniqueness and existing properties hold even with the state dependent capacities, since the flows are assumed to be piecewise polynomial and therefore lead to a finite number of state transitions. This implies that the link capacities are piecewise constant. Therefore, we can solve for the delays in this network using algorithm 1. Furthermore, this subnetwork can be part of a larger network over which we wish to compute the system delays.

    Figure 6 shows the flow and delay profiles for a numerical example of the off ramp network with the following link capacities: and . We can observe the following state transitions during the simulated time window.

    Figure 6.  Simulation of states and delays as functions of time , given the incoming flows at the off ramp, and road parameters: .

    • At Appearance of exiting agent queue.

    • At Appearance of freeway queue.

    • At Disappearance of exiting agent queue.

    •At Disappearance of freeway queue.

    One interesting observation is that freeway congestion caused by the exiting agent bottleneck persists well beyond the time at which the exiting agent queue disappears.

    This article presented a mathematical framework for modeling traffic flow through a network with a single source and multiple sinks. The model satisfies the standard laws of flow dynamics and is shown to lead to a well-posed dynamics problem with an unique solution. The main benefit of this framework is the ability to analytically prescribe the delays at each junction as a function of the boundary flows at any other upstream junction and the delay over any sub-path with respect to the boundary flow at the source node of the sub-path. This is a critical requirement when solving control and optimization problems over the network, since solving an optimization problem over simulation models is generally intractable in terms of computational complexity. The versatility of computing the delays as a function of the inflow at any point in the network is achieved though a mathematical framework for time mapping the delays. An algorithm for computing a discrete approximation of the system numerically is also provided. The application of the framework is illustrated using two examples, a single path consisting of multiple bottlenecks and a diverge junction with complex junction dynamics. The main limitation of this framework is the requirement that the network only have a single source. The time mapping framework presented can however be generalized to any non-cyclic (tree) network. Thus, the next step would be to introduce merging dynamics into the model to obtain a more general network model.

    In some applications, it is also important to be able to computing the total delay experienced by an agents that takes a particular path. In this section, we provide analytical expressions for the total delay along a path.

    Definition A.1. Total delay of a path

    We define the total delay encountered on a path at time as the total delay encountered by agent on path that enters on the network at throughout its entire path to the sink node.

    (98)

    where is the last non-sink node on path . We define the time mapped total delay as the total delay in path as seen by an agent that is at node at time .

    (99)

    Proposition 14. Total delay as a function of queue delay

    The time mapped total delay encountered on a path is equal to the sum of delay encountered by the agent on its path.

    (100)

    where is the time that the agent is at node .

    Proof. Let . We obtain the result as follows using the definition of delay and a series of time mappings.

    \begin{eqnarray} LHS &= &\Delta^{j}_{p}(t^{j}) \nonumber\\ &= &\mathbf{T}^{j}_{0}(\Delta{0}{p}(t^{j})) \nonumber\\ &= &\Delta^{0}_{p}(T^{0}_{j}(t^{j})) \nonumber\\ &= &\Delta^{0}_{p}(t^{0}) \nonumber\\ &= &[D^{v_{p_N}}_{p}]^{-1}({D^{0}_{p}(t^{0}})) - t^{0} \nonumber\\ \nonumber\\ RHS &= &\sum\limits_{v \in V_p \backslash (\{0\} \cup S)} \delta^{j}_{v}(t^{j}) \ \ \ = \sum_{v \in V_p \backslash (\{0\} \cup S)} \delta^{\pi_{v}}_{v}(t^{\pi_{v}}) \nonumber\\ &= &\sum\limits_{v \in V_p \backslash (\{0\} \cup S)} [D^{v}_{p}]^{-1}(D^{\pi_{v}}_{p}(t^{\pi_{v}})) - t^{\pi_{v}} \nonumber\\ &= &\sum\limits_{v \in V_p \backslash (\{0\} \cup S)} [D^{v}_{p}]^{-1}(D^{\pi_{v}}_{p}(t^{\pi_{v}})) - [D^{\pi_v}_{p}]^{-1}(D^{\pi_{v}}_{p}(t^{\pi_{v}})) \nonumber\\ &= &\sum\limits_{v \in V_p \backslash (\{0\} \cup S)} [D^{v}_{p}]^{-1}(D^{0}_{p}(t^{0})) - [D^{\pi_v}_{p}]^{-1}(D^{0}_{p}(t^{{0}})) \nonumber\\ &=&[D^{v_{p_N}}_{p}]^{-1}(D^{0}_{p}(t^{0})) - [D^{0}_{p}]^{-1}(D^{0}_{p}(t^{0})) \nonumber\\ &=&[D^{v_{p_N}}_{p}]^{-1}(D^{0}_{p}(t^{0})) \nonumber \end{eqnarray}

    Definition A.2. Active link of the last active queue of a path at time

    Let be a path and be the time that an agent departs node . We define the last active queue of the path time mapped to passing node at time as

    (101)

    For notational convenience we also define the following:

    (102)
    (103)
    (104)

    Theorem 5. Evolution law for total delay

    Let be a path, be a time. The evolution law for total delay at time is

    (105)

    Proof. Taking the dfrac of equation (100) for , we obtain

    (106)
    (107)

    Note that implies node is active when the source flow at time reaches node . From Theorem 2 with we have,

    (108)

    Plugging this into equation (107) gives a telescopic series, since it only considers the active nodes of the path and gives the capacity of the last active link of path . Thus, we obtain

    (109)

    If does not contain an active queue there is no queuing in the path, which means there is no change in the queue length and therefore no change in the delay.

    Remark 9. Note that this theorem can be extended to any subpath such that

    (110)

    Received June 2016; revised December 2016.


    Acknowledgments



    Not applicable

    Author contributions



    M Salami was the project leader of the review. M Salami designed the review. F Aghighi summarized and described the review findings. F Aghighi and M Salami interpreted and discussed review findings. F Aghighi prepared the table and figure. F Aghighi and M Salami prepared the final version.

    Declaration of competing interest



    There is no conflict of interest whatsoever from the author.

    [1] Tillisch K (2014) The effects of gut microbiota on CNS function in humans. Gut Microbes 5: 404-410. https://doi.org/10.4161/gmic.29232
    [2] Mackowiak PA (2013) Recycling metchnikoff: probiotics, the intestinal microbiome and the quest for long life. Front Public Health 1: 52. https://doi.org/10.3389/fpubh.2013.00052
    [3] Al-Asmakh M, Hedin L (2015) Microbiota and the control of blood-tissue barriers. Tissue Barriers 3: e1039691. https://doi.org/10.1080/21688370.2015.1039691
    [4] McKenney PT, Pamer EG (2015) From Hype to Hope: The gut microbiota in enteric infectious disease. Cell 163: 1326-1332. https://doi.org/10.1016/j.cell.2015.11.032
    [5] Novotny M, Klimova B, Valis M (2019) Microbiome and cognitive impairment: can any diets influence learning processes in a positive way?. Front Aging Neurosci 11: 170. https://doi.org/10.3389/fnagi.2019.00170
    [6] Rup L (2012) The human microbiome project. Springer 315-315. https://doi.org/10.1007/s12088-012-0304-9
    [7] Hu X, Wang T, Jin F (2016) Alzheimer's disease and gut microbiota. Sci China Life Sci 59: 1006-1023. https://doi.org/10.1007/s11427-016-5083-9
    [8] Petschow B, Doré J, Hibberd P, et al. (2013) Probiotics, prebiotics, and the host microbiome: the science of translation. Ann N Y Acad Sci 1306: 1-17. https://doi.org/10.1111/nyas.12303
    [9] Qin J, Li R, Raes J, et al. (2010) A human gut microbial gene catalogue established by metagenomic sequencing. Nature 464: 59-65. https://doi.org/10.1038/nature08821
    [10] Ashida H, Ogawa M, Kim M, et al. (2012) Bacteria and host interactions in the gut epithelial barrier. Nat Chem Biol 8: 36-45. https://doi.org/10.1038/nchembio.741
    [11] Moschen AR, Wieser V, Tilg H (2012) Dietary factors: major regulators of the gut's microbiota. Gut Liver 6: 411. https://doi.org/10.5009/gnl.2012.6.4.411
    [12] Mariat D, Firmesse O, Levenez F, et al. (2009) The Firmicutes/Bacteroidetes ratio of the human microbiota changes with age. BMC Microbiol 9: 123. https://doi.org/10.1186/1471-2180-9-123
    [13] Backhed F, Ley RE, Sonnenburg JL, et al. (2005) Host-bacterial mutualism in the human intestine. Science 307: 1915-1920. https://doi.org/10.1126/science.1104816
    [14] Frank DN, St Amand AL, Feldman RA, et al. (2007) Molecular-phylogenetic characterization of microbial community imbalances in human inflammatory bowel diseases. Proc Natl Acad Sci U S A 104: 13780-13785. https://doi.org/10.1073/pnas.0706625104
    [15] Swidsinski A, Loening-Baucke V, Lochs H, et al. (2005) Spatial organization of bacterial flora in normal and inflamed intestine: a fluorescence in situ hybridization study in mice. World J Gastroenterol 11: 1131-1140. https://doi.org/10.3748/wjg.v11.i8.1131
    [16] Furness JB (2006) The organisation of the autonomic nervous system: peripheral connections. Auton Neurosci 130: 1-5. https://doi.org/10.1016/j.autneu.2006.05.003
    [17] Blackshaw LA, Brookes S, Grundy D, et al. (2007) Sensory transmission in the gastrointestinal tract. Neurogastroenterol Motil 19: 1-19. https://doi.org/10.1111/j.1365-2982.2006.00871.x
    [18] Alkasir R, Li J, Li X, et al. (2017) Human gut microbiota: the links with dementia development. Protein Cell 8: 90-102. https://doi.org/10.1007/s13238-016-0338-6
    [19] Quigley EMM (2017) Microbiota-brain-gut axis and neurodegenerative diseases. Curr Neurol Neurosci Rep 17: 94. https://doi.org/10.1007/s11910-017-0802-6
    [20] Felice VD, O'Mahony SM (2017) The microbiome and disorders of the central nervous system. Pharmacol Biochem Behav 160: 1-13. https://doi.org/10.1016/j.pbb.2017.06.016
    [21] Ding HT, Taur Y, Walkup JT (2017) Gut microbiota and autism: key concepts and findings. J Autism Dev Disord 47: 480-489. https://doi.org/10.1007/s10803-016-2960-9
    [22] Lubomski M, Tan AH, Lim SY, et al. (2019) Parkinson's disease and the gastrointestinal microbiome. J Neurol 267: 2507-2523. https://doi.org/10.1007/s00415-019-09320-1
    [23] Painold A, Morkl S A step ahead: Exploring the gut microbiota in inpatients with bipolar disorder during a depressive episode (2019)21: 40-49. https://doi.org/10.1111/bdi.12682
    [24] Zhuang ZQ, Shen LL, Li WW, et al. (2018) Gut microbiota is altered in patients with alzheimer's disease. J Alzheimers Dis 63: 1337-1346. https://doi.org/10.3233/jad-180176
    [25] Arrieta MC, Stiemsma LT, Amenyogbe N, et al. (2014) The intestinal microbiome in early life: health and disease. Front Immunol 5: 427. https://doi.org/10.3389/fimmu.2014.00427
    [26] Voreades N, Kozil A, Weir TL (2014) Diet and the development of the human intestinal microbiome. Front Microbiol 5: 494. https://doi.org/10.3389/fmicb.2014.00494
    [27] Foster JA, McVey Neufeld KA (2013) Gut-brain axis: how the microbiome influences anxiety and depression. Trends Neurosci 36: 305-312. https://doi.org/10.1016/j.tins.2013.01.005
    [28] Zhang YJ, Li S, Gan RY, et al. (2015) Impacts of gut bacteria on human health and diseases. Int J Mol Sci 16: 7493-7519. https://doi.org/10.3390/ijms16047493
    [29] Lin CS, Chang CJ, Lu CC, et al. (2014) Impact of the gut microbiota, prebiotics, and probiotics on human health and disease. Biomed J 37: 259-268. https://doi.org/10.4103/2319-4170.138314
    [30] Norman JM, Handley SA, Virgin HW (2014) Kingdom-agnostic metagenomics and the importance of complete characterization of enteric microbial communities. Gastroenterology 146: 1459-1469. https://doi.org/10.1053/j.gastro.2014.02.001
    [31] Palm NW, de Zoete MR, Flavell RA (2015) Immune-microbiota interactions in health and disease. Clin Immunol 159: 122-127. https://doi.org/10.1016/j.clim.2015.05.014
    [32] Hansen AK, Hansen CHF, Krych L, et al. (2014) Impact of the gut microbiota on rodent models of human disease. World J Gastroenterol 20: 17727. https://doi.org/10.3748/wjg.v20.i47.17727
    [33] Grenham S, Clarke G, Cryan JF, et al. (2011) Brain–gut–microbe communication in health and disease. Front Physiol 2: 94. https://doi.org/10.3389/fphys.2011.00094
    [34] Nicklas W, Keubler L, Bleich A (2015) Maintaining and monitoring the defined microbiota status of gnotobiotic rodents. ILAR J 56: 241-249. https://doi.org/10.1093/ilar/ilv029
    [35] Grover M, Kashyap PC (2014) Germ-free mice as a model to study effect of gut microbiota on host physiology. Neurogastroenterol Motil 26: 745-748. https://doi.org/10.1111/nmo.12366
    [36] Bhattarai Y, Kashyap PC (2016) Germ-free mice model for studying host–microbial interactions. Mouse Models for Drug Discovery . Humana New York, NY 123-135. https://doi.org/10.1007/978-1-4939-3661-8_8
    [37] Fiebiger U, Bereswill S, Heimesaat MM (2016) Dissecting the interplay between intestinal microbiota and host immunity in health and disease: lessons learned from germfree and gnotobiotic animal models. Eur J Microbiol Immunol 6: 253-271. https://doi.org/10.1556/1886.2016.00036
    [38] Kubelkova K, Benuchova M, Kozakova H, et al. (2016) Gnotobiotic mouse model's contribution to understanding host–pathogen interactions. Cell Mol Life Sci 73: 3961-3969. https://doi.org/10.1007/s00018-016-2341-8
    [39] Reinhardt C, Bergentall M, Greiner TU, et al. (2012) Tissue factor and PAR1 promote microbiota-induced intestinal vascular remodelling. Nature 483: 627-631. https://doi.org/10.1038/nature10893
    [40] Pontarollo G, Kollar B, Mann A, et al. (2023) Commensal bacteria weaken the intestinal barrier by suppressing epithelial neuropilin-1 and Hedgehog signaling. Nat Metab 5: 1174-1187. https://doi.org/10.1038/s42255-023-00828-5
    [41] Bäckhed F, Ding H, Wang T, et al. (2004) The gut microbiota as an environmental factor that regulates fat storage. Proc Natl Acad Sci 101: 15718-15723. https://doi.org/10.1073/pnas.0407076101
    [42] Hansen CHF, Nielsen DS, Kverka M, et al. (2012) Patterns of early gut colonization shape future immune responses of the host. PloS one 7: e34043. https://doi.org/10.1371/journal.pone.0034043
    [43] Mazmanian SK, Liu CH, Tzianabos AO, et al. (2005) An immunomodulatory molecule of symbiotic bacteria directs maturation of the host immune system. Cell 122: 107-118. https://doi.org/10.1016/j.cell.2005.05.007
    [44] Neufeld K-AM, Kang N, Bienenstock J, et al. (2011) Effects of intestinal microbiota on anxiety-like behavior. Commun Integr Biol 4: 492-494. https://doi.org/10.4161/cib.4.4.15702
    [45] Olszak T, An D, Zeissig S, et al. (2012) Microbial exposure during early life has persistent effects on natural killer T cell function. Science 336: 489-493. https://doi.org/10.1126/science.1219328
    [46] Schéle E, Grahnemo L, Anesten F, et al. (2013) The gut microbiota reduces leptin sensitivity and the expression of the obesity-suppressing neuropeptides proglucagon (Gcg) and brain-derived neurotrophic factor (Bdnf) in the central nervous system. Endocrinology 154: 3643-3651. https://doi.org/10.1210/en.2012-2151
    [47] Sudo N, Chida Y, Aiba Y, et al. (2004) Postnatal microbial colonization programs the hypothalamic–pituitary–adrenal system for stress response in mice. J Physiol 558: 263-275. https://doi.org/10.1113/jphysiol.2004.063388
    [48] Bleich A, Mähler M (2005) Environment as a critical factor for the pathogenesis and outcome of gastrointestinal disease: experimental and human inflammatory bowel disease and helicobacter-induced gastritis. Pathobiology 72: 293-307. https://doi.org/10.1159/000091327
    [49] Sellon RK, Tonkonogy S, Schultz M, et al. (1998) Resident enteric bacteria are necessary for development of spontaneous colitis and immune system activation in interleukin-10-deficient mice. Infection and immunity 66: 5224-5231. https://doi.org/10.1128/iai.66.11.5224-5231.1998
    [50] Song F, Ito K, Denning TL, et al. (1999) Expression of the neutrophil chemokine KC in the colon of mice with enterocolitis and by intestinal epithelial cell lines: effects of flora and proinflammatory cytokines. J Immunol 162: 2275-2280. https://doi.org/10.4049/jimmunol.162.4.2275
    [51] Wostmann BS (1981) The germfree animal in nutritional studies. Annu Rev Nutr 1: 257-279. https://doi.org/10.1146/annurev.nu.01.070181.001353
    [52] Al-Asmakh M, Zadjali F (2015) Use of germ-free animal models in microbiota-related research. J Microbiol Biotechnol 25: 1583-1588. https://doi.org/10.4014/jmb.1501.01039
    [53] Nuttall GH, Thierfelder H (1896) Thierisches leben ohne bakterien im verdauungskanal. Biol Chem 21: 109-121. https://doi.org/10.1515/bchm2.1896.21.2-3.109
    [54] Gustafsson B (1946) Germ-free rearing of rats. Cells Tissues Organs 2: 376-391. https://doi.org/10.1159/000140222
    [55] Reyniers JA (1946) Rearing germfree albino rats. Lobund reports 1: 1.
    [56] Reyniers JA (1959) The pure-culture concept and gnotobiotics. Ann N Y Acad Sci 78: 3-16. https://doi.org/10.1111/j.1749-6632.1959.tb53091.x
    [57] Bruckner G (1997) How it started-and what is mas?. Institute Microbiol Biochem : 24-34.
    [58] Gustafsson B, Kahlson G, Rosengren E (1957) Biogenesis of histamine studied by its distribution and urinary excretion in germ free reared and not germ free rats fed a histamine free diet. Acta Physiol Scand 41: 217-228. https://doi.org/10.1111/j.1748-1716.1957.tb01522.x
    [59] Gustafsson BE (1959) Lightweight stainless steel systems for rearing germfree animals. Ann N Y Acad Sci 78: 17-28. https://doi.org/10.1111/j.1749-6632.1959.tb53092.x
    [60] Miyakawa M (1959) The miyakawa remote-control germfree rearing unit. Ann N Y Acad Sci 78: 37-46. https://doi.org/10.1111/j.1749-6632.1959.tb53094.x
    [61] Pleasants JR (1959) Rearing germfree cesarean-born rats, mice, and rabbits through weaning. Ann N Y Acad Sci 78: 116-126. https://doi.org/10.1111/j.1749-6632.1959.tb53099.x
    [62] Kirk RG (2012) “Life in a germ-free world”: isolating life from the laboratory animal to the bubble boy. Bull Hist Med 237. https://doi.org/10.1353/bhm.2012.0028
    [63] Betts A, Trexler P (1969) Development and possible uses for gnotobiotic farm animals. The Vet Rec 84: 630-632. https://doi.org/10.1136/vr.84.25.630
    [64] Barnes R, Tuffrey M, Cook R (1968) A “germfree” human isolator. Lancet 291: 622-623. https://doi.org/10.1016/s0140-6736(68)91241-5
    [65] Barnes R, Bentovim A, Hensman S, et al. (1969) Care and observation of a germ-free neonate. Arch Dis Child 44: 211. https://doi.org/10.1136/adc.44.234.211
    [66] Barnes R, Fairweather D, Holliday J, et al. (1969) A germfree infant. Lancet 293: 168-171. https://doi.org/10.1016/s0140-6736(69)91187-8
    [67] Lawrence RJ (1985) David the ‘bubble boy’ and the boundaries of the human. JAMA 253: 74-76. https://doi.org/10.1001/jama.1985.03350250082028
    [68] Wullaert A, Lamkanfi M, McCoy KD (2018) Defining the impact of host genotypes on microbiota composition requires meticulous control of experimental variables. Immunity 48: 605-607. https://doi.org/10.1016/j.immuni.2018.04.001
    [69] Macpherson A, McCoy K (2015) Standardised animal models of host microbial mutualism. Mucosal Immunol 8: 476-486. https://doi.org/10.1038/mi.2014.113
    [70] Dremova O, Mimmler M, Paeslack N, et al. (2023) Sterility testing of germ-free mouse colonies. Front Immunol 14: 1275109. https://doi.org/10.3389/fimmu.2023.1275109
    [71] Kennedy EA, King KY, Baldridge MT (2018) Mouse microbiota models: comparing germ-free mice and antibiotics treatment as tools for modifying gut bacteria. Front Physiol 9: 1534. https://doi.org/10.3389/fphys.2018.01534
    [72] Bayer F, Ascher S, Pontarollo G, et al. (2019) Antibiotic treatment protocols and germ-free mouse models in vascular research. Front Immunol 10: 2174. https://doi.org/10.3389/fimmu.2019.02174
    [73] Bolsega S, Bleich A, Basic M (2021) Synthetic microbiomes on the rise—application in deciphering the role of microbes in host health and disease. Nutrients 13: 4173. https://doi.org/10.3390/nu13114173
    [74] Qv L, Yang Z, Yao M, et al. (2020) Methods for establishment and maintenance of germ-free rat models. Front Microbiol 11: 1148. https://doi.org/10.3389/fmicb.2020.01148
    [75] Wiles MV, Taft RA (2010) The sophisticated mouse: protecting a precious reagent. Mouse Models for Drug Discovery: Methods and Protocols . Humana Totowa, NJ 23-36. https://doi.org/10.1007/978-1-60761-058-8_2
    [76] Mouse Genome Sequencing Consortium.Initial sequencing and comparative analysis of the mouse genome. Nature (2002) 420: 520-562. https://doi.org/10.1038/nature01262
    [77] Doetschman T, Gregg RG, Maeda N, et al. (1987) Targetted correction of a mutant HPRT gene in mouse embryonic stem cells. Nature 330: 576-578. https://doi.org/10.1038/330576a0
    [78] Turnbaugh PJ, Ley RE, Mahowald MA, et al. (2006) An obesity-associated gut microbiome with increased capacity for energy harvest. Nature 444: 1027-1031. https://doi.org/10.1038/nature05414
    [79] Turnbaugh PJ, Ridaura VK, Faith JJ, et al. (2009) The effect of diet on the human gut microbiome: a metagenomic analysis in humanized gnotobiotic mice. Sci Transl Med 1: 6ra14. https://doi.org/10.1126/scitranslmed.3000322
    [80] Bercik P, Denou E, Collins J, et al. (2011) The intestinal microbiota affect central levels of brain-derived neurotropic factor and behavior in mice. Gastroenterology 141: 599-609. https://doi.org/10.1053/j.gastro.2011.04.052
    [81] Borody TJ, Khoruts A (2012) Fecal microbiota transplantation and emerging applications. Nat Rev Gastroenterol Hepatol 9: 88-96. https://doi.org/10.1038/nrgastro.2011.244
    [82] Cryan JF, Dinan TG (2012) Mind-altering microorganisms: the impact of the gut microbiota on brain and behaviour. Nat Rev Neurosci 13: 701-712. https://doi.org/10.1038/nrn3346
    [83] Aroniadis OC, Brandt LJ (2013) Fecal microbiota transplantation: past, present and future. Curr Opin Gastroenterol 29: 79-84. https://doi.org/10.1097/mog.0b013e32835a4b3e
    [84] Ridaura VK, Faith JJ, Rey FE, et al. (2013) Gut microbiota from twins discordant for obesity modulate metabolism in mice. Science 341: 1241214. https://doi.org/10.1126/science.1241214
    [85] Suez J, Korem T, Zeevi D, et al. (2014) Artificial sweeteners induce glucose intolerance by altering the gut microbiota. Nature 514: 181-186. https://doi.org/10.1038/nature13793
    [86] Thaiss CA, Zeevi D, Levy M, et al. (2014) Transkingdom control of microbiota diurnal oscillations promotes metabolic homeostasis. Cell 159: 514-529. https://doi.org/10.1016/j.cell.2014.09.048
    [87] Leone V, Gibbons SM, Martinez K, et al. (2015) Effects of diurnal variation of gut microbes and high-fat feeding on host circadian clock function and metabolism. Cell Host Microbe 17: 681-689. https://doi.org/10.1016/j.chom.2015.03.006
    [88] Wostmann BS (2020) Germfree and gnotobiotic animal models: background and applications. CRC Press. https://doi.org/10.1201/9780138753320
    [89] Yi P, Li L (2012) The germfree murine animal: an important animal model for research on the relationship between gut microbiota and the host. Vet Microbiol 157: 1-7. https://doi.org/10.1016/j.vetmic.2011.10.024
    [90] Gonzalez-Arancibia C, Urrutia-Pinones J, Illanes-Gonzalez J, et al. (2019) Do your gut microbes affect your brain dopamine?. Psychopharmacology 236: 1611-1622. https://doi.org/10.1007/s00213-019-05265-5
    [91] Stinson LF, Payne MS, Keelan JA (2017) Planting the seed: origins, composition, and postnatal health significance of the fetal gastrointestinal microbiota. Crit Rev Microbiol 43: 352-369. https://doi.org/10.1080/1040841x.2016.1211088
    [92] Aagaard K, Ma J, Antony KM, et al. (2014) The placenta harbors a unique microbiome. Sci Transl Med 6: 237ra265. https://doi.org/10.1126/scitranslmed.3008599
    [93] Jiménez E, Fernández L, Marín ML, et al. (2005) Isolation of commensal bacteria from umbilical cord blood of healthy neonates born by cesarean section. Curr Microbiol 51: 270-274. https://doi.org/10.1007/s00284-005-0020-3
    [94] Bearfield C, Davenport ES, Sivapathasundaram V, et al. (2002) Possible association between amniotic fluid micro-organism infection and microflora in the mouth. BJOG 109: 527-533. https://doi.org/10.1111/j.1471-0528.2002.01349.x
    [95] Jiménez E, Marín ML, Martín R, et al. (2008) Is meconium from healthy newborns actually sterile?. Res Microbiol 159: 187-193. https://doi.org/10.1016/j.resmic.2007.12.007
    [96] Rautava S, Collado MC, Salminen S, et al. (2012) Probiotics modulate host-microbe interaction in the placenta and fetal gut: a randomized, double-blind, placebo-controlled trial. Neonatology 102: 178-184. https://doi.org/10.1159/000339182
    [97] Steel JH, Malatos S, Kennea N, et al. (2005) Bacteria and inflammatory cells in fetal membranes do not always cause preterm labor. Pediatr Res 57: 404-411. https://doi.org/10.1203/01.pdr.0000153869.96337.90
    [98] Arvidsson C, Hallén A, Bäckhed F (2012) Generating and analyzing germ-free mice. Curr Protoc Mouse Biol 2: 307-316. https://doi.org/10.1002/9780470942390.mo120064
    [99] McCoy KD, Geuking MB, Ronchi F (2017) Gut microbiome standardization in control and experimental mice. Curr Protoc Immunol 117: 23.21. https://doi.org/10.1002/cpim.25
    [100] Walter J, Hornef MW (2021) A philosophical perspective on the prenatal in utero microbiome debate. Microbiome 9: 5. https://doi.org/10.1186/s40168-020-00979-7
    [101] Macpherson AJ, Harris NL (2004) Interactions between commensal intestinal bacteria and the immune system. Nat Rev Immunol 4: 478-485. https://doi.org/10.1038/nri1373
    [102] Smith K, McCoy KD, Macpherson AJ (2007) Use of axenic animals in studying the adaptation of mammals to their commensal intestinal microbiota. Semin Immunol 19: 59-69. https://doi.org/10.1016/j.smim.2006.10.002
    [103] Faith JJ, Rey FE, O'donnell D, et al. (2010) Creating and characterizing communities of human gut microbes in gnotobiotic mice. ISME J 4: 1094-1098. https://doi.org/10.1038/ismej.2010.110
    [104] Bibiloni R (2012) Rodent models to study the relationships between mammals and their bacterial inhabitants. Gut Microbes 3: 536-543. https://doi.org/10.4161/gmic.21905
    [105] Stilling RM, Dinan TG, Cryan JF (2014) Microbial genes, brain & behaviour–epigenetic regulation of the gut–brain axis. Genes Brain Behav 13: 69-86. https://doi.org/10.1111/gbb.12109
    [106] Basic M, Bleich A (2019) Gnotobiotics: Past, present and future. Lab Anim 53: 232-243. https://doi.org/10.1177/0023677219836715
    [107] Bhattarai Y, Kashyap PC (2016) Germ-free mice model for studying host–microbial interactions. Mouse Models for Drug Discovery: Methods and Protocols . Humana Totowa, NJ 123-135. https://doi.org/10.1007/978-1-4939-3661-8_8
    [108] Lundberg R, Toft MF, August B, et al. (2016) Antibiotic-treated versus germ-free rodents for microbiota transplantation studies. Gut Microbes 7: 68-74. https://doi.org/10.1080/19490976.2015.1127463
    [109] Farzi A, Gorkiewicz G, Holzer P Non-absorbable oral antibiotic treatment in mice affects multiple levels of the microbiota-gut-brain axis; Wiley-blackwell 111 river st, hoboken 07030-5774, NJ USA (2012) 78-78.
    [110] Desbonnet L, Clarke G, Traplin A, et al. (2015) Gut microbiota depletion from early adolescence in mice: Implications for brain and behaviour. Brain Behav Immun 48: 165-173. https://doi.org/10.1016/j.bbi.2015.04.004
    [111] Ellekilde M, Selfjord E, Larsen CS, et al. (2014) Transfer of gut microbiota from lean and obese mice to antibiotic-treated mice. Sci Rep 4: 1-8. https://doi.org/10.1038/srep05922
    [112] Baldridge MT, Nice TJ, McCune BT, et al. (2015) Commensal microbes and interferon-λ determine persistence of enteric murine norovirus infection. Science 347: 266-269. https://doi.org/10.1126/science.1258025
    [113] Gonzalez-Perez G, Hicks AL, Tekieli TM, et al. (2016) Maternal antibiotic treatment impacts development of the neonatal intestinal microbiome and antiviral immunity. J Immunol 196: 3768-3779. https://doi.org/10.4049/jimmunol.1502322
    [114] Brown RL, Sequeira RP, Clarke TB (2017) The microbiota protects against respiratory infection via GM-CSF signaling. Nat Commun 8: 1-11. https://doi.org/10.1038/s41467-017-01803-x
    [115] Bruce-Keller AJ, Salbaum JM, Luo M, et al. (2015) Obese-type gut microbiota induce neurobehavioral changes in the absence of obesity. Biol Psychiatry 77: 607-615. https://doi.org/10.1016/j.biopsych.2014.07.012
    [116] Ericsson AC, Personett AR, Turner G, et al. (2017) Variable colonization after reciprocal fecal microbiota transfer between mice with low and high richness microbiota. Front Microbiol 196. https://doi.org/10.3389/fmicb.2017.00196
    [117] He B, Nohara K, Ajami NJ, et al. (2015) Transmissible microbial and metabolomic remodeling by soluble dietary fiber improves metabolic homeostasis. Sci Rep 5: 1-12. https://doi.org/10.1038/srep10604
    [118] Kelly JR, Borre Y, O'Brien C, et al. (2016) Transferring the blues: depression-associated gut microbiota induces neurobehavioural changes in the rat. J Psychiatr Res 82: 109-118. https://doi.org/10.1016/j.jpsychires.2016.07.019
    [119] Yano JM, Yu K, Donaldson GP, et al. (2015) Indigenous bacteria from the gut microbiota regulate host serotonin biosynthesis. Cell 161: 264-276. https://doi.org/10.1016/j.cell.2015.02.047
    [120] Zhou D, Pan Q, Shen F, et al. (2017) Total fecal microbiota transplantation alleviates high-fat diet-induced steatohepatitis in mice via beneficial regulation of gut microbiota. Sci Rep 7: 1-11. https://doi.org/10.1038/s41598-017-01751-y
    [121] Ubeda C, Bucci V, Caballero S, et al. (2013) Intestinal microbiota containing Barnesiella species cures vancomycin-resistant Enterococcus faecium colonization. Infect Immun 81: 965-973. https://doi.org/10.1128/iai.01197-12
    [122] Reikvam DH, Erofeev A, Sandvik A, et al. (2011) Depletion of murine intestinal microbiota: effects on gut mucosa and epithelial gene expression. PloS One 6: e17996. https://doi.org/10.1371/journal.pone.0017996
    [123] Grasa L, Abecia L, Forcén R, et al. (2015) Antibiotic-induced depletion of murine microbiota induces mild inflammation and changes in toll-like receptor patterns and intestinal motility. Microb Ecol 70: 835-848. https://doi.org/10.1007/s00248-015-0613-8
    [124] Zákostelská Z, Málková J, Klimešová K, et al. (2016) Intestinal microbiota promotes psoriasis-like skin inflammation by enhancing Th17 response. PloS One 11: e0159539. https://doi.org/10.1371/journal.pone.0159539
    [125] Abt MC, Osborne LC, Monticelli LA, et al. (2012) Commensal bacteria calibrate the activation threshold of innate antiviral immunity. Immunity 37: 158-170. https://doi.org/10.1016/j.immuni.2012.04.011
    [126] Emal D, Rampanelli E, Stroo I, et al. (2017) Depletion of gut microbiota protects against renal ischemia-reperfusion injury. J Am Soc Nephrol 28: 1450-1461. https://doi.org/10.1681/asn.2016030255
    [127] Kuss SK, Best GT, Etheredge CA, et al. (2011) Intestinal microbiota promote enteric virus replication and systemic pathogenesis. Science 334: 249-252. https://doi.org/10.1126/science.1211057
    [128] Williams SC (2014) Gnotobiotics. Proc Natl Acad Sci USA 111: 1661. https://doi.org/10.1073/pnas.1324049111
    [129] Fontaine CA, Skorupski AM, Vowles CJ, et al. (2015) How free of germs is germ-free? Detection of bacterial contamination in a germ free mouse unit. Gut Microbes 6: 225-233. https://doi.org/10.1080/19490976.2015.1054596
    [130] Hörmannsperger G, Schaubeck M, Haller D (2015) Intestinal microbiota in animal models of inflammatory diseases. ILAR J 56: 179-191. https://doi.org/10.1093/ilar/ilv019
    [131] Reyniers J, Sacksteder MR Observations on the survival of germfree C3H mice and their resistance to a contaminated environment (1958) 41-53.
    [132] Gordon HA, Bruckner-kardoss E, Wostmann BS (1966) Aging in germ-free mice: life tables and lesions observed at natural death. J Gerontol 21: 380-387. https://doi.org/10.1093/geronj/21.3.380
    [133] Abrams GD, Bauer H, Sprinz H (1962) Influence of the normal flora on mucosal morphology and cellular renewal in the ileum. A comparison of germ-free and conventional mice. Mount Sinai Hospial N Y .
    [134] Gordon H, Wostmann B (1973) Chronic mild diarrhea in germfree rodents: a model portraying host-flora synergism. Germfree Res : 593-601.
    [135] Coates ME, Hewitt D, Salter D (1971) Protein metabolism in the germ-free and conventional chick. Germfree research, biological effect of gnotobiotic environments . Academic New York 291-295.
    [136] Shimizu K, Muranaka Y, Fujimura R, et al. (1998) Normalization of reproductive function in germfree mice following bacterial contamination. Exp Anim 47: 151-158. https://doi.org/10.1538/expanim.47.151
    [137] Wen L, Ley RE, Volchkov PY, et al. (2008) Innate immunity and intestinal microbiota in the development of Type 1 diabetes. Nature 455: 1109-1113. https://doi.org/10.1038/nature07336
    [138] Candon S, Perez-Arroyo A, Marquet C, et al. (2015) Antibiotics in early life alter the gut microbiome and increase disease incidence in a spontaneous mouse model of autoimmune insulin-dependent diabetes. PloS One 10: e0125448. https://doi.org/10.1371/journal.pone.0125448
    [139] Hansen C, Krych L, Nielsen D, et al. (2012) Early life treatment with vancomycin propagates Akkermansia muciniphila and reduces diabetes incidence in the NOD mouse. Diabetologia 55: 2285-2294. https://doi.org/10.1007/s00125-012-2564-7
    [140] Weng M, Walker W (2013) The role of gut microbiota in programming the immune phenotype. J Dev Origins Health Dis 4: 203-214. https://doi.org/10.1017/s2040174412000712
    [141] Jaggar M, Rea K, Spichak S, et al. (2020) You've got male: sex and the microbiota-gut-brain axis across the lifespan. Front Neuroendocrinol 56: 100815. https://doi.org/10.1016/j.yfrne.2019.100815
    [142] Schubert AM, Sinani H, Schloss PD (2015) Antibiotic-induced alterations of the murine gut microbiota and subsequent effects on colonization resistance against Clostridium difficile. mBio 6: e00974. https://doi.org/10.1128/mbio.00974-15
    [143] Zackular JP, Baxter NT, Chen GY, et al. (2016) Manipulation of the gut microbiota reveals role in colon tumorigenesis. mSphere 1. https://doi.org/10.1128/msphere.00001-15
    [144] Rune I, Hansen C, Ellekilde M, et al. (2013) Ampicillin-improved glucose tolerance in diet-induced obese C57BL/6NTac mice is age dependent. J Diabetes Res 2013. https://doi.org/10.1155/2013/319321
    [145] Atarashi K, Tanoue T, Shima T, et al. (2011) Induction of colonic regulatory T cells by indigenous Clostridium species. Science 331: 337-341. https://doi.org/10.1126/science.1198469
    [146] Hansen AK (1995) Antibiotic treatment of nude rats and its impact on the aerobic bacterial flora. Lab Ani 29: 37-44. https://doi.org/10.1258/002367795780740410
    [147] Zhang L, Huang Y, Zhou Y, et al. (2013) Antibiotic administration routes significantly influence the levels of antibiotic resistance in gut microbiota. Antimicrob Agents Chemother 57: 3659-3666. https://doi.org/10.1128/aac.00670-13
    [148] Morgun A, Dzutsev A, Dong X, et al. (2015) Uncovering effects of antibiotics on the host and microbiota using transkingdom gene networks. Gut 64: 1732-1743. https://doi.org/10.1136/gutjnl-2014-308820
    [149] Ubeda C, Taur Y, Jenq RR, et al. (2010) Vancomycin-resistant Enterococcus domination of intestinal microbiota is enabled by antibiotic treatment in mice and precedes bloodstream invasion in humans. J Clin Invest 120: 4332-4341. https://doi.org/10.1172/jci43918
    [150] Barfod KK, Roggenbuck M, Hansen LH, et al. (2013) The murine lung microbiome in relation to the intestinal and vaginal bacterial communities. BMC Microbiol 13: 1-12. https://doi.org/10.1186/1471-2180-13-303
    [151] Srinivas G, Möller S, Wang J, et al. (2013) Genome-wide mapping of gene–microbiota interactions in susceptibility to autoimmune skin blistering. Nat Commun 4: 1-7. https://doi.org/10.1038/ncomms3462
    [152] Fröhlich EE, Farzi A, Mayerhofer R, et al. (2016) Cognitive impairment by antibiotic-induced gut dysbiosis: analysis of gut microbiota-brain communication. Brain Behav Immun 56: 140-155. https://doi.org/10.1016/j.bbi.2016.02.020
    [153] Delungahawatta T, West C, Stanisz A, et al. (2018) A301 antibiotics increase vagal afferent firing in the mouse jejunum. J Can Assoc Gastroenterol 1: 432-432. https://doi.org/10.1093/jcag/gwy009.301
    [154] Delungahawatta T, Amin JY, Stanisz AM, et al. (2017) Antibiotic driven changes in gut motility suggest direct modulation of enteric nervous system. Front Neurosci 11: 588. https://doi.org/10.3389/fnins.2017.00588
    [155] Underhill DM, Iliev ID (2014) The mycobiota: interactions between commensal fungi and the host immune system. Nat Rev Immunol 14: 405-416. https://doi.org/10.1038/nri3684
    [156] Virgin HW (2014) The virome in mammalian physiology and disease. Cell 157: 142-150. https://doi.org/10.1016/j.cell.2014.02.032
    [157] Noverr MC, Noggle RM, Toews GB, et al. (2004) Role of antibiotics and fungal microbiota in driving pulmonary allergic responses. Infect Immun 72: 4996-5003. https://doi.org/10.1128/iai.72.9.4996-5003.2004
    [158] Kim Y-G, Udayanga KGS, Totsuka N, et al. (2014) Gut dysbiosis promotes M2 macrophage polarization and allergic airway inflammation via fungi-induced PGE2. Cell Host Microbe 15: 95-102. https://doi.org/10.1016/j.chom.2013.12.010
    [159] Hernández-Chirlaque C, Aranda CJ, Ocón B, et al. (2016) Germ-free and antibiotic-treated mice are highly susceptible to epithelial injury in DSS colitis. J Crohn's Colitis 10: 1324-1335. https://doi.org/10.1093/ecco-jcc/jjw096
    [160] Kuno T, Hirayama-Kurogi M, Ito S, et al. (2016) Effect of intestinal flora on protein expression of drug-metabolizing enzymes and transporters in the liver and kidney of germ-free and antibiotics-treated mice. Mol Pharm 13: 2691-2701. https://doi.org/10.1021/acs.molpharmaceut.6b00259
    [161] Reinhardt C, Bergentall M, Greiner TU, et al. (2012) Tissue factor and PAR1 promote microbiota-induced intestinal vascular remodelling. Nature 483: 627-631. https://doi.org/10.1038/nature10893
    [162] Sommer F, Bäckhed F (2013) The gut microbiota—masters of host development and physiology. Nat Rev Microbiol 11: 227-238. https://doi.org/10.1038/nrmicro2974
    [163] Josefsdottir KS, Baldridge MT, Kadmon CS, et al. (2017) Antibiotics impair murine hematopoiesis by depleting the intestinal microbiota. Blood 129: 729-739. https://doi.org/10.1182/blood-2016-03-708594
    [164] Iwamura C, Bouladoux N, Belkaid Y, et al. (2017) Sensing of the microbiota by NOD1 in mesenchymal stromal cells regulates murine hematopoiesis. Blood 129: 171-176. https://doi.org/10.1182/blood-2016-06-723742
    [165] Zhang D, Chen G, Manwani D, et al. (2015) Neutrophil ageing is regulated by the microbiome. Nature 525: 528-532. https://doi.org/10.1038/nature15367
    [166] Ichinohe T, Pang IK, Kumamoto Y, et al. (2011) Microbiota regulates immune defense against respiratory tract influenza A virus infection. Proc Natl Acad Sci 108: 5354-5359. https://doi.org/10.1073/pnas.1019378108
    [167] Oh JE, Kim B-C, Chang D-H, et al. (2016) Dysbiosis-induced IL-33 contributes to impaired antiviral immunity in the genital mucosa. Proc Natl Acad Sci 113: E762-E771. https://doi.org/10.1073/pnas.1518589113
    [168] Naik S, Bouladoux N, Wilhelm C, et al. (2012) Compartmentalized control of skin immunity by resident commensals. Science 337: 1115-1119. https://doi.org/10.1126/science.1225152
    [169] Luczynski P, McVey Neufeld K-A, Oriach CS, et al. (2016) Growing up in a bubble: using germ-free animals to assess the influence of the gut microbiota on brain and behavior. Interl J Neuropsychopharmacol 19. https://doi.org/10.1093/ijnp/pyw020
    [170] Uzbay T (2019) Germ-free animal experiments in the gut microbiota studies. Current Opinion in Pharmacology 49: 6-10. https://doi.org/10.1016/j.coph.2019.03.016
    [171] Spychala MS, Venna VR, Jandzinski M, et al. (2018) Age-related changes in the gut microbiota influence systemic inflammation and stroke outcome. Ann Neurol 84: 23-36. https://doi.org/10.1002/ana.25250
    [172] Lai Z-L, Tseng C-H, Ho HJ, et al. (2018) Fecal microbiota transplantation confers beneficial metabolic effects of diet and exercise on diet-induced obese mice. Sci Rep 8: 1-11. https://doi.org/10.1038/s41598-018-33893-y
    [173] Saiman Y, Shen TCD, Lund PJ, et al. (2021) Global microbiota-dependent histone acetylation patterns are irreversible and independent of short chain fatty acids. Hepatology 74: 3427-3440. https://doi.org/10.1002/hep.32043
    [174] Mell B, Jala VR, Mathew AV, et al. (2015) Evidence for a link between gut microbiota and hypertension in the Dahl rat. Physiol Genomics 47: 187-197. https://doi.org/10.1152/physiolgenomics.00136.2014
    [175] Sayin SI, Wahlström A, Felin J, et al. (2013) Gut microbiota regulates bile acid metabolism by reducing the levels of tauro-beta-muricholic acid, a naturally occurring FXR antagonist. Cell Metab 17: 225-235. https://doi.org/10.1016/j.cmet.2013.01.003
    [176] Wichmann A, Allahyar A, Greiner TU, et al. (2013) Microbial modulation of energy availability in the colon regulates intestinal transit. Cell Host Microbe 14: 582-590. https://doi.org/10.1016/j.chom.2013.09.012
    [177] Fernández-Santoscoy M, Wenzel UA, Yrlid U, et al. (2015) The gut microbiota reduces colonization of the mesenteric lymph nodes and il-12-independent ifn-γ production during salmonella infection. Front Cell Infect Microbiol 5: 93. https://doi.org/10.3389/fcimb.2015.00093
    [178] Kelly CJ, Zheng L, Campbell EL, et al. (2015) Crosstalk between microbiota-derived short-chain fatty acids and intestinal epithelial hif augments tissue barrier function. Cell Host Microbe 17: 662-671. https://doi.org/10.1016/j.chom.2015.03.005
    [179] Gopalakrishnan V, Dozier EA, Glover MS, et al. (2021) Engraftment of bacteria after fecal microbiota transplantation is dependent on both frequency of dosing and duration of preparative antibiotic regimen. Microorganisms 9: 1399. https://doi.org/10.3390/microorganisms9071399
    [180] Barcena C, Valdés-Mas R, Mayoral P, et al. (2019) Healthspan and lifespan extension by fecal microbiota transplantation into progeroid mice. Nat Med 25: 1234-1242. https://doi.org/10.1038/s41591-019-0504-5
    [181] Cao H, Liu X, An Y, et al. (2017) Dysbiosis contributes to chronic constipation development via regulation of serotonin transporter in the intestine. Sci Rep 7: 1-12. https://doi.org/10.1038/s41598-017-10835-8
    [182] Routy B, Le Chatelier E, Derosa L, et al. (2018) Gut microbiome influences efficacy of PD-1–based immunotherapy against epithelial tumors. Science 359: 91-97. https://doi.org/10.1126/science.aan3706
    [183] Li Y, Ning L, Yin Y, et al. (2020) Age-related shifts in gut microbiota contribute to cognitive decline in aged rats. Aging 12: 7801. https://doi.org/10.18632/aging.103093
    [184] Hughes KR, Schofield Z, Dalby MJ, et al. (2020) The early life microbiota protects neonatal mice from pathological small intestinal epithelial cell shedding. FASEB J 34: 7075-7088. https://doi.org/10.1096/fj.202000042r
    [185] Liu Z, Li N, Fang H, et al. (2019) Enteric dysbiosis is associated with sepsis in patients. The FASEB J 33: 12299-1231. https://doi.org/10.1096/fj.201900398rr
    [186] Kim SG, Becattini S, Moody TU, et al. (2019) Microbiota-derived lantibiotic restores resistance against vancomycin-resistant Enterococcus. Nature 572: 665-669. https://doi.org/10.1038/s41586-019-1501-z
    [187] Xu T, Ge Y, Du H, et al. (2021) Berberis kansuensis extract alleviates type 2 diabetes in rats by regulating gut microbiota composition. J Ethnopharmacol 273: 113995. https://doi.org/10.1016/j.jep.2021.113995
    [188] Le Bastard Q, Ward T, Sidiropoulos D, et al. (2018) Fecal microbiota transplantation reverses antibiotic and chemotherapy-induced gut dysbiosis in mice. Sci Rep 8: 1-11. https://doi.org/10.1038/s41598-018-24342-x
    [189] Staley C, Kaiser T, Beura LK, et al. (2017) Stable engraftment of human microbiota into mice with a single oral gavage following antibiotic conditioning. Microbiome 5: 87. https://doi.org/10.1186/s40168-017-0306-2
    [190] Hoyles L, Fernández-Real JM, Federici M, et al. (2018) Molecular phenomics and metagenomics of hepatic steatosis in non-diabetic obese women. Nat Med 24: 1070-1080. https://doi.org/10.1038/s41591-018-0061-3
    [191] Kinnebrew MA, Ubeda C, Zenewicz LA, et al. (2010) Bacterial flagellin stimulates Toll-like receptor 5-dependent defense against vancomycin-resistant Enterococcus infection. J Infect Dis 201: 534-543. https://doi.org/10.1086/650203
    [192] Han Q, Wang J, Li W, et al. (2021) Androgen-induced gut dysbiosis disrupts glucolipid metabolism and endocrinal functions in polycystic ovary syndrome. Microbiome 9: 1-16. https://doi.org/10.1186/s40168-021-01046-5
    [193] Zhu Z, Kaiser T, Staley C (2021) Antibiotic conditioning and single gavage allows stable engraftment of human microbiota in mice. The Oral Microbiome . Springer 281-291. https://doi.org/10.1007/978-1-0716-1518-8_17
    [194] Sun X, Winglee K, Gharaibeh RZ, et al. (2018) Microbiota-derived metabolic factors reduce campylobacteriosis in mice. Gastroenterology 154: 1751-1763. https://doi.org/10.1053/j.gastro.2018.01.042
    [195] Guo S, Jiang D, Zhang Q, et al. (2021) Diverse role of gut microbiota on reduction of ascites and intestinal injury in malignant ascites effusion rats treated with Euphorbia kansui stir-fried with vinegar. J Ethnopharmacol 267: 113489. https://doi.org/10.1016/j.jep.2020.113489
    [196] Li Q, He R, Zhang F, et al. (2020) Combination of oligofructose and metformin alters the gut microbiota and improves metabolic profiles, contributing to the potentiated therapeutic effects on diet-induced obese animals. Front Endocrinol 10: 939. https://doi.org/10.3389/fendo.2019.00939
    [197] Ochoa-Repáraz J, Mielcarz DW, Ditrio LE, et al. (2009) Role of gut commensal microflora in the development of experimental autoimmune encephalomyelitis. J Immunol 183: 6041-6050. https://doi.org/10.4049/jimmunol.0900747
    [198] Olson CA, Vuong HE, Yano JM, et al. (2018) The gut microbiota mediates the anti-seizure effects of the ketogenic diet. Cell 173: 1728-1741. e1713. https://doi.org/10.1016/j.cell.2018.04.027
    [199] Le Roy T, Debédat J, Marquet F, et al. (2019) Comparative evaluation of microbiota engraftment following fecal microbiota transfer in mice models: age, kinetic and microbial status matter. Front Microbiol 9: 3289. https://doi.org/10.3389/fmicb.2018.03289
    [200] Grant C, Loman B, Bailey M, et al. (2021) Manipulations of the gut microbiome alter chemotherapy-induced inflammation and behavioral side effects in female mice. Brain Behav Immun 95: 401-412. https://doi.org/10.1016/j.bbi.2021.04.014
    [201] Koester ST, Li N, Lachance DM, et al. (2021) Variability in digestive and respiratory tract Ace2 expression is associated with the microbiome. Plos one 16: e0248730. https://doi.org/10.1371/journal.pone.0248730
    [202] Hill DA, Hoffmann C, Abt MC, et al. (2010) Metagenomic analyses reveal antibiotic-induced temporal and spatial changes in intestinal microbiota with associated alterations in immune cell homeostasis. Mucosal Immunol 3: 148-158. https://doi.org/10.1038/mi.2009.132
    [203] Brandsma E, Kloosterhuis NJ, Koster M, et al. (2019) A proinflammatory gut microbiota increases systemic inflammation and accelerates atherosclerosis. Circ Res 124: 94-100. https://doi.org/10.1161/circresaha.118.313234
    [204] Ganal SC, Sanos SL, Kallfass C, et al. (2012) Priming of natural killer cells by nonmucosal mononuclear phagocytes requires instructive signals from commensal microbiota. Immunity 37: 171-186. https://doi.org/10.1016/j.immuni.2012.05.020
    [205] Knoop KA, McDonald KG, McCrate S, et al. (2015) Microbial sensing by goblet cells controls immune surveillance of luminal antigens in the colon. Mucosal Immunol 8: 198-210. https://doi.org/10.1038/mi.2014.58
    [206] Sougiannis A, VanderVeen B, Enos R, et al. (2019) Impact of 5 fluorouracil chemotherapy on gut inflammation, functional parameters, and gut microbiota. Brain Behav Immun 80: 44-55. https://doi.org/10.1016/j.bbi.2019.02.020
    [207] Benakis C, Brea D, Caballero S, et al. (2016) Commensal microbiota affects ischemic stroke outcome by regulating intestinal γδ T cells. Nat Med 22: 516-523. https://doi.org/10.1038/nm.4068
    [208] Kim M, Galan C, Hill AA, et al. (2018) Critical role for the microbiota in CX(3)CR1(+) intestinal mononuclear phagocyte regulation of intestinal t cell responses. Immunity 49: 151-163.e155. https://doi.org/10.1016/j.immuni.2018.05.009
    [209] Blake SJ, James J, Ryan FJ, et al. (2021) The immunotoxicity, but not anti-tumor efficacy, of anti-CD40 and anti-CD137 immunotherapies is dependent on the gut microbiota. Cell Rep Med 2: 100464. https://doi.org/10.1016/j.xcrm.2021.100464
    [210] Brown RL, Sequeira RP, Clarke TB (2017) The microbiota protects against respiratory infection via GM-CSF signaling. Nat Commun 8: 1512. https://doi.org/10.1038/s41467-017-01803-x
    [211] Zhang J, Bi JJ, Guo GJ, et al. (2019) Abnormal composition of gut microbiota contributes to delirium-like behaviors after abdominal surgery in mice. CNS Neurosci Ther 25: 685-696. https://doi.org/10.1111/cns.13103
    [212] Du HX, Liu Y, Zhang LG, et al. (2020) Abnormal gut microbiota composition is associated with experimental autoimmune prostatitis-induced depressive-like behaviors in mice. Prostate 80: 663-673. https://doi.org/10.1002/pros.23978
    [213] Wong SH, Zhao L, Zhang X, et al. (2017) Gavage of fecal samples from patients with colorectal cancer promotes intestinal carcinogenesis in germ-free and conventional mice. Gastroenterology 153: 1621-1633. e1626. https://doi.org/10.1053/j.gastro.2017.08.022
    [214] King K, Josefsdottir K, Baldridge M (2016) Antibiotics impair murine hematopoiesis by depleting intestinal microbiota. Oxford University Press. https://doi.org/10.1182/blood-2016-03-708594
    [215] Li N, Wang Q, Wang Y, et al. (2019) Fecal microbiota transplantation from chronic unpredictable mild stress mice donors affects anxiety-like and depression-like behavior in recipient mice via the gut microbiota-inflammation-brain axis. Stress 22: 592-602. https://doi.org/10.1080/10253890.2019.1617267
    [216] Lendrum J, Seebach B, Klein B, et al. (2017) Sleep and the gut microbiome: antibiotic-induced depletion of the gut microbiota reduces nocturnal sleep in mice. bioRxiv : 199075. https://doi.org/10.1101/199075
    [217] Zhang Y, Xie B, Chen X, et al. (2021) A key role of gut microbiota-vagus nerve/spleen axis in sleep deprivation-mediated aggravation of systemic inflammation after LPS administration. Life Sci 265: 118736. https://doi.org/10.1016/j.lfs.2020.118736
    [218] Wang M, Cao J, Gong C, et al. (2021) Exploring the microbiota-Alzheimer's disease linkage using short-term antibiotic treatment followed by fecal microbiota transplantation. Brain Behav Immun 96: 227-238. https://doi.org/10.1016/j.bbi.2021.06.003
    [219] Kim J, Kirkland R, Lee S, et al. (2020) Gut microbiota composition modulates inflammation and structure of the vagal afferent pathway. Physiol Behav 225: 113082. https://doi.org/10.1016/j.physbeh.2020.113082
    [220] Wang Q, Wang X, Lv Y, et al. (2021) Changes in Rats' gut microbiota composition caused by induced chronic myocardial infarction lead to depression-like behavior. Front Microbiol 12. https://doi.org/10.3389/fmicb.2021.641084
    [221] Shute A, Callejas BE, Li S, et al. (2021) Cooperation between host immunity and the gut bacteria is essential for helminth-evoked suppression of colitis. Microbiome 9: 1-18. https://doi.org/10.1186/s40168-021-01146-2
    [222] LaGamma EF, Hu F, Cruz FP, et al. (2021) Bacteria-derived short chain fatty acids restore sympathoadrenal responsiveness to hypoglycemia after antibiotic-induced gut microbiota depletion. Neurobiol Stress 15: 100376. https://doi.org/10.1016/j.ynstr.2021.100376
    [223] Burrello C, Garavaglia F, Cribiù FM, et al. (2018) Short-term oral antibiotics treatment promotes inflammatory activation of colonic invariant natural killer t and conventional CD4(+) T cells. Front Med 5: 21. https://doi.org/10.3389/fmed.2018.00021
    [224] Hägerbrand K, Westlund J, Yrlid U, et al. (2015) MyD88 signaling regulates steady-state migration of intestinal CD103+ dendritic cells independently of TNF-α and the gut microbiota. J Immunol 195: 2888-2899. https://doi.org/10.4049/jimmunol.1500210
    [225] Hashiguchi M, Kashiwakura Y, Kojima H, et al. (2015) Peyer's patch innate lymphoid cells regulate commensal bacteria expansion. Immunol Lett 165: 1-9. https://doi.org/10.1016/j.imlet.2015.03.002
    [226] Thackray LB, Handley SA, Gorman MJ, et al. (2018) Oral antibiotic treatment of mice exacerbates the disease severity of multiple flavivirus infections. Cell Rep 22: 3440-3453.e3446. https://doi.org/10.1016/j.celrep.2018.03.001
    [227] Zhan G, Yang N, Li S, et al. (2018) Abnormal gut microbiota composition contributes to cognitive dysfunction in SAMP8 mice. Aging 10: 1257-1267. https://doi.org/10.18632/aging.101464
    [228] Emal D, Rampanelli E, Stroo I, et al. (2017) Depletion of gut microbiota protects against renal ischemia-reperfusion injury. J Am Soc Nephrol 28: 1450-1461. https://doi.org/10.1681/asn.2016030255
    [229] Guirro M, Costa A, Gual-Grau A, et al. (2019) Effects from diet-induced gut microbiota dysbiosis and obesity can be ameliorated by fecal microbiota transplantation: A multiomics approach. PLoS One 14: e0218143. https://doi.org/10.1371/journal.pone.0218143
    [230] Yang C, Fang X, Zhan G, et al. (2019) Key role of gut microbiota in anhedonia-like phenotype in rodents with neuropathic pain. Transl Psychiatry 9: 57. https://doi.org/10.1038/s41398-019-0379-8
    [231] Brandl K, Plitas G, Mihu CN, et al. (2008) Vancomycin-resistant enterococci exploit antibiotic-induced innate immune deficits. Nature 455: 804-807. https://doi.org/10.1038/nature07250
    [232] Medel-Matus JS, Shin D, Dorfman E, et al. (2018) Facilitation of kindling epileptogenesis by chronic stress may be mediated by intestinal microbiome. Epilepsia Open 3: 290-294. https://doi.org/10.1002/epi4.12114
    [233] Steed AL, Christophi GP, Kaiko GE, et al. (2017) The microbial metabolite desaminotyrosine protects from influenza through type I interferon. Science 357: 498-502. https://doi.org/10.1126/science.aam5336
    [234] Yin A, Luo Y, Chen W, et al. (2019) FAM96A protects mice from dextran sulfate sodium (DSS)-induced colitis by preventing microbial dysbiosis. Front Cell Infect Microbiol 9: 381. https://doi.org/10.3389/fcimb.2019.00381
    [235] Zhao M, Xiong X, Ren K, et al. (2018) Deficiency in intestinal epithelial O-GlcNAcylation predisposes to gut inflammation. EMBO Mol Med 10: e8736. https://doi.org/10.15252/emmm.201708736
    [236] Ward NL, Phillips CD, Nguyen DD, et al. (2016) Antibiotic treatment induces long-lasting changes in the fecal microbiota that protect against colitis. Inflammatory Bowel Dis 22: 2328-2340. https://doi.org/10.1097/mib.0000000000000914
    [237] Riquelme E, Zhang Y, Zhang L, et al. (2019) Tumor microbiome diversity and composition influence pancreatic cancer outcomes. Cell 178: 795-806. https://doi.org/10.1016/j.cell.2019.07.008
    [238] Kuss SK, Best GT, Etheredge CA, et al. (2011) Intestinal microbiota promote enteric virus replication and systemic pathogenesis. Science 334: 249-252. https://doi.org/10.1126/science.1211057
    [239] Hintze KJ, Cox JE, Rompato G, et al. (2014) Broad scope method for creating humanized animal models for animal health and disease research through antibiotic treatment and human fecal transfer. Gut Microbes 5: 183-191. https://doi.org/10.4161/gmic.28403
    [240] Goulding DR, Myers PH, Dickerson AB, et al. (2021) Comparative efficacy of two types of antibiotic mixtures in gut flora depletion in female C57BL/6 mice. Comp Med 71: 203-209. https://doi.org/10.30802/aalas-cm-21-000023
    [241] Vétizou M, Pitt JM, Daillère R, et al. (2015) Anticancer immunotherapy by CTLA-4 blockade relies on the gut microbiota. Science 350: 1079-1084. https://doi.org/10.1126/science.aad1329
    [242] Jacobson A, Lam L, Rajendram M, et al. (2018) A Gut commensal-produced metabolite mediates colonization resistance to salmonella infection. Cell Host Microbe 24: 296-307.e297. https://doi.org/10.1016/j.chom.2018.07.002
    [243] Corbitt N, Kimura S, Isse K, et al. (2013) Gut bacteria drive Kupffer cell expansion via MAMP-mediated ICAM-1 induction on sinusoidal endothelium and influence preservation-reperfusion injury after orthotopic liver transplantation. Am J Pathol 182: 180-191. https://doi.org/10.1016/j.ajpath.2012.09.010
    [244] Liang W, Zhao L, Zhang J, et al. (2020) Colonization potential to reconstitute a microbe community in pseudo germ-free mice after fecal microbe transplant from equol producer. Front Microbiol 11: 1221. https://doi.org/10.3389/fmicb.2020.01221
    [245] Bashir ME, Louie S, Shi HN, et al. (2004) Toll-like receptor 4 signaling by intestinal microbes influences susceptibility to food allergy. J Immunol 172: 6978-6987. https://doi.org/10.4049/jimmunol.172.11.6978
    [246] Walsh J, Olavarria-Ramirez L, Lach G, et al. (2020) Impact of host and environmental factors on β-glucuronidase enzymatic activity: implications for gastrointestinal serotonin. Am J Physiol Gastrointest Liver Physiol 318: G816-G826. https://doi.org/10.1152/ajpgi.00026.2020
    [247] Shi Z, Zou J, Zhang Z, et al. (2019) Segmented filamentous bacteria prevent and cure rotavirus infection. Cell 179: 644-658.e613. https://doi.org/10.1016/j.cell.2019.09.028
    [248] Schuijt TJ, Lankelma JM, Scicluna BP, et al. The gut microbiota plays a protective role in the host defence against pneumococcal pneumonia (2016)65: 575-583. https://doi.org/10.1136/gutjnl-2015-309728
    [249] Gury-BenAri M, Thaiss CA, Serafini N, et al. (2016) The spectrum and regulatory landscape of intestinal innate lymphoid cells are shaped by the microbiome. Cell 166: 1231-1246.e1213. https://doi.org/10.1016/j.cell.2016.07.043
    [250] Yang K, Hou Y, Zhang Y, et al. (2021) Suppression of local type I interferon by gut microbiota–derived butyrate impairs antitumor effects of ionizing radiation. J Exp Med 218. https://doi.org/10.1084/jem.20201915
    [251] Johansson ME, Jakobsson HE, Holmén-Larsson J, et al. (2015) Normalization of host intestinal mucus layers requires long-term microbial colonization. Cell Host Microbe 18: 582-592. https://doi.org/10.1016/j.chom.2015.10.007
    [252] Ye Z, Zhang N, Wu C, et al. (2018) A metagenomic study of the gut microbiome in Behcet's disease. Microbiome 6: 135. https://doi.org/10.1186/s40168-018-0520-6
    [253] Chen L, He Z, Iuga AC, et al. (2018) Diet modifies colonic microbiota and CD4+ T-cell repertoire to induce flares of colitis in mice with myeloid-cell expression of interleukin 23. Gastroenterology 155: 1177-1191. e1116. https://doi.org/10.1053/j.gastro.2018.06.034
    [254] Stefka AT, Feehley T, Tripathi P, et al. (2014) Commensal bacteria protect against food allergen sensitization. Proc Natl Acad Sci USA 111: 13145-13150. https://doi.org/10.1073/pnas.1412008111
    [255] Zhao W, Hu Y, Li C, et al. (2020) Transplantation of fecal microbiota from patients with alcoholism induces anxiety/depression behaviors and decreases brain mGluR1/PKC ϵ levels in mouse. Biofactors 46: 38-54. https://doi.org/10.1002/biof.1567
    [256] Toubai T, Fujiwara H, Rossi C, et al. (2019) Host NLRP6 exacerbates graft-versus-host disease independent of gut microbial composition. Nat Microbiol 4: 800-812. https://doi.org/10.1038/s41564-019-0373-1
    [257] Mortha A, Chudnovskiy A, Hashimoto D, et al. (2014) Microbiota-dependent crosstalk between macrophages and ILC3 promotes intestinal homeostasis. Science 343: 1249288. https://doi.org/10.1126/science.1249288
    [258] Oh JZ, Ravindran R, Chassaing B, et al. (2014) TLR5-mediated sensing of gut microbiota is necessary for antibody responses to seasonal influenza vaccination. Immunity 41: 478-492. https://doi.org/10.1016/j.immuni.2014.08.009
    [259] Wu X, Sun R, Chen Y, et al. (2015) Oral ampicillin inhibits liver regeneration by breaking hepatic innate immune tolerance normally maintained by gut commensal bacteria. Hepatology 62: 253-264. https://doi.org/10.1002/hep.27791
    [260] Cervantes-Barragan L, Chai JN (2017) Lactobacillus reuteri induces gut intraepithelial CD4(+)CD8αα(+) T cells. Science 357: 806-810. https://doi.org/10.1126/science.aah5825
    [261] Ge X, Ding C, Zhao W, et al. (2017) Antibiotics-induced depletion of mice microbiota induces changes in host serotonin biosynthesis and intestinal motility. J Transl Med 15: 13. https://doi.org/10.1186/s12967-016-1105-4
    [262] Li F, Hao X, Chen Y, et al. (2017) The microbiota maintain homeostasis of liver-resident γδT-17 cells in a lipid antigen/CD1d-dependent manner. Nat Commun 8: 1-15. https://doi.org/10.1038/ncomms13839
    [263] Durand A, Audemard-Verger A, Guichard V, et al. (2018) Profiling the lymphoid-resident T cell pool reveals modulation by age and microbiota. Nat Commun 9: 68. https://doi.org/10.1038/s41467-017-02458-4
    [264] Adami AJ, Bracken SJ, Guernsey LA, et al. (2018) Early-life antibiotics attenuate regulatory T cell generation and increase the severity of murine house dust mite-induced asthma. Pediatr Res 84: 426-434. https://doi.org/10.1038/s41390-018-0031-y
    [265] Heiss CN, Mannerås-Holm L, Lee YS, et al. (2021) The gut microbiota regulates hypothalamic inflammation and leptin sensitivity in Western diet-fed mice via a GLP-1R-dependent mechanism. Cell Rep 35: 109163. https://doi.org/10.1016/j.celrep.2021.109163
    [266] Rakoff-Nahoum S, Paglino J, Eslami-Varzaneh F, et al. (2004) Recognition of commensal microflora by toll-like receptors is required for intestinal homeostasis. Cell 118: 229-241. https://doi.org/10.1016/j.cell.2004.07.002
    [267] Ivanov II, Frutos Rde L, Manel N, et al. (2008) Specific microbiota direct the differentiation of IL-17-producing T-helper cells in the mucosa of the small intestine. Cell Host Microbe 4: 337-349. https://doi.org/10.1016/j.chom.2008.09.009
    [268] Kim SH, Cho BH, Kiyono H, et al. (2017) Microbiota-derived butyrate suppresses group 3 innate lymphoid cells in terminal ileal Peyer's patches. Sci Rep 7: 3980. https://doi.org/10.1038/s41598-017-02729-6
    [269] Diehl GE, Longman RS, Zhang JX, et al. (2013) Microbiota restricts trafficking of bacteria to mesenteric lymph nodes by CX(3)CR1(hi) cells. Nature 494: 116-120. https://doi.org/10.1038/nature11809
    [270] Balmer ML, Schürch CM, Saito Y, et al. (2014) Microbiota-derived compounds drive steady-state granulopoiesis via MyD88/TICAM signaling. J Immunol 193: 5273-5283. https://doi.org/10.4049/jimmunol.1400762
    [271] Park JH, Kotani T, Konno T, et al. (2016) Promotion of Intestinal Epithelial Cell Turnover by Commensal Bacteria: Role of Short-Chain Fatty Acids. PLoS One 11: e0156334. https://doi.org/10.1371/journal.pone.0156334
    [272] Vaishnava S, Behrendt CL, Ismail AS, et al. (2008) Paneth cells directly sense gut commensals and maintain homeostasis at the intestinal host-microbial interface. Proc Natl Acad Sci USA 105: 20858-20863. https://doi.org/10.1073/pnas.0808723105
    [273] Ichinohe T, Pang IK, Kumamoto Y, et al. (2011) Microbiota regulates immune defense against respiratory tract influenza A virus infection. Proc Natl Acad Sci USA 108: 5354-5359. https://doi.org/10.1073/pnas.1019378108
    [274] Ismail AS, Severson KM, Vaishnava S, et al. (2011) Gammadelta intraepithelial lymphocytes are essential mediators of host-microbial homeostasis at the intestinal mucosal surface. Proc Natl Acad Sci USA 108: 8743-8748. https://doi.org/10.1073/pnas.1019574108
    [275] Schnepf D, Hernandez P, Mahlakõiv T, et al. (2021) Rotavirus susceptibility of antibiotic-treated mice ascribed to diminished expression of interleukin-22. PloS One 16: e0247738. https://doi.org/10.1371/journal.pone.0247738
    [276] Yoshiya K, Lapchak PH, Thai T-H, et al. (2011) Depletion of gut commensal bacteria attenuates intestinal ischemia/reperfusion injury. Am J Physiol Gastrointest Liver Physiol 301: G1020-G1030. https://doi.org/10.1152/ajpgi.00239.2011
    [277] Yan J, Herzog JW, Tsang K, et al. (2016) Gut microbiota induce IGF-1 and promote bone formation and growth. Proc Natl Acad Sci USA 113: E7554-e7563. https://doi.org/10.1073/pnas.1607235113
    [278] Sui H, Zhang L, Gu K, et al. (2020) YYFZBJS ameliorates colorectal cancer progression in Apc Min/+ mice by remodeling gut microbiota and inhibiting regulatory T-cell generation. Cell Commun Signaling 18: 1-17. https://doi.org/10.1186/s12964-020-00596-9
    [279] Platt DJ, Lawrence D, Rodgers R, et al. (2021) Transferrable protection by gut microbes against STING-associated lung disease. Cell Rep 35: 109113. https://doi.org/10.1016/j.celrep.2021.109113
    [280] Khosravi A, Yáñez A, Price JG, et al. (2014) Gut microbiota promote hematopoiesis to control bacterial infection. Cell Host Microbe 15: 374-381. https://doi.org/10.1016/j.chom.2014.02.006
    [281] Zhang D, Chen G, Manwani D, et al. (2015) Neutrophil ageing is regulated by the microbiome. Nature 525: 528-532. https://doi.org/10.1038/nature15367
    [282] Naik S, Bouladoux N, Wilhelm C, et al. (2012) Compartmentalized control of skin immunity by resident commensals. Science 337: 1115-1119. https://doi.org/10.1126/science.1225152
    [283] Sun Z, Li J, Dai Y, et al. (2020) Indigo naturalis alleviates dextran sulfate sodium-induced colitis in rats via altering gut microbiota. Front Microbiol 11: 731. https://doi.org/10.3389/fmicb.2020.00731
    [284] Zákostelská Z, Málková J, Klimešová K, et al. (2016) Intestinal microbiota promotes psoriasis-like skin inflammation by enhancing Th17 response. PLoS One 11: e0159539. https://doi.org/10.1371/journal.pone.0159539
    [285] Wang S, Huang M, You X, et al. (2018) Gut microbiota mediates the anti-obesity effect of calorie restriction in mice. Sci Rep 8: 1-14. https://doi.org/10.1038/s41598-018-31353-1
    [286] de la Visitacion N, Robles-Vera I, Toral M, et al. (2021) Gut microbiota contributes to the development of hypertension in a genetic mouse model of systemic lupus erythematosus. Bri J Pharmacol 178: 3708-3729. https://doi.org/10.1111/bph.15512
    [287] Sawa S, Lochner M, Satoh-Takayama N, et al. (2011) RORγt+ innate lymphoid cells regulate intestinal homeostasis by integrating negative signals from the symbiotic microbiota. Nat Immunol 12: 320-326. https://doi.org/10.1038/ni.2002
    [288] Zhang Y, Huang R, Cheng M, et al. (2019) Gut microbiota from NLRP3-deficient mice ameliorates depressive-like behaviors by regulating astrocyte dysfunction via circHIPK2. Microbiome 7: 116. https://doi.org/10.1186/s40168-019-0733-3
    [289] Atarashi K, Nishimura J, Shima T, et al. (2008) ATP drives lamina propria T(H)17 cell differentiation. Nature 455: 808-812. https://doi.org/10.1038/nature07240
    [290] Levy M, Thaiss CA, Zeevi D, et al. (2015) Microbiota-modulated metabolites shape the intestinal microenvironment by regulating NLRP6 inflammasome signaling. Cell 163: 1428-1443. https://doi.org/10.1016/j.cell.2015.10.048
    [291] Kernbauer E, Ding Y, Cadwell K (2014) An enteric virus can replace the beneficial function of commensal bacteria. Nature 516: 94-98. https://doi.org/10.1038/nature13960
  • This article has been cited by:

    1. Jean-Sébastien L'Heureux, Anders Lindgård, Arnfinn Emdal, The Tiller-Flotten research site: Geotechnical characterization of a very sensitive clay deposit, 2019, 5, 2471-2132, 831, 10.3934/geosci.2019.4.831
    2. Bruno Di Buò, Marco D’Ignazio, Juha Selänpää, Tim Länsivaara, Paul W. Mayne, Yield stress evaluation of Finnish clays based on analytical piezocone penetration test (CPTu) models, 2020, 57, 0008-3674, 1623, 10.1139/cgj-2019-0427
    3. Ariane Locat, Pascal Locat, Hubert Michaud, Kevin Hébert, Serge Leroueil, Denis Demers, Geotechnical characterization of the Saint-Jude clay, Quebec, Canada, 2019, 5, 2471-2132, 273, 10.3934/geosci.2019.2.273
    4. Jean-Sebastien L’Heureux, Tom Lunne, Characterization and Engineering properties of Natural Soils used for Geotesting, 2020, 6, 2471-2132, 35, 10.3934/geosci.2020004
    5. Paul W. Mayne, Jean Benoît, Analytical CPTU Models Applied to Sensitive Clay at Dover, New Hampshire, 2020, 146, 1090-0241, 04020130, 10.1061/(ASCE)GT.1943-5606.0002378
    6. Marco D'Ignazio, Tom Lunne, Knut. H. Andersen, Shaoli Yang, Bruno Di Buò, Tim Länsivaara, Estimation of preconsolidation stress of clays from piezocone by means of high-quality calibration data, 2019, 5, 2471-2132, 104, 10.3934/geosci.2019.2.104
    7. Bruno Di Buò, Marco D’Ignazio, Juha Selänpää, Markus Haikola, Tim Länsivaara, Marta Di Sante, Investigation and geotechnical characterization of Perniö clay, Finland, 2019, 5, 2471-2132, 591, 10.3934/geosci.2019.3.591
    8. Abolfazl Eslami, Davood Akbarimehr, Esmail Aflaki, Mohammad Mahdi Hajitaheriha, Geotechnical site characterization of the Lake Urmia super-soft sediments using laboratory and CPTu records, 2020, 38, 1064-119X, 1223, 10.1080/1064119X.2019.1672121
    9. Lluis Monforte, Antonio Gens, Marcos Arroyo, Miguel Mánica, Josep Maria Carbonell, Analysis of cone penetration in brittle liquefiable soils, 2021, 134, 0266352X, 104123, 10.1016/j.compgeo.2021.104123
    10. M D’Ignazio, V Lehtonen, Using SHANSEP for verification of unreliable piezocone data in clays, 2021, 710, 1755-1307, 012011, 10.1088/1755-1315/710/1/012011
    11. M D’Ignazio, K K Phoon, T T Länsivaara, Uncertainties in modelling undrained shear strength of clays using Critical State Soil Mechanics and SHANSEP, 2021, 710, 1755-1307, 012075, 10.1088/1755-1315/710/1/012075
    12. Tyler J. Oathes, Ross W. Boulanger, 2022, Nonlinear Viscoplastic Modeling of the Feijão Dam 1 Failure, 9780784484067, 129, 10.1061/9780784484067.014
    13. Nezam Bozorgzadeh, Zhongqiang Liu, Farrokh Nadim, Suzanne Lacasse, Model calibration: A hierarchical Bayesian approach, 2023, 71, 02668920, 103379, 10.1016/j.probengmech.2022.103379
    14. Zhongqiang Liu, Jean-Sébastien L'Heureux, Sylfest Glimsdal, Suzanne Lacasse, Modelling of mobility of Rissa landslide and following tsunami, 2021, 140, 0266352X, 104388, 10.1016/j.compgeo.2021.104388
    15. Islam Marzouk, Ronald Brinkgreve, Arny Lengkeek, Franz Tschuchnigg, APD: An automated parameter determination system based on in-situ tests, 2024, 176, 0266352X, 106799, 10.1016/j.compgeo.2024.106799
    16. Nikolaos-Kimon Chtouris, Thomas Hasiotis, Marine Geotechnical Research in Greece: A Review of the Current Knowledge, Challenges and Prospects, 2024, 12, 2077-1312, 1708, 10.3390/jmse12101708
    17. Sai Fu, Yanghai Shen, Xianlin Jia, Zhiqing Zhang, Xibin Li, A Novel Method for Estimating the Undrained Shear Strength of Marine Soil Based on CPTU Tests, 2024, 12, 2077-1312, 1019, 10.3390/jmse12061019
    18. Negin Yousefpour, Zhongqiang Liu, Chao Zhao, Machine Learning Methods for Geotechnical Site Characterization and Scour Assessment, 2024, 0361-1981, 10.1177/03611981241257512
    19. Jianyu Li, Hongjie Lin, Yue Zhang, Hongwei Yang, Jiankun Liu, Geotechnical characterization of the diatomaceous silty soil in Walvis Bay, Namibia: mechanical properties and interpretations of CPTu records, 2024, 83, 1435-9529, 10.1007/s10064-024-03568-2
    20. Davood Akbarimehr, Mohammad Rahai, Majid Ahmadpour, Yong Sheng, Geotechnical Properties of Urmia Saltwater Lake Bed Sediments, 2024, 5, 2673-7094, 1, 10.3390/geotechnics5010001
  • Reader Comments
  • © 2024 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(2931) PDF downloads(224) Cited by(5)

Figures and Tables

Figures(3)  /  Tables(1)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog