Fact-checked by Grok 2 weeks ago

Monotonic function

In mathematics, a monotonic function (or monotone function) is a function between ordered sets that preserves or reverses the given order, meaning it is either non-decreasing (where if x \leq y, then f(x) \leq f(y)) or non-increasing (where if x \leq y, then f(x) \geq f(y)).^[1] Monotonic functions are classified into strictly monotonic and weakly monotonic variants: a function is strictly increasing if x < y implies f(x) < f(y), and strictly decreasing if x < y implies f(x) > f(y), while the weak forms allow equality.^[1] These functions play a central role in real analysis, where a monotonic function defined on an interval has the property that all one-sided limits exist (finite or infinite), ensuring well-behaved behavior at endpoints and discontinuities.^[2] Moreover, such a function is continuous on its domain if and only if its image is also an interval.^[2] A key consequence of monotonicity is the existence of inverses for strictly monotonic functions: if f is strictly increasing and continuous on an interval, it is bijective onto its image, and its inverse is also strictly increasing.^[1] This invertibility underpins applications in calculus, such as solving equations and analyzing antiderivatives, and extends to broader contexts like optimization, where monotonicity ensures unique extrema or helps in proving convergence of sequences.^[3] Beyond pure mathematics, monotonic functions appear in economics for modeling supply and demand curves, and in computer science for algorithm design involving sorted data structures. In advanced areas, such as effective algebra and computable model theory, limitwise monotonic functions provide tools for studying computability and algebraic structures.^[4]

Definition and Properties

General Definition

A partially ordered set, or poset, consists of a set P together with a binary relation \leq on P that is reflexive (for all x \in P, x \leq x), antisymmetric (if x \leq y and y \leq x, then x = y), and transitive (if x \leq y and y \leq z, then x \leq z).^[5] This relation provides a way to compare elements without requiring every pair to be comparable, distinguishing posets from totally ordered sets. In order theory, a function f: P \to Q between two posets (P, \leq_P) and (Q, \leq_Q) is called monotonic, or monotone increasing, if it preserves the order: for all x, y \in P, x \leq_P y implies f(x) \leq_Q f(y). Equivalently, such a function is order-preserving. A function is monotone decreasing if x \leq_P y implies f(x) \geq_Q f(y), reversing the order. These definitions capture the intuitive notion of a function that does not disrupt the inherent ordering structure when mapping from one poset to another. The notion of monotonicity extends naturally to preorders, which are reflexive and transitive binary relations lacking antisymmetry, allowing for distinct elements to be equivalent under the relation. In this setting, a monotone function preserves the preorder in the same manner. Total orders, being posets where any two elements are comparable (x \leq y or y \leq x), form a special case where monotone functions maintain the linear arrangement.^[6] For instance, the identity function on the real numbers under the standard ordering is monotone increasing, as it maps each real to itself while preserving inequalities.

Types of Monotonicity

Monotonic functions are classified based on the nature of their order preservation, particularly distinguishing between non-strict (weak) and strict forms. A function f: A \to B defined on a totally ordered set A to another totally ordered set B is said to be non-decreasing, or weakly increasing, if for all x, y \in A with x \leq y, it holds that f(x) \leq f(y).^[7] This form allows for plateaus where the function value remains constant over intervals, as exemplified by the constant function f(x) = c for all x, which satisfies the non-decreasing condition but exhibits no growth. In contrast, a strictly increasing function requires a stronger condition: for all x, y \in A with x < y, f(x) < f(y).^[7] Here, the function must advance without any flat segments, ensuring that distinct inputs produce distinct outputs in a preserving order. The constant function fails this criterion, as equal values for unequal inputs violate the strict inequality. The decreasing counterparts follow analogous definitions. A function is non-increasing, or weakly decreasing, if x \leq y implies f(x) \geq f(y). Strictly decreasing functions satisfy x < y implies f(x) > f(y), again prohibiting constant stretches. Collectively, functions that are either non-decreasing or non-increasing are termed monotonic, encompassing both directional trends without reversal. Notations often simplify these distinctions: f \uparrow denotes an increasing (non-decreasing) function, while f \downarrow indicates a decreasing (non-increasing) one; strict variants may append qualifiers like "strictly." On the real line, strictly monotonic functions are injective, mapping distinct points to distinct images while preserving or reversing order.

Basic Properties

A monotonic function between partially ordered sets preserves the order relation: for an increasing function f: P \to Q, if x \leq y in P, then f(x) \leq f(y) in Q, and similarly for decreasing functions where the inequality reverses.^[8] This order preservation is the defining characteristic of monotonicity in order theory.^[9] The collection of monotonic functions between preordered sets is closed under composition. Specifically, the composition of two increasing monotonic functions is increasing, while the composition of an increasing function followed by a decreasing one (or vice versa) is decreasing.^[9] The identity function on any ordered set is strictly increasing, and constant functions are both non-strictly increasing and non-increasing.^[10] For an increasing monotonic function f, if a subset A \subseteq P has a supremum \sup A, then \sup f(A) \leq f(\sup A), and f(\inf A) \leq \inf f(A) if an infimum exists; the reverse inequalities hold for decreasing functions. These inequalities reflect how monotonic functions interact with order bounds, though equality requires additional conditions like continuity in the order structure. Strictly monotonic functions between totally ordered sets are injective, providing a basic link to invertibility on their range, though full bijectivity depends on surjectivity.^[11]

In Real Analysis

Monotonic Functions on the Real Line

A monotonic function from the real line to itself is defined as a function f: \mathbb{R} \to \mathbb{R} that is either non-decreasing, meaning x \leq y implies f(x) \leq f(y) for all x, y \in \mathbb{R}, or non-increasing, meaning x \leq y implies f(x) \geq f(y) for all x, y \in \mathbb{R}.^[12] This specialization to the totally ordered field of real numbers endows monotonic functions with properties tied to the metric and order structure of \mathbb{R}, distinct from those in general partially ordered sets.^[1] A fundamental theorem in real analysis states that any monotonic function on an interval of the real line has at most countably many points of discontinuity, and all such discontinuities are of jump type, where the left- and right-hand limits exist but differ from each other or from the function value.^[13] This countability arises because each jump discontinuity corresponds to a rational number in the range gap, and the rationals are countable, ensuring the set of such points cannot be uncountable.^[14] Unlike continuous functions, monotonic functions lack the Darboux property, meaning they do not necessarily satisfy the intermediate value theorem; for instance, at a jump discontinuity, the function skips an entire interval of values./04%3A_Function_Limits_and_Continuity/4.09%3A_The_Intermediate_Value_Property) The monotone convergence theorem for sequences, a consequence of the completeness of the reals, asserts that every bounded monotonic sequence of real numbers converges to its supremum (if non-decreasing) or infimum (if non-increasing)./02%3A_Sequences/2.03%3A_Monotone_Sequences) This property highlights the interplay between monotonicity and the least upper bound axiom in \mathbb{R}. Representative examples include step functions, such as the Heaviside function H(x) = 0 for x < 0 and H(x) = 1 for x \geq 0, which is non-decreasing but discontinuous at zero with a jump.^[15] In contrast, the absolute value function f(x) = |x| is neither monotonic nor anti-monotonic on the entire real line, as it decreases on (-\infty, 0] and increases on [0, \infty).^[3]

