Misplaced Pages

#990009

53-396: Chomp is a two-player game played on a rectangular chocolate bar made up of smaller square blocks. Chomp or CHOMP may also refer to: Chomp The chocolate-bar formulation of Chomp is due to David Gale , but an equivalent game expressed in terms of choosing divisors of a fixed integer was published earlier by Frederik Schuh . Chomp is a special case of a poset game where

106-450: A UV completion , of the kind that string theory is intended to provide. In particular, superstring theory requires six compact dimensions (6D hyperspace) forming a Calabi–Yau manifold . Thus Kaluza-Klein theory may be considered either as an incomplete description on its own, or as a subset of string theory model building. In addition to small and curled up extra dimensions, there may be extra dimensions that instead are not apparent because

159-431: A cuboid of blocks indexed as (i,j,k). A move is to take a block together with any block all of whose indices are greater or equal to the corresponding index of the chosen block. In the same way Chomp can be generalised to any number of dimensions. Chomp is sometimes described numerically. An initial natural number is given, and players alternate choosing positive divisors of the initial number, but may not choose 1 or

212-417: A discrete set of points (such as a finite collection of points) to be 0-dimensional. By dragging a 0-dimensional object in some direction, one obtains a 1-dimensional object. By dragging a 1-dimensional object in a new direction , one obtains a 2-dimensional object. In general, one obtains an ( n + 1 )-dimensional object by dragging an n -dimensional object in a new direction. The inductive dimension of

265-441: A line is one, as a point can move on a line in only one direction (or its opposite); the dimension of a plane is two etc. The dimension is an intrinsic property of an object, in the sense that it is independent of the dimension of the space in which the object is or can be embedded. For example, a curve , such as a circle , is of dimension one, because the position of a point on a curve is determined by its signed distance along

318-452: A mathematical space (or object ) is informally defined as the minimum number of coordinates needed to specify any point within it. Thus, a line has a dimension of one (1D) because only one coordinate is needed to specify a point on it – for example, the point at 5 on a number line. A surface , such as the boundary of a cylinder or sphere , has a dimension of two (2D) because two coordinates are needed to specify

371-520: A multiple of a previously chosen divisor. This game models n- dimensional Chomp, where the initial natural number has n prime factors and the dimensions of the Chomp board are given by the exponents of the primes in its prime factorization . Ordinal Chomp is played on an infinite board with some of its dimensions ordinal numbers : for example a 2 × (ω + 4) bar. A move is to pick any block and remove all blocks with both indices greater than or equal

424-414: A conceptual model of the cities as points, while giving directions involving travel "up," "down," or "along" a road imply a one-dimensional conceptual model. This is frequently done for purposes of data efficiency, visual simplicity, or cognitive efficiency, and is acceptable if the distinction between the representation and the represented is understood but can cause confusion if information users assume that

477-416: A manifold depends on the base field with respect to which Euclidean space is defined. While analysis usually assumes a manifold to be over the real numbers , it is sometimes useful in the study of complex manifolds and algebraic varieties to work over the complex numbers instead. A complex number ( x + iy ) has a real part x and an imaginary part y , in which x and y are both real numbers; hence,

530-570: A particular space have the same cardinality . This cardinality is called the dimension of the Hilbert space. This dimension is finite if and only if the space's Hamel dimension is finite, and in this case the two dimensions coincide. Classical physics theories describe three physical dimensions : from a particular point in space , the basic directions in which we can move are up/down, left/right, and forward/backward. Movement in any other direction can be expressed in terms of just these three. Moving down

583-497: A point on it – for example, both a latitude and longitude are required to locate a point on the surface of a sphere. A two-dimensional Euclidean space is a two-dimensional space on the plane . The inside of a cube , a cylinder or a sphere is three-dimensional (3D) because three coordinates are needed to locate a point within these spaces. In classical mechanics , space and time are different categories and refer to absolute space and time . That conception of

SECTION 10

#1733093742991

636-432: A representation of a real-world phenomenon may have a different (usually lower) dimension than the phenomenon being represented. For example, a city (a two-dimensional region) may be represented as a point, or a road (a three-dimensional volume of material) may be represented as a line. This dimensional generalization correlates with tendencies in spatial cognition. For example, asking the distance between two cities presumes

689-406: A topological space may refer to the small inductive dimension or the large inductive dimension , and is based on the analogy that, in the case of metric spaces, ( n + 1 )-dimensional balls have n -dimensional boundaries , permitting an inductive definition based on the dimension of the boundaries of open sets. Moreover, the boundary of a discrete set of points is the empty set, and therefore

742-440: A winning strategy. Computers can easily calculate winning moves for this game on two-dimensional boards of reasonable size. However, as the number of positions grows exponentially, this is infeasible for larger boards. For a square starting position (i.e., n × n for any n ≥ 2), the winning strategy can easily be given explicitly. The first player should present the second with an L shape of one row and one column only, of

