Jordan Decomposition

14,000,000 Leading Edge Experts on the ideXlab platform

Scan Science and Technology

Contact Leading Edge Experts & Companies

Scan Science and Technology

Contact Leading Edge Experts & Companies

The Experts below are selected from a list of 321 Experts worldwide ranked by ideXlab platform

Lawrence E Wilson - One of the best experts on this subject based on the ideXlab platform.

Robert Rettinger - One of the best experts on this subject based on the ideXlab platform.

  • a reference correction of effective Jordan Decomposition
    Theory of Computing Systems \ Mathematical Systems Theory, 2006
    Co-Authors: Xizhong Zheng, Robert Rettinger
    Abstract:

    In our paper "Effective Jordan Decomposition" (Theory of Computing Systems, 38 (2005), 189-209; DOI: 10.1007/s00224-004-1193-z) there is a reference error. The referenced paper [15] should be "M. Josephy. Composing functions of bounded variation. Proc. Amer. Math. Soc. 83:354-356, 1981". The result mentioned in our paper (second paragraph of page 194) belongs of course to Josephy instead of Young. We apologize for this mistake.

  • effective Jordan Decomposition
    Theory of Computing Systems \ Mathematical Systems Theory, 2005
    Co-Authors: Xizhong Zheng, Robert Rettinger
    Abstract:

    The Jordan Decomposition Theorem says that any real function of bounded variation can be expressed as a difference of two increasing functions. This paper investigates the effective version of Jordan Decomposition and discusses the properties of variation of computable real functions. First we show that the effective version of Jordan Decomposition does not hold in general. Then we give a sufficient and necessary condition for computable real functions of bounded variation which have an effective Jordan Decomposition. Applying this condition, we construct a computable real function which has a computable modulus of absolute continuity (hence of bounded variation) but is not effectively Jordan decomposable. Finally, we prove a version of this result restricted to polynomial time which answers negatively an open question of Ko in [8].

  • STACS - On the Effective Jordan Decomposability
    Lecture Notes in Computer Science, 2003
    Co-Authors: Xizhong Zheng, Robert Rettinger, Burchard Von Braunmühl
    Abstract:

    The classical Jordan Decomposition Theorem says that any real function of bounded variation can be expressed as a difference of two increasing functions. This paper explores the effective version of Jordan Decomposition. We give a sufficient and necessary condition for those computable real functions of bounded variation which can be expressed as a difference of two computable increasing functions. Using this condition, we prove further that there is a computable real function which has even a computable modulus of absolute continuity (hence is of bounded variation) but it is not a difference of any two computable increasing functions. The polynomial time version of this result holds too and this gives a negative answer to an open question of Ko in [6].

  • On the effective Jordan decomposability
    Lecture Notes in Computer Science, 2003
    Co-Authors: Xizhong Zheng, Robert Rettinger, Burchard Von Braunmühl
    Abstract:

    The classical Jordan Decomposition Theorem says that any real function of bounded variation can be expressed as a difference of two increasing functions. This paper explores the effective version of Jordan Decomposition. We give a sufficient and necessary condition for those computable real functions of bounded variation which can be expressed as a difference of two computable increasing functions. Using this condition, we prove further that there is a computable real function which has even a computable modulus of absolute continuity (hence is of bounded variation) but it is not a difference of any two computable increasing functions. The polynomial time version of this result holds too and this gives a negative answer to an open question of Ko in [6].

  • Effectively Absolute Continuity and Effective Jordan Decomposability
    Electronic Notes in Theoretical Computer Science, 2002
    Co-Authors: Xizhong Zheng, Robert Rettinger, Burchard Von Braunmühl
    Abstract:

    Abstract Classically, any absolute continuous real function is of bounded variation and hence can always be expressed as a difference of two increasing continuous functions (so-called Jordan Decomposition). The effective version of this result is not true. In this paper we give a sufficient and necessary condition for computable real functions which can be expressed as two computable increasing functions (effectively Jordan decomposable, or EJD for short). Using this condition, we prove further that there is a computable real function which has a computable modulus of absolute continuity but is not EJD. The polynomial time version of this result holds accordingly too and this gives a negative answer to an open question of Ko in [6].

