SearcharxivSearch

arXiv · 2201.09738

An Invitation to Higher Arity Science

Abstract

Analytical thinking is dominated by binary ideas. From pair-wise interactions, to algebraic operations, to compositions of processes, to network models, binary structures are deeply ingrained in the fabric of most current scientific paradigms. In this article we introduce arity as the generic conceptualization of the order of an interaction between a discrete collection of entities and argue that there is a rich universe of higher arity ideas beyond binarity waiting to be explored. To illustrate this we discuss several higher order phenomena appearing in a wide range of research areas, paying special attention to instances of ternary interactions. From the point of view of formal sciences and mathematics, higher arity thinking opens up new paradigms of algebra, symbolic calculus and logic. In particular, we delve into the special case of ternary structures, as that itself reveals ample surprises: new notions of associativity (or lack thereof) in ternary operations of cubic matrices, ternary isomorphisms and ternary relations, the integration problem of 3-Lie algebras, and generalizations of adjacency in 3-uniform hypergraphs. All these are open problems that strongly suggest the need to develop new ternary mathematics. Finally, we comment on potential future research directions and remark on the transdisciplinary nature of higher arity science.

Explore related subjects

Keep this discovery

BibTeXRIS

Carlos Zapata-Carratala, Xerxes D. Arsiwalla. 2022-01-21. An Invitation to Higher Arity Science. https://arxiv.org/abs/2201.09738

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Average Chord Lengths in a Triangle

Let $P$ be a point inside a triangle $T$. We consider the average length of the chords of $T$ through $P$, where the direction of the chord is chosen uniformly. An elementary formula is obtained in terms of the distances from $P$ to the sides and vertices of the triangle. Several classical triangle centers give especially simple specializations. For example, if $I$ is the incenter, then \[ M_T(I)=\frac{2r}{\pi} \log\left(\cot\frac A4\cot\frac B4\cot\frac C4\right). \] Our main result is the sharp inequality \[ M_T(P)\le \frac{p}{\pi\sqrt3}\log(2+\sqrt3), \] valid simultaneously for every triangle of perimeter $p$ and every interior point $P$. Thus, among all such pairs $(T,P)$, the largest possible average chord length occurs only when $T$ is equilateral and $P$ is its center. The proof is an elementary symmetrization argument. We close with brief remarks relating the problem to the radial center of a convex body, the electrostatic potential center of a triangle, and dual quermassintegrals.

math.GM

A Proof of Liu's Conjecture on the Fundamental Triangle Inequality

Let $a,b,c$ be the side lengths of a triangle, and let $R$ and $r$ denote its circumradius and inradius, respectively. We prove a conjecture of Liu stating that \[\sum_{\mathrm{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \geq 2+\left(\frac{2r}{R}\right)^k,~~k>1, \] with the reverse inequality for $0<k<1$. The proof reduces the problem to three positive variables with fixed sum and product. We also determine the equality cases.

math.GM