相关论文: Generating Compatibility Conditions in Mathematica…
The paper presents an interesting mathematical feedback between the formalism of coherent states and the field of integrals and integral representations involving special functions. This materializes through an easy and fast method to…
In this article we formally define and investigate the computational complexity of the Definability Problem for open first-order formulas (i.e., quantifier free first-order formulas) with equality. Given a logic $\mathbf{\mathcal{L}}$, the…
In a previous paper [gr-qc/0104001; Class. Quant. Grav. 18 (2001) 3595-3610] we have shown that the occurrence of curved spacetime ``effective Lorentzian geometries'' is a generic result of linearizing an arbitrary classical field theory…
A quasi-Hermitian operator is an operator that is similar to its adjoint in some sense, via a metric operator, i.e., a strictly positive self-adjoint operator. Whereas those metric operators are in general assumed to be bounded, we analyze…
Compile-pass rate is the dominant evaluation signal for LLM code generation, yet for multi-component domain-specific artifacts it can be actively misleading. We demonstrate this on executable game scene synthesis with a four-axis evaluation…
For the inclusion problem involving two maximal monotone operators, under the metric subregularity of the composite operator, we derive the linear convergence of the generalized proximal point algorithm and several splitting algorithms,…
A general form factor formula for the scaling Z(N)-Ising model is constructed. Exact expressions for matrix elements are obtained for several local operators. In addition, the commutation rules for order, disorder parameters and para-Fermi…
The \emph{Continuity Problem} is the question whether effective operators are continuous, where an effective operator $F$ is a function on a space of constructively given objects $x$, defined by mapping construction instructions for $x$ to…
This article gives a comprehensive description of the fractal geometry of conformally-invariant (CI) scaling curves, in the plane or half-plane. It focuses on deriving critical exponents associated with interacting random paths, by…
Coherence is a central issue in category theory and multicategory theory, ensuring that formally distinct compositions of morphisms, such as tensor reorderings or diagrammatic rewiring, represent the same underlying transformation. In…
Many programming languages and tools, ranging from grep to the Java String library, contain regular expression matchers. Rather than first translating a regular expression into a deterministic finite automaton, such implementations…
We study compositions of a positive integer $n$ in which the occurrence of even parts larger than a fixed threshold $k$ is controlled. More precisely, for each composition $m=(m_1,\dots,m_r)$ we consider the number of even parts strictly…
In this letter, we describe a very general procedure to obtain a causal fit of the permittivity of materials from experimental data with very few parameters. Unlike other closed forms proposed in the literature, the particularity of this…
Recently, using conditioning approaches on the high-harmonic generation process induced by intense laser-atom interactions, we have developed a new method for the generation of optical Schr\"odinger cat states (M. Lewenstein et al.,…
We present a systematic introduction to first-order optimality conditions for mathematical programs with equilibrium constraints (MPECs), emphasizing the limitations of classical nonlinear programming techniques. The goal is twofold. First,…
We explore the necessary conditions for 1-form symmetries to emerge in the long-distance limit when they are explicitly broken at short distances. A minimal requirement is that there exist operators which become topological at long…
We study the satisfiability problem of symbolic finite automata and decompose it into the satisfiability problem of the theory of the input characters and the monadic second-order theory of the indices of accepted words. We use our…
The topology of spaces of Hermitian operators in $C^n$ with non-simple spectra was studied by V.Arnold in a relation with the theory of adiabatic connections and the quantum Hall effect. The natural filtration of these spaces by the sets of…
We consider the class of integral operators $Q_\f$ on $L^2(\R_+)$ of the form $(Q_\f f)(x)=\int_0^\be\f (\max\{x,y\})f(y)dy$. We discuss necessary and sufficient conditions on $\phi$ to insure that $Q_{\phi}$ is bounded, compact, or in the…
The parameterized complexity of a problem is considered "settled" once it has been shown to lie in FPT or to be complete for a class in the W-hierarchy or a similar parameterized hierarchy. Several natural parameterized problems have,…