Homotopical algebraic geometry I: topos theory

This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in homotopical and higher categorical contexts. In this first part we investigate a notion of higher topos.For this, we use S-categories (i.e. simplicially enriched categories) as models for certain kind of ∞-categories, and we develop the notions of S-topologies, S-sites and stacks over them. We prove in particular, that for an S-category T endowed with an S-topology, there exists a model category of stacks over T, generalizing the model category structure on simplicial presheaves over a Grothendieck site of Joyal and Jardine. We also prove some analogs of the relations between topologies and localizing subcategories of the categories of presheaves, by proving that there exists a one-to-one correspondence between S-topologies on an S-category T, and certain left exact Bousfield localizations of the model category of pre-stacks on T. Based on the above results, we study the notion of model topos introduced by Rezk, and we relate it to our model categories of stacks over S-sites.In the second part of the paper, we present a parallel theory where S-categories, S-topologies and S-sites are replaced by model categories, model topologies and model sites. We prove that a canonical way to pass from the theory of stacks over model sites to the theory of stacks over S-sites is provided by the simplicial localization construction of Dwyer and Kan. As an example of application, we propose a definition of étale K-theory of ring spectra, extending the étale K-theory of commutative rings.     

The existence of weakly periodic Gibbs measures for the Potts model on a Cayley tree

We study the q-state Potts model on a Cayley tree of order k ≥ 2. In the group representation of the Cayley tree for the ferromagnetic Potts model, we single out a set of index-2 subgroups under which each weakly periodic Gibbs measure is translation invariant. For the anti-ferromagnetic Potts model with k ≥ 2 and q ≥ 2, we show that a weakly periodic Gibbs measure that is not translation invariant is not unique.     

On a binary distance model for the minimum linear arrangement problem

The minimum linear arrangement problem consists of finding an embedding of the nodes of a graph on the line such that the sum of the resulting edge lengths is minimized. The problem is among the classical NP-hard optimization problems and there has been extensive research on exact and approximative algorithms. In this paper, we introduce a new model based on binary variables d _ijk that are equal to 1 if nodes i and j have distance k in the ordering. We analyze this model and point to connections and differences to a model using integer distance variables. Based on computational experiments, we argue that our model is worth further theoretical and practical investigation and that is has potentials yet to be examined.     

Bidimensional shallow water model with polynomial dependence on depth through vorticity

In this paper, we obtain a bidimensional shallow water model with polynomial dependence on depth. With this aim, we introduce a small non-dimensional parameter ε and we study three-dimensional Euler equations in a domain depending on ε (in such a way that, when ε becomes small, the domain has small depth). Then, we use asymptotic analysis to study what happens when ε approaches to zero. Asymptotic analysis allows us to obtain a new bidimensional shallow water model that not only computes the average velocity (as the classical model does) but also provides the horizontal velocity at different depths. This represents a significant improvement over the classical model. We must also remark that we obtain the model without making assumptions about velocity or pressure behavior (only the usual ansatz in asymptotic analysis). Finally, we present some numerical results showing that the new model is able to approximate the non-constant in depth solutions to Euler equations, whereas the classical model can only obtain the average velocity.     

One-way multiparty communication lower bound for pointer jumping with applications

In this paper we study the one-way multiparty communication model, in which every party speaks exactly once in its turn. For every k, we prove a tight lower bound of Ω(n ^1/(k?1)}) on the probabilistic communication complexity of pointer jumping in a k-layered tree, where the pointers of the i-th layer reside on the forehead of the i-th party to speak. The lower bound remains nontrivial even for k = (logn)^1/2?? parties, for any constant ? > 0. Previous to our work a lower bound was known only for k =3 (Wigderson, see [7]), and in restricted models for k>3 [2},24,18,4,13]. Our results have the following consequences to other models and problems, extending previous work in several directions. The one-way model is strong enough to capture general (not one-way) multiparty protocols with a bounded number of rounds. Thus we generalize two problem areas previously studied in the 2-party model (cf. [30,21,29]). The first is a rounds hierarchy: we give an exponential separation between the power of r and 2r rounds in general probabilistic k-party protocols, for any k and r. The second is the relative power of determinism and nondeterminism: we prove an exponential separation between nondeterministic and deterministic communication complexity for general k-party protocols with r rounds, for any k,r. The pointer jumping function is weak enough to be a special case of the well-studied disjointness function. Thus we obtain a lower bound of Ω(n ^1/(k?1)) on the probabilistic complexity of k-set disjointness in the one-way model, which was known only for k = 3 parties. Our result also extends a similar lower bound for the weaker simultaneous model, in which parties simultaneously send one message to a referee [12]. Finally, we infer an exponential separation between the power of any two different orders in which parties send messages in the one-way model, for every k. Previous results [29, 7] separated orders based on who speaks first. Our lower bound technique, which handles functions of high discrepancy over cylinder intersections, provides a “party-elimination” induction, based on a restricted form of a direct-product result, specific to the pointer jumping function.     

Nagata's conjecture and countably compact hulls in generic extensions