795-458: Is a dimension of time. Time is often referred to as the " fourth dimension " for this reason, but that is not to imply that it is a spatial dimension . A temporal dimension is one way to measure physical change. It is perceived differently from the three spatial dimensions in that there is only one of it, and that we cannot move freely in time but subjectively move in one direction . The equations used in physics to model reality do not treat time in

848-578: Is an algebraic group of dimension n acting on V , then the quotient stack [ V / G ] has dimension m  −  n . The Krull dimension of a commutative ring is the maximal length of chains of prime ideals in it, a chain of length n being a sequence P 0 ⊊ P 1 ⊊ ⋯ ⊊ P n {\displaystyle {\mathcal {P}}_{0}\subsetneq {\mathcal {P}}_{1}\subsetneq \cdots \subsetneq {\mathcal {P}}_{n}} of prime ideals related by inclusion. It

901-422: Is an example of a four-dimensional object. Whereas outside mathematics the use of the term "dimension" is as in: "A tesseract has four dimensions ", mathematicians usually express this as: "The tesseract has dimension 4 ", or: "The dimension of the tesseract is 4" or: 4D. Although the notion of higher dimensions goes back to René Descartes , substantial development of a higher-dimensional geometry only began in

954-491: Is available to support the existence of these extra dimensions. If hyperspace exists, it must be hidden from us by some physical mechanism. One well-studied possibility is that the extra dimensions may be "curled up" at such tiny scales as to be effectively invisible to current experiments. In 1921, Kaluza–Klein theory presented 5D including an extra dimension of space. At the level of quantum field theory , Kaluza–Klein theory unifies gravity with gauge interactions, based on

1007-403: Is probably the dimension of the tangent space at any Regular point of an algebraic variety . Another intuitive way is to define the dimension as the number of hyperplanes that are needed in order to have an intersection with the variety that is reduced to a finite number of points (dimension zero). This definition is based on the fact that the intersection of a variety with a hyperplane reduces

1060-416: Is said to be infinite, and one writes dim X = ∞ . Moreover, X has dimension −1, i.e. dim X = −1 if and only if X is empty. This definition of covering dimension can be extended from the class of normal spaces to all Tychonoff spaces merely by replacing the term "open" in the definition by the term " functionally open ". An inductive dimension may be defined inductively as follows. Consider

1113-455: Is strongly related to the dimension of an algebraic variety, because of the natural correspondence between sub-varieties and prime ideals of the ring of the polynomials on the variety. For an algebra over a field , the dimension as vector space is finite if and only if its Krull dimension is 0. For any normal topological space X , the Lebesgue covering dimension of X is defined to be

SECTION 20

#1733093742991

1166-462: Is the binomial coefficient ( m + n n ) {\displaystyle {\binom {m+n}{n}}} , which grows exponentially with m and n . Chomp belongs to the category of impartial two-player perfect information games, making it also analyzable by Nim because of the Sprague–Grundy theorem . For any rectangular starting position, other than 1×1,

1219-680: Is the largest number of spatial dimensions in which strings can generically intersect. If initially there are many windings of strings around compact dimensions, space could only expand to macroscopic sizes once these windings are eliminated, which requires oppositely wound strings to find each other and annihilate. But strings can only find each other to annihilate at a meaningful rate in three dimensions, so it follows that only three dimensions of space are allowed to grow large given this kind of initial configuration. Extra dimensions are said to be universal if all fields are equally free to propagate within them. Several types of digital systems are based on

1272-410: Is the same as moving up a negative distance. Moving diagonally upward and forward is just as the name of the direction implies i.e. , moving in a linear combination of up and forward. In its simplest form: a line describes one dimension, a plane describes two dimensions, and a cube describes three dimensions. (See Space and Cartesian coordinate system .) A temporal dimension , or time dimension ,

1325-592: The brane by their endpoints, whereas the closed strings that mediate the gravitational interaction are free to propagate into the whole spacetime, or "the bulk". This could be related to why gravity is exponentially weaker than the other forces, as it effectively dilutes itself as it propagates into a higher-dimensional volume. Some aspects of brane physics have been applied to cosmology . For example, brane gas cosmology attempts to explain why there are three dimensions of space using topological and thermodynamic considerations. According to this idea it would be since three

1378-630: The force moving any object to change is time . In physics, three dimensions of space and one of time is the accepted norm. However, there are theories that attempt to unify the four fundamental forces by introducing extra dimensions / hyperspace . Most notably, superstring theory requires 10 spacetime dimensions, and originates from a more fundamental 11-dimensional theory tentatively called M-theory which subsumes five previously distinct superstring theories. Supergravity theory also promotes 11D spacetime = 7D hyperspace + 4 common dimensions. To date, no direct experimental or observational evidence

