{"data":{"id":"10.48550/arxiv.cs/0609096","type":"dois","attributes":{"doi":"10.48550/arxiv.cs/0609096","prefix":"10.48550","suffix":"arxiv.cs/0609096","identifiers":[{"identifier":"cs/0609096","identifierType":"arXiv"}],"alternateIdentifiers":[{"alternateIdentifierType":"arXiv","alternateIdentifier":"cs/0609096"}],"creators":[{"name":"Doty, David","nameType":"Personal","givenName":"David","familyName":"Doty","affiliation":[],"nameIdentifiers":[]},{"name":"Moser, Philippe","nameType":"Personal","givenName":"Philippe","familyName":"Moser","affiliation":[],"nameIdentifiers":[]}],"titles":[{"title":"Finite-State Dimension and Lossy Decompressors"}],"publisher":"arXiv","container":{},"publicationYear":2006,"subjects":[{"lang":"en","subject":"Computational Complexity (cs.CC)","subjectScheme":"arXiv"},{"lang":"en","subject":"Information Theory (cs.IT)","subjectScheme":"arXiv"},{"subject":"FOS: Computer and information sciences","subjectScheme":"Fields of Science and Technology (FOS)"},{"subject":"FOS: Computer and information sciences","schemeUri":"http://www.oecd.org/science/inno/38235147.pdf","subjectScheme":"Fields of Science and Technology (FOS)"}],"contributors":[],"dates":[{"date":"2006-09-18T05:00:39Z","dateType":"Submitted","dateInformation":"v1"},{"date":"2009-12-01T08:01:40Z","dateType":"Updated","dateInformation":"v1"},{"date":"2006-11-29T02:38:06Z","dateType":"Submitted","dateInformation":"v2"},{"date":"2009-12-01T08:01:40Z","dateType":"Updated","dateInformation":"v2"},{"date":"2006-09","dateType":"Available","dateInformation":"v1"},{"date":"2006","dateType":"Issued"}],"language":null,"types":{"ris":"GEN","bibtex":"misc","citeproc":"article","schemaOrg":"CreativeWork","resourceType":"Article","resourceTypeGeneral":"Preprint"},"relatedIdentifiers":[],"relatedItems":[],"sizes":[],"formats":[],"version":"2","rightsList":[{"rights":"Assumed arXiv.org perpetual, non-exclusive license to distribute this article for submissions made before January 2004","rightsUri":"http://arxiv.org/licenses/assumed-1991-2003/"}],"descriptions":[{"description":"This paper examines information-theoretic questions regarding the difficulty of compressing data versus the difficulty of decompressing data and the role that information loss plays in this interaction. Finite-state compression and decompression are shown to be of equivalent difficulty, even when the decompressors are allowed to be lossy. Inspired by Kolmogorov complexity, this paper defines the optimal *decompression *ratio achievable on an infinite sequence by finite-state decompressors (that is, finite-state transducers outputting the sequence in question). It is shown that the optimal compression ratio achievable on a sequence S by any *information lossless* finite state compressor, known as the finite-state dimension of S, is equal to the optimal decompression ratio achievable on S by any finite-state decompressor. This result implies a new decompression characterization of finite-state dimension in terms of lossy finite-state transducers.","descriptionType":"Abstract"},{"description":"We found that Theorem 3.11, which was basically the motive for this paper, was already proven by Sheinwald, Ziv, and Lempel in 1991 and 1995 papers","descriptionType":"Other"}],"geoLocations":[],"fundingReferences":[],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0idXRmLTgiPz4KPHJlc291cmNlIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeG1sbnM6eHNpPSJodHRwOi8vd3d3LnczLm9yZy8yMDAxL1hNTFNjaGVtYS1pbnN0YW5jZSIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00LjMvbWV0YWRhdGEueHNkIj4KICA8aWRlbnRpZmllciBpZGVudGlmaWVyVHlwZT0iRE9JIj4xMC40ODU1MC9BUlhJVi5DUy8wNjA5MDk2PC9pZGVudGlmaWVyPgogIDxhbHRlcm5hdGVJZGVudGlmaWVycz4KICAgIDxhbHRlcm5hdGVJZGVudGlmaWVyIGFsdGVybmF0ZUlkZW50aWZpZXJUeXBlPSJhclhpdiI+Y3MvMDYwOTA5NjwvYWx0ZXJuYXRlSWRlbnRpZmllcj4KICA8L2FsdGVybmF0ZUlkZW50aWZpZXJzPgogIDxjcmVhdG9ycz4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5Eb3R5LCBEYXZpZDwvY3JlYXRvck5hbWU+CiAgICAgIDxnaXZlbk5hbWU+RGF2aWQ8L2dpdmVuTmFtZT4KICAgICAgPGZhbWlseU5hbWU+RG90eTwvZmFtaWx5TmFtZT4KICAgIDwvY3JlYXRvcj4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5Nb3NlciwgUGhpbGlwcGU8L2NyZWF0b3JOYW1lPgogICAgICA8Z2l2ZW5OYW1lPlBoaWxpcHBlPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPk1vc2VyPC9mYW1pbHlOYW1lPgogICAgPC9jcmVhdG9yPgogIDwvY3JlYXRvcnM+CiAgPHRpdGxlcz4KICAgIDx0aXRsZT5GaW5pdGUtU3RhdGUgRGltZW5zaW9uIGFuZCBMb3NzeSBEZWNvbXByZXNzb3JzPC90aXRsZT4KICA8L3RpdGxlcz4KICA8cHVibGlzaGVyPmFyWGl2PC9wdWJsaXNoZXI+CiAgPHB1YmxpY2F0aW9uWWVhcj4yMDA2PC9wdWJsaWNhdGlvblllYXI+CiAgPHN1YmplY3RzPgogICAgPHN1YmplY3QgeG1sOmxhbmc9ImVuIiBzdWJqZWN0U2NoZW1lPSJhclhpdiI+Q29tcHV0YXRpb25hbCBDb21wbGV4aXR5IChjcy5DQyk8L3N1YmplY3Q+CiAgICA8c3ViamVjdCB4bWw6bGFuZz0iZW4iIHN1YmplY3RTY2hlbWU9ImFyWGl2Ij5JbmZvcm1hdGlvbiBUaGVvcnkgKGNzLklUKTwvc3ViamVjdD4KICAgIDxzdWJqZWN0IHN1YmplY3RTY2hlbWU9IkZpZWxkcyBvZiBTY2llbmNlIGFuZCBUZWNobm9sb2d5IChGT1MpIj5GT1M6IENvbXB1dGVyIGFuZCBpbmZvcm1hdGlvbiBzY2llbmNlczwvc3ViamVjdD4KICA8L3N1YmplY3RzPgogIDxkYXRlcz4KICAgIDxkYXRlIGRhdGVUeXBlPSJTdWJtaXR0ZWQiIGRhdGVJbmZvcm1hdGlvbj0idjEiPjIwMDYtMDktMThUMDU6MDA6MzlaPC9kYXRlPgogICAgPGRhdGUgZGF0ZVR5cGU9IlVwZGF0ZWQiIGRhdGVJbmZvcm1hdGlvbj0idjEiPjIwMDktMTItMDFUMDg6MDE6NDBaPC9kYXRlPgogICAgPGRhdGUgZGF0ZVR5cGU9IlN1Ym1pdHRlZCIgZGF0ZUluZm9ybWF0aW9uPSJ2MiI+MjAwNi0xMS0yOVQwMjozODowNlo8L2RhdGU+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iVXBkYXRlZCIgZGF0ZUluZm9ybWF0aW9uPSJ2MiI+MjAwOS0xMi0wMVQwODowMTo0MFo8L2RhdGU+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iQXZhaWxhYmxlIiBkYXRlSW5mb3JtYXRpb249InYxIj4yMDA2LTA5PC9kYXRlPgogIDwvZGF0ZXM+CiAgPHJlc291cmNlVHlwZSByZXNvdXJjZVR5cGVHZW5lcmFsPSJQcmVwcmludCI+QXJ0aWNsZTwvcmVzb3VyY2VUeXBlPgogIDx2ZXJzaW9uPjI8L3ZlcnNpb24+CiAgPHJpZ2h0c0xpc3Q+CiAgICA8cmlnaHRzIHJpZ2h0c1VSST0iaHR0cDovL2FyeGl2Lm9yZy9saWNlbnNlcy9hc3N1bWVkLTE5OTEtMjAwMy8iPkFzc3VtZWQgYXJYaXYub3JnIHBlcnBldHVhbCwgbm9uLWV4Y2x1c2l2ZSBsaWNlbnNlIHRvIGRpc3RyaWJ1dGUgdGhpcyBhcnRpY2xlIGZvciBzdWJtaXNzaW9ucyBtYWRlIGJlZm9yZSBKYW51YXJ5IDIwMDQ8L3JpZ2h0cz4KICA8L3JpZ2h0c0xpc3Q+CiAgPGRlc2NyaXB0aW9ucz4KICAgIDxkZXNjcmlwdGlvbiBkZXNjcmlwdGlvblR5cGU9IkFic3RyYWN0Ij5UaGlzIHBhcGVyIGV4YW1pbmVzIGluZm9ybWF0aW9uLXRoZW9yZXRpYyBxdWVzdGlvbnMgcmVnYXJkaW5nIHRoZSBkaWZmaWN1bHR5IG9mIGNvbXByZXNzaW5nIGRhdGEgdmVyc3VzIHRoZSBkaWZmaWN1bHR5IG9mIGRlY29tcHJlc3NpbmcgZGF0YSBhbmQgdGhlIHJvbGUgdGhhdCBpbmZvcm1hdGlvbiBsb3NzIHBsYXlzIGluIHRoaXMgaW50ZXJhY3Rpb24uIEZpbml0ZS1zdGF0ZSBjb21wcmVzc2lvbiBhbmQgZGVjb21wcmVzc2lvbiBhcmUgc2hvd24gdG8gYmUgb2YgZXF1aXZhbGVudCBkaWZmaWN1bHR5LCBldmVuIHdoZW4gdGhlIGRlY29tcHJlc3NvcnMgYXJlIGFsbG93ZWQgdG8gYmUgbG9zc3kuCiAgSW5zcGlyZWQgYnkgS29sbW9nb3JvdiBjb21wbGV4aXR5LCB0aGlzIHBhcGVyIGRlZmluZXMgdGhlIG9wdGltYWwgKmRlY29tcHJlc3Npb24gKnJhdGlvIGFjaGlldmFibGUgb24gYW4gaW5maW5pdGUgc2VxdWVuY2UgYnkgZmluaXRlLXN0YXRlIGRlY29tcHJlc3NvcnMgKHRoYXQgaXMsIGZpbml0ZS1zdGF0ZSB0cmFuc2R1Y2VycyBvdXRwdXR0aW5nIHRoZSBzZXF1ZW5jZSBpbiBxdWVzdGlvbikuIEl0IGlzIHNob3duIHRoYXQgdGhlIG9wdGltYWwgY29tcHJlc3Npb24gcmF0aW8gYWNoaWV2YWJsZSBvbiBhIHNlcXVlbmNlIFMgYnkgYW55ICppbmZvcm1hdGlvbiBsb3NzbGVzcyogZmluaXRlIHN0YXRlIGNvbXByZXNzb3IsIGtub3duIGFzIHRoZSBmaW5pdGUtc3RhdGUgZGltZW5zaW9uIG9mIFMsIGlzIGVxdWFsIHRvIHRoZSBvcHRpbWFsIGRlY29tcHJlc3Npb24gcmF0aW8gYWNoaWV2YWJsZSBvbiBTIGJ5IGFueSBmaW5pdGUtc3RhdGUgZGVjb21wcmVzc29yLiBUaGlzIHJlc3VsdCBpbXBsaWVzIGEgbmV3IGRlY29tcHJlc3Npb24gY2hhcmFjdGVyaXphdGlvbiBvZiBmaW5pdGUtc3RhdGUgZGltZW5zaW9uIGluIHRlcm1zIG9mIGxvc3N5IGZpbml0ZS1zdGF0ZSB0cmFuc2R1Y2Vycy48L2Rlc2NyaXB0aW9uPgogICAgPGRlc2NyaXB0aW9uIGRlc2NyaXB0aW9uVHlwZT0iT3RoZXIiPldlIGZvdW5kIHRoYXQgVGhlb3JlbSAzLjExLCB3aGljaCB3YXMgYmFzaWNhbGx5IHRoZSBtb3RpdmUgZm9yIHRoaXMgcGFwZXIsIHdhcyBhbHJlYWR5IHByb3ZlbiBieSBTaGVpbndhbGQsIFppdiwgYW5kIExlbXBlbCBpbiAxOTkxIGFuZCAxOTk1IHBhcGVyczwvZGVzY3JpcHRpb24+CiAgPC9kZXNjcmlwdGlvbnM+CjwvcmVzb3VyY2U+","url":"https://arxiv.org/abs/cs/0609096","contentUrl":null,"metadataVersion":0,"schemaVersion":"http://datacite.org/schema/kernel-4","source":"mds","isActive":true,"state":"findable","reason":null,"viewCount":0,"viewsOverTime":[],"downloadCount":0,"downloadsOverTime":[],"referenceCount":0,"citationCount":0,"citationsOverTime":[],"partCount":0,"partOfCount":0,"versionCount":0,"versionOfCount":0,"created":"2022-03-16T22:33:13.000Z","registered":"2022-03-16T22:33:14.000Z","published":"2006","updated":"2022-03-16T22:33:14.000Z"},"relationships":{"client":{"data":{"id":"arxiv.content","type":"clients"}},"provider":{"data":{"id":"arxiv","type":"providers"}},"media":{"data":{"id":"10.48550/arxiv.cs/0609096","type":"media"}},"references":{"data":[]},"citations":{"data":[]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[]},"versionOf":{"data":[]}}}}