Nagata conjectured that every M-space is homeomorphic to a closed subspace of the product of a countably compact space and a metric space. Although this conjecture was refuted by Burke and van Douwen, and A. Kato, independently, but we can show that there is a c.c.c. poset P of size ω² such that in VP Nagata's conjecture holds for each first countable regular space from the ground model (i.e. if a first countable regular space X∈V is an M-space in VP then it is homeomorphic to a closed subspace of the product of a countably compact space and a metric space in VP). By a result of Morita, it is enough to show that every first countable regular space from the ground model has a first countable countably compact extension in VP. As a corollary, we also obtain that every first countable regular space from the ground model has a maximal first countable extension in model VP.     

Effects of a Degeneracy in the Competition Model: Part II. Perturbation and Dynamical Behaviour

This is the second part of our study on the competition model where the coefficient functions are strictly positive over the underlying spatial region Ω except b(x), which vanishes in a nontrivial subdomain of Ω, and is positive in the rest of Ω. In part I, we mainly discussed the existence of two kinds of steady-state solutions of this system, namely, the classical steady-states and the generalized steady-states. Here we use these solutions to determine the dynamics of the model. We do this with the help of the perturbed model where b(x) is replaced by b(x)+ε, which itself is a classical competition model. This approach also reveals the interesting relationship between the steady-state solutions (both classical and generalized) of the above system and that of the perturbed system.     

Joint modelling of the total amount and the number of claims by conditionals

In the risk theory context, let us consider the classical collective model. The aim of this paper is to obtain a flexible bivariate joint distribution for modelling the couple (S,N), where N is a count variable and S=X₁+?+X_N is the total claim amount. A generalization of the classical hierarchical model, where now we assume that the conditional distributions of S|N and N|S belong to some prescribed parametric families, is presented. A basic theorem of compatibility in conditional distributions of the type S given N and N given S is stated. Using a known theorem for exponential families and results from functional equations new models are obtained. We describe in detail the extension of two classical collective models, which now we call Poisson-Gamma and the Poisson-Binomial conditionals models. Other conditionals models are proposed, including the Poisson-Lognormal conditionals distribution, the Geometric-Gamma conditionals model and a model with inverse Gaussian conditionals. Further developments of collective risk modelling are given.     

An M/G/1 queue with two phases of service subject to the server breakdown and delayed repair

This paper deals with the steady-state behaviour of an M/G/1 queue with an additional second phase of optional service subject to breakdowns occurring randomly at any instant while serving the customers and delayed repair. This model generalizes both the classical M/G/1 queue subject to random breakdown and delayed repair as well as M/G/1 queue with second optional service and server breakdowns. For this model, we first derive the joint distributions of state of the server and queue size, which is one of chief objectives of the paper. Secondly, we derive the probability generating function of the stationary queue size distribution at a departure epoch as a classical generalization of Pollaczek–Khinchin formula. Next, we derive Laplace Stieltjes transform of busy period distribution and waiting time distribution. Finally, we obtain some important performance measures and reliability indices of this model.     

A compelling argument for the gravity p-median model

The p-median model is used to locate P facilities to serve a geographically distributed population. Conventionally, it is assumed that the population always travels to the nearest facility.  and  re-estate three arguments on why this assumption might be incorrect, and they introduce the gravity p-median model to relax the assumption. We favor the gravity p-median model, but we note that in an applied setting, the three arguments are incomplete. In this communication, we point at the existence of a fourth compelling argument for the gravity p-median model.     

Dynamics of a Two-Prey One-Predator System in Random Environments

In this paper, we propose and investigate a stochastic two-prey one-predator model. Firstly, under some simple assumptions, we show that for each species x _i , i=1,2,3, there is a π _i which is represented by the coefficients of the model. If π _i <1, then x _i goes to extinction (i.e., lim _t→+∞ x _i (t)=0); if π _i >1, then x _i is stable in the mean (i.e., $\lim_{t\rightarrow+\infty}t^{-1} \int_{0}^{t}x_{i}(s)\,\mathrm {d}s=\mbox{a positive constant}$ ). Secondly, we prove that there is a stationary distribution to this model and it has the ergodic property. Thirdly, we establish the sufficient conditions for global asymptotic stability of the positive solution. Finally, we introduce some numerical simulations to illustrate the theoretical results.     

Un semi-groupe régularisé pour un modèle de Lebowitz–RubinowA regularized semigroup for a Lebowitz–Rubinow's model

In this Note, we complete [1] and we study the Lebowitz–Rubinow's model with the biological law of perfect memory. In this model, each cell is characterized by its cell cycle length l (0?l₁<l<l₂<∞) and its age a (0<a<l). If l₁>0, a complete study of this model can be found in [1]. Here we show that if l₁=0 then this model becomes ill-posed. We use the theory of generalized semigroups to remedy to this model. To cite this article: M. Boulanouar, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 865–868.     

Derivation of the N-step interdeparture time distribution in GI/G/1 queueing systems