Relation to Derivatives

A fundamental characterization in real analysis links monotonicity of differentiable functions to the sign of their derivatives. Specifically, if a function f: (a, b) \to \mathbb{R} is differentiable on the open interval (a, b), then f is monotonically increasing on (a, b) if and only if f'(x) \geq 0 for all x \in (a, b). The forward direction follows from the Mean Value Theorem: for any x < y in (a, b), there exists c \in (x, y) such that f(y) - f(x) = f'(c)(y - x) \geq 0, implying f(y) \geq f(x). The converse holds because differentiability ensures that the derivative is the limit of nonnegative difference quotients when f is increasing./04%3A_Differentiation/4.03%3A_SOME_APPLICATIONS_OF_THE_MEAN_VALUE_THEOREM) For strict monotonicity, the condition f'(x) > 0 for all x \in (a, b) guarantees that f is strictly increasing, as the difference quotients remain positive. However, the derivative need not be strictly positive everywhere even for strictly increasing functions; it suffices for f'(x) > 0 almost everywhere with respect to Lebesgue measure. A counterexample is f(x) = x^3, which is strictly increasing on \mathbb{R} since f(y) - f(x) = (y - x)(y^2 + xy + x^2) > 0 for x \neq y, yet f'(x) = 3x^2 vanishes at x = [0](/page/0). This illustrates that isolated points where the derivative is zero do not disrupt strict monotonicity.^[16] Not all monotonic functions are differentiable everywhere, highlighting limitations in the converse characterization. The Cantor function, or devil's staircase, provides a striking example: it is continuous and non-decreasing from [0, 1] to [0, 1], yet singular in the sense that its derivative exists and equals zero almost everywhere (specifically, on the complement of the Cantor set, which has measure 1). Despite this, the function rises from 0 to 1, demonstrating non-absolute continuity. It fails to be differentiable at every point of the uncountable Cantor set.^[17] A deeper result, due to Lebesgue, states that any monotonically increasing function f: [a, b] \to \mathbb{R} is differentiable almost everywhere on [a, b], and the derivative f' is Lebesgue integrable over [a, b], satisfying the recovery formula

f(b) - f(a) = \int_a^b f'(x) \, dx.

This extends the fundamental theorem of calculus to a broader class of functions, where the integral accounts for the total variation despite potential singularities.^[18] Historically, the connection between derivatives and monotonicity traces back to Pierre de Fermat's 17th-century work on maxima and minima, where his stationary point theorem asserted that at an interior local extremum of a differentiable function, the derivative vanishes (interpreted via early tangent methods). This provided an initial framework for identifying points where functions cease to be monotonic, influencing later developments in calculus that distinguish monotonic behavior from oscillatory or extremal non-monotonic patterns.^[19]

Inverse Functions

A fundamental result in real analysis states that if f is a continuous and strictly monotonic function defined on an interval I, then f is bijective onto its image f(I), which is also an interval, and its inverse function f^{-1}: f(I) \to I is continuous and strictly monotonic with the same type of monotonicity as f.^[20] This theorem ensures that such functions are invertible in a well-behaved manner, preserving continuity and order. For instance, if f is strictly increasing, so is f^{-1}, and similarly for strictly decreasing functions. The proof relies on the intermediate value theorem, which guarantees that f attains all values between f(a) and f(b) for a, b \in I, and the strict monotonicity ensures injectivity.^[21] In the case of non-continuous monotonic functions, the situation differs. Any strictly monotonic function f: I \to \mathbb{R} is injective and thus invertible on its range f(I), but the inverse f^{-1} may be discontinuous, particularly at points corresponding to jump discontinuities in f.^[22] Monotonic functions can only exhibit jump discontinuities, and at such points, f skips an interval in its range, leading to gaps; the inverse, defined only on the actual range, inherits discontinuities where these jumps occur, often manifesting as vertical jumps in the graph of f^{-1}. However, the inverse remains monotonic on its domain. By definition, if f is strictly increasing and continuous, the inverse satisfies the equation x = f^{-1}(f(x)) for all x \in I, and equivalently y = f(f^{-1}(y)) for y \in f(I). This relation underscores the bijection and is central to computational methods for finding inverses. Monotonicity facilitates solving transcendental equations through inverses, such as determining x in y = e^x, where the inverse is the natural logarithm \ln y = x, a strictly increasing continuous function on (0, \infty).^[23] This application is pivotal in fields like calculus and physics for inverting exponential growth models. For piecewise monotonic functions, partial inverses can be constructed on subintervals where strict monotonicity holds. For example, the function f(x) = x^3 - x is strictly increasing on (-\infty, -1/\sqrt{3}] and [-1/\sqrt{3}, \infty), allowing continuous strictly monotonic inverses on the corresponding image subintervals.^[24]

Monotonic Transformations

A monotonic transformation is a function g that preserves or reverses the order of its arguments in a consistent manner. Specifically, if f is a monotonic function and g is monotonic in the same direction (both increasing or both decreasing), then the composition g \circ f remains monotonic. For increasing functions, this means that if x \leq y, then g(f(x)) \leq g(f(y)).^[25] In statistics, monotonic transformations are applied to data to stabilize variance or normalize distributions while preserving order, particularly for positive-valued variables. Common examples include the logarithmic transformation g(y) = \log y, which is strictly increasing for y > 0, and the Box-Cox transformation, given by

y^{(\lambda)} = \begin{cases} \frac{y^\lambda - 1}{\lambda} & \lambda \neq 0, \\ \log y & \lambda = 0, \end{cases}

where \lambda is chosen to optimize model fit; this family is strictly increasing for y > 0 and any real \lambda. These transformations maintain the relative ordering of observations, ensuring that subsequent analyses, such as regression, respect the original data structure.^[26]^[27] A key theorem states that monotonic transformations preserve inequalities and order statistics: if g is strictly increasing and x_1 \leq x_2 \leq \cdots \leq x_n, then g(x_1) \leq g(x_2) \leq \cdots \leq g(x_n), so measures like the median or quantiles transform accordingly under g. For instance, if a statistic X is increasing in a parameter \theta (such as the sample mean in a location family), then g(X) is also increasing in \theta for any strictly increasing g, which aids in parameter estimation and hypothesis testing by allowing flexible reparameterizations without altering monotonic relationships.^[25]^[28] In economics, monotonic transformations play a crucial role in representing consumer preferences, where utility functions are unique only up to positive monotonic transformations. If u represents a preference ordering, then any strictly increasing g yields g(u) that induces the same ordinal ranking, preserving monotonicity in consumption bundles; for example, applying a logarithmic transformation to a Cobb-Douglas utility maintains the same indifference curves and demand behavior. This property underpins the distinction between cardinal and ordinal utility, allowing economists to focus on relative preferences without loss of behavioral insights.^[25]^[29]

