Tootfinder

Full Line Code Completion: Bringing AI to Desktop
Anton Semenkin, Vitaliy Bibaev, Yaroslav Sokolov, Kirill Krylov, Alexey Kalina, Anna Khannanova, Danila Savenkov, Darya Rovdo, Igor Davidenko, Kirill Karnaukhov, Maxim Vakhrushev, Mikhail Kostyukov, Mikhail Podvitskii, Petr Surkov, Yaroslav Golubev, Nikita Povarov, Timofey Bryksin
https://

Resolution Over Linear Equations: Combinatorial Games for Tree-like Size and Space
Svyatoslav Gryaznov, Sergei Ovcharov, Artur Riazanov
https://arxiv.org/abs/2404.08370

Resolution Over Linear Equations: Combinatorial Games for Tree-like Size and Space
We consider the proof system Res($\oplus$) introduced by Itsykson and Sokolov (Ann. Pure Appl. Log.'20), which is an extension of the resolution proof system and operates with disjunctions of linear equations over $\mathbb{F}_2$. We study characterizations of tree-like size and space of Res($\oplus$) refutations using combinatorial games. Namely, we introduce a class of extensible formulas and prove tree-like size lower bounds on it using Prover-Delayer games, as well as space lower bounds. T…

SambaNova SN40L: Scaling the AI Memory Wall with Dataflow and Composition of Experts
Raghu Prabhakar, Ram Sivaramakrishnan, Darshan Gandhi, Yun Du, Mingran Wang, Xiangyu Song, Kejie Zhang, Tianren Gao, Angela Wang, Karen Li, Yongning Sheng, Joshua Brot, Denis Sokolov, Apurv Vivek, Calvin Leung, Arjun Sabnis, Jiayu Bai, Tuowen Zhao, Mark Gottscho, David Jackson, Mark Luttrell, Manish K. Shah, Edison Chen, Kaizhao Liang, Swayambhoo Jain, Urmish Thakker, Dawei Huang, Sumti Jairath, Kevin …

Russia detains Novaya Gazeta EIC Sergei Sokolov for allegedly discrediting Russian army; he became EIC in 2023 after Dmitry Muratov was named a "foreign agent" (Associated Press)
https://apnews.com/article/russia-media…

Editor of top independent Russian newspaper fined for allegedly discrediting military
The editor-in-chief of the renowned Russian independent newspaper Novaya Gazeta was detained and later fined 30,000 rubles ($329) after being accused of discrediting Russia’s armed forces. The newspaper says Sergei Sokolov was detained Thursday by officers from Russia’s Center for Combating Extremism. It says the charges — which are “administrative” and are usually punishable by a fine or a short prison sentence -– are related to material posted in the outlet’s Telegram channel. S…

Efficient Spin-Adapted Implementation of Multireference Algebraic Diagrammatic Construction Theory. I. Core-Ionized States and X-Ray Photoelectron Spectra
Carlos E. V. de Moura, Alexander Yu. Sokolov
https://arxiv.org/abs/2405.08161

#Navalny's Anti-Corruption Foundation has stated that the German and US governments had been negotiating with #russia for two years over a possible exchange of Navalny for Vadim #Sokolov, the assa…

Kurz vor Nawalnys Tod: Putin soll Angebot für Gefangenenaustausch erhalten haben
Fast zwei Jahre gab es laut Alexej Nawalnys Stiftung Verhandlungen, um den Oppositionellen freizubekommen. Zuletzt soll ein Austausch gegen den Tiergartenmörder im Gespräch gewesen sein. Kurz vor Nawalnys Tod sei Moskau ein Angebot übermittelt worden.

Has anyone seen Sokolov or heard anything about which position he will have now? It puzzles me that serious sources keep reporting on his firing without addressing the question of him being reported dead since September.
From: @…

Hanse Mina (@hanse_mina@mastodon.social)
Attached: 1 image Latest Defence Intelligence update on the situation in Ukraine – 18 February 2024. #Ukraine #Russia #UK #IntelligenceUpdate

#Navalny's Anti-Corruption Foundation has stated that the German and US governments had been negotiating with #russia for two years over a possible exchange of Navalny for Vadim #Sokolov, the assa…

Kurz vor Nawalnys Tod: Putin soll Angebot für Gefangenenaustausch erhalten haben
Fast zwei Jahre gab es laut Alexej Nawalnys Stiftung Verhandlungen, um den Oppositionellen freizubekommen. Zuletzt soll ein Austausch gegen den Tiergartenmörder im Gespräch gewesen sein. Kurz vor Nawalnys Tod sei Moskau ein Angebot übermittelt worden.

Search for a $\mu^ \mu^-$ resonance in four-muon final states at Belle II
Collaboration, Adachi, Adamczyk, Aggarwal, Ahmed, Aihara, Akopov, Aloisio, Ky, Asner, Atmacan, Aushev, Aversano, Ayad, Babu, Bae, Bahinipati, Bambade, Banerjee, Bansal, Barrett, Baudot, Baur, Beaubien, Becherer, Becker, Bennett, Bernlochner, Bertacchi, Bertemes, Bertholet, Bessner, Bettarini, Bhuyan, Bianchi, Bilka, Bilokin, Biswas, Bobrov, Bodrov, Bolz, Bozek, Bra\v{c}ko, Branchini, Browder, Budano, Bussino, Campajola, Cao, Casarosa, Cecchi, Cerasoli, Chang, Chang, Cheaib, Cheema, Cheon, Chilikin, Chirapatpimol, Cho, Cho, Cho, Choi, Choudhury, Corona, Cremaldi, Das, Dattola, De La Cruz-Burelo, De La Motte, De Nardo, De Nuccio, De Pietro, de Sangro, Destefanis, Dhamija, Di Canto, Di Capua, Dingfelder, Dole\v{z}al, Dong, Dorigo, Dort, Dreyer, Dubey, Dujany, Ecker, Eliachevitch, Epifanov, Feichtinger, Ferber, Ferlewicz, Fillinger, Finck, Finocchiaro, Fodor, Forti, Frey, Fulsom, Gabrielli, Ganiev, Garcia-Hernandez, Garg, Gaudino, Gaur, Gaz, Gellrich, Ghevondyan, Ghosh, Ghumaryan, Giakoustidis, Giordano, Giri, Glazov, Gobbo, Godang, Gogota, Goldenzweig, Gradl, Grammatico, Graziani, Greenwald, Gruberov\'a, Gu, Gudkova, Halder, Han, Hara, Hayashii, Hazra, Hearty, Hedges, Heidelbach, de la Cruz, Villanueva, Higuchi, Hoek, Hohmann, Horak, Hsu, Humair, Iijima, Inguglia, Ipsita, Ishikawa, Itoh, Iwasaki, Jackson, Jacobs, Jang, Ji, Jia, Jin, Joo, Junkerkalefeld, Kalita, Kandra, Kang, Karyan, Kawasaki, Keil, Kiesling, Kim, Kim, Kim, Kim, Kindo, Kinoshita, Kody\v{s}, Koga, Kohani, Kojima, Korobov, Korpar, Kovalenko, Kowalewski, Kraetzschmar, Kri\v{z}an, Krokovny, Kuhr, Kumar, Kumar, Kumar, Kumara, Kunigo, Kuzmin, Kwon, Lacaprara, Lai, Lam, Lanceri, Lange, Laurenza, Lautenbach, Leboucher, Le Diberder, Lee, Levit, Lewis, Li, Li, Li, Li, Libby, Liu, Liu, Liu, Liventsev, Longo, Lueck, Lyu, Ma, Maggiora, Maharana, Maiti, Maity, Mancinelli, Manfredi, Manoni, Mantovano, Marcantonio, Marcello, Marinas, Martel, Martellini, Martini, Martinov, Massaccesi, Masuda, Matsuoka, Matvienko, Maurya, McKenna, Mehta, Meier, Merola, Metzner, Milesi, Miller, Mirra, Miyabayashi, Miyake, Mizuk, Mohanty, Molina-Gonzalez, Mondal, Moneta, Moser, Mrvar, Mussa, Nakamura, Nakao, Nakazawa, Charan, Naruki, Narwal, Natkaniec, Natochii, Nayak, Nayak, Nazaryan, Niebuhr, Nishida, Ogawa, Onishchuk, Ono, Onuki, Oskin, Otani, Pakhlova, Panta, Pardi, Parham, Park, Park, Paschen, Passeri, Patra, Paul, Pedlar, Peschke, Pestotnik, Piccolo, Piilonen, Angioni, Podesta-Lerma, Podobnik, Pokharel, Praz, Prell, Prencipe, Prim, Purwar, Rados, Raeuber, Raiz, Rauls, Reif, Reiter, Remnev, Ripp-Baudot, Rizzo, Robertson, Roehrken, Roney, Rostomyan, Rout, Russo, Sanders, Sandilya, Santelj, Sato, Savinov, Scavino, Schmitt, Schwanda, Schwickardi, Seino, Selce, Senyo, Serrano, Sevior, Sfienti, Shan, Shen, Shi, Shillington, Shimasaki, Shiu, Shtol, Sibidanov, Simon, Singh, Skorupa, Sobie, Sobotzik, Soffer, Sokolov, Solovieva, Spataro, Spruck, Stari\v{c}, Stavroulakis, Stefkova, Stroili, Sumihama, Sumisawa, Sutcliffe, Svidras, Takizawa, Tamponi, Tanaka, Tanida, Tenchini, Tittel, Tiwary, Tonelli, Torassa, Trabelsi, Tsaklidis, Uchida, Ueda, Unger, Unno, Uno, Uno, Urquijo, Ushiroda, Vahsen, van Tonder, Varvell, Veronesi, Vinokurova, Vismaya, Vitale, Vobbilisetti, Volpe, Wach, Wakai, Wallner, Wang, Wang, Wang, Wang, Warburton, Watanuki, Wessel, Won, Xu, Yabsley, Yamada, Yan, Yang, Yelton, Yin, Yoshihara, Yuan, Yusa, Zani, Zhang, Zhilich, Zhou, Zhou, Zhukova
https://arxiv.org/abs/2403.02841 https://arxiv.org/pdf/2403.02841
arXiv:2403.02841v1 Announce Type: new
Abstract: We report on a search for a resonance $X$ decaying to a pair of muons in $e^{ }e^{-}\rightarrow \mu^ \mu^- X$ events in the 0.212-9.000 GeV/$c^{2}$ mass range, using 178 fb$^{-1}$ of data collected by the BelleII experiment at the SuperKEKB collider at a center of mass energy of 10.58 GeV. The analysis probes two different models of $X$ beyond the standard model: a $Z^{\prime}$ vector boson in the $L_{\mu}-L_{\tau}$ model and a muonphilic scalar. We observe no evidence for a signal and set exclusion limits at the 90\% confidence level on the products of cross section and branching fraction for these processes, ranging from 0.046 fb to 0.97 fb for the $L_{\mu}-L_{\tau}$ model and from 0.055 fb to 1.3 fb for the muonphilic scalar model. For masses below 6 GeV/$c^{2}$, the corresponding constraints on the couplings of these processes to the standard model range from 0.0008 to 0.039 for the $L_{\mu}-L_{\tau}$ model and from 0.0018 to 0.040 for the muonphilic scalar model. These are the first constraints on the muonphilic scalar from a dedicated search.

Engineering of a Layered Ferromagnet via Graphitization: An Overlooked Polymorph of GdAlSi
Dmitry V. Averyanov, Ivan S. Sokolov, Alexander N. Taldenkov, Oleg E. Parfenov, Konstantin V. Larionov, Pavel B. Sorokin, Oleg A. Kondratev, Andrey M. Tokmachev, Vyacheslav G. Storchak
https://arxiv.org/abs/2403.03735

Engineering of a Layered Ferromagnet via Graphitization: An Overlooked Polymorph of GdAlSi
Layered magnets are stand-out materials because of their range of functional properties that can be controlled by external stimuli. Regretfully, the class of such compounds is rather narrow, prompting the search for new members. Graphitization - stabilization of layered graphitic structures in the 2D limit - is being discussed for cubic materials. We suggest the phenomenon to extend beyond cubic structures; it can be employed as a viable route to a variety of layered materials. Here, the idea o…

Quantifying spin contamination in algebraic diagrammatic construction theory of electronic excitations
Terrence L. Stahl, Alexander Yu. Sokolov
https://arxiv.org/abs/2403.06241

Quantifying spin contamination in algebraic diagrammatic construction theory of electronic excitations
Algebraic diagrammatic construction (ADC) is a computationally efficient approach for simulating excited electronic states, absorption spectra, and electron correlation. Due to their origin in perturbation theory, the single-reference ADC methods may be susceptible to spin contamination when applied to molecules with unpaired electrons. In this work, we develop an approach to quantify spin contamination in the ADC calculations of electronic excitations and apply it to a variety of open-shell mo…

Nanoscale single-electron box with a floating lead for quantum sensing: modelling and device characterization
Nikolaos Petropoulos, Xutong Wu, Andrii Sokolov, Panagiotis Giounanlis, Imran Bashir, Mike Asker, Dirk Leipold, Andrew K. Mitchell, Robert B. Staszewski, Elena Blokhina
https://arxiv.org/abs/2404.15002

Nanoscale single-electron box with a floating lead for quantum sensing: modelling and device characterization
We present an in-depth analysis of a single-electron box (SEB) biased through a floating node technique that is common in charge-coupled devices (CCDs). The device is analyzed and characterized in the context of single-electron charge-sensing techniques for integrated silicon quantum dots (QD). The unique aspect of our SEB design is the incorporation of a metallic floating node, strategically employed for sensing and precise injection of electrons into an electrostatically formed QD. To analyse…

On machine learning analysis of atomic force microscopy images for image classification, sample surface recognition
Igor Sokolov
https://arxiv.org/abs/2403.16230

On machine learning analysis of atomic force microscopy images for image classification, sample surface recognition
Atomic force microscopy (AFM or SPM) imaging is one of the best matches with machine learning (ML) analysis among microscopy techniques. The digital format of AFM images allows for direct utilization in ML algorithms without the need for additional processing. Additionally, AFM enables the simultaneous imaging of distributions of over a dozen different physicochemical properties of sample surfaces, a process known as multidimensional imaging. While this wealth of information can be challenging …

Controllable suppression of the unconventional superconductivity in bulk and thin-film Sr$_{2}$RuO$_{4}$ via high-energy electron irradiation
Jacob P. Ruf, Hilary M. L. Noad, Romain Grasset, Ludi Miao, Elina Zhakina, Philippa H. McGuinness, Hari P. Nair, Nathaniel J. Schreiber, Naoki Kikugawa, Dmitry Sokolov, Marcin Konczykowski, Darrell G. Schlom, Kyle M. Shen, Andrew P. Mackenzie

Controllable suppression of the unconventional superconductivity in bulk and thin-film Sr$_{2}$RuO$_{4}$ via high-energy electron irradiation
In bulk Sr$_{2}$RuO$_{4}$, the strong sensitivity of the superconducting transition temperature $T_{\text{c}}$ to nonmagnetic impurities provides robust evidence for a superconducting order parameter that changes sign around the Fermi surface. In superconducting epitaxial thin-film Sr$_{2}$RuO$_{4}$, the relationship between $T_{\text{c}}$ and the residual resistivity $ρ_0$, which in bulk samples is taken to be a proxy for the low-temperature elastic scattering rate, is far less clear. Using h…

Synthetic active liquid crystals powered by acoustic waves
Andrey Sokolov, Jaideep Katuri, Juan J. de Pablo, Alexey Snezko
https://arxiv.org/abs/2403.17268

Synthetic active liquid crystals powered by acoustic waves
Active nematics are materials composed of mobile, elongated particles that can transform energy from the environment into a mechanical motion. Current experimental realizations of the active nematics are of biological origin and include cell layers, suspensions of elongated bacteria in liquid crystal, and combinations of bio-filaments with molecular motors. Here, we report the realization of a fully synthetic active nematic system comprised of a lyotropic chromonic liquid crystal energized by u…

Consistent Second-Order Treatment of Spin-Orbit Coupling and Dynamic Correlation in Quasidegenerate N-Electron Valence Perturbation Theory
Rajat Majumder, Alexander Yu. Sokolov
https://arxiv.org/abs/2404.04716

Consistent Second-Order Treatment of Spin-Orbit Coupling and Dynamic Correlation in Quasidegenerate N-Electron Valence Perturbation Theory
We present a formulation and implementation of second-order quasidegenerate N-electron valence perturbation theory (QDNEVPT2) that provides a balanced and accurate description of spin-orbit coupling and dynamic correlation effects in multiconfigurational electronic states. In our approach, the energies and wavefunctions of electronic states are computed by treating electron repulsion and spin-orbit coupling operators as equal perturbations to the non-relativistic complete active-space wavefunct…

On an infinite commuting ODE system associated to a simple Lie algebra
Di Yang, Cheng Zhang, Zejun Zhou
https://arxiv.org/abs/2404.16458 https://

On an infinite commuting ODE system associated to a simple Lie algebra
Inspired by a recent work of Dubrovin [7], for each simple Lie algebra $\mathfrak{g}$, we introduce an infinite family of pairwise commuting ODEs and define their $τ$-functions. We show that these $τ$-functions can be identified with the $τ$-functions for the Drinfeld--Sokolov hierarchy of $\mathfrak{g}$-type. Explicit examples for $\mathfrak{g}=A_1$ and $A_2$ are provided, which are connected to the KdV hierarchy and the Boussinesq hierarchy respectively.

Determination of the dynamic Young's modulus of quantum materials in piezoactuator-driven uniaxial pressure cells using a low-frequency a.c. method
Caitlin I. O'Neil, Zhenhai Hu, Naoki Kikugawa, Dmitry A. Sokolov, Andrew P. Mackenzie, Hilary M. L. Noad, Elena Gati
https://arxiv.org/abs/2403.17519

Determination of the dynamic Young's modulus of quantum materials in piezoactuator-driven uniaxial pressure cells using a low-frequency a.c. method
We report on a new technique for measuring the dynamic Young's modulus, $E$, of quantum materials at low temperatures as a function of static tuning strain, $ε$, in piezoactuator-driven pressure cells. In addition to a static tuning of stress and strain, we apply a small-amplitude, finite-frequency a.c. (1 Hz$ \lesssim ω\lesssim $1000 Hz) uniaxial stress, $σ_{ac}$, to the sample and measure the resulting a.c. strain, $ε_{ac}$, using a capacitive sensor to obtain the associated modulus $E$. …

Simulating Transient X-ray Photoelectron Spectra of Fe(CO)5 and Its Photodissociation Products With Multireference Algebraic Diagrammatic Construction Theory
Nicholas P. Gaba, Carlos E. V. de Moura, Rajat Majumder, Alexander Yu. Sokolov
https://arxiv.org/abs/2402.15599