English
Related papers

Related papers: Non-Numerical Weakly Relational Domains

200 papers

Modern distributed systems often rely on so called weakly-consistent databases, which achieve scalability by sacrificing the consistency guarantee of distributed transaction processing. Such databases have been formalised in two different…

Logic in Computer Science · Computer Science 2017-08-02 Andrea Cerone , Alexey Gotsman , Hongseok Yang

We consider networks of infinite-dimensional port-Hamiltonian systems $\mathfrak{S}_i$ on one-dimensional spatial domains. These subsystems of port-Hamiltonian type are interconnected via boundary control and observation and are allowed to…

Analysis of PDEs · Mathematics 2020-07-14 Björn Augner

We introduce a notion of a weak Poisson structure on a manifold $M$ modeled on a locally convex space. This is done by specifying a Poisson bracket on a subalgebra $\cA \subeq C^\infty(M)$ which has to satisfy a non-degeneracy condition…

Differential Geometry · Mathematics 2014-02-28 K. -H. Neeb , H. Sahlmann , T. Thiemann

The weak convergence of orthogonal polynomials is given under conditions on the asymptotic behaviour of the coefficients in the three-term recurrence relation. The results generalize known results and are applied to several systems of…

Classical Analysis and ODEs · Mathematics 2016-09-06 Walter Van Assche

Weak superimposed codes are combinatorial structures related closely to generalized cover-free families, superimposed codes, and disjunct matrices in that they are only required to satisfy similar but less stringent conditions. This class…

Information Theory · Computer Science 2024-09-17 Yu Tsunoda , Yuichiro Fujiwara

The space of Sobolev connections, as it has been introduced for studying the variation of Yang-Mills Lagrangian in the critical dimension $4$, happens not to be weakly sequentially complete in dimension larger than $4$. This is a major…

Differential Geometry · Mathematics 2018-12-12 Mircea Petrache , Tristan Rivière

We construct Green's functions for divergence form, second order parabolic systems in non-smooth time-varying domains whose boundaries are locally represented as graph of functions that are Lipschitz continuous in the spatial variables and…

Analysis of PDEs · Mathematics 2014-09-25 Hongjie Dong , Seick Kim

So-called fragile topological states of matter challenge our conventional notion of topology by lacking the robustness typically associated with topological protection, thereby displaying elusive manifestations that are difficult to harness…

Materials Science · Physics 2025-01-30 Pegah Azizi , Siddhartha Sarkar , Kai Sun , Stefano Gonella

We extend the idea of weak measurements to the general case, provide a complete treatment and obtain results for both the regime when the pre-selected and post-selected states (PPS) are almost orthogonal and the regime when they are exactly…

Quantum Physics · Physics 2015-03-17 Shengjun Wu , Yang Li

This paper studies the complexity of distributed construction of purely additive spanners in the CONGEST model. We describe algorithms for building such spanners in several cases. Because of the need to simultaneously make decisions at far…

Data Structures and Algorithms · Computer Science 2016-07-20 Keren Censor-Hillel , Telikepalli Kavitha , Ami Paz , Amir Yehudayoff

We consider the leading-order expression at weak-coupling for a single-site large-N gauge theory coupled to adjoint fermions. We study the case of overlap and wilson fermions. We extend the theory to real values of the number of fermion…

High Energy Physics - Lattice · Physics 2013-06-26 Robert Lohmayer , Rajamani Narayanan

This paper is concerned with the characterizations of quasi self-adjoint extensions of a class of formally non-self-adjoint discrete Hamiltonian systems. Some properties of the solutions and the characterization of the minimal linear…

Spectral Theory · Mathematics 2025-12-11 Guojing Ren , Guixin Xu

Control design for linear, time-invariant mechanical systems typically requires an accurate low-order approximation in the low frequency range. For example a series expansion of the transfer function around zero consisting of a mass,…

Optimization and Control · Mathematics 2024-05-02 Hans Zwart , Daniël W. M. Veldman , Sahar F. Sharifi

We characterize simply connected John domains in the plane with the aid of weak tangents of the boundary. Specifically, we prove that a bounded simply connected domain $D$ is a John domain if and only if, for every weak tangent $Y$ of…

Complex Variables · Mathematics 2026-02-24 Christina Karafyllia

We develop finite element exterior calculus over weakly Lipschitz domains. Specifically, we construct commuting projections from $L^p$ de~Rham complexes over weakly Lipschitz domains onto finite element de~Rham complexes. These projections…

Numerical Analysis · Mathematics 2016-12-09 Martin Werner Licht

Worst-case optimal join algorithms have gained a lot of attention in the database literature. We now count with several algorithms that are optimal in the worst case, and many of them have been implemented and validated in practice.…

Databases · Computer Science 2020-01-10 Gonzalo Navarro , Juan L. Reutter , Javiel Rojas-Ledesma

We give a concrete sufficient condition for a simply-connected domain to be the image of the unit disk under a nonexpansive conformal map. This class of domains is also characterized by having sufficiently dense harmonic measure. The…

Complex Variables · Mathematics 2018-07-10 Leonid V. Kovalev

In this work we consider higher dimensional thin domains with the property that both boundaries, bottom and top, present oscillations of weak type. We consider the Laplace operator with Neumann boundary conditions and analyze the behavior…

Analysis of PDEs · Mathematics 2024-05-10 José M. Arrieta , Manuel Villanueva-Pesqueira

A vast variety of biological, social, and economical networks shows topologies drastically differing from random graphs; yet the quantitative characterization remains unsatisfactory from a conceptual point of view. Motivated from the…

Molecular Networks · Quantitative Biology 2010-03-11 Jens Christian Claussen

We establish well posedness of the Poisson problem in weak local John domains, for linear second order elliptic equations with real coefficients, and with data in weighted Lebesgue spaces with a very broad range of acceptable parameters.

Analysis of PDEs · Mathematics 2026-03-24 Ariel Barton , Svitlana Mayboroda , Alberto Pacati