In Order Theory

Order-Preserving Functions

In order theory, an order-preserving map between partially ordered sets (posets) (P, ≤) and (Q, ≤') is a function f: P → Q such that for all x, y ∈ P, if x ≤ y then f(x) ≤' f(y).^[30] This synonym for monotonic functions emphasizes the preservation of the partial order structure from the domain to the codomain. Order-preserving maps are also termed isotone functions when they strictly maintain the order direction, in contrast to antitone functions, which reverse the order by satisfying x ≤ y implies f(x) ≥' f(y).^[30] The composition of two order-preserving maps is itself order-preserving, ensuring that chains of such maps maintain the property.^[30] A key structural feature of order-preserving maps is their preservation of chains. A chain in P—a subset where every pair of elements is comparable—is mapped to a chain in Q, as the order preservation ensures that comparability is retained in the image. This preservation highlights how such maps act as order homomorphisms, embedding relational structures without distortion. For example, consider the poset of natural numbers (ℕ, ≤) embedded into the poset of rational numbers (ℚ, ≤) via the inclusion map f(n) = n. This is order-preserving because if m ≤ n in ℕ, then m ≤ n holds in ℚ, and it serves as an order-embedding that injectively preserves the discrete chain structure of ℕ within the denser order of ℚ.^[30] In category theory, the collection of all posets forms the category Pos (or Poset), where objects are posets and morphisms are order-preserving maps; identity maps on posets are the obvious order-preserving identities, and composition corresponds to function composition, which remains order-preserving.^[31] This categorical framework underscores the role of order-preserving maps as the natural arrows between ordered structures, facilitating isomorphisms and embeddings in order-theoretic constructions.^[30]

Monotone Functions on Lattices

In lattice theory, a function f: L \to M between posets underlying lattices L and M is called monotone if it preserves the partial order, that is, x \leq y implies f(x) \leq f(y) for all x, y \in L. This order-preserving property is fundamental, as it ensures compatibility with the lattice structure, including the monotonicity with respect to joins and meets in many settings. When L = M is a complete lattice, monotone functions often interact with supremum and infimum operations; for instance, if the function is additionally continuous, it may preserve arbitrary joins or meets under suitable conditions on the lattice.^[32] A key refinement in the study of monotone functions on lattices is Scott-continuity, which strengthens monotonicity by requiring preservation of directed suprema: for any directed subset D \subseteq L, f(\bigvee D) = \bigvee \{f(d) \mid d \in D\}, where \bigvee denotes the least upper bound. In continuous lattices—where every element is the supremum of elements way-below it—Scott-continuity also aligns with the way-below relation \ll, ensuring that the function respects approximations in the basis of compact or finite elements. Every Scott-continuous function is monotone, but the converse does not hold in general; this distinction is vital for applications requiring limits of ascending chains.^[33]^[34]^[35] Illustrative examples of monotone functions arise in product constructions of lattices. Consider the product lattice L = L_1 \times L_2 with the componentwise order, where (a_1, a_2) \leq (b_1, b_2) if and only if a_1 \leq b_1 in L_1 and a_2 \leq b_2 in L_2. The first projection \pi_1: L \to L_1 defined by \pi_1((a_1, a_2)) = a_1 is monotone, since the order in L implies the corresponding order in L_1. The second projection \pi_2 is similarly monotone. These projections are not only order-preserving but also homomorphisms for the lattice operations when extended appropriately.^[36] An significant theorem concerning monotone functions on complete lattices states that such functions map compact elements to compact elements, at least in prototypical cases like mappings into powerset lattices. An element k in a complete lattice L is compact if, whenever k \leq \bigvee S for a subset S \subseteq L, there exists a finite subset F \subseteq S such that k \leq \bigvee F. For a monotone f: L \to \mathcal{P}(X) into the powerset lattice ordered by inclusion, if k is compact in L, then f(k) is compact in \mathcal{P}(X), as finite approximations are preserved under the order. This result underpins structural properties in domain constructions. Monotone functions on lattices find essential applications in denotational semantics for programming languages, where computational domains are modeled as complete lattices or continuous posets, and the semantics of expressions and programs are interpreted as monotone (typically Scott-continuous) functions on these structures. This approach guarantees the existence of least fixed points for recursive definitions, corresponding to the denotation of procedures or data types. The framework originated with Dana Scott's development of domain theory to model untyped lambda calculus, providing a mathematical foundation for reasoning about higher-order functions and recursion without paradoxes.^[37]^[38]

Fixed-Point Theorems

In order theory, fixed-point theorems provide existence guarantees for points where a monotone function maps an element to itself, playing a crucial role in establishing solutions to recursive definitions on ordered structures. The seminal result in this area is the Knaster–Tarski theorem, which asserts that every monotone function f on a complete lattice L possesses both a least fixed point and a greatest fixed point. These are explicitly given by the least fixed point \mu f = \sup \{ x \in L \mid x \leq f(x) \} and the greatest fixed point \nu f = \inf \{ x \in L \mid x \geq f(x) \}, where the supremum and infimum exist due to the completeness of the lattice.^[39] A sketch of the proof relies on the closure properties of the relevant sets under lattice operations. Consider the set of prefixed points P = \{ x \in L \mid x \leq f(x) \}; this set is non-empty (containing the bottom element \bot) and closed under arbitrary suprema, since if y = \sup S for S \subseteq P, then f(y) = f(\sup S) \geq \sup f(S) \geq \sup S = y by monotonicity. Thus, \mu f = \sup P is the least fixed point, and a symmetric argument yields the greatest fixed point from the set of postfixed points. This construction also shows that the set of all fixed points forms a complete sublattice.^[39] The Knaster–Tarski theorem connects to topological fixed-point results, such as the Brouwer fixed-point theorem, through equivalents for continuous monotone maps. Specifically, there exists a fixed-point theorem for monotone functions on certain ordered spaces that is logically equivalent to Brouwer's theorem, which guarantees a fixed point for any continuous self-map of a compact convex set in Euclidean space; this equivalence highlights how monotonicity can simplify or parallel topological existence arguments in ordered settings.^[40] Applications of these theorems abound in solving recursive equations within order theory, such as defining the least solution to x = f(x) by iterating from the bottom element until stabilization, which converges in complete lattices due to the fixed-point guarantees. For instance, in domain theory, this resolves inductive definitions for semantic models.^[39] Extensions include Tarski's results on invariant sets, where for a monotone self-map f on a complete lattice, the image f(L) and preimage f^{-1}(L) form complete sublattices, ensuring the existence of non-trivial invariant subsets closed under the lattice operations and the map. These invariant sets generalize fixed points to collective behaviors preserved by f.^[41]

In Topology

Monotone Maps in Ordered Spaces

In ordered topological spaces, a map f: X \to Y between spaces equipped with compatible linear orders is termed monotone if it is both order-preserving—that is, x \leq x' implies f(x) \leq f(x')—and continuous with respect to the respective topologies.^[42] This notion bridges order theory and topology by ensuring that the map respects both the algebraic structure of the order and the geometric structure induced by the topology. Ordered topological spaces typically carry the order topology, which on a linearly ordered set X is generated by the subbasis consisting of all open rays (-\infty, a) = \{ x \in X \mid x < a \} for a \in X and (b, \infty) = \{ x \in X \mid x > b \} for b \in X. This subbasis ensures that the topology is compatible with the order, making intervals the basic open sets. Monotone maps exhibit key properties in this framework, notably preserving connectedness. If X is connected in its order topology, then the image f(X) is also connected, as the continuity of f combined with its order-preserving nature prevents disconnection across order boundaries.^[43] This preservation arises because separations in the order topology correspond to order cuts, which an order-preserving continuous map cannot introduce. For instance, the inclusion map i: Y \hookrightarrow X, where Y is a subspace of an ordered topological space X endowed with the induced order and subspace topology, is inherently monotone: it preserves the order by construction and is continuous by the definition of the subspace topology. The development of monotone maps in ordered spaces has deep historical ties to continuum theory, particularly through the foundational work of G. T. Whyburn on monotone decompositions. In his 1942 paper, Whyburn analyzed upper semicontinuous monotone decompositions of continua, showing how such maps decompose connected spaces into connected components while preserving essential topological features like irreducibility.^[44] This approach influenced later studies in ordered topological settings, where monotone maps facilitate the decomposition of spaces into ordered subsets without disrupting continuity or order relations.

