Related papers: A characterization of combinatorial demand
We prove that supply correspondences are characterized by two properties: the law of supply and being homogeneous of degree zero.
We prove combinatorial theorems concerning the stick principle and cardinal characteristics.
Establishing that a demand mapping is injective is core first step for a variety of methodologies. When a version of the law of demand holds, global injectivity can be checked by seeing whether the demand mapping is constant over any line…
We present a characterization of the standard sequential product of quantum effects. The characterization is in term of algebraic, continuity and duality conditions that can be physically motivated.
We give conditions under which the demand function of a strictly convex preference relation can be constructed.
Although the characterization of ring derivations has an extensive literature, up to now, all of the characterizations have had the following form: additivity and another property imply that the function in question is a derivation. The aim…
We propose a necessary and sufficient condition for a real-valued function on the real line to be a characteristic function of a probability measures. The statement is given in terms of harmonic functions and completely monotonic functions.
We explore various combinatorial problems mostly borrowed from physics, that share the property of being continuously or discretely integrable, a feature that guarantees the existence of conservation laws that often make the problems…
We apply the Weber-Fechner's law, which represents the relation between the magnitude of physical stimulus and the magnitude of psychological sense in human being, to the utility function. We conclude that the utility function of n-types of…
I characterize the combinatorially complete pargoids (partial applicative systems) by expandability with two constants that satisfy the well-known identities. An example shows that this class contains more than just the reducts of partial…
This paper suggests a [email protected] of composable specification of concurrent programs that permits: (1) verification of program code for a given specification, and (2) composition of the specifications of the components to yield…
We investigate regularity properties of generalized conjugate functions induced by a general coupling function and the associated generalized proximal mapping. Our main results provide verifiable conditions ensuring local single-valuedness,…
We study conditions for the existence of stable and group-strategy-proof mechanisms in a many-to-one matching model with contracts if students' preferences are monotone in contract terms. We show that "equivalence", properly defined, to a…
In this note we provide a simple proof of some properties enjoyed by convex functions having the engulfing property. In particular, making use only of results peculiar to convex analysis, we prove that differentiability and strict convexity…
In this paper, we prove a combinatorial property of flows on a cycle. $C(V,E)$ is an undirected cycle with two commodities: $\{s_{1},t_{1}\}, \{s_{2},t_{2}\}$;$r_1>0,r_2>0, \mathbf r=(r_i)_{i=1,2}$ and $f,f'$ are both feasible flows for…
In this note, we find a new way to prove several properties of 2-alternating capacities.
We further investigate the uniform regularity property of collections of sets via primal and dual characterizing constants. These constants play an important role in determining convergence rates of projection algorithms for solving…
A characterization of multiplicative (and additive) arithmetical functions is given. Using this characterization, we show that the group of multiplicative arithmetical functions is isomorphic to the group of additive arithmetical functions.
We consider log-convex sequences that satisfy an additional constraint imposed on their rate of growth. We call such sequences log-balanced. It is shown that all such sequences satisfy a pair of double inequalities. Sufficient conditions…
The necessary and sufficient conditions for differentiability of a function of several real variables stated and proved and its ramifications discussed.