Ryan C Vinroot - One of the best experts on this subject based on the ideXlab platform.

Alfred W Hales - One of the best experts on this subject based on the ideXlab platform.

Xizhong Zheng - One of the best experts on this subject based on the ideXlab platform.

  • a reference correction of effective Jordan Decomposition
    Theory of Computing Systems \ Mathematical Systems Theory, 2006
    Co-Authors: Xizhong Zheng, Robert Rettinger
    Abstract:

    In our paper "Effective Jordan Decomposition" (Theory of Computing Systems, 38 (2005), 189-209; DOI: 10.1007/s00224-004-1193-z) there is a reference error. The referenced paper [15] should be "M. Josephy. Composing functions of bounded variation. Proc. Amer. Math. Soc. 83:354-356, 1981". The result mentioned in our paper (second paragraph of page 194) belongs of course to Josephy instead of Young. We apologize for this mistake.

  • effective Jordan Decomposition
    Theory of Computing Systems \ Mathematical Systems Theory, 2005
    Co-Authors: Xizhong Zheng, Robert Rettinger
    Abstract:

    The Jordan Decomposition Theorem says that any real function of bounded variation can be expressed as a difference of two increasing functions. This paper investigates the effective version of Jordan Decomposition and discusses the properties of variation of computable real functions. First we show that the effective version of Jordan Decomposition does not hold in general. Then we give a sufficient and necessary condition for computable real functions of bounded variation which have an effective Jordan Decomposition. Applying this condition, we construct a computable real function which has a computable modulus of absolute continuity (hence of bounded variation) but is not effectively Jordan decomposable. Finally, we prove a version of this result restricted to polynomial time which answers negatively an open question of Ko in [8].

  • STACS - On the Effective Jordan Decomposability
    Lecture Notes in Computer Science, 2003
    Co-Authors: Xizhong Zheng, Robert Rettinger, Burchard Von Braunmühl
    Abstract:

    The classical Jordan Decomposition Theorem says that any real function of bounded variation can be expressed as a difference of two increasing functions. This paper explores the effective version of Jordan Decomposition. We give a sufficient and necessary condition for those computable real functions of bounded variation which can be expressed as a difference of two computable increasing functions. Using this condition, we prove further that there is a computable real function which has even a computable modulus of absolute continuity (hence is of bounded variation) but it is not a difference of any two computable increasing functions. The polynomial time version of this result holds too and this gives a negative answer to an open question of Ko in [6].

  • On the effective Jordan decomposability
    Lecture Notes in Computer Science, 2003
    Co-Authors: Xizhong Zheng, Robert Rettinger, Burchard Von Braunmühl
    Abstract:

    The classical Jordan Decomposition Theorem says that any real function of bounded variation can be expressed as a difference of two increasing functions. This paper explores the effective version of Jordan Decomposition. We give a sufficient and necessary condition for those computable real functions of bounded variation which can be expressed as a difference of two computable increasing functions. Using this condition, we prove further that there is a computable real function which has even a computable modulus of absolute continuity (hence is of bounded variation) but it is not a difference of any two computable increasing functions. The polynomial time version of this result holds too and this gives a negative answer to an open question of Ko in [6].

  • Effectively Absolute Continuity and Effective Jordan Decomposability
    Electronic Notes in Theoretical Computer Science, 2002
    Co-Authors: Xizhong Zheng, Robert Rettinger, Burchard Von Braunmühl
    Abstract:

    Abstract Classically, any absolute continuous real function is of bounded variation and hence can always be expressed as a difference of two increasing continuous functions (so-called Jordan Decomposition). The effective version of this result is not true. In this paper we give a sufficient and necessary condition for computable real functions which can be expressed as two computable increasing functions (effectively Jordan decomposable, or EJD for short). Using this condition, we prove further that there is a computable real function which has a computable modulus of absolute continuity but is not EJD. The polynomial time version of this result holds accordingly too and this gives a negative answer to an open question of Ko in [6].