Continuity of Monotone Functions

In the context of topological spaces endowed with an order topology, monotone functions—those that preserve the order relation—are continuous under certain structural conditions on the domain. However, monotonicity alone does not guarantee continuity in general topological settings. A classic counterexample arises when the domain lacks compactness or connectedness. More sophisticated constructions exist, such as enumerating the rationals \{r_n\}_{n=1}^\infty and defining a strictly increasing f: \mathbb{Q} \to \mathbb{R} with jumps of size $1/2^n at each r_n, rendering it discontinuous precisely at every rational point.^[45] In metric spaces, particularly subsets of \mathbb{R}, monotone functions exhibit controlled discontinuities. Specifically, a monotone function f: I \to \mathbb{R}, where I is an interval, is continuous except possibly at a countable set of points, corresponding to jump discontinuities.^[15] Each discontinuity occurs where the left- and right-hand limits differ, and since the jumps must sum to a finite total variation over compact subintervals, there can be only countably many such points. This holds in the topological sense for metric-induced order topologies, tying the result to the separability and completeness of the space. All monotone functions from \mathbb{R} (or intervals thereof) to \mathbb{R} are Borel measurable.^[46] To see this, for an increasing f, the preimage f^{-1}((-\infty, b)) is either empty, the whole domain, or (-\infty, c) union possibly countably many jumps, all Borel sets; decreasing functions follow similarly by composition with negation. Monotone extensions also play a role in topological embeddings of partially ordered sets. By Szpilrajn's extension theorem, any partial order on a topological space can be extended to a linear order, and under suitable conditions—such as the partial order being closed in the product topology—there exists a monotone linear extension that embeds the space topologically into a LOTS, preserving the original topology via the order topology on the extension.^[47] This construction ensures the embedding is continuous and open, facilitating the study of order-theoretic properties in topological contexts.

In Functional Analysis

Monotone Operators

In functional analysis, a monotone operator is a set-valued mapping A: D(A) \subset X \to 2^{X^*} defined on a normed vector space X with dual X^*, where D(A) is the domain of A, such that for all x, y \in D(A) and u \in A(x), v \in A(y), the duality pairing satisfies \langle u - v, x - y \rangle \geq 0.^[48] This condition generalizes the notion of monotonicity from scalar functions to operators in infinite-dimensional spaces, capturing a form of "increasing" behavior through the inner product structure.^[49] In Hilbert spaces, where X = X^* and the duality pairing reduces to the inner product, the definition simplifies accordingly.^[50] An operator A is called maximal monotone if it is monotone and there exists no proper monotone extension \tilde{A} \supset A with domain larger than D(A).^[48] Maximal monotonicity ensures the operator cannot be enlarged while preserving the monotonicity property, which is crucial for uniqueness in solutions to operator equations.^[51] Monotone operators are further classified by additional regularity properties. A strongly monotone operator satisfies \langle u - v, x - y \rangle \geq \mu \|x - y\|^2 for some \mu > 0, all x, y \in D(A), and u \in A(x), v \in A(y), providing a uniform lower bound on the monotonicity such that its inverse is single-valued and Lipschitz continuous. In contrast, a hemicontinuous monotone operator is continuous when restricted to line segments in D(A), meaning that for any x, y \in D(A) with the segment [x, y] \subset D(A), the map t \mapsto \langle A(tx + (1-t)y), z \rangle is continuous in t \in [0,1] for every z \in X.^[52] Hemicontinuity is a weaker condition than full continuity but suffices, together with monotonicity, to imply maximal monotonicity in reflexive Banach spaces.^[53] The Minty–Browder theorem establishes key structural properties of maximal monotone operators in reflexive Banach spaces: if A is maximal monotone, then the graph of A is weakly-weakly closed, and for every \lambda > 0, the resolvent J_\lambda = (I + \lambda A)^{-1} is single-valued, defined on all of X, and nonexpansive.^[54] This theorem underpins the resolvability of monotone inclusions and enables approximation methods for finding zeros of such operators.^[49]^[50] A canonical example of a maximal monotone operator is the subdifferential \partial f of a proper lower semicontinuous convex function f: X \to (-\infty, +\infty], defined by \partial f(x) = \{ u \in X^* \mid f(y) \geq f(x) + \langle u, y - x \rangle \ \forall y \in X \}.^[51] The monotonicity follows directly from the convexity of f, and maximality holds in Banach spaces, linking convex analysis to operator theory.^[55] The theory of monotone operators was developed in the 1960s primarily by George J. Minty and Felix E. Browder to address existence questions in nonlinear problems, such as variational inequalities and evolution equations in Hilbert and Banach spaces.^[49]^[50] Minty's foundational work focused on Hilbert spaces, while Browder extended it to more general settings, establishing the framework for nonlinear functional analysis.^[56]

