Related papers: Conservation theorems for the Cohesiveness Princip…
This work investigates preserving and reversing unimodality and convexity properties for sequences under transformations defined by sign-regular kernels. It is shown that these transformations only preserve these properties if the kernels…
We consider the follow-the-leader particle approximation scheme for a $1d$ scalar conservation law with nonnegative $L^\infty_c$ initial datum and with a $C^1$ concave flux, which is known to provide convergence towards the entropy solution…
A cornerstone of the theory of cohomology jump loci is the Tangent Cone theorem, which relates the behavior around the origin of the characteristic and resonance varieties of a space. We revisit this theorem, in both the algebraic setting…
General coherence theorems are constructed that yield explicit presentations of categorical and algebraic objects. The categorical structures involved are finitary discrete Lawvere 2-theories, though they are approached within the language…
By the Cole-Hopf transformation, with any linear evolution equation in 1+1 dimensions a generalized Burgers equation is associated. We describe local conservation laws of these equations. It turns out that any generalized Burgers equation…
We prove that in a compact manifold of dimension $n\geq 2$, a $C^{1+\alpha}$ volume-preserving diffeomorphisms that are robustly transitive in the $C^1$-topology have a dominated splitting. Also we prove that for 3-dimensional compact…
The classical homomorphism preservation theorem, due to {\L}o\'s, Lyndon and Tarski, states that a first-order sentence $\phi$ is preserved under homomorphisms between structures if, and only if, it is equivalent to an existential positive…
The connection between symmetries and conservation laws as made by Noether's theorem is extended to the context of causal variational principles and causal fermion systems. Different notions of continuous symmetries are introduced. It is…
Hirst investigated a slight variant of Hindman's Finite Sums Theorem -- called Hilbert's Theorem -- and proved it equivalent over $\RCA_0$ to the Infinite Pigeonhole Principle for all colors. This gave the first example of a natural…
We prove that a class of monotone, \emph{$W_1$-contractive} schemes for scalar conservation laws converge at a rate of $\Delta x^2$ in the Wasserstein distance ($W_1$-distance), whenever the initial data is decreasing and consists of a…
We derive a lower bound for the Wehrl entropy in the setting of SU(1,1). For asymptotically high values of the quantum number k, this bound coincides with the analogue of the Lieb-Wehrl conjecture for SU(1,1) coherent states. The bound on…
We discuss counterexamples to the validity of the weak Maximum Principle for linear elliptic systems with zero and first order couplings and prove, through a suitable reduction to a nonlinear scalar equation, a quite general result showing…
We study local conservation laws of variable coefficient diffusion-convection equations of the form $f(x)u_t=(g(x)A(u)u_x)_x+h(x)B(u)u_x$. The main tool of our investigation is the notion of equivalence of conservation laws with respect to…
In his book, John Stillwell wrote "finding the exact strength of the Brouwer invariance theorems seems to me one of the most interesting open problems in reverse mathematics." In this article, we solve Stillwell's problem by showing that…
This paper continues to study the connection between reverse mathematics and Weihrauch reducibility. In particular, we study the problems formed from Maltsev's theorem on the order types of countable ordered groups. Solomon showed that the…
We study the reverse mathematics and computability-the\-o\-re\-tic strength of (stable) Ramsey's Theorem for pairs and the related principles COH and DNR. We show that SRT$^2_2$ implies DNR over RCA$_0$ but COH does not, and answer a…
We demonstrate that the Weihrauch lattice can be used to classify the uniform computational content of computability-theoretic properties as well as the computational content of theorems in one common setting. The properties that we study…
We analyze the pointwise convergence of a sequence of computable elements of L^1(2^omega) in terms of algorithmic randomness. We consider two ways of expressing the dominated convergence theorem and show that, over the base theory RCA_0,…
We derive a new sufficient condition for the existence of {\omega}-categorical universal structures in classes of relational structures with constraints, augmenting results by Cherlin, Shelah, Chi, and Hubi\v{c}ka and Ne\v{s}et\v{r}il.…
In some models involving nonlinear conservation laws, physical mechanisms exist which prevent the formation of shocks. This gives rise to conservation laws with a constraint on the gradient of the solution. We approach this problem by…