1431-401: The misère play convention : The player who eats the final chocolate block is not poisoned, but simply loses by virtue of being the last player. This is identical to the ordinary rule when playing Chomp on its own, but differs when playing the disjunctive sum of Chomp games, where only the last final chocolate block loses. Dimension In physics and mathematics , the dimension of

1484-435: The partially ordered set on which the game is played is a product of total orders with the minimal element (poisonous block) removed. Below shows the sequence of moves in a typical game starting with a 5 × 4 bar: Player A eats two blocks from the bottom right corner; Player B eats three from the bottom row; Player A picks the block to the right of the poisoned block and eats eleven blocks; Player B eats three blocks from

1537-410: The physical space . In mathematics , the dimension of an object is, roughly speaking, the number of degrees of freedom of a point that moves on this object. In other words, the dimension is the number of independent parameters or coordinates that are needed for defining the position of a point that is constrained to be on the object. For example, the dimension of a point is zero; the dimension of

1590-415: The 19th century, via the work of Arthur Cayley , William Rowan Hamilton , Ludwig Schläfli and Bernhard Riemann . Riemann's 1854 Habilitationsschrift , Schläfli's 1852 Theorie der vielfachen Kontinuität , and Hamilton's discovery of the quaternions and John T. Graves ' discovery of the octonions in 1843 marked the beginning of higher-dimensional geometry. The rest of this section examines some of

1643-448: The complex dimension is half the real dimension. Conversely, in algebraically unconstrained contexts, a single complex coordinate system may be applied to an object having two real dimensions. For example, an ordinary two-dimensional spherical surface , when given a complex metric, becomes a Riemann sphere of one complex dimension. The dimension of an algebraic variety may be defined in various equivalent ways. The most intuitive way

Chomp (disambiguation) - Misplaced Pages Continue

1696-450: The corresponding indices of the chosen block. The case of ω × ω × ω Chomp is a notable open problem; a $ 100 reward has been offered for finding a winning first move. More generally, Chomp can be played on any partially ordered set with a least element . A move is to remove any element along with all larger elements. A player loses by taking the least element. All varieties of Chomp can also be played without resorting to poison by using

1749-461: The curve to a fixed point on the curve. This is independent from the fact that a curve cannot be embedded in a Euclidean space of dimension lower than two, unless it is a line. The dimension of Euclidean n -space E is n . When trying to generalize to other types of spaces, one is faced with the question "what makes E n -dimensional?" One answer is that to cover a fixed ball in E by small balls of radius ε , one needs on

1802-468: The dimension by one unless if the hyperplane contains the variety. An algebraic set being a finite union of algebraic varieties, its dimension is the maximum of the dimensions of its components. It is equal to the maximal length of the chains V 0 ⊊ V 1 ⊊ ⋯ ⊊ V d {\displaystyle V_{0}\subsetneq V_{1}\subsetneq \cdots \subsetneq V_{d}} of sub-varieties of

1855-450: The direction of increasing entropy ). The best-known treatment of time as a dimension is Poincaré and Einstein 's special relativity (and extended to general relativity ), which treats perceived space and time as components of a four-dimensional manifold , known as spacetime , and in the special, flat case as Minkowski space . Time is different from other spatial dimensions as time operates in all spatial dimensions. Time operates in

1908-409: The empty set can be taken to have dimension -1. Similarly, for the class of CW complexes , the dimension of an object is the largest n for which the n -skeleton is nontrivial. Intuitively, this can be described as follows: if the original space can be continuously deformed into a collection of higher-dimensional triangles joined at their faces with a complicated surface, then the dimension of

1961-498: The first player can win. This can be shown using a strategy-stealing argument : assume that the second player has a winning strategy against any initial first-player move. Suppose then, that the first player takes only the bottom right hand square. By our assumption, the second player has a response to this which will force victory. But if such a winning response exists, the first player could have played it as their first move and thus forced victory. The second player therefore cannot have

2014-408: The first, second and third as well as theoretical spatial dimensions such as a fourth spatial dimension . Time is not however present in a single point of absolute infinite singularity as defined as a geometric point , as an infinitely small point can have no change and therefore no time. Just as when an object moves through positions in space, it also moves through positions in time. In this sense

2067-428: The given algebraic set (the length of such a chain is the number of " ⊊ {\displaystyle \subsetneq } "). Each variety can be considered as an algebraic stack , and its dimension as variety agrees with its dimension as stack. There are however many stacks which do not correspond to varieties, and some of these have negative dimension. Specifically, if V is a variety of dimension m and G

2120-430: The matter associated with our visible universe is localized on a (3 + 1)-dimensional subspace. Thus, the extra dimensions need not be small and compact but may be large extra dimensions . D-branes are dynamical extended objects of various dimensionalities predicted by string theory that could play this role. They have the property that open string excitations, which are associated with gauge interactions, are confined to