Applications in Partial Differential Equations

Monotone operators play a pivotal role in analyzing the well-posedness of nonlinear evolution equations governed by partial differential equations, particularly those of the form u_t + A(u) = f, where A is a maximal monotone operator from a reflexive Banach space into its dual. The Crandall–Liggett iteration scheme approximates solutions by solving implicit time-stepping problems, leveraging the monotonicity of A to ensure convergence in the limit as the time step approaches zero, thereby generating a contraction semigroup that provides global existence and uniqueness under suitable accretivity conditions. In the context of elliptic partial differential equations, monotone operators arise naturally in variational inequalities and obstacle problems, exemplified by equations such as -\Delta u + \partial I_K(u) = f, where \partial I_K denotes the subdifferential of the indicator function I_K of a closed convex set K, which is itself a maximal monotone operator. This structure guarantees the existence of solutions via the theory of monotone inclusions, with monotonicity ensuring stability and the ability to handle nonlinear constraints like unilateral obstacles in mechanics.^[48] A fundamental result in this framework is that for a coercive maximal monotone operator A, the equation Au = f admits a solution for every f in the dual space, as established by the Minty-Browder surjectivity theorem, which relies on the coercivity to bound resolvents and extend the range onto the entire dual. This theorem underpins solvability for a wide class of elliptic and parabolic problems, providing guarantees on existence without requiring additional compactness assumptions.^[57] A representative example is the p-Laplacian operator -\Delta_p u = -\div(|\nabla u|^{p-2} \nabla u), which is monotone for p \geq 1 and models nonlinear diffusion processes, such as in glaciology or image processing, where the monotonicity facilitates proofs of existence and regularity for associated boundary value problems. Recent advancements post-2020 have extended these ideas to nonlocal partial differential equations, incorporating monotonicity constraints in machine learning-based approximations, such as monotone peridynamic neural operators, to capture nonlocal interactions while preserving solution uniqueness and physical monotonicity properties in material modeling.^[58]

In Computer Science

Monotonicity in Algorithms

Monotonicity plays a pivotal role in enabling efficient search and optimization algorithms by ensuring predictable behavior in function evaluations or data structures. In particular, binary search exemplifies this reliance: given a strictly monotonic (typically increasing) sorted array of n elements, the algorithm repeatedly bisects the search interval based on comparisons with the midpoint, discarding half the remaining elements each time. This process guarantees finding the target element—or determining its absence—in O(\log n) time complexity in the worst case, a vast improvement over linear search's O(n). The monotonic ordering prevents backtracking, as each comparison preserves the invariant that the target lies within the updated interval. In optimization contexts, gradient descent leverages monotonicity to ensure steady progress toward solutions. For smooth convex functions, where the loss L(\theta) is differentiable and the gradient \nabla L(\theta) points toward increase, the update rule \theta_{k+1} = \theta_k - \eta \nabla L(\theta_k) with step size \eta \leq 1/L (where L is the Lipschitz constant) yields a monotonic decrease: L(\theta_{k+1}) \leq L(\theta_k) - \frac{\eta}{2} \|\nabla L(\theta_k)\|^2. This descent property, rooted in the descent lemma, guarantees convergence to a stationary point, with linear rates under strong convexity.^[59] Without monotonic decrease, algorithms risk oscillation or divergence, underscoring the assumption's necessity for reliable training in machine learning and beyond.^[59] Ternary search extends this principle to unimodal functions, which exhibit monotonicity on either side of a single mode (e.g., strictly increasing to a maximum and then decreasing). The algorithm divides the search interval [l, r] into three parts by points m_1 = l + (r - l)/3 and m_2 = r - (r - l)/3, evaluating the function at these points. If f(m_1) < f(m_2), the minimum lies in [l, m_2] due to the left-side monotonicity; otherwise, it lies in [m_1, r]. This eliminates one-third of the interval per iteration, achieving O(\log_{3/2} n) complexity for discrete domains. A key theorem asserts that for any unimodal function on a closed interval, ternary search converges to the global extremum, as the subintervals preserve unimodality after each step. This makes it suitable for optimizing non-convex but unimodal objectives, such as certain revenue curves in algorithmic game theory. Graph algorithms like Dijkstra's also exploit monotonic updates for correctness and efficiency. In computing single-source shortest paths on non-negative weighted graphs, the algorithm maintains tentative distances d(v) initialized to infinity except the source, updating via relaxation: if a shorter path to neighbor w is found through u, set d(w) = d(u) + weight(u, w). These updates are non-decreasing overall, as finalized distances never increase once a node is extracted from the priority queue in order of increasing d(v). This monotonicity ensures no revisits are needed, yielding O((V + E) \log V) time with Fibonacci heaps.^[60] The invariant holds because edges are relaxed only from settled nodes with optimal distances, preserving the triangle inequality.^[60]

Monotone Boolean Functions

In Boolean algebra, a monotone Boolean function, also known as a monotone increasing Boolean function, is a mapping f: \{0,1\}^n \to \{0,1\} such that for any two vectors x, y \in \{0,1\}^n with x \leq y componentwise (i.e., x_i \leq y_i for all i = 1, \dots, n), it holds that f(x) \leq f(y).^[61] This property ensures that the function value can only stay the same or increase when any input bit flips from 0 to 1. A classic example is the majority function on n variables (assuming n is odd for simplicity), which outputs 1 if at least (n+1)/2 inputs are 1 and 0 otherwise; this preserves monotonicity because adding more 1s can only move the count toward or maintain the threshold.^[62] Monotone Boolean functions exhibit several key properties rooted in order theory. The class is closed under composition: if f and g are monotone, then f \circ g is also monotone.^[61] Additionally, each such function corresponds to a down-set (or order ideal) in the Boolean lattice of subsets of an n-element set, where the down-set consists of all inputs mapping to 0, or equivalently to an up-set for those mapping to 1. The minimal sets of inputs that evaluate to 1 form an antichain in this lattice—no two are comparable under inclusion—and Sperner's theorem implies that the size of this antichain is at most the binomial coefficient \binom{n}{\lfloor n/2 \rfloor}, providing an upper bound on the "complexity" of the function's boundary. This antichain structure underscores their role in combinatorial optimization and extremal set theory. The total number of distinct monotone Boolean functions on n variables is given by the nth Dedekind number M(n), which counts the down-sets in the power set of an n-element set. These numbers grow rapidly but subexponentially: M(0) = 2, M(1) = 3, M(2) = 6, M(3) = 20, M(4) = 168, M(5) = 7581, M(6) = 7828354, M(7) = 2414682040998, M(8) = 56130437228687557907788, M(9) = 286386577668298411128469151667598498812366.^[63] Computing Dedekind numbers remains challenging, with exact values known only up to n=9 as of 2023.^[64] Monotone Boolean functions find applications in reliability analysis, where they model coherent systems: the system functions if and only if a monotone combination of component states (0 for failure, 1 for success) evaluates to 1, allowing evaluation of system reliability under independent component failures.^[65] In social choice theory, they represent monotonic voting rules, which satisfy the condition that increasing support for a candidate cannot decrease their winning status; non-dictatorial such rules are central to theorems like Arrow's impossibility result in restricted domains.^[66]

