Related papers: Realizing arbitrarily large spectra of $\mathfrak{…
The article proposes a new technique for proving the undefinability of logical connectives through each other and illustrates the technique with several examples. Some of the obtained results are new proofs of the existing theorems, others…
Multi-dimensional complex optical potentials with partial parity-time (PT) symmetry are proposed. The usual PT symmetry requires that the potential is invariant under complex conjugation and simultaneous reflection in all spatial…
We use pseudodifferential calculus and heat kernel techniques to prove a conjecture by Chamseddine and Connes on rationality of the coefficients of the polynomials in the cosmic scale factor $a(t)$ and its higher derivatives, which describe…
Results on the spectral behavior of random matrices as the dimension increases are applied to the problem of detecting the number of sources impinging on an array of sensors. A common strategy to solve this problem is to estimate the…
In this paper, we investigate the possibility of improvement of the widely-used filtering algorithm for the linear constraints in constraint satisfaction problems in the presence of the alldifferent constraints. In many cases, the fact that…
The well-known trigonometric Scarf potential is generalized by adding a sinusoidal term and then treated using the Asymptotic Iteration Method (AIM) and the Tridiagonal Representation Approach (TRA). The energy spectrum of the associated…
Spectral Tetris has proved to be a powerful tool for constructing sparse equal norm Hilbert space frames. We introduce a new form of Spectral Tetris which works for non-equal norm frames. It is known that this method cannot construct all…
We develop a systematic approach to construct novel completely solvable rational potentials. Second-order supersymmetric quantum mechanics dictates the latter to be isospectral to some well-studied quantum systems. $\cal PT$ symmetry may…
We develop an analytic perturbation theory for eigenvalues with finite multiplicities, embedded into the essential spectrum of a self-adjoint operator $H$. We assume the existence of another self-adjoint operator $A$ for which the family…
The paper aims at finding acyclic graphs under a given set of constraints. More specifically, given a propositional formula {\phi} over edges of a fixed-size graph, the objective is to find a model of {\phi} that corresponds to a graph that…
Given a complete local (Noetherian) ring $T$, we find necessary and sufficient conditions on $T$ such that there exists a local domain $A$ with $|A| < |T|$ and $\widehat{A} = T$, where $\widehat{A}$ denotes the completion of $A$ with…
It is shown that perfect absorption and giant amplification can be realized when a wave impinges on a special metamaterial layer with zero real parts of the permittivity and permeability. The imaginary parts of the permittivity and…
We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositions, unions, and transitive closures of transition…
Autoformalization has emerged as a term referring to the automation of formalization - specifically, the formalization of mathematics using interactive theorem provers (proof assistants). Its rapid development has been driven by progress in…
We give a short proof of the convergence to the boundary of Riemann maps on varying domains. Our proof provides a uniform approach to several ad-hoc constructions that have recently appeared in the literature.
Due to the continuous developments in polarimetric instrumentation, which will become even more dramatic in the near future with the availability of new generation solar telescopes, we are now severely confronted with a variety of new…
We give a reformuation of the Tate conjecture for a surface over a finite field in terms of suitable affine open subsets. We then present three attempts to prove this reformulation, each of them falling short. Interestingly, the last two…
Fractional charges, and in particular the spectral asymmetry eta of certain Dirac operators, can appear in the central charge of supersymmetric field theories. This yields unexpected analyticity constraints on eta from which classic results…
We prove the automorphism conjecture for ordered sets of width less than or equal to 11. The proof supports the meta conjecture that a large number of automorphisms is achievable only as some type of product of independent automorphisms on…
We present a sufficient condition for irreducibility of forcing algebras and study the (non)-reducedness phenomenon. Furthermore, we prove a criterion for normality for forcing algebras over a polynomial base ring with coefficients in a…