2024-11-21 | | Total: 172
Nowadays, there is an increasing concern about the unsustainability of the take-make-dispose paradigm upon which traditional production and consumption systems are built. The concept of circular economy is gaining attention as a potential solution, but it is an emerging field still lacking analytical and methodological dynamics approaches. Hence, in this paper, firstly we propose a quantitative definition of circularity, namely, λ, predicated on compartmental dynamical thermodynamics, and then, we use it to state the optimization of the circularity λ as an arg-max problem. By leveraging the derivation of Lagrange's equations of motion from the first law of thermodynamics, we apply the analytical mechanics approaches to circularity. Three examples illustrate the calculation of λ for different settings of two compartmental networks. In particular, hypothesizing a repair stage followed by product reuse we highlight the memory property of λ. Finally, robotic repair is proposed within this framework to pave the way for circular robotics as a new area of research in which the performance of a robotic system is measured against λ.
In this paper we prove that the Gromov--Hausdorff distance between Rn and its subset A is finite if and only if A is an ε-net in Rn for some ε>0. For infinite-dimensional Euclidean spaces this is not true. The proof is essentially based on upper estimate of the Euclidean Gromov--Hausdorff distance by means of the Gromov-Hausdorff distance.
For a domain Ω in a finite-dimensional space E, we consider the space M=(Ω,d) where d is the intrinsic distance in Ω. We obtain an isometric representation of the space Lip0(M) as a subspace of L∞(Ω;E∗) and we use this representation in order to obtain the corresponding isometric representation for the Lipschitz-free space F(M) as a quotient of the space L1(Ω;E). We compare our result with those existent in the literature for bounded domains with Lipschitz boundary, and for convex domains, which can be then deduced as a corollaries of our result.
Most model reduction methods are space-only in that they reduce the spatial dimension of the solution but not the temporal one. These methods integrate an encoding of the state of the nonlinear dynamical system forward in time. We propose a space-time method -- one that solves a system of algebraic equations for the encoding of the trajectory, i.e., the solution on a time interval [0,T]. The benefit of this approach is that with the same total number of degrees of freedom, a space-time encoding can leverage spatiotemporal correlations to represent the trajectory far more accurately than a space-only one. We use spectral proper orthogonal decomposition (SPOD) modes, a spatial basis at each temporal frequency tailored to the structures that appear at that frequency, to represent the trajectory. These modes have a number of properties that make them an ideal choice for space-time model reduction. We derive an algebraic system involving the SPOD coefficients that represent the solution, as well as the initial condition and the forcing. The online phase of the method consists of solving this system for the SPOD coefficients given the initial condition and forcing. We test the model on a Ginzburg-Landau system, a 1+1 dimensional nonlinear PDE. We find that the proposed method is ∼2 orders of magnitude more accurate than POD-Galerkin at the same number of modes and CPU time for all of our tests. In fact, the method is substantially more accurate even than the projection of the solution onto the POD modes, which is a lower bound for the error of any space-only Petrov-Galerkin method.
In this paper we study the density and distribution of CM elliptic curves over Q. In particular, we prove that the natural density of CM elliptic curves over Q, when ordered by naive height, is zero. Furthermore, we analyze the distribution of these curves among the thirteen possible CM orders of class number one. Our results show that asymptotically, 100% of them have complex multiplication by the order Z[−1+√−32], that is, have j-invariant 0. We conduct this analysis within two different families of representatives for the Q-isomorphism classes of CM elliptic curves: one commonly used in the literature and another constructed using the theory of twists. As part of our proofs, we give asymptotic formulas for the number of elliptic curves with a given j-invariant and bounded naive height.
The method of constructing approximate solutions of the first boundary value problem for linear differential equations based on incomplete (even and odd) trigonometric splines is considered. The theoretical positions are illustrated by numerical examples.
We give a formula with explicit error term for the number of K-rational points P satisfying H(f(P))≤X as X→∞, where f is a nonconstant morphism between projective spaces defined over a number field K and H is the absolute multiplicative Weil height. This yields formulae for the counting functions of f(Pm(K)) with respect to the Weil height as well as of Pm(K) with respect to the Call-Silverman canonical height.
We construct an uncountable subring of R with Hausdorff dimension zero (and hence of Lebesgue measure zero).
We study and solve several problems in two closely related settings: set families in 2[n] with many disjoint pairs of sets and low rank matrices with many zero entries. - More than 40 years ago, Daykin and Erdős asked for the maximum number of disjoint pairs of sets in a family F⊆2[n] of size 2(1/2+δ)n and conjectured it contains at most o(|F|2) such pairs. This was proven by Alon and Frankl in 1985. In this paper we completely resolve this problem, proving an optimal dependence of the number of disjoint pairs on the size of family F. We also prove the natural variant of the Daykin-Erdős conjecture in which disjoint pairs are replaced by pairs with intersection λ≠0. - Motivated by a conjecture of Lovett related to the famous log-rank conjecture, Singer and Sudan asked to show that for two families A,B⊆2[n] with a positive constant fraction of set pairs (a,b)∈A×B being disjoint, there are R⊂A and S⊂B such that all set pairs (r,s)∈R×S are disjoint, and |R|≥2−O(√n)|A| and |S|≥2−O(√n)|B|. We prove this conjecture in a strong quantitative form. - We prove the following generalizations of the best known bounds for the log-rank conjecture. If M is an n×n non-negative integer matrix of rank r in which the average of the entries is ε≤1/2, then M contains an all-zero submatrix of size at least 2−O(√εr)n. Unlike the known bounds for the log-rank conjecture, this result is optimal. Moreover, using similar methods, we also prove that any n×n matrix of rank r with entries from {0,…,t} contains a constant submatrix of size at least 2−O(t√r)n. Our proofs use probabilistic, entropy and discrepancy methods and explore connections to additive combinatorics and coding theory.
The existence of all small-amplitude Wilton ripple solutions of the Kawahara equation is proven. These are periodic, traveling-wave solutions that bifurcate from a two-dimensional nullspace spanned by two distinct, co-propagating cosine waves. In contrast with previous results, the proof, which relies on a carefully constructed Lyapunov-Schmidt reduction, implies the existence of all small-amplitude Wilton ripples of the Kawahara equation, of which there are countably infinite. Though this result pertains only to the Kawahara equation, the method of proof likely extends to most nonlinear dispersive equations admitting Wilton ripple solutions.
We study the capacity of loop-erased random walk (LERW) on Zd. For d≥4, we prove a strong law of large numbers and give explicit expressions for the limit in terms of the non-intersection probabilities of a simple random walk and a two-sided LERW. Along the way, we show that four-dimensional LERW is ergodic. For d=3, we show that the scaling limit of the capacity of LERW is random. We show that the capacity of the first n steps of LERW is of order n1/β, with β the growth exponent of three-dimensional LERW. We express the scaling limit of the capacity of LERW in terms of the capacity of Kozma's scaling limit of LERW.
We introduce the notions of weighted extremal Kähler twins together with the related notion of extremal Sasaki twins. In the Kähler setting this leads to a generalization of the twinning phenomenon appearing among LeBrun's strongly Hermitian solutions to the Einstein-Maxwell equations on the first Hirzebruch surface \cite{Leb16} to weighted extremal metrics on Hirzebruch surfaces in general. We discover that many twins appear and that this can be viewed in the Sasaki setting as a case where we have more than one extremal ray in the Sasaki cone even when we do not allow changes within the isotopy class. We also study extremal Sasaki twins directly in the Sasaki setting with a main focus on the toric Sasaki case.
In this article we study different extensions of the celebrated Hopf's boundary lemma within the context of a family of nonlocal, nonlinear and nonstandard growth operators. More precisely, we examine the behavior of solutions of the fractional a−Laplacian operator near the boundary of a domain satisfying the interior ball condition. Our approach addresses problems involving both constant-sign and sign-changing potentials.
In 1948, Shannon used a probabilistic argument to show the existence of codes achieving a maximal rate defined by the channel capacity. In 1954, Muller and Reed introduced a simple deterministic code construction, based on polynomial evaluations, conjectured shortly after to achieve capacity. The conjecture led to decades of activity involving various areas of mathematics and the recent settlement by [AS23] using flower set boosting. In this paper, we provide an alternative proof of the weak form of the capacity result, i.e., that RM codes have a vanishing local error at any rate below capacity. Our proof relies on the recent Polynomial Freiman-Ruzsa conjecture's proof [GGMT23] and an entropy extraction approach similar to [AY19]. Further, a new additive combinatorics conjecture is put forward which would imply the stronger result with vanishing global error. We expect the latter conjecture to be more directly relevant to coding applications.
In this paper an asymptotic expansion of the global error on the stepsize for partitioned linear multistep methods is proved. This provides a tool to analyse the behaviour of these integrators with respect to error growth with time and conservation of invariants. In particular, symmetric partitioned linear multistep methods with no common roots in their first characteristic polynomials, except unity, appear as efficient methods to approximate non-separable Hamiltonian systems since they can be explicit and show good long term behaviour at the same time. As a case study, a thorough analysis is given for small oscillations of the double pendulum problem, which is illustrated by numerical experiments.
We discuss and present some statements for flows related to the Krygin-Atkinson theorem on the recurrence of cylindrical cascades.
We prove that if D is a digraph of maximum outdegree and indegree at least k, and minimum semidegree at least k/2 that contains no oriented 4-cycles, then D contains each oriented tree T with~k arcs. This can be slightly improved if T is either antidirected or an arborescence.
We present a contravariant adjunction between compact T1-spaces and a class of distributive lattices which recomprises key portions of Stone's duality and of Isbell's duality among its instantiations. This brings us to focus on T1-spaces, rather than sober spaces, and to identify points in them with minimal prime filters on some base for a T1-topology (which is what Stone's duality does on the base of clopen sets of compact 0-dimensional spaces), in spite of completely prime filters on the topology (which is what Isbell's duality does on a sober space). More precisely our contravariant adjunction produces a contravariant, faithful and full embedding of the category of compact T1-spaces with arrows given by closed continuous map as a reflective subcategory of a category SbfL whose objects are the bounded distributive lattices isomorphic to some base of a T1-topological space (e.g. subfits, when the lattices are frames) and whose arrows are given by (what we call) set-like-morphisms (a natural class of morphisms characterized by a first order expressible constraint). Furthermore this contravariant adjunction becomes a duality when one restricts on the topological side to the category of compact T2-spaces with arbitrary continuous maps, and on the lattice-theoretic side to the category of compact, complete, and normal lattices. A nice by-product of the above results is a lattice-theoretic reformulation of the Stone-Čech compactification theorem which we have not been able to trace elsewhere in the literature.
Inspired by the work of Ulrich and Huneke-Ulrich, we describe a pattern to show that the ideals of certain opposite embedded Schubert varieties defined by this pattern arise by taking residual intersections of two geometrically linked opposite Schubert varieties. This pattern is uniform for the ADE types. Some of the free resolutions of the Schubert varieties in question are important for the structure of finite free resolutions. Our proof is representation theoretical and uniform for our pattern, however it is possible to derive our results using case-by-case analysis and the aid of a computer.
We investigate several properties of Kronecker (direct, tensor) products of graphs that are planar and 3-connected (polyhedral, 3-polytopal). This class of graphs was recently characterised and constructed by the second author [15]. Our main result is that cancellation holds for the Kronecker product of graphs when the product is planar and 3-connected (it is known that Kronecker cancellation may fail in general). Equivalently, polyhedral graphs are Kronecker products in at most one way. This is a special case of the deep and interesting question, open in general, of Kronecker product cancellation for simple graphs: when does A∧C≃B∧C imply A≃B? We complete our investigation on simultaneous products by characterising and constructing the planar graphs that are Cartesian products in two distinct ways, and the planar, 3-connected graphs that are both Kronecker and Cartesian products. The other type of results we obtain are in extremal graph theory. We classify the polyhedral Kronecker products that are either face-regular or vertex-regular graphs. The face-regular ones are certain quadrangulations of the sphere, while the vertex-regular ones are certain cubic graphs (duals of maximal planar graphs). We also characterise, and iteratively construct, the face-regular subclass of graphs minimising the number of vertices of degree 3.
We provide a general theory of height-offset variables and their properties for nearest-neighbor integer-valued gradient models on trees. This notion goes back to Sheffield [25], who realized that such tail-measurable variables can be used to associate to gradient Gibbs measures also proper Gibbs measures, via the procedure of pinning at infinity. On the constructive side, our theory incorporates the existence of height-offset variables, regularity properties of their Lebesgue densities and concentration properties of the associated Gibbs measure. On the pathological side, we show that pinning at infinity necessarily comes at a cost. This phenomenon will be analyzed on the levels of translation invariance, the tree-indexed Markov chain property, and extremality. The scope of our theory incorporates free measures, and also height-periodic measures of period 2, assuming only finite second moments of the transfer operator which encodes the nearest neighbor interaction. Our proofs are based on investigations of the respective martingale limits, past and future tail-decompositions, and infinite product representations for moment generating functions.
Let R and S be commutative rings with unity, f:R→S a ring homomorphism and J an ideal of S. Then the subring R⋈fJ:={(a,f(a)+j)∣a∈R and j∈J} of R×S is called the amalgamation of R with S along J with respect to f. In this paper, we determine when R⋈fJ is a (generalized) filter ring.
Let R and S be commutative rings with identity, f:R→S a ring homomorphism and J an ideal of S. Then the subring R⋈fJ:={(r,f(r)+j)∣r∈R and j∈J} of R×S is called the amalgamation of R with S along J with respect to f. In this paper, we generalize and improve recent results on the computation of the diameter of the zero-divisor graph of amalgamated algebras and obtain new results. In particular, we provide new characterizations for completeness of the zero-divisor graph of amalgamated algebra, as well as, a complete description for the diameter of the zero-divisor graph of amalgamations in the special case of finite rings.
For positive integers r>ℓ≥1, an ℓ-cycle in an r-uniform hypergraph is a cycle where each edge consists of r vertices and each pair of consecutive edges intersect in ℓ vertices. We show that for ℓ≥2, a random r-uniform hypergraph contains a Hamilton ℓ-cycle with high probability whenever the expected number of such cycles tends to infinity. Moreover, for ℓ=2, we show that the normalized number of Hamilton 2-cycles converges to a lognormal distribution. This determines the exact threshold for the appearance of non-linear Hamilton cycles in random hypergraphs, confirming a conjecture of Narayanan and Schacht.
We study a variety of questions centered around the computation of cohomology of line bundles on the incidence correspondence (the partial flag variety parametrizing pairs consisting of a point in projective space and a hyperplane containing it). Over a field of characteristic zero, this problem is resolved by the Borel-Weil-Bott theorem. In positive characteristic, we give recursive formulas for cohomology, generalizing work of Donkin and Liu in the case of the 3-dimensional flag variety. In characteristic 2, we provide non-recursive formulas describing the cohomology characters in terms of truncated Schur polynomials and Nim symmetric polynomials. The main technical ingredient in our work is the recursive description of the splitting type of vector bundles of principal parts on the projective line. We also discuss properties of the structure constants in the graded Han-Monsky representation ring, and explain how our cohomology calculation characterizes the Weak Lefschetz Property for Artinian monomial complete intersections.