Mathematical sociology is an interdisciplinary field of research concerned with the use of mathematics within sociological research.

History Starting in the early 1940s, Nicolas Rashevsky,* Nicolas Rashevsky.: 1947/1949 (2nd ed.). Mathematical Theory of Human Relations: An Approach to Mathematical Biology of Social Phenomena. Bloomington, ID: Principia Press.Nicolas Rashevsky. 1938/1948 (2nd ed.). Mathematical Biophysics:Physico-Mathematical Foundations of Biology., University of Chicago Press : Chicago Press. and subsequently in the late 1940s, Anatol Rapoport and others, developed a relational and probabilistic approach to the characterization of large social networks in which the nodes are persons and the links are acquaintanceship. During the late 1940s, formulas were derived that connected local parameters such as closure of contacts – if A is linked to both B and C, then there is a greater than chance probability that B and C are linked to each other – to the global network property of connectivity.Rapoport, Anatol. (1957). "Contributions to the Theory of Random and Biased Nets." Bulletin of Mathematical Biophysics 19: 257-277.

Moreover, acquaintanceship is a positive tie, but what about negative ties such as animosity among persons? To tackle this problem, graph theory, which is the mathematical study of abstract representations of networks of points and lines, can be extended to include these two types of links and thereby to create models that represent both positive and negative sentiment relations, which are represented as signed graphs. A signed graph is called balanced if the product of the signs of all relations in every cycle (links in every graph cycle) is positive. Through formalization by mathematician Frank Harary, this work produced the fundamental theorem of this theory. It says that if a network of interrelated positive and negative ties is balanced, e.g. as illustrated by the psychological principle that "my friend's enemy is my enemy", then it consists of two sub-networks such that each has positive ties among its nodes and there are only negative ties between nodes in distinct sub-networks.Cartwright, Dorwin & Harary, Frank. (1956). "Structural Balance: A Generalization of Heider's Theory." Psychological Review 63:277-293. The imagery here is of a social system that splits into two cliques. There is, however, a special case where one of the two sub-networks is empty, which might occur in very small networks. In another model, ties have relative strengths. 'Acquaintanceship' can be viewed as a 'weak' tie and 'friendship' is represented as a strong tie. Like its uniform cousin discussed above, there is a concept of closure, called strong triadic closure. A graph satisfies strong triadic closure If A is strongly connected to B, and B is strongly connected to C, then A and C must have a tie (either weak or strong).

In these two developments we have mathematical models bearing upon the analysis of structure. Other early influential developments in mathematical sociology pertained to process. For instance, in 1952 Herbert A. Simon produced a mathematical formalization of a published theory of social groups by constructing a model consisting of a deterministic system of differential equations. A formal study of the system led to theorems about the dynamics and the implied equilibrium states of any group.

The emergence of mathematical models in the social sciences was part of the zeitgeist in the 1940s and 1950s in which a variety of new interdisciplinary scientific innovations occurred, such as information theory, game theory, cybernetics and mathematical model building in the social and behavioral sciences.

Approaches

Mathematics in sociology Focusing on mathematics within sociological research, mathematical sociology uses mathematics to construct social theories. Mathematical sociology aims to take sociological theory and to express it in mathematical terms. The benefits of this approach include increased clarity and the ability to use mathematics to derive implications of a theory that cannot be arrived at intuitively. In mathematical sociology, the preferred style is encapsulated in the phrase "constructing a mathematical model." This means making specified assumptions about some social phenomenon, expressing them in formal mathematics, and providing an empirical interpretation for the ideas. It also means deducing properties of the model and comparing these with relevant empirical data. Social network analysis is the best-known contribution of this subfield to sociology as a whole and to the scientific community at large. The models typically used in mathematical sociology allow sociologists to understand how predictable local interactions are and they are often able to elicit global patterns of social structure.

Further developments

In 1954, a critical expository analysis of Rashevsky's social behavior models was written by sociologist James S. Coleman. Rashevsky's models and as well as the model constructed by Simon raise a question: how can one connect such theoretical models to the data of sociology, which often take the form of surveys in which the results are expressed in the form of proportions of people believing or doing something. This suggests deriving the equations from assumptions about the chances of an individual changing state in a small interval of time, a procedure well known in the mathematics of stochastic processes.

