scholarly journals DISCRETE METRIC SPACES: STRUCTURE, ENUMERATION, AND 0-1 LAWS

2019 ◽  
Vol 84 (4) ◽  
pp. 1293-1325 ◽  
Author(s):  
DHRUV MUBAYI ◽  
CAROLINE TERRY
Keyword(s):  
Metric Spaces ◽  
Extremal Combinatorics ◽  
Binary Relations ◽  
Easy Consequence ◽  
First Order ◽  
Colored Graphs ◽  
Long Line ◽  
Image Position ◽  
Almost All ◽  
Continuous Setting

AbstractFix an integer $r \ge 3$. We consider metric spaces on n points such that the distance between any two points lies in $\left\{ {1, \ldots ,r} \right\}$. Our main result describes their approximate structure for large n. As a consequence, we show that the number of these metric spaces is $\left\lceil {{{r + 1} \over 2}} \right\rceil ^{\left( {\matrix{ n \cr 2 \cr } } \right) + o\left( {n^2 } \right)} .$Related results in the continuous setting have recently been proved by Kozma, Meyerovitch, Peled, and Samotij [34]. When r is even, our structural characterization is more precise and implies that almost all such metric spaces have all distances at least $r/2$. As an easy consequence, when r is even, we improve the error term above from $o\left( {n^2 } \right)$ to $o\left( 1 \right)$, and also show a labeled first-order 0-1 law in the language ${\cal L}_r $, consisting of r binary relations, one for each element of $[r]$ . In particular, we show the almost sure theory T is the theory of the Fraïssé limit of the class of all finite simple complete edge-colored graphs with edge colors in $\left\{ {r/2, \ldots ,r} \right\}$.Our work can be viewed as an extension of a long line of research in extremal combinatorics to the colored setting, as well as an addition to the collection of known structures that admit logical 0-1 laws.

scholarly journals The asymptotic nature of the analytic spread

1979 ◽  
Vol 86 (1) ◽  
pp. 35-39 ◽  
Author(s):  
M. Brodmann
Keyword(s):  
Local Ring ◽  
Result Section ◽  
Easy Consequence ◽  
Noetherian Local Ring ◽  
Section 8 ◽  
Asymptotic Nature ◽  
Analytic Spread ◽  
Image Position ◽  
Almost All ◽  
Local Nature

In (3), corollary, p. 373) Burch gives the following inequality for the analytic spread l(I) of an ideal I of a noetherian local ring (R, m):In this paper we shall improve this by showing that the number min depth (R/In) may be replaced by the asymptotic value of depth (R/In) for large n (which exists) (see Section (2)). By its definition (see (6), def. 3)) the analytic spread is of asymptotic nature, i.e. depends on the modules In/mIn = Un only for large n. We shall prove a stronger result, Section (4), which also shows the asymptotic nature of l(I). This result might be interesting for itself, particularly as it is not of local nature. Once Section (4) is proved and once we know that depth (R/In) is asymptotically constant (which turns out to be an easy consequence of (1), (1)), our improved inequality is easily established: Indeed, replacing R by R/xR where x is regular with respect to almost all modules (R/In), we perform a change which affects only finitely many of the modules Un (see Section (8)).

The McKinsey axiom is not canonical

1991 ◽  
Vol 56 (2) ◽  
pp. 554-562 ◽  
Author(s):  
Robert Goldblatt
Keyword(s):  
Relational Semantics ◽  
Binary Relations ◽  
Order Condition ◽  
Modal Formula ◽  
First Order ◽  
Canonical Frame ◽  
Historical Importance ◽  
Definition Of ◽  
Image Position ◽  
Normal Modal Logics

The logic KM is the smallest normal modal logic that includes the McKinsey axiomIt is shown here that this axiom is not valid in the canonical frame for KM, answering a question first posed in the Lemmon-Scott manuscript [Lemmon, 1966].The result is not just an esoteric counterexample: apart from interest generated by the long delay in a solution being found, the problem has been of historical importance in the development of our understanding of intensional model theory, and is of some conceptual significance, as will now be explained.The relational semantics for normal modal logics first appeared in [Kripke, 1963], where a number of well-known systems were shown to be characterised by simple first-order conditions on binary relations (frames). This phenomenon was systematically investigated in [Lemmon, 1966], which introduced the technique of associating with each logic L a canonical frame which invalidates every nontheorem of L. If, in addition, each L-theorem is valid in , then L is said to be canonical. The problem of showing that L is determined by some validating condition C, meaning that the L-theorems are precisely those formulae valid in all frames satisfying C, can be solved by showing that satisfies C—in which case canonicity is also established. Numerous cases were studied, leading to the definition of a first-order condition Cφ associated with each formula φ of the formwhere Ψ is a positive modal formula.

