English
Related papers

Related papers: Generating Compatibility Conditions in Mathematica…

200 papers

Machine Learning (ML) provides important techniques for classification and predictions. Most of these are black-box models for users and do not provide decision-makers with an explanation. For the sake of transparency or more validity of…

Machine Learning · Computer Science 2021-02-26 Léonard Kwuida , Dmitry I. Ignatov

By a theorem of Gordon and Hedenmalm, $\varphi$ generates a bounded composition operator on the Hilbert space $\mathscr{H}^2$ of Dirichlet series $\sum_n b_n n^{-s}$ with square-summable coefficients $b_n$ if and only if $\varphi(s)=c_0…

Functional Analysis · Mathematics 2015-02-23 Hervé Queffélec , Kristian Seip

The present essay aims at investigating whether and how far an algebraic analysis of the Zeta Function and of the Riemann Hypothesis can be carried out. Of course the well-established properties of the Zeta Function, explored in depth in…

Number Theory · Mathematics 2015-04-27 Michele Fanelli , Alberto Fanelli

This paper is one of a series of papers on coherent spaces and their applications, defined in the recent book 'Coherent Quantum Mechanics' by the first author. The paper studies coherent quantization -- the way operators in the quantum…

Mathematical Physics · Physics 2022-02-08 Arnold Neumaier , Arash Ghaani Farashahi

A topological space $A$ is said to be compatible with a set $\Sigma$ of equations (involving operation symbols $F_t$) iff there are continuous operations $\overline F_t$ identically satisfying $\Sigma$ on $A$. The paper's main focus is on…

Rings and Algebras · Mathematics 2014-02-18 Walter Taylor

Correctness conditions for concurrent objects describe how atomicity of an abstract sequential object may be decomposed. Many different concurrent objects and proof methods for them have been developed. However, arguments about correctness…

Logic in Computer Science · Computer Science 2016-06-08 Brijesh Dongol , Lindsay Groves

We discuss several methods to produce superpositions of optical coherent states (also known as "cat states"). Cat states have remarkable properties that could allow them to be powerful tools for quantum information processing and metrology.…

Quantum Physics · Physics 2009-11-13 S. Glancy , H. M. Vasconcelos

We give examples of composition operators $C\_\Phi$ on $H^2 (\D^2)$ showing that the condition $\|\Phi \|\_\infty = 1$ is not sufficient for their approximation numbers $a\_n (C\_\Phi)$ to satisfy $\lim\_{n \to \infty} [a\_n (C\_\Phi)…

Functional Analysis · Mathematics 2018-03-05 Daniel Li , Hervé Queffélec , Luis Rodríguez-Piazza

Operator-ordering in quantum cosmology is a major as-yet unsettled ambiguity with not only formal but also physical consequences. We determine the Lagrangian origin of the conformal invariance that underlies the conformal operator-ordering…

General Relativity and Quantum Cosmology · Physics 2010-04-30 Edward Anderson

We analyze a class of mean-field (MF) lattice-fermion Hamiltonians and construct the corresponding grand-canonical density operator for such system. New terms are introduced, which may be interpreted as local fugacities, molecular fields,…

Strongly Correlated Electrons · Physics 2009-09-01 Jakub Jȩdrak , Jozef Spałek

We are interested in the problem of characterizing the correlations that arise when performing local measurements on separate quantum systems. In a previous work [Phys. Rev. Lett. 98, 010401 (2007)], we introduced an infinite hierarchy of…

Quantum Physics · Physics 2009-01-16 Miguel Navascues , Stefano Pironio , Antonio Acin

Conformal symmetry heavily constrains the dynamics of non-relativistic quantum gases tuned to a nearby quantum critical point. One important consequence of this symmetry is that entropy production can be absent in far away from equilibrium…

Quantum Gases · Physics 2024-04-25 Jeff Maki , Fei Zhou

We investigate a generalization of stacks that we call $\mathcal{C}$-machines. We show how this viewpoint rapidly leads to functional equations for the classes of permutations that $\mathcal{C}$-machines generate, and how these systems of…

Combinatorics · Mathematics 2018-01-30 Michael H. Albert , Cheyne Homberger , Jay Pantone , Nathaniel Shar , Vincent Vatter

It is known that first-order logic with some counting extensions can be efficiently evaluated on graph classes with bounded expansion, where depth-$r$ minors have constant density. More precisely, the formulas are $\exists x_1 ... x_k \#y…

Logic in Computer Science · Computer Science 2023-07-06 Jan Dreier , Daniel Mock , Peter Rossmanith

It is shown that the standard formulation of quantum mechanics in terms of Hermitian Hamiltonians is overly restrictive. A consistent physical theory of quantum mechanics can be built on a complex Hamiltonian that is not Hermitian but…

Quantum Physics · Physics 2008-12-18 Carl M. Bender , Dorje C. Brody , Hugh F. Jones

Fault-tolerant quantum error correction is a necessity for any quantum architecture destined to tackle interesting, large-scale problems. Its theoretical formalism has been well founded for nearly two decades. However, we still do not have…

Quantum Physics · Physics 2017-05-02 Alexandru Paler , Ilia Polian , Kae Nemoto , Simon J. Devitt

We study conformal symmetry breaking differential operators which map differential forms on $\mathbb{R}^n$ to differential forms on a codimension one subspace $\mathbb{R}^{n-1}$. These operators are equivariant with respect to the conformal…

Differential Geometry · Mathematics 2022-03-28 M. Fischmann , A. Juhl , P. Somberg

Symmetric fix-free codes are prefix condition codes in which each codeword is required to be a palindrome. Their study is motivated by the topic of joint source-channel coding. Although they have been considered by a few communities they…

Information Theory · Computer Science 2012-11-13 S. M. Hossein Tabatabaei Yazdi , Serap A. Savari

The fixed-template constraint satisfaction problem (CSP) can be seen as the problem of deciding whether a given primitive positive first-order sentence is true in a fixed structure (also called model). We study a class of problems that…

Computational Complexity · Computer Science 2022-05-11 Kristina Asimi , Libor Barto , Silvia Butti

We revisit the study of the emptiness formation probability, the probability of forming a sequence of $\ell$ spins with the same ferromagnetic orientation in the ground-state of a quantum spin chain. We focus on two different examples,…

Statistical Mechanics · Physics 2014-05-21 Jean-Marie Stéphan