2173-486: The more important mathematical definitions of dimension. The dimension of a vector space is the number of vectors in any basis for the space, i.e. the number of coordinates necessary to specify any vector. This notion of dimension (the cardinality of a basis) is often referred to as the Hamel dimension or algebraic dimension to distinguish it from other notions of dimension. For the non- free case, this generalizes to

Chomp (disambiguation) - Misplaced Pages Continue

2226-428: The notion of the length of a module . The uniquely defined dimension of every connected topological manifold can be calculated. A connected topological manifold is locally homeomorphic to Euclidean n -space, in which the number n is the manifold's dimension. For connected differentiable manifolds , the dimension is also the dimension of the tangent vector space at any point. In geometric topology ,

2279-601: The object is the dimension of those triangles. The Hausdorff dimension is useful for studying structurally complicated sets, especially fractals . The Hausdorff dimension is defined for all metric spaces and, unlike the dimensions considered above, can also have non-integer real values. The box dimension or Minkowski dimension is a variant of the same idea. In general, there exist more definitions of fractal dimensions that work for highly irregular sets and attain non-integer positive real values. Every Hilbert space admits an orthonormal basis , and any two such bases for

2332-577: The order of ε such small balls. This observation leads to the definition of the Minkowski dimension and its more sophisticated variant, the Hausdorff dimension , but there are also other answers to that question. For example, the boundary of a ball in E looks locally like E and this leads to the notion of the inductive dimension . While these notions agree on E , they turn out to be different when one looks at more general spaces. A tesseract

2385-450: The realization that gravity propagating in small, compact extra dimensions is equivalent to gauge interactions at long distances. In particular when the geometry of the extra dimensions is trivial, it reproduces electromagnetism . However, at sufficiently high energies or short distances, this setup still suffers from the same pathologies that famously obstruct direct attempts to describe quantum gravity . Therefore, these models still require

2438-426: The remaining column, leaving only the poisoned block. Player A must eat the last block and so loses. Note that since it is provable that player A can win when starting from a 5 × 4 bar, at least one of A's moves is a mistake. The intermediate positions in an m × n Chomp are integer-partitions (non-increasing sequences of positive integers) λ 1 ≥ λ 2 ≥···≥ λ r , with λ 1 ≤ n and r ≤ m . Their number

2491-409: The same length, connected at the poisonous square. Then, whatever the second player does on one arm of the L , the first player replies with the same move on the second arm, always presenting the second player again with a symmetric L shape. Finally, this L will degenerate into the single poisonous square, and the second player would lose. Three- dimensional Chomp has an initial chocolate bar of

2544-406: The same way that humans commonly perceive it. The equations of classical mechanics are symmetric with respect to time , and equations of quantum mechanics are typically symmetric if both time and other quantities (such as charge and parity ) are reversed. In these models, the perception of time flowing in one direction is an artifact of the laws of thermodynamics (we perceive time as flowing in

2597-412: The smallest integer n for which the following holds: any open cover has an open refinement (a second open cover in which each element is a subset of an element in the first cover) such that no point is included in more than n + 1 elements. In this case dim X = n . For X a manifold, this coincides with the dimension mentioned above. If no such integer n exists, then the dimension of X

2650-471: The state-space of quantum mechanics is an infinite-dimensional function space . The concept of dimension is not restricted to physical objects. High-dimensional space s frequently occur in mathematics and the sciences . They may be Euclidean spaces or more general parameter spaces or configuration spaces such as in Lagrangian or Hamiltonian mechanics ; these are abstract spaces , independent of

2703-424: The storage, analysis, and visualization of geometric shapes, including illustration software , Computer-aided design , and Geographic information systems . Different vector systems use a wide variety of data structures to represent shapes, but almost all are fundamentally based on a set of geometric primitives corresponding to the spatial dimensions: Frequently in these systems, especially GIS and Cartography ,

SECTION 50

#1733093742991

2756-478: The theory of manifolds is characterized by the way dimensions 1 and 2 are relatively elementary, the high-dimensional cases n > 4 are simplified by having extra space in which to "work"; and the cases n = 3 and 4 are in some senses the most difficult. This state of affairs was highly marked in the various cases of the Poincaré conjecture , in which four different proof methods are applied. The dimension of

2809-624: The world is a four-dimensional space but not the one that was found necessary to describe electromagnetism . The four dimensions (4D) of spacetime consist of events that are not absolutely defined spatially and temporally, but rather are known relative to the motion of an observer . Minkowski space first approximates the universe without gravity ; the pseudo-Riemannian manifolds of general relativity describe spacetime with matter and gravity. 10 dimensions are used to describe superstring theory (6D hyperspace + 4D), 11 dimensions can describe supergravity and M-theory (7D hyperspace + 4D), and

#990009