Search results for "model theory"

A Sokoban-type game and arc deletion within irregular digraphs of all sizes

2007

Functorial Test Modules

2016

In this article we introduce a slight modification of the definition of test modules which is an additive functor $\tau$ on the category of coherent Cartier modules. We show that in many situations this modification agrees with the usual definition of test modules. Furthermore, we show that for a smooth morphism $f \colon X \to Y$ of $F$-finite schemes one has a natural isomorphism $f^! \circ \tau \cong \tau \circ f^!$. If $f$ is quasi-finite and of finite type we construct a natural transformation $\tau \circ f_* \to f_* \circ \tau$.

Plane foliations with a saddle singularity

2012

Abstract We study the set of planar vector fields with a unique singularity of hyperbolic saddle type. We found conditions to assure that a such vector field is topologically equivalent to a linear saddle. Furthermore, we describe the plane foliations associated to these vector fields. Such a foliation can be split in two subfoliations. One without restriction and another one that is topologically characterized by means of trees.

Diluted Heisenberg Ferromagnets with Competing Ferro- and Antiferromagnetic Interactions: Evidence for a New Universality Class?

1993

The site-diluted classical face-centered cubic (fee) Heisenberg model with exchange between nearest and (J nn > 0) next nearest (J nnn =-J nn /2) neighbors is studied by Monte Carlo simulations using the heatbath algorithm in conjunction with histogram reweighting techniques. Finite size scaling analysis suggests that the diluted system crosses over to a new type of critical behavior, different from that of the pure system, in contrast to the prediction of the Harris criterion. But this model possibly can explain related experimental findings in Eu x Sr 1-x S.

Multicenter solutions in Eddington-inspired Born-Infeld gravity

2020

We find multicenter (Majumdar-Papapetrou type) solutions of Eddington-inspired Born-Infeld gravity coupled to electromagnetic fields governed by a Born-Infeld-like Lagrangian. We construct the general solution for an arbitrary number of centers in equilibrium and then discuss the properties of their one-particle configurations, including the existence of bounces and the regularity (geodesic completeness) of these spacetimes. Our method can be used to construct multicenter solutions in other theories of gravity.

Finite-Timel1-Gain Control for Positive Switched Systems with Time-Varying Delay via Delta Operator Approach

2014

This paper is concerned with the problem of finite-timel1-gain control for positive switched systems with time-varying delay via delta operator approach. Firstly, sufficient conditions which can guarantee thel1-gain finite-time boundedness of the underlying system are given by using the average dwell time approach and constructing an appropriate copositive type Lyapunov-Krasovskii functional in delta domain. Moreover, the obtained conditions can unify some previously suggested relevant results seen in literature of both continuous and discrete systems into the delta operator framework. Then, based on the results obtained, a state feedback controller is designed to ensure that the resulting …

Irreducible components of Hurwitz spaces of coverings with two special fibers

2013

In this paper we prove new results of irreducibility for Hurwitz spaces of coverings whose monodromy group is a Weyl group of type B_d and whose local monodromies are all reflections except two.

Topology of multiplex heterogeneous networks of Hodgkin-Huxley-type of models with bistability leading to stabilization stable equilibrium

2021

The dynamics of a multiplex heterogeneous networks of oscillators is studied. Two types of very similar models based on the Hodgkin-Huxley formalism are used as the basic elements of the network: the first one demonstrates bursting oscillations; the second one manifests bistability between bursting oscillations and stable equilibrium. Multiplex networks were developed and investigated, assuming more active communication between models with bistability. Different topologies of the networks are studied. It is shown that in this case it is enough to have one element with bistability in the subnetworks in order to stabilize the equilibrium state in the entire network.

Using Search Algorithms for Modeling Economic Processes

2013

Abstract Economic issues are placed in formal practice, when is desired a modelling of the economic process, a manufacturing process, a device, etc. Each share of that economic process is denoted by a, b, c, d, these actions with defined time periods and action pairs are formed strings of the form, ab * cab * bc ., ab, bb, bc. so for them there are no other restrictions. If the graph is viewed as a system image, nodes representing components, then an immediate interpretation of an arc (xi, xj) are the component xi that is said to directly influence component xj. If nodes have the significance of possible states of a system when a spring (xi.xj) means that, the system can jump from state xi …

Algebraicity of analytic maps to a hyperbolic variety

2018

Let $X$ be an algebraic variety over $\mathbb{C}$. We say that $X$ is Borel hyperbolic if, for every finite type reduced scheme $S$ over $\mathbb{C}$, every holomorphic map $S^{an}\to X^{an}$ is algebraic. We use a transcendental specialization technique to prove that $X$ is Borel hyperbolic if and only if, for every smooth affine curve $C$ over $\mathbb{C}$, every holomorphic map $C^{an}\to X^{an}$ is algebraic. We use the latter result to prove that Borel hyperbolicity shares many common features with other notions of hyperbolicity such as Kobayashi hyperbolicity.