Definability of Arithmetic Operations from the Order and a Random Relation1

1993 ◽  
Vol 18 (2-4) ◽  
pp. 287-296
Author(s):  
Ivan Korec
Keyword(s):  
Probability Measure ◽  
Binary Relations ◽  
Arithmetic Operations ◽  
First Order ◽  
Almost All

For almost all binary relations R ⊆ N 2 the addition and multiplication on the set N of nonnegative integers (and hence all arithmetical relations) are first order definable in the structure (N; ⩽, R). The defining formulae can be chosen independently on R and the words “for almost all” mean “with probability 1” by a very natural probability measure.

scholarly journals Finite representability of semigroups with demonic refinement

2021 ◽  
Vol 82 (2) ◽  
Author(s):  
Robin Hirsch ◽  
Jaš Šemrl
Keyword(s):  
Partial Order ◽  
Turing Machines ◽  
Binary Relations ◽  
Finite Representation ◽  
First Order ◽  
Finite Structures ◽  
Finite Base ◽  
Finite Set ◽  
Finite Representability ◽  
Representation Class

AbstractThe motivation for using demonic calculus for binary relations stems from the behaviour of demonic turing machines, when modelled relationally. Relational composition (; ) models sequential runs of two programs and demonic refinement ($$\sqsubseteq $$ ⊑ ) arises from the partial order given by modeling demonic choice ($$\sqcup $$ ⊔ ) of programs (see below for the formal relational definitions). We prove that the class $$R(\sqsubseteq , ;)$$ R ( ⊑ , ; ) of abstract $$(\le , \circ )$$ ( ≤ , ∘ ) structures isomorphic to a set of binary relations ordered by demonic refinement with composition cannot be axiomatised by any finite set of first-order $$(\le , \circ )$$ ( ≤ , ∘ ) formulas. We provide a fairly simple, infinite, recursive axiomatisation that defines $$R(\sqsubseteq , ;)$$ R ( ⊑ , ; ) . We prove that a finite representable $$(\le , \circ )$$ ( ≤ , ∘ ) structure has a representation over a finite base. This appears to be the first example of a signature for binary relations with composition where the representation class is non-finitely axiomatisable, but where the finite representation property holds for finite structures.

Resolution of T. Ward's Question and the Israel–Finch Conjecture: Precise Analysis of an Integer Sequence Arising in Dynamics

2014 ◽  
Vol 24 (1) ◽  
pp. 195-215
Author(s):  
JEFFREY GAITHER ◽  
GUY LOUCHARD ◽  
STEPHAN WAGNER ◽  
MARK DANIEL WARD
Keyword(s):  
Weighted Average ◽  
Analytic Number Theory ◽  
Combinatorial Structure ◽  
Asymptotic Growth ◽  
First Order ◽  
Integer Sequence ◽  
Precise Analysis ◽  
Formula Group ◽  
Fourth Author ◽  
Image Position

We analyse the first-order asymptotic growth of \[ a_{n}=\int_{0}^{1}\prod_{j=1}^{n}4\sin^{2}(\pi jx)\, dx. \] The integer an appears as the main term in a weighted average of the number of orbits in a particular quasihyperbolic automorphism of a 2n-torus, which has applications to ergodic and analytic number theory. The combinatorial structure of an is also of interest, as the ‘signed’ number of ways in which 0 can be represented as the sum of ϵjj for −n ≤ j ≤ n (with j ≠ 0), with ϵj ∈ {0, 1}. Our result answers a question of Thomas Ward (no relation to the fourth author) and confirms a conjecture of Robert Israel and Steven Finch.

scholarly journals ON PRODUCTS OF ELEMENTARILY INDIVISIBLE STRUCTURES

2016 ◽  
Vol 81 (3) ◽  
pp. 951-971
Author(s):  
NADAV MEIR
Keyword(s):  
New Products ◽  
Elementary Substructure ◽  
First Order ◽  
Order Language ◽  
Image Position

AbstractWe say a structure ${\cal M}$ in a first-order language ${\cal L}$ is indivisible if for every coloring of its universe in two colors, there is a monochromatic substructure ${\cal M}\prime \subseteq {\cal M}$ such that ${\cal M}\prime \cong {\cal M}$. Additionally, we say that ${\cal M}$ is symmetrically indivisible if ${\cal M}\prime$ can be chosen to be symmetrically embedded in ${\cal M}$ (that is, every automorphism of ${\cal M}\prime$ can be extended to an automorphism of ${\cal M}$). Similarly, we say that ${\cal M}$ is elementarily indivisible if ${\cal M}\prime$ can be chosen to be an elementary substructure. We define new products of structures in a relational language. We use these products to give recipes for construction of elementarily indivisible structures which are not transitive and elementarily indivisible structures which are not symmetrically indivisible, answering two questions presented by A. Hasson, M. Kojman, and A. Onshuus.

