An infinite class of maximal intermediate propositional logics with the disjunction property

1992 ◽  
Vol 31 (6) ◽  
pp. 415-432 ◽  
Author(s):  
Pierangelo Miglioli
Keyword(s):  
Infinite Class ◽  
Disjunction Property

scholarly journals Stringy canonical forms and binary geometries from associahedra, cyclohedra and generalized permutohedra

2020 ◽  
Vol 2020 (10) ◽  
Author(s):  
Song He ◽  
Zhenjie Li ◽  
Prashanth Raman ◽  
Chi Zhang
Keyword(s):  
Large Class ◽  
Configuration Space ◽  
Moduli Space ◽  
Cluster Algebras ◽  
Configuration Spaces ◽  
Minkowski Sum ◽  
Canonical Forms ◽  
Infinite Class ◽  
Special Cases ◽  
Generalized Associahedra

Abstract Stringy canonical forms are a class of integrals that provide α′-deformations of the canonical form of any polytopes. For generalized associahedra of finite-type cluster algebras, there exist completely rigid stringy integrals, whose configuration spaces are the so-called binary geometries, and for classical types are associated with (generalized) scattering of particles and strings. In this paper, we propose a large class of rigid stringy canonical forms for another class of polytopes, generalized permutohedra, which also include associahedra and cyclohedra as special cases (type An and Bn generalized associahedra). Remarkably, we find that the configuration spaces of such integrals are also binary geometries, which were suspected to exist for generalized associahedra only. For any generalized permutohedron that can be written as Minkowski sum of coordinate simplices, we show that its rigid stringy integral factorizes into products of lower integrals for massless poles at finite α′, and the configuration space is binary although the u equations take a more general form than those “perfect” ones for cluster cases. Moreover, we provide an infinite class of examples obtained by degenerations of type An and Bn integrals, which have perfect u equations as well. Our results provide yet another family of generalizations of the usual string integral and moduli space, whose physical interpretations remain to be explored.

scholarly journals Infinite class field towers

2009 ◽  
Vol 344 (4) ◽  
pp. 923-928 ◽  
Author(s):  
Jing Long Hoelscher
Keyword(s):  
Infinite Class ◽  
Class Field ◽  
Class Field Towers

Nanocomposites: Retrospecr and Prospect

1992 ◽  
Vol 286 ◽  
Author(s):  
Rustum Roy
Keyword(s):  
Major Part ◽  
Size Range ◽  
Nanocomposite Materials ◽  
One Dimension ◽  
New Materials ◽  
Infinite Class ◽  
Materials Synthesis ◽  
The World ◽  
Two Phases ◽  
Nanometer Size Range

ABSTRACTIn this paper we make clear distinctions from the terms nanophase, nanocrystalline and deal only with nanocomposites defined as an interacting mixture of two phases, one of which is in the nanometer size range in at least one dimension. The author's origins of development of the idea that nanocomposites are a virtually infinite class of new materials are described.Then we refer to the results of our extensive studies of nanocomposites derived by solution-solgel techniques to illustrate the properties of such materials in the area of chemical and thermal reactivity.Finally it is pointed out that in the last few years nanocomposite materials have become a major part of new materials synthesis all over the world for applications ranging from mechanical to optical, to magnetic to dielectric.

An infinite class of PBIB designs

1978 ◽  
Vol 6 (1) ◽  
pp. 25-32
Author(s):  
G. M. Saha ◽  
A. D. Das
Keyword(s):  
Infinite Class

On completely recursively enumerable classes and their key arrays

1956 ◽  
Vol 21 (3) ◽  
pp. 304-308 ◽  
Author(s):  
H. G. Rice
Keyword(s):  
Decision Procedure ◽  
Cardinal Number ◽  
Maximum Amount ◽  
Infinite Class ◽  
Finite Sets ◽  
Amount Of Information ◽  
Recursively Enumerable ◽  
Finite Set ◽  
Partial Recursive Functions ◽  
Set Up

The two results of this paper (a theorem and an example) are applications of a device described in section 1. Our notation is that of [4], with which we assume familiarity. It may be worth while to mention in particular the function Φ(n, x) which recursively enumerates the partial recursive functions of one variable, the Cantor enumerating functions J(x, y), K(x), L(x), and the classes F and Q of r.e. (recursively enumerable) and finite sets respectively.It is possible to “give” a finite set in a way which conveys the maximum amount of information; this may be called “giving explicitly”, and it requires that in addition to an effective enumeration or decision procedure for the set we give its cardinal number. It is sometimes desired to enumerate effectively an infinite class of finite sets, each given explicitly (e.g., [4] p. 360, or Dekker [1] p. 497), and we suggest here a device for doing this.We set up an effective one-to-one correspondence between the finite sets of non-negative integers and these integers themselves: the integer , corresponds to the set αi, = {a1, a2, …, an} and inversely. α0 is the empty set. Clearly i can be effectively computed from the elements of αi and its cardinal number.

scholarly journals Dense Packings of Equal Disks in an Equilateral Triangle