Monotonic Models in Machine Learning

Monotonic models in machine learning incorporate constraints that ensure the output non-decreases (or non-increases) with respect to specific inputs, enhancing interpretability and compliance in high-stakes applications. These models address the "black box" nature of standard neural networks by enforcing domain knowledge, such as logical relationships between features and predictions, while maintaining competitive performance. Since 2015, their adoption has surged in regulated sectors, driven by needs for explainability and fairness, with advancements focusing on scalable architectures that avoid restrictive parameterizations.^[67] Monotonic neural networks achieve this by designing layers where activations are non-decreasing, often through non-negative weight constraints combined with monotone activation functions like ReLU. For instance, fully connected layers can enforce monotonicity by restricting weights to positive values, ensuring that increases in input features propagate positively through the network. More flexible approaches, such as unconstrained monotonic neural networks, parameterize the function as an integral of a strictly positive neural network output (using activations like ELU+1), guaranteeing monotonicity without weight restrictions and enabling universal approximation of continuous monotonic functions. These methods have been applied in density estimation tasks, achieving state-of-the-art results on datasets like MNIST.^[68]^[69] In fair lending, monotonic models ensure intuitive decisions, such as higher income or better credit history leading to higher loan approval probabilities, aligning with regulations like the Equal Credit Opportunities Act. For example, in credit risk assessment on the German Credit Dataset, features like savings account balance are modeled monotonically decreasing in risk, with non-negative coefficients on piecewise constant transformations preventing counterintuitive outcomes. This promotes fairness by avoiding discriminatory patterns while satisfying legal interpretability requirements. A key theoretical result is that monotonicity in structural causal models preserves the causal order, facilitating identification in reinforcement learning environments where actions and states exhibit ordered dependencies. In monotonic SCMs, the assumption allows algorithms to discover and maintain the topological order of causes without violating interventional invariances, aiding policy optimization in causal RL settings.^[70] Recent advancements (2020–2025) include monotonic attention mechanisms in transformers, which bias attention weights toward sequential, non-decreasing alignments for improved explainability in natural language processing. Monotonic multihead attention extends hard monotonicity to multiple heads, enabling efficient streaming inference while preserving interpretability in tasks like speech recognition. For scalable training, counterexample-guided methods iteratively enforce monotonicity during optimization, reducing violations by up to 62% on benchmarks like Boston Housing without significant accuracy loss, extending earlier lattice-based approaches.^[71]^[72] Challenges persist in enforcing strict monotonicity in overparameterized models, where optimization instabilities or floating-point precision can introduce subtle violations, leading to performance degradation if constraints overly restrict the hypothesis space. Counterexamples, such as non-monotonic outputs in deep networks despite training constraints, highlight the need for post-hoc verification techniques to guarantee compliance without sacrificing expressiveness.^[72]

References

