xref: /aosp_15_r20/external/pytorch/torch/distributions/utils.py (revision da0073e96a02ea20f0ac840b70461e3646d07c45)
1*da0073e9SAndroid Build Coastguard Worker# mypy: allow-untyped-defs
2*da0073e9SAndroid Build Coastguard Workerfrom functools import update_wrapper
3*da0073e9SAndroid Build Coastguard Workerfrom numbers import Number
4*da0073e9SAndroid Build Coastguard Workerfrom typing import Any, Dict
5*da0073e9SAndroid Build Coastguard Worker
6*da0073e9SAndroid Build Coastguard Workerimport torch
7*da0073e9SAndroid Build Coastguard Workerimport torch.nn.functional as F
8*da0073e9SAndroid Build Coastguard Workerfrom torch.overrides import is_tensor_like
9*da0073e9SAndroid Build Coastguard Worker
10*da0073e9SAndroid Build Coastguard Worker
11*da0073e9SAndroid Build Coastguard Workereuler_constant = 0.57721566490153286060  # Euler Mascheroni Constant
12*da0073e9SAndroid Build Coastguard Worker
13*da0073e9SAndroid Build Coastguard Worker__all__ = [
14*da0073e9SAndroid Build Coastguard Worker    "broadcast_all",
15*da0073e9SAndroid Build Coastguard Worker    "logits_to_probs",
16*da0073e9SAndroid Build Coastguard Worker    "clamp_probs",
17*da0073e9SAndroid Build Coastguard Worker    "probs_to_logits",
18*da0073e9SAndroid Build Coastguard Worker    "lazy_property",
19*da0073e9SAndroid Build Coastguard Worker    "tril_matrix_to_vec",
20*da0073e9SAndroid Build Coastguard Worker    "vec_to_tril_matrix",
21*da0073e9SAndroid Build Coastguard Worker]
22*da0073e9SAndroid Build Coastguard Worker
23*da0073e9SAndroid Build Coastguard Worker
24*da0073e9SAndroid Build Coastguard Workerdef broadcast_all(*values):
25*da0073e9SAndroid Build Coastguard Worker    r"""
26*da0073e9SAndroid Build Coastguard Worker    Given a list of values (possibly containing numbers), returns a list where each
27*da0073e9SAndroid Build Coastguard Worker    value is broadcasted based on the following rules:
28*da0073e9SAndroid Build Coastguard Worker      - `torch.*Tensor` instances are broadcasted as per :ref:`_broadcasting-semantics`.
29*da0073e9SAndroid Build Coastguard Worker      - numbers.Number instances (scalars) are upcast to tensors having
30*da0073e9SAndroid Build Coastguard Worker        the same size and type as the first tensor passed to `values`.  If all the
31*da0073e9SAndroid Build Coastguard Worker        values are scalars, then they are upcasted to scalar Tensors.
32*da0073e9SAndroid Build Coastguard Worker
33*da0073e9SAndroid Build Coastguard Worker    Args:
34*da0073e9SAndroid Build Coastguard Worker        values (list of `numbers.Number`, `torch.*Tensor` or objects implementing __torch_function__)
35*da0073e9SAndroid Build Coastguard Worker
36*da0073e9SAndroid Build Coastguard Worker    Raises:
37*da0073e9SAndroid Build Coastguard Worker        ValueError: if any of the values is not a `numbers.Number` instance,
38*da0073e9SAndroid Build Coastguard Worker            a `torch.*Tensor` instance, or an instance implementing __torch_function__
39*da0073e9SAndroid Build Coastguard Worker    """
40*da0073e9SAndroid Build Coastguard Worker    if not all(is_tensor_like(v) or isinstance(v, Number) for v in values):
41*da0073e9SAndroid Build Coastguard Worker        raise ValueError(
42*da0073e9SAndroid Build Coastguard Worker            "Input arguments must all be instances of numbers.Number, "
43*da0073e9SAndroid Build Coastguard Worker            "torch.Tensor or objects implementing __torch_function__."
44*da0073e9SAndroid Build Coastguard Worker        )
45*da0073e9SAndroid Build Coastguard Worker    if not all(is_tensor_like(v) for v in values):
46*da0073e9SAndroid Build Coastguard Worker        options: Dict[str, Any] = dict(dtype=torch.get_default_dtype())
47*da0073e9SAndroid Build Coastguard Worker        for value in values:
48*da0073e9SAndroid Build Coastguard Worker            if isinstance(value, torch.Tensor):
49*da0073e9SAndroid Build Coastguard Worker                options = dict(dtype=value.dtype, device=value.device)
50*da0073e9SAndroid Build Coastguard Worker                break
51*da0073e9SAndroid Build Coastguard Worker        new_values = [
52*da0073e9SAndroid Build Coastguard Worker            v if is_tensor_like(v) else torch.tensor(v, **options) for v in values
53*da0073e9SAndroid Build Coastguard Worker        ]
54*da0073e9SAndroid Build Coastguard Worker        return torch.broadcast_tensors(*new_values)
55*da0073e9SAndroid Build Coastguard Worker    return torch.broadcast_tensors(*values)
56*da0073e9SAndroid Build Coastguard Worker
57*da0073e9SAndroid Build Coastguard Worker
58*da0073e9SAndroid Build Coastguard Workerdef _standard_normal(shape, dtype, device):
59*da0073e9SAndroid Build Coastguard Worker    if torch._C._get_tracing_state():
60*da0073e9SAndroid Build Coastguard Worker        # [JIT WORKAROUND] lack of support for .normal_()
61*da0073e9SAndroid Build Coastguard Worker        return torch.normal(
62*da0073e9SAndroid Build Coastguard Worker            torch.zeros(shape, dtype=dtype, device=device),
63*da0073e9SAndroid Build Coastguard Worker            torch.ones(shape, dtype=dtype, device=device),
64*da0073e9SAndroid Build Coastguard Worker        )
65*da0073e9SAndroid Build Coastguard Worker    return torch.empty(shape, dtype=dtype, device=device).normal_()
66*da0073e9SAndroid Build Coastguard Worker
67*da0073e9SAndroid Build Coastguard Worker
68*da0073e9SAndroid Build Coastguard Workerdef _sum_rightmost(value, dim):
69*da0073e9SAndroid Build Coastguard Worker    r"""
70*da0073e9SAndroid Build Coastguard Worker    Sum out ``dim`` many rightmost dimensions of a given tensor.
71*da0073e9SAndroid Build Coastguard Worker
72*da0073e9SAndroid Build Coastguard Worker    Args:
73*da0073e9SAndroid Build Coastguard Worker        value (Tensor): A tensor of ``.dim()`` at least ``dim``.
74*da0073e9SAndroid Build Coastguard Worker        dim (int): The number of rightmost dims to sum out.
75*da0073e9SAndroid Build Coastguard Worker    """
76*da0073e9SAndroid Build Coastguard Worker    if dim == 0:
77*da0073e9SAndroid Build Coastguard Worker        return value
78*da0073e9SAndroid Build Coastguard Worker    required_shape = value.shape[:-dim] + (-1,)
79*da0073e9SAndroid Build Coastguard Worker    return value.reshape(required_shape).sum(-1)
80*da0073e9SAndroid Build Coastguard Worker
81*da0073e9SAndroid Build Coastguard Worker
82*da0073e9SAndroid Build Coastguard Workerdef logits_to_probs(logits, is_binary=False):
83*da0073e9SAndroid Build Coastguard Worker    r"""
84*da0073e9SAndroid Build Coastguard Worker    Converts a tensor of logits into probabilities. Note that for the
85*da0073e9SAndroid Build Coastguard Worker    binary case, each value denotes log odds, whereas for the
86*da0073e9SAndroid Build Coastguard Worker    multi-dimensional case, the values along the last dimension denote
87*da0073e9SAndroid Build Coastguard Worker    the log probabilities (possibly unnormalized) of the events.
88*da0073e9SAndroid Build Coastguard Worker    """
89*da0073e9SAndroid Build Coastguard Worker    if is_binary:
90*da0073e9SAndroid Build Coastguard Worker        return torch.sigmoid(logits)
91*da0073e9SAndroid Build Coastguard Worker    return F.softmax(logits, dim=-1)
92*da0073e9SAndroid Build Coastguard Worker
93*da0073e9SAndroid Build Coastguard Worker
94*da0073e9SAndroid Build Coastguard Workerdef clamp_probs(probs):
95*da0073e9SAndroid Build Coastguard Worker    """Clamps the probabilities to be in the open interval `(0, 1)`.
96*da0073e9SAndroid Build Coastguard Worker
97*da0073e9SAndroid Build Coastguard Worker    The probabilities would be clamped between `eps` and `1 - eps`,
98*da0073e9SAndroid Build Coastguard Worker    and `eps` would be the smallest representable positive number for the input data type.
99*da0073e9SAndroid Build Coastguard Worker
100*da0073e9SAndroid Build Coastguard Worker    Args:
101*da0073e9SAndroid Build Coastguard Worker        probs (Tensor): A tensor of probabilities.
102*da0073e9SAndroid Build Coastguard Worker
103*da0073e9SAndroid Build Coastguard Worker    Returns:
104*da0073e9SAndroid Build Coastguard Worker        Tensor: The clamped probabilities.
105*da0073e9SAndroid Build Coastguard Worker
106*da0073e9SAndroid Build Coastguard Worker    Examples:
107*da0073e9SAndroid Build Coastguard Worker        >>> probs = torch.tensor([0.0, 0.5, 1.0])
108*da0073e9SAndroid Build Coastguard Worker        >>> clamp_probs(probs)
109*da0073e9SAndroid Build Coastguard Worker        tensor([1.1921e-07, 5.0000e-01, 1.0000e+00])
110*da0073e9SAndroid Build Coastguard Worker
111*da0073e9SAndroid Build Coastguard Worker        >>> probs = torch.tensor([0.0, 0.5, 1.0], dtype=torch.float64)
112*da0073e9SAndroid Build Coastguard Worker        >>> clamp_probs(probs)
113*da0073e9SAndroid Build Coastguard Worker        tensor([2.2204e-16, 5.0000e-01, 1.0000e+00], dtype=torch.float64)
114*da0073e9SAndroid Build Coastguard Worker
115*da0073e9SAndroid Build Coastguard Worker    """
116*da0073e9SAndroid Build Coastguard Worker    eps = torch.finfo(probs.dtype).eps
117*da0073e9SAndroid Build Coastguard Worker    return probs.clamp(min=eps, max=1 - eps)
118*da0073e9SAndroid Build Coastguard Worker
119*da0073e9SAndroid Build Coastguard Worker
120*da0073e9SAndroid Build Coastguard Workerdef probs_to_logits(probs, is_binary=False):
121*da0073e9SAndroid Build Coastguard Worker    r"""
122*da0073e9SAndroid Build Coastguard Worker    Converts a tensor of probabilities into logits. For the binary case,
123*da0073e9SAndroid Build Coastguard Worker    this denotes the probability of occurrence of the event indexed by `1`.
124*da0073e9SAndroid Build Coastguard Worker    For the multi-dimensional case, the values along the last dimension
125*da0073e9SAndroid Build Coastguard Worker    denote the probabilities of occurrence of each of the events.
126*da0073e9SAndroid Build Coastguard Worker    """
127*da0073e9SAndroid Build Coastguard Worker    ps_clamped = clamp_probs(probs)
128*da0073e9SAndroid Build Coastguard Worker    if is_binary:
129*da0073e9SAndroid Build Coastguard Worker        return torch.log(ps_clamped) - torch.log1p(-ps_clamped)
130*da0073e9SAndroid Build Coastguard Worker    return torch.log(ps_clamped)
131*da0073e9SAndroid Build Coastguard Worker
132*da0073e9SAndroid Build Coastguard Worker
133*da0073e9SAndroid Build Coastguard Workerclass lazy_property:
134*da0073e9SAndroid Build Coastguard Worker    r"""
135*da0073e9SAndroid Build Coastguard Worker    Used as a decorator for lazy loading of class attributes. This uses a
136*da0073e9SAndroid Build Coastguard Worker    non-data descriptor that calls the wrapped method to compute the property on
137*da0073e9SAndroid Build Coastguard Worker    first call; thereafter replacing the wrapped method into an instance
138*da0073e9SAndroid Build Coastguard Worker    attribute.
139*da0073e9SAndroid Build Coastguard Worker    """
140*da0073e9SAndroid Build Coastguard Worker
141*da0073e9SAndroid Build Coastguard Worker    def __init__(self, wrapped):
142*da0073e9SAndroid Build Coastguard Worker        self.wrapped = wrapped
143*da0073e9SAndroid Build Coastguard Worker        update_wrapper(self, wrapped)  # type:ignore[arg-type]
144*da0073e9SAndroid Build Coastguard Worker
145*da0073e9SAndroid Build Coastguard Worker    def __get__(self, instance, obj_type=None):
146*da0073e9SAndroid Build Coastguard Worker        if instance is None:
147*da0073e9SAndroid Build Coastguard Worker            return _lazy_property_and_property(self.wrapped)
148*da0073e9SAndroid Build Coastguard Worker        with torch.enable_grad():
149*da0073e9SAndroid Build Coastguard Worker            value = self.wrapped(instance)
150*da0073e9SAndroid Build Coastguard Worker        setattr(instance, self.wrapped.__name__, value)
151*da0073e9SAndroid Build Coastguard Worker        return value
152*da0073e9SAndroid Build Coastguard Worker
153*da0073e9SAndroid Build Coastguard Worker
154*da0073e9SAndroid Build Coastguard Workerclass _lazy_property_and_property(lazy_property, property):
155*da0073e9SAndroid Build Coastguard Worker    """We want lazy properties to look like multiple things.
156*da0073e9SAndroid Build Coastguard Worker
157*da0073e9SAndroid Build Coastguard Worker    * property when Sphinx autodoc looks
158*da0073e9SAndroid Build Coastguard Worker    * lazy_property when Distribution validate_args looks
159*da0073e9SAndroid Build Coastguard Worker    """
160*da0073e9SAndroid Build Coastguard Worker
161*da0073e9SAndroid Build Coastguard Worker    def __init__(self, wrapped):
162*da0073e9SAndroid Build Coastguard Worker        property.__init__(self, wrapped)
163*da0073e9SAndroid Build Coastguard Worker
164*da0073e9SAndroid Build Coastguard Worker
165*da0073e9SAndroid Build Coastguard Workerdef tril_matrix_to_vec(mat: torch.Tensor, diag: int = 0) -> torch.Tensor:
166*da0073e9SAndroid Build Coastguard Worker    r"""
167*da0073e9SAndroid Build Coastguard Worker    Convert a `D x D` matrix or a batch of matrices into a (batched) vector
168*da0073e9SAndroid Build Coastguard Worker    which comprises of lower triangular elements from the matrix in row order.
169*da0073e9SAndroid Build Coastguard Worker    """
170*da0073e9SAndroid Build Coastguard Worker    n = mat.shape[-1]
171*da0073e9SAndroid Build Coastguard Worker    if not torch._C._get_tracing_state() and (diag < -n or diag >= n):
172*da0073e9SAndroid Build Coastguard Worker        raise ValueError(f"diag ({diag}) provided is outside [{-n}, {n-1}].")
173*da0073e9SAndroid Build Coastguard Worker    arange = torch.arange(n, device=mat.device)
174*da0073e9SAndroid Build Coastguard Worker    tril_mask = arange < arange.view(-1, 1) + (diag + 1)
175*da0073e9SAndroid Build Coastguard Worker    vec = mat[..., tril_mask]
176*da0073e9SAndroid Build Coastguard Worker    return vec
177*da0073e9SAndroid Build Coastguard Worker
178*da0073e9SAndroid Build Coastguard Worker
179*da0073e9SAndroid Build Coastguard Workerdef vec_to_tril_matrix(vec: torch.Tensor, diag: int = 0) -> torch.Tensor:
180*da0073e9SAndroid Build Coastguard Worker    r"""
181*da0073e9SAndroid Build Coastguard Worker    Convert a vector or a batch of vectors into a batched `D x D`
182*da0073e9SAndroid Build Coastguard Worker    lower triangular matrix containing elements from the vector in row order.
183*da0073e9SAndroid Build Coastguard Worker    """
184*da0073e9SAndroid Build Coastguard Worker    # +ve root of D**2 + (1+2*diag)*D - |diag| * (diag+1) - 2*vec.shape[-1] = 0
185*da0073e9SAndroid Build Coastguard Worker    n = (
186*da0073e9SAndroid Build Coastguard Worker        -(1 + 2 * diag)
187*da0073e9SAndroid Build Coastguard Worker        + ((1 + 2 * diag) ** 2 + 8 * vec.shape[-1] + 4 * abs(diag) * (diag + 1)) ** 0.5
188*da0073e9SAndroid Build Coastguard Worker    ) / 2
189*da0073e9SAndroid Build Coastguard Worker    eps = torch.finfo(vec.dtype).eps
190*da0073e9SAndroid Build Coastguard Worker    if not torch._C._get_tracing_state() and (round(n) - n > eps):
191*da0073e9SAndroid Build Coastguard Worker        raise ValueError(
192*da0073e9SAndroid Build Coastguard Worker            f"The size of last dimension is {vec.shape[-1]} which cannot be expressed as "
193*da0073e9SAndroid Build Coastguard Worker            + "the lower triangular part of a square D x D matrix."
194*da0073e9SAndroid Build Coastguard Worker        )
195*da0073e9SAndroid Build Coastguard Worker    n = round(n.item()) if isinstance(n, torch.Tensor) else round(n)
196*da0073e9SAndroid Build Coastguard Worker    mat = vec.new_zeros(vec.shape[:-1] + torch.Size((n, n)))
197*da0073e9SAndroid Build Coastguard Worker    arange = torch.arange(n, device=vec.device)
198*da0073e9SAndroid Build Coastguard Worker    tril_mask = arange < arange.view(-1, 1) + (diag + 1)
199*da0073e9SAndroid Build Coastguard Worker    mat[..., tril_mask] = vec
200*da0073e9SAndroid Build Coastguard Worker    return mat
201