10.37236/1223 ◽  
1994 ◽  
Vol 2 (1) ◽  
Author(s):  
R. L. Graham ◽  
B. D. Lubachevsky
Keyword(s):  
Equilateral Triangle ◽  
Minimum Distance ◽  
Discrete Event ◽  
Simulation Algorithm ◽  
Infinite Class ◽  
Event Simulation ◽  
Integer Coefficients ◽  
Equilateral Triangles ◽  
Dense Packings ◽  
Disk Packings

Previously published packings of equal disks in an equilateral triangle have dealt with up to 21 disks. We use a new discrete-event simulation algorithm to produce packings for up to 34 disks. For each $n$ in the range $22 \le n \le 34$ we present what we believe to be the densest possible packing of $n$ equal disks in an equilateral triangle. For these $n$ we also list the second, often the third and sometimes the fourth best packings among those that we found. In each case, the structure of the packing implies that the minimum distance $d(n)$ between disk centers is the root of polynomial $P_n$ with integer coefficients. In most cases we do not explicitly compute $P_n$ but in all cases we do compute and report $d(n)$ to 15 significant decimal digits. Disk packings in equilateral triangles differ from those in squares or circles in that for triangles there are an infinite number of values of $n$ for which the exact value of $d(n)$ is known, namely, when $n$ is of the form $\Delta (k) := \frac{k(k+1)}{2}$. It has also been conjectured that $d(n-1) = d(n)$ in this case. Based on our computations, we present conjectured optimal packings for seven other infinite classes of $n$, namely \begin{align*} n & = & \Delta (2k) +1, \Delta (2k+1) +1, \Delta (k+2) -2 , \Delta (2k+3) -3, \\ && \Delta (3k+1)+2 , 4 \Delta (k), \text{ and } 2 \Delta (k+1) + 2 \Delta (k) -1 . \end{align*} We also report the best packings we found for other values of $n$ in these forms which are larger than 34, namely, $n=37$, 40, 42, 43, 46, 49, 56, 57, 60, 63, 67, 71, 79, 84, 92, 93, 106, 112, 121, and 254, and also for $n=58$, 95, 108, 175, 255, 256, 258, and 260. We say that an infinite class of packings of $n$ disks, $n=n(1), n(2),...n(k),...$, is tight , if [$1/d(n(k)+1) - 1/d(n(k))$] is bounded away from zero as $k$ goes to infinity. We conjecture that some of our infinite classes are tight, others are not tight, and that there are infinitely many tight classes.

scholarly journals A strict upper bound for size multipartite Ramsey numbers of paths versus stars

2017 ◽  
Vol 1 (2) ◽  
pp. 9
Author(s):  
Chula Jayawardene
Keyword(s):  
Natural Number ◽  
Complete Graph ◽  
Upper Bound ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Infinite Class ◽  
Ramsey Numbers ◽  
Necessary And Sufficient

<p>Let $P_n$ represent the path of size $n$. Let $K_{1,m-1}$ represent a star of size $m$ and be denoted by $S_{m}$. Given a two coloring of the edges of a complete graph $K_{j \times s}$ we say that $K_{j \times s}\rightarrow (P_n,S_{m+1})$ if there is a copy of $P_n$ in the first color or a copy of $S_{m+1}$ in the second color. The size Ramsey multipartite number $m_j(P_n, S_{m+1})$ is the smallest natural number $s$ such that $K_{j \times s}\rightarrow (P_n,S_{m+1})$. Given $j,n,m$ if $s=\left\lceil \dfrac{n+m-1-k}{j-1} \right\rceil$, in this paper, we show that the size Ramsey numbers $m_j(P_n,S_{m+1})$ is bounded above by $s$ for $k=\left\lceil \dfrac{n-1}{j} \right\rceil$. Given $j\ge 3$ and $s$, we will obtain an infinite class $(n,m)$ that achieves this upper bound $s$. In the later part of the paper, will also investigate necessary and sufficient conditions needed for the upper bound to hold.</p>

Construction of Dual-CISTs on an Infinite Class of Networks

2021 ◽  
pp. 1-1
Author(s):  
Xiao-Wen Qin ◽  
Rong-Xia Hao ◽  
Jie Wu
Keyword(s):  
Infinite Class

The Homology of Abelian Covers of Knotted Graphs

1999 ◽  
Vol 51 (5) ◽  
pp. 1035-1072
Author(s):  
R. A. Litherland
Keyword(s):  
Complete Graph ◽  
Connected Graph ◽  
Petersen Graph ◽  
Infinite Class ◽  
Colored Graphs ◽  
Branched Cover ◽  
Trivalent Graph ◽  
Abelian Covers ◽  
Index 2

AbstractLet be a regular branched cover of a homology 3-sphere M with deck group and branch set a trivalent graph Γ; such a cover is determined by a coloring of the edges of Γ with elements of G. For each index-2 subgroup H of G, MH = /H is a double branched cover of M. Sakuma has proved that H1() is isomorphic, modulo 2-torsion, to ⊕HH1(MH), and has shown that H1() is determined up to isomorphism by ⊕HH1(MH) in certain cases; specifically, when d = 2 and the coloring is such that the branch set of each cover MH → M is connected, and when d = 3 and Γ is the complete graph K4. We prove this for a larger class of coverings: when d = 2, for any coloring of a connected graph; when d = 3 or 4, for an infinite class of colored graphs; and when d = 5, for a single coloring of the Petersen graph.

Sign in / Sign up

Export Citation Format

Share Document