Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userSeparating minimal valuations, point-continuous valuations and continuous valuations
72
0
0.0
(
0
)
Added by
Xiaodong Jia
Publication date
2021
fields
Informatics Engineering
and research's language is
English
Ask ChatGPT about the research
No Arabic abstract
We give two concrete examples of continuous valuations on dcpos to separate minimal valuations, point-continuous valuations and continuous valuations: (1) Let $mathcal J$ be the Johnstones non-sober dcpo, and $mu$ be the continuous valuation on $mathcal J$ with $mu(U) =1$ for nonempty Scott opens $U$ and $mu(U) = 0$ for $U=emptyset$. Then $mu$ is a point-continuous valuation on $mathcal J$ that is not minimal. (2) Lebesgue measure extends to a measure on the Sorgenfrey line $mathbb R_{l}$. Its restriction to the open subsets of $mathbb R_{l}$ is a continuous valuation $lambda$. Then its image valuation $overlinelambda$ through the embedding of $mathbb R_{l}$ into its Smyth powerdomain $mathcal Qmathbb R_{l}$ in the Scott topology is a continuous valuation that is not point-continuous. We believe that our construction $overlinelambda$ might be useful in giving counterexamples displaying the failure of the general Fubini-type equations on dcpos.
rate research
Read More
We construct a homeomorphism between the compact regular locale of integrals on a Riesz space and the locale of (valuations) on its spectrum. In fact, we construct two geometric theories and show that they are biinterpretable. The constructions are elementary and tightly connected to the Riesz space structure.
We prove that every non-trivial valuation on an infinite superrosy field of positive characteristic has divisible value group and algebraically closed residue field. In fact, we prove the following more general result. Let $K$ be a field such that for every finite extension $L$ of $K$ and for every natural number $n>0$ the index $[L^*:(L^*)^n]$ is finite and, if $char(K)=p>0$ and $f: L to L$ is given by $f(x)=x^p-x$, the index $[L^+:f[L]]$ is also finite. Then either there is a non-trivial definable valuation on $K$, or every non-trivial valuation on $K$ has divisible value group and, if $char(K)>0$, it has algebraically closed residue field. In the zero characteristic case, we get some partial results of this kind. We also notice that minimal fields have the property that every non-trivial valuation has divisible value group and algebraically closed residue field.
Recently an algebra of smooth valuations was attached to any smooth manifold. Roughly put, a smooth valuation is finitely additive measure on compact submanifolds with corners which satisfies some extra properties. In this note we initiate a study of modules over smooth valuations. More specifically we study finitely generated projective modules in analogy to the study of vector bundles on a manifold. In particular it is shown that on a compact manifold there exists a canonical isomorphism between the $K$-ring constructed out of finitely generated projective modules over valuations and the classical topological $K^0$-ring constructed out of vector bundles.
Substitute valuations (in some contexts called gross substitute valuations) are prominent in combinatorial auction theory. An algorithm is given in this paper for generating a substitute valuation through Monte Carlo simulation. In addition, the geometry of the set of all substitute valuations for a fixed number of goods K is investigated. The set consists of a union of polyhedrons, and the maximal polyhedrons are identified for K=4. It is shown that the maximum dimension of the maximal polyhedrons increases with K nearly as fast as two to the power K. Consequently, under broad conditions, if a combinatorial algorithm can present an arbitrary substitute valuation given a list of input numbers, the list must grow nearly as fast as two to the power K.
Algorithmic pricing is the computational problem that sellers (e.g., in supermarkets) face when trying to set prices for their items to maximize their profit in the presence of a known demand. Guruswami et al. (2005) propose this problem and give logarithmic approximations (in the number of consumers) when each consumers values for bundles are known precisely. Subsequently severa
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