Properties of Classes of Random Graphs

1994 ◽  
Vol 3 (4) ◽  
pp. 435-454 ◽  
Author(s):  
Neal Brand ◽  
Steve Jackson
Keyword(s):  
Random Graphs ◽  
Higher Order ◽  
Order Property ◽  
First Order ◽  
New Class ◽  
Vertex Transitive ◽  
Vertex Transitive Graphs ◽  
Almost All ◽  
Transitive Graphs

In [11] it is shown that the theory of almost all graphs is first-order complete. Furthermore, in [3] a collection of first-order axioms are given from which any first-order property or its negation can be deduced. Here we show that almost all Steinhaus graphs satisfy the axioms of almost all graphs and conclude that a first-order property is true for almost all graphs if and only if it is true for almost all Steinhaus graphs. We also show that certain classes of subgraphs of vertex transitive graphs are first-order complete. Finally, we give a new class of higher-order axioms from which it follows that large subgraphs of specified type exist in almost all graphs.

scholarly journals Existence of nonoscillatory solutions of first order nonlinear neutral equations

1990 ◽  
Vol 32 (2) ◽  
pp. 180-192 ◽  
Author(s):  
Lu Wudu
Keyword(s):  
Nonoscillatory Solution ◽  
Sufficient Condition ◽  
Neutral Equation ◽  
Necessary And Sufficient Condition ◽  
Nonoscillatory Solutions ◽  
Neutral Equations ◽  
First Order ◽  
Image Position ◽  
Necessary And Sufficient

AbstractConsider the nonlinear neutral equationwhere pi(t), hi(t), gj(t), Q(t) Є C[t0, ∞), limt→∞hi(t) = ∞, limt→∞gj(t) = ∞ i Є Im = {1, 2, …, m}, j Є In = {1, 2, …, n}. We obtain a necessary and sufficient condition (2) for this equation to have a nonoscillatory solution x(t) with limt→∞ inf|x(t)| > 0 (Theorems 5 and 6) or to have a bounded nonoscillatory solution x(t) with limt→∞ inf|x(t)| > 0 (Theorem 7).

LIMIT CYCLE BIFURCATIONS IN NEAR-HAMILTONIAN SYSTEMS BY PERTURBING A NILPOTENT CENTER

2008 ◽  
Vol 18 (10) ◽  
pp. 3013-3027 ◽  
Author(s):  
MAOAN HAN ◽  
JIAO JIANG ◽  
HUAIPING ZHU
Keyword(s):  
Limit Cycle ◽  
Limit Cycles ◽  
Unperturbed System ◽  
Bifurcation Theorem ◽  
First Order ◽  
Cubic System ◽  
Limit Cycle Bifurcation ◽  
Almost All ◽  
Nilpotent Center ◽  
Computing Method

As we know, Hopf bifurcation is an important part of bifurcation theory of dynamical systems. Almost all known works are concerned with the bifurcation and number of limit cycles near a nondegenerate focus or center. In the present paper, we study a general near-Hamiltonian system on the plane whose unperturbed system has a nilpotent center. We obtain an expansion for the first order Melnikov function near the center together with a computing method for the first coefficients. Using these coefficients, we obtain a new bifurcation theorem concerning the limit cycle bifurcation near the nilpotent center. An interesting application example & a cubic system having five limit cycles & is also presented.

A note on the undefinability of cuts

1983 ◽  
Vol 48 (3) ◽  
pp. 564-569 ◽  
Author(s):  
J.B. Paris ◽  
C. Dimitracopoulos
Keyword(s):  
First Order ◽  
Nonstandard Model ◽  
Image Position

The results in this paper were motivated by the following result due to R. Solovay.Theorem 1 (Solovay). Let M be a nonstandard model of Peano's first order axioms P and let I ⊂e M (i.e. ϕ ≠ ⊂ M and I is closed under < and successor). Then for each of the functions we can define J ⊆e I in ‹M, I› such that J is closed under that function. (∣x∣ denotes [log2(x)].)Proof. Just notice that the cuts defined byare successively closed under In view of Theorem 1, the following question was raised by R. Solovay: Can we define J ⊆ I in ‹M, I› such that J is closed under exponentiation? In Theorem 2 we show that the answer is “no”. Theorem 3 is based on Theorem 2 and extends the technique to cuts which are models of subsystems of P.To prove both theorems we shall need an estimate due to R. Parikh (see [1], especially the proof of Theorem 2.2a). For the sake of completeness, and also to introduce some notation we shall sketch Parikh's estimate in the next section. At all times we shall give the easiest estimates which still work rather than the sharpest ones.

Sign in / Sign up

Export Citation Format

Share Document