Zobrazeno 1 - 10
of 28 067
pro vyhledávání: '"Frenkel A"'
We examine the Einstein-Cartan (EC) theory in first-order form, which has a diffeomorphism as well as a local Lorentz invariance. We study the renormalizability of this theory in the framework of the Batalin-Vilkovisky formalism, which allows for a g
Externí odkaz:
http://arxiv.org/abs/2409.10493
First-order logic has been established as an important tool for modeling and verifying intricate systems such as distributed protocols and concurrent systems. These systems are parametric in the number of nodes in the network or the number of threads
Externí odkaz:
http://arxiv.org/abs/2408.10685
We define a relational notion of a subsystem in theories of matrix quantum mechanics and show how the corresponding entanglement entropy can be given as a minimisation, exhibiting many similarities to the Ryu-Takayanagi formula. Our construction brin
Externí odkaz:
http://arxiv.org/abs/2408.05274
This paper introduces a novel computational approach for analyzing nonverbal social behavior in educational settings. Integrating multimodal behavioral cues, including facial expressions, gesture intensity, and spatial dynamics, the model assesses th
Externí odkaz:
http://arxiv.org/abs/2407.17209
Autor:
Frenkel, Alexander
We propose a simple connection between matrix quantum mechanics and tensor networks. This allows us to imbue tensor networks with some interesting additional structure. The geometry of the graph describing the tensor network state is determined dynam
Externí odkaz:
http://arxiv.org/abs/2407.16753
Autor:
Owen, Cameron J., Marcella, Nicholas, O'Connor, Christopher R., Kim, Taek-Seung, Shimogawa, Ryuichi, Xie, Clare Yijia, Nuzzo, Ralph G., Frenkel, Anatoly I., Reece, Christian, Kozinsky, Boris
Supported metal nanoparticle (NP) catalysts are vital for the sustainable production of chemicals, but their design and implementation are limited by the ability to identify and characterize their structures and atomic sites that are correlated with
Externí odkaz:
http://arxiv.org/abs/2407.13643
Autor:
Bencze, Tamás, Frenkel, Péter E.
We introduce the triangulant of two matrices, and relate it to the existence of orthogonal eigenvectors. We also use it for a new characterization of mutually unbiased bases. Generalizing the notion, we introduce higher order triangulants of two matr
Externí odkaz:
http://arxiv.org/abs/2406.13421
Autor:
Linares-Barranco, Alejandro, Prono, Luciano, Lengenstein, Robert, Indiveri, Giacomo, Frenkel, Charlotte
With the rise of artificial intelligence, neural network simulations of biological neuron models are being explored to reduce the footprint of learning and inference in resource-constrained task scenarios. A mainstream type of such networks are spiki
Externí odkaz:
http://arxiv.org/abs/2405.12849
Publikováno v:
Computer Aided Verification: 36th International Conference, CAV 2024, Proceedings, Part III, Lecture Notes in Computer Science, vol 14683, Springer
We present an automata-based algorithm to synthesize omega-regular causes for omega-regular effects on executions of a reactive system, such as counterexamples uncovered by a model checker. Our theory is a generalization of temporal causality, which
Externí odkaz:
http://arxiv.org/abs/2405.10912
This paper lays a practical foundation for using abstract interpretation with an abstract domain that consists of sets of quantified first-order logic formulas. This abstract domain seems infeasible at first sight due to the complexity of the formula
Externí odkaz:
http://arxiv.org/abs/2405.10308