Related papers: The interpolant existence problem for weak K4 and …
The problem of existence of solutions to nabla differential equations and nabla differential inclusions on time scales is considered. Under a special form of the set-valued constraint map, sufficient conditions for the existence of at least…
A mathematical model for collision-induced breakage is considered. Existence of weak solutions to the continuous nonlinear collision-induced breakage equation is shown for a large class of unbounded collision kernels and daughter…
We investigate rough differential equations with a time-dependent reflecting lower barrier, where both the driving (rough) path and the barrier itself may have jumps. Assuming the driving signals allow for Young integration, we provide…
We extend Newton and Lagrange interpolation to arbitrary dimensions. The core contribution that enables this is a generalized notion of non-tensorial unisolvent nodes, i.e., nodes on which the multivariate polynomial interpolant of a…
In this article we study the estimation of bifurcation coefficients in nonlinear branching problems by means of Rayleigh-Ritz approximation to the eigenvectors of the corresponding linearized problem. It is essential that the approximations…
In this paper, we critically examine Deng's "P=NP" [Den24]. The paper claims that there is a polynomial-time algorithm that decides 3-coloring for graphs with vertices of degree at most 4, which is known to be an NP-complete problem. Deng…
We consider the game-theoretic approach to time-inconsistent stopping of a one-dimensional diffusion where the time-inconsistency is due to the presence of a non-exponential (weighted) discount function. In particular, we study (weak)…
We present a Hermite interpolation problem via splines of odd-degree which, to the best knowledge of the authors, has not been considered in the literature on interpolation via odd-degree splines. In this new interpolation problem, we…
In this article, we prove the existence of at least two positive weak solutions for a mixed local-nonlocal singular problem in the presence of critical exponential nonlinearity in dimension two. The novelty of this work is the inclusion of…
Reasoning with minimal models has always been at the core of many knowledge representation techniques, but we still have only a limited understanding of this problem in Description Logics (DLs). Minimization of some selected predicates,…
We study a coupled kinetic-non-Newtonian fluid system on the periodic domain ${\mathbb T}^3$, where particles evolve by a Vlasov equation and interact with an incompressible power-law fluid through a drag force. We prove the global…
In order to make argumentation-based inference contestable, it is crucial to explain what changes can achieve a desired (instead of the contested) inference result. To this end, we introduce strength change explanations for quantitative…
We prove existence of global weak solutions for the Nernst-Planck-Poisson problem which describes the evolution of concentrations of charged species $X_1, ..., X_P$ subject to Fickian diffusion and chemical reactions in the presence of an…
We generalize the approach of Carlier (2001) and provide an existence proof for the multidimensional screening problem with general nonlinear preferences. We first formulate the principal's problem as a maximization problem with…
In this paper we study the Cauchy problem for one multidimensional compressible nonlocal model of the dissipative quasi-geostrophic equations. First, we obtain the local existence and uniqueness of the smooth non-negative solution or the…
IV-matching is a generalization of perfect bipartite matching. The complexity of finding IV-matching in a graph was posted as an open problem at the ICALP 2014 conference. In this note, we resolve the question and prove that, contrary to…
In this paper, we investigate the existence of weak solutions for a class of degenerate elliptic Dirichlet problems with critical nonlinearity and a logarithmic perturbation
Let C subset Reg be a non-empty class (of regular cardinal). Then the logic L(Q^{cf}_C) has additional nice properties: it has homogeneous model existence property.
We have recently presented a general method of proving the fundamental logical properties of Craig and Lyndon Interpolation (IPs) by induction on derivations in a wide class of internal sequent calculi, including sequents, hypersequents,…
Proving proof-size lower bounds for $\mathbf{LK}$, the sequent calculus for classical propositional logic, remains a major open problem in proof complexity. We shed new light on this challenge by isolating the power of structural rules,…