-
Toric models of smooth Fano threefolds
Authors:
Konstantin Loginov,
Joaquín Moraga,
Artem Vasilkov
Abstract:
We prove that a general rational smooth Fano threefold admits a toric model. More precisely, for a general rational smooth Fano threefold $X$, we show the existence of a boundary divisor $D$ for which $(X,D)\simeq_{\rm cbir} (\mathbb{P}^3,H_0+H_1+H_2+H_3)$, where the $H_i$'s are the coordinate hyperplanes. In particular, a general rational smooth Fano threefold has birational complexity zero. We a…
▽ More
We prove that a general rational smooth Fano threefold admits a toric model. More precisely, for a general rational smooth Fano threefold $X$, we show the existence of a boundary divisor $D$ for which $(X,D)\simeq_{\rm cbir} (\mathbb{P}^3,H_0+H_1+H_2+H_3)$, where the $H_i$'s are the coordinate hyperplanes. In particular, a general rational smooth Fano threefold has birational complexity zero. We argue that the three conditions: rationality, generality, and smoothness are indeed necessary for the theorem.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Toric degenerations of Calabi--Yau complete intersections and metric SYZ conjecture
Authors:
Keita Goto,
Yuto Yamamoto
Abstract:
We consider a toric degeneration $\mathcal{X}$ of Calabi--Yau complete intersections of Batyrev--Borisov in the Gross--Siebert program. For the toric degeneration $\mathcal{X}$, we study the real Monge--Ampère equation corresponding to the non-archimedean Monge--Ampère equation that yields the non-archimedean Calabi--Yau metric. Our main theorem describes the real Monge--Ampère equation in terms o…
▽ More
We consider a toric degeneration $\mathcal{X}$ of Calabi--Yau complete intersections of Batyrev--Borisov in the Gross--Siebert program. For the toric degeneration $\mathcal{X}$, we study the real Monge--Ampère equation corresponding to the non-archimedean Monge--Ampère equation that yields the non-archimedean Calabi--Yau metric. Our main theorem describes the real Monge--Ampère equation in terms of tropical geometry and proves the metric SYZ conjecture for the toric degeneration $\mathcal{X}$ supposing the existence of its solution.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
The Landau equation in a domain
Authors:
Kleber Carrapatoso,
Stéphane Mischler
Abstract:
This work deals with the Landau equation in a bounded domain with the Maxwell reflection condition on the boundary for any (possibly smoothly position dependent) accommodation coefficient and for the full range of interaction potentials, including the Coulomb case. We establish the global existence and a constructive asymptotic decay of solutions in a close-to-equilibrium regime. This is the first…
▽ More
This work deals with the Landau equation in a bounded domain with the Maxwell reflection condition on the boundary for any (possibly smoothly position dependent) accommodation coefficient and for the full range of interaction potentials, including the Coulomb case. We establish the global existence and a constructive asymptotic decay of solutions in a close-to-equilibrium regime. This is the first existence result for a Maxwell reflection condition on the boundary and that generalizes the similar results established for the Landau equation for other geometries in \cite{GuoLandau1,GS1,GS2,MR3625186,MR4076068}. We also answer to Villani's program \cite{MR2116276,MR2407976} about constructive accurate rate of convergence to the equilibrium {(quantitative H-Theorem)} for solutions to collisional kinetic equations satisfying a priori uniform bounds. The proofs rely on the study of a suitably linear problem for which we prove that the associated operator is hypocoercive, the associated semigroup is ultracontractive, and finally that it is asymptotically stable in many weighted $L^\infty$ spaces.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Topology-enhanced machine learning model (Top-ML) for anticancer peptide prediction
Authors:
Joshua Zhi En Tan,
JunJie Wee,
Xue Gong,
Kelin Xia
Abstract:
Recently, therapeutic peptides have demonstrated great promise for cancer treatment. To explore powerful anticancer peptides, artificial intelligence (AI)-based approaches have been developed to systematically screen potential candidates. However, the lack of efficient featurization of peptides has become a bottleneck for these machine-learning models. In this paper, we propose a topology-enhanced…
▽ More
Recently, therapeutic peptides have demonstrated great promise for cancer treatment. To explore powerful anticancer peptides, artificial intelligence (AI)-based approaches have been developed to systematically screen potential candidates. However, the lack of efficient featurization of peptides has become a bottleneck for these machine-learning models. In this paper, we propose a topology-enhanced machine learning model (Top-ML) for anticancer peptide prediction. Our Top-ML employs peptide topological features derived from its sequence "connection" information characterized by vector and spectral descriptors. Our Top-ML model has been validated on two widely used AntiCP 2.0 benchmark datasets and has achieved state-of-the-art performance. Our results highlight the potential of leveraging novel topology-based featurization to accelerate the identification of anticancer peptides.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Improving the communication in decentralized manifold optimization through single-step consensus and compression
Authors:
Jiang Hu,
Kangkang Deng
Abstract:
We are concerned with decentralized optimization over a compact submanifold, where the loss functions of local datasets are defined by their respective local datasets. A key challenge in decentralized optimization is mitigating the communication bottleneck, which primarily involves two strategies: achieving consensus and applying communication compression. Existing projection/retraction-type algor…
▽ More
We are concerned with decentralized optimization over a compact submanifold, where the loss functions of local datasets are defined by their respective local datasets. A key challenge in decentralized optimization is mitigating the communication bottleneck, which primarily involves two strategies: achieving consensus and applying communication compression. Existing projection/retraction-type algorithms rely on multi-step consensus to attain both consensus and optimality. Due to the nonconvex nature of the manifold constraint, it remains an open question whether the requirement for multi-step consensus can be reduced to single-step consensus. We address this question by carefully elaborating on the smoothness structure and the asymptotic 1-Lipschitz continuity associated with the manifold constraint. Furthermore, we integrate these insights with a communication compression strategy to propose a communication-efficient gradient algorithm for decentralized manifold optimization problems, significantly reducing per-iteration communication costs. Additionally, we establish an iteration complexity of $\mathcal{O}(ε^{-1})$ to find an $ε$-stationary point, which matches the complexity in the Euclidean setting. Numerical experiments demonstrate the efficiency of the proposed method in comparison to state-of-the-art approaches.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
On local preservation of orthogonality and its application to isometries
Authors:
Debmalya Sain,
Jayanta Manna,
Kallol Paul
Abstract:
We investigate the local preservation of Birkhoff-James orthogonality at a point by a linear operator on a finite-dimensional Banach space and illustrate its importance in understanding the action of the operator in terms of the geometry of the concerned spaces. In particular, it is shown that such a study is related to the preservation of k-smoothness and the extremal properties of the unit ball…
▽ More
We investigate the local preservation of Birkhoff-James orthogonality at a point by a linear operator on a finite-dimensional Banach space and illustrate its importance in understanding the action of the operator in terms of the geometry of the concerned spaces. In particular, it is shown that such a study is related to the preservation of k-smoothness and the extremal properties of the unit ball of a Banach space. As an application of the results obtained in this direction, we obtain a refinement of the well-known Blanco-Koldobsky-Turnsek characterization of isometries on some polyhedral Banach spaces, including $ \ell_{\infty}^n, \ell_1^n. $
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Matching polytopes, Gorensteinness, and the integer decomposition property
Authors:
Benjamin Eisley,
Koji Matsushita,
Andrés R. Vindas-Meléndez
Abstract:
The matching polytope of a graph $G$ is the convex hull of the indicator vectors of the matchings on $G$. We characterize the graphs whose associated matching polytopes are Gorenstein, and then prove that all Gorenstein matching polytopes possess the integer decomposition property. As a special case study, we examine the matching polytopes of wheel graphs and show that they are not Gorenstein, but…
▽ More
The matching polytope of a graph $G$ is the convex hull of the indicator vectors of the matchings on $G$. We characterize the graphs whose associated matching polytopes are Gorenstein, and then prove that all Gorenstein matching polytopes possess the integer decomposition property. As a special case study, we examine the matching polytopes of wheel graphs and show that they are not Gorenstein, but do possess the integer decomposition property.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
How to beat a Bayesian adversary
Authors:
Zihan Ding,
Kexin **,
Jonas Latz,
Chenguang Liu
Abstract:
Deep neural networks and other modern machine learning models are often susceptible to adversarial attacks. Indeed, an adversary may often be able to change a model's prediction through a small, directed perturbation of the model's input - an issue in safety-critical applications. Adversarially robust machine learning is usually based on a minmax optimisation problem that minimises the machine lea…
▽ More
Deep neural networks and other modern machine learning models are often susceptible to adversarial attacks. Indeed, an adversary may often be able to change a model's prediction through a small, directed perturbation of the model's input - an issue in safety-critical applications. Adversarially robust machine learning is usually based on a minmax optimisation problem that minimises the machine learning loss under maximisation-based adversarial attacks.
In this work, we study adversaries that determine their attack using a Bayesian statistical approach rather than maximisation. The resulting Bayesian adversarial robustness problem is a relaxation of the usual minmax problem. To solve this problem, we propose Abram - a continuous-time particle system that shall approximate the gradient flow corresponding to the underlying learning problem. We show that Abram approximates a McKean-Vlasov process and justify the use of Abram by giving assumptions under which the McKean-Vlasov process finds the minimiser of the Bayesian adversarial robustness problem. We discuss two ways to discretise Abram and show its suitability in benchmark adversarial deep learning experiments.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
A lattice framework for generalizing shellable complexes and matroids
Authors:
Rakhi Pratihar,
Tovohery H. Randrianarisoa,
Klara Stokes
Abstract:
We introduce the notion of power lattices that unifies and extends the equicardinal geometric lattices, Cartesian products of subspace lattices, and multiset subset lattices, among several others. The notions of shellability for simplicial complexes, q-complexes, and multicomplexes are then unified and extended to that of complexes in power lattices, which we name as P-complexes. A nontrivial clas…
▽ More
We introduce the notion of power lattices that unifies and extends the equicardinal geometric lattices, Cartesian products of subspace lattices, and multiset subset lattices, among several others. The notions of shellability for simplicial complexes, q-complexes, and multicomplexes are then unified and extended to that of complexes in power lattices, which we name as P-complexes. A nontrivial class of shellable P-complexes are obtained via P-complexes of the independent sets of a matroid in power lattice, which we introduce to generalize matroids in Boolean lattices, q-matroids in subspace lattices, and sum-matroids in Cartesian products of subspace lattices. We also prove that shellable P-complexes in a power lattice yield shellable order complexes, extending the celebrated result of shellability of order complexes of (equicardinal) geometric lattices by Björner and also, a recent result on shellability of order complexes of lexicographically shellable q-complexes. Finally, we provide a construction of matroids on the lattice of multiset subsets from weighted graphs. We also consider a variation of Stanley-Reisner rings associated with shellable multicomplexes than the one considered by Herzog and Popescu and proved that these rings are sequentially Cohen-Macaulay.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Derivatives of theta functions as Traces of Partition Eisenstein series
Authors:
Tewodros Amdeberhan,
Ken Ono,
Ajit Singh
Abstract:
In his ``lost notebook'', Ramanujan used iterated derivatives of two theta functions to define sequences of $q$-series $\{U_{2t}(q)\}$ and $\{V_{2t}(q)\}$ that he claimed to be quasimodular. We give the first explicit proof of this claim by expressing them in terms of ``partition Eisenstein series'', extensions of the classical Eisenstein series $E_{2k}(q)$ defined by…
▽ More
In his ``lost notebook'', Ramanujan used iterated derivatives of two theta functions to define sequences of $q$-series $\{U_{2t}(q)\}$ and $\{V_{2t}(q)\}$ that he claimed to be quasimodular. We give the first explicit proof of this claim by expressing them in terms of ``partition Eisenstein series'', extensions of the classical Eisenstein series $E_{2k}(q)$ defined by $$λ=(1^{m_1}, 2^{m_2},\dots, n^{m_n}) \vdash n \ \ \ \ \ \longmapsto \ \ \ \ \ E_λ(q):= E_2(q)^{m_1} E_4(q)^{m_2}\cdots E_{2n}(q)^{m_n}. $$ For functions $φ: \mathcal{P}\mapsto \C$ on partitions, the {\it weight $2n$ partition Eisenstein trace} is $$ \Tr_n(φ;q):=\sum_{λ\vdash n} φ(λ)E_λ(q). $$ For all $t$, we prove that $U_{2t}(q)=\Tr_t(φ_u;q)$ and $V_{2t}(q)=\Tr_t(φ_v;q),$ where $φ_u$ and $φ_v$ are natural partition weights, giving the first explicit quasimodular formulas for these series.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Non-isotropic translation and modulation invariant Hilbert spaces
Authors:
Joachim Toft,
P. K. Ratnakumar
Abstract:
Let $\mathcal H$ be a Hilbert space of distributions on $\mathbf R^d$ which contains at least one non-zero element in $\mathscr D '(\mathbf R^d)$. If there is a constant $C_0>0$ such that $$ \nm {e^{i\scal \cdo ξ}f(\cdo -x)}{\mathcal H}\le C_0\nm f{\mathcal H}, \qquad f\in \mathcal H ,\ x,ξ\in \mathbf R^d, $$ then we prove that $\maclH = L^2(\mathbf R^d)$, with equivalent norms.
Let $\mathcal H$ be a Hilbert space of distributions on $\mathbf R^d$ which contains at least one non-zero element in $\mathscr D '(\mathbf R^d)$. If there is a constant $C_0>0$ such that $$ \nm {e^{i\scal \cdo ξ}f(\cdo -x)}{\mathcal H}\le C_0\nm f{\mathcal H}, \qquad f\in \mathcal H ,\ x,ξ\in \mathbf R^d, $$ then we prove that $\maclH = L^2(\mathbf R^d)$, with equivalent norms.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
On the cohomology of plus/minus Selmer groups of supersingular elliptic curves in weakly ramified base fields
Authors:
Ben Forrás,
Katharina Müller
Abstract:
Let $E/\mathbb{Q}$ be an elliptic curve and let $p\ge 5$ be a prime of good supersingular reduction. We generalize results due to Meng Fai Lim proving Kida's formula and integrality results for characteristic elements of signed Selmer groups along the cyclotomic $\mathbb{Z}_p$-extension of weakly ramified base fields $K/\mathbb{Q}_p$.
Let $E/\mathbb{Q}$ be an elliptic curve and let $p\ge 5$ be a prime of good supersingular reduction. We generalize results due to Meng Fai Lim proving Kida's formula and integrality results for characteristic elements of signed Selmer groups along the cyclotomic $\mathbb{Z}_p$-extension of weakly ramified base fields $K/\mathbb{Q}_p$.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Analog Data-Driven Theory and Estimation of the Region of Attraction Using Sampled-Data
Authors:
Karthik Shenoy,
Arvind Ragghav,
Vijaysekhar Chellaboina
Abstract:
The contributions of this technical note are twofold. Firstly, we formulate an optimization problem to obtain a linear representation of a nonlinear vector field based on a system's trajectory. We also prove that its cost function is strictly convex, given the trajectory is persistently exciting. Under certain observability conditions, we provide results that guarantee the Hurwitz stability of the…
▽ More
The contributions of this technical note are twofold. Firstly, we formulate an optimization problem to obtain a linear representation of a nonlinear vector field based on a system's trajectory. We also prove that its cost function is strictly convex, given the trajectory is persistently exciting. Under certain observability conditions, we provide results that guarantee the Hurwitz stability of the global minimizer. Secondly, we present a novel algorithm based on point-wise geometric flows to estimate the boundary of the region of attraction. We show that the algorithm converges to the exact boundary of the region of attraction under certain assumptions on the system dynamics. Finally, we validate the results using simulations on various nonlinear autonomous systems.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Inverse extremal problem for an anti-tumor therapy model
Authors:
Andrey Kovtanyuk,
Christina Kuttler,
Kristina Koshel,
Alexander Chebotarev
Abstract:
An optimal control problem for a model of tumor growth is studied. In a given subdomain, it is required to minimize the density of tumor cells, while the drug concentration in tissue is limited by given minimal and maximal values. Based on derived estimates of the solution of the controlled system, the solvability of the control problem is proved. The problem is reduced to an optimal control probl…
▽ More
An optimal control problem for a model of tumor growth is studied. In a given subdomain, it is required to minimize the density of tumor cells, while the drug concentration in tissue is limited by given minimal and maximal values. Based on derived estimates of the solution of the controlled system, the solvability of the control problem is proved. The problem is reduced to an optimal control problem with a penalty. An algorithm for solving the optimal control problem with a penalty is constructed and implemented. The efficiency of the algorithm is illustrated by a numerical example.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Distance Antimagic Labeling of Zero-Divisor Graphs
Authors:
V. Sivakumaran,
K. Sankar,
S. Prabhu
Abstract:
In this paper, we prove that for all $m\geq 1$ and $n=1$, the graph $ mΓ(\mathbb{Z}_9)+nΓ(\mathbb{Z}_4)$, for all $n\geq 1$, and $m=1$, the graph $m\overline{Γ(\mathbb{Z}_6)}+nΓ(\mathbb{Z}_9)$, for all $m\geq1$, $[mΓ(\mathbb{Z}_9)+Γ(\mathbb{Z}_4)]\times Γ(\mathbb{Z}_9)$, for all prime $m\geq3$, $Γ(\mathbb{Z}_6)\timesΓ(\mathbb{Z}_{2m})$ and $Γ(\mathbb{Z}_6)\timesΓ(\mathbb{Z}_{m^2})$ are all admit d…
▽ More
In this paper, we prove that for all $m\geq 1$ and $n=1$, the graph $ mΓ(\mathbb{Z}_9)+nΓ(\mathbb{Z}_4)$, for all $n\geq 1$, and $m=1$, the graph $m\overline{Γ(\mathbb{Z}_6)}+nΓ(\mathbb{Z}_9)$, for all $m\geq1$, $[mΓ(\mathbb{Z}_9)+Γ(\mathbb{Z}_4)]\times Γ(\mathbb{Z}_9)$, for all prime $m\geq3$, $Γ(\mathbb{Z}_6)\timesΓ(\mathbb{Z}_{2m})$ and $Γ(\mathbb{Z}_6)\timesΓ(\mathbb{Z}_{m^2})$ are all admit distance antimagic labeling.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Extending DD-$α$AMG on heterogeneous machines
Authors:
Lianhua He,
Gustavo Ramirez-Hidalgo,
Ke-Long Zhang
Abstract:
Multigrid solvers are the standard in modern scientific computing simulations. Domain Decomposition Aggregation-Based Algebraic Multigrid, also known as the DD-$α$AMG solver, is a successful realization of an algebraic multigrid solver for lattice quantum chromodynamics. Its CPU implementation has made it possible to construct, for some particular discretizations, simulations otherwise computation…
▽ More
Multigrid solvers are the standard in modern scientific computing simulations. Domain Decomposition Aggregation-Based Algebraic Multigrid, also known as the DD-$α$AMG solver, is a successful realization of an algebraic multigrid solver for lattice quantum chromodynamics. Its CPU implementation has made it possible to construct, for some particular discretizations, simulations otherwise computationally unfeasible, and furthermore it has motivated the development and improvement of other algebraic multigrid solvers in the area. From an existing version of DD-$α$AMG already partially ported via CUDA to run some finest-level operations of the multigrid solver on Nvidia GPUs, we translate the CUDA code here by using HIP to run on the ORISE supercomputer. We moreover extend the smoothers available in DD-$α$AMG, paying particular attention to Richardson smoothing, which in our numerical experiments has led to a multigrid solver faster than smoothing with GCR and only 10% slower compared to SAP smoothing. Then we port the odd-even-preconditioned versions of GMRES and Richardson via CUDA. Finally, we extend some computationally intensive coarse-grid operations via advanced vectorization.
△ Less
Submitted 10 July, 2024;
originally announced July 2024.
-
Inversion of the Abel--Prym map in presence of an additional involution
Authors:
O. K. Sheinman
Abstract:
Unlike Abel map of the symmetric power of a Riemann surface onto its Jacobian, the Abel--Prym map generically can not be reversed by means of conventional technique related to the Jacobi inversion problem, and of its main ingredient, namely the Riemann vanishing theorem. It happens because the corresponding analog of the Riemann vanishing theorem gives twice as many points as the dimension of the…
▽ More
Unlike Abel map of the symmetric power of a Riemann surface onto its Jacobian, the Abel--Prym map generically can not be reversed by means of conventional technique related to the Jacobi inversion problem, and of its main ingredient, namely the Riemann vanishing theorem. It happens because the corresponding analog of the Riemann vanishing theorem gives twice as many points as the dimension of the Prym variety. However, if the Riemann surface has a second involution commuting with the one defining the Prym variety and satisfying a certain additional condition, an analog of the Jacobi inversion can be defined, and expressed in terms of the Prym theta function. We formulate these conditions and refer to the pairs of involutions satisfying them as to pairs of the first type. We formulate necessary conditions for the pair of involutions to be a pair of the first type, and give a series of examples of curves with such pairs of involutions, mainly spectral curves of Hitchin systems, and also a spectral curve of the Kovalewski system.
△ Less
Submitted 10 July, 2024;
originally announced July 2024.
-
On generalized Stirling numbers and zeta values
Authors:
Kamel Mezlini,
Tahar Moumni,
Najib Ouled Azaiez
Abstract:
The generalized Stirling numbers of the second kind together with the Stirling numbers of the first kind are used to present a novel method to approximate the Riemann zeta function at integer values by rationals. We show that the error committed in such approximation decay exponentially to zero
The generalized Stirling numbers of the second kind together with the Stirling numbers of the first kind are used to present a novel method to approximate the Riemann zeta function at integer values by rationals. We show that the error committed in such approximation decay exponentially to zero
△ Less
Submitted 12 July, 2024; v1 submitted 7 July, 2024;
originally announced July 2024.
-
Response Matrix Benchmark for the 1D Transport Equation with Matrix Scaling
Authors:
B. D. Ganapol,
J. K. Patel
Abstract:
The linear 1D transport equation is likely the most solved transport equation in radiative transfer and neutron transport investigations. Nearly every method imaginable has been applied to establish solutions, including Laplace and Fourier transforms, singular eigenfunctions, solutions of singular integral equation, PN expansions, double PN expansions, Chebychev expansions, Lagrange polynomial exp…
▽ More
The linear 1D transport equation is likely the most solved transport equation in radiative transfer and neutron transport investigations. Nearly every method imaginable has been applied to establish solutions, including Laplace and Fourier transforms, singular eigenfunctions, solutions of singular integral equation, PN expansions, double PN expansions, Chebychev expansions, Lagrange polynomial expansions, numerical discrete ordinates with finite difference, analytical discrete ordinates, finite elements, solutions to integral equations, adding and doubling, invariant imbedding, solution of Ricatti equations and response matrix methods -- and probably more methods of which the authors are unaware. Of those listed, the response matrix solution to the discrete ordinates form of the 1D transport equation is arguably the simplest and most straightforward. Here, we propose another response of exponential solutions but to the first order equation enabled by matrix scaling.
△ Less
Submitted 28 June, 2024;
originally announced July 2024.
-
Non-generic components of the Emerton-Gee stack for $\mathrm{GL}_2$
Authors:
Kalyani Kansal,
Ben Savoie
Abstract:
Let $K$ be a finite unramified extension of $\mathbb{Q}_p$ with $p > 5$. We study the extremely non-generic irreducible components in the reduced part of the Emerton-Gee stack for $\mathrm{GL}_2$. We show precisely which irreducible components are smooth or normal, and which have Gorenstein or Cohen-Macaulay normalizations, as well as give a description of the singular loci. We use our results to…
▽ More
Let $K$ be a finite unramified extension of $\mathbb{Q}_p$ with $p > 5$. We study the extremely non-generic irreducible components in the reduced part of the Emerton-Gee stack for $\mathrm{GL}_2$. We show precisely which irreducible components are smooth or normal, and which have Gorenstein or Cohen-Macaulay normalizations, as well as give a description of the singular loci. We use our results to update expectations about the conjectural categorical $p$-adic Langlands correspondence.
△ Less
Submitted 10 July, 2024;
originally announced July 2024.
-
Dynamical Measure Transport and Neural PDE Solvers for Sampling
Authors:
**gtong Sun,
Julius Berner,
Lorenz Richter,
Marius Zeinhofer,
Johannes Müller,
Kamyar Azizzadenesheli,
Anima Anandkumar
Abstract:
The task of sampling from a probability density can be approached as transporting a tractable density function to the target, known as dynamical measure transport. In this work, we tackle it through a principled unified framework using deterministic or stochastic evolutions described by partial differential equations (PDEs). This framework incorporates prior trajectory-based sampling methods, such…
▽ More
The task of sampling from a probability density can be approached as transporting a tractable density function to the target, known as dynamical measure transport. In this work, we tackle it through a principled unified framework using deterministic or stochastic evolutions described by partial differential equations (PDEs). This framework incorporates prior trajectory-based sampling methods, such as diffusion models or Schrödinger bridges, without relying on the concept of time-reversals. Moreover, it allows us to propose novel numerical methods for solving the transport task and thus sampling from complicated targets without the need for the normalization constant or data samples. We employ physics-informed neural networks (PINNs) to approximate the respective PDE solutions, implying both conceptional and computational advantages. In particular, PINNs allow for simulation- and discretization-free optimization and can be trained very efficiently, leading to significantly better mode coverage in the sampling task compared to alternative methods. Moreover, they can readily be fine-tuned with Gauss-Newton methods to achieve high accuracy in sampling.
△ Less
Submitted 10 July, 2024;
originally announced July 2024.
-
Fast Approximation Algorithms for Euclidean Minimum Weight Perfect Matching
Authors:
Stefan Hougardy,
Karolina Tammemaa
Abstract:
We study the problem of finding a Euclidean minimum weight perfect matching for $n$ points in the plane. It is known that a deterministic approximation algorithm for this problems must have at least $Ω(n \log n)$ runtime. We propose such an algorithm for the Euclidean minimum weight perfect matching problem with runtime $O(n\log n)$ and show that it has approximation ratio $O(n^{0.2995})$. This im…
▽ More
We study the problem of finding a Euclidean minimum weight perfect matching for $n$ points in the plane. It is known that a deterministic approximation algorithm for this problems must have at least $Ω(n \log n)$ runtime. We propose such an algorithm for the Euclidean minimum weight perfect matching problem with runtime $O(n\log n)$ and show that it has approximation ratio $O(n^{0.2995})$. This improves the so far best known approximation ratio of $n/2$. We also develop an $O(n \log n)$ algorithm for the Euclidean minimum weight perfect matching problem in higher dimensions and show it has approximation ratio $O(n^{0.599})$ in all fixed dimensions.
△ Less
Submitted 10 July, 2024;
originally announced July 2024.
-
Directed Transit Functions
Authors:
Arun Anil,
Manoj Changat,
Lekshmi Kamal K-Sheela,
Ameera Vaheeda Shanavas,
John J. Chavara,
Prasanth G. Narasimha-Shenoi,
Bruno J. Schmidt,
Peter F. Stadler
Abstract:
Transit functions were introduced as models of betweenness on undirected structures. Here we introduce directed transit function as the directed analogue on directed structures such as posets and directed graphs. We first show that betweenness in posets can be expressed by means of a simple set of first order axioms. Similar characterizations can be obtained for graphs with natural partial orders,…
▽ More
Transit functions were introduced as models of betweenness on undirected structures. Here we introduce directed transit function as the directed analogue on directed structures such as posets and directed graphs. We first show that betweenness in posets can be expressed by means of a simple set of first order axioms. Similar characterizations can be obtained for graphs with natural partial orders, in particular, forests, trees, and mangroves. Relaxing the acyclicity conditions leads to a generalization of the well-known geometric transit function to the directed structures. Moreover, we discuss some properties of the directed analogues of prominent transit functions, including the all-paths, induced paths, and shortest paths (or interval) transit functions. Finally we point out some open questions and directions for future work.
△ Less
Submitted 10 July, 2024;
originally announced July 2024.
-
Orthogonal projectors of binary LCD codes
Authors:
Keita Ishizuka
Abstract:
We prove that binary even LCD code and some graphs are in one-to-one correspondence in a certain way. Furthermore, we show that adjacency matrices of non-isomorphic simple graphs give inequivalent binary LCD codes, and vice versa.
We prove that binary even LCD code and some graphs are in one-to-one correspondence in a certain way. Furthermore, we show that adjacency matrices of non-isomorphic simple graphs give inequivalent binary LCD codes, and vice versa.
△ Less
Submitted 10 July, 2024;
originally announced July 2024.
-
Perimetric contraction on quadrilaterals and related fixed point results
Authors:
Anish Banerjee,
Pratikshan Mondal,
Lakshmi Kanta Dey
Abstract:
In this article, we introduce a four-point analogue of Banach-type, Kannan-type, and Chatterjea-type contractions, and examine their properties. We establish sufficient conditions under which these map**s achieve fixed points in a complete metric space. Notably, the classical Banach contraction principle emerges as a special case of our results. To illustrate our theoretical findings, we present…
▽ More
In this article, we introduce a four-point analogue of Banach-type, Kannan-type, and Chatterjea-type contractions, and examine their properties. We establish sufficient conditions under which these map**s achieve fixed points in a complete metric space. Notably, the classical Banach contraction principle emerges as a special case of our results. To illustrate our theoretical findings, we present several non-trivial examples.
△ Less
Submitted 10 July, 2024;
originally announced July 2024.
-
Graph Reconstruction with Connectivity Queries
Authors:
Kacper Kluk,
Hoang La,
Marta Piecyk
Abstract:
We study a problem of reconstruction of connected graphs where the input gives all subsets of size k that induce a connected subgraph. Originally introduced by Bastide et al. (WG 2023) for triples ($k=3$), this problem received comprehensive attention in their work, alongside a study by Qi, who provided a complete characterization of graphs uniquely reconstructible via their connected triples, i.e…
▽ More
We study a problem of reconstruction of connected graphs where the input gives all subsets of size k that induce a connected subgraph. Originally introduced by Bastide et al. (WG 2023) for triples ($k=3$), this problem received comprehensive attention in their work, alongside a study by Qi, who provided a complete characterization of graphs uniquely reconstructible via their connected triples, i.e. no other graphs share the same set of connected triples. Our contribution consists in output-polynomial time algorithms that enumerate every triangle-free graph (resp. every graph with bounded maximum degree) that is consistent with a specified set of connected $k$-sets. Notably, we prove that triangle-free graphs are uniquely reconstructible, while graphs with bounded maximum degree that are consistent with the same $k$-sets share a substantial common structure, differing only locally. We suspect that the problem is NP-hard in general and provide a NP-hardness proof for a variant where the connectivity is specified for only some $k$-sets (with $k$ at least 4).
△ Less
Submitted 10 July, 2024;
originally announced July 2024.
-
On uniform Bishop-Phelps-Bollobás type approximations of linear operators and preservation of geometric properties
Authors:
Debmalya Sain,
Arpita Mal,
Kalidas Mandal,
Kallol Paul
Abstract:
We study uniform $ε-$BPB approximations of bounded linear operators between Banach spaces from a geometric perspective. We show that for sufficiently small positive values of $ε,$ many geometric properties like smoothness, norm attainment and extremality of operators are preserved under such approximations. We present examples of pairs of Banach spaces satisfying non-trivial norm preserving unifor…
▽ More
We study uniform $ε-$BPB approximations of bounded linear operators between Banach spaces from a geometric perspective. We show that for sufficiently small positive values of $ε,$ many geometric properties like smoothness, norm attainment and extremality of operators are preserved under such approximations. We present examples of pairs of Banach spaces satisfying non-trivial norm preserving uniform $ε-$BPB approximation property in the global sense. We also study these concepts in case of bounded linear operators between Hilbert spaces. Our approach in the present article leads to the improvement and generalization of some earlier results in this context.
△ Less
Submitted 10 July, 2024;
originally announced July 2024.
-
Decentralized Droop-based Finite-Control-Set Model Predictive Control of Inverter-based Resources in Islanded AC Microgrid
Authors:
Ayobami Olajube,
Koto Omiloli,
Satish Vedula,
Olugbenga Anubi
Abstract:
This paper presents an improved droop control method to ensure effective power sharing, voltage regulation, and frequency stabilization of inverter-based resources (IBRs) connected in parallel in an islanded AC microgrid. In the contemporary droop control algorithm, the distance between connected inverters affects the effectiveness of the active power-frequency and the reactive power-voltage droop…
▽ More
This paper presents an improved droop control method to ensure effective power sharing, voltage regulation, and frequency stabilization of inverter-based resources (IBRs) connected in parallel in an islanded AC microgrid. In the contemporary droop control algorithm, the distance between connected inverters affects the effectiveness of the active power-frequency and the reactive power-voltage droop characteristics which results in poor power sharing at the primary level of the microgrid. That is, high impedance emanating from long transmission lines results in instability, poor voltage tracking, and ineffective frequency regulation. Hence, in this work, we use a finite-control-set model predictive controller (FCS-MPC) in the inner loop, which gives efficient voltage tracking, good frequency regulation, and faster performance response. FCS-MPC is easy to implement in fast switching converters and does not suffer from computational burden unlike the continuous-set MPC and is also devoid of issues of multiple-loop, parameter variation, and slow response associated with conventional droop control methods. We derived the condition for bounded stability for the FCS-MPC and the proposed method is tested via a numerical simulation on three IBRs. The results show effective power sharing, capacitor voltage tracking, and efficient frequency regulation with reduced oscillations to changes in load.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Fibonacci--Theodorus Spiral and its properties
Authors:
Michael R. Bacon,
Charles K. Cook,
Rigoberto Flórez,
Robinson A. Higuita,
José L. Ramírez
Abstract:
Inspired by the ancient spiral constructed by the greek philosopher Theodorus which is based on concatenated right triangles, we have created a spiral. In this spiral, called \emph{Fibonacci--Theodorus}, the sides of the triangles have lengths corresponding to Fibonacci numbers. Towards the end of the paper, we present a generalized method applicable to second-order recurrence relations.
Our exp…
▽ More
Inspired by the ancient spiral constructed by the greek philosopher Theodorus which is based on concatenated right triangles, we have created a spiral. In this spiral, called \emph{Fibonacci--Theodorus}, the sides of the triangles have lengths corresponding to Fibonacci numbers. Towards the end of the paper, we present a generalized method applicable to second-order recurrence relations.
Our exploration of the Fibonacci--Theodorus spiral aims to address a variety of questions, showcasing its unique properties and behaviors. For example, we study topics such as area, perimeter, and angles. Notably, we establish a relationship between the ratio of two consecutive areas and the golden ratio, a pattern that extends to angles sharing a common vertex. Furthermore, we present some asymptotic results. For instance, we demonstrate that the sum of the first $n$ areas comprising the spiral approaches a multiple of the sum of the initial $n$ Fibonacci numbers. Moreover, we provide a sequence of open problems related to all spiral worked in this paper.
Finally, in his work Hahn, Hahn observed a potential connection between the golden ratio and the ratio of areas between spines of lengths $\sqrt{F_{n+1}}$ and $\sqrt{F_{n+2}-1}$ and the areas between spines of lengths $\sqrt{F_{n}}$ and $\sqrt{F_{n+1}-1}$ in the Theodorus spiral. However, no formal proof has been provided in his work. In this paper, we provide a proof for Hahn's conjecture.
△ Less
Submitted 24 June, 2024;
originally announced July 2024.
-
Pseudo generalized Ricci-recurrent spacetimes and modified gravity
Authors:
Krishnendu De,
Uday Chand De
Abstract:
In this paper we introduce and characterize a pseudo generalized Ricci-recurrent spacetimes and produce an example to verify the existence of such a spacetime. Then we demonstrate that a conformally flat generalized Ricci-recurrent spacetime with certain condition is a pseudo quasi-Einstein spacetime. Besides, it is proved that a pseudo generalized Ricci-recurrent generalized Robertson-Walker spac…
▽ More
In this paper we introduce and characterize a pseudo generalized Ricci-recurrent spacetimes and produce an example to verify the existence of such a spacetime. Then we demonstrate that a conformally flat generalized Ricci-recurrent spacetime with certain condition is a pseudo quasi-Einstein spacetime. Besides, it is proved that a pseudo generalized Ricci-recurrent generalized Robertson-Walker spacetime represents a perfect fluid spacetime. Lastly, we study the impact of this spacetime under $f(\mathcal{R},T^2)$ and $f\left(\mathcal{R}^{\ast}\right)$ gravity scenario and deduce several energy conditions.
△ Less
Submitted 23 June, 2024;
originally announced July 2024.
-
$L^p$-continuity of wave operators for higher order Schrödinger operators with threshold eigenvalues in high dimensions
Authors:
M. Burak Erdogan,
William R. Green,
Kevin LaMaster
Abstract:
We consider the higher order Schrödinger operator $H=(-Δ)^m+V(x)$ in $n$ dimensions with real-valued potential $V$ when $n>4m$, $m\in \mathbb N$. We adapt our recent results for $m>1$ to show that when $H$ has a threshold eigenvalue the wave operators are bounded on $L^p(\mathbb R^n)$ for the natural range $1\leq p<\frac{n}{2m}$ in both even and odd dimensions. The approach used works without dist…
▽ More
We consider the higher order Schrödinger operator $H=(-Δ)^m+V(x)$ in $n$ dimensions with real-valued potential $V$ when $n>4m$, $m\in \mathbb N$. We adapt our recent results for $m>1$ to show that when $H$ has a threshold eigenvalue the wave operators are bounded on $L^p(\mathbb R^n)$ for the natural range $1\leq p<\frac{n}{2m}$ in both even and odd dimensions. The approach used works without distinguishing even and odd cases, and matches the range of boundedness in the classical case when $m=1$. The proof applies in the classical $m=1$ case as well and simplifies the argument.
△ Less
Submitted 11 July, 2024; v1 submitted 9 July, 2024;
originally announced July 2024.
-
Twisted unipotent groups
Authors:
Ken A. Brown,
Shlomo Gelaki
Abstract:
We study the algebraic structure and representation theory of the Hopf algebras ${}_J\mathcal{O}(G)_J$ when $G$ is an affine algebraic unipotent group over $\mathbb{C}$ with $\mathrm{dim}(G) = n$ and $J$ is a Hopf $2$-cocycle for $G$. The cotriangular Hopf algebras ${}_J\mathcal{O}(G)_J$ have the same coalgebra structure as $\mathcal{O}(G)$ but a deformed multiplication. We show that they are invo…
▽ More
We study the algebraic structure and representation theory of the Hopf algebras ${}_J\mathcal{O}(G)_J$ when $G$ is an affine algebraic unipotent group over $\mathbb{C}$ with $\mathrm{dim}(G) = n$ and $J$ is a Hopf $2$-cocycle for $G$. The cotriangular Hopf algebras ${}_J\mathcal{O}(G)_J$ have the same coalgebra structure as $\mathcal{O}(G)$ but a deformed multiplication. We show that they are involutive $n$-step iterated Hopf Ore extensions of derivation type. The 2-cocycle $J$ has as support a closed subgroup $T$ of $G$, and ${}_J\mathcal{O}(G)_J$ is a crossed product $S \#_σU(\mathfrak{t})$, where $\mathfrak{t}$ is the Lie algebra of $T$ and $S$ is a deformed coideal subalgebra. The simple ${}_J\mathcal{O}(G)_J$-modules are stratified by a family of factor algebras ${}_J\mathcal{O}(Z_g)_J$, parametrised by the double cosets $TgT$ of $T$ in $G$. The finite dimensional simple ${}_J\mathcal{O}(G)_J$-modules are all 1-dimensional, so form a group $Γ$, which we prove to be an explicitly determined closed subgroup of $G$. A selection of examples illustrate our results.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Applications of the Green tensor estimates of the nonstationary Stokes system in the half space
Authors:
Kyungkeun Kang,
Baishun Lai,
Chen-Chih Lai,
Tai-Peng Tsai
Abstract:
In this paper, we present a series of applications of the pointwise estimates of the (unrestricted) Green tensor of the nonstationary Stokes system in the half space, established in our previous work [CMP 2023]. First, we show the $L^1$-$L^q$ estimates for the Stokes flow with possibly non-solenoidal $L^1$ initial data, generalizing the results of Giga-Matsui-Shimizu [Math. Z. 1999] and Desch-Hieb…
▽ More
In this paper, we present a series of applications of the pointwise estimates of the (unrestricted) Green tensor of the nonstationary Stokes system in the half space, established in our previous work [CMP 2023]. First, we show the $L^1$-$L^q$ estimates for the Stokes flow with possibly non-solenoidal $L^1$ initial data, generalizing the results of Giga-Matsui-Shimizu [Math. Z. 1999] and Desch-Hieber-Prüss [J. Evol. Equ. 2001]. Second, we construct mild solutions of the Navier-Stokes equations in the half space with mixed-type pointwise decay or with pointwise decay alongside boundary vanishing. Finally, we explore various coupled fluid systems in the half space including viscous resistive magnetohydrodynamics equations, a coupled system for the flow and the magnetic field of MHD type, and the nematic liquid crystal flow. For each of these systems, we construct mild solutions in $L^q$, pointwise decay, and uniformly local $L^q$ spaces.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Characterization of classical orthogonal polynomials in two variables
Authors:
Maurice Kenfack Nangho,
Kerstin Jordaan,
Bleriod Jiejip Nkwamouo
Abstract:
For a family of polynomials in two variables, orthogonal with respect to a weight function, we prove under some conditions, equivalence between: the Matrix Pearson equation of the weight, the second order linear partial differential equation, the orthogonality of the gradients, the Matrix Rodrigues formula involving tensor product of Matrices, and the so-called first structure relation. We then pr…
▽ More
For a family of polynomials in two variables, orthogonal with respect to a weight function, we prove under some conditions, equivalence between: the Matrix Pearson equation of the weight, the second order linear partial differential equation, the orthogonality of the gradients, the Matrix Rodrigues formula involving tensor product of Matrices, and the so-called first structure relation. We then propose a definition of classical orthogonal polynomials in two variables.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Rational points and Brauer--Manin obstruction on Shimura varieties of level one classifying abelian varieties with quaternionic multiplication
Authors:
Koji Matsuda
Abstract:
We show that the Shimura varieties of level one parametrizing QM-abelian varieties have rarely rational points.
We show that the Shimura varieties of level one parametrizing QM-abelian varieties have rarely rational points.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
$(ω, α, n)$-sensitivity and limit sets of zero entropy homeomorphisms on the square
Authors:
Jiehua Mai,
Enhui Shi,
Kesong Yan,
Fan** Zeng
Abstract:
For a homeomorphism $f$ of a compact metric space $X$ and a positive integer $n\geq 2$, we introduce the notion of $(ω, α, n)$-sensitivity of $f$, which describes such a kind of chaos: there is some $c>0$ such that for any $x\in X$ and any open neighborhood $U$ of $x$, there are points $\{x_i\}_{i=1}^n$ and $\{y_i\}_{i=1}^n$ in $U$ such that both the collection of $ω$-limit sets $ω(x_i, f)$ and th…
▽ More
For a homeomorphism $f$ of a compact metric space $X$ and a positive integer $n\geq 2$, we introduce the notion of $(ω, α, n)$-sensitivity of $f$, which describes such a kind of chaos: there is some $c>0$ such that for any $x\in X$ and any open neighborhood $U$ of $x$, there are points $\{x_i\}_{i=1}^n$ and $\{y_i\}_{i=1}^n$ in $U$ such that both the collection of $ω$-limit sets $ω(x_i, f)$ and that of the $α$-limit sets $α(y_i, f)$ are pairwise $c$-separated. Then we construct a class of homeomorphisms of the square $[-1, 1]^2$ which are $(ω, α, n)$-sensitive for any $n\geq 2$ and have zero topological entropies. To investigate further the complexity of zero entropy homeomorphisms by using limit sets, we analyze in depth the limit sets of square homeomorphisms by the boundary permeating technique. Specially, we prove that for any given set of points $Y\equiv\{y_{n1}, y_{n2}:n\in\mathbb N\}$ in $(-1, 1)^2$ which satisfies some loosely technical conditions, and for any given family of pairwise disjoint countable dense subsets $\{W_n:n\in\mathbb N\}$ of $(-1, 1)^2-Y$, there is a zero entropy homeomorphism $f$ on the square $[-1, 1]^2$ such that $ω(x, f)=\{y_{n1}\}$ and $α(x, f)=\{y_{n2}\}$ for any $n$ and any $x\in W_n$.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
A Locking-free modified conforming FEM for planar elasticity
Authors:
K. Mustapha,
W. McLean,
J. Dick,
Q. T. Le Gia
Abstract:
Due to the divergence-instability, low-order conforming finite element methods (FEMs) for nearly incompressible elasticity equations suffer from the so-called locking phenomenon as the Lamé parameter $λ\to\infty$ and consequently the material becomes more and more incompressible. For the piecewise linear case, the error in the $L^2$-norm of the standard Galerkin conforming FEM is bounded by…
▽ More
Due to the divergence-instability, low-order conforming finite element methods (FEMs) for nearly incompressible elasticity equations suffer from the so-called locking phenomenon as the Lamé parameter $λ\to\infty$ and consequently the material becomes more and more incompressible. For the piecewise linear case, the error in the $L^2$-norm of the standard Galerkin conforming FEM is bounded by $C_λh^2$. However, $C_λ\to \infty$ as $λ\to \infty$, resulting in poor accuracy for practical values of $h$ if $λ$ is sufficiently large. In this short paper, we show that for 2D problems the locking phenomenon can be controlled by replacing $λ$ with $λ^α$ in the stiffness matrix, for a certain choice of $α=α_*(h,λ)$ in the range $0<α\le 1$. We prove that for this optimal choice of $α$, the error in the $L^2$-norm is bounded by $Ch$ where $C$ does not depend on $λ$. Numerical experiments confirm the expected convergence behaviour and show that, for practical meshes, our locking-free method is more accurate than the standard method if the material is nearly incompressible. Our analysis also shows that the error in the $H^1$-norm is bounded by $Ch^{1/2}$, but our numerical experiments suggest that this bound is not sharp.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
On the support of solutions to nonlinear stochastic heat equations
Authors:
Beom-Seok Han,
Kunwoo Kim,
Jaeyun Yi
Abstract:
We investigate the strict positivity and the compact support property of solutions to the one-dimensional nonlinear stochastic heat equation: $$\partial_t u(t,x) = \frac{1}{2}\partial^2_x u(t,x) + σ(u(t,x))\dot{W}(t,x), \quad (t,x)\in \mathbf{R}_+\times\mathbf{R},$$ with nonnegative and compactly supported initial data $u_0$, where $\dot{W}$ is the space-time white noise and…
▽ More
We investigate the strict positivity and the compact support property of solutions to the one-dimensional nonlinear stochastic heat equation: $$\partial_t u(t,x) = \frac{1}{2}\partial^2_x u(t,x) + σ(u(t,x))\dot{W}(t,x), \quad (t,x)\in \mathbf{R}_+\times\mathbf{R},$$ with nonnegative and compactly supported initial data $u_0$, where $\dot{W}$ is the space-time white noise and $σ:\mathbf{R} \to \mathbf{R} $ is a continuous function with $σ(0)=0$. We prove that (i) if $v/ σ(v)$ is sufficiently large near $v=0$, then the solution $u(t,\cdot)$ is strictly positive for all $t>0$, and (ii) if $v/σ(v)$ is sufficiently small near $v= 0$, then the solution $u(t,\cdot)$ has compact support for all $t>0$. These findings extend previous results concerning the strict positivity and the compact support property, which were analyzed only for the case $σ(u)\approx u^γ$ for $γ>0$. Additionally, we establish the uniqueness of a solution and the weak comparison principle in case (i).
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Convergence rates for Poisson learning to a Poisson equation with measure data
Authors:
Leon Bungert,
Jeff Calder,
Max Mihailescu,
Kodjo Houssou,
Amber Yuan
Abstract:
In this paper we prove discrete to continuum convergence rates for Poisson Learning, a graph-based semi-supervised learning algorithm that is based on solving the graph Poisson equation with a source term consisting of a linear combination of Dirac deltas located at labeled points and carrying label information. The corresponding continuum equation is a Poisson equation with measure data in a Eucl…
▽ More
In this paper we prove discrete to continuum convergence rates for Poisson Learning, a graph-based semi-supervised learning algorithm that is based on solving the graph Poisson equation with a source term consisting of a linear combination of Dirac deltas located at labeled points and carrying label information. The corresponding continuum equation is a Poisson equation with measure data in a Euclidean domain $Ω\subset \mathbb{R}^d$. The singular nature of these equations is challenging and requires an approach with several distinct parts: (1) We prove quantitative error estimates when convolving the measure data of a Poisson equation with (approximately) radial function supported on balls. (2) We use quantitative variational techniques to prove discrete to continuum convergence rates on random geometric graphs with bandwidth $\varepsilon>0$ for bounded source terms. (3) We show how to regularize the graph Poisson equation via mollification with the graph heat kernel, and we study fine asymptotics of the heat kernel on random geometric graphs. Combining these three pillars we obtain $L^1$ convergence rates that scale, up to logarithmic factors, like $O(\varepsilon^{\frac{1}{d+2}})$ for general data distributions, and $O(\varepsilon^{\frac{2-σ}{d+4}})$ for uniformly distributed data, where $σ>0$. These rates are valid with high probability if $\varepsilon\gg\left({\log n}/{n}\right)^q$ where $n$ denotes the number of vertices of the graph and $q \approx \frac{1}{3d}$.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Interior points and Lebesgue measure of overlap** Mandelbrot percolation sets
Authors:
Vilma Orgoványi,
Károly Simon
Abstract:
We consider a special one-parameter family of d-dimensional random, homogeneous self-similar iterated function systems (IFSs) satisfying the finite type condition. The object of our study is the positivity of Lebesgue measure and the existence of interior points in these random sets and in particular the existence of an interesting parameter interval where the attractor has positive Lebesgue measu…
▽ More
We consider a special one-parameter family of d-dimensional random, homogeneous self-similar iterated function systems (IFSs) satisfying the finite type condition. The object of our study is the positivity of Lebesgue measure and the existence of interior points in these random sets and in particular the existence of an interesting parameter interval where the attractor has positive Lebesgue measure, but empty interior almost surely conditioned on the attractor not being empty. We give a sharp bound on the critical probability for the case of positivity Lebesgue measure using the theory of multitype branching processes in random environments and in some special cases on the critical probability for the existence of interior points. Using a recent result of Tom Rush, we provide a family of such random sets where there exists a parameter interval for which the corresponding attractor has a positive Lebesgue measure, but empty interior almost surely conditioned on the attractor not being empty.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Maximum stress minimization via data-driven multifidelity topology design
Authors:
Misato Kato,
Taisei Kii,
Kentaro Yaji,
Kikuo Fujita
Abstract:
The maximum stress minimization problem is among the most important topics for structural design. The conventional gradient-based topology optimization methods require transforming the original problem into a pseudo-problem by relaxation techniques. Since their parameters significantly influence optimization, accurately solving the maximum stress minimization problem without using relaxation techn…
▽ More
The maximum stress minimization problem is among the most important topics for structural design. The conventional gradient-based topology optimization methods require transforming the original problem into a pseudo-problem by relaxation techniques. Since their parameters significantly influence optimization, accurately solving the maximum stress minimization problem without using relaxation techniques is expected to achieve extreme performance. This paper focuses on this challenge and investigates whether designs with more avoided stress concentrations can be obtained by solving the original maximum stress minimization problem without relaxation techniques, compared to the solutions obtained by gradient-based topology optimization. We employ data-driven multifidelity topology design (MFTD), a gradient-free topology optimization based on evolutionary algorithms. The basic framework involves generating candidate solutions by solving a low-fidelity optimization problem, evaluating these solutions through high-fidelity forward analysis, and iteratively updating them using a deep generative model without sensitivity analysis. In this study, data-driven MFTD incorporates the optimized designs obtained by solving a gradient-based topology optimization problem with the p-norm stress measure in the initial solutions and solves the original maximum stress minimization problem based on a high-fidelity analysis with a body-fitted mesh. We demonstrate the effectiveness of our proposed approach through the benchmark of L-bracket. As a result of solving the original maximum stress minimization problem with data-driven MFTD, a volume reduction of up to 22.6% was achieved under the same maximum stress value, compared to the initial solution.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Variation of the centered maximal operator
Authors:
Paul Hagelstein,
Dariusz Kosz,
Krzysztof Stempak
Abstract:
Let $M$ denote the centered Hardy--Littlewood operator on $\mathbb{R}$. We prove that \[ {\rm Var} (Mf)\le {\rm Var} (f) - \frac12\big| |f(\infty)|-|f(-\infty)|\big| \] for piecewise constant functions $f$ with nonzero and zero values alternating. The above inequality strengthens a recent result of Bilz and Weigt proved for indicator functions of bounded variation vanishing at $\pm\infty$. We conj…
▽ More
Let $M$ denote the centered Hardy--Littlewood operator on $\mathbb{R}$. We prove that \[ {\rm Var} (Mf)\le {\rm Var} (f) - \frac12\big| |f(\infty)|-|f(-\infty)|\big| \] for piecewise constant functions $f$ with nonzero and zero values alternating. The above inequality strengthens a recent result of Bilz and Weigt proved for indicator functions of bounded variation vanishing at $\pm\infty$. We conjecture that the inequality holds for all functions of bounded variation, which is a stronger version of the known conjecture ${\rm Var} (Mf)\le {\rm Var} (f)$. We also obtain the discrete counterpart of our theorem, moreover proving a transference result on equivalency between both settings that is of independent interest.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Superlinsing using sign-changing metamaterials on networks
Authors:
Kaïs Ammari,
Eric Bonnetier,
Alessandro Duca
Abstract:
We study composite assemblages of dielectrics and metamaterials with respectively positive and negative material parameters. In the continuum case, for a scalar equation, such media may exhibit so-called plasmonic resonances for certain values of the (negative) conductivity in the metamaterial. This work investigates such resonances, and the associated eigenfunctions, in the case of composite cond…
▽ More
We study composite assemblages of dielectrics and metamaterials with respectively positive and negative material parameters. In the continuum case, for a scalar equation, such media may exhibit so-called plasmonic resonances for certain values of the (negative) conductivity in the metamaterial. This work investigates such resonances, and the associated eigenfunctions, in the case of composite conducting networks. Unlike the continuous media, we show a surprising specific dependence on the geometry of the network of the resonant values. We also study how the problem is affected by the choice of boundary conditions on the external nodes of the structure.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Subspaces, subsets, and Motzkin paths
Authors:
Jonathan D. Farley,
Murali K. Srinivasan
Abstract:
We define a map from subspaces to Motzkin paths and show that the inverse image of every path is a disjoint union of symmetric Boolean subsets yielding an explicit symmetric Boolean decomposition of the subspace lattice.
We define a map from subspaces to Motzkin paths and show that the inverse image of every path is a disjoint union of symmetric Boolean subsets yielding an explicit symmetric Boolean decomposition of the subspace lattice.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Fast Distributed Optimization over Directed Graphs under Malicious Attacks using Trust
Authors:
Arif Kerem Dayı,
Orhan Eren Akgün,
Stephanie Gil,
Michal Yemini,
Angelia Nedić
Abstract:
In this work, we introduce the Resilient Projected Push-Pull (RP3) algorithm designed for distributed optimization in multi-agent cyber-physical systems with directed communication graphs and the presence of malicious agents. Our algorithm leverages stochastic inter-agent trust values and gradient tracking to achieve geometric convergence rates in expectation even in adversarial environments. We i…
▽ More
In this work, we introduce the Resilient Projected Push-Pull (RP3) algorithm designed for distributed optimization in multi-agent cyber-physical systems with directed communication graphs and the presence of malicious agents. Our algorithm leverages stochastic inter-agent trust values and gradient tracking to achieve geometric convergence rates in expectation even in adversarial environments. We introduce growing constraint sets to limit the impact of the malicious agents without compromising the geometric convergence rate of the algorithm. We prove that RP3 converges to the nominal optimal solution almost surely and in the $r$-th mean for any $r\geq 1$, provided the step sizes are sufficiently small and the constraint sets are appropriately chosen. We validate our approach with numerical studies on average consensus and multi-robot target tracking problems, demonstrating that RP3 effectively mitigates the impact of malicious agents and achieves the desired geometric convergence.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Representation Type of the Descent Algebras of Type $\mathbb{A}$
Authors:
Karin Erdmann,
Kay ** Lim
Abstract:
We classify the representation type of the descent algebras of type $\mathbb{A}$ in the positive characteristic case.
We classify the representation type of the descent algebras of type $\mathbb{A}$ in the positive characteristic case.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
A Constrained Least-Squares Ghost Sample Points (CLS-GSP) Method for Differential Operators on Point Clouds
Authors:
Ningchen Ying,
Kwunlun Chu,
Shingyu Leung
Abstract:
We introduce a novel meshless method called the Constrained Least-Squares Ghost Sample Points (CLS-GSP) method for solving partial differential equations on irregular domains or manifolds represented by randomly generated sample points. Our approach involves two key innovations. Firstly, we locally reconstruct the underlying function using a linear combination of radial basis functions centered at…
▽ More
We introduce a novel meshless method called the Constrained Least-Squares Ghost Sample Points (CLS-GSP) method for solving partial differential equations on irregular domains or manifolds represented by randomly generated sample points. Our approach involves two key innovations. Firstly, we locally reconstruct the underlying function using a linear combination of radial basis functions centered at a set of carefully chosen \textit{ghost sample points} that are independent of the point cloud samples. Secondly, unlike conventional least-squares methods, which minimize the sum of squared differences from all sample points, we regularize the local reconstruction by imposing a hard constraint to ensure that the least-squares approximation precisely passes through the center. This simple yet effective constraint significantly enhances the diagonal dominance and conditioning of the resulting differential matrix. We provide analytical proofs demonstrating that our method consistently estimates the exact Laplacian. Additionally, we present various numerical examples showcasing the effectiveness of our proposed approach in solving the Laplace/Poisson equation and related eigenvalue problems.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
Two-dimensional Brownian motion with dependent components: turning angle analysis
Authors:
Michał Balcerek,
Adrian Pacheco-Pozo,
Agnieszka Wyłomanska,
Krzysztof Burnecki,
Diego Krapf
Abstract:
Brownian motion in one or more dimensions is extensively used as a stochastic process to model natural and engineering signals, as well as financial data. Most works dealing with multidimensional Brownian motion assume that each component is independent. In this article, we investigate a model of correlated Brownian motion in $\mathbb{R}^2$, where the individual components are not necessarily inde…
▽ More
Brownian motion in one or more dimensions is extensively used as a stochastic process to model natural and engineering signals, as well as financial data. Most works dealing with multidimensional Brownian motion assume that each component is independent. In this article, we investigate a model of correlated Brownian motion in $\mathbb{R}^2$, where the individual components are not necessarily independent. We explore various statistical properties of the process under consideration, going beyond the conventional analysis of the second moment. Our particular focus lies on investigating the distribution of turning angles. This distribution reveals particularly interesting characteristics for processes with dependent components that are relevant to applications in diverse physical systems. Theoretical considerations are supported by numerical simulations and analysis of two real-world datasets: the financial data of the Dow Jones Industrial Average and the Standard and Poor's 500, and trajectories of polystyrene beads in water. Finally, we show that the model can be readily extended to trajectories with correlations that change over time.
△ Less
Submitted 10 July, 2024; v1 submitted 8 July, 2024;
originally announced July 2024.
-
Cotilting modules and Gorenstein homological dimensions
Authors:
Kamran Divaani-Aazar,
Ali Mahin Fallah,
Massoud Tousi
Abstract:
For a dualizing module $D$ over a commutative Noetherian ring $R$ with identity, it is known that its Auslander class $\mathscr{A}_D\left(R\right)$ (respectively, Bass class $\mathscr{B}_D\left(R\right)$) is characterized as those $R$-modules with finite Gorenstein flat dimension (respectively, finite Gorenstein injective dimension). We establish an analogue of this result in the context of cotilt…
▽ More
For a dualizing module $D$ over a commutative Noetherian ring $R$ with identity, it is known that its Auslander class $\mathscr{A}_D\left(R\right)$ (respectively, Bass class $\mathscr{B}_D\left(R\right)$) is characterized as those $R$-modules with finite Gorenstein flat dimension (respectively, finite Gorenstein injective dimension). We establish an analogue of this result in the context of cotilting modules over general Noetherain rings.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
On the Wakamatsu tilting conjecture
Authors:
Kamran Divaani-Aazar,
Ali Mahin Fallah,
Massoud Tousi
Abstract:
Let R be an associative ring with identity. We establish that the generalized Auslander-Reiten conjecture implies the Wakamatsu tilting conjecture. Furthermore, we prove that any Wakamatsu tilting R-module of finite projective dimension that is tensorly faithful is projective. By utilizing this result, we show the validity of the Wakamatsu tilting conjecture for R in two cases: when R is a left Ar…
▽ More
Let R be an associative ring with identity. We establish that the generalized Auslander-Reiten conjecture implies the Wakamatsu tilting conjecture. Furthermore, we prove that any Wakamatsu tilting R-module of finite projective dimension that is tensorly faithful is projective. By utilizing this result, we show the validity of the Wakamatsu tilting conjecture for R in two cases: when R is a left Artinian local ring or when it is the group ring of a finite group G over a commutative Artinian ring.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.