Zobrazeno 1 - 10
of 4 427
pro vyhledávání: '"P Lichter"'
We study the refutation complexity of graph isomorphism in the tree-like resolution calculus. Tor\'an and W\"orz (TOCL 2023) showed that there is a resolution refutation of narrow width $k$ for two graphs if and only if they can be distinguished in (
Externí odkaz:
http://arxiv.org/abs/2407.17947
Autor:
Lichter, Moritz, Pago, Benedikt
We show that various known algorithms for finite-domain constraint satisfaction problems (CSP), which are based on solving systems of linear equations over the integers, fail to solve all tractable CSPs correctly. The algorithms include $\mathbb{Z}$-
Externí odkaz:
http://arxiv.org/abs/2407.09097
Autor:
Gal, Rinon, Lichter, Or, Richardson, Elad, Patashnik, Or, Bermano, Amit H., Chechik, Gal, Cohen-Or, Daniel
Recent advancements in diffusion models have introduced fast sampling methods that can effectively produce high-quality images in just one or a few denoising steps. Interestingly, when these are distilled from existing diffusion models, they often ma
Externí odkaz:
http://arxiv.org/abs/2404.03620
Jupyter Notebook is an interactive development environment commonly used for rapid experimentation of machine learning (ML) solutions. Describing the ML activities performed along code cells improves the readability and understanding of Notebooks. Ma
Externí odkaz:
http://arxiv.org/abs/2403.07562
The Weisfeiler-Leman dimension of a graph $G$ is the least number $k$ such that the $k$-dimensional Weisfeiler-Leman algorithm distinguishes $G$ from every other non-isomorphic graph. The dimension is a standard measure of the descriptive complexity
Externí odkaz:
http://arxiv.org/abs/2402.11531
Autor:
Siegmann, Daniel, Edzards, Frank, Bruch, Christina, Biassoni, Matteo, Carminati, Marco, Descher, Martin, Fiorini, Carlo, Forstner, Christian, Gavin, Andrew, Gugiatti, Matteo, Hiller, Roman, Hinz, Dominic, Houdy, Thibaut, Huber, Anton, King, Pietro, Lechner, Peter, Lichter, Steffen, Mießner, Danilo, Nava, Andrea, Onillon, Anthony, Radford, David C., Spreng, Daniela, Steidl, Markus, Trigilio, Paolo, Urban, Korbinian, Vénos, Drahos, Wolf, Joachim, Mertens, Susanne
Publikováno v:
2024 J. Phys. G: Nucl. Part. Phys. 51 085202
Sterile neutrinos in the keV mass range present a viable candidate for dark matter. They can be detected through single $\beta$ decay, where they cause small spectral distortions. The Karlsruhe Tritium Neutrino (KATRIN) experiment aims to search for
Externí odkaz:
http://arxiv.org/abs/2401.14114
The $k$-dimensional Weisfeiler-Leman ($k$-WL) algorithm is a simple combinatorial algorithm that was originally designed as a graph isomorphism heuristic. It naturally finds applications in Babai's quasipolynomial time isomorphism algorithm, practica
Externí odkaz:
http://arxiv.org/abs/2308.11970
Abramsky, Dawar, and Wang (2017) introduced the pebbling comonad for k-variable counting logic and thereby initiated a line of work that imports category theoretic machinery to finite model theory. Such game comonads have been developed for various l
Externí odkaz:
http://arxiv.org/abs/2308.05693
We prove new upper and lower bounds on the number of iterations the $k$-dimensional Weisfeiler-Leman algorithm ($k$-WL) requires until stabilization. For $k \geq 3$, we show that $k$-WL stabilizes after at most $O(kn^{k-1}\log n)$ iterations (where $
Externí odkaz:
http://arxiv.org/abs/2301.13317
Publikováno v:
BMC Psychiatry, Vol 24, Iss 1, Pp 1-15 (2024)
Abstract Background Motor alterations and lowered physical activity are common in affective disorders. Previous research has indicated a link between depressive symptoms and declining muscle strength primarily focusing on the elderly but not younger
Externí odkaz:
https://doaj.org/article/05fca6f84cd649a2a22e5f7945a1c0c4