Related papers: Doubly partially conservative sentences
Let $T$ be a tree. Suppose $\lambda$ is an eigenvalue of the Laplacian matrix of $T$ with multiplicity $m_{T}(\lambda)$. It is known that $m_{T}(\lambda) \leq p(T)-1$, where $p(T)$ is the number of pendant vertices of $T$. In this paper, we…
Let $N \ge 4$, $\Omega$ be a bounded domain in $\mathbb{R}^N$, and let $\Sigma \subset \Omega$ be a smooth closed submanifold of dimension $k$ with $2 \le k \le N-2$. We study the existence of positive solutions $u \in H_0^1(\Omega)$ to the…
The aim of this work is to extend and prove the Onsager conjecture for a class of conservation laws that possess generalized entropy. One of the main findings of this work is the "universality" of the Onsager exponent, $\alpha > 1/3$,…
We consider the periods of the linear congruential and the power generators modulo $n$ and, for fixed choices of initial parameters, give lower bounds that hold for ``most'' $n$ when $n$ ranges over three different sets: the set of primes,…
We consider the linear eigenvalue problem \tag{1} -u" = \lambda u, \quad \text{on $(-1,1)$}, where $\lambda \in \mathbb{R}$, together with the general multi-point boundary conditions \tag{2} \alpha_0^\pm u(\pm 1) + \beta_0^\pm u'(\pm 1) =…
We reconsider the mass spectrum of double sine-Gordon theory where recent semiclassical results called into question the previously accepted picture. We use the Truncated Conformal Space Approach (TCSA) to investigate the claims. We…
In this paper, we study the employment of $\Sigma_1$-sentences with certificates, i.e., $\Sigma_1$-sentences where a number of principles is added to ensure that the witness is sufficiently number-like. We develop certificates in some…
Answering a question by Honsell and Plotkin, we show that there are two equations between lambda terms, the so-called subtractive equations, consistent with lambda calculus but not simultaneously satisfied in any partially ordered model…
In this paper we consider the following problems: how many different subsets of Sigma^n can occur as set of all length-n factors of a finite word? If a subset is representable, how long a word do we need to represent it? How many such…
We introduce and study a notion of duality for two classes of optimization problems commonly occurring in probability theory. That is, on an abstract measurable space $(\Omega,\mathcal{F})$, we consider pairs $(E,\mathcal{G})$ where $E$ is…
We investigate sufficient conditions for the presence of coexistence states for different genotypes in a diploid diallelic population with dominance distributed on a heterogeneous habitat, considering also the interaction between genes at…
We continue here [She88] but we do not rely on it. The motivation was a conjecture of Galvin stating that 2^{omega} >= omega_2 + omega_2-> [omega_1]^{n}_{h(n)} is consistent for a suitable h: omega-> omega. In section 5 we disprove this and…
We present a forcing for blowing up 2^lambda and making ``many positive polarized partition relations'' (in a sense made precise in (c) of our main theorem) hold in the interval [lambda, 2^lambda]. This generalizes results of [276], Section…
In this Ph.D. thesis several topics in doubly special relativity are explored. The starting point of this theory is very different from other perspectives: it is not a fundamental theory, but it is considered a low energy limit of a quantum…
Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's…
Symmetries and conservation laws are studied for two classes of physically and analytically interesting radial wave equations with power nonlinearities in multi-dimensions. The results consist of two main classifications: all symmetries of…
Sums of $M$ consecutive squared integers $\left(a+i\right)^{2}$ equaling squared integers (for $a\geq1$, $0\leq i\leq M-1$) yield certain linear groupings of pairs $\left(a_{1},a_{2}\right)$ of $a$ values for successive same values of $M$…
Safety is a syntactic condition of higher-order grammars that constrains occurrences of variables in the production rules according to their type-theoretic order. In this paper, we introduce the safe lambda calculus, which is obtained by…
The algebraic lambda calculus and the linear algebraic lambda calculus are two extensions of the classical lambda calculus with linear combinations of terms. They arise independently in distinct contexts: the former is a fragment of the…
We discuss how the dual standard model and the dualised standard model are complementary theories. That is, how their implications have no overlap, whilst together they explain most features of the standard model. To illustrate how these…