Related papers: A Finite Expression Method for Solving High-Dimens…
The Iterated Perturbation Theory (IPT) equations of the Dynamical Mean Field Theory (DMFT) for the half-filled Hubbard model, are solved on nearly real frequencies at various values of the Hubbard parameters $U$, to investigate the nature…
Multiparty session types are designed to abstractly capture the structure of communication protocols and verify behavioural properties. One important such property is progress, i.e., the absence of deadlock. Distributed algorithms often…
Modeling interactions between features improves the performance of machine learning solutions in many domains (e.g. recommender systems or sentiment analysis). In this paper, we introduce Exponential Machines (ExM), a predictor that models…
Randomized higher-order computation can be seen as being captured by a lambda calculus endowed with a single algebraic operation, namely a construct for binary probabilistic choice. What matters about such computations is the probability of…
We present a new method based on functional tensor decomposition and dynamic tensor approximation to compute the solution of a high-dimensional time-dependent nonlinear partial differential equation (PDE). The idea of dynamic approximation…
A classic result of Lenstra [Math.~Oper.~Res.~1983] says that an integer linear program can be solved in fixed-parameter tractable (FPT) time for the parameter being the number of variables. We extend this result by incorporating…
The problem of makespan optimal solving of cooperative path finding (CPF) is addressed in this paper. The task in CPF is to relocate a group of agents in a non-colliding way so that each agent eventually reaches its goal location from the…
We study the problem of estimating the value function of discrete-time switched systems under arbitrary switching. Unlike the switched LQR problem, where both inputs and mode sequences are optimized, we consider the case where switching is…
The conception of the conformal phase transiton (CPT), which is relevant for the description of non-perturbative dynamics in gauge theories, is introduced and elaborated. The main features of such a phase transition are established. In…
In this work we develop an alternative approach for solution of Quantum Trajectories using the Path Integral method. The state-of-the-art technique in the field is to solve a set of non-linear, coupled partial differential equations (PDEs)…
Pendry and MacKinnon meaningful discretization of Maxwell's equations was put forward specifically as part of a finite-element numerical algorithm. By contrast with a numerical approach, in the same spirit evoked by the relationships…
A well-studied continuous model of graphs considers each edge as a continuous unit-length interval of points. In the problem $\delta$-Tour defined within this model, the objective to find a shortest tour that comes within a distance of…
We study the trajectories of a solution $X_t$ to an It\^o stochastic differential equation in $\Rm^d$, as the process passes between two disjoint open sets, $A$ and $B$. These segments of the trajectory are called transition paths or…
Despite the broad use of fixed-point iterations throughout applied mathematics, the optimal convergence rate of general fixed-point problems with nonexpansive nonlinear operators has not been established. This work presents an acceleration…
Approximation Fixpoint Theory (AFT) is a powerful theory covering various semantics of non-monotonic reasoning formalisms in knowledge representation such as Logic Programming and Answer Set Programming. Many semantics of such non-monotonic…
For an infinite Toeplitz matrix $T$ with nonnegative real entries we find the conditions, under which the equation $\boldsymbol{x}=T\boldsymbol{x}$, where $\boldsymbol{x}$ is an infinite vector-column, has a nontrivial bounded positive…
Path integrals have played a fundamental role in emphasizing the profound analogies between Quantum Field Theory (QFT), and Classical as well as Quantum Statistical Physics. Ideas coming from Statistical Physics have then led to a deeper…
To date the most precise estimations of the critical exponent for the Anderson transition have been made using the transfer matrix method. This method involves the simulation of extremely long quasi one-dimensional systems. The method is…
The control flow graph (CFG) representation of a procedure used by virtually all flow-sensitive program analyses, admits a large number of infeasible control flow paths i.e., these paths do not occur in any execution of the program. Hence…
Phase diagrams chart material properties with respect to one or more external or internal parameters such as pressure or magnetisation; as such, they play a fundamental role in many theoretical and applied fields of science. In this work,…