[1]
Monotone Functions - Department of Mathematics at UTSA
Nov 6, 2021 · In mathematics, a monotonic function (or monotone function) is a function between ordered sets that preserves or reverses the given order.
[2]
[PDF] Monotonic functions. Exponential function. Uniform continuity.
Theorem 3 A monotonic function f defined on an interval I is continuous if and only if the image f (I) is also an interval. Page 3.
[3]
7.2 Monotonic Functions and Extreme Values | Math 140
A function f that is either increasing or decreasing on an interval I is called a monotonic (monotone) function on I.
[4]
Unravel the Mysteries: A Simple Guide to Understanding Monotonic ...
A monotonic function is a function that is either entirely increasing or entirely decreasing. There are two types of monotonic functions: monotonically ...
[5]
[PDF] The Economics of Monotone Function Intervals
Sep 27, 2023 · Monotone function intervals are sets of monotone functions bounded by two monotone functions, useful in economics, such as demand and supply ...<|control11|><|separator|>
[6]
[PDF] limitwise monotonic functions and their applications
Abstract. We survey what is known about limitwise monotonic functions and sets and discuss their applications in effective algebra and computable.
[7]
[PDF] Partially ordered sets - William T. Trotter
Formally, a partially ordered set is a pair (X,P) where X is a set, and P is reflexive, antisymmetric, and transitive binary relation on X. The set X is called.
[8]
monotone function in nLab
Dec 3, 2022 · A function between preordered sets is called monotone if it respects the (pre)ordering. When preordered sets are regarded as categories (namely: (0,1)- ...
[9]
Increasing Function -- from Wolfram MathWorld
A function f(x) increases on an interval I if f(b)>=f(a) for all b>a, where a,b in I. If f(b)>f(a) for all b>a, the function is said to beMissing: notation ↑
[10]
[PDF] 5. Galois connections
(With an monotone function f ∈ FE, we only have sup f[A] ≤ f(sup A) and f(inf A) ≤ inf f[A].) 2. Page 3. Theorem. Let E a complete lattice, F an ordered ...<|control11|><|separator|>
[11]
[PDF] Notes on Categorical Logic - University of Cambridge
(i) The collection of monotone functions between preorders contains the identity functions and is closed under composition. (Hence there is a category ...
[12]
[PDF] Introduction to Real Analysis
If f : S → R is strictly monotone, it is obvious that f is injective. Theorem. If f : [a,b] → R is continuous and injective, then f is strictly monotone.
[13]
[PDF] Definition
Then f is said to be monotonically increasing on (a,b) if a < x < b implies f (x) ≤ f (y). If the last inequality is reversed we obtain the definition of a.Missing: mathematics | Show results with:mathematics
[14]
Theorem 6.3.6: Discontinuities of Monotone Functions - MathCS.org
For a monotone function on (a, b), any discontinuity is of the first kind. On [a, b], there are at most countably many discontinuities.
[15]
[PDF] Notes for 2 Mar (Thursday) - IISc Math
We can use the above result to prove that monotonic functions have at most countably many discontinuities. Theorem 2. Let f be monotonic on (a, b). Then it has ...
[16]
3.6 Monotone functions and continuity
If a function is either increasing or decreasing, we say it is monotone. If it is strictly increasing or strictly decreasing, we say it is strictly monotone.
[17]
Is the derivative of a monotonically increasing function positve?
Dec 9, 2021 · For instance f(x)=x3 is monotonically (strictly) increasing on the interval (−1,1), but the derivative is not always positive on that interval: ...
[18]
[PDF] The Devil's Staircase - UCSD Math
It is called the Cantor Function or the Devil's staircase. ... In general, a non-constant monotone increasing function that is continuous, differentiable almost.
[19]
245A, Notes 5: Differentiation theorems | What's new - Terence Tao
Oct 16, 2010 · which is monotone (either monotone non-decreasing or monotone non-increasing) is differentiable almost everywhere. Exercise 54 Show that every ...Missing: source | Show results with:source
[20]
[PDF] Fermat's Method for Finding Maxima and Minima
May 17, 2022 · If a real-valued function f(x) is differentiable on an interval (a, b) and f(x) has a maximum or minimum at c ∈ (a, b), then f0(c)=0. a c b y x.
[21]
[PDF] Section 5.6: Monotone and Inverse Functions 8. Continuous Inve
Oct 21, 2021 · Continuous Inverse Theorem: If f is strictly monotone and continuous on an interval I, then f has an inverse g that is strictly monotone and ...
[22]
[PDF] Section 4.2: Monotone and Inverse Functions
Nov 21, 2011 · Definition 4-15: discontinuity of the third type: A function f is said to have a discontinuity of the third type at x0 if f fails to be ...
[23]
[PDF] 4.2. Monotone and Inverse Functions.
Sep 20, 2014 · We look at the interaction of functions and sequences. Monotone functions are defined and various types of discontinuities are defined.
[24]
[PDF] Elementary Functions. Part 3
Its inverse is called the logarithm function with base a . The inverse of the exponential f(x) = ax is denoted by f-1(y) = loga(y) .
[25]
[PDF] Inverse Functions - UCR Math Department
Theorem 2.10: Let f be a strictly monotone,. Continuous function on a ... is strictly monotone & increasing & continuous. Thus it has an inverse. Sin ...
[26]
[PDF] Lecture 3 Axioms of Consumer Preference and the Theory of Choice
Definition: Monotonic Transformation. Let I be an interval on the real line Ri then: I Ri is a monotonic transformation if is a strictly increasing ...
[27]
[PDF] An Analysis of Transformations - GEP Box, DR Cox
Sep 6, 2002 · transformation is monotonic. For transformation to stabilize variance, the usual method (Bartlett, 1947) is to determine empirically or ...
[28]
[PDF] 20. Homogeneous and Homothetic Functions
Dec 2, 2022 · NB: Note that monotonicity is defined differently for functions and transformations. Monotonic transformations are strictly increasing. Page 27 ...
[29]
[PDF] TWO
If a particular set of numbers associated with various combinations of Q, and Q₂ is a utility index, any positive monotonic transformation of it is also a ...
[30]
[PDF] Preferences and Utility - UCLA Economics
Oct 6, 2009 · The lectures analyze how an agent chooses, when preferences can be represented by a utility function, and how they make tradeoffs between goods.
[31]
Introduction to Lattices and Order
This new edition of Introduction to Lattices and Order presents a radical reorganization and updating, though its primary aim is unchanged.
[32]
[PDF] Partitions of a Finite Partially Ordered Set - arXiv
First, consider the category Pos of posets and order-preserving maps (also called monotone maps), i.e., functions f : P → Q, with P, Q posets such that x ⩽ y in ...<|control11|><|separator|>
[33]
[PDF] Chapter 2 Ordered Sets and Complete Lattices - profs.scienze.univr.it
(iii) A monotone map F : P → Q is an order-isomorphism if and only if it has a monotone inverse G: Q → P (meaning that G ◦ F = idP and. F ◦ G = idQ). (Here idS ...Missing: Priestly | Show results with:Priestly
[34]
[PDF] A Categorical View on Algebraic Lattices in Formal Concept Analysis
Preservation of infima is defined dually. A function that preserves directed suprema is also called Scott continuous. An order-isomorphism is a bijective ...
[35]
[PDF] A Comparison of Three Topologies on Ordered Sets - eCommons
If X is continuous, then this relation is the same as the way below relation, and both of them provide a basis for the Scott topology.
[36]
[PDF] Scott Continuity in Generalized Probabilistic Theories - arXiv
Scott continuity is a concept from domain theory that had an unexpected previous life in the theory of von Neumann algebras. Scott-continuous states are ...
[37]
[PDF] All kinds of lattices - Oleg Grenrus
Jul 23, 2019 · and that projection functions p1 : P × Q → P and p2 : P × Q → Q are monotone, as the pairing hf, gi : X → P × Q, if f : X → P and g : X → Q. A ...
[38]
The denotational semantics of programming languages
This paper is a tutorial introduction to the theory of programming language semantics developed by D. Scott and C. Strachey. The application of the theory.
[39]
[PDF] Chapter 10 DOMAIN THEORY AND FIXED-POINT SEMANTICS
The purpose of denotational semantics is to provide mathematical descrip- tions of programming languages independent of their operational behavior. The extended ...
[40]
A lattice-theoretical fixpoint theorem and its applications.
A lattice-theoretical fixpoint theorem and its applications. Alfred Tarski. Download PDF + Save to My Library. Pacific J. Math. 5(2): 285-309 (1955).
[41]
[PDF] A Fixed Point Theorem for Monotone Functions equivalent to ...
theorem is equivalent to Brouwer and this shows the “non-simplicity” of our theorem, and its possible use in other applications. Furthermore, if there are x00 ...
[42]
Invariant sets and Knaster-Tarski principle
Aug 17, 2012 · Knaster B., Un théorème sur les fonctions d'ensembles, Annales de la Société Polonaise de Mathématique, 1928, 6, 133–134. MATH Google Scholar.
[43]
About the term "continuous monotone map" - Math Stack Exchange
Aug 24, 2012 · The definition of “monotone” in the wiki article is for the very general case of continuous maps between arbitrary topological spaces.
[44]
Monotone countable paracompactness and maps to ordered ...
In this paper, we characterize monotonically countably paracompact (or monotonically countably metacompact) spaces by semi-continuous maps with values into ...
[45]
Inclusion map - Wikipedia
An inclusion map may also be referred to as an inclusion function, an insertion, [1] or a canonical injection.Missing: monotone | Show results with:monotone
[46]
Monotone Decompositions of Continua - jstor
Then the join of two monotone decompositions is moniotone, which implies that the ilntersection of continua is a continuum. Therefore X is a generalized ...
[47]
Mathlib.Topology.Order.MonotoneContinuity - Lean community
Continuity of monotone functions #. In this file we prove the following fact ... A monotone function with densely ordered codomain and a dense range is continuous ...
[48]
[PDF] Mary Ellen Rudin and Monotone Normality
Theorem 8.3 A space X is the continuous image of a compact connected linearly ordered space if and only if X is compact, connected, locally connected, and ...
[49]
Is there a monotonic function discontinuous over some dense set?
Jul 19, 2012 · Can we construct a monotonic function f:R→R such that there is a dense set in some interval (a,b) for which f is discontinuous at all points in the dense set?Set of discontinuity of monotone function is countableIncreasing function on R that is discontinuous on the rationalsMore results from math.stackexchange.com
[50]
Monotone Functions That Are Discontinuous at Every Rational ...
According to Froda's theorem, a monotone function on an interval of R can have at most countably many discontinuity points. As an application, we construct ...
[51]
[PDF] 3.3 Measurable Functions on the Domain Rd - Christopher Heil
Lemma 3.19. If f : R → R is monotone increasing, then f is Borel measur- able (and hence is also Lebesgue measurable).
[52]
[PDF] On the continuity of the inverses of strictly monotonic functions
It is a fundamental question in analysis under which conditions the inverse of a continuous bijection, say between two topological spaces, is itself continuous.
[53]
[PDF] A Primer on Monotone Operator Methods - Stanford University
Sep 29, 2015 · Abstract. This tutorial paper presents the basic notation and results of monotone operators and operator splitting methods, with a focus on ...
[54]
Monotone (nonlinear) operators in Hilbert space - Project Euclid
George J. Minty "Monotone (nonlinear) operators in Hilbert space," Duke Mathematical Journal, Duke Math. J. 29(3), 341-346, (September 1962). Include ...
[55]
Nonlinear maximal monotone operators in Banach space
Browder, F.E. Nonlinear maximal monotone operators in Banach space. Math. Ann. 175, 89–113 (1968). https://doi.org/10.1007/BF01418765. Download citation.
[56]
ON THE MAXIMAL MONOTONICITY OF SUBDIFFERENTIAL ...
The subdifferential of a lower semicontinuous proper con- vex function on a Banach space is a maximal monotone opera- tor, as well as a maximal cyclically ...
[57]
[PDF] Lecture notes Monotone operators in nonlinear PDEs - NuMa JKU
We have now provided all the tools necessary to prove the main theorem of the theory of monotone operators. Theorem 2.1 (Browder–Minty). Let X be a separable, ...
[58]
DEMICONTINUITY, HEMICONTINUITY AND MONOTONICITY
The object of the present note is to show that under rather general conditions, hemicontinuity is equivalent to demicontinuity for monotone functions. Let X be ...
[59]
[PDF] Monotone Operators in Banach Space and Nonlinear Partial ...
From Proposition 2.2 and the proof of Lemma 2.1 it follows that monotone and hemicontinuous imply maximal monotone which in turn implies type M. A useful ...
[60]
Monotone Operators and the Proximal Point Algorithm
... subdifferential 𝜕 𝑓 is replaced by an arbitrary maximal monotone operator T. Convergence is established under several criteria amenable to implementation ...
[61]
nonlinear monotone and accretive operators - PNAS
6Browder, F. E., "Nonlinear maximal monotone operators in Banach spaces," Math. Ann.,. 175, 89-113 (1968). 6 Browder, F. E., "Nonlinear variational inequalities ...
[62]
[PDF] Fifty years of maximal monotonicity - CARMA
Nov 15, 2009 · “The subdifferential of a lower semi-continuous proper convex function on a Banach space is a maximal monotone operator, as well as a maximal ...
[63]
A Finite Difference Method for the Variational p-Laplacian
Dec 31, 2021 · We propose a new monotone finite difference discretization for the variational p-Laplace operator, and present a convergent numerical scheme for related ...
[64]
Convergence of Gradient Descent on Separable Data
We provide a detailed study on the implicit bias of gradient descent when optimizing loss functions with strictly monotone tails, such as the logistic loss, ...
[65]
[PDF] dijkstra-routing-1959.pdf
DIJKSTRA: the data for at most a branches, viz. the branches in sets I ... Paper, P-923, 1956. [4] BERGE, C.: Théorie des graphes et ses applications ...
[66]
Monotone Boolean function - Encyclopedia of Mathematics
Jun 7, 2020 · Any function obtained by composition of monotone Boolean functions is itself monotone. In other words, the class of all monotone Boolean ...
[67]
[PDF] ANALYSIS OF BOOLEAN FUNCTIONS Ryan O'Donnell
... functions which may be considered desirable: Definition 2.8. We say that a function f : {−1,1}n → {−1,1} is: • monotone if f (x) ≤ f (y) whenever x ≤ y ...Missing: reliability | Show results with:reliability
[68]
A000372 - OEIS
A monotone Boolean function is an increasing function from P(S), the set of subsets of S, to {0,1}. The count of antichains includes the empty antichain which ...
[69]
Ninth Dedekind Number Found by Two Independent Groups
Aug 1, 2023 · A monotone Boolean function is one whose output, once it switches to 1, never goes back to 0, no matter what order the inputs are flipped in.
[70]
Monte-Carlo approximation for probability distribution of monotone ...
Monotone Boolean functions are widely applied in reliability theory, logical systems of control etc. The Boolean function ...
[71]
A Note on Binary Strategy-Proof Social Choice Functions - MDPI
Nov 18, 2022 · This paper deals with such a binary framework. Then, it is worthwhile to observe that if we restrict our attention to social choice functions ...Missing: reliability | Show results with:reliability
[72]
Monotonic Neural Additive Models: Pursuing Regulated Machine ...
Sep 21, 2022 · Monotonic neural additive models meet regulatory requirements by simplifying neural networks and enforcing monotonicity, penalizing violations ...Missing: fair | Show results with:fair
[73]
[PDF] Constrained Monotonic Neural Networks
The simplest method to achieve monotonicity by construc- tion is to constrain the weights of the fully connected neural network to have only non-negative (for ...
[74]
[1908.05164] Unconstrained Monotonic Neural Networks - arXiv
Aug 14, 2019 · Title:Unconstrained Monotonic Neural Networks. Authors:Antoine Wehenkel, Gilles Louppe. View a PDF of the paper titled Unconstrained Monotonic ...
[75]
[2410.19870] Causal Order Discovery based on Monotonic SCMs
Oct 24, 2024 · In this paper, we consider the problem of causal order discovery within the framework of monotonic Structural Causal Models (SCMs).
[76]
Monotonic Multihead Attention | Facebook AI Research - AI at Meta
Apr 29, 2020 · In this paper, we propose a new attention mechanism, Monotonic Multihead Attention (MMA), which extends the monotonic attention mechanism to ...
[77]
[PDF] Counterexample-Guided Learning of Monotonic Neural Networks
We develop a counterexample-guided technique to provably enforce monotonicity constraints at prediction time. Additionally, we propose a technique to use ...Missing: sorted projections