Coleman embodied this idea in his 1964 book Introduction to Mathematical Sociology, which showed how stochastic processes in social networks could be analyzed in such a way as to enable testing of the constructed model by comparison with the relevant data. The same idea can and has been applied to processes of change in social relations, an active research theme in the study of social networks, illustrated by an empirical study appearing in the journal Science.

In other work, Coleman employed mathematical ideas drawn from economics, such as general equilibrium theory, to argue that general social theory should begin with a concept of purposive action and, for analytical reasons, approximate such action by the use of rational choice models (Coleman, 1990). This argument is similar to viewpoints expressed by other sociologists in their efforts to use rational choice theory in sociological analysis although such efforts have met with substantive and philosophical criticisms.

Meanwhile, structural analysis of the type indicated earlier received a further extension to social networks based on institutionalized social relations, notably those of kinship. The linkage of mathematics and sociology here involved abstract algebra, in particular, group theory.White, Harrison C. 1963. An Anatomy of Kinship. Prentice-Hall This, in turn, led to a focus on a data-analytical version of homomorphic reduction of a complex social network (which along with many other techniques is presented in Wasserman and Faust 1994Wasserman, S., & Faust, K.. Social Network Analysis: Methods and Applications. New York and Cambridge, ENG: Cambridge University Press.).

In regard to Rapoport's random and biased net theory, his 1961 study of a large sociogram, co-authored with Horvath turned out to become a very influential paper. There was early evidence of this influence. In 1964, Thomas Fararo and a co-author analyzed another large friendship sociogram using a biased net model. Later in the 1960s, Stanley Milgram described the small world problem and undertook a field experiment dealing with it. A highly fertile idea was suggested and applied by Mark Granovetter in which he drew upon Rapoport's 1961 paper to suggest and apply a distinction between weak and strong ties. The key idea was that there was "strength" in weak ties.

Some programs of research in sociology employ experimental methods to study social interaction processes. Joseph Berger and his colleagues initiated such a program in which the central idea is the use of the theoretical concept "expectation state" to construct theoretical models to explain interpersonal processes, e.g., those linking external status in society to differential influence in local group decision-making. Much of this theoretical work is linked to mathematical model building, especially after the late 1970s adoption of a graph theoretic representation of social information processing, as Berger (2000) describes in looking back upon the development of his program of research. In 1962 he and his collaborators explained model building by reference to the goal of the model builder, which could be explication of a concept in a theory, representation of a single recurrent social process, or a broad theory based on a theoretical construct, such as, respectively, the concept of balance in psychological and social structures, the process of conformity in an experimental situation, and stimulus sampling theory.

The generations of mathematical sociologists that followed Rapoport, Simon, Harary, Coleman, White and Berger, including those entering the field in the 1960s such as Thomas Fararo, Philip Bonacich, and Tom Mayer, among others, drew upon their work in a variety of ways.

Present research Mathematical sociology remains a small subfield within the discipline, but it has succeeded in spawning a number of other subfields which share its goals of formally modeling social life. The foremost of these fields is social network analysis, which has become among the fastest growing areas of sociology in the 21st century. The other major development in the field is the rise of computational sociology, which expands the mathematical toolkit with the use of computer simulations, artificial intelligence and advanced statistical methods. The latter subfield also makes use of the vast new data sets on social activity generated by social interaction on the internet.

One important indicator of the significance of mathematical sociology is that the general interest journals in the field, including such central journals as The American Journal of Sociology and The American Sociological Review, have published mathematical models that became influential in the field at large.

More recent trends in mathematical sociology are evident in contributions to The Journal of Mathematical Sociology (JMS). Several trends stand out: the further development of formal theories that explain experimental data dealing with small group processes, the continuing interest in structural balance as a major mathematical and theoretical idea, the interpenetration of mathematical models oriented to theory and innovative quantitative techniques relating to methodology, the use of computer simulations to study problems in social complexity, interest in micro–macro linkage and the problem of emergence, and ever-increasing research on networks of social relations.

Thus, topics from the earliest days, like balance and network models, continue to be of contemporary interest. The formal techniques employed remain many of the standard and well-known methods of mathematics: differential equations, stochastic processes and game theory. Newer tools like agent-based models used in computer simulation studies are prominently represented. Perennial substantive problems still drive research: social diffusion, social influence, social status origins and consequences, segregation, cooperation, collective action, power, and much more.

Research programs