Under the auspices of the Computational Complexity Foundation (CCF) REPORTS > DETAIL:

### Paper:

TR10-099 | 20th June 2010 11:20

#### A Note on Closure Properties of ModL TR10-099
Authors: T.C. Vijayaraghavan
Publication: 20th June 2010 15:55
Keywords:

Abstract:

Recently in [Vij09, Corollary 3.7] the complexity class ModL has been shown to be closed under complement assuming NL = UL. In this note we continue to show many other closure properties of ModL which include the following.

1. ModL is closed under $\leq ^L_m$ reduction, $\vee$(join) and $\leq ^{UL}_m$ reduction,
m reduction

2. ModL is closed under $\leq ^L_{1-tt}$ and $\leq ^{UL}_{1-tt}$ reduction assuming NL =
UL,

3. ModL$^{UL}$=ModL assuming UL=coUL,

4. $UL^{ModL}_{1-tt}$=$ModL^{UL}$=ModL assuming NL = UL,

5. if $l\in Z^{+}$ such that $l\geq 2$ and ModL is closed under $\leq ^L_{l-dtt}$ reduction then $Mod_kL\subseteq ModL$ for all $k\in Z^{+}$ such that $k\geq 6$ is a composite
number and $k$ has at least $2$ and at most $l$ distinct prime divisors, and

6. if ModL is closed under $\leq ^L_{dtt}$ reduction then $coC=L\subseteq ModL$.
Also using [Vij09, Corollary 3.7] we show that if NL = UL and ModL is closed under $\leq ^L_{ l-dtt} and$\leq ^L_{dtt}$reduction then ModL is also closed under$\leq ^L_{1-ctt}$and$\leq ^L_{ctt}$reduction respectively. We also show a proof of the well known result that the determinant of a matrix with entries in Z is computable in L-uniform TC1 from which it follows that ModL$\subseteq\$L-uniform TC1.

ISSN 1433-8092 | Imprint
{"ft_lang_label":"__label__en","ft_lang_prob":0.8719051,"math_prob":0.9991986,"size":1324,"snap":"2020-10-2020-16","text_gpt3_token_len":430,"char_repetition_ratio":0.17651515,"word_repetition_ratio":0.033492822,"special_character_ratio":0.3074018,"punctuation_ratio":0.07835821,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9996532,"pos_list":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"im_url_duplicate_count":[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-03-30T01:40:52Z\",\"WARC-Record-ID\":\"<urn:uuid:bc9e83ec-7497-4f37-a860-a290dcde8bb1>\",\"Content-Length\":\"20728\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:72eebabf-0dd7-4e07-8443-5d8de75d0aee>\",\"WARC-Concurrent-To\":\"<urn:uuid:b79a3fc3-930c-4f93-8b91-74b16abf667a>\",\"WARC-IP-Address\":\"132.77.150.87\",\"WARC-Target-URI\":\"https://eccc.weizmann.ac.il/report/2010/099/\",\"WARC-Payload-Digest\":\"sha1:XQ5DEI5CNOUX67HXM6PSPOAGBDDRMUPI\",\"WARC-Block-Digest\":\"sha1:IGRYIMJITXKTWJT3PBNXUVC3W5TB22LV\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-16/CC-MAIN-2020-16_segments_1585370496330.1_warc_CC-MAIN-20200329232328-20200330022328-00065.warc.gz\"}"}