Mathematics

2024-11-21 | | Total: 172

#1 Circular Economy Design through System Dynamics Modeling [PDF] [Copy] [Kimi] [REL]

Authors: Federico Zocco, Monica Malvezzi

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 λ.

Subject: Dynamical Systems

Publish: 2024-11-20 18:44:33 UTC


#2 When the Gromov-Hausdorff distance between finite-dimensional space and its subset is finite? [PDF] [Copy] [Kimi] [REL]

Authors: I. N. Mikhailov, A. A. Tuzhilin

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.

Subject: Metric Geometry

Publish: 2024-11-20 18:42:15 UTC


#3 An Isometric Representation for the Lipschitz-Free Space of Length Spaces Embedded in Finite-Dimensional Spaces [PDF] [Copy] [Kimi] [REL]

Author: Gonzalo Flores

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.

Subject: Functional Analysis

Publish: 2024-11-20 18:41:24 UTC


#4 Space-time model reduction in the frequency domain [PDF] [Copy] [Kimi] [REL]

Authors: Peter Frame, Aaron Towne

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.

Subjects: Numerical Analysis ; Fluid Dynamics

Publish: 2024-11-20 18:29:45 UTC


#5 The density and distribution of CM elliptic curves over Q [PDF] [Copy] [Kimi] [REL]

Authors: Adrian Barquero-Sanchez, Jimmy Calvo-Monge

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.

Subjects: Number Theory ; Algebraic Geometry

Publish: 2024-11-20 18:23:28 UTC


#6 Incomplete (even and odd) trigonometric splines in the problems of constructing approximate solutions of second order linear differential equations [PDF] [Copy] [Kimi] [REL]

Authors: Volodymyr Denysiuk, Ludmila Rybachuk

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.

Subject: Numerical Analysis

Publish: 2024-11-20 18:21:04 UTC


#7 Heights and morphisms in number fields [PDF] [Copy] [Kimi] [REL]

Author: Matt Olechnowicz

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.

Subjects: Number Theory ; Dynamical Systems

Publish: 2024-11-20 18:18:25 UTC


#8 An uncountable subring of R with Hausdorff dimension zero [PDF] [Copy] [Kimi] [REL]

Authors: Stephan Baier, Shameek Paul

We construct an uncountable subring of R with Hausdorff dimension zero (and hence of Lebesgue measure zero).

Subject: Number Theory

Publish: 2024-11-20 18:10:54 UTC


#9 Disjoint pairs in set systems and combinatorics of low rank matrices [PDF] [Copy] [Kimi] [REL]

