Related papers: Iterated Priority Arguments in Descriptive Set The…
In this paper, we study the Hausdorff dimension of self-similar measures and sets on the real line, where the generating iterated function system consists of some maps that share the same fixed point. In particular, we will show that out of…
When working in Homotopy Type Theory and Univalent Foundations, the traditional role of the category of sets, Set, is replaced by the category hSet of homotopy sets (h-sets); types with h-propositional identity types. Many of the properties…
We establish a Liouville type theorem for the fractional Lane-Emden system: \begin{eqnarray*} \left\{\begin{array}{l@{\quad }l} (-\Delta)^\alpha u=v^q&{\rm in}\,\,\R^N,\\ (-\Delta)^\alpha v=u^p&{\rm in}\,\,\R^N, \end{array} \right.…
We tackle the issue of representing infinite sets of real- valued vectors. This paper introduces an operator for combining integer and real sets. Using this operator, we decompose three well-known logics extending Presburger with reals. Our…
In the present paper, we introduce a new family of $ \theta-$methods for solving delay differential equations. New methods are developed using a combination of decomposition technique viz. new iterative method proposed by Daftardar Gejji…
We prove explit formulas for the decomposition of a differential graded Lie algebra into a minimal and a linear $L_\infty$-algebra. We define a category of metric $L_\infty$-algebras, called Palamodov $L_\infty$ algebras, where the…
We develop a complete stability theory for two-dimensional periodic traveling waves of reaction-diffusion systems. More precisely, we identify a diffusive spectral stability assumption, prove that it implies nonlinear stability and provide…
We apply proof-theoretic techniques in answer Set Programming. The main results include: 1. A characterization of continuity properties of Gelfond-Lifschitz operator for logic program. 2. A propositional characterization of stable models of…
Axiomatizing mathematical structures and theories is an objective of Mathematical Logic. Some axiomatic systems are nowadays mere definitions, such as the axioms of Group Theory; but some systems are much deeper, such as the axioms of…
We introduce the notion of a real form of a Hamiltonian dynamical system in analogy with the notion of real forms for simple Lie algebras. This is done by restricting the complexified initial dynamical system to the fixed point set of a…
Recent developments in termination analysis for declarative programs emphasize the use of appropriate models for the logical theory representing the program at stake as a generic approach to prove termination of declarative programs. In…
We wish to understand how irreducible representations of a group G behave when restricted to a subgroup G' (the branching problem). Our primary concern is with representations of reductive Lie groups, which involve both algebraic and…
In this paper we present analytic tableau proof systems for various justification logics. We show that the tableau systems are sound and complete with respect to Mkrtychev models. In order to prove the completeness of the tableaux, we give…
We present a unitary approach to the construction of representations and intertwining operators. We apply it to the $C^*$-algebras, groups, Gabor type unitary systems and wavelets. We give an application of our method to the theory of…
The Stone-Weierstrass Theorem for compact Hausdorff spaces is a basic result of functional analysis with far-reaching consequences. We introduce an equational logic $\vDash_{\Delta}$ associated with an infinitary variety $\Delta$ and show…
We introduce discrete wave-front sets with respect to Fourier Lebesgue and modulation spaces. We prove that these wave-front sets agree with corresponding wave-front sets of "continuous type".
In this paper we construct full support character sheaves for stably graded Lie algebras. Conjecturally these are precisely the cuspidal character sheaves. Irreducible representations of Hecke algebras associated to complex reflection…
Machine learning has the potential to aid our understanding of phase structures in lattice quantum field theories through the statistical analysis of Monte Carlo samples. Available algorithms, in particular those based on deep learning,…
We present a study dealing with a novel phase reconstruction method based on iterated Hilbert transform embeddings. We show results for the Stuart-Landau oscillator observed by generic observables. The benefits for reconstruction of the…
For a field k$with an automorphism \sigma and a derivation \delta, we introduce the notion of liouvillian solutions of linear difference-differential systems {\sigma(Y) = AY, \delta(Y) = BY} over k and characterize the existence of…