Related papers: Trace and density results on regular trees

In this work, we study several properties of the normal Lebesgue trace of vector fields introduced by the second and third author in [22] in the context of the energy conservation for the Euler equations in Onsager-critical classes. Among…

This paper discusses the formalization of proofs "by diagram chasing", a standard technique for proving properties in abelian categories. We discuss how the essence of diagram chases can be captured by a simple many-sorted first-order…

We present a first-order theory of sequences with integer elements, Presburger arithmetic, and regular constraints, which can model significant properties of data structures such as arrays and lists. We give a decision procedure for the…

In this paper we characterize the trace spaces of a class of weighted function spaces of intersection type with mixed regularities. To a large extent we can overcome the difficulty of mixed scales by employing a microscopic improvement in…

We study first-order concatenation theory with bounded quantifiers. We give axiomatizations with interesting properties, and we prove some normal-form results. Finally, we prove a number of decidability and undecidability results.

Let $1 \leq d < D$ and $(p,q,s)$ satisfying $0 < p < \infty$, $0 < q \leq \infty$, $0 < s-d/p < \infty$. In this article we study the global and local regularity properties of traces, on affine subsets of $\R^D$, of functions belonging to…

We introduce two notions of convexity for an infinite regular tree. For these two notions we show that given a continuous boundary datum there exists a unique convex envelope on the tree and characterize the equation that this envelope…

In this work, we study the geodesics of the space of certain geometrically and physically motivated subspaces of the space of immersed curves endowed with a first order Sobolev metric. This includes elastic curves and also an extension of…

Motivated by manifold-constrained homogenization problems, we construct suitable extensions for Sobolev functions defined on a perforated domain and taking values in a compact, connected $C^2$-manifold without boundary. The proof combines a…

Motivated by a class of nonlinear equations of interest for string theory, we introduce Sobolev spaces on arbitrary locally compact abelian groups and we examine some of their properties. Specifically, we focus on analogs of the Sobolev…

Given a tree T, one can define the local mean at some subtree S to be the average order of subtrees containing S. It is natural to ask which subtree of order k achieves the maximal/minimal local mean among all the subtrees of the same order…

The classes of tree permutations and forest permutations were defined by Acan and Hitczenko (2016). We study random permutations of a given length from these classes, and in particular the number of occurrences of a fixed pattern in one of…

We prove a unified trace-average formula for the $k$-th higher trace $\lambda_k(A)=\operatorname{tr}(\Lambda^k A)$ of a linear operator $A$ on a finite-dimensional normed space. The formula averages the matrix coefficient…

We examine the fixed space of positive trace-preserving super-operators. We describe a specific structure that this space must have and what the projection onto it must look like. We show how these results, in turn, lead to an alternative…

We calculate the exact number of contours of size $n$ containing a fixed vertex in $d$-ary trees and provide sharp estimates for this number for more general trees. We also obtain a characterization of the locally finite trees with…

Phylogenetic trees constitute an interesting class of objects for stochastic processes due to the non-standard nature of the space they inhabit. In particular, many statistical applications require the construction of Markov processes on…

Here, we find the characteristics polynomial of normalized Laplacian of a tree. The coefficients of this polynomial are expressed by the higher order general Randi\'c indices for matching, whose values depend on the structure of the tree.…

Systems of parabolic, possibly degenerate parabolic SPDEs are considered. Existence and uniqueness are established in Sobolev spaces. Similar results are obtained for a class of equations generalizing the deterministic first order symmetric…

We study Sobolev type spaces defined in terms of sharp maximal functions on Ahlfors regular subsets of the Euclidean space and the relation between these spaces and traces of classical Sobolev spaces.

In this paper, first-order Sobolev-type spaces on abstract metric measure spaces are defined using the notion of (weak) upper gradients, where the summability of a function and its upper gradient is measured by the "norm" of a quasi-Banach…