Authors: Zach Hunter, Aleksa Milojević, Benny Sudakov, István Tomon

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 F2[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,B2[n] with a positive constant fraction of set pairs (a,b)A×B being disjoint, there are RA and SB such that all set pairs (r,s)R×S are disjoint, and |R|2O(n)|A| and |S|2O(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 2O(ε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 2O(tr)n. Our proofs use probabilistic, entropy and discrepancy methods and explore connections to additive combinatorics and coding theory.

Subject: Combinatorics

Publish: 2024-11-20 18:04:54 UTC


#10 Existence of All Wilton Ripples of the Kawahara Equation [PDF] [Copy] [Kimi] [REL]

Author: Ryan P. Creedon

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.

Subjects: Analysis of PDEs ; Dynamical Systems

Publish: 2024-11-20 18:01:33 UTC


#11 Capacity of loop-erased random walk [PDF] [Copy] [Kimi] [REL]

Author: Maarten Markering

We study the capacity of loop-erased random walk (LERW) on Zd. For d4, 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.

Subject: Probability

Publish: 2024-11-20 17:56:06 UTC


#12 Twins in Kähler and Sasaki geometry [PDF] [Copy] [Kimi] [REL]

Authors: Charles P. Boyer, Hongnian Huang, Eveline Legendre, Christina W. Tønnesen-Friedman

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.

Subject: Differential Geometry

Publish: 2024-11-20 17:52:23 UTC


#13 Hopf's lemmas and boundary behaviour of solutions to the fractional Laplacian in Orlicz-Sobolev spaces [PDF] [Copy] [Kimi] [REL]

Authors: Pablo Ochoa, Ariel Salort

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 aLaplacian operator near the boundary of a domain satisfying the interior ball condition. Our approach addresses problems involving both constant-sign and sign-changing potentials.

Subject: Analysis of PDEs

Publish: 2024-11-20 17:46:29 UTC


#14 Polynomial Freiman-Ruzsa, Reed-Muller codes and Shannon capacity [PDF] [Copy] [Kimi] [REL]

Authors: Emmanuel Abbe, Colin Sandon, Vladyslav Shashkov, Maryna Viazovska

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.

Subjects: Information Theory ; Combinatorics ; Number Theory

Publish: 2024-11-20 17:43:02 UTC


#15 Long-term behaviour of symmetric partitioned linear multistep methods I. Global error and conservation of invariants [PDF] [Copy] [Kimi] [REL]

Authors: B. Cano, A. Durán, M. Rodríguez

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.

Subject: Numerical Analysis

Publish: 2024-11-20 17:35:37 UTC


#16 Around Krygin-Atkinson theorem, the recurrence of trajectories with zero integrals [PDF] [Copy] [Kimi] [REL]

Author: Valery V. Ryzhikov

We discuss and present some statements for flows related to the Krygin-Atkinson theorem on the recurrence of cylindrical cascades.

Subject: Dynamical Systems

Publish: 2024-11-20 17:35:26 UTC


#17 Oriented Trees in Digraphs without Oriented 4-cycles [PDF] [Copy] [Kimi] [REL]

Authors: Maya Stein, Ana Trujillo-Negrete

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.

Subject: Combinatorics

Publish: 2024-11-20 17:34:59 UTC


#18 A duality for the class of compact T1-spaces [PDF] [Copy] [Kimi] [REL]

Authors: Elena Pozzan, Matteo Viale

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.

Subjects: General Topology ; Category Theory ; Logic

Publish: 2024-11-20 17:34:29 UTC


#19 Residual Intersections and Schubert Varieties [PDF] [Copy] [Kimi] [REL]

Authors: Sara Angela Filippini, Xianglong Ni, Jacinta Torres, Jerzy Weyman

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.

Subjects: Algebraic Geometry ; Commutative Algebra ; Representation Theory

Publish: 2024-11-20 17:28:34 UTC


#20 Cancellation and regularity for planar, 3-connected Kronecker products [PDF] [Copy] [Kimi] [REL]

Authors: Ruben De March, Riccardo W. Maffucci

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 ACBC imply AB? 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.

Subject: Combinatorics

Publish: 2024-11-20 17:19:20 UTC


#21 Height-offset variables and pinning at infinity for gradient Gibbs measures on trees [PDF] [Copy] [Kimi] [REL]

Authors: Florian Henning, Christof Kuelske

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.

Subjects: Probability ; Mathematical Physics

Publish: 2024-11-20 17:14:18 UTC


#22 (Generalized) filter properties of the amalgamated algebra [PDF] [Copy] [Kimi] [REL]

Author: Y. Azimi

Let R and S be commutative rings with unity, f:RS a ring homomorphism and J an ideal of S. Then the subring RfJ:={(a,f(a)+j)aR and jJ} of R×S is called the amalgamation of R with S along J with respect to f. In this paper, we determine when RfJ is a (generalized) filter ring.

Subject: Commutative Algebra

Publish: 2024-11-19 17:16:50 UTC


#23 The zero-divisor graph of an amalgamated algebra [PDF] [Copy] [Kimi] [REL]

Authors: Y. Azimi, M. R. Doustimehr

Let R and S be commutative rings with identity, f:RS a ring homomorphism and J an ideal of S. Then the subring RfJ:={(r,f(r)+j)rR and jJ} 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.

Subject: Commutative Algebra

Publish: 2024-11-19 16:57:00 UTC


#24 Exact threshold and lognormal limit for non-linear Hamilton cycles [PDF] [Copy] [Kimi] [REL]

Author: Byron Chin

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.

Subjects: Combinatorics ; Probability

Publish: 2024-11-20 16:55:24 UTC


#25 Cohomology on the incidence correspondence and related questions [PDF] [Copy] [Kimi] [REL]

Authors: Annet Kyomuhangi, Emanuela Marangone, Claudiu Raicu, Ethan Reed

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.

Subjects: Algebraic Geometry ; Commutative Algebra ; Representation Theory

Publish: 2024-11-20 16:47:45 UTC