English
Related papers

Related papers: Some Consistent Power Constructions

200 papers

Expansions of the monadic second-order (MSO) theory of the structure $\langle \mathbb{N} ; < \rangle$ have been a fertile and active area of research ever since the publication of the seminal papers of B\"uchi and Elgot & Rabin on the…

Logic in Computer Science · Computer Science 2025-07-23 Joris Nieuwveld , Joël Ouaknine

Coherent states provide a natural connection of quantum systems to their classical limit and are employed in various fields of physics. Here we derive general systematic expansions, with respect to quantum parameters, of expectation values…

Quantum Physics · Physics 2015-08-13 John Schliemann

A power structure over a ring is a method to give sense to expressions of the form $(1+a_1t+a_2t^2+\ldots)^m$, where $a_i$, $i=1, 2,\ldots$, and $m$ are elements of the ring. The (natural) power structure over the Grothendieck ring of…

Algebraic Geometry · Mathematics 2017-05-19 Sabir M. Gusein-Zade , Ignacio Luengo , Alejandro Melle-Hernández

We explore a new connection between synthetic domain theory and Grothendieck topoi related to the distributive lattice classifier. In particular, all the axioms of synthetic domain theory (including the inductive fixed point object and the…

Logic in Computer Science · Computer Science 2025-05-20 Jonathan Sterling , Lingyuan Ye

In this article, we carry out the investigation for regular sequences of symmetric polynomials in the polynomial ring in three and four variable. Any two power sum element in $\mathbb{C}[x_1,x_2,...,x_n]$ for $n \geq 3$ always form a…

Commutative Algebra · Mathematics 2013-03-26 Neeraj Kumar , Ivan Martino

The connection between the supersymmetric quantum mechanics involving two-component eigenfunctions and the stability equation associated with two classical configurations is investigated, and a matrix superpotential is deduced. The issue of…

High Energy Physics - Theory · Physics 2011-07-28 G. S. Dias , E. L. Graça , R. de Lima Rodrigues

Through the use of a lattice U(1) Ward-Takahashi identity, one can find a precise definition of flux and electric four-current that does not rely on the continuum limit. The magnetic four-current defined for example by the DeGrand-Toussaint…

High Energy Physics - Lattice · Physics 2017-08-23 Richard W. Haymaker , Takayuki Matsuki

This paper develops a geometric framework for the stability analysis of differential inclusions governed by maximally monotone operators. A key structural decomposition expresses the operator as the sum of a convexified limit mapping and a…

Optimization and Control · Mathematics 2025-07-18 Hassan Saoud , Michel Théra , Minh N. Dao

We investigate the Cahn-Hilliard and the conserved Allen-Cahn equations with logarithmic type potential and conservative noise in a periodic domain. These features ensure that the order parameter takes its values in the physical range and,…

Analysis of PDEs · Mathematics 2023-09-11 Andrea Di Primio , Maurizio Grasselli , Luca Scarpa

A new class of regular quaternionic functions, defined by power series in a natural fashion, has been introduced in recent years. Several results of the theory recall the classical complex analysis, whereas other results reflect the…

Complex Variables · Mathematics 2011-02-15 G. Gentili , C. Stoppato

We denote by ${\rm Hess}^+$ the set of all points $p\in\mathbb{R}^n$ such that the Hessian matrix $H_p(f)$ of the $C^2$-smooth function $f:\mathbb{R}^n\longrightarrow\mathbb{R}$ is positive definite. In this paper we provide a class of…

Classical Analysis and ODEs · Mathematics 2022-01-19 Andi Brojbeanu , Cornel Pintea

In this paper we study the coefficients of the powers of an ordinary generating function and their properties. A new class of functions based on compositions of an integer $n$ is introduced and is termed composita. We present theorems about…

Combinatorics · Mathematics 2013-03-26 Vladimir V. Kruchinin , Dmitry V. Kruchinin

Striped Turing patterns and solitary band and disk structures are constructed using a three-variable multiscale model with cubic nonlinearity and global control. The existence and stability conditions of regular structures are analysed…

patt-sol · Physics 2009-10-30 L. M. Pismen

We establish a condition for the perturbative stability of zero energy nodal points in the quasi-particle spectrum of superconductors in the presence of coexisting \textit{commensurate} orders. The nodes are found to be stable if the…

Superconductivity · Physics 2008-01-29 E. Berg , C-C. Chen , S. A. Kivelson

Commutative totally ordered monoids abound, number systems for example. When the monoid is not assumed commutative, one may be hard pressed to find an example. One suggested by Professor Orr Shalit are the countable ordinals with addition.…

Logic · Mathematics 2020-06-02 Eliahu Levy

In two earlier papers we derived congruence formats with regard to transition system specifications for weak semantics on the basis of a decomposition method for modal formulas. The idea is that a congruence format for a semantics must…

Logic in Computer Science · Computer Science 2019-08-20 Wan Fokkink , Rob van Glabbeek , Bas Luttik

Scott continuity is a concept from domain theory that had an unexpected previous life in the theory of von Neumann algebras. Scott-continuous states are known as normal states, and normal states are exactly the states coming from density…

Logic in Computer Science · Computer Science 2020-05-04 Robert Furber

We study the equation $(x-4r)^3 + (x-3r)^3 + (x-2r)^3+(x-r)^3 + x^3 + (x+r)^3+(x+2r)^3 + (x+3r)^3 + (x+4r)^3 = y^p$, which is a natural continuation of previous works carried out by A. Arg\'{a}ez-Garc\'{i}a and the fourth author (perfect…

Number Theory · Mathematics 2023-09-20 Nirvana Coppola , Mar Curcó-Iranzo , Maleeha Khawaja , Vandita Patel , Özge Ülkem

We enrich the class of power-constructible functions, introduced in [CCRS23], to a class of algebras of functions which contains all complex powers of subanalytic functions, their parametric Mellin and Fourier transforms, and which is…

Classical Analysis and ODEs · Mathematics 2024-12-04 Raf Cluckers , Georges Comte , Tamara Servi

We derive explicit formulas for the normal ordering of powers of arbitrary monomials of boson operators. These formulas lead to generalisations of conventional Bell and Stirling numbers and to appropriate generalisations of the Dobinski…

Quantum Physics · Physics 2007-05-23 Karol A. Penson , Allan I. Solomon