The departure process of a queueing system has been studied since the 1960s. Due to its inherent complexity, closed form solutions for the distribution of the departure process are nearly intractable. In this paper, we derive a closed form expression for the distribution of interdeparture time in a GI/G/1 queueing model. Without loss of generality, we consider an embedded Markov chain in a general K_M/G/1 queueing system, in which the interarrival time distribution is Coxian and service time distribution is general. Closed form solutions of the equilibrium distribution are derived for this model and the Laplace–Stieltjes transform (LST) of the distribution of interdeparture times is presented. An algorithmic computing procedure is given and numerical examples are provided to illustrate the results. With the analysis presented, we provide a novel analytic tool for studying the departure process in a general queueing model.     

A delayed computer virus propagation model and its dynamics

In this paper, we propose a delayed computer virus propagation model and study its dynamic behaviors. First, we give the threshold value R₀ determining whether the virus dies out completely. Second, we study the local asymptotic stability of the equilibria of this model and it is found that, depending on the time delays, a Hopf bifurcation may occur in the model. Next, we prove that, if R₀ = 1, the virus-free equilibrium is globally attractive; and when R₀ < 1, it is globally asymptotically stable. Finally, a sufficient criterion for the global stability of the virus equilibrium is obtained.     

Analysis of a two-phase cell division model

In this paper we mainly study an equal mitosis two-phase cell division model. By using the C₀-semigroup theory, we prove that this model is the well-posed in L¹[0, 1] × L¹[0, 1], and exhibits asynchronous exponential growth phenomenon as time goes to infinity. We also give a comparison between this two-phase model with the classical one-phase model. Finally, we briefly study the asymmetric two-phase cell division model, and show that similar results hold for it.     

Dynamics of an n level system of atoms interacting with laser fields

This paper is an extension of Fujii et al. (quant—ph/0307066), and in this one we again treat a model of an atom with n energy levels interacting with n(n ? 1)/2 external laser fields, which is a natural extension of the usual two-level system. Then the rotating wave approximation (RWA) is assumed from the beginning. To solve the Schrödinger equation we set the consistency condition in our terminology and reduce it to a matrix equation with symmetric matrix Q consisting of coupling constants. However, to calculate exp(?itQ) explicitly is not easy. In the case of three-and four-level systems we determine it in a complete manner, so our model in these levels becomes realistic. Lastly, we make a comment on cavity QED quantum computation based on three energy levels of atoms as a forthcoming target.     

Global dynamics of a delayed SIRS epidemic model with a wide class of nonlinear incidence rates

In this paper, by constructing Lyapunov functionals, we consider the global dynamics of an SIRS epidemic model with a wide class of nonlinear incidence rates and distributed delays $\int^{h}_{0} p(\tau)f(S(t),I(t-\tau)) \mathrm{d}\tau$ under the condition that the total population converges to 1. By using a technical lemma which is derived from strong condition of strict monotonicity of functions f(S,I) and f(S,I)/I with respect to S??0 and I>0, we extend the global stability result for an SIR epidemic model if R ₀>1, where R ₀ is the basic reproduction number. By using a limit system of the model, we also show that the disease-free equilibrium is globally asymptotically stable if R ₀=1.     

Nonnegative quadratic estimation and quadratic sufficiency in general linear models

Notions of linear sufficiency and quadratic sufficiency are of interest to some authors. In this paper, the problem of nonnegative quadratic estimation for β^′Hβ+hσ² is discussed in a general linear model and its transformed model. The notion of quadratic sufficiency is considered in the sense of generality, and the corresponding necessary and sufficient conditions for the transformation to be quadratically sufficient are investigated. As a direct consequence, the result on (ordinary) quadratic sufficiency is obtained. In addition, we pose a practical problem and extend a special situation to the multivariate case. Moreover, a simulated example is conducted, and applications to a model with compound symmetric covariance matrix are given. Finally, we derive a remark which indicates that our main results could be extended further to the quasi-normal case.     

Global properties for virus dynamics model with mitotic transmission and intracellular delay

In this paper we study the basic model of viral infections with mitotic transmission and intracellular delay discrete. The delay corresponds to the time between infection of uninfected cells and the emission of virus on a cellular level. By means of Volterra-type Lyapunov functionals, we provide the global stability for this model. Let η be the number of virus produced per infected cell. If ηcrit, the critical number, satisfies η?ηcrit, then the virus-free steady state is globally asymptotically stable. On the contrary if η>ηcrit, then the infected steady state is globally asymptotically stable if a sufficient condition is satisfied.     

Global asymptotic stability and a property of the SIS model on bipartite networks

In this paper, we study an SIS model on bipartite networks, in which the network structure and a connectivity-dependent infection scheme are considered. Applying the theory of the multigroup model, we prove the existence and the asymptotic stability of the endemic equilibrium. And then we examine the ratio between the densities of infected female and male individuals on the bipartite networks. In particular, we find that when the scale exponent (γ_F) of females is equal to and that of males (γ_M), the ratio is only determined by the scale exponents and the proportion between the infection rates of females and males (λ_F/λ_M). We also present a result for the ratio by numerical simulations when γ_F≠γ_M.