Telegram Group & Telegram Channel
#матлог #учёба #спецсеминар

Kolmogorov seminar on complexity (for receive the zoom link, please email [email protected])

Ball, Liu, Mazor and Pass [BLMP23] proved that the existence of key-agreement protocols is equivalent to a certain estimate of interactive Kolmogorov complexity being in ioBPP. In the previous talk we stated the problem, explained that this estimation problem is decidable, and proved the backward impliciation (in the contra-positive, breaking a specific protocol provides an ioBPP algorithm for the estimation problem). In this talk we will briefly repeat everything and prove the forward implication (again in the contra-positive, with an ioBPP algorithm of the estimation problem we can break each protocol).

Notes: https://arxiv.org/pdf/2504.16311
The previous talk: https://www.youtube.com/watch?v=D1GdCXak0Nw

ВК



group-telegram.com/msu_mathlog/229
Create:
Last Update:

#матлог #учёба #спецсеминар

Kolmogorov seminar on complexity (for receive the zoom link, please email [email protected])

Ball, Liu, Mazor and Pass [BLMP23] proved that the existence of key-agreement protocols is equivalent to a certain estimate of interactive Kolmogorov complexity being in ioBPP. In the previous talk we stated the problem, explained that this estimation problem is decidable, and proved the backward impliciation (in the contra-positive, breaking a specific protocol provides an ioBPP algorithm for the estimation problem). In this talk we will briefly repeat everything and prove the forward implication (again in the contra-positive, with an ioBPP algorithm of the estimation problem we can break each protocol).

Notes: https://arxiv.org/pdf/2504.16311
The previous talk: https://www.youtube.com/watch?v=D1GdCXak0Nw

ВК

BY Кафедра математической логики и теории алгоритмов мехмата МГУ


Warning: Undefined variable $i in /var/www/group-telegram/post.php on line 260

Share with your friend now:
group-telegram.com/msu_mathlog/229

View MORE
Open in Telegram


Telegram | DID YOU KNOW?

Date: |

Perpetrators of these scams will create a public group on Telegram to promote these investment packages that are usually accompanied by fake testimonies and sometimes advertised as being Shariah-compliant. Interested investors will be asked to directly message the representatives to begin investing in the various investment packages offered. One thing that Telegram now offers to all users is the ability to “disappear” messages or set remote deletion deadlines. That enables users to have much more control over how long people can access what you’re sending them. Given that Russian law enforcement officials are reportedly (via Insider) stopping people in the street and demanding to read their text messages, this could be vital to protect individuals from reprisals. Some privacy experts say Telegram is not secure enough The Security Service of Ukraine said in a tweet that it was able to effectively target Russian convoys near Kyiv because of messages sent to an official Telegram bot account called "STOP Russian War." Apparently upbeat developments in Russia's discussions with Ukraine helped at least temporarily send investors back into risk assets. Russian President Vladimir Putin said during a meeting with his Belarusian counterpart Alexander Lukashenko that there were "certain positive developments" occurring in the talks with Ukraine, according to a transcript of their meeting. Putin added that discussions were happening "almost on a daily basis."
from us


Telegram Кафедра математической логики и теории алгоритмов мехмата МГУ
FROM American