Related papers: Higher Order Rigidity and Energy
The three-body force is indispensable in nuclear energy density functionals which leads to a density dependent two-body term in the Hartree-Fock approach. Usually a single factional power of density dependency has been adopted. We consider…
A folk theorem says higher order arithmetic has the proof theoretic strength of set theory with limited power set. This paper makes the theorem precise in terms of several axiom system based on ZF.
We know extensions of first order logic by quantifiers of the kind "there are uncountable many ...", "most ..." with new axioms and appropriate semantics. Related are operations such as "set of x, such that ...", Hilbert's…
It is shown that a compound elastic structure, which displays a dynamic instability, may be designed as the union (or 'fusion') of two structures which are stable when separately analyzed. The compound elastic structure has two degrees of…
We consider the unit ball $\Omega\subset \mathbb{R}^N$ ($N\ge2$) filled with two materials with different conductivities. We perform shape derivatives up to the second order to find out precise information about locally optimal…
We present a first exact study on higher-dimensional packing problems with order constraints. Problems of this type occur naturally in applications such as logistics or computer architecture and can be interpreted as higher-dimensional…
In this paper, we examined the viability bounds of a higher derivative $f(R,\Box R, T)$ theory through analyzing energy conditions (where $R$ and $T$ are the Ricci scalar and trace of energy momentum tensor, respectively). We take flat…
We introduce a new dependence order, termed the conditional convex order, whose minimal and maximal elements characterize independence and perfect dependence. Moreover, it characterizes conditional independence, satisfies information…
Deep reinforcement learning agents often exhibit erratic, high-frequency control behaviors that hinder real-world deployment due to excessive energy consumption and mechanical wear. We systematically investigate action smoothness…
The rigidity of a network of elastic beams crucially depends on the specific details of its structure. We show both numerically and theoretically that there is a class of isotropic networks which are stiffer than any other isotropic network…
Inspired by the works in [1] and [8] we introduce what we call $k$-th-order fluctuation fields and study their scaling limits. This construction is done in the context of particle systems with the property of orthogonal self-duality. This…
A linearly constrained framework in $\mathbb{R}^d$ is a bar-joint framework where, in addition, vertices with loops are constrained to lie in given affine subspaces. In the generic case, when each vertex is incident to sufficiently many…
The Weak Gravity Conjecture has recently been re-formulated in terms of a particle with non-negative self-binding energy. Because of the dual conformal field theory (CFT) formulation in the anti-de Sitter space the conformal dimension…
Strain-based theory on elastic instabilities is being widely employed for studying onset of plasticity, phase transition or melting in crystals. And size effects, observed in nano-materials or solids under dynamic loadings, needs to account…
In the present work, we investigate the computational efficiency afforded by higher-order finite-element discretization of the saddle-point formulation of orbital-free density functional theory. We first investigate the robustness of viable…
We show that descriptive complexity's result extends in High Order Logic to capture the expressivity of Turing Machine which have a finite number of alternation and whose time or space is bounded by a finite tower of exponential. Hence we…
In recent years, two higher-order extensions of the powerful dependency pair approach for termination analysis of first-order term rewriting have been defined: the static and the dynamic approach. Both approaches offer distinct advantages…
The rigidity matrix is a fundamental tool for studying the infinitesimal rigidity properties of Euclidean bar-joint frameworks. In this paper we generalize this tool and introduce a rigidity matrix for bar-joint frameworks in arbitrary…
The relationship between overparameterization, stability, and generalization remains incompletely understood in the setting of discontinuous classifiers. We address this gap by establishing a generalization bound for finite function classes…
The regularity of the Hardy-Littlewood maximal function, in both discrete and continuous contexts, and for both centered and noncentered variants, has been subjected to intense study for the last two decades. But efforts so far have…