|
Order Polynomial
The order polynomial is a polynomial studied in mathematics, in particular in algebraic graph theory and algebraic combinatorics. The order polynomial counts the number of order-preserving maps from a poset to a chain of length n. These order-preserving maps were first introduced by Richard P. Stanley while studying ordered structures and partitions as a Ph.D. student at Harvard University in 1971 under the guidance of Gian-Carlo Rota. Definition Let P be a finite poset with p elements denoted x,y \in P, and let \ be a chain n elements. A map \phi: P \to is order-preserving if x \leq y implies \phi(x) \leq \phi(y). The number of such maps grows polynomially with n, and the function that counts their number is the ''order polynomial'' \Omega(n)=\Omega(P,n). Similarly, we can define an order polynomial that counts the number of strictly order-preserving maps \phi: P \to /math>, meaning x is (strictly) order-preserving, there are p! linear extensions, and both polynomial ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Polynomial
In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An example of a polynomial of a single indeterminate is . An example with three indeterminates is . Polynomials appear in many areas of mathematics and science. For example, they are used to form polynomial equations, which encode a wide range of problems, from elementary word problems to complicated scientific problems; they are used to define polynomial functions, which appear in settings ranging from basic chemistry and physics to economics and social science; they are used in calculus and numerical analysis to approximate other functions. In advanced mathematics, polynomials are used to construct polynomial rings and algebraic varieties, which are central concepts in algebra and algebraic geometry. Etymology The word ''polynomial'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stanley's Reciprocity Theorem
In combinatorial mathematics, Stanley's reciprocity theorem, named after MIT mathematician Richard P. Stanley, states that a certain functional equation is satisfied by the generating function of any rational cone (defined below) and the generating function of the cone's interior. Definitions A rational cone is the set of all ''d''-tuples :(''a''1, ..., ''a''''d'') of nonnegative integers satisfying a system of inequalities :M\left begina_1 \\ \vdots \\ a_d\end\right\geq \left begin0 \\ \vdots \\ 0\end\right/math> where ''M'' is a matrix of integers. A ''d''-tuple satisfying the corresponding ''strict'' inequalities, i.e., with ">" rather than "≥", is in the ''interior'' of the cone. The generating function of such a cone is :F(x_1,\dots,x_d)=\sum_ x_1^\cdots x_d^. The generating function ''F''int(''x''1, ..., ''x''''d'') of the interior of the cone is defined in the same way, but one sums over ''d''-tuples in the interior rather than in the whole cone. It can b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Order Theory
Order theory is a branch of mathematics that investigates the intuitive notion of order using binary relations. It provides a formal framework for describing statements such as "this is less than that" or "this precedes that". This article introduces the field and provides basic definitions. A list of order-theoretic terms can be found in the order theory glossary. Background and motivation Orders are everywhere in mathematics and related fields like computer science. The first order often discussed in primary school is the standard order on the natural numbers e.g. "2 is less than 3", "10 is greater than 5", or "Does Tom have fewer cookies than Sally?". This intuitive concept can be extended to orders on other sets of numbers, such as the integers and the reals. The idea of being greater than or less than another number is one of the basic intuitions of number systems (compare with numeral systems) in general (although one usually is also interested in the actual differe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rational Function
In mathematics, a rational function is any function that can be defined by a rational fraction, which is an algebraic fraction such that both the numerator and the denominator are polynomials. The coefficients of the polynomials need not be rational numbers; they may be taken in any field ''K''. In this case, one speaks of a rational function and a rational fraction ''over K''. The values of the variables may be taken in any field ''L'' containing ''K''. Then the domain of the function is the set of the values of the variables for which the denominator is not zero, and the codomain is ''L''. The set of rational functions over a field ''K'' is a field, the field of fractions of the ring of the polynomial functions over ''K''. Definitions A function f(x) is called a rational function if and only if it can be written in the form : f(x) = \frac where P\, and Q\, are polynomial functions of x\, and Q\, is not the zero function. The domain of f\, is the set of all va ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Eugène Ehrhart
Eugène Ehrhart (29 April 1906 – 17 January 2000) was a French mathematician who introduced Ehrhart polynomial In mathematics, an integral polytope has an associated Ehrhart polynomial that encodes the relationship between the volume of a polytope and the number of integer points the polytope contains. The theory of Ehrhart polynomials can be seen as a hig ...s in the 1960s. Ehrhart received his high school diploma at the age of 22. He was a mathematics teacher in several high schools, and did mathematics research on his own time. He started publishing in mathematics in his 40s, and finished his PhD thesis at the age of 60. Selected publications *. ReferencesA Tribute to Eugène Ehrhart Philippe Clauss, University of Strasbourg. External linksMathematicians who were late learners?-list – MathOverflow {{DEFAULTSORT: ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Integer Lattice
In mathematics, the -dimensional integer lattice (or cubic lattice), denoted , is the lattice in the Euclidean space whose lattice points are -tuples of integers. The two-dimensional integer lattice is also called the square lattice, or grid lattice. is the simplest example of a root lattice. The integer lattice is an odd unimodular lattice. Automorphism group The automorphism group (or group of congruences) of the integer lattice consists of all permutations and sign changes of the coordinates, and is of order 2''n'' ''n''!. As a matrix group it is given by the set of all ''n''×''n'' signed permutation matrices. This group is isomorphic to the semidirect product :(\mathbb Z_2)^n \rtimes S_n where the symmetric group ''S''''n'' acts on (Z2)''n'' by permutation (this is a classic example of a wreath product). For the square lattice, this is the group of the square, or the dihedral group of order 8; for the three-dimensional cubic lattice, we get the group of t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Discrete & Computational Geometry
'' Discrete & Computational Geometry'' is a peer-reviewed mathematics journal published quarterly by Springer. Founded in 1986 by Jacob E. Goodman and Richard M. Pollack, the journal publishes articles on discrete geometry and computational geometry. Abstracting and indexing The journal is indexed in: * ''Mathematical Reviews'' * ''Zentralblatt MATH'' * ''Science Citation Index The Science Citation Index Expanded – previously entitled Science Citation Index – is a citation index originally produced by the Institute for Scientific Information (ISI) and created by Eugene Garfield. It was officially launched in 1964 ...'' * '' Current Contents''/Engineering, Computing and Technology Notable articles The articles by Gil Kalai with a proof of a subexponential upper bound on the diameter of a polyhedron and by Samuel Ferguson on the Kepler conjecture, both published in Discrete & Computational geometry, earned their author the Fulkerson Prize. References Externa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Order (journal)
''Order'' (subtitled ''A Journal on the Theory of Ordered Sets and its Applications'') is a quarterly peer-reviewed academic journal on order theory and its applications, published by Springer Science+Business Media. It was established in 1984 by Ivan Rival (University of Calgary). From 2010 to 2018, its editor-in-chief was Dwight Duffus (Emory University). He was succeeded in 2019 by Ryan R. Martin (Iowa State University). Abstracting and indexing The journal is abstracted and indexed in: According to the ''Journal Citation Reports'', the journal has a 2017 impact factor The impact factor (IF) or journal impact factor (JIF) of an academic journal is a scientometric index calculated by Clarivate that reflects the yearly mean number of citations of articles published in the last two years in a given journal, as ... of 0.353. References External links * Order theory Mathematics journals Springer Science+Business Media academic journals Publications established in 1984 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Polytope
In elementary geometry, a polytope is a geometric object with flat sides ('' faces''). Polytopes are the generalization of three-dimensional polyhedra to any number of dimensions. Polytopes may exist in any general number of dimensions as an -dimensional polytope or -polytope. For example, a two-dimensional polygon is a 2-polytope and a three-dimensional polyhedron is a 3-polytope. In this context, "flat sides" means that the sides of a -polytope consist of -polytopes that may have -polytopes in common. Some theories further generalize the idea to include such objects as unbounded apeirotopes and tessellations, decompositions or tilings of curved manifolds including spherical polyhedra, and set-theoretic abstract polytopes. Polytopes of more than three dimensions were first discovered by Ludwig Schläfli before 1853, who called such a figure a polyschem. The German term ''polytop'' was coined by the mathematician Reinhold Hoppe, and was introduced to English mathemati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Order Polytope
In mathematics, the order polytope of a finite partially ordered set is a convex polytope defined from the set. The points of the order polytope are the monotonic functions from the given set to the unit interval, its vertices correspond to the upper sets of the partial order, and its dimension is the number of elements in the partial order. The order polytope is a distributive polytope, meaning that coordinatewise minima and maxima of pairs of its points remain within the polytope. The order polytope of a partial order should be distinguished from the ''linear ordering polytope'', a polytope defined from a number n as the convex hull of indicator vectors of the sets of edges of n-vertex transitive tournaments. Definition and example A partially ordered set is a pair (S,\le) where S is an arbitrary set and \le is a binary relation on pairs of elements of S that is reflexive (for all x\in S, x\le x), antisymmetric (for all x,y\in S with x\ne y at most one of x\le y and y\le x can b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Discrete Mathematics (journal)
''Discrete Mathematics'' is a biweekly peer-reviewed scientific journal in the broad area of discrete mathematics, combinatorics, graph theory, and their applications. It was established in 1971 and is published by North-Holland Publishing Company. It publishes both short notes, full length contributions, as well as survey articles. In addition, the journal publishes a number of special issues each year dedicated to a particular topic. Although originally it published articles in French and German, it now allows only English language articles. The editor-in-chief is Douglas West ( University of Illinois, Urbana). History The journal was established in 1971. The very first article it published was written by Paul Erdős, who went on to publish a total of 84 papers in the journal. Abstracting and indexing The journal is abstracted and indexed in: According to the ''Journal Citation Reports'', the journal has a 2020 impact factor of 0.87. Notable publications * The 1972 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hasse Diagram
In order theory, a Hasse diagram (; ) is a type of mathematical diagram used to represent a finite partially ordered set, in the form of a drawing of its transitive reduction. Concretely, for a partially ordered set ''(S, ≤)'' one represents each element of ''S'' as a vertex in the plane and draws a line segment or curve that goes ''upward'' from ''x'' to ''y'' whenever ''y'' ≠ ''x'' and ''y'' covers ''x'' (that is, whenever ''x'' ≤ ''y'' and there is no ''z'' such that ''x'' ≤ ''z'' ≤ ''y''). These curves may cross each other but must not touch any vertices other than their endpoints. Such a diagram, with labeled vertices, uniquely determines its partial order. The diagrams are named after Helmut Hasse (1898–1979); according to , they are so called because of the effective use Hasse made of them. However, Hasse was not the first to use these diagrams. One example that predates Hasse can be found in . Although Hasse diagrams were originally devised as a technique ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
