Tootfinder

New Bounds for the Ideal Proof System in Positive Characteristic
Amik Raj Behera, Nutan Limaye, Varun Ramanathan, Srikanth Srinivasan
https://arxiv.org/abs/2506.16397

New Bounds for the Ideal Proof System in Positive Characteristic
In this work, we prove upper and lower bounds over fields of positive characteristics for several fragments of the Ideal Proof System (IPS), an algebraic proof system introduced by Grochow and Pitassi (J. ACM 2018). Our results extend the works of Forbes, Shpilka, Tzameret, and Wigderson (Theory of Computing 2021) and also of Govindasamy, Hakoniemi, and Tzameret (FOCS 2022). These works primarily focused on proof systems over fields of characteristic $0$, and we are able to extend these results…

crossMoDA Challenge: Evolution of Cross-Modality Domain Adaptation Techniques for Vestibular Schwannoma and Cochlea Segmentation from 2021 to 2023
Navodini Wijethilake, Reuben Dorent, Marina Ivory, Aaron Kujawa, Stefan Cornelissen, Patrick Langenhuizen, Mohamed Okasha, Anna Oviedova, Hexin Dong, Bogyeong Kang, Guillaume Sall\'e, Luyi Han, Ziyuan Zhao, Han Liu, Tao Yang, Shahad Hardan, Hussain Alasmawi, Santosh Sanjeev, Yuzhou Zhuang, Satoshi Kondo, Maria Baldeon Calisto, Shaikh Muh…

crossMoDA Challenge: Evolution of Cross-Modality Domain Adaptation Techniques for Vestibular Schwannoma and Cochlea Segmentation from 2021 to 2023
The cross-Modality Domain Adaptation (crossMoDA) challenge series, initiated in 2021 in conjunction with the International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI), focuses on unsupervised cross-modality segmentation, learning from contrast-enhanced T1 (ceT1) and transferring to T2 MRI. The task is an extreme example of domain shift chosen to serve as a meaningful and illustrative benchmark. From a clinical application perspective, it aims to automate Ve…

cofe: Collaboration in Financial Economics (2021)
Network of authors and commenters of papers in finantial economics, obtained from the acknowledgement sections of over 5,000 published research papers.
This network has 13967 nodes and 102039 edges.
Tags: Social, Directed, Weighted, Online, Collaboration
https://networks.ske…

To buy or not to buy: deterministic rent-or-buy problems on node-weighted graphs
Sander Borst, Moritz Venzin
https://arxiv.org/abs/2507.08698 https://

To buy or not to buy: deterministic rent-or-buy problems on node-weighted graphs
We study the rent-or-buy variant of the online Steiner forest problem on node- and edge-weighted graphs. For $n$-node graphs with at most $\bar{n}$ non-zero node-weights, and at most $\tilde{k}$ different arriving terminal pairs, we obtain a deterministic, $O(\log n \log \bar{n})$-competitive algorithm. This improves on the previous best, $O(\log^4 n)$-competitive algorithm obtained by the black-box reduction from (Bartal et al. 2021) combined with the previously best deterministic algorithms f…

Rota-Baxter operators on compact simple Lie groups and algebras
Saveliy V. Skresanov
https://arxiv.org/abs/2506.14324 https://arxiv.o…

Rota-Baxter operators on compact simple Lie groups and algebras
A Rota-Baxter operator on a Lie group $ G $ is a smooth map $ B : G \to G $ such that $ B(g)B(h) = B(gB(g)hB(g)^{-1}) $ for all $ g, h \in G $. This concept was introduced in 2021 by Guo, Lang and Sheng as a Lie group analogue of Rota-Baxter operators of weight 1 on Lie algebras. We show that the only Rota-Baxter operators on compact simple Lie groups are the trivial map and the inverse map. A similar description for Rota-Baxter operators of weight 1 on compact simple Lie algebras is provided.

Что нужно знать о порядочности Дурова:
Забанить канал координации кандидатов в России во время выборов — так точно, тов. майор! :blobcatsalute:
Забанить канал координации кандидатов в Румынии во время выборов — мы не позволим разрушать демократию. Твердо и четко! :blobancap:
https://t.me/durov_russia/34

For more than a century, putrid fumes emanated from
the “sewer of the Ruhr”,
creating a pungent whiff that assaulted towns throughout Germany’s industrial heartland.
But today, the Emscher bears little resemblance to Europe’s dirtiest river.
Water that used to be fouled by factory waste and human excrement have been free from effluent since 2021.
The river system, the main part of which was once considered biologically dead, is witnessing the return of an abun…

cofe: Collaboration in Financial Economics (2021)
Network of authors and commenters of papers in finantial economics, obtained from the acknowledgement sections of over 5,000 published research papers.
This network has 13967 nodes and 102039 edges.
Tags: Social, Directed, Weighted, Online, Collaboration
https://networks.ske…

Что нужно знать о порядочности Дурова:
Забанить канал координации кандидатов в России во время выборов — так точно, тов. майор! :blobcatsalute:
Забанить канал координации кандидатов в Румынии во время выборов — мы не позволим разрушать демократию. Твердо и четко! :blobancap:
https://t.me/durov_russia/34

cofe: Collaboration in Financial Economics (2021)
Network of authors and commenters of papers in finantial economics, obtained from the acknowledgement sections of over 5,000 published research papers.
This network has 13967 nodes and 102039 edges.
Tags: Social, Directed, Weighted, Online, Collaboration
https://networks.ske…