Mathematics
See recent articles
- [1] arXiv:2408.16772 [pdf, html, other]
-
Title: An Effective Information Theoretic Framework for Channel PruningSubjects: Information Theory (cs.IT); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
Channel pruning is a promising method for accelerating and compressing convolutional neural networks. However, current pruning algorithms still remain unsolved problems that how to assign layer-wise pruning ratios properly and discard the least important channels with a convincing criterion. In this paper, we present a novel channel pruning approach via information theory and interpretability of neural networks. Specifically, we regard information entropy as the expected amount of information for convolutional layers. In addition, if we suppose a matrix as a system of linear equations, a higher-rank matrix represents there exist more solutions to it, which indicates more uncertainty. From the point of view of information theory, the rank can also describe the amount of information. In a neural network, considering the rank and entropy as two information indicators of convolutional layers, we propose a fusion function to reach a compromise of them, where the fusion results are defined as ``information concentration''. When pre-defining layer-wise pruning ratios, we employ the information concentration as a reference instead of heuristic and engineering tuning to provide a more interpretable solution. Moreover, we leverage Shapley values, which are a potent tool in the interpretability of neural networks, to evaluate the channel contributions and discard the least important channels for model compression while maintaining its performance. Extensive experiments demonstrate the effectiveness and promising performance of our method. For example, our method improves the accuracy by 0.21% when reducing 45.5% FLOPs and removing 40.3% parameters for ResNet-56 on CIFAR-10. Moreover, our method obtains loss in Top-1/Top-5 accuracies of 0.43%/0.11% by reducing 41.6% FLOPs and removing 35.0% parameters for ResNet-50 on ImageNet.
- [2] arXiv:2408.16774 [pdf, other]
-
Title: Optimal UCA Design for OAM Based Wireless Backhaul TransmissionSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Orbital angular momentum (OAM), which is considered as a novel way to achieve high capacity, has been attracted much attention recently. OAM signals emitted by uniform circular array (UCA) are widely regarded to go through the Bessel-form channels. However, the channel gains corresponding to the Bessel-form channels are with low signal-to-noise-ratio (SNR) on OAM-modes and it is difficult to achieve high capacity using all OAM modes. To achieve maximum capacity offered by OAM multiplexing for wireless backhaul communications, in this paper we propose the optimal UCA design, which selects the optimal OAM-modes and radius of receive UCA. We formulate the capacity maximization problem and divide it into two subproblems for obtaining the corresponding optimal UCA design for OAM multiplexing based wireless backhaul communications. In particular, the optimal radius of the receive UCA is firstly derived. Then, we propose an mode selection scheme to choose appropriate OAM-modes for data transmission to maximize the capacity. Extensive simulations obtained validate that the capacity of OAM multiplexing can be significantly increased with our developed scheme.
- [3] arXiv:2408.16775 [pdf, other]
-
Title: Acyclicity conditions on pasting diagramsComments: 40 pages, self-contained presentation of parts of arXiv:2404.07273. To appear in Applied Categorical StructuresSubjects: Category Theory (math.CT)
We study various acyclicity conditions on higher-categorical pasting diagrams in the combinatorial framework of regular directed complexes. We present an apparently weakest acyclicity condition under which the $\omega$-category presented by a diagram shape is freely generated in the sense of polygraphs. We then consider stronger conditions under which this $\omega$-category is equivalent to one obtained from an augmented directed chain complex in the sense of Steiner, or consists only of subsets of cells in the diagram. Finally, we study the stability of these conditions under the operations of pasting, suspensions, Gray products, joins and duals.
- [4] arXiv:2408.16781 [pdf, html, other]
-
Title: A result on the Chermak-Delgado measure of a finite groupComments: accepted for publication in Facta Univ., Series Math. InformSubjects: Group Theory (math.GR)
In this short note, we describe finite groups all of whose non-trivial cyclic subgroups have the same Chermak-Delgado measure.
- [5] arXiv:2408.16783 [pdf, html, other]
-
Title: Is there a group structure on the Galois cohomology of a reductive group over a global field?Comments: 5 pages. This is a part of arXiv:2403.07659 to be published separatelySubjects: Number Theory (math.NT); Algebraic Geometry (math.AG); Group Theory (math.GR)
Let K be a global field, that is, a number field or a global function field. It is known that the answer to the question in the title over K is "Yes" when K has no real embeddings. We show that otherwise the answer is "No". Namely, we show that when K is a number field admitting a real embedding, it is impossible to define a group structure on the first Galois cohomology sets H^1(K,G) for all reductive K-groups G in a functorial way.
- [6] arXiv:2408.16785 [pdf, html, other]
-
Title: Zeros of $S$-charactersSubjects: Group Theory (math.GR); Representation Theory (math.RT)
The concept of $S$-characters of finite groups was introduced by Zhmud as a generalisation of transitive permutation characters. Any non-trivial $S$-character takes a zero value on some group element. By a deep result depending on the classification of finite simple groups a non-trivial transitive permutation character even vanishes on some element of prime power order. We present an example that this does not generalise to $S$-characters, thereby answering a question posed by J.-P. Serre.
- [7] arXiv:2408.16786 [pdf, html, other]
-
Title: Jammer Mitigation in Absorptive RIS-Assisted Uplink NOMAAzadeh Tabeshnezhad, Yuqing Zhu, Artem Vilenskiy, Van Ly Nguyen, A. Lee Swindlehurst, Tommy SvenssonSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Non-orthogonal multiple access (NOMA) is a promising technology for next-generation wireless communication systems due to its enhanced spectral efficiency. In this paper, we consider an uplink NOMA system operating together with a high-dimensional absorptive reconfigurable intelligent surface (A-RIS). We aim to minimize the total power transmitted by the users in order to meet signal-to-interference-plus-noise constraints at the base station in the presence of a jammer. We propose an iterative algorithm to solve the high-dimensional non-convex optimization problem using linear programming to find the transmit powers and a fractional programming algorithm based on the Dinkelbach algorithm with a sequential convex relaxation procedure to optimize the reflection coefficients. We show that our algorithm converges on large optimization problems, with a jammer comprising as many as $64$ antennas, and an A-RIS with $128$ elements. Our numerical results show that, compared with a standard RIS that reflects all impinging energy, the A-RIS can dramatically reduce the users' required transmit power and successfully mitigate interference from the jammer. The absorption capability of the A-RIS is in particular useful in cases when the number of jammer antennas is of the same order as the number of A-RIS elements.
- [8] arXiv:2408.16787 [pdf, html, other]
-
Title: Homotopy chiral algebrasComments: 21 pagesSubjects: Algebraic Topology (math.AT); Mathematical Physics (math-ph)
We define a notion of a homotopy chiral algebra (HCA), which means a chiral algebra up to higher homotopies, and prove that the Cech complex of a sheaf of chiral algebras admits a structure of a HCA.
- [9] arXiv:2408.16795 [pdf, html, other]
-
Title: Cellular homology of compact groups: Split real formsSubjects: Algebraic Topology (math.AT); K-Theory and Homology (math.KT)
In this article, we use the Bruhat and Schubert cells to calculate the cellular homology of the maximal compact subgroup $K$ of a connected semisimple Lie group $G$ whose Lie algebra is a split real form. We lift to the maximal compact subgroup the previously known attaching maps for the maximal flag manifold and use it to characterize algebraically the incidence order between Schubert cells. We also present algebraic formulas to compute the boundary maps which extend to the maximal compact subgroups similar formulas obtained in the case of the maximal flag manifolds. Finally, we apply our results to calculate the cellular homology of $\mbox{SO}(3)$ as the maximal compact subgroup of $\mbox{SL}(3, \mathbb{R})$ and the cellular homology of $\mbox{SO}(4)$ as the maximal compact subgroup of the split real form $G_2$.
- [10] arXiv:2408.16799 [pdf, html, other]
-
Title: Replica Analysis for Ensemble Techniques in Variable SelectionComments: 25 pages, 4 figures, 1 tableSubjects: Statistics Theory (math.ST); Disordered Systems and Neural Networks (cond-mat.dis-nn); Statistical Mechanics (cond-mat.stat-mech); Information Theory (cs.IT)
Variable selection is a problem of statistics that aims to find the subset of the $N$-dimensional possible explanatory variables that are truly related to the generation process of the response variable. In high-dimensional setups, where the input dimension $N$ is comparable to the data size $M$, it is difficult to use classic methods based on $p$-values. Therefore, methods based on the ensemble learning are often used. In this review article, we introduce how the performance of these ensemble-based methods can be systematically analyzed using the replica method from statistical mechanics when $N$ and $M$ diverge at the same rate as $N,M\to\infty, M/N\to\alpha\in(0,\infty)$. As a concrete application, we analyze the power of stability selection (SS) and the derandomized knockoff (dKO) with the $\ell_1$-regularized statistics in the high-dimensional linear model. The result indicates that dKO provably outperforms the vanilla knockoff and the standard SS, while increasing the bootstrap resampling rate in SS might further improve the detection power.
- [11] arXiv:2408.16838 [pdf, html, other]
-
Title: Tubes in sub-Riemannian geometry and a Weyl's invariance result for curves in the Heisenberg groupsComments: 25 pages, 1 figureSubjects: Differential Geometry (math.DG); Metric Geometry (math.MG)
The purpose of the paper is threefold: first, we prove optimal regularity results for the distance from $C^k$ submanifolds of general rank-varying sub-Riemannian structures. Then, we study the asymptotics of the volume of tubular neighbourhoods around such submanifolds. Finally, for the case of curves in the Heisenberg groups, we prove a Weyl's invariance result: the volume of small tubes around a curve does not depend on the way the curve is isometrically embedded, but only on its Reeb angle. The proof does not need the computation of the actual volume of the tube, and it is new even for the three-dimensional Heisenberg group.
- [12] arXiv:2408.16839 [pdf, other]
-
Title: Braid graphs in simply-laced triangle-free Coxeter systems are medianComments: 24 pages, 19 figuresSubjects: Combinatorics (math.CO)
Any two reduced expressions for the same Coxeter group element are related by a sequence of commutation and braid moves. Two reduced expressions are said to be braid equivalent if they are related via a sequence of braid moves. Braid equivalence is an equivalence relation and the corresponding equivalence classes are called braid classes. Each braid class can be encoded in terms of a braid graph in a natural way. In a recent paper, Awik et al.~proved that when a Coxeter system is simply laced and triangle free (i.e., the corresponding Coxeter graph has no three-cycles), the braid graph for a reduced expression is a partial cube (i.e., isometric to a subgraph of a hypercube). In this paper, we will provide an alternate proof of this fact, as well as determine the minimal dimension hypercube into which a braid graph can be isometrically embedded, which addresses an open question posed by Awik et al. For our main result, we prove that braid graphs in simply-laced triangle-free Coxeter systems are median, which is a strengthening of previous results.
- [13] arXiv:2408.16853 [pdf, html, other]
-
Title: RIS-Aided Backscattering Tag-to-Tag Networks: Performance AnalysisSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Backscattering tag-to-tag networks (BTTNs) represent a passive radio frequency identification (RFID) system that enables direct communication between tags within an external radio frequency (RF) field. However, low spectral efficiency and short-range communication capabilities, along with the ultra-low power nature of the tags, create significant challenges for reliable and practical applications of BTTNs. To address these challenges, this paper introduces integrating an indoor reconfigurable intelligent surface (RIS) into BTTN and studying RIS's impact on the system's performance. To that end, we first derive compact analytical expressions of the probability density function (PDF) and cumulative distribution function (CDF) for the received signal-to-noise ratio (SNR) at the receiver tag by exploiting the moment matching technique. Then, based on the derived PDF and CDF, we further derive analytical expressions of outage probability (OP), bit error rate (BER), and average capacity (AC) rate. Eventually, the Monte Carlo simulation is used to validate the accuracy of the analytical results, revealing that utilizing RIS can greatly improve the performance of BTTNs in terms of AC, BER, OP, and coverage region relative to traditional BTTNs setups that do not incorporate RIS.
- [14] arXiv:2408.16855 [pdf, html, other]
-
Title: Trajectory Surfaces of Framed Curvature FlowComments: 25 pagesSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
This work introduces the framed curvature flow, a generalization of both the curve shortening flow and the vortex filament equation. Here, the magnitude of the velocity vector is still determined by the curvature, but its direction is given by an associated time-dependent moving frame. After establishing local existence and global estimates, we analyze the trajectory surfaces generated by different variations of this flow, specifically those leading to surfaces of constant mean or Gaussian curvature.
- [15] arXiv:2408.16858 [pdf, html, other]
-
Title: Invariants of the quantum graph of the partial traceComments: 6 pages, comments welcomeSubjects: Mathematical Physics (math-ph); Information Theory (cs.IT)
We compute the independence number, zero-error capacity, and the values of the Lovász function and the quantum Lovász function for the quantum graph associated to the partial trace quantum channel $\operatorname{Tr}_n\otimes\mathrm{id}_k\colon\operatorname{B}(\mathbb{C}^n\otimes\mathbb{C}^k)\to\operatorname{B}(\mathbb{C}^k)$.
- [16] arXiv:2408.16860 [pdf, html, other]
-
Title: On symmetric hollow integer matrices with eigenvalues bounded from belowComments: 7 pagesSubjects: Combinatorics (math.CO)
A hollow matrix is a square matrix whose diagonal entries are all equal to zero. Define $\lambda^* = \rho^{1/2} + \rho^{-1/2} \approx 2.01980$, where $\rho$ is the unique real root of $x^3 = x + 1$. We show that for every $\lambda < \lambda^*$, there exists $n \in \mathbb{N}$ such that if a symmetric hollow integer matrix has an eigenvalue less than $-\lambda$, then one of its principal submatrices of order at most $n$ does as well. However, the same conclusion does not hold for any $\lambda \ge \lambda^*$.
- [17] arXiv:2408.16872 [pdf, html, other]
-
Title: Analysis of the Picard-Newton iteration for the incompressible Boussinesq equationsComments: 20 pages, 14 figures, 5 tablesSubjects: Numerical Analysis (math.NA)
We study the Picard-Newton iteration for the incompressible Boussinesq equations, which is a two-step iteration resulting from the composition of the Picard and Newton iterations. We prove that this iterative method retains Newton's quadratic convergence but has less restrictive sufficient conditions for convergence than Newton and also is unconditionally stable under a small data condition. In this sense, Picard-Newton can be considered as a Newton iteration that is nonlinearly preconditioned with Picard. Our numerical tests illustrate this quadratic convergence and stability on benchmark problems. Furthermore, the tests show convergence for significantly higher Rayleigh number than both Picard and Newton, which illustrates the larger convergence basin of Picard-Newton that the theory predicts. We also introduce Anderson acceleration into the Picard step in our Picard-Newton numerical tests, and this enables convergence for even higher Rayleigh number.
- [18] arXiv:2408.16894 [pdf, html, other]
-
Title: Asymptotic Behaviour of three fractional spacesSubjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)
We obtain asymptotically sharp identification of fractional Sobolev spaces $ W^{s}_{p,q}$, extension spaces $E^{s}_{p,q}$, and Triebel-Lizorkin spaces $\dot{F}^s_{p,q}$. In particular we obtain for $W^{s}_{p,q}$ and $E^{s}_{p,q}$ a stability theory a la Bourgain-Brezis-Mironescu as $s \to 1$, answering a question raised by Brazke--Schikorra--Yung. Part of the results are new even for $p=q$.
- [19] arXiv:2408.16895 [pdf, html, other]
-
Title: Chevalley groups over $\Z$: A representation-theoretic approachSubjects: Representation Theory (math.RT)
Let $G(\mathbb{Q})$ be a simply connected Chevalley group over $\mathbb{Q}$ corresponding to a simple Lie algebra $\mathfrak g$ over $\mathbb{C}$. Let $V$ be a finite dimensional faithful highest weight $\mathfrak g$-module and let $V_\mathbb{Z}$ be a Chevalley $\mathbb{Z}$-form of $V$. Let $\Gamma(\mathbb{Z})$ be the subgroup of $G(\mathbb{Q})$ that preserves $V_{\mathbb{Z}}$ and let $G(\mathbb{Z})$ be the group of $\mathbb{Z}$-points of $G(\mathbb{Q})$. Then $G(\mathbb{Q})$ is \emph{integral} if $G(\mathbb{Z})=\Gamma(\mathbb{Z})$. Chevalley's original work constructs a scheme-theoretic integral form of $G(\mathbb{Q})$ which equals $\Gamma(\mathbb{Z})$. Here we give a representation-theoretic proof of integrality of $G(\mathbb{Q})$ using only the action of $G(\mathbb{Q})$ on $V$, rather than the language of group schemes. We discuss the challenges and open problems that arise in trying to extend this to a proof of integrality for Kac-Moody groups over $\mathbb{Q}$.
- [20] arXiv:2408.16897 [pdf, html, other]
-
Title: Algebraic method of group classification for semi-normalized classes of differential equationsComments: 42 pagesSubjects: Mathematical Physics (math-ph); Analysis of PDEs (math.AP); Quantum Physics (quant-ph)
We generalize the notion of semi-normalized classes of systems of differential equations, study properties of such classes and extend the algebraic method of group classification to them. In particular, we prove the important theorems on factoring out symmetry groups and invariance algebras of systems from semi-normalized classes and on splitting such groups and algebras within disjointedly semi-normalized classes. Nontrivial particular examples of classes that arise in real-world applications and showcase the relevance of the developed theory are provided. To convincingly illustrate the efficiency of the proposed method, we apply it to the group classification problem for the class of linear Schrödinger equations with complex-valued potentials and the general value of the space dimension. We compute the equivalence groupoid of the class by the direct method and thus show that this class is uniformly semi-normalized with respect to the linear superposition of solutions. This is why the group classification problem reduces to the classification of specific low-dimensional subalgebras of the associated equivalence algebra, which is completely realized for the case of space dimension two. Splitting into different classification cases is based on three integer parameters that are invariant with respect to equivalence transformations. We also single out those of the obtained results that are relevant to linear Schrödinger equations with real-valued potentials.
- [21] arXiv:2408.16902 [pdf, html, other]
-
Title: Zero attractors of hook polynomials and related questionsSubjects: Combinatorics (math.CO); Number Theory (math.NT)
We study zero attractors for polynomials built from partition statistics, complementing earlier work in this direction by Boyer, Goh, Parry, and others. In particular, using analytic methods we establish the zero attractor of partition $t$-hook polynomials for $t \geq 6$, addressing a question of Males with two of the authors. We also discuss some open problems and present data on other polynomial families, including those associated to deformations of Rogers--Ramanujan functions.
- [22] arXiv:2408.16904 [pdf, other]
-
Title: Maximal almost rigid modules over gentle algebrasComments: 50 pages, 35 figures. Comments are welcome!Subjects: Representation Theory (math.RT); Combinatorics (math.CO)
We study maximal almost rigid modules over a gentle algebra $A$. We prove that the number of indecomposable direct summands of every maximal almost rigid $A$-module is equal to the sum of the number of vertices and the number of arrows of the Gabriel quiver of $A$. Moreover, the algebra $A$, considered as an $A$-module, can be completed to a maximal almost rigid module in a unique way.
Gentle algebras are precisely the tiling algebras of surfaces with marked points. We show that the (permissible) triangulations of the surface of $A$ are in bijection with the maximal almost rigid $A$-modules.
Furthermore, we study the endomorphism algebra $C=\text{End}_A T$ of a maximal almost rigid module $T$. We construct a fully faithful functor $G\colon \text{mod}\,A\to \text{mod}\, \overline{A}$ into the module category of a bigger gentle algebra $\overline{A}$ and show that $G$ maps maximal almost rigid $A$-modules to tilting $\overline{A}$-modules. In particular, $C$ and $\overline{A}$ are derived equivalent and $C$ is gentle.
After giving a geometric realization of the functor $G$, we obtain a tiling $G(\mathbf{T})$ of the surface of $\overline{A}$ as the image of the triangulation $\mathbf{T}$ corresponding to $T$. We then show that the tiling algebra of $G(\mathbf{T})$ is $C$. Moreover, the tiling algebra of $\mathbf{T}$ is obtained algebraically from $C$ as the tensor algebra with respect to the $C$-bimodule $\text{Ext}_C^2(DC,C)$, which also is fundamental in cluster-tilting theory. - [23] arXiv:2408.16906 [pdf, html, other]
-
Title: Convexity of sums of eigenvalues of a segment of unitariesComments: 20 pagesSubjects: Functional Analysis (math.FA); Differential Geometry (math.DG); Metric Geometry (math.MG)
For a $n\times n$ unitary matrix $u=e^z$ with $z$ skew-Hermitian, the angles of $u$ are the arguments of its spectrum, i.e. the spectrum of $-iz$. For $1\le m\le n$, we show that $s_m(t)$, the sum of the first $m$ angles of the path $t\mapsto e^{tx}e^y$ of unitary matrices, is a convex function of $t$ (provided the path stays in a vecinity of the identity matrix). This vecinity is described in terms of the opertor norm of matrices, and it is optimal. We show that the when all the maps $t\mapsto s_m(t)$ are linear, then $x$ commutes with $y$. Several application to unitarily invariant norms in the unitary group are given. Then we extend these applications to $Ad$-invariant Finsler norms in the special unitary group of matrices. This last result is obtained by proving that any $Ad$-invariant Finsler norm in a compact semi-simple Lie group $K$ is the supremum of a family of what we call orbit norms, induced by the Killing form of $K$.
- [24] arXiv:2408.16908 [pdf, html, other]
-
Title: Concentration and mean field approximation results for Markov processes on large networksSubjects: Probability (math.PR)
We study Markov processes on weighted directed hypergraphs where the state of at most one vertex can change at a time. Our setting is general enough to include simplicial epidemic processes, processes on multilayered networks or even the dynamics of the edges of a graph.
Our results are twofold. Firstly, we prove concentration bounds for the number of vertices in a certain state under mild assumptions. Our results imply that even the empirical averages of subpopulations of diverging but possibly sublinear size are well concentrated around their mean. In the case of undirected weighted graphs, we completely characterize when said averages concentrate around their expected value.
Secondly, we prove (under assumptions which are tight in some significant cases) upper bounds for the error of the N-Intertwined Mean Field Approximation (NIMFA). In particular, for symmetric unweighted graphs, the error has the same order of magnitude as the reciprocal of the average degree, improving the previously known state of the art bound of the inverse square root of the average degree. - [25] arXiv:2408.16910 [pdf, html, other]
-
Title: A Generalized Burge Correspondence and $k$-measure of PartitionsComments: 27 pages, 5 figuresSubjects: Combinatorics (math.CO)
Let $P$ be the set of integer partitions and $D$ the subset of those with distinct parts. We extend a correspondence of Burge between partitions and binary words to give encodings of both $D$ and $D$ as words over a $k$-ary alphabet, for any fixed $k\geq 2$. These are used to prove refinements of two partition identities involving $k$-measure that were recently derived algebraically by Andrews, Chern and Li. The relationship between our encoding of $D$ and minimum gap-size partition identities (e.g. Schur's Theorem) is also briefly discussed.
- [26] arXiv:2408.16917 [pdf, html, other]
-
Title: Blow-up solutions for mean field equations with Neumann boundary conditions on Riemann surfacesSubjects: Analysis of PDEs (math.AP)
On a compact Riemann surface $(\Sigma, g)$ with a smooth boundary $\partial \Sigma$, we consider the following mean field equations with Neumann boundary conditions: $$ -\Delta_g u = \lambda \left(\frac{Ve^u}{\int_{\Sigma} Ve^u \, dv_g} - \frac{1}{|\Sigma|_g}\right) \text{ in } \Sigma \text{ with } \partial_{\nu_g} u = 0 \text{ on } \partial \Sigma, $$ We find conditions on the potential function $V: \Sigma \to \mathbb{R}^+$ such that solutions exist for the parameter $\lambda$ when it is in a small right (or left) neighborhood of a critical value $4\pi(m+k)$ for $k \leq m \in \mathbb{N}_+$ and blow up as $\lambda$ approaches the critical parameter. The blow-up occurs exactly at $k$ points in the interior of $\Sigma$ and $(m-k)$ points on the boundary $\partial \Sigma$.
- [27] arXiv:2408.16918 [pdf, html, other]
-
Title: Non-Monotone Variational InequalitiesSubjects: Optimization and Control (math.OC)
In this paper, we focus on deriving some sufficient conditions for the existence of solutions to non-monotone Variational Inequalities (VIs) based on inverse mapping theory. We have obtained several widely applicable sufficient conditions for this problem and have introduced a sufficient condition for the existence of a Minty solution. We have shown that the extra-gradient method converges to a solution of VI in the presence of a Minty solution. Additionally, we have shown that, under some extra assumption, the algorithm is efficient and approaches a particular type of Minty solution. Interpreting these results in an equivalent game theory problem, weak coupling conditions will be obtained, stating that if the players' cost functions are sufficiently weakly coupled, the game has a pure quasi-Nash equilibrium. Moreover, under the additional assumption of the existence of Minty solutions, a pure Nash equilibrium exists for the corresponding game.
- [28] arXiv:2408.16920 [pdf, html, other]
-
Title: Anderson acceleration with adaptive relaxation for convergent fixed-point iterationsComments: 23 pages, 9 figuresSubjects: Numerical Analysis (math.NA)
Two adaptive relaxation strategies are proposed for Anderson acceleration. They are specifically designed for applications in which mappings converge to a fixed point. Their superiority over alternative Anderson acceleration is demonstrated for linear contraction mappings. Both strategies perform well in three nonlinear fixed-point applications that include partial differential equations and the EM algorithm. One strategy surpasses all other Anderson acceleration implementations tested in terms of computation time across various specifications, including composite Anderson acceleration.
- [29] arXiv:2408.16922 [pdf, html, other]
-
Title: Cactus groups and Lusztig's asymptotic algebraSubjects: Representation Theory (math.RT)
We construct a morphism from the cactus group associated with a Coxeter group to the group of invertible elements of Lusztig's asymptotic algebra. This relates to the cactus group action on elements of Coxeter groups defined by Losev and Bonnafé and we propose a conjecture on how to fully recover those actions.
- [30] arXiv:2408.16925 [pdf, html, other]
-
Title: A remark on the linearization of nondegenerate Nambu structures of coorder 1Comments: 5 pagesSubjects: Differential Geometry (math.DG)
In this note we show that Nambu structures of coorder 1 can always be linearized if they admit a closed integrable differential form. In particular, we show that a unimodular Poisson structure whose isotropy Lie algebra at a singular point is $\mathfrak{sl}(2,\mathbb{R})$, can always be linearized.
- [31] arXiv:2408.16927 [pdf, html, other]
-
Title: Serial and Parallel Two-Column Probing for Mixed-Integer ProgrammingComments: 22 pages, 2 figures, 3 chartsSubjects: Optimization and Control (math.OC)
Probing in mixed-integer programming (MIP) is a technique of temporarily fixing variables to discover implications that are useful to branch-and-cut solvers. Such fixing is typically performed one variable at a time -- this paper develops instead a two-column probing scheme that instead fixes a pair of variables per iteration. Although the scheme involves more work per iteration compared to the one-column approach, stronger implied bounds as well as more conflicts identified may compensate. Indeed, our prototype implementation was awarded first prize at the MIP Workshop 2024 Computational Competition on novel presolving approaches. This paper presents the aforementioned (serial) prototype and additionally develops an efficient parallelization, leveraging hardware acceleration to further improve overall solve times. Compared to serial two-column probing, our parallel version sacrifices some strength per-pair probed in exchange for greatly increasing the total number of such probings; computational experiments demonstrate its promise.
- [32] arXiv:2408.16935 [pdf, html, other]
-
Title: Sharp arithmetic delocalization for quasiperiodic operators with potentials of semi-bounded variationSubjects: Spectral Theory (math.SP); Mathematical Physics (math-ph); Dynamical Systems (math.DS)
We obtain the sharp arithmetic Gordon's theorem: that is, absence of eigenvalues on the set of energies with Lyapunov exponent bounded by the exponential rate of approximation of frequency by the rationals, for a large class of one-dimensional quasiperiodic Schrödinger operators, with no (modulus of) continuity required. The class includes all unbounded monotone potentials with finite Lyapunov exponents and all potentials of bounded variation. The main tool is a new uniform upper bound on iterates of cocycles of bounded variation.
- [33] arXiv:2408.16936 [pdf, html, other]
-
Title: On the cohomologically trivial automorphisms of elliptic surfaces I: $\chi(S)=0$Fabrizio Catanese (Bayreuth and KIAS Seoul), Davide Frapporti (Politecnico Milano), Christian Gleissner (Bayreuth), Wenfei Liu (Xiamen), Matthias Suchütt (Hannover)Comments: 46 pages, dedicated to Yurii (Gennadievich) Prokhorov on the occasion of his 60th birthdaySubjects: Algebraic Geometry (math.AG); Complex Variables (math.CV)
In this first part we describe the group $Aut_{\mathbb{Z}}(S)$ of cohomologically trivial automorphisms of a properly elliptic surface (a minimal surface $S$ with Kodaira dimension $\kappa(S)=1$), in the initial case $ \chi(\mathcal{O}_S) =0$.
In particular, in the case where $Aut_{\mathbb{Z}}(S)$ is finite, we give the upper bound 4 for its cardinality, showing more precisely that if $Aut_{\mathbb{Z}}(S)$ is nontrivial, it is one of the following groups: $\mathbb{Z}/2, \mathbb{Z}/3, (\mathbb{Z}/2)^2$. We also show with easy examples that the groups $\mathbb{Z}/2, \mathbb{Z}/3$ do effectively occur.
Respectively, in the case where $Aut_{\mathbb{Z}}(S)$ is infinite, we give the sharp upper bound 2 for the number of its connected components. - [34] arXiv:2408.16948 [pdf, html, other]
-
Title: How essential is a spanning surface?Comments: 42 pages, 33 figures, comments welcome!Subjects: Geometric Topology (math.GT)
Gabai proved that any plumbing, or Murasugi sum, of $\pi_1$-essential Seifert surfaces is also $\pi_1$-essential, and Ozawa extended this result to unoriented spanning surfaces. We show that the analogous statement about geometrically essential surfaces is untrue. We then introduce new numerical invariants, the algebraic and geometric essence of a spanning surface $F\subset S^3$, which measure how far $F$ is from being compressible, and we extend Ozawa's theorem by showing that plumbing respects the algebraic version of this new invariant. We also introduce a ``twisted'' generalization of plumbing and use it to compute essence for many examples, including checkerboard surfaces from reduced alternating diagrams. Finally, we extend all of these results to plumbings and twisted plumbings of spanning surfaces in arbitrary 3-manifolds.
- [35] arXiv:2408.16953 [pdf, html, other]
-
Title: Long time quantum-classical correspondence for open systems in trace normComments: 29 pages, 2 figuresSubjects: Mathematical Physics (math-ph); Analysis of PDEs (math.AP)
We consider a frictionless system coupled to an external Markovian environment. The quantum and classical evolution of such systems are described by the Lindblad and the Fokker-Planck equation respectively. We show that when such a system is given by an at most quadratically growing Hamiltonian and at most linearly growing real jump functions, the quantum and classical evolutions remain close on time scales much longer than Ehrenfest time. In particular, we show that the evolution of a density matrix by the Lindblad equation is close in trace norm to the quantization of the corresponding evolution by the Fokker-Planck equation. Such agreement improves upon recent results [arXiv:2403.09345, arXiv:2306.13717, arXiv:2307.05326], which proved long time agreement in weaker norms.
- [36] arXiv:2408.16955 [pdf, html, other]
-
Title: Local times in critical generations of a random walk in random environment on treesComments: 26 pagesSubjects: Probability (math.PR)
We consider a null-recurrent randomly biased walk $\mathbb{X}$ on a Galton-Watson tree in the (sub)-diffusive regime and we prove that properly renormalized, the local time in a critical generation converges in law towards some function of a stable continuous-state branching process. We also provide an explicit equivalent of the probability that critical generations are reached by the random walk $\mathbb{X}$.
- [37] arXiv:2408.16960 [pdf, html, other]
-
Title: Generalized Green functions and unipotent classes for finite reductive groups, IVComments: 71 pagesSubjects: Representation Theory (math.RT)
In this paper, we formulate the notion of split elements of a unipotent class in a connected reductive group $G$. Generalized Green functions of $G$ can be computed by using Lusztig's algorithm, if split elements exist for any unipotent class. The existence of split elements is reduced to the case where $G$ is a simply connected, almost simple group. We show, in the case of classical groups, split elements exist, which is a refinement of previous results. In the case of exceptional groups, we show the existence of split elements, possibly except one class for $G$ of type $E_7$.
- [38] arXiv:2408.16962 [pdf, html, other]
-
Title: Existence and stability of time periodic solutions to nonlinear elastic wave equations with viscoelastic termsSubjects: Analysis of PDEs (math.AP)
Existence and stability of time periodic solutions for nonlinear elastic wave equations with viscoelastic terms are established. The existence of the time periodic solution is proved using the spectral decomposition of the linear principal part and the Poincaré map. On the other hand, the proof of the stability of the time-periodic solutions is generally problematic due to the slow time decay induced by the time periodic solutions. Based on the regularity estimates of the time periodic solution derived from the smoothing effect of the semigroup, sharp decay properties of the perturbation from the time periodic solution are proved, which proves the stability.
- [39] arXiv:2408.16973 [pdf, other]
-
Title: Near soliton evolution for $2$-equivariant Schr\"odinger Maps in two space dimensionsComments: 146 pagesSubjects: Analysis of PDEs (math.AP)
We consider equivariant solutions for the Schrödinger Map equation in $2+1$ dimensions, with values into $\mathbb{S}^2$. Within each equivariance class $m \in \mathbb{Z}$ this admits a lowest energy nontrivial steady state $Q^m$, which extends to a two dimensional family of steady states by scaling and rotation. If $|m| \geq 3$ then these ground states are known to be stable in the energy space $\dot H^1$, whereas instability and even finite time blow-up along the ground state family may occur if $|m| = 1$. In this article we consider the most delicate case $|m| = 2$. Our main result asserts that small $\dot H^1$ perturbations of the ground state $Q^2$ yield global in time solutions, which satisfy global dispersive bounds. Unlike the higher equivariance classes, here we expect solutions to move arbitrarily far along the soliton family; however, we are able to provide a time dependent bound on the growth of the scale modulation parameter. We also show that within the equivariant class the ground state is stable in a slightly stronger topology $X \subset \dot H^1$.
- [40] arXiv:2408.16980 [pdf, html, other]
-
Title: Symmetric A actions on $\mathcal{A}(2)$Subjects: Algebraic Topology (math.AT)
We describe the variety of `symmetric' left actions of the mod 2 Steenrod algebra $\mathcal{A}$ on its subalgebra $\mathcal{A}(2)$. These arise as the cohomology of $\text{v}_2$ self maps $\Sigma^7 Z \longrightarrow Z$, as in arXiv:1608.06250 [math.AT]. There are $256$ $\mathbb{F}_2$ points in this variety, arising from $16$ such actions of $Sq^8$ and, for each such, $16$ actions of $Sq^{16}$. We describe in similar fashion the 1600 $\mathcal{A}$ actions on $\mathcal{A}(2)$ found by Roth(1977) and the inclusion of the variety of symmetric actions into the variety of all actions. We also describe two related varieties of $\mathcal{A}$ actions, the maps between these and the behavior of Spanier-Whitehead duality on these varieties. Finally, we note that the actions which have been used in the literature correspond to the simplest choices, in which all the coordinates equal zero.
- [41] arXiv:2408.16985 [pdf, html, other]
-
Title: Existence of solutions semilinear parabolic equations with singular initial data in the Heisenberg groupThe Anh Bui, Kotaro HisaSubjects: Analysis of PDEs (math.AP)
In this paper we obtain necessary conditions and sufficient conditions on the initial data for the solvability of fractional semilinear heat equations with power nonlinearities in the Heisenberg group $\mathbb{H}^N$. Using these conditions, we can prove that $1+2/Q$ separates the ranges of exponents of nonlinearities for the global-in-time solvability of the Cauchy problem (so-called the Fujita-exponent), where $Q=2N+2$ is the homogeneous dimension of $\mathbb{H}^N$, and identify the optimal strength of the singularity of the initial data for the local-in-time solvability. Furthermore, our conditions lead sharp estimates of the life span of solutions with nonnegative initial data having a polynomial decay at the space infinity.
- [42] arXiv:2408.16989 [pdf, other]
-
Title: Optimal Ratcheting of Dividends with Irreversible ReinsuranceComments: 62 pages, 1 figureSubjects: Optimization and Control (math.OC); Probability (math.PR); Pricing of Securities (q-fin.PR); Risk Management (q-fin.RM)
This paper considers an insurance company that faces two key constraints: a ratcheting dividend constraint and an irreversible reinsurance constraint. The company allocates part of its reserve to pay dividends to its shareholders while strategically purchasing reinsurance for its claims. The ratcheting dividend constraint ensures that dividend cuts are prohibited at any time. The irreversible reinsurance constraint ensures that reinsurance contracts cannot be prematurely terminated or sold to external entities. The dividend rate level and the reinsurance level are modelled as nondecreasing processes, thereby satisfying the constraints. The incurred claims are modelled via a Brownian risk model. The main objective is to maximize the cumulative expected discounted dividend payouts until the time of ruin. The reinsurance and dividend levels belong to either a finite set or a closed interval. The optimal value functions for the finite set case and the closed interval case are proved to be the unique viscosity solutions of the corresponding Hamilton-Jacobi-Bellman equations, and the convergence between these optimal value functions is established. For the finite set case, a threshold strategy is proved to be optimal, while for the closed interval case, an $\epsilon$-optimal strategy is constructed. Finally, numerical examples are presented to illustrate the optimality conditions and optimal strategies.
- [43] arXiv:2408.16994 [pdf, html, other]
-
Title: Nayak's theorem for compact operatorsComments: 14 PagesSubjects: Functional Analysis (math.FA)
Let $A$ be an $m\times m$ complex matrix and let $\lambda _1, \lambda _2, \ldots , \lambda _m$ be the eigenvalues of $A$ arranged such that $|\lambda _1|\geq |\lambda _2|\geq \cdots \geq |\lambda _m|$ and for $n\geq 1,$ let $s^{(n)}_1\geq s^{(n)}_2\geq \cdots \geq s^{(n)}_m$ be the singular values of $A^n$. Then a famous theorem of Yamamoto (1967) states that $$\lim _{n\to \infty}(s^{(n)}_j )^{\frac{1}{n}}= |\lambda _j|, ~~\forall \,1\leq j\leq m.$$ Recently S. Nayak strengthened this result very significantly by showing that the sequence of matrices $|A^n|^{\frac{1}{n}}$ itself converges to a positive matrix $B$ whose eigenvalues are $|\lambda _1|,|\lambda _2|,$ $\ldots , |\lambda _m|.$ Here this theorem has been extended to arbitrary compact operators on infinite dimensional complex separable Hilbert spaces. The proof makes use of Nayak's theorem, Stone-Weirstrass theorem, Borel-Caratheodory theorem and some technical results of Anselone and Palmer on collectively compact operators. Simple examples show that the result does not hold for general bounded operators.
- [44] arXiv:2408.17007 [pdf, html, other]
-
Title: A Liouville theorem for the Lane-Emden system in the half-spaceComments: 14 pagesSubjects: Analysis of PDEs (math.AP)
We prove that the Dirichlet problem for the Lane-Emden system in a half-space has no positive classical solution that is bounded on finite strips. Such a nonexistence result was previously available only for bounded solutions or under a restriction on the powers in the nonlinearities.
- [45] arXiv:2408.17019 [pdf, html, other]
-
Title: Relational Companions of LogicsComments: A version of the article has been submitted to the Indian Conference on Logic and its Applications 2025Subjects: Logic (math.LO)
The variable inclusion companions of logics have lately been thoroughly studied by multiple authors. There are broadly two types of these companions: the left and the right variable inclusion companions. Another type of companions of logics induced by Hilbert-style presentations (Hilbert-style logics) were introduced in a recent paper. A sufficient condition for the restricted rules companion of a Hilbert-style logic to coincide with its left variable inclusion companion was proved there, while a necessary condition remained elusive. The present article has two parts. In the first part, we give a necessary and sufficient condition for the left variable inclusion and the restricted rules companions of a Hilbert-style logic to coincide. In the rest of the paper, we recognize that the variable inclusion restrictions used to define variable inclusion companions of a logic $\langle\mathcal{L},\vdash\rangle$ are relations from $\mathcal{P}(\mathcal{L})$ to $\mathcal{L}$. This leads to a more general idea of a relational companion of a logical structure, a framework that we borrow from the field of universal logic. We end by showing that even Hilbert-style logics and the restricted rules companions of these can be brought under the umbrella of the general notions of logical structures and their relational companions that are discussed here.
- [46] arXiv:2408.17021 [pdf, html, other]
-
Title: A note on double affine Hecke algebra for skein algebra on twice-punctured torusComments: 15 pages, 4 figuresSubjects: Quantum Algebra (math.QA); Mathematical Physics (math-ph); Geometric Topology (math.GT); Representation Theory (math.RT)
We construct a generalization of the $C^\vee C_1$-type double affine Hecke algebra for the skein algebra on the twice-punctured torus $\Sigma_{1,2}$ using the Heegaard dual of the Iwahori--Hecke operator recently introduced in our previous article. We show that the automorphisms of our algebra correspond to the Dehn twists about the curves on $\Sigma_{1,2}$. We also give the cluster algebraic construction of the the classical limit of the skein algebra, where the Dehn twists are given in terms of the cluster mutations.
- [47] arXiv:2408.17030 [pdf, other]
-
Title: Zero-sum stochastic linear-quadratic Stackelberg differential games of Markovian regime-switching systemSubjects: Optimization and Control (math.OC)
This paper investigates a zero-sum stochastic linear-quadratic (SLQ, for short) Stackelberg differential game problem, where the coefficients of the state equation and the weighting matrices in the performance functional are regulated by a Markov chain. By utilizing the findings in \citet{Zhang.X.2021_ILQM}, we directly present the feedback representation to the rational reaction of the follower. For the leader's problem, we derive the optimality system through the variational method and study its unique solvability from the Hilbert space point of view. We construct the explicit optimal control for the leader based on the solution to coupled differential Riccati equations (CDREs, for short) and obtain the solvability of CDREs under the one-dimensional framework. Finally, we provide two concrete examples to illustrate the results developed in this paper.
- [48] arXiv:2408.17037 [pdf, html, other]
-
Title: Computation of highly oscillatory integrals using a Fourier extension approximationComments: 14 pages, 25 figuresSubjects: Numerical Analysis (math.NA)
The numerical evaluation of integrals of the form \begin{align*}
\int_a^b f(x) e^{ikg(x)}\,dx \end{align*} is an important problem in scientific computing with significant applications in many branches of applied mathematics, science and engineering. The numerical approximation of such integrals using classical quadratures can be prohibitively expensive at high oscillation frequency ($k \gg 1$) as the number of quadrature points needed for achieving a reasonable accuracy must grow proportionally to $k$. To address this significant computational challenge, starting with Filon in 1930, several specialized quadratures have been developed to compute such oscillatory integrals efficiently. A crucial element in such Filon-type quadrature is the accurate evaluation of certain moments which poses a significant challenge when non-linear phase functions $g$ are involved. In this paper, we propose an equispaced-grid Filon-type quadrature for computing such highly oscillatory integrals that utilizes a Fourier extension of the slowly varying envelope $f$. This strategy is primarily aimed at significantly simplifying the moment calculations, even when the phase function has stationary points. Moreover, the proposed approach can also handle certain integrable singularities in the integrand. We analyze the scheme to theoretically establish high-order convergence rates. We also include a wide variety of numerical experiments, including oscillatory integrals with algebraic and logarithmic singularities, to demonstrate the performance of the quadrature. - [49] arXiv:2408.17050 [pdf, html, other]
-
Title: Secure Integrated Sensing and Communication Under Correlated Rayleigh FadingSubjects: Information Theory (cs.IT); Cryptography and Security (cs.CR); Signal Processing (eess.SP); Systems and Control (eess.SY)
We consider a secure integrated sensing and communication (ISAC) scenario, in which a signal is transmitted through a state-dependent wiretap channel with one legitimate receiver with which the transmitter communicates and one honest-but-curious target that the transmitter wants to sense. The secure ISAC channel is modeled as two state-dependent fast-fading channels with correlated Rayleigh fading coefficients and independent additive Gaussian noise components. Delayed channel outputs are fed back to the transmitter to improve the communication performance and to estimate the channel state sequence. We establish and illustrate an achievable secrecy-distortion region for degraded secure ISAC channels under correlated Rayleigh fading. We also evaluate the inner bound for a large set of parameters to derive practical design insights for secure ISAC methods. The presented results include in particular parameter ranges for which the secrecy capacity of a classical wiretap channel setup is surpassed and for which the channel capacity is approached.
- [50] arXiv:2408.17055 [pdf, other]
-
Title: Bockstein operations and extensions with trivial boundary mapsComments: arXiv admin note: text overlap with arXiv:2303.06835Subjects: Operator Algebras (math.OA); K-Theory and Homology (math.KT)
In this paper, we investigate the relationship between ideal structures and the Bockstein operations in the total K-theory, offering various diagrams to demonstrate their effectiveness in classification. We explore different situations and demonstrate a variety of conclusions, highlighting the crucial role these structures play within the framework of invariants.
- [51] arXiv:2408.17058 [pdf, html, other]
-
Title: Max-semistable extreme value laws for autoregressive processes with Cantor-like marginalsSubjects: Probability (math.PR); Dynamical Systems (math.DS)
This paper considers a family of autoregressive processes with marginal distributions resembling the Cantor function. It is shown that the marginal distribution is in the domain of attraction of a max-semistable distribution. The main result is that the extreme value law for the autoregressive process is obtained by including an extremal index in the law for an i.i.d.\ process with the same marginal distribution. Connections with extremes in deterministic dynamical systems and the relevance of max-semistable distributions in that context are also pointed out.
- [52] arXiv:2408.17067 [pdf, html, other]
-
Title: Stable matchings, choice functions, and linear ordersComments: 28 pages, in Russian languageSubjects: Combinatorics (math.CO)
We consider a model of stable edge sets (``matchings'') in a bipartite graph $G=(V,E)$ in which the preferences for vertices of one side (``firms'') are given via choice functions subject to standard axioms of consistence, substitutability and cardinal monotonicity, whereas the preferences for the vertices of the other side (``workers') via linear orders. For such a model, we present a combinatorial description of the structure of rotations and develop an algorithm to construct the poset of rotations, in time $O(|E|^2)$ (including oracle calls). As a consequence, one can obtain a ``compact'' affine representation of stable matchings and efficiently solve some related problems. (The paper is written in Russian.)
- [53] arXiv:2408.17069 [pdf, html, other]
-
Title: $L^{p}$ estimates for multilinear maximal Bochner--Riesz means and square functionComments: 19 pagesSubjects: Classical Analysis and ODEs (math.CA)
In this article we have investigated $L^{p}$ boundedness of the multilinear maximal Bochner--Riesz means and the corresponding square function. We have exploited the ideas given in the paper "Maximal estimates for bilinear Bochner--Riesz means" (Adv. Math. 395(2022) 108100) by Jotsaroop and Shrivastava, in order to prove our results.
- [54] arXiv:2408.17074 [pdf, html, other]
-
Title: Fictitious null spaces for improving the solution of injective inverse problemsComments: 32 pagesSubjects: Numerical Analysis (math.NA)
For linear ill-posed problems with nontrivial null spaces, Tikhonov regularization and truncated singular value decomposition (TSVD) typically yield solutions that are close to the minimum norm solution. Such a bias is not always desirable, and we have therefore in a series of papers developed a weighting procedure which produces solutions with a different and controlled bias. This methodology can also conveniently be invoked when sparsity regularization is employed.
The purpose of the present work is to study the potential use of this weighting applied to injective operators. The image under a compact operator of the singular vectors/functions associated with very small singular values will be almost zero. Consequently, one may regard these singular vectors/functions to constitute a basis for a fictitious null space that allows us to mimic the previous weighting procedure. It turns out that this regularization by weighting can improve the solution of injective inverse problems compared with more traditional approaches.
We present some analysis of this methodology and exemplify it numerically, using sparsity regularization, for three PDE-driven inverse problems: the inverse heat conduction problem, the Cauchy problem for Laplace's equation, and the (linearized) Electrical Impedance Tomography problem with experimental data. - [55] arXiv:2408.17078 [pdf, html, other]
-
Title: Aliasing Effects for Samples of Spin Random Fields on the SphereComments: 36 pages, 3 figures, 2 tablesSubjects: Probability (math.PR); Statistics Theory (math.ST)
This paper investigates aliasing effects emerging from the reconstruction from discrete samples of spin spherical random fields defined on the two-dimensional sphere. We determine the location in the frequency domain and the intensity of the aliases of the harmonic coefficients in the Fourier decomposition of the spin random field and evaluate the consequences of aliasing errors in the angular power spectrum when the samples of the random field are obtained by using some very popular sampling procedures on the sphere, the equiangular and the Gauss-Jacobi sampling schemes. Finally, we demonstrate that band-limited spin random fields are free from aliases, provided that a sufficiently large number of nodes is used in the selected quadrature rule.
- [56] arXiv:2408.17082 [pdf, other]
-
Title: Tilings with Infinite Local Complexity and n-Fold Rotational Symmetry, n=13,17,21Subjects: Metric Geometry (math.MG)
A tiling is said to have infinite local complexity (ILC) if it contains infinitely many two-tile patches up to rigid motions. In this work, we provide examples of substitution rules that generate tilings with ILC. The proof relies on Danzer's algorithm, which assumes that the substitution factor is non-Pisot. In addition to ILC, the tiling space of each substitution rule contains a tiling that exhibits global n-fold rotational symmetry, n=13,17,21.
- [57] arXiv:2408.17087 [pdf, html, other]
-
Title: On the choice of the two tuning parameters for nonparametric estimation of an elliptical distribution generatorComments: 29 pages, 6 figuresSubjects: Statistics Theory (math.ST); Methodology (stat.ME)
Elliptical distributions are a simple and flexible class of distributions that depend on a one-dimensional function, called the density generator. In this article, we study the non-parametric estimator of this generator that was introduced by Liebscher (2005). This estimator depends on two tuning parameters: a bandwidth $h$ -- as usual in kernel smoothing -- and an additional parameter $a$ that control the behavior near the center of the distribution. We give an explicit expression for the asymptotic MSE at a point $x$, and derive explicit expressions for the optimal tuning parameters $h$ and $a$. Estimation of the derivatives of the generator is also discussed. A simulation study shows the performance of the new methods.
- [58] arXiv:2408.17093 [pdf, html, other]
-
Title: On Hollenbeck-Verbitsky conjecture for $4/3 < p < 2$Comments: 10 pagesSubjects: Complex Variables (math.CV)
Let \(P_+\) be the Riesz's projection operator and let \(P_-=I-P_+.\) We find best estimates of the expression \(\left\lVert \left( \left\lvert P_+f \right\rvert ^s + \left\lvert P_-f \right\rvert ^s \right) ^{1/s} \right\rVert _p \) in terms of Lebesgue p-norm of the function \(f \in L^p(\mathbf{T})\) for \(p \in (4/3,2)\) and \(0 < s \leq \frac{p}{p-1},\) thus extending results from \cite{Melentijevic_2022} and \cite{Melentijevic_2023}, where the mentioned range is not considered.
- [59] arXiv:2408.17105 [pdf, html, other]
-
Title: Characterising rooted and unrooted tree-child networksSubjects: Combinatorics (math.CO); Populations and Evolution (q-bio.PE)
Rooted phylogenetic networks are used by biologists to infer and represent complex evolutionary relationships between species that cannot be accurately explained by a phylogenetic tree. Tree-child networks are a particular class of rooted phylogenetic networks that has been extensively investigated in recent years. In this paper, we give a novel characterisation of a tree-child network $\mathcal{R}$ in terms of cherry-picking sequences that are sequences on the leaves of $\mathcal{R}$ and reduce it to a single vertex by repeatedly applying one of two reductions to its leaves. We show that our characterisation extends to unrooted tree-child networks which are mostly unexplored in the literature and, in turn, also offers a new approach to settling the computational complexity of deciding if an unrooted phylogenetic network can be oriented as a rooted tree-child network.
- [60] arXiv:2408.17109 [pdf, other]
-
Title: Sensitivity of causal distributionally robust optimizationComments: 33 pagesSubjects: Probability (math.PR); Optimization and Control (math.OC)
We study the causal distributionally robust optimization (DRO) in both discrete- and continuous- time settings. The framework captures model uncertainty, with potential models penalized in function of their adapted Wasserstein distance to a given reference model. Strength of the penalty is controlled using a real-valued parameter, which is simply the radius of the uncertainty ball in the special case of an indicator penalty. Our main results derive the first-order sensitivity of the value of causal DRO with respect to the penalization parameter, i.e., we compute the sensitivity to model uncertainty. Moreover, we investigate the case where a martingale constraint is imposed on the underlying model, as is the case for pricing measures in mathematical finance. We introduce different scaling regimes, which allow us to obtain the continuous-time sensitivities as nontrivial limits of their discrete-time counterparts. We illustrate our results with examples.
Our proofs rely on novel methods. In particular, we introduce pathwise Malliavin derivative, which agree a.s. with its classical counterpart under the Wiener measure, and we extend the adjoint operator, the Skorokhod integral, to regular martingale integrators and show it satisfies a stochastic Fubini theorem. - [61] arXiv:2408.17110 [pdf, html, other]
-
Title: Multigraded strong Lefschetz property for balanced simplicial complexesComments: 19 pagesSubjects: Combinatorics (math.CO); Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
Generalizing the strong Lefschetz property for an $\mathbb{N}$-graded algebra, we introduce the multigraded strong Lefschetz property for an $\mathbb{N}^m$-graded algebra. We show that, for $\bm{a} \in \mathbb{N}^m_+$, the generic $\mathbb{N}^m$-graded Artinian reduction of the Stanley-Reisner ring of an $\bm{a}$-balanced homology sphere over a field of characteristic $2$ satisfies the multigraded strong Lefschetz property. A corollary is the inequality $h_{\bm{b}} \leq h_{\bm{c}}$ for $\bm{b} \leq \bm{c} \leq \bm{a}-\bm{b}$ among the flag $h$-numbers of an $\bm{a}$-balanced simplicial sphere. This can be seen as a common generalization of the unimodality of the $h$-vector of a simplicial sphere by Adiprasito and the balanced generalized lower bound inequality by Juhnke-Kubitzke and Murai. We further generalize these results to $\bm{a}$-balanced homology manifolds and $\bm{a}$-balanced simplicial cycles over a field of characteristic $2$.
- [62] arXiv:2408.17113 [pdf, other]
-
Title: A Two-Timescale Decision-Hazard-Decision Formulation for Storage Usage Values CalculationCamila Martinez Parra (RTE, CERMICS), Michel de Lara (CERMICS), Jean-Philippe Chancelier (CERMICS), Pierre Carpentier (UMA), Jean-Marc Janin (RTE), Manuel Ruiz (RTE)Subjects: Optimization and Control (math.OC)
The penetration of renewable energies requires additional storages to deal with intermittency. Accordingly, there is growing interest in evaluating the opportunity cost (usage value) associated with stored energy in large storages, a cost obtained by solving a multistage stochastic optimization problem. Today, to compute usage values under uncertainties, an adequacy resource problem is solved using stochastic dynamic programming assuming a hazard-decision information structure. This modelling assumes complete knowledge of the coming week uncertainties, which is not adapted to the system operation as the intermittency occurs at smaller timescale. We equip the twotimescale problem with a new information structure considering planning and recourse decisions: decision-hazard-decision. This structure is used to decompose the multistage decision-making process into a nonanticipative planning step in which the on/off decisions for the thermal units are made, and a recourse step in which the power modulation decisions are made once the uncertainties have been disclosed. In a numerical case, we illustrate how usage values are sensitive as how the disclosure of information is modelled.
- [63] arXiv:2408.17116 [pdf, other]
-
Title: H-Matrix Accelerated Direct Matrix Solver using Chebyshev-based Nystr\"om Boundary Integral Equation MethodSubjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)
An H-matrix accelerated direct solver employing the high-order Chebyshev-based Boundary Integral Equation (CBIE) method has been formulated, tested, and profiled for performance on high contrast dielectric materials and electrically large perfect electric conductor objects. The matrix fill performance of the CBIE proves to be fast for small to moderately sized problems compared to its counterparts, e.g. the locally corrected Nyström (LCN) method, due to the way it handles the singularities by means of a global change of variable method. However, in the case of electrically large scattering problems, the matrix fill and factorization still dominate the solution time when using a direct solution approach. To address this issue, an H-Matrix framework is employed, effectively resolving the challenge and establishing the CBIE as a competitive high-order method for solving scattering problems with poorly conditioned matrix equations. The efficacy of this approach is demonstrated through numerical results.
- [64] arXiv:2408.17120 [pdf, other]
-
Title: Uniformization of varieties with log-canonical singularitiesBenoit Cadorel (UL, IECL)Subjects: Algebraic Geometry (math.AG); Complex Variables (math.CV); Differential Geometry (math.DG)
We study the problem of uniformizing quasi-projective varieties with logcanonical compactifications. More precisely, given a complex projective variety X with log-canonical singularities, we give criteria for X to be isomorphic to a Baily-Borel-Mok compactification of a ball quotient, asking on the one hand the equality case in a suitable Miyaoka-Yau (MY) inequality, and on the other hand some adequate assumptions on the singularities. We also give as a result of independent interest that log-resolutions of log-canonical singularities have their fibers connected by chains of special varieties in the sense of Campana; this is used in the proof to control the behaviour of the period map near the exceptional divisors of such resolutions. We also show that it is necessary to assume that the singularities are at least logcanonical: some examples of Deligne-Mostow-Deraux can be manipulated to provide examples of singular varieties satisfying the equality case in MY, while not being isomorphic to such Baily-Borel-Mok compactifications.
- [65] arXiv:2408.17124 [pdf, html, other]
-
Title: A one parameter family of Volterra-type operatorsComments: To appear in Rend. Circ. Mat. Palermo (2)Subjects: Functional Analysis (math.FA); Classical Analysis and ODEs (math.CA)
For every $\alpha \in (0,+\infty)$ and $p,q \in (1,+\infty)$ let $T_\alpha$ be the operator $L^p[0,1]\to L^q[0,1]$ defined via the equality $(T_\alpha f)(x) := \int_0^{x^\alpha} f(y) d y$. We study the norms of $T_\alpha$ for every $p$, $q$. In the case $p=q$ we further study its spectrum, point spectrum, eigenfunctions, and the norms of its iterates. Moreover, for the case $p=q=2$ we determine the point spectrum and eigenfunctions for $T^*_\alpha T_\alpha$, where $T^*_\alpha$ is the adjoint operator.
- [66] arXiv:2408.17125 [pdf, html, other]
-
Title: 3-manifold spine cyclic presentations with seldom seen Whitehead graphsComments: 19 pages, 9 figuresSubjects: Geometric Topology (math.GT); Group Theory (math.GR)
We consider two families of cyclic presentations and show that, subject to certain conditions on the defining parameters, they are spines of closed 3-manifolds. For the first family, the Whitehead graphs have not previously been observed in this context, and the corresponding manifolds are lens spaces. The second family provides new examples where the reduced Whitehead graphs are those of the Fractional Fibonacci presentations; here the corresponding manifolds are often (but not always) hyperbolic.
- [67] arXiv:2408.17144 [pdf, other]
-
Title: Inverse source problem for the space-time fractional parabolic equation on a metric star graph with an integral overdetermination conditionComments: Submitted to Mathematical NotesSubjects: Analysis of PDEs (math.AP)
In the present paper, we investigate the initial-boundary value problem for fractional order parabolic equation on a metric star graph in Sobolev spaces. First, we prove the existence and uniqueness results of strong solutions which are proved with the classical functional method based on a priori estimates. Moreover, the inverse source problem with the integral overdetermination condition for space-time fractional derivatives in Sobolev spaces is first considered in the present paper. By transforming the inverse problem to the operator-based equation, we showed that the corresponding resolvent operator is well-defined.
- [68] arXiv:2408.17155 [pdf, html, other]
-
Title: Normalized solutions of $L^2$-supercritical Kirchhoff equations in bounded domainsComments: 28 pages. Accepted by The Journal of Geometric AnalysisSubjects: Analysis of PDEs (math.AP)
In this paper, we investigate the existence of normalized solutions for the following nonlinear Kirchhoff type problem \begin{equation*} \begin{cases} -(a+b\int_{\Omega}\vert\nabla u\vert^2dx)\Delta u+\lambda u=\vert u\vert^{p-2}u & \text{ in }\Omega,\\ u=0 & \text{ on }\partial\Omega \end{cases} \end{equation*} subject to the constraint $\int_{\Omega}\vert u\vert^2dx=c$. Here, $a$ and $b$ are positive constants, $\Omega$ is a smooth bounded domain in $\mathbb{R}^N$ with $1\leq N\leq3$, $c>0$ is a prescribed value, and $\lambda\in \mathbb{R}$ is a Lagrange multiplier. In the $L^2$-supercritical regime $2+\frac{8}{N}<p<2^*$, we establish the existence of mountain pass-type normalized solutions. Our approach relies on utilizing a parameterized version of the minimax theorem with Morse index information for constraint functionals, and developing a blow-up analysis for the nonlinear Kirchhoff equations. Furthermore, we explore the asymptotic behavior of these solutions as $b\rightarrow0$.
- [69] arXiv:2408.17156 [pdf, html, other]
-
Title: Asynchronous Distributed Learning with Quantized Finite-Time CoordinationComments: To be presented at 2024 IEEE Conference on Decision and ControlSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
In this paper we address distributed learning problems over peer-to-peer networks. In particular, we focus on the challenges of quantized communications, asynchrony, and stochastic gradients that arise in this set-up. We first discuss how to turn the presence of quantized communications into an advantage, by resorting to a finite-time, quantized coordination scheme. This scheme is combined with a distributed gradient descent method to derive the proposed algorithm. Secondly, we show how this algorithm can be adapted to allow asynchronous operations of the agents, as well as the use of stochastic gradients. Finally, we propose a variant of the algorithm which employs zooming-in quantization. We analyze the convergence of the proposed methods and compare them to state-of-the-art alternatives.
- [70] arXiv:2408.17158 [pdf, html, other]
-
Title: Relativistic Exchange BoundsComments: 15Subjects: Mathematical Physics (math-ph); Analysis of PDEs (math.AP); Quantum Physics (quant-ph)
We collect estimates of the exchange energy of the relativistic no-pair Hartree-Fock and Müller functional and use them to show the existence of a minimizer and stability of matter of the relativistic Müller functional in the free picture.
- [71] arXiv:2408.17169 [pdf, html, other]
-
Title: Secure Transmission in Cell-Free Massive MIMO under Active EavesdroppingSubjects: Information Theory (cs.IT)
We study secure communications in cell-free massive multiple-input multiple-output (CF-mMIMO) systems with multi-antenna access points (APs) and protective partial zero-forcing (PPZF) precoding. In particular, we consider an active eavesdropping attack, where an eavesdropper contaminates the uplink channel estimation phase by sending an identical pilot sequence with a legitimate user of interest. We formulate an optimization problem for maximizing the received signal-to-noise ratio (SINR) at the legitimate user, subject to a maximum allowable SINR at the eavesdropper and maximum transmit power at each AP, while guaranteeing specific SINR requirements on other legitimate users. The optimization problem is solved using a path-following algorithm. We also propose a large-scale-based greedy AP selection scheme to improve the secrecy spectral efficiency (SSE). Finally, we propose a simple method for identifying the presence of an eavesdropper within the system. Our findings show that PPZF can substantially outperform the conventional maximum-ratio transmission (MRT) scheme by providing around 2-fold improvement in the SSE compared to the MRT scheme. More importantly, for PPZF precoding scheme, our proposed AP selection can achieve a remarkable SSE gain of up to 220%, while our power optimization approach can provide an additional gain of up to 55% compared with a CF-mMIMO system with equal power allocation.
- [72] arXiv:2408.17170 [pdf, html, other]
-
Title: The variational principle for a marked Gibbs point process with infinite-range multibody interactionsComments: 35 pages, 1 figureSubjects: Probability (math.PR); Mathematical Physics (math-ph)
We prove the Gibbs variational principle for the Asakura--Oosawa model in which particles of random size obey a hardcore constraint of non-overlap and are additionally subject to a temperature-dependent area interaction. The particle size is unbounded, leading to infinite-range interactions, and the potential cannot be written as a $k$-body interaction for fixed $k$. As a byproduct, we also prove the existence of infinite-volume Gibbs point processes satisfying the DLR equations. The essential control over the influence of boundary conditions can be established using the geometry of the model and the hard-core constraint.
- [73] arXiv:2408.17173 [pdf, html, other]
-
Title: Existence and approximate controllability results for time-fractional stochastic Navier-Stokes equationsSubjects: Optimization and Control (math.OC); Dynamical Systems (math.DS)
This paper deals with time-fractional stochastic Navier-Stokes equations, which are characterized by the coexistence of stochastic noise and a fractional power of the Laplacian. We establish sufficient conditions for the existence and approximate controllability of a unique mild solution to time-fractional stochastic Navier-Stokes equations. Using a fixed point technique, we first demonstrate the existence and uniqueness of a mild solution to the equation under consideration. We then establish approximate controllability results by using the concepts of fractional calculus, semigroup theory, functional analysis and stochastic analysis.
- [74] arXiv:2408.17174 [pdf, html, other]
-
Title: Metric surfaces and conformally removable sets in the planeComments: 14 pages, 3 figuresSubjects: Complex Variables (math.CV); Metric Geometry (math.MG)
We characterize conformally removable sets in the plane with the aid of the recent developments in the theory of metric surfaces. We prove that a compact set in the plane is $S$-removable if and only if there exists a quasiconformal map from the plane onto a metric surface that maps the given set to a set of linear measure zero. The statement fails if we consider maps into the plane rather than metric surfaces. Moreover, we prove that a set is $S$-removable (resp. $CH$-removable) if and only if every homeomorphism from the plane onto a metric surface (resp. reciprocal metric surface) that is quasiconformal in the complement of the given set is quasiconformal everywhere.
- [75] arXiv:2408.17176 [pdf, html, other]
-
Title: Polynomial bounds for monochromatic tight cycle partition in $r$-edge-coloured $K_n^{(k)}$Comments: 36 pagesSubjects: Combinatorics (math.CO)
Let $K_n^{(k)}$ be the complete $k$-graph on $n$ vertices. A $k$-uniform tight cycle is a $k$-graph with its vertices cyclically ordered so that every $k$ consecutive vertices form an edge and any two consecutive edges share exactly $k-1$ vertices. A result of Bustamante, Corsten, Frankl, Pokrovskiy and Skokan shows that all $r$-edge coloured $K_{n}^{(k)}$ can be partitioned into $c_{r,k}$ vertex disjoint monochromatic tight cycles. However, the constant $c_{r,k}$ is of tower-type. In this work, we show that $c_{r, k}$ is a polynomial in $r$.
- [76] arXiv:2408.17191 [pdf, html, other]
-
Title: Tournament transitivity of graphsComments: arXiv admin note: text overlap with arXiv:2310.04036Subjects: Combinatorics (math.CO)
Let $G=(V, E)$ be a graph where $V$ and $E$ are the vertex and edge sets, respectively. For two disjoint subsets $A$ and $B$ of $V$, we say $A$ \textit{dominates} $B$ if every vertex of $B$ is adjacent to at least one vertex of $A$ in $G$. A vertex partition $\pi = \{V_1, V_2, \ldots, V_k\}$ of $G$ is called a \emph{transitive partition} of size $k$ if $V_i$ dominates $V_j$ for all $1\leq i<j\leq k$. A vertex partition $\pi = \{V_1, V_2, \ldots, V_k\}$ of $G$ is called a \emph{tournament transitive partition} of size $k$ if $V_i$ dominates $V_j$ and $V_j$ does not dominate $V_i$ for all $1\leq i<j\leq k$. The maximum integer $k$ for which the above partition exists is called \emph{tournament transitivity} of $G$, and it is denoted by $TTr(G)$. The \textsc{Maximum Tournament Transitivity Problem} is to find a tournament transitive partition of a given graph with the maximum number of parts. In this article, we study this variation of transitive partition from a structural and algorithmic point of view. We show that the decision version of this problem is NP-complete for chordal graphs(connected), perfect elimination bipartite graphs(disconnected), and doubly chordal(disconnected). On the positive side, we prove that this problem can be solved in polynomial time for trees.
- [77] arXiv:2408.17192 [pdf, html, other]
-
Title: The volume potential for elliptic differential operators in Schauder spacesSubjects: Analysis of PDEs (math.AP)
The aim of this paper is to prove continuity results for the volume potential corresponding to the fundamental solution of a second order differential operator with constant coefficients in Schauder spaces of negative exponent and to generalize some classical results in Schauder spaces of positive exponents.
- [78] arXiv:2408.17195 [pdf, html, other]
-
Title: On $\mathbb{Z}/2\mathbb{Z}$ permutation gaugingComments: 46 pages, comments are welcome!Subjects: Quantum Algebra (math.QA); Mathematical Physics (math-ph); Category Theory (math.CT); Operator Algebras (math.OA)
We explicitly construct a (unitary) $\mathbb{Z}/2\mathbb{Z}$ permutation gauging of a (unitary) modular category $\mathcal{C}$. In particular, the formula for the modular data of the gauged theory is provided in terms of modular data of $\mathcal{C}$, which provides positive evidence of the reconstruction program. Moreover as a direct consequence, the formula for the fusion rules is derived, generalizing the results of Edie-Michell-Jones-Plavnik. Our construction explicitly shows the genus-$0$ data of the gauged theory contains higher genus data of the original theory. As applications, we obtain an identity for the modular data that does not come from modular group relations, and we prove that representations of the symmetric mapping class group (associated to closed surfaces) coming from weakly group theoretical modular categories have finite images.
- [79] arXiv:2408.17196 [pdf, html, other]
-
Title: An Equilibrium Dynamic Traffic Assignment Model with Linear Programming FormulationSubjects: Optimization and Control (math.OC); Computer Science and Game Theory (cs.GT)
In this paper, we consider a dynamic equilibrium transportation problem. There is a fixed number of cars moving from origin to destination areas. Preferences for arrival times are expressed as a cost of arriving before or after the preferred time at the destination. Each driver aims to minimize the time spent during the trip, making the time spent a measure of cost. The chosen routes and departure times impact the network loading. The goal is to find an equilibrium distribution across departure times and routes.
For a relatively simplified transportation model we show that an equilibrium traffic distribution can be found as a solution to a linear program. In earlier works linear programming formulations were only obtained for social optimum dynamic traffic assignment problems. We also discuss algorithmic approaches for solving the equilibrium problem using time-expanded networks. - [80] arXiv:2408.17201 [pdf, html, other]
-
Title: Categorical quantization on K\"ahler manifoldsComments: 17 pagesSubjects: Symplectic Geometry (math.SG); Mathematical Physics (math-ph); Differential Geometry (math.DG)
Generalizing deformation quantizations with separation of variables of a Kähler manifold $M$, we adopt Fedosov's gluing argument to construct a category $\mathsf{DQ}$, enriched over sheaves of $\mathbb{C}[[\hbar]]$-modules on $M$, as a quantization of the category of Hermitian holomorphic vector bundles over $M$ with morphisms being smooth sections of hom-bundles.
We then define quantizable morphisms among objects in $\mathsf{DQ}$, generalizing Chan-Leung-Li's notion [4] of quantizable functions. Upon evaluation of quantizable morphisms at $\hbar = \tfrac{\sqrt{-1}}{k}$, we obtain an enriched category $\mathsf{DQ}_{\operatorname{qu}, k}$. We show that, when $M$ is prequantizable, $\mathsf{DQ}_{\operatorname{qu}, k}$ is equivalent to the category $\mathsf{GQ}$ of holomorphic vector bundles over $M$ with morphisms being holomorphic differential operators, via a functor obtained from Bargmann-Fock actions. - [81] arXiv:2408.17203 [pdf, html, other]
-
Title: On L-equivalence for K3 surfaces and hyperk\"ahler manifoldsComments: 14 pages, comments are welcome!Subjects: Algebraic Geometry (math.AG)
This paper explores the relationship between L-equivalence and D-equivalence for K3 surfaces and hyperkähler manifolds. Building on Efimov's approach using Hodge theory, we prove that very general L-equivalent K3 surfaces are D-equivalent, leveraging the Derived Torelli Theorem for K3 surfaces. Our main technical contribution is that two distinct lattice structures on an integral, irreducible Hodge structure are related by a rational endomorphism of the Hodge structure. We partially extend our results to hyperkähler fourfolds and moduli spaces of sheaves on K3 surfaces.
- [82] arXiv:2408.17212 [pdf, html, other]
-
Title: On log-concavity of the number of orbits in commuting tuples of permutationsComments: 8 pages, The version to appear in the Research in Number TheorySubjects: Combinatorics (math.CO); Number Theory (math.NT)
Denote by $A(p, n, k)$ the number of commuting $p$-tuples of permutations on $[n]$ that have exactly $k$ distinct orbits. It was conjectured in~\cite{abdesselam2023log} that $A(p, n, k)$ is log-concave with respect to $k$ for every $p\geq 2, n\geq 3$, and the log-concavity was proved in ``$p=\infty$" case. In this paper, we prove that for $k=n-\alpha$, the log-concavity for $A(p, n, k)$ holds for every $p\geq 2$ for sufficiently large $n$.
- [83] arXiv:2408.17213 [pdf, html, other]
-
Title: A Minimization Approach for Minimax Optimization with Coupled ConstraintsComments: 25 pagesSubjects: Optimization and Control (math.OC)
In this paper, we focus on the nonconvex-strongly-concave minimax optimization problem (MCC), where the inner maximization subproblem contains constraints that couple the primal variable of the outer minimization problem. We prove that by introducing the dual variable of the inner maximization subproblem, (MCC) has the same first-order minimax points as a nonconvex-strongly-concave minimax optimization problem without coupled constraints (MOL). We then extend our focus to a class of nonconvex-strongly-concave minimax optimization problems (MM) that generalize (MOL). By performing the partial forward-backward envelope to the primal variable of the inner maximization subproblem, we propose a minimization problem (MMPen), where its objective function is explicitly formulated. We prove that the first-order stationary points of (MMPen) coincide with the first-order minimax points of (MM). Therefore, various efficient minimization methods and their convergence guarantees can be directly employed to solve (MM), hence solving (MCC) through (MOL). Preliminary numerical experiments demonstrate the great potential of our proposed approach.
- [84] arXiv:2408.17219 [pdf, html, other]
-
Title: Reconstruction of log-correlated fields from multiplicative chaos measuresComments: 39 pages, 1 figureSubjects: Probability (math.PR); Mathematical Physics (math-ph)
We consider log-correlated random fields $X$ and the associated multiplicative chaos measures $\mu_{\gamma,X}$. Our results reconstruct the underlying field $X$ from the multiplicative chaos measure $\nu_{\gamma,X}$. The new feature of our results is that we allow the dimension $d$ to be arbitrary and cover also the critical case $\gamma=\sqrt{2d}$. In the sub-critical regime $\gamma<\sqrt{2d}$, we allow the fields to be mildly non-Gaussian, that is, the field has the decomposition $X=G+H$ with a log-correlated Gaussian field $G$ and a Hölder-continuos (not necessarily Gaussian) field $H$.
- [85] arXiv:2408.17225 [pdf, html, other]
-
Title: Adaptive Growing Randomized Neural Networks for Solving Partial Differential EquationsSubjects: Numerical Analysis (math.NA)
Randomized neural network (RNN) methods have been proposed for solving various partial differential equations (PDEs), demonstrating high accuracy and efficiency. However, initializing the fixed parameters remains a challenging issue. Additionally, RNNs often struggle to solve PDEs with sharp or discontinuous solutions. In this paper, we propose a novel approach called Adaptive Growing Randomized Neural Network (AG-RNN) to address these challenges. First, we establish a parameter initialization strategy based on frequency information to construct the initial RNN. After obtaining a numerical solution from this initial network, we use the residual as an error indicator. Based on the error indicator, we introduce growth strategies that expand the neural network, making it wider and deeper to improve the accuracy of the numerical solution. A key feature of AG-RNN is its adaptive strategy for determining the weights and biases of newly added neurons, enabling the network to expand in both width and depth without requiring additional training. Instead, all weights and biases are generated constructively, significantly enhancing the network's approximation capabilities compared to conventional randomized neural network methods. In addition, a domain splitting strategy is introduced to handle the case of discontinuous solutions. Extensive numerical experiments are conducted to demonstrate the efficiency and accuracy of this innovative approach.
- [86] arXiv:2408.17228 [pdf, html, other]
-
Title: A Runge-type approximation theorem for the 3D unsteady Stokes systemComments: 27 pagesSubjects: Analysis of PDEs (math.AP)
We investigate Runge-type approximation theorems for solutions to the 3D unsteady Stokes system. More precisely, we establish that on any compact set with connected complement, local smooth solutions to the 3D unsteady Stokes system can be approximated with an arbitrary small positive error in $L^\infty$ norm by a global solution of the 3D unsteady Stokes system, where the velocity grows at most exponentially at spatial infinity and the pressure grows polynomially. Additionally, by considering a parasitic solution to the Stokes system, we establish that some growths at infinity are indeed necessary.
- [87] arXiv:2408.17229 [pdf, html, other]
-
Title: On the Metric Dimension of $K_a \times K_b \times K_c$Comments: 41 pagesSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
In this work we determine the metric dimension of $ K_a \times K_b \times K_c$ for all $a,b,c\in \mathbb N$ with $ a \le b \le c $ as follows. For $3a<b+c$ and $2b \le c$, this value is $c-1$, for $3a<b+c$ and $2b > c$, it is $\left \lfloor \frac{2}{3}(b+c-1) \right \rfloor$, and for $3a=b+c$, it is $\left \lfloor \frac{a+b+c}{2} \right \rfloor -1 $. The only open case is $3a>b+c$, where two values are possible, namely $\left \lfloor \frac{a+b+c}{2} \right \rfloor -1 $ and $\left \lfloor \frac{a+b+c}{2} \right \rfloor $. This result extends previous results of Cácere et al., who computed the metric dimension of $ K_a \times K_b$, and of Drewes and Jäger, who computed the metric dimension of $ K_a \times K_a \times K_a$.
We prove our result by introducing and analyzing a new variant of Static Black-Peg Mastermind, in which each peg has its own permitted set of colors. For all cases, we present strategies which we prove to be both feasible and optimal. Our main result follows, as the number of questions of these strategies is equal to the metric dimension of $K_a \times K_b \times K_c$. - [88] arXiv:2408.17232 [pdf, html, other]
-
Title: Bubbles in Linear Chord Diagrams: Bridges and Crystallized DiagramsComments: 18 pages, 8 figuresSubjects: Combinatorics (math.CO)
In a linear chord diagram a short chord joins adjacent vertices while a bubble is a region devoid of short chords. We define a bridge to be a chord joining a vertex interior to a bubble to one exterior to it. Building on earlier work, we investigate the distribution of bridges in the limit of large bubbles and diagrams, and show that the number of bridges is asymptotically normal, obtaining expressions for the associated mean and variance as a function of bubble size. We introduce the notion of a crystallized diagram, defined by the criteria that all its chords are either short or are bridges. We count the number of crystallized diagrams by the number of short chords they contain, and provide the asymptotic distribution in the limit of large crystallized diagrams. We show that for very large diagrams, the number of short chords is normal, and sharply peaked at $\sqrt{2n/\log
n}$, where $n$ is the total number of chords in the diagram. - [89] arXiv:2408.17234 [pdf, html, other]
-
Title: Mutual-visibility and general position sets in Sierpi\'nski triangle graphsSubjects: Combinatorics (math.CO)
For a given graph \(G\), the general position problem asks for the largest set of vertices \(M \subseteq V(G)\) such that no three distinct vertices of \(M\) belong to a common shortest path in \(G\). A relaxation of this concept is based on the condition that two vertices \(x, y \in V(G)\) are \(M\)-visible, meaning there exists a shortest \(x, y\)-path in \(G\) that does not pass through any vertex of \(M \setminus \{x, y\}\).
If every pair of vertices in \(M\) is \(M\)-visible, then \(M\) is called a mutual-visibility set of \(G\). The size of the largest mutual-visibility set of \(G\) is called the mutual-visibility number of \(G\). Some well-known variations of this concept consider the total, outer, and dual mutual-visibility sets of a graph.
We present results on the general position problem and the various mutual-visibility problems in Sierpiński triangle graphs. - [90] arXiv:2408.17236 [pdf, html, other]
-
Title: Combinatorial and homotopical aspects of $E_n$-operadsComments: 20 pages. Comments are welcomeSubjects: Algebraic Topology (math.AT)
We show that a certain class of categorical operads give rise to $E_n$-operads after geometric realization. The main arguments are purely combinatorial and avoid the technical topological assumptions otherwise found in the literature.
- [91] arXiv:2408.17237 [pdf, html, other]
-
Title: A nonlinear elasticity model in computer visionSubjects: Analysis of PDEs (math.AP); Computer Vision and Pattern Recognition (cs.CV)
The purpose of this paper is to analyze a nonlinear elasticity model previously introduced by the authors for comparing two images, regarded as bounded open subsets of $\R^n$ together with associated vector-valued intensity maps. Optimal transformations between the images are sought as minimisers of an integral functional among orientation-preserving homeomorphisms. The existence of minimisers is proved under natural coercivity and polyconvexity conditions, assuming only that the intensity functions are bounded measurable. Variants of the existence theorem are also proved, first under the constraint that finite sets of landmark points in the two images are mapped one to the other, and second when one image is to be compared to an unknown part of another.
The question is studied as to whether for images related by a linear mapping the unique minimizer is given by that linear mapping. For a natural class of functional integrands an example is given guaranteeing that this property holds for pairs of images in which the second is a scaling of the first by a constant factor. However for the property to hold for arbitrary pairs of linearly related images it is shown that the integrand has to depend on the gradient of the transformation as a convex function of its determinant alone. This suggests a new model in which the integrand depends also on second derivatives of the transformation, and an example is given for which both existence of minimizers is assured and the above property holds for all pairs of linearly related images. - [92] arXiv:2408.17242 [pdf, html, other]
-
Title: The random periodic solutions for McKean-Vlasov stochastic differential equationsComments: 24 pages, no figuresSubjects: Probability (math.PR); Dynamical Systems (math.DS)
In this paper, we study well-posedness of random periodic solutions of stochastic differential equations (SDEs) of McKean-Vlasov type driven by a two-sided Brownian motion, where the random periodic behaviour is characterised by the equations' long-time behaviour. Given the well-known connection between McKean-Vlasov SDEs and interacting particle systems, we show propagation of chaos and that the key properties of the interacting particle systems recover those of the McKean-Vlasov SDEs in the particle limit. All results in the present work are shown under two settings: fully and partially dissipative case. Each setting has its challenges and limitations. For instance, weakening full dissipativity to partial dissipativity demands stronger structural assumptions on the equations' dynamics and yields random periodic behaviour in the weak sense instead of pathwise sense (as in the full dissipativity case). The proof mechanisms are close but fundamentally different.
- [93] arXiv:2408.17243 [pdf, html, other]
-
Title: A kinetic chemotaxis model and its diffusion limit in slab geometrySubjects: Analysis of PDEs (math.AP); Cell Behavior (q-bio.CB)
Chemotaxis describes the intricate interplay of cellular motion in response to a chemical signal. We here consider the case of slab geometry which models chemotactic motion between two infinite membranes. Like previous works, we are particularly interested in the asymptotic regime of high tumbling rates. We establish local existence and uniqueness of solutions to the kinetic equation and show their convergence towards solutions of a parabolic Keller-Segel model in the asymptotic limit. In addition, we prove convergence rates with respect to the asymptotic parameter under additional regularity assumptions on the problem data. Particular difficulties in our analysis are caused by vanishing velocities in the kinetic model as well as the occurrence of boundary terms.
- [94] arXiv:2408.17246 [pdf, html, other]
-
Title: Learning and Verifying Maximal Taylor-Neural Lyapunov functionsSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Systems and Control (eess.SY)
We introduce a novel neural network architecture, termed Taylor-neural Lyapunov functions, designed to approximate Lyapunov functions with formal certification. This architecture innovatively encodes local approximations and extends them globally by leveraging neural networks to approximate the residuals. Our method recasts the problem of estimating the largest region of attraction - specifically for maximal Lyapunov functions - into a learning problem, ensuring convergence around the origin through robust control theory. Physics-informed machine learning techniques further refine the estimation of the largest region of attraction. Remarkably, this method is versatile, operating effectively even without simulated data points. We validate the efficacy of our approach by providing numerical certificates of convergence across multiple examples. Our proposed methodology not only competes closely with state-of-the-art approaches, such as sum-of-squares and LyZNet, but also achieves comparable results even in the absence of simulated data. This work represents a significant advancement in control theory, with broad potential applications in the design of stable control systems and beyond.
- [95] arXiv:2408.17249 [pdf, html, other]
-
Title: Remainder terms of $L^p$-Hardy inequalities with magnetic fields: the case $1<p<2$Subjects: Analysis of PDEs (math.AP)
This paper focuses on remainder estimates of the magnetic $L^p$-Hardy inequalities for $1<p<2$. \emph{Firstly}, we establish a family of remainder terms involving magnetic gradients of the magnetic $L^p$-Hardy inequalities, which are also new even for the classical $L^p$-Hardy inequalities. \emph{Secondly}, we study another family of remainder terms involving logarithmic terms of the magnetic $L^p$-Hardy inequalities. \emph{Lastly}, as a byproduct, we further obtain remainder terms of some other $L^p$-Hardy-type inequalities by using similar proof of our main results.
Furthermore, this paper answers the open question proposed by Cazacu \emph{et al.} in [\emph{Nonlinearity} \textbf{37} (2024), Paper No. 035004] and can be viewed as a supplementary work of it. - [96] arXiv:2408.17261 [pdf, html, other]
-
Title: Asymptotic stability of composite waves of two viscous shocks for relaxed compressible Navier-Stokes equationsComments: arXiv admin note: substantial text overlap with arXiv:2404.18480Subjects: Analysis of PDEs (math.AP)
This paper investigates the time asymptotic stability of composite waves formed by two shock waves within the context of one-dimensional relaxed compressible Navier-Stokes equations. We demonstrate that the composite waves consisting of two viscous shocks achieve asymptotic nonlinear stability under the condition of having two small, independent wave strengths and the presence of minor initial perturbations. Furthermore, the solutions of the relaxed system are observed to globally converge over time to those of the classical system as the relaxation parameter approaches zero. The methodologies are grounded in relative entropy, the $a$-contraction with shifts theory and fundamental energy estimates.
- [97] arXiv:2408.17266 [pdf, html, other]
-
Title: Sufficient conditions for solvability of linear Diophantine equations and Frobenius numbersSubjects: Number Theory (math.NT)
A linear Diophantine equation $\sum_{i=1}^{n}a_ix_i=b$ is considered, where $a_1,a_2,...,a_n$ are coprime natural numbers, $b$ is an non-negative integer, $x_i$ $(i=1,2,...,n)$ are non-negative integers. It is proved that if $\left[\frac{b}{M}\right]\geq \left[n-\frac{\sum_{i=1}^{n}a_i+r}{M}\right]$, then this equation is solvable (here $M$ is the least common multiple of the numbers $a_1,a_2,...,a_n$; $r$ is the remainder of $b$ modulo $M$). With the aid of this result, it is shown that the considered equation is solvable if either $b\geq nM-\sum_{i=1}^{n}a_i$ or $b\geq (n-1)M$. The case where $\sum_{i=1}^{n}a_i\geq (n-2)M+2$ is considered closer. It is proved that, in that case, the equation is solvable if $b>(n-1)M-\sum_{i=1}^{n}a_i$. If, in addition, $r>(n-1)M-\sum_{i=1}^{n}a_i$, then it has $\frac{M^{n-1}}{a_1a_2...a_n}C^{n-1}_{b'+n-1}$ integer non-negative solutions; it is also shown that if $b\geq M$ and $r\leq (n-1)M-\sum_{i=1}^{n}a_i$, then the number of solutions of the equation is greater than or equal to $\frac{M^{n-1}}{a_1a_2...a_n}C^{n-1}_{b'+n-2}$; here $b'=\left[\frac{b}{M}\right]$ (and $C^{k}_{m}$ denotes the binomial coefficient ${\begin{pmatrix}m\\k\\\end{pmatrix}}$). Moreover, it is proved that if the numbers $a_1,a_2,...,a_n$ are coprime, then $Frob(a_1,a_2,...,a_n)\leq c$, where $c$ is the smallest among the numbers $a_ia_j-a_i-a_j$ with $(a_i,a_j)=1$ ($1\leq i< j\leq n$).
- [98] arXiv:2408.17269 [pdf, html, other]
-
Title: A New Method for the Identification of a Wiener-Hammerstein Model in a Communication ContextComments: Submitted to IEEE Transactions on CommunicationsSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
We propose a new algorithm to identify a Wiener-Hammerstein system. This model represents a communication channel where two linear filters are separated by a non-linear function modelling an amplifier. The algorithm enables to recover each parameter of the model, namely the two linear filters and the non-linear function. This is to be opposed with estimation algorithms which identify the equivalent Volterra system. The algorithm is composed of three main steps and uses three distinct pilot sequences. The estimation of the parameters is done in the time domain via several instances of the least-square algorithm. However, arguments based on the spectral representation of the signals and filters are used to design the pilot sequences. We also provide an analysis of the proposed algorithm. We estimate, via the theory and simulations, the minimum required size of the pilot sequences to achieve a target mean squared error between the output of the true channel and the output of the estimated model. We obtain that the new method requires reduced-size pilot sequences: The sum of the length of the pilot sequences is approximately the one needed to estimate the convolutional product of the two linear filters with a back-off. A comparison with the Volterra approach is also provided.
- [99] arXiv:2408.17273 [pdf, html, other]
-
Title: Overlapping subspaces and singular systems with application to Isogeometric AnalysisSubjects: Numerical Analysis (math.NA)
We propose a framework for solving partial differential equations (PDEs) motivated by isogeometric analysis (IGA) and local tensor-product splines. Instead of using a global basis for the solution space we use as generators the disjoint union of subspace bases. This leads to a potentially singular linear system, which is handled by a Krylov linear solver. The framework may offer computational advantages in dealing with spaces like Hierarchical B-splines, T-splines, and LR-splines.
- [100] arXiv:2408.17279 [pdf, html, other]
-
Title: Analytically one-dimensional planes and the Combinatorial Loewner PropertyComments: 33 pagesSubjects: Metric Geometry (math.MG); Classical Analysis and ODEs (math.CA)
It is a major problem in analysis on metric spaces to understand when a metric space is quasisymmetric to a space with strong analytic structure, a so-called Loewner space. A conjecture of Kleiner, recently disproven by Anttila and the second author, proposes a combinatorial sufficient condition. The counterexamples constructed are all topologically one dimensional, and the sufficiency of Kleiner's condition remains open for most other examples.
A separate question of Kleiner and Schioppa, apparently unrelated to the problem above, asks about the existence of "analytically $1$-dimensional planes": metric measure spaces quasisymmetric to the Euclidean plane but supporting a $1$-dimensional analytic structure in the sense of Cheeger.
In this paper, we construct an example for which the conclusion of Kleiner's conjecture is not known to hold. We show that either this conclusion fails in our example or there exists an "analytically $1$-dimensional plane". Thus, our construction either yields a new counterexample to Kleiner's conjecture, different in kind from those of Anttila and the second author, or a resolution to the problem of Kleiner--Schioppa. - [101] arXiv:2408.17288 [pdf, html, other]
-
Title: An Integer Linear Programming Model for Earth Observation MissionsSubjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
This paper addresses an optimization problem in satellite observation mission planning, focusing on the challenges of decentralized decision-making among satellites, which is crucial for optimizing strategies in dynamic observation environments. The method integrates mathematical modeling using integer programming and time-varying communication graphs, which are essential for efficient task scheduling. Specifically, the approach utilizes distributed Lagrangian relaxation techniques to manage the complexity of the problem. Numerical simulations are conducted to explore the feasibility of the proposed approach for handling complex satellite operations under evolving communication dynamics.
- [102] arXiv:2408.17295 [pdf, html, other]
-
Title: All You Need is Group Actions: Advancing Robust Autonomous PlanningSubjects: Optimization and Control (math.OC); Group Theory (math.GR); Numerical Analysis (math.NA)
Managing the plan of constellation of satellites for target observation requires optimal deployment and efficient operational strategies. In this paper, we introduce a new technique based on group theory tools through multi-agent constraint optimization techniques, designed for the dynamic landscapes of satellite operations. Inspired by group actions, our method models the planning problem for observing Earth targets as a cooperative game to achieve computational efficiency while simultaneously reducing computational complexity. Designed for the complex task of planning constellation of satellites, our methodology provides a feasible solution to the inherent challenges of multi-agent optimization under state constraints and subject to uncertainties. Our approach can offer avenues for improving mission efficiency and reducing costs. Through numerical simulations, we demonstrate the good performance of the approach in the presence of inter-satellite links.
- [103] arXiv:2408.17301 [pdf, html, other]
-
Title: Integral cohomology of dual boundary complexes is motivicComments: 8 pages; Following the anonymous referee's suggestion, the original paper arXiv:2307.16657 (v3) has been separated into two: v4 of that paper keeps the main result; this one deals with the motivic partSubjects: Algebraic Geometry (math.AG)
In this note, we give a motivic characterization of the integral cohomology of dual boundary complexes of smooth quasi-projective complex algebraic varieties. As a corollary, the dual boundary complex of any stably affine space (of positive dimension) is contractible. In a separate paper [Su23], this corollary has been used by the author in his proof of the weak geometric P=W conjecture for very generic $GL_n(\mathbb{C})$-character varieties over any punctured Riemann surfaces.
- [104] arXiv:2408.17305 [pdf, html, other]
-
Title: On the Grothendieck resolution for a certain finite flat commutative group scheme of order $p^{n}$ over an $\Bbb{F}_{p}$-algebraSubjects: Number Theory (math.NT)
For any commutative finite flat group scheme, Grothendieck constructed an embedding into some smooth group scheme. This embedding is called the Grothendieck resolution. Let $p$ be a prime number and $n$ a positive integer. We consider the Grothendieck resolution for a certain finite flat commutative group scheme of order $p^{n}$ over an $\Bbb{F}_{p}$-algebra.
- [105] arXiv:2408.17306 [pdf, html, other]
-
Title: L-valued integrationComments: 23 pagesSubjects: Functional Analysis (math.FA)
We develop integration theory for integrating functions taking values into a Dedekind complete unital $f$-algebra $\mathbb{L}$ with respect to $\mathbb{L}$-valued measures. We then discuss and prove completeness results of $\mathbb{L}$-valued $L^p$-spaces.
- [106] arXiv:2408.17312 [pdf, html, other]
-
Title: Automatic Differentiation for All-at-once Systems Arising in Certain PDE-Constrained Optimization ProblemsSubjects: Numerical Analysis (math.NA)
An automated framework is presented for the numerical solution of optimal control problems with PDEs as constraints, in both the stationary and instationary settings. The associated code can solve both linear and non-linear problems, and examples for incompressible flow equations are considered. The software, which is based on a Python interface to the Firedrake system, allows for a compact definition of the problem considered by providing a few lines of code in a high-level language. The software is provided with efficient iterative linear solvers for optimal control problems with PDEs as constraints. The use of advanced preconditioning techniques results in a significant speed-up of the solution process for large-scale problems. We present numerical examples of the applicability of the software on classical control problems with PDEs as constraints.
- [107] arXiv:2408.17321 [pdf, other]
-
Title: Nonstationary Stokes equations on a domain with curved boundary under slip boundary conditionsComments: 44 pages, 1 figureSubjects: Analysis of PDEs (math.AP)
We consider nonstationary Stokes equations in nondivergence form with variable viscosity coefficients and Navier slip boundary conditions with slip coefficient $\alpha$ in a domain $\Omega$. On the one hand, if $\alpha$ is sufficiently smooth, then we obtain a priori local regularity estimates for solutions near a curved portion of the boundary of the domain. On the other hand, if $\alpha$ depends on the curvature of the boundary of the domain, then we obtain local boundary estimates of Hessians of solutions where the right-hand side does not contain the pressure. Our results are new even if the viscosity coefficients are constant.
- [108] arXiv:2408.17330 [pdf, html, other]
-
Title: Vector bundles on blown-up Hopf surfacesComments: The paper is publishedJournal-ref: Cent. Eur. J. Math. 10 (2012), 1356-1360Subjects: Algebraic Geometry (math.AG); Complex Variables (math.CV)
We show that certain moduli spaces of vector bundles over blown-up primary Hopf surfaces admit no compact components. These are the moduli spaces used by Andrei Teleman in his work on the classification of class $VII$ surfaces.
- [109] arXiv:2408.17331 [pdf, html, other]
-
Title: Persistent equivariant cohomologySubjects: Algebraic Topology (math.AT); Geometric Topology (math.GT); Metric Geometry (math.MG)
This article has two goals. First, we hope to give an accessible introduction to persistent equivariant cohomology. Given a topological group $G$ acting on a filtered space, persistent Borel equivariant cohomology measures not only the shape of the filtration, but also attributes of the group action on the filtration, including in particular its fixed points. Second, we give an explicit description of the persistent equivariant cohomology of the circle action on the Vietoris-Rips metric thickenings of the circle, using the Serre spectral sequence and the Gysin homomorphism. Indeed, if $\frac{2\pi k}{2k+1} \le r < \frac{2\pi(k+1)}{2k+3}$, then $H^*_{S^1}(\mathrm{VR}^\mathrm{m}(S^1;r))\cong \mathbb{Z}[u]/(1\cdot3\cdot5\cdot\ldots \cdot (2k+1)\, u^{k+1})$ where $\mathrm{deg}(u)=2$.
- [110] arXiv:2408.17333 [pdf, html, other]
-
Title: Subspace Diffusion Posterior Sampling for Travel-Time TomographyComments: 20 pages, 8 figures, 2 tablesSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
Diffusion models have been widely studied as effective generative tools for solving inverse problems. The main ideas focus on performing the reverse sampling process conditioned on noisy measurements, using well-established numerical solvers for gradient updates. Although diffusion-based sampling methods can produce high-quality reconstructions, challenges persist in nonlinear PDE-based inverse problems and sampling speed. In this work, we explore solving PDE-based travel-time tomography based on subspace diffusion generative models. Our main contributions are twofold: First, we propose a posterior sampling process for PDE-based inverse problems by solving the associated adjoint-state equation. Second, we resorted to the subspace-based dimension reduction technique for conditional sampling acceleration, enabling solving the PDE-based inverse problems from coarse to refined grids. Our numerical experiments showed satisfactory advancements in improving the travel-time imaging quality and reducing the sampling time for reconstruction.
- [111] arXiv:2408.17342 [pdf, html, other]
-
Title: Optimal Control Problems with Vector-Valued Impulse Controls and Time DelaysSubjects: Optimization and Control (math.OC)
We consider a nonlinear control system with vector-valued measures as controls and with dynamics depending on time delayed states. First, we introduce a notion of discontinuous, bounded variation solution associated with this system and establish an equivalent representation formula for it, inspired by the approach known in delay-free impulsive control as the `graph completions' method. Then, thanks to this equivalent formulation, we prove well-posedness properties of these solutions and also derive necessary optimality conditions in the form of a Maximum Principle for an associated minimization problem.
- [112] arXiv:2408.17350 [pdf, html, other]
-
Title: Regular Pairings for Non-quadratic Lyapunov Functions and Contraction AnalysisSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Dynamical Systems (math.DS); Functional Analysis (math.FA)
Recent studies on stability and contractivity have highlighted the importance of semi-inner products, which we refer to as ``pairings'', associated with general norms. A pairing is a binary operation that relates the derivative of a curve's norm to the radius-vector of the curve and its tangent. This relationship, known as the curve norm derivative formula, is crucial when using the norm as a Lyapunov function. Another important property of the pairing, used in stability and contraction criteria, is the so-called Lumer inequality, which relates the pairing to the induced logarithmic norm. We prove that the curve norm derivative formula and Lumer's inequality are, in fact, equivalent to each other and to several simpler properties. We then introduce and characterize regular pairings that satisfy all of these properties. Our results unify several independent theories of pairings (semi-inner products) developed in previous work on functional analysis and control theory. Additionally, we introduce the polyhedral max pairing and develop computational tools for polyhedral norms, advancing contraction theory in non-Euclidean spaces.
- [113] arXiv:2408.17372 [pdf, other]
-
Title: Partial Blow-up Phenomena in the $SU(3)$ Toda System on Riemann SurfacesSubjects: Analysis of PDEs (math.AP)
This work studies the partial blow-up phenomena for the $SU(3)$ Toda system on compact Riemann surfaces with smooth boundary. We consider the following coupled Liouville system with Neumann boundary conditions:
$$
-\Delta_g u_1 = 2\rho_1\left( \frac{V_1 e^{u_1}}{\int_{\Sigma} V_1 e^{u_1} \, dv_g} - \frac 1 {|\Sigma|_g}\right) - \rho_2\left( \frac{V_2 e^{u_2}}{\int_{\Sigma} V_2 e^{u_2} \, dv_g} - \frac{1}{|\Sigma|_g}\right) \text{in} \,\mathring\Sigma$$ and $$
-\Delta_g u_2 = 2\rho_2\left( \frac{V_2 e^{u_2}}{\int_{\Sigma} V_2 e^{u_2} \, dv_g} - \frac{1}{|\Sigma|_g}\right) - \rho_1\left( \frac{V_1 e^{u_1}}{\int_{\Sigma} V_1 e^{u_1} \, dv_g} - \frac{1}{|\Sigma|_g}\right) \text{in} \,\mathring\Sigma$$ with boundary conditions $
\partial_{\nu_g} u_1 = \partial_{\nu_g} u_2 = 0 \text{ on} \, \partial \Sigma,$ where $(\Sigma, g)$ is a compact Riemann surface with the interior $\mathring\Sigma$ and smooth boundary $\partial\Sigma$, $\rho_i$ is a non-negative parameter and $V_i$ is a smooth positive function for $i=1,2$.
We construct a family of blow-up solutions via the Lyapunov-Schmidt reduction and variational methods, wherein one component remains uniformly bounded from above, while the other exhibits partial blow-ups at a prescribed number of points, both in the interior and on the boundary. This construction is based on the existence of a non-degeneracy solution of a so-called shadow system. Moreover, we establish the existence of partial blow-up solutions in three cases: (i) for any $\rho_2>0$ sufficiently small; (ii) for generic $V_1, V_2$ and any $\rho_2\in (0,2\pi)$; (iii) for generic $V_1, V_2$, the Euler characteristic $\chi(\Sigma)<1$ and any $\rho_2\in (2\pi,+\infty)\setminus 2\pi \mathbb{N}_+$. - [114] arXiv:2408.17375 [pdf, other]
-
Title: Key expansion of the flagged refined skew stable Grothendieck polynomialComments: Comments are welcomeSubjects: Combinatorics (math.CO); Representation Theory (math.RT)
The flagged refined stable Grothendieck polynomials of skew shapes generalize several polynomials like stable Grothendieck polynomials, flagged skew Schur polynomials. In this paper, we provide a combinatorial expansion of the flagged refined skew stable Grothendieck polynomial in terms of key polynomials. We present this expansion by imposing a Demazure crystal structure on the set of flagged semi-standard set-valued tableaux of a given skew shape and a flag. We also provide expansions of the row-refined stable Grothendieck polynomials and refined dual stable Grothendieck polynomials in terms of stable Grothendieck polynomials $G_{\lambda}$ and in terms of dual stable Grothendieck polynomials $g_{\lambda}$.
- [115] arXiv:2408.17381 [pdf, html, other]
-
Title: $C^1$ virtual element methods on polygonal meshes with curved edgesComments: 24 pages, 6 figuresSubjects: Numerical Analysis (math.NA)
In this work we design a novel $C^1$-conforming virtual element method of arbitrary order $k \geq 2$, to solve the biharmonic problem on a domain with curved boundary and internal curved interfaces in two dimensions. By introducing a suitable stabilizing form, we develop a rigorous interpolation, stability, and convergence analysis obtaining optimal error estimates in the energy norm. Finally, we validate the theoretical findings through numerical experiments.
- [116] arXiv:2408.17386 [pdf, html, other]
-
Title: Equivariant isomorphism of Quantum Lens Spaces of low dimensionSubjects: Operator Algebras (math.OA)
The quantum lens spaces form a natural and well-studied class of noncommutative spaces which has been partially classified using algebraic invariants drawing on the developed classification theory of graph $C^*$-algebras. We introduce the problem of deciding when two quantum lens spaces are equivariantly isomorphic, and solve it in certain basic cases. The results can be formulated directly in terms of the parameters defining the quantum lens spaces, and here occasionally take on a rather complicated from which convinces us that there is a deep underlying explanation for our findings. We complement the fully established partial results with computer experiments that may indicate the way forward.
- [117] arXiv:2408.17388 [pdf, html, other]
-
Title: Dynamical Properties of Random Boolean HypernetworksComments: 10.5 pages, 7 figuresSubjects: Dynamical Systems (math.DS)
Boolean networks are a valuable class of discrete dynamical systems models, but they remain fundamentally limited by their inability to capture multi-way interactions in their components. To remedy this limitation, we propose a model of Boolean hypernetworks, which generalize standard Boolean networks. Utilizing the bijection between hypernetworks and bipartite networks, we show how Boolean hypernetworks generalize standard Boolean networks. We derive ensembles of Boolean hypernetworks from standard random Boolean networks and simulate the dynamics of each. Our results indicate that several properties of Boolean network dynamics are affected by the addition of multi-way interactions, and that these additions can have stabilizing or destabilizing effects.
- [118] arXiv:2408.17390 [pdf, html, other]
-
Title: High-order finite element methods for three-dimensional multicomponent convection-diffusionSubjects: Numerical Analysis (math.NA)
We derive and analyze a broad class of finite element methods for numerically simulating the stationary, low Reynolds number flow of concentrated mixtures of several distinct chemical species in a common thermodynamic phase. The underlying partial differential equations that we discretize are the Stokes$\unicode{x2013}$Onsager$\unicode{x2013}$Stefan$\unicode{x2013}$Maxwell (SOSM) equations, which model bulk momentum transport and multicomponent diffusion within ideal and non-ideal mixtures. Unlike previous approaches, the methods are straightforward to implement in two and three spatial dimensions, and allow for high-order finite element spaces to be employed. The key idea in deriving the discretization is to suitably reformulate the SOSM equations in terms of the species mass fluxes and chemical potentials, and discretize these unknown fields using stable $H(\textrm{div}) \unicode{x2013} L^2$ finite element pairs. We prove that the methods are convergent and yield a symmetric linear system for a Picard linearization of the SOSM equations, which staggers the updates for concentrations and chemical potentials. We also discuss how the proposed approach can be extended to the Newton linearization of the SOSM equations, which requires the simultaneous solution of mole fractions, chemical potentials, and other variables. Our theoretical results are supported by numerical experiments and we present an example of a physical application involving the microfluidic non-ideal mixing of hydrocarbons.
- [119] arXiv:2408.17393 [pdf, html, other]
-
Title: Strong reducibilities and set theoryComments: Old work, long delayed by my having left academiaSubjects: Logic (math.LO)
We study Medvedev reducibility in the context of set theory -- specifically, forcing and large cardinal hypotheses. Answering a question of Hamkins and Li \cite{HaLi}, we show that the Medvedev degrees of countable ordinals are far from linearly ordered in multiple ways, our main result here being that there is a club of ordinals which is an antichain with respect to Medvedev reducibility. We then generalize these results to arbitrary ``reasonably-definable" reducibilities, under appropriate set-theoretic hypotheses.
We then turn from ordinals to general structures. We show that some of the results above yield characterizations of counterexamples to Vaught's conjecture; another applies to all situations, assigning an ordinal to any reasonable class of structures and ``measure" on that class. We end by discussing some directions for future research. - [120] arXiv:2408.17397 [pdf, html, other]
-
Title: End-to-End Learning for Task-Oriented Semantic Communications Over MIMO Channels: An Information-Theoretic FrameworkComments: major revision in IEEE JSACSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
This paper addresses the problem of end-to-end (E2E) design of learning and communication in a task-oriented semantic communication system. In particular, we consider a multi-device cooperative edge inference system over a wireless multiple-input multiple-output (MIMO) multiple access channel, where multiple devices transmit extracted features to a server to perform a classification task. We formulate the E2E design of feature encoding, MIMO precoding, and classification as a conditional mutual information maximization problem. However, it is notoriously difficult to design and train an E2E network that can be adaptive to both the task dataset and different channel realizations. Regarding network training, we propose a decoupled pretraining framework that separately trains the feature encoder and the MIMO precoder, with a maximum a posteriori (MAP) classifier employed at the server to generate the inference result. The feature encoder is pretrained exclusively using the task dataset, while the MIMO precoder is pretrained solely based on the channel and noise distributions. Nevertheless, we manage to align the pretraining objectives of each individual component with the E2E learning objective, so as to approach the performance bound of E2E learning. By leveraging the decoupled pretraining results for initialization, the E2E learning can be conducted with minimal training overhead. Regarding network architecture design, we develop two deep unfolded precoding networks that effectively incorporate the domain knowledge of the solution to the decoupled precoding problem. Simulation results on both the CIFAR-10 and ModelNet10 datasets verify that the proposed method achieves significantly higher classification accuracy compared to various baselines.
- [121] arXiv:2408.17400 [pdf, html, other]
-
Title: Algebraic structure theory and interpolation failures in semilinear logicsSubjects: Logic (math.LO)
In this work we study integral residuated chains, and we solve some open problems related to the study of the amalgamation property in varieties of residuated lattices, or equivalently, about the deductive interpolation property in substructural logics. More precisely, we find a V-formation consisting of 2-potent finite commutative integral chains that does not have an amalgam, nor a one-amalgam, in residuated chains; as most relevant consequences, this entails that the following varieties do not have the amalgamation property: semilinear commutative (integral) residuated lattices, MTL-algebras, involutive and pseudocomplemented MTL-algebras, and all of their n-potent subvarieties for n strictly larger than 1. These results entail the failure of the deductive interpolation property for the corresponding substructural logics.
- [122] arXiv:2408.17414 [pdf, html, other]
-
Title: Improved bounds for randomized Schatten norm estimation of numerically low-rank matricesSubjects: Numerical Analysis (math.NA)
In this work, we analyze the variance of a stochastic estimator for computing Schatten norms of matrices. The estimator extracts information from a single sketch of the matrix, that is, the product of the matrix with a few standard Gaussian random vectors. While this estimator has been proposed and used in the literature before, the existing variance bounds are often pessimistic. Our work provides a sharper upper bound on the variance and we also give estimates of the variance that work well for numerically low-rank matrices. Our theoretical findings are supported by numerical experiments, demonstrating that the new bounds are significantly tighter than the existing ones.
- [123] arXiv:2408.17425 [pdf, other]
-
Title: Detecting cluster patterns in tensor dataComments: 17 pages, 8 figuresSubjects: Numerical Analysis (math.NA); Data Structures and Algorithms (cs.DS)
A tensor consists of data, $t$, equipped with a multilinear product $\langle t|u_1,\ldots, u_{\ell}\rangle$, called a tensor contraction. Each vector $u_a$ comes from a space $U_a$ called an axis (or mode), the output $\langle t|u_1,\ldots, u_{\ell}\rangle$ lies in a base space $U_0$. In applications, axes often function as linear models of input parameters to a multiparameter process. The tensor then models the complex ways these parameters interact to produce a vector in the base which models outcomes. Thus some linear methods become accessible on a nonlinear problem.
Many applications of tensors use decompositions $U_a=X_{a,1}\oplus \cdots \oplus X_{a,k_a}$ with a prescribed subset $\Delta$ of coordinates $(i_0,i_1,\ldots, i_{\ell})$, $1\leq i_a\leq k_a$, where \[
(i_0,i_1,\ldots, i_{\ell})\not\in \Delta
\qquad \Longrightarrow \qquad
\langle t|X_{1,i_1},\ldots, X_{\ell,i_{\ell}}\rangle \leq
\sum_{j\neq i_0} X_{0,j}. \] We call $\Delta$ a cluster pattern and observe that these generalize familiar structures such as echelon forms, block diagonalization, orthogonal, eigen, and singular value decompositions, and clustering more broadly.
This article introduces a class of efficiently computable cluster patterns that emerge from an underlying Lie theory of multilinear maps. The new family generalizes known cluster patterns such as Tucker decompositions and block diagonal decompositions but also includes decompositions that approximate curves and surfaces. The latter patterns can capture properties of data categories that do not decompose into the types of disjoint clustering for which existing methods are designed. - [124] arXiv:2408.17440 [pdf, html, other]
-
Title: From free idempotent monoids to free multiplicatively idempotent rigsComments: 38 pages, of which 3 are landscapeSubjects: Rings and Algebras (math.RA); Combinatorics (math.CO); Group Theory (math.GR)
A multiplicatively idempotent rig (which we abbreviate to mirig) is a rig satisfying the equation r2 = r. We show that a free mirig on finitely many generators is finite and compute its size. This work was originally motivated by a collaborative effort on the decentralized social network Mastodon to compute the size of the free mirig on two generators.
- [125] arXiv:2408.17441 [pdf, html, other]
-
Title: Linear constellations in primes with arithmetic restrictionsComments: 60 pages. Comments are welcome!Subjects: Number Theory (math.NT)
We prove analogues of the Green-Tao-Ziegler theorem on linear constellations in primes, in which the primes under consideration are restricted by certain arithmetic conditions. Our first main result is conditional upon Hooley's Riemann hypothesis and imposes the extra condition that the primes have prescribed primitive roots. Our second main result is unconditional and imposes the extra condition that the primes have prescribed Artin symbols in given Galois number fields. To illustrate this second result, we present an application in inverse Galois theory.
- [126] arXiv:2408.17444 [pdf, html, other]
-
Title: Instantaneous Hamiltonian displaceability and arbitrary symplectic squeezability for critically negligible setsComments: 32 pages, 4 figuresSubjects: Symplectic Geometry (math.SG); Dynamical Systems (math.DS)
We call a metric space $s$-negligible iff its $s$-dimensional Hausdorff measure vanishes. We show that every countably $m$-rectifiable subset of $\mathbb{R}^{2n}$ can be displaced from every $(2n-m)$-negligible subset by a Hamiltonian diffeomorphism that is arbitrarily $C^\infty$-close to the identity. As a consequence, every countably $n$-rectifiable and $n$-negligible subset of $\mathbb{R}^{2n}$ is arbitrarily symplectically squeezable. Both results are sharp w.r.t. the parameter $s$ in the $s$-negligibility assumption.
The proof of our squeezing result uses folding. Potentially, our folding method can be modified to show that the Gromov width of $B^{2n}_1\setminus A$ equals $\pi$ for every countably $(n-1)$-rectifiable closed subset $A$ of the open unit ball $B^{2n}_1$. This means that $A$ is not a barrier. - [127] arXiv:2408.17446 [pdf, html, other]
-
Title: Positivity and Green's operatorsComments: 5 pagesSubjects: Analysis of PDEs (math.AP)
It is well known that positive Green's operators are not necessarily positivity preserving. In this paper we investigate the matter of just how far from being positivity preserving a positive Green's operator can be. We will also identify a broad class of Green's operators that are not necessarily positivity preserving but have properties related to positivity preservation that one expects from positivity preserving Green's operators.
New submissions for Monday, 2 September 2024 (showing 127 of 127 entries )
- [128] arXiv:2408.16811 (cross-list from hep-th) [pdf, other]
-
Title: Notes on gauging noninvertible symmetries, part 2: higher multiplicity casesComments: 60 pages + appendices + referencesSubjects: High Energy Physics - Theory (hep-th); Quantum Algebra (math.QA)
In this paper we discuss gauging noninvertible zero-form symmetries in two dimensions, extending our previous work. Specifically, in this work we discuss more general gauged noninvertible symmetries in which the noninvertible symmetry is not multiplicity free, and discuss the case of Rep$(A_4)$ in detail. We realize Rep$(A_4)$ gaugings for the $c = 1$ CFT at the exceptional point in the moduli space and find new self-duality under gauging a certain non-group algebra object, leading to a larger noninvertible symmetry Rep$(SL(2, Z_3))$. We also discuss more general examples of decomposition in two-dimensional gauge theories with trivially-acting gauged noninvertible symmetries.
- [129] arXiv:2408.16819 (cross-list from hep-th) [pdf, html, other]
-
Title: Modular anomaly of BPS back holesComments: 29 pagesSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
Generating functions of BPS indices, counting states of D4-D2-D0 black holes in Calabi-Yau compactifications of type IIA string theory and identified with rank 0 Donaldson- Thomas invariants, are examples of mock modular forms. They have a quite complicated modular anomaly expressed as a sum over three different types of trees weighted by generalized error functions and their derivatives. We show that this anomaly can be significantly simplified, which in turn simplfies finding the corresponding mock modular generating functions.
- [130] arXiv:2408.16832 (cross-list from hep-th) [pdf, html, other]
-
Title: Foundations of ghost stabilityComments: 2 figures; 20 pages, plus appendices and referencesSubjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
We present a new method to analytically prove global stability in ghost-ridden dynamical systems. Our proposal encompasses all prior results and consequentially extends them. In particular, we show that stability can follow from a conserved quantity that is unbounded from below, contrary to expectation. Novel examples illustrate all our results. Our findings take root on a careful examination of the literature, here comprehensively reviewed for the first time. This work lays the mathematical basis for ulterior extensions to field theory and quantization, and it constitutes a gateway for inter-disciplinary research in dynamics and integrability.
- [131] arXiv:2408.16852 (cross-list from cs.LG) [pdf, html, other]
-
Title: The Star Geometry of Critic-Based Regularizer LearningSubjects: Machine Learning (cs.LG); Metric Geometry (math.MG); Optimization and Control (math.OC); Statistics Theory (math.ST); Machine Learning (stat.ML)
Variational regularization is a classical technique to solve statistical inference tasks and inverse problems, with modern data-driven approaches parameterizing regularizers via deep neural networks showcasing impressive empirical performance. Recent works along these lines learn task-dependent regularizers. This is done by integrating information about the measurements and ground-truth data in an unsupervised, critic-based loss function, where the regularizer attributes low values to likely data and high values to unlikely data. However, there is little theory about the structure of regularizers learned via this process and how it relates to the two data distributions. To make progress on this challenge, we initiate a study of optimizing critic-based loss functions to learn regularizers over a particular family of regularizers: gauges (or Minkowski functionals) of star-shaped bodies. This family contains regularizers that are commonly employed in practice and shares properties with regularizers parameterized by deep neural networks. We specifically investigate critic-based losses derived from variational representations of statistical distances between probability measures. By leveraging tools from star geometry and dual Brunn-Minkowski theory, we illustrate how these losses can be interpreted as dual mixed volumes that depend on the data distribution. This allows us to derive exact expressions for the optimal regularizer in certain cases. Finally, we identify which neural network architectures give rise to such star body gauges and when do such regularizers have favorable properties for optimization. More broadly, this work highlights how the tools of star geometry can aid in understanding the geometry of unsupervised regularizer learning.
- [132] arXiv:2408.16876 (cross-list from cond-mat.dis-nn) [pdf, html, other]
-
Title: Scaling of the bulk polarization in extended and localized phases of a quasiperiodic modelSubjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Mathematical Physics (math-ph)
We study the finite size scaling of the bulk polarization in a quasiperiodic (Aubry-André) model using the geometric analog of the Binder cumulant. As a proof of concept we show that the geometric Binder cumulant method described here can reproduce the known literature values for the flat and raised cosine distributions, which are the two distributions that occur in the delocalized phase. For the Aubry-André model at half-filling the phase transition point is accurately reproduced. Not only is the correct size scaling exponent of the variance obtained in the extended and the localized phases, but the geometric Binder cumulant undergoes a sign change at the phase transition. We also calculate the state resolved Binder cumulant as a function of disorder strength to gain insight into the mechanism of the localization transition.
- [133] arXiv:2408.16890 (cross-list from cs.RO) [pdf, html, other]
-
Title: Robotic warehousing operations: a learn-then-optimize approach to large-scale neighborhood searchSubjects: Robotics (cs.RO); Machine Learning (cs.LG); Optimization and Control (math.OC)
The rapid deployment of robotics technologies requires dedicated optimization algorithms to manage large fleets of autonomous agents. This paper supports robotic parts-to-picker operations in warehousing by optimizing order-workstation assignments, item-pod assignments and the schedule of order fulfillment at workstations. The model maximizes throughput, while managing human workload at the workstations and congestion in the facility. We solve it via large-scale neighborhood search, with a novel learn-then-optimize approach to subproblem generation. The algorithm relies on an offline machine learning procedure to predict objective improvements based on subproblem features, and an online optimization model to generate a new subproblem at each iteration. In collaboration with Amazon Robotics, we show that our model and algorithm generate much stronger solutions for practical problems than state-of-the-art approaches. In particular, our solution enhances the utilization of robotic fleets by coordinating robotic tasks for human operators to pick multiple items at once, and by coordinating robotic routes to avoid congestion in the facility.
- [134] arXiv:2408.16891 (cross-list from q-fin.MF) [pdf, other]
-
Title: Brief Synopsis of the Scientific Career of T. R. HurdComments: 8 pages, 1 photograph, introductory article for a Special Issue of International Journal of Theoretical and Applied Finance in Honour of the Memory of Thomas Robert Hurd (1956 - 2022)Subjects: Mathematical Finance (q-fin.MF); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
As an introduction to a Special Issue of International Journal of Theoretical and Applied Finance in Honour of the Memory of Thomas Robert Hurd we present a brief synopsis of Tom Hurd's scientific career and a bibliography of his scientific publications.
- [135] arXiv:2408.16899 (cross-list from eess.SY) [pdf, html, other]
-
Title: Mitigating Polarization in Recommender Systems via Network-aware Feedback OptimizationSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
We consider a recommender system that takes into account the interaction between recommendations and the evolution of user interests. Users opinions are influenced by both social interactions and recommended content. We leverage online feedback optimization to design a recommender system that trades-off between maximizing engagement and minimizing polarization. The recommender system is agnostic about users' opinion, clicking behavior, and social interactions, and solely relies on clicks. We establish optimality and closed-loop stability of the resulting feedback interconnection between the social platform and the recommender system. We numerically validate our algorithm when the user population follows an extended Friedkin--Johnsen model. We observe that network-aware recommendations significantly reduce polarization without compromising user engagement.
- [136] arXiv:2408.16970 (cross-list from gr-qc) [pdf, html, other]
-
Title: The universe is not a Lie, but actually an Hopf, algebraSubjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
In this paper I would like to show how the Deformed Special Relativity family of models -- developed to approach spacetime quantization -- can actually be applied to the description of classical cosmology. I use the bicrossproduct basis of $\kappa$-Poincaré algebra to describe photon propagation in deSitter classical General Relativity. I show the Hopf algebraic aspects of deSitter model, and give an explicit physical interpretation of $\kappa$-Poincaré Hopf algebraic features in spacetime. Such an approach allows to unravel some not yet known General Relativistic relations of deSitter cosmology, and reinterpret many future of Quantum Gravity phenomenology as classical properties of maximally symmetric spacetime models.
- [137] arXiv:2408.16976 (cross-list from gr-qc) [pdf, html, other]
-
Title: On Pseudo $B$-symmetric spacetimes and $f(\mathcal{R})$ gravityComments: 19 pages, 4 figures. arXiv admin note: text overlap with arXiv:2406.16113Journal-ref: International Journal of Geometric Methods in Modern Physics, 2024Subjects: General Relativity and Quantum Cosmology (gr-qc); Differential Geometry (math.DG)
This article delivers the characterization of a pseudo $B$ symmetric spacetimes and we illustrate that a pseudo $B$ symmetric spacetime admitting Codazzi type of $B$-tensor represents a perfect fluid spacetime and if this spacetime admits the time-like convergence criterion, then the pseudo $B$ symmetric spacetime fulfills cosmic strong energy criterion and contains pure matter. Besides, we find in a pseudo $B$ symmetric spacetime with Codazzi type of $B$-tensor the electric part of the Weyl tensor vanishes and has Riemann and Weyl compatible vector fields. Furthermore, it is established that the chosen spacetime with Codazzi type of $B$-tensor is conformally flat and represents a Robertson-Walker spacetime. Also, we calculate the scale factor $\varPsi (t)$ for these spacetimes in a spatially flat Robertson-Walker spacetime. Finally, we study the impact of this spacetime under $f(R)$ gravity scenario and deduce several energy conditions by considering a new model $f\left(\mathcal{R}\right)= e^{(\alpha \mathcal{R})}-ln(\beta \mathcal{R})$ in which $\alpha$ and $\beta$ are positive constants.
- [138] arXiv:2408.16981 (cross-list from cs.LG) [pdf, html, other]
-
Title: The Sample-Communication Complexity Trade-off in Federated Q-LearningSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
We consider the problem of federated Q-learning, where $M$ agents aim to collaboratively learn the optimal Q-function of an unknown infinite-horizon Markov decision process with finite state and action spaces. We investigate the trade-off between sample and communication complexities for the widely used class of intermittent communication algorithms. We first establish the converse result, where it is shown that a federated Q-learning algorithm that offers any speedup with respect to the number of agents in the per-agent sample complexity needs to incur a communication cost of at least an order of $\frac{1}{1-\gamma}$ up to logarithmic factors, where $\gamma$ is the discount factor. We also propose a new algorithm, called Fed-DVR-Q, which is the first federated Q-learning algorithm to simultaneously achieve order-optimal sample and communication complexities. Thus, together these results provide a complete characterization of the sample-communication complexity trade-off in federated Q-learning.
- [139] arXiv:2408.17018 (cross-list from cs.CE) [pdf, html, other]
-
Title: A machine learning based material homogenization technique for in-plane loaded masonry wallsComments: Submitted to Computers and StructuresSubjects: Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA)
In recent years, significant advancements have been made in computational methods for analyzing masonry structures. Within the Finite Element Method, two primary approaches have gained traction: Micro and Macro Scale modeling, and their subsequent integration via Multi-scale methods based on homogenization theory and the representative volume element concept. While Micro and Multi-scale approaches offer high fidelity, they often come with a substantial computational burden. On the other hand, calibrating homogenized material parameters in Macro-scale approaches presents challenges for practical engineering problems. Machine learning techniques have emerged as powerful tools for training models using vast datasets from various domains. In this context, we propose leveraging Machine Learning methods to develop a novel homogenization strategy for the in-plane analysis of masonry structures. This strategy involves automatically calibrating a continuum nonlinear damage constitutive law and an appropriate yield criteria using relevant data derived from Micro-scale analysis. The optimization process not only enhances material parameters but also refines yield criteria and damage evolution laws to better align with existing data. To achieve this, a virtual laboratory is created to conduct micro-model simulations that account for the individual behaviors of constituent materials. Subsequently, a data isotropization process is employed to reconcile the results with typical isotropic constitutive models. Next, an optimization algorithm that minimizes the difference of internal dissipated work between the micro and macro scales is executed. We apply this technique to the in-plane homogenization of a Flemish bond masonry wall. Evaluation examples, including simulations of shear and compression tests, demonstrate the method's accuracy compared to micro modeling of the entire structure.
- [140] arXiv:2408.17145 (cross-list from cs.LG) [pdf, html, other]
-
Title: Towards Hyper-parameter-free Federated LearningComments: 28 pages, 3 figuresSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Optimization and Control (math.OC)
The adaptive synchronization techniques in federated learning (FL) for scaled global model updates show superior performance over the vanilla federated averaging (FedAvg) scheme. However, existing methods employ additional tunable hyperparameters on the server to determine the scaling factor. A contrasting approach is automated scaling analogous to tuning-free step-size schemes in stochastic gradient descent (SGD) methods, which offer competitive convergence rates and exhibit good empirical performance. In this work, we introduce two algorithms for automated scaling of global model updates. In our first algorithm, we establish that a descent-ensuring step-size regime at the clients ensures descent for the server objective. We show that such a scheme enables linear convergence for strongly convex federated objectives. Our second algorithm shows that the average of objective values of sampled clients is a practical and effective substitute for the objective function value at the server required for computing the scaling factor, whose computation is otherwise not permitted. Our extensive empirical results show that the proposed methods perform at par or better than the popular federated learning algorithms for both convex and non-convex problems. Our work takes a step towards designing hyper-parameter-free federated learning.
- [141] arXiv:2408.17187 (cross-list from econ.EM) [pdf, html, other]
-
Title: State Space Model of Realized Volatility under the Existence of Dependent Market Microstructure NoiseSubjects: Econometrics (econ.EM); Functional Analysis (math.FA)
Volatility means the degree of variation of a stock price which is important in finance. Realized Volatility (RV) is an estimator of the volatility calculated using high-frequency observed prices. RV has lately attracted considerable attention of econometrics and mathematical finance. However, it is known that high-frequency data includes observation errors called market microstructure noise (MN). Nagakura and Watanabe[2015] proposed a state space model that resolves RV into true volatility and influence of MN. In this paper, we assume a dependent MN that autocorrelates and correlates with return as reported by Hansen and Lunde[2006] and extends the results of Nagakura and Watanabe[2015] and compare models by simulation and actual data.
- [142] arXiv:2408.17221 (cross-list from cs.LG) [pdf, html, other]
-
Title: Geometry of Lightning Self-Attention: Identifiability and DimensionSubjects: Machine Learning (cs.LG); Algebraic Geometry (math.AG)
We consider function spaces defined by self-attention networks without normalization, and theoretically analyze their geometry. Since these networks are polynomial, we rely on tools from algebraic geometry. In particular, we study the identifiability of deep attention by providing a description of the generic fibers of the parametrization for an arbitrary number of layers and, as a consequence, compute the dimension of the function space. Additionally, for a single-layer model, we characterize the singular and boundary points. Finally, we formulate a conjectural extension of our results to normalized self-attention networks, prove it for a single layer, and numerically verify it in the deep case.
- [143] arXiv:2408.17272 (cross-list from cs.CR) [pdf, html, other]
-
Title: Further Investigation on Differential Properties of the Generalized Ness-Helleseth FunctionComments: 34 pagesSubjects: Cryptography and Security (cs.CR); Discrete Mathematics (cs.DM); Information Theory (cs.IT); Number Theory (math.NT)
Let $n$ be an odd positive integer, $p$ be a prime with $p\equiv3\pmod4$, $d_{1} = {{p^{n}-1}\over {2}} -1 $ and $d_{2} =p^{n}-2$. The function defined by $f_u(x)=ux^{d_{1}}+x^{d_{2}}$ is called the generalized Ness-Helleseth function over $\mathbb{F}_{p^n}$, where $u\in\mathbb{F}_{p^n}$. It was initially studied by Ness and Helleseth in the ternary case. In this paper, for $p^n \equiv 3 \pmod 4$ and $p^n \ge7$, we provide the necessary and sufficient condition for $f_u(x)$ to be an APN function. In addition, for each $u$ satisfying $\chi(u+1) = \chi(u-1)$, the differential spectrum of $f_u(x)$ is investigated, and it is expressed in terms of some quadratic character sums of cubic polynomials, where $\chi(\cdot)$ denotes the quadratic character of $\mathbb{F}_{p^n}$.
- [144] arXiv:2408.17283 (cross-list from cs.DM) [pdf, html, other]
-
Title: Non-Promise Version of Unique Sink OrientationsSubjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
A unique sink orientation (USO) is an orientation of the edges of a hypercube such that each face has a unique sink. Many optimization problems like linear programs reduce to USOs, in the sense that each vertex corresponds to a possible solution, and the global sink corresponds to the optimal solution. People have been studying intensively the problem of find the sink of a USO using vertex evaluations, i.e., queries which return the orientation of the edges around a vertex. This problem is a so called promise problem, as it assumes that the orientation it receives is a USO.
In this paper, we analyze a non-promise version of the USO problem, in which we try to either find a sink or an efficiently verifiable violation of the USO property. This problem is worth investigating, because some problems which reduce to USO are also promise problems (and so we can also define a non-promise version for them), and it would be interesting to discover where USO lies in the hierarchy of subclasses of $\texttt{TFNP}^\texttt{dt}$, and for this a total search problem is required (which is the case for the non-promise version).
We adapt many known properties and algorithms from the promise version to the non-promise one, including known algorithms for small dimensions and lower and upper bounds, like the Fibonacci Seesaw Algorithm. Furthermore, we present an efficient resolution proof of the problem, which shows it is in the search complexity class $\texttt{PLS}^\texttt{dt}$ (although this fact was already known via reductions). Finally, although initially the only allowed violations consist of $2$ vertices, we generalize them to more vertices, and provide a full categorization of violations with $4$ vertices, showing that they are also efficiently verifiable. - [145] arXiv:2408.17341 (cross-list from hep-th) [pdf, html, other]
-
Title: Vertex operators for the kinematic algebra of Yang-Mills theoryComments: 36 pagesSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
The kinematic algebra of Yang-Mills theory can be understood in the framework of homotopy algebras: the $L_{\infty}$ algebra of Yang-Mills theory is the tensor product of the color Lie algebra and a kinematic space that carries a $C_{\infty}$ algebra. There are also hidden structures that generalize Batalin-Vilkovisky algebras, which explain color-kinematics duality and the double copy but are only partially understood. We show that there is a representation of the $C_{\infty}$ algebra, in terms of vertex operators, on the Hilbert space of a first-quantized worldline theory. To this end we introduce $A_{\infty}$ morphisms, which define the vertex operators and which inject the $C_{\infty}$ algebra into the strictly associative algebra of operators on the Hilbert space. We also take first steps to represent the hidden structures on the same space.
- [146] arXiv:2408.17387 (cross-list from stat.ML) [pdf, html, other]
-
Title: Bayesian Optimization for Non-Convex Two-Stage Stochastic Optimization ProblemsSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Optimization and Control (math.OC)
Bayesian optimization is a sample-efficient method for solving expensive, black-box optimization problems. Stochastic programming concerns optimization under uncertainty where, typically, average performance is the quantity of interest. In the first stage of a two-stage problem, here-and-now decisions must be made in the face of this uncertainty, while in the second stage, wait-and-see decisions are made after the uncertainty has been resolved. Many methods in stochastic programming assume that the objective is cheap to evaluate and linear or convex. In this work, we apply Bayesian optimization to solve non-convex, two-stage stochastic programs which are expensive to evaluate. We formulate a knowledge-gradient-based acquisition function to jointly optimize the first- and second-stage variables, establish a guarantee of asymptotic consistency and provide a computationally efficient approximation. We demonstrate comparable empirical results to an alternative we formulate which alternates its focus between the two variable types, and superior empirical results over the standard, naive, two-step benchmark. We show that differences in the dimension and length scales between the variable types can lead to inefficiencies of the two-step algorithm, while the joint and alternating acquisition functions perform well in all problems tested. Experiments are conducted on both synthetic and real-world examples.
- [147] arXiv:2408.17435 (cross-list from cs.RO) [pdf, html, other]
-
Title: Information-Based Trajectory Planning for Autonomous Absolute Tracking in Cislunar SpaceComments: 2024 AAS/AIAA Astrodynamics Specialist ConferenceSubjects: Robotics (cs.RO); Information Theory (cs.IT); Systems and Control (eess.SY)
The resurgence of lunar operations requires advancements in cislunar navigation and Space Situational Awareness (SSA). Challenges associated to these tasks have created an interest in autonomous planning, navigation, and tracking technologies that operate with little ground-based intervention. This research introduces a trajectory planning tool for a low-thrust mobile observer, aimed at maximizing navigation and tracking performance with satellite-to-satellite relative measurements. We formulate an expression for the information gathered over an observation period based on the mutual information between augmented observer/target states and the associated measurement set collected. We then develop an optimal trajectory design problem for a mobile observer, balancing information gain and control effort, and solve this problem with a Sequential Convex Programming (SCP) approach. The developed methods are demonstrated in scenarios involving spacecraft in the cislunar regime, demonstrating the potential for improved autonomous navigation and tracking.
Cross submissions for Monday, 2 September 2024 (showing 20 of 20 entries )
- [148] arXiv:1906.00595 (replaced) [pdf, other]
-
Title: Volume and structure of hyperbolic 3-manifoldsComments: This paper needs to be revised in many partsSubjects: Geometric Topology (math.GT)
In this paper, we show that Gromov-Thurston's principle works for hyperbolic 3-manifolds of infinite volume and with finitely generated fundamental group. As an application, we have a new proof of Ending Lamination Theorem. Our proof essentially relays only on Maximum Volume Law for hyperbolic 3-simplices.
- [149] arXiv:1910.11980 (replaced) [pdf, other]
-
Title: Higher-categorical combinatorics of configuration spaces of Euclidean spaceComments: Reorganized the paper mainly by including an appendix reviewing stratified spaces, exit-path $\infty$-categories, and the theta-n categories; added motivation/contex for main definitions as numerous remarks, mainly in the appendix; corrected Obs. 2.0.11 (previously Obs. 8.0.8), and changed the introduction to include a discussion on trees early onSubjects: Algebraic Topology (math.AT)
We examine configurations of finite subsets of manifolds within the homotopy-theoretic context of $\infty$-categories by way of stratified spaces. Through these higher categorical means, we identify the homotopy types of such configuration spaces in the case of n-dimensional Euclidean space in terms of the category $\mathbf{\Theta}_n$.
- [150] arXiv:2010.09896 (replaced) [pdf, html, other]
-
Title: On Effective Convergence in Fekete's Lemma and Related Combinatorial Problems in Information TheorySubjects: Information Theory (cs.IT)
Fekete's lemma is a well known result from combinatorial mathematics that shows the existence of a limit value related to super- and subadditive sequences of real numbers. In this paper, we analyze Fekete's lemma in view of the arithmetical hierarchy of real numbers by Zheng and Weihrauch and fit the results into an information-theoretic context. We introduce special sets associated to super- and subadditive sequences and prove their effective equivalence to \(\Sigma_1\) and \(\Pi_1\). Using methods from the theory established by Zheng and Weihrauch, we then show that the limit value emerging from Fekete's lemma is, in general, not a computable number. Given a sequence that additionally satisfies non-negativity, we characterize under which conditions the associated limit value can be computed effectively and investigate the corresponding modulus of convergence. Subsidiarily, we prove a theorem concerning the structural differences between computable sequences of computable numbers and computable sequences of rational numbers. We close the paper by a discussion on how our findings affect common problems from information theory.
- [151] arXiv:2106.05958 (replaced) [pdf, html, other]
-
Title: High Probability Complexity Bounds for Non-Smooth Stochastic Optimization with Heavy-Tailed NoiseComments: 61 pages, 12 figures. Changes in V2: different presentation of the results, different structure, new experiments. Changes in V3: some typos were fixedSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
Stochastic first-order methods are standard for training large-scale machine learning models. Random behavior may cause a particular run of an algorithm to result in a highly suboptimal objective value, whereas theoretical guarantees are usually proved for the expectation of the objective value. Thus, it is essential to theoretically guarantee that algorithms provide small objective residual with high probability. Existing methods for non-smooth stochastic convex optimization have complexity bounds with the dependence on the confidence level that is either negative-power or logarithmic but under an additional assumption of sub-Gaussian (light-tailed) noise distribution that may not hold in practice. In our paper, we resolve this issue and derive the first high-probability convergence results with logarithmic dependence on the confidence level for non-smooth convex stochastic optimization problems with non-sub-Gaussian (heavy-tailed) noise. To derive our results, we propose novel stepsize rules for two stochastic methods with gradient clipping. Moreover, our analysis works for generalized smooth objectives with Hölder-continuous gradients, and for both methods, we provide an extension for strongly convex problems. Finally, our results imply that the first (accelerated) method we consider also has optimal iteration and oracle complexity in all the regimes, and the second one is optimal in the non-smooth setting.
- [152] arXiv:2111.12670 (replaced) [pdf, html, other]
-
Title: A representation theorem for end spaces of infinite graphsComments: 28 pagesSubjects: Combinatorics (math.CO)
End-spaces of infinite graphs naturally generalise the Freudenthal boundary and sit at the interface between graph theory, geometric group theory and topology.
Our main result is that every end-space can topologically be represented by a special order tree. Our main proof ingredient is a structure theorem that we introduce, which carves out the order-tree-like structure of any graph in such a way that there is a natural bijection between the ends of the graph and the limit-type down-closed chains of the order-tree. - [153] arXiv:2202.09651 (replaced) [pdf, html, other]
-
Title: An Oracle Gradient Regularized Newton Method for Quadratic Measurements RegressionSubjects: Optimization and Control (math.OC); Statistics Theory (math.ST)
Recovering an unknown signal from quadratic measurements has gained popularity due to its wide range of applications, including phase retrieval, fusion frame phase retrieval, and positive operator-valued measures. In this paper, we employ a least squares approach to reconstruct the signal and establish its non-asymptotic statistical properties. Our analysis shows that the estimator perfectly recovers the true signal in the noiseless case, while the error between the estimator and the true signal is bounded by $O(\sqrt{p\log(1+2n)/n})$ in the noisy case, where $n$ is the number of measurements and $p$ is the dimension of the signal. We then develop a two-phase algorithm, gradient regularized Newton method (GRNM), to solve the least squares problem. It is proven that the first phase terminates within finitely many steps, and the sequence generated in the second phase converges to a unique local minimum at a superlinear rate under certain mild conditions. Beyond these deterministic results, GRNM is capable of exactly reconstructing the true signal in the noiseless case and achieving the stated error rate with a high probability in the noisy case. Numerical experiments demonstrate that GRNM offers a high level of recovery capability and accuracy as well as fast computational speed.
- [154] arXiv:2204.09878 (replaced) [pdf, html, other]
-
Title: Computably totally disconnected locally compact groupsComments: Definition 2.4 of c.l.c. trees is changed in this version 3 to take care of uniformity issues in the equivalence theorems. The presentation no longer comes with the information whether the group is compactSubjects: Logic (math.LO)
We study totally disconnected, locally compact (t.d.l.c.) groups from an algorithmic perspective. We give various approaches to defining computable presentations of t.d.l.c.\ groups, and show their equivalence. In the process, we obtain an algorithmic Stone-type duality between t.d.l.c.~groups and certain countable ordered groupoids given by the compact open cosets. We exploit the flexibility given by these different approaches to show that several natural groups, such as $\Aut(T_d)$ and $\SL_n(\QQ_p)$, have computable presentations. We show that many construction leading from t.d.l.c.\ groups to new t.d.l.c.\ groups have algorithmic versions that stay within the class of computably presented t.d.l.c.\ groups. This leads to further examples, such as $\PGL_n(\QQ_p)$. We study whether objects associated with computably t.d.l.c.\ groups are computable: the modular function, the scale function, and Cayley-Abels graphs in the compactly generated case. We give a criterion when computable presentations of t.d.l.c.~groups are unique up to computable isomorphism, and apply it to $\QQ_p$ as an additive group, and the semidirect product $\ZZ\ltimes \QQ_p$. We give (joint with Willis) an example of a computably t.d.l.c. group with noncomputable scale function.
- [155] arXiv:2205.02292 (replaced) [pdf, html, other]
-
Title: Shifted symplectic structures on derived analytic moduli of $\ell$-adic local systems and Galois representationsComments: 86pp; v2 small corrections and addition (vanishing cycles); v3 material on cyclotomic extensions added, crystalline results expandedSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
We develop a characterisation of non-Archimedean derived analytic geometry based on dg enhancements of dagger algebras. This allows us to formulate derived analytic moduli functors for many types of pro-étale sheaves, and to construct shifted symplectic structures on them by transgression using arithmetic duality theorems. In order to handle duality functors involving Tate twists, we introduce weighted shifted symplectic structures on formal weighted moduli stacks, with the usual moduli stacks given by taking $\mathbb{G}_m$-invariants.
In particular, this establishes the existence of shifted symplectic and Lagrangian structures on derived moduli stacks of $\ell$-adic constructible complexes on smooth varieties via Poincaré duality, and on derived moduli stacks of $\ell$-adic Galois representations via Tate and Poitou--Tate duality; the latter proves a conjecture of Minhyong Kim.
Unweighted shifted symplectic and Lagrangian structures are also established for $\ell$-adic Galois representations of cyclotomic fields $K(\mu_{\ell^{\infty}})$, subject to additional constraints related to Iwasawa theory; these derived moduli stacks yield a non-abelian analogue of Selmer complexes, with $0$-shifted symplectic structures related to generalised Cassels--Tate pairings. - [156] arXiv:2205.07262 (replaced) [pdf, html, other]
-
Title: Multiplicity-free representations of certain nilpotent Lie groups over Siegel domains of the second kindComments: 22 pagesSubjects: Representation Theory (math.RT)
We investigate the multiplicity-freeness property for the holomorphic multiplier representations of affine transformation groups of a Siegel domain of the second kind. We deal with the generalized Heisenberg group and its subgroups. Necessary and sufficient conditions for a specific representation to be multiplicity-free are provided. We study the multiplicity-freeness property in relation to the geometrical notions of coisotropic action and visible action, and also the commutativity of the algebra of invariant differential operators.
- [157] arXiv:2208.00300 (replaced) [pdf, html, other]
-
Title: On the bottleneck stability of rank decompositions of multi-parameter persistence modulesComments: 33 pages, 4 figures; v2: add details, fix typos and minor issues, improve exposition, add conjecture 5.30; v3: minor improvementsJournal-ref: Advances in Mathematics, Volume 451, August 2024, 109780Subjects: Algebraic Topology (math.AT); Computational Geometry (cs.CG); Representation Theory (math.RT)
A significant part of modern topological data analysis is concerned with the design and study of algebraic invariants of poset representations -- often referred to as multi-parameter persistence modules. One such invariant is the minimal rank decomposition, which encodes the ranks of all the structure morphisms of the persistence module by a single ordered pair of rectangle-decomposable modules, interpreted as a signed barcode. This signed barcode generalizes the concept of persistence barcode from one-parameter persistence to any number of parameters, raising the question of its bottleneck stability. We show in this paper that the minimal rank decomposition is not stable under the natural notion of signed bottleneck matching between signed barcodes. We remedy this by turning our focus to the rank exact decomposition, a related signed barcode induced by the minimal projective resolution of the module relative to the so-called rank exact structure, which we prove to be bottleneck stable under signed matchings. As part of our proof, we obtain two intermediate results of independent interest: we compute the global dimension of the rank exact structure on the category of finitely presentable multi-parameter persistence modules, and we prove a bottleneck stability result for hook-decomposable modules. We also give a bound for the size of the rank exact decomposition that is polynomial in the size of the usual minimal projective resolution, we prove a universality result for the dissimilarity function induced by the notion of signed matching, and we compute, in the two-parameter case, the global dimension of a different exact structure related to the upsets of the indexing poset. This set of results combines concepts from topological data analysis and from the representation theory of posets, and we believe is relevant to both areas.
- [158] arXiv:2209.02306 (replaced) [pdf, html, other]
-
Title: Motion Polynomials Admitting a Factorization with Linear FactorsSubjects: Rings and Algebras (math.RA); Robotics (cs.RO)
Motion polynomials (polynomials over the dual quaternions with nonzero real norm) describe rational motions. We present a necessary and sufficient condition for reduced bounded motion polynomials to admit factorizations into monic linear factors, and we give an algorithm to compute them. We can use those linear factors to construct mechanisms because the factorization corresponds to the decomposition of the rational motion into simple rotations or translations. Bounded motion polynomials always admit a factorization into linear factors after multiplying with a suitable real or quaternion polynomial. Our criterion for factorizability allows us to improve on earlier algorithms to compute a suitable real or quaternion polynomial co-factor.
- [159] arXiv:2209.06908 (replaced) [pdf, html, other]
-
Title: Normalized ground states for nonlinear Schr\"{o}dinger equations with general Sobolev critical nonlinearitiesComments: 15 pages. Online: Discrete and Continuous Dynamical Systems-Series SSubjects: Analysis of PDEs (math.AP)
In this paper, we study the existence of normalized solutions to the following nonlinear Schrödinger equation \begin{equation*} \left\{ \begin{aligned} &-\Delta u=f(u)+ \lambda u\quad \mbox{in}\ \mathbb{R}^{N},\\ &u\in H^1(\mathbb{R}^N), ~~~\int_{\mathbb{R}^N}|u|^2dx=c, \end{aligned} \right. \end{equation*} where $N\ge3$, $c>0$, $\lambda\in \mathbb{R}$ and $f$ has a Sobolev critical growth at infinity but does not satisfies the Ambrosetti-Rabinowitz condition. By analysing the monotonicity of the ground state energy with respect to $c$, we develop a constrained minimization approach to establish the existence of normalized ground state solutions for all $c>0$.
- [160] arXiv:2211.04585 (replaced) [pdf, html, other]
-
Title: Brunn-Minkowski inequalities for sprays on surfacesComments: 26 pages, 2 figuresSubjects: Differential Geometry (math.DG); Metric Geometry (math.MG)
We propose a generalization of the Minkowski average of two subsets of a Riemannian manifold, in which geodesics are replaced by an arbitrary family of parametrized curves. Under certain assumptions, we characterize families of curves on a Riemannian surface for which a Brunn-Minkowski inequality holds with respect to a given volume form. In particular, we prove that under these assumptions, a family of constant-speed curves on a Riemannian surface satisfies the Brunn-Minkowski inequality with respect to the Riemannian area form if and only if the geodesic curvature of its members is determined by a function $\kappa$ on the surface, and $\kappa$ satisfies the inequality $$K + \kappa^2 - |\nabla\kappa| \ge 0$$ where $K$ is the Gauss curvature.
- [161] arXiv:2212.08178 (replaced) [pdf, html, other]
-
Title: Benders Decomposition for Bi-objective Linear ProgramsComments: 42 pages, 15 figuresSubjects: Optimization and Control (math.OC)
In this paper, we develop a new decomposition technique for solving bi-objective linear programming problems. The proposed methodology combines the bi-objective simplex algorithm with Benders decomposition and can be used to obtain a complete set of extreme efficient solutions, and the corresponding set of extreme non-dominated points, for a bi-objective linear program. Using a Benders-like reformulation, the decomposition approach decouples the problem into a bi-objective master problem and a bi-objective subproblem, each of which is solved using the bi-objective parametric simplex algorithm. The master problem provides candidate extreme efficient solutions that the subproblem assesses for feasibility and optimality. As in standard Benders decomposition, optimality and feasibility cuts are generated by the subproblem and guide the master problem solve. This paper discusses bi-objective Benders decomposition from a theoretical perspective, proves the correctness of the proposed reformulation and addresses the need for so-called weighted optimality cuts. Furthermore, we present an algorithm to solve the reformulation and discuss its performance for three types of bi-objective optimisation problems.
- [162] arXiv:2212.14826 (replaced) [pdf, html, other]
-
Title: Asymptotic Analysis of Harmonic Maps With Prescribed SingularitiesComments: 49 pagesSubjects: Differential Geometry (math.DG); General Relativity and Quantum Cosmology (gr-qc); Analysis of PDEs (math.AP)
This is the first in a series of two papers to establish the mass-angular momentum inequality for multiple black holes. We study singular harmonic maps from domains of 3-dimensional Euclidean space to the hyperbolic plane having bounded hyperbolic distance to extreme Kerr harmonic maps. We prove that every such harmonic map admits a unique tangent harmonic map at the extreme black hole horizon. The possible tangent maps are classified and shown to be shifted `extreme Kerr' geodesics in the hyperbolic plane that depend on two parameters, one determined by angular momentum and another by conical singularities. In addition, rates of convergence to the tangent map are established. Similarly, expansions in the asymptotically flat end are presented. These results, together with those of Li-Tian [24, 25] and Weinstein [35,36], provide a complete regularity theory for harmonic maps from $\mathbb R^3\setminus z\text{-axis}$ to $\mathbb H^2$ with these prescribed singularities. The analysis is additionally utilized to prove existence of the so called near horizon limit, and to compute the associated near horizon geometries of extreme black holes.
- [163] arXiv:2301.04078 (replaced) [pdf, html, other]
-
Title: Hybrid CGME and TCGME algorithms for large-scale general-form regularizationSubjects: Numerical Analysis (math.NA)
Two new hybrid algorithms are proposed for large-scale linear discrete ill-posed problems in general-form regularization. They are both based on Krylov subspace inner-outer iterative algorithms. At each iteration, they need to solve a linear least squares problem, which is the inner least squares problem. It is proved that inner linear least squares problems, solved by LSQR, become better conditioned as k increases, so LSQR converges faster. We also prove how to choose the stopping tolerance for LSQR to guarantee that the computed and exact best regularized solutions have the same accuracy. Numerical experiments are provided to demonstrate the effectiveness and efficiency of our new hybrid algorithms, along with comparisons to the existing algorithm.
- [164] arXiv:2301.04204 (replaced) [pdf, html, other]
-
Title: A Newton-CG based barrier-augmented Lagrangian method for general nonconvex conic optimizationComments: To appear in Computational Optimization and Applications. arXiv admin note: text overlap with arXiv:2301.03139Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Numerical Analysis (math.NA); Machine Learning (stat.ML)
In this paper we consider finding an approximate second-order stationary point (SOSP) of general nonconvex conic optimization that minimizes a twice differentiable function subject to nonlinear equality constraints and also a convex conic constraint. In particular, we propose a Newton-conjugate gradient (Newton-CG) based barrier-augmented Lagrangian method for finding an approximate SOSP of this problem. Under some mild assumptions, we show that our method enjoys a total inner iteration complexity of $\widetilde{\cal O}(\epsilon^{-11/2})$ and an operation complexity of $\widetilde{\cal O}(\epsilon^{-11/2}\min\{n,\epsilon^{-5/4}\})$ for finding an $(\epsilon,\sqrt{\epsilon})$-SOSP of general nonconvex conic optimization with high probability. Moreover, under a constraint qualification, these complexity bounds are improved to $\widetilde{\cal O}(\epsilon^{-7/2})$ and $\widetilde{\cal O}(\epsilon^{-7/2}\min\{n,\epsilon^{-3/4}\})$, respectively. To the best of our knowledge, this is the first study on the complexity of finding an approximate SOSP of general nonconvex conic optimization. Preliminary numerical results are presented to demonstrate superiority of the proposed method over first-order methods in terms of solution quality.
- [165] arXiv:2302.09729 (replaced) [pdf, html, other]
-
Title: Embedding theorems for random graphs with specified degreesSubjects: Combinatorics (math.CO)
Given an $n\times n$ symmetric matrix $W\in [0,1]^{[n]\times [n]}$, let $\mathcal{G}(n,W)$ be the random graph obtained by independently including each edge $jk$ with probability $W_{jk}$. Given a degree sequence ${\bf d}=(d_1,\ldots, d_n)$, let $\mathcal{G}(n,{\bf d})$ denote a uniformly random graph with degree sequence ${\bf d}$. We couple $\mathcal{G}(n,W)$ and $\mathcal{G}(n,{\bf d})$ together so that a.a.s. $\mathcal{G}(n,W)$ is a subgraph of $\mathcal{G}(n,{\bf d})$, where $W$ is some function of ${\bf d}$. Let $\Delta({\bf d})$ denote the maximum degree in ${\bf d}$. Our coupling result is optimal when $\Delta({\bf d})^2\ll \|{\bf d}\|_1$, i.e.\ $W_{ij}$ is asymptotic to $\mathbb{P}(ij\in \mathcal{G}(n,{\bf d}))$ for every $i,j\in [n]$. We also have coupling results for ${\bf d}$ that are not constrained by the condition $\Delta({\bf d})^2\ll \|{\bf d}\|_1$. For such ${\bf d}$ our coupling result is still close to optimal, in the sense that $W_{ij}$ is asymptotic to $\mathbb{P}(ij\in \mathcal{G}(n,{\bf d}))$ for most pairs $i,j\in [n]$.
- [166] arXiv:2302.10538 (replaced) [pdf, html, other]
-
Title: Lasserre Hierarchy for Graph Isomorphism and Homomorphism IndistinguishabilityComments: Full version. 36 pages, 6 figuresJournal-ref: TheoretiCS, Volume 3 (2024), Article 20, 1-42Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Optimization and Control (math.OC)
We show that feasibility of the $t^\text{th}$ level of the Lasserre semidefinite programming hierarchy for graph isomorphism can be expressed as a homomorphism indistinguishability relation. In other words, we define a class $\mathcal{L}_t$ of graphs such that graphs $G$ and $H$ are not distinguished by the $t^\text{th}$ level of the Lasserre hierarchy if and only if they admit the same number of homomorphisms from any graph in $\mathcal{L}_t$. By analysing the treewidth of graphs in $\mathcal{L}_t$, we prove that the $3t^\text{th}$ level of Sherali--Adams linear programming hierarchy is as strong as the $t^\text{th}$ level of Lasserre. Moreover, we show that this is best possible in the sense that $3t$ cannot be lowered to $3t-1$ for any $t$. The same result holds for the Lasserre hierarchy with non-negativity constraints, which we similarly characterise in terms of homomorphism indistinguishability over a family $\mathcal{L}_t^+$ of graphs. Additionally, we give characterisations of level-$t$ Lasserre with non-negativity constraints in terms of logical equivalence and via a graph colouring algorithm akin to the Weisfeiler--Leman algorithm. This provides a polynomial time algorithm for determining if two given graphs are distinguished by the $t^\text{th}$ level of the Lasserre hierarchy with non-negativity constraints.
- [167] arXiv:2303.05374 (replaced) [pdf, other]
-
Title: On the convergence of the Willmore flow with Dirichlet boundary conditionsComments: Revised version with some additional details, 41 pagesJournal-ref: Nonlinear Anal. 241 (2024), 113475Subjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
Very little is yet known regarding the Willmore flow of surfaces with Dirichlet boundary conditions. We consider surfaces with a rotational symmetry as initial data and prove a global existence and convergence result for solutions of the Willmore flow with initial data below an explicit, sharp energy threshold. Strikingly, this threshold depends on the prescribed boundary conditions - it can even be made to be $0$. We show sharpness for some critical boundary data by constructing surfaces above this energy threshold so that the corresponding Willmore flow develops a singularity. Finally, a Li-Yau inequality for open curves in $\mathbb{H}^2$ is proved.
- [168] arXiv:2303.08491 (replaced) [pdf, html, other]
-
Title: Many subalgebras of $\mathcal{P}(\omega)/\mathit{fin}$Comments: Version 2: added a description of a 40-years old answer to the original questionSubjects: General Topology (math.GN); Logic (math.LO)
In answer to a question on Mathoverflow we show that the Boolean algebra $\mathcal{P}(\omega)/\mathit{fin}$ contains a family $\{\mathcal{B}_X:X\subseteq\mathfrak{c}\}$ of subalgebras with the property that $X\subseteq Y$ implies $\mathcal{B}_Y$ is a subalgebra of $\mathcal{B}_X$ and if $X\not\subseteq Y$ then $\mathcal{B}_Y$ is not embeddable into~$\mathcal{B}_X$. The proof proceeds by Stone duality and the construction of a suitable family of separable zero-dimensional compact spaces.
- [169] arXiv:2304.09650 (replaced) [pdf, html, other]
-
Title: Cheeger-M\"uller theorem for a wedge singularity along an embedded submanifoldSubjects: Differential Geometry (math.DG); Algebraic Topology (math.AT); Spectral Theory (math.SP)
In this paper we equate the analytic and the intersection Reidemeister torsions on spaces with a specific type of wedge singularities, which arise by turning the disc cross-sections in the tubular neighborhood of an embedded submanifold of even co-dimension into cones. Our result is related to a similar equation, in a setting disjoint from ours, which was previously obtained by Albin, Rochon and Sher.
- [170] arXiv:2306.02734 (replaced) [pdf, html, other]
-
Title: Flat comodules and contramodules as directed colimits, and cotorsion periodicityComments: Latex 2e with xy-pic; 44 pages, 1 commutative diagram; v.2: Sections 7-13 (about contramodules) added; v.3: Sections 3, 4, 10, and 11 completely rewritten based on arXiv:2310.16773, former Section 2 replaced by new Section 1, Remarks 3.2 and 10.3 added, the paper became much shorter with more results; v.4: small things corrected, references added and updated; v.5: references added and updatedSubjects: Rings and Algebras (math.RA); Algebraic Geometry (math.AG)
This paper is a follow-up to arXiv:2212.09639. We consider two algebraic settings of comodules over a coring and contramodules over a topological ring with a countable base of two-sided ideals. These correspond to two (noncommutative) algebraic geometry settings of certain kind of stacks and ind-affine ind-schemes. In the context of a coring $\mathcal C$ over a noncommutative ring $A$, we show that all $A$-flat $\mathcal C$-comodules are $\aleph_1$-directed colimits of $A$-countably presentable $A$-flat $\mathcal C$-comodules. In the context of a complete, separated topological ring $\mathfrak R$ with a countable base of neighborhoods of zero consisting of two-sided ideals, we prove that all flat $\mathfrak R$-contramodules are $\aleph_1$-directed colimits of countably presentable flat $\mathfrak R$-contramodules. We also describe arbitrary complexes, short exact sequences, and pure acyclic complexes of $A$-flat $\mathcal C$-comodules and flat $\mathfrak R$-contramodules as $\aleph_1$-directed colimits of similar complexes of countably presentable objects. The arguments are based on a very general category-theoretic technique going back to an unpublished 1977 preprint of Ulmer and rediscovered in arXiv:2310.16773. Applications to cotorsion periodicity and coderived categories of flat objects in the respective settings are discussed. In particular, in any acyclic complex of cotorsion $\mathfrak R$-contramodules, all the contramodules of cocycles are cotorsion.
- [171] arXiv:2306.03846 (replaced) [pdf, html, other]
-
Title: A realisation result for moduli spaces of group actions on the lineComments: 32 pages; v3: minor corrections and references updated, final version to appear in the Journal of TopologySubjects: Group Theory (math.GR); Dynamical Systems (math.DS)
Given a finitely generated group $G$, the possible actions of $G$ on the real line (without global fixed points), considered up to semi-conjugacy, can be encoded by the space of orbits of a flow on a compact space $(Y, \Phi)$ naturally associated with $G$ and uniquely defined up to flow equivalence, that we call the \emph{Deroin space} of $G$. We show a realisation result: every expansive flow $(Y, \Phi)$ on a compact metrisable space of topological dimension 1, satisfying some mild additional assumptions, arises as the Deroin space of a finitely generated group. This is proven by identifying the Deroin space of an explicit family of groups acting on suspension flows of subshifts, which is a variant of a construction introduced by the second and fourth authors. This result provides a source of examples of finitely generated groups satisfying various new phenomena for actions on the line, related to their rigidity/flexibility properties and to the structure of (path-)connected components of the space of actions.
- [172] arXiv:2307.16657 (replaced) [pdf, other]
-
Title: Cell decomposition and dual boundary complexes of character varietiesComments: v4: 39 pages; Following the anonymous referee's suggestion, the previous version of this paper has be separated into two: the current one keeps the main result, and the second one, entitled "Integral cohomology of dual boundary complexes is motivic", deals with the motivic partSubjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT); Representation Theory (math.RT)
The weak geometric P=W conjecture of L. Katzarkov, A. Noll, P. Pandit, and C. Simpson asserts that for any smooth Betti moduli space $\mathcal{M}_B$ of complex dimension $d$ over a punctured Riemann surface, the dual boundary complex $\mathbb{D}\partial\mathcal{M}_B$ is homotopy equivalent to a $(d-1)$-dimensional sphere. Here, we consider $\mathcal{M}_B$ as a generic $GL_n(\mathbb{C})$-character variety defined on a Riemann surface of genus $g$, with local monodromies specified by generic semisimple conjugacy classes at $k$ punctures.
In this article, we establish the weak geometric P=W conjecture for all \emph{very generic} $\mathcal{M}_B$ in the sense that at least one conjugacy class is regular semisimple. A crucial step is to establish a stronger form of A. Mellit's cell decomposition theorem, i.e. we decompose $\mathcal{M}_B$ (without passing to a vector bundle) into locally closed subvarieties of the form $(\mathbb{C}^{\times})^{d-2b}\times\mathcal{A}$, where $\mathcal{A}$ is stably isomorphic to $\mathbb{C}^b$. A second ingredient involves a motivic characterization of the integral cohomology of dual boundary complexes developed in a subsequent article [Su24]. Following C. Simpson's strategy, the proof is now an inductive computation of the dual boundary complexes from such a cell decomposition. - [173] arXiv:2308.00910 (replaced) [pdf, html, other]
-
Title: A Mini Immersed Finite Element Method for Two-Phase Stokes Problems on Cartesian MeshesSubjects: Numerical Analysis (math.NA)
This paper presents a mini immersed finite element (IFE) method for solving two- and three-dimensional two-phase Stokes problems on Cartesian meshes. The IFE space is constructed from the conventional mini element, with shape functions modified on interface elements according to interface jump conditions, while keeping the degrees of freedom unchanged. Both discontinuous viscosity coefficients and surface forces are taken into account in the construction. The interface is approximated using discrete level set functions, and explicit formulas for IFE basis functions and correction functions are derived, facilitating ease of implementation.The inf-sup stability and the optimal a priori error estimate of the IFE method, along with the optimal approximation capabilities of the IFE space, are derived rigorously, with constants that are independent of the mesh size and the manner in which the interface intersects the mesh, but may depend on the discontinuous viscosity coefficients. Additionally, it is proved that the condition number has the usual bound independent of the interface. Numerical experiments are provided to confirm the theoretical results.
- [174] arXiv:2308.09844 (replaced) [pdf, other]
-
Title: Recent developments in mathematical aspects of relativistic fluidsComments: Text expanded and new material added. To appear in LRRSubjects: Analysis of PDEs (math.AP); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Nuclear Theory (nucl-th); Fluid Dynamics (physics.flu-dyn)
We review some recent developments in mathematical aspects of relativistic fluids. The goal is to provide a quick entry point to some research topics of current interest that is accessible to graduate students and researchers from adjacent fields, as well as to researches working on broader aspects of relativistic fluid dynamics interested in its mathematical formalism. Instead of complete proofs, which can be found in the published literature, here we focus on the proofs' main ideas and key concepts. After an introduction to the relativistic Euler equations, we cover the following topics: a new wave-transport formulation of the relativistic Euler equations tailored to applications; the problem of shock formation for relativistic Euler; rough (i.e., low-regularity) solutions to the relativistic Euler equations; the relativistic Euler equations with a physical vacuum boundary; relativistic fluids with viscosity. We finish with a discussion of open problems and future directions of research.
- [175] arXiv:2309.06063 (replaced) [pdf, html, other]
-
Title: Differential calculus for free algebra and constrained homologyComments: 26 pagesSubjects: Algebraic Topology (math.AT)
In [Discrete differential calculus on simplicial complexes and constrained homology, Chin. Ann. Math. Ser. B 44(4), 615-640, 2023], the constrained (co)homology for simplicial complexes and independence hypergraphs is constructed via differential calculus on discrete sets. In this paper, we study the differential calculus for free algebra and subsequently study the homomorphisms of constrained (co)homology induced by inclusions of simplicial complexes and independence hypergraphs. We apply the differential calculus to hypergraphs. We realize simplicial complexes and independence hypergraphs as certain invariant traces of hypergraphs. As an application, we give the constrained persistent (co)homology for filtrations of simplicial complexes and filtrations of independence hypergraphs.
- [176] arXiv:2309.08327 (replaced) [pdf, html, other]
-
Title: Forbidden Tournaments and the Orientation Completion ProblemSubjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Logic (math.LO)
For a fixed finite set of finite tournaments ${\mathcal F}$, the ${\mathcal F}$-free orientation problem asks whether a given finite undirected graph $G$ has an $\mathcal F$-free orientation, i.e., whether the edges of $G$ can be oriented so that the resulting digraph does not embed any of the tournaments from ${\mathcal F}$. We prove that for every ${\mathcal F}$, this problem is in P or NP-complete. Our proof reduces the classification task to a complete complexity classification of the orientation completion problem for ${\mathcal F}$, which is the variant of the problem above where the input is a directed graph instead of an undirected graph, introduced by Bang-Jensen, Huang, and Zhu (2017). Our proof uses results from the theory of constraint satisfaction, and a result of Agarwal and Kompatscher (2018) about infinite permutation groups and transformation monoids.
- [177] arXiv:2309.09396 (replaced) [pdf, html, other]
-
Title: Optimality Conditions for Interval-Valued Optimization Problems on Riemannian Manifolds Under a Total Order RelationSubjects: Optimization and Control (math.OC); Differential Geometry (math.DG)
This article explores fundamental properties of convex interval-valued functions defined on Riemannian manifolds. The study employs generalized Hukuhara directional differentiability to derive KKT-type optimality conditions for an interval-valued optimization problem on Riemannian manifolds. Based on type of functions involved in optimization problems, we consider the following cases:
1. objective function as well as constraints are real-valued;
2. objective function is interval-valued, and constraints are real-valued;
3. objective function as well as constraints are interval-valued.
The whole theory is justified with the help of examples. The order relation that we use throughout the paper is a total order relation defined on the collection of all closed and bounded intervals in $\mathbb{R}$. - [178] arXiv:2310.09045 (replaced) [pdf, html, other]
-
Title: On the fixation probability of an advantageous allele in a population with skewed offspring distributionComments: 22 pages, replaced with revised version, including small changesSubjects: Probability (math.PR)
Consider an advantageous allele that arises in a haploid population of size $N$ evolving in continuous time according to a skewed reproduction mechanism, which generates under neutrality genealogies lying in the domain of attraction of a Beta$(2-\alpha, \alpha)$-coalescent for $\alpha \in (1,2)$. We prove in a setting of moderate selection that the fixation probability $\pi_N$ of the advantageous allele is asymptotically equal to $\alpha^{1/(\alpha-1)} s_N^{1/(\alpha-1)} $ , where $s_N$ is the selection strength of the advantageous allele. Our proof uses duality with a suitable $\Lambda$-ancestral selection graph.
- [179] arXiv:2311.10186 (replaced) [pdf, html, other]
-
Title: On the visco-plastic approximation of a rate-independent coupled elastoplastic damage modelSubjects: Analysis of PDEs (math.AP)
In this paper we study a rate-independent system for the propagation of damage and plasticity. To construct solutions we resort to approximation in terms of viscous evolutions, where viscosity affects both damage and plasticity with the same rate. The main difficulty arises from the fact that the available estimates do not provide sufficient regularity on the limiting evolutions to guarantee that forces and velocities are in a duality pairing, hence we cannot use a chain rule for the driving energy. Nonetheless, via careful techniques we can characterize the limiting rate-independent evolution by means of an energy-dissipation balance, which encodes the onset of viscous effects in the behavior of the system at jumps.
- [180] arXiv:2312.10878 (replaced) [pdf, html, other]
-
Title: Time-periodic solutions to the Navier--Stokes equations on the whole space including the two-dimensional caseSubjects: Analysis of PDEs (math.AP)
Let us consider the incompressible Navier--Stokes equations with the time-periodic external forces in the whole space $\mathbb{R}^n$ with $n\geq 2$ and investigate the existence and non-existence of time-periodic solutions. In the higher dimensional case $n \geq 3$, we construct a unique small solution for given small time-periodic force in the scaling critical spaces of Besov type and prove its stability under small perturbations. In contrast, for the two-dimensional case $n=2$, the time-periodic solvability of the Navier--Stokes equations has been long standing open. It is the central work of this paper that we have now succeeded in solving this issue negatively by providing examples of small external forces such that each of them does not generate time-periodic solutions.
- [181] arXiv:2312.13201 (replaced) [pdf, html, other]
-
Title: On Kemeny's constant and stochastic complementSubjects: Numerical Analysis (math.NA)
Given a stochastic matrix $P$ partitioned in four blocks $P_{ij}$, $i,j=1,2$, Kemeny's constant $\kappa(P)$ is expressed in terms of Kemeny's constants of the stochastic complements $P_1=P_{11}+P_{12}(I-P_{22})^{-1}P_{21}$, and $P_2=P_{22}+P_{21}(I-P_{11})^{-1}P_{12}$. Specific cases concerning periodic Markov chains and Kronecker products of stochastic matrices are investigated. Bounds to Kemeny's constant of perturbed matrices are given. Relying on these theoretical results, a divide-and-conquer algorithm for the efficient computation of Kemeny's constant of graphs is designed. Numerical experiments performed on real-world problems show the high efficiency and reliability of this algorithm.
- [182] arXiv:2312.13388 (replaced) [pdf, html, other]
-
Title: Multi-period Stochastic Network Design for Combined Natural Gas and Hydrogen DistributionSubjects: Optimization and Control (math.OC)
Hydrogen is produced from water using renewable electricity. Unlike electricity, hydrogen can be stored in large quantities for long periods. This storage ability acts as a green battery, allowing solar and wind energy to be generated and used at different times. As a result, green hydrogen plays a central role in facilitating a climate-neutral economy. However, the logistics for hydrogen are complex. As new hydrogen pipelines are developed for hydrogen, there is a trend toward repurposing the natural gas network for hydrogen, due to its economic and environmental benefits. Yet, a rapid conversion could disrupt the balance of natural gas supply and demand. Furthermore, technical and economic developments surrounding the transition contribute additional complexity, which introduces uncertainty in future supply and demand levels for both commodities. To address these challenges, we introduce a multi-period stochastic network design problem for the transition of a natural gas pipeline network into a green hydrogen pipeline network. We develop a progressive hedging based matheuristic to solve the problem. Results demonstrate our matheuristic is efficient, both in computation time and in solution quality. We show that factoring in uncertainty avoids premature expansion and ensures the development of an adequate pipeline network meeting long-term needs. In a case study in the Northern Netherlands for Hydrogen Energy Applications in Valley Environments for Northern Netherlands initiative, we focus on two key scenarios: local production and importation, exploring their impacts on performance indicators. Our case insights exemplify the solid foundation for strategic decision-making in energy transitions through our approach.
- [183] arXiv:2401.16414 (replaced) [pdf, html, other]
-
Title: A Causal Model for Quantifying Multipartite Classical and Quantum CorrelationsComments: 6 pages, 4 figures. v4 is a preprint of the version in Proceedings of IEEE ISIT 2024. v3 is the extended version with 23 pages, 12 figures. Changes in v3: Theorem 5 improved; v2: Appendix B added, some notations changedSubjects: Information Theory (cs.IT); Quantum Physics (quant-ph)
We give an operational definition of information-theoretic resources within a given multipartite classical or quantum correlation. We present our causal model that serves as the source coding side of this correlation and introduce a novel concept of resource rate. We argue that, beyond classical secrecy, additional resources exist that are useful for the security of distributed computing problems, which can be captured by the resource rate. Furthermore, we establish a relationship between resource rate and an extension of Shannon's logarithmic information measure, namely, total correlation.
- [184] arXiv:2401.16535 (replaced) [pdf, html, other]
-
Title: Hydrodynamic limit for an open facilitated exclusion process with slow and fast boundariesComments: 51 pagesSubjects: Probability (math.PR)
We study the symmetric facilitated exclusion process (FEP) on the finite one-dimensional lattice $\lbrace 1,\dots ,N-1\rbrace$ when put in contact with boundary reservoirs, whose action is subject to an additional kinetic constraint in order to enforce ergodicity, and whose speed is of order $N^{-\theta}$ for some parameter $\theta$. We derive its hydrodynamic limit as $N\to\infty$, in the diffusive space-time scaling, when the initial density profile is supercritical. More precisely, the macroscopic density of particles evolves in the bulk according to a fast diffusion equation as in the periodic case, which is now subject to boundary conditions that can be of Dirichlet, Robin or Neumann type depending on the parameter $\theta$. In the Dirichlet case, the FEP exhibits a very peculiar behaviour: unlike for the classical SSEP, and due to the two-phased nature of FEP, the reservoirs impose boundary densities which do not coincide with their equilibrium densities. The proof is based on the classical entropy method, but requires significant adaptations to account for the FEP's non-product stationary states and to deal with the non-equilibrium setting.
- [185] arXiv:2402.00471 (replaced) [pdf, other]
-
Title: Fairness by design in shared-energy allocation problemsSubjects: Optimization and Control (math.OC)
This paper studies how to aggregate prosumers (or large consumers) and their collective decisions in electricity markets, with a focus on fairness. Fairness is essential for prosumers to participate in aggregation schemes. Some prosumers may not be able to access the energy market directly, even though it would be beneficial for them. Therefore, new companies offer to aggregate them and promise to treat them fairly. This leads to a fair resource allocation problem.
We propose to use acceptability constraints to guarantee that each prosumer gains from the aggregation. Moreover, we aim to distribute the costs and benefits fairly, taking into account the multi-period and uncertain nature of the problem. Rather than using financial mechanisms to adjust for fairness issues, we focus on various objectives and constraints, within decision problems, that achieve fairness by design. We start from a simple single-period and deterministic model, and then generalize it to a dynamic and stochastic setting using, e.g., stochastic dominance constraints. - [186] arXiv:2402.03129 (replaced) [pdf, html, other]
-
Title: Clairaut anti-invariant Riemannian maps to Sasakian manifoldsComments: 13 pagesSubjects: Differential Geometry (math.DG)
In this paper, we investigate the geometry of Clairaut anti-invariant Riemannnian maps whose base space are Sasakian manifolds. We obtain the necessary and sufficient conditions for a curve on a base manifold to be geodesic. We obtain conditions for an anti-invariant Riemannian map to be Clairaut. Further, we discuss the biharmonicity of such maps and construct some illustrative examples.
- [187] arXiv:2402.04840 (replaced) [pdf, other]
-
Title: Efficient Estimation of a Gaussian Mean with Local Differential PrivacySubjects: Statistics Theory (math.ST)
In this paper we study the problem of estimating the unknown mean $\theta$ of a unit variance Gaussian distribution in a locally differentially private (LDP) way. In the high-privacy regime ($\epsilon\le 1$), we identify an optimal privacy mechanism that minimizes the variance of the estimator asymptotically. Our main technical contribution is the maximization of the Fisher-Information of the sanitized data with respect to the local privacy mechanism $Q$. We find that the exact solution $Q_{\theta,\epsilon}$ of this maximization is the sign mechanism that applies randomized response to the sign of $X_i-\theta$, where $X_1,\dots, X_n$ are the confidential iid original samples. However, since this optimal local mechanism depends on the unknown mean $\theta$, we employ a two-stage LDP parameter estimation procedure which requires splitting agents into two groups. The first $n_1$ observations are used to consistently but not necessarily efficiently estimate the parameter $\theta$ by $\tilde{\theta}_{n_1}$. Then this estimate is updated by applying the sign mechanism with $\tilde{\theta}_{n_1}$ instead of $\theta$ to the remaining $n-n_1$ observations, to obtain an LDP and efficient estimator of the unknown mean.
- [188] arXiv:2402.07176 (replaced) [pdf, html, other]
-
Title: Recent results on large gaps between primesComments: arXiv admin note: substantial text overlap with arXiv:1412.5029, arXiv:1511.04468 by other authorsSubjects: Number Theory (math.NT)
One of the themes of this paper is recent results on large gaps between primes. The first of these results has been achieved in the paper [12] by Ford, Green, Konyagin and Tao. It was later improved in the joint paper [13] of these four authors with Maynard. One of the main ingredients of these results are old methods due to Erdős and Rankin. Other ingredients are important breakthrough results due to Goldston, Pintz and Yildirim [15, 16, 17], and their extension by Maynard on small gaps between primes. All these previous results are discussed shortly. The results on the appearance of $k$-th powers of primes contained in those large gaps, obtained by the author in joint work with Maier [23, 24, 25] are based on a combination of the results just described with the matrix method of Maier.
- [189] arXiv:2402.07560 (replaced) [pdf, html, other]
-
Title: Stabilization of control systems associated with a strongly continuous groupSubjects: Optimization and Control (math.OC)
This paper is devoted to the stabilization of a linear control system $y' = A y + B u$ and its suitable non-linear variants where $(A, \cD(A))$ is an infinitesimal generator of a strongly continuous {\it group} in a Hilbert space $\mH$, and $B$ defined in a Hilbert space $\mU$ is an admissible control operator with respect to the semigroup generated by $A$. Let $\lambda \in \mR$ and assume that, for some {\it positive} symmetric, invertible $Q = Q(\lambda) \in \cL(\mH)$, for some {\it non-negative}, symmetric $R = R(\lambda) \in \cL(\mH)$, and for some {\it non-negative}, symmetric $W = W(\lambda) \in \cL(\mU)$, it holds $$ A Q + Q A^* - B W B^* + Q R Q + 2 \lambda Q = 0. $$ We then present a new approach to study the stabilization of such a system and its suitable nonlinear variants. Both the stabilization using dynamic feedback controls and the stabilization using static feedback controls in a weak sense are investigated. To our knowledge, the nonlinear case is out of reach previously when $B$ is unbounded for both types of stabilization.
- [190] arXiv:2402.09255 (replaced) [pdf, html, other]
-
Title: On collection schemes and Gaifman's splitting theoremComments: 23 pagesSubjects: Logic (math.LO)
We study model theoretic characterizations of various collection schemes over $\mathbf{PA}^-$ from the viewpoint of Gaifman's splitting theorem. Among other things, we prove that for any $n \geq 0$ and $M \models \mathbf{PA}^-$, the following are equivalent:
1. $M$ satisfies the collection scheme for $\Sigma_{n+1}$ formulas.
2. For any $K, N \models \mathbf{PA}^-$, if $M \subseteq_{\mathrm{cof}} K$, $M \prec_{\Delta_0} K$ and $M \prec N$, then $M \prec_{\Sigma_{n+2}} K$ and $\sup_N(M) \prec_{\Sigma_n} N$.
3. For any $N \models \mathbf{PA}^-$, if $M \prec N$, then $M \prec_{\Sigma_{n+2}} \sup_N(M) \prec_{\Sigma_{n}} N$.
Here, $\sup_N(M)$ is the unique $K$ satisfying $M \subseteq_{\mathrm{cof}} K \subseteq_{\mathrm{end}} N$. We also investigate strong collection schemes and parameter-free collection schemes from the similar perspective. - [191] arXiv:2402.12314 (replaced) [pdf, html, other]
-
Title: Prescribed $L_p$ quotient curvature problem and related eigenvalue problemComments: 22 pages. Minor changes to improve exposition and typos fixedSubjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
In this paper, we investigate the existence of admissible (and strictly convex) smooth solutions to the prescribed $L_p$ quotient type curvature problem with $p>1$. For cases where $p=k-l+1$ and $p> k-l+1$, we obtain an admissible solution without any additional conditions, which is strictly spherically convex under a convexity condition. Under the same convexity condition, we establish the existence of a strictly spherically convex solution for the case $p<k-l+1$, provided that the prescribed function is even, a condition known to be necessary.
- [192] arXiv:2403.05777 (replaced) [pdf, html, other]
-
Title: Combinatorial p-th Calabi Flows for Total Geodesic Curvatures in hyperbolic background geometryComments: 30 pages, 10 figuresSubjects: Differential Geometry (math.DG); Geometric Topology (math.GT)
In hyperbolic background geometry, we investigate a generalized circle packing (including circles, horocycles and hypercycles) with conical singularities on a surface with boundary, which has a total geodesic curvature on each generalized circle of this circle packing and a discrete Gaussian curvature on the center of each dual circle. The purpose of this paper is to find this type of circle packings with prescribed total geodesic curvatures on generalized circles and discrete Gaussian curvatures on centers of dual circles. To achieve this goal, we firstly establish existence and rigidity on this type of circle packings by the variational principle. Secondly, for $p>1$, we introduce combinatorial $p$-th Calabi flows to find the circle packing with prescribed total geodesic curvatures on generalized circles and discrete Gaussian curvatures on centers of dual circles for the first time.
- [193] arXiv:2403.09242 (replaced) [pdf, html, other]
-
Title: S-flat cotorsion pairComments: To appear in the Bulletin of the Korean Mathematical SocietySubjects: Commutative Algebra (math.AC)
Let $R$ be a commutative ring, and let $S$ be a multiplicative subset of $R$. In this paper, we investigate the notion of $S$-cotorsion modules. An $R$-module $C$ is called $S$-cotorsion if $\text{Ext}^{1}_{R}(F,C) = 0$ for every $S$-flat $R$-module $F$. Among other results, we establish that the pair $(S\mathcal{F}, S\mathcal{C})$, where $S\mathcal{F}$ denotes the class of all $S$-flat $R$-modules and $S\mathcal{C}$ denotes the class of all $S$-cotorsion modules, forms a hereditary perfect cotorsion pair. As applications, we provide characterizations of $S$-perfect rings in terms of $S$-cotorsion modules. We conclude the paper with results on $S\mathcal{F}$-preenvelopes. Namely, we prove that if every module has an $S\mathcal{F}$-preenvelope, then $R$ is $S$-coherent. Furthermore, we establish the converse under the condition that $R_S$ is a finitely presented $R$-module.
- [194] arXiv:2403.16401 (replaced) [pdf, html, other]
-
Title: Douglas-Rudin Approximation theorem for operator-valued functions on the unit ball of $\mathbb{C}^d$Comments: 10 pages+References. Minor improvements in style. Some typos fixed. Current version to appear in JFASubjects: Functional Analysis (math.FA)
Douglas and Rudin proved that any unimodular function on the unit circle $\T$ can be uniformly approximated by quotients of inner functions. We extend this result to the operator-valued unimodular functions defined on the boundary of the open unit ball of $\mathbb{C}^d$. Our proof technique combines the spectral theorem for unitary operators with the Douglas-Rudin theorem in the scalar case to bootstrap the result to the operator-valued case. This yields a new proof and a significant generalization of Barclay's result [Proc. Lond. Math. Soc. 2009] on the approximation of matrix-valued unimodular functions on $\T$.
- [195] arXiv:2404.00764 (replaced) [pdf, html, other]
-
Title: Sparse Recovery: The Square of $\ell_1/\ell_2$ NormsSubjects: Optimization and Control (math.OC)
This paper introduces a nonconvex approach for sparse signal recovery, proposing a novel model termed the $\tau_2$-model, which utilizes the squared $\ell_1/\ell_2$ norms for this purpose. Our model offers an advancement over the $\ell_0$ norm, which is often computationally intractable and less effective in practical scenarios. Grounded in the concept of effective sparsity, our approach robustly measures the number of significant coordinates in a signal, making it a powerful alternative for sparse signal estimation. The $\tau_2$-model is particularly advantageous due to its computational efficiency and practical applicability.
We detail two accompanying algorithms based on Dinkelbach's procedure and a difference of convex functions strategy. The first algorithm views the model as a linear-constrained quadratic programming problem in noiseless scenarios and as a quadratic-constrained quadratic programming problem in noisy scenarios. The second algorithm, capable of handling both noiseless and noisy cases, is based on the alternating direction linearized proximal method of multipliers. We also explore the model's properties, including the existence of solutions under certain conditions, and discuss the convergence properties of the algorithms. Numerical experiments with various sensing matrices validate the effectiveness of our proposed model. - [196] arXiv:2404.04634 (replaced) [pdf, html, other]
-
Title: Bauer simplices and the small boundary propertyComments: v2: minor edits; this is the published version; J. Funct. Anal. 287 (2024) 110619, 21 pp. v1: 17 pagesSubjects: Dynamical Systems (math.DS); Operator Algebras (math.OA)
We show that, for every minimal action of a countably infinite discrete group on a compact metrizable space, if the extreme boundary of the simplex of invariant Borel probability measures is closed and has finite covering dimension then the action has the small boundary property.
- [197] arXiv:2404.07877 (replaced) [pdf, html, other]
-
Title: Definability of band structures on posetsComments: 23 pages, 10 figures. Comments are welcome. v2: As per referee's request, we are splitting this work. The first manuscript corresponds to version 2Subjects: Logic (math.LO); Rings and Algebras (math.RA)
The idempotent semigroups (bands) that give rise to partial orders by defining $a \leq b \iff a \cdot b = a$ are the "right-regular" bands (RRB), which are axiomatized by $x\cdot y \cdot x = y \cdot x$. In this work we consider the class of "associative posets", which comprises all partial orders underlying right-regular bands, and study to what extent the ordering determines the possible "compatible" band structures and their canonicity.
We show that the class of associative posets in the signature $\{ \leq \}$ is not first-order axiomatizable. We also show that the Axiom of Choice is equivalent over $\mathit{ZF}$ to the fact that every tree with finite branches is associative.
We study the smaller class of "normal" posets (corresponding to right-normal bands) and give a structural characterization. - [198] arXiv:2404.16554 (replaced) [pdf, html, other]
-
Title: Generalized Multiscale Finite Element Method for discrete network (graph) modelsSubjects: Numerical Analysis (math.NA)
In this paper, we consider a time-dependent discrete network model with highly varying connectivity. The approximation by time is performed using an implicit scheme. We propose the coarse scale approximation construction of network models based on the Generalized Multiscale Finite Element Method. An accurate coarse-scale approximation is generated by solving local spectral problems in sub-networks. Convergence analysis of the proposed method is presented for semi-discrete and discrete network models. We establish the stability of the multiscale discrete network. Numerical results are presented for structured and random heterogeneous networks.
- [199] arXiv:2405.06190 (replaced) [pdf, other]
-
Title: Geometric Approaches to Matrix Normalization and Graph BalancingComments: V2: Updated Figure 1 and Remark 4.2, fixed typos, minor changes to expositionSubjects: Differential Geometry (math.DG); Optimization and Control (math.OC)
Normal matrices, or matrices which commute with their adjoints, are of fundamental importance in pure and applied mathematics. In this paper, we study a natural functional on the space of square complex matrices whose global minimizers are normal matrices. We show that this functional, which we refer to as the non-normal energy, has incredibly well-behaved gradient descent dynamics: despite it being non-convex, we show that the only critical points of the non-normal energy are the normal matrices, and that its gradient descent trajectories fix matrix spectra and preserve the subset of real matrices. We also show that, even when restricted to the subset of unit Frobenius norm matrices, the gradient flow of the non-normal energy retains many of these useful properties. This is applied to prove that low-dimensional homotopy groups of spaces of unit norm normal matrices vanish; for example, we show that the space of $d \times d$ complex unit norm normal matrices is simply connected for all $d \geq 2$. Finally, we consider the related problem of balancing a weighted directed graph -- that is, readjusting its edge weights so that the weighted in-degree and out-degree is the same at each node. We adapt the non-normal energy to define another natural functional whose global minima are balanced graphs and show that gradient descent of this functional always converges to a balanced graph, while preserving graph spectra and realness of the weights. Our results were inspired by concepts from symplectic geometry and Geometric Invariant Theory, but we mostly avoid invoking this machinery and our proofs are generally self-contained.
- [200] arXiv:2405.06554 (replaced) [pdf, html, other]
-
Title: Tradeoffs among Action Taking Policies Matter in Active Sequential Multi-Hypothesis Testing: the Optimal Error Exponent RegionComments: Submitted to the IEEE Transactions on Information TheorySubjects: Information Theory (cs.IT)
Reliability of sequential hypothesis testing can be greatly improved when decision maker is given the freedom to adaptively take an action that determines the distribution of the current collected sample. Such advantage of sampling adaptivity has been realized since Chernoff's seminal paper in 1959 [1]. While a large body of works have explored and investigated the gain of adaptivity, in the general multiple-hypothesis setting, the fundamental limits of individual error probabilities have not been fully understood. In particular, in the asymptotic regime as the expected stopping time tends to infinity, the error exponents are only characterized in specific cases, such as that of the total error probability. In this paper, we consider a general setup of active sequential multiple-hypothesis testing where at each time slot, a temporally varying subset of data sources (out of a known set) emerges from which the decision maker can select to collect samples, subject to a family of expected selection budget constraints. The selection of sources, understood as the "action" at each time slot, is constrained in a predefined action space. At the end of each time slot, the decision maker either decides to make the inference on the $M$ hypotheses, or continues to observe the data sources for the next time slot. The optimal tradeoffs among $M(M-1)$ types of error exponents are characterized. A companion asymptotically optimal test that strikes the balance between exploration and exploitation is proposed to achieve any target error exponents within the region. To the best of our knowledge, this is the first time in the literature to identify such tradeoffs among error exponents, and it uncovers the tension among different action taking policies even in the basic setting of Chernoff [1].
- [201] arXiv:2405.12845 (replaced) [pdf, html, other]
-
Title: Quantum computing and the stable set problemSubjects: Optimization and Control (math.OC)
Given an undirected graph, the stable set problem asks to determine the cardinality of the largest subset of pairwise non-adjacent vertices. This value is called the stability number of the graph, and its computation is an NP-hard problem. In this paper, we solve the stable set problem using the D-wave quantum annealer. By formulating the problem as a quadratic unconstrained binary optimization problem with the penalty method, we show its optimal value equals the graph's stability number for specific penalty values. However, D-Wave's quantum annealer is a heuristic, so the solutions may be far from the optimum and may not represent stable sets. To address these, we introduce a post-processing procedure that identifies samples that could lead to improved solutions. Additionally, we propose a partitioning method to handle larger instances that cannot be embedded on D-Wave's quantum processing unit. Finally, we investigate how different penalty parameter values affect the solutions' quality. Extensive computational results show that the post-processing procedure significantly improves the solution quality, while the partitioning method successfully extends our approach to medium-size instances.
- [202] arXiv:2405.20977 (replaced) [pdf, html, other]
-
Title: A mathematical justification for nonlinear constitutive relations between stress and linearized strainComments: 18 pages, minor typos correctedSubjects: Mathematical Physics (math-ph); Materials Science (cond-mat.mtrl-sci)
We present an asymptotic framework that rigorously generates nonlinear constitutive relations between stress and linearized strain for elastic bodies. Each of these relations arises as the leading order relationship satisfied by a one-parameter family of nonlinear constitutive relations between stress and nonlinear strain. The asymptotic parameter limits the overall range of strains that satisfy the corresponding constitutive relation in the one-parameter family while the stresses can remain large (relative to a fixed stress scale). This differs from classical linearized elasticity where a fixed constitutive relation is assumed, and the magnitude of the displacement gradient serves as the asymptotic parameter. Also unlike classical approaches, the constitutive relations in our framework are expressed as implicit relationships between stress and strain rather than requiring stress explicitly expressed as a function of strain, adding conceptual simplicity and versatility. We demonstrate that our framework rigorously justifies nonlinear constitutive relations between stress and linearized strain including those with density-dependent Young's moduli or derived from strain energies beyond quadratic forms.
- [203] arXiv:2406.01347 (replaced) [pdf, html, other]
-
Title: On the Spline-Based Parameterisation of Plane Graphs via Harmonic MapsSubjects: Numerical Analysis (math.NA)
This paper presents a spline-based parameterisation framework for plane graphs. The plane graph is characterised by a collection of curves forming closed loops that fence-off planar faces which have to be parameterised individually. Hereby, we focus on parameterisations that are conforming across the interfaces between the faces. Parameterising each face individually allows for the imposition of locally differing material parameters which has applications in various engineering disciplines, such as elasticity and heat transfer. For the parameterisation of the individual faces, we employ the concept of harmonic maps. The plane graph's spline-based parameterisation is suitable for numerical simulation based on isogeometric analysis or can be utilised to extract arbitrarily dense classical meshes. Application-specific features can be built into the geometry's mathematical description either on the spline level or in the mesh extraction step.
- [204] arXiv:2407.00505 (replaced) [pdf, html, other]
-
Title: Lyndon interpolation property for extensions of $\mathbf{S4}$ and intermediate propositional logicsComments: 37 pagesSubjects: Logic (math.LO)
We study the Lyndon interpolation property (LIP) and the uniform Lyndon interpolation property (ULIP) for extensions of $\mathbf{S4}$ and intermediate propositional logics. We prove that among the 18 consistent normal modal logics of finite height extending $\mathbf{S4}$ known to have CIP, 11 logics have LIP and 7 logics do not. We also prove that for intermediate propositional logics, the Craig interpolation property, LIP, and ULIP are equivalent.
- [205] arXiv:2407.05011 (replaced) [pdf, other]
-
Title: Set Estimation from Projected Multidimensional Random Variables with Application to a Discrete-Time Skorokhod ProblemComments: 24 pages, 3 figuresSubjects: Statistics Theory (math.ST)
This paper deals with sufficient conditions on the distribution of the random variable $H$, in the model $X =\Pi_C(H)$, for the convex hull $\widehat C_N$ of $N$ independent copies of $X$ to be a consistent estimator - with or without rate of convergence - of the convex body $C$. The convergence of $\widehat C_N$ is established for the Hausdorff distance under uniform conditions on the distribution of $H$, but also in a pointwise sense under less demanding conditions. Some of these convergence results on $\widehat C_N$ are applied to the estimation of the time-dependent constraint set involved in a discrete-time Skorokhod problem.
- [206] arXiv:2407.05144 (replaced) [pdf, html, other]
-
Title: Extending the noise of splitting to its completion and stability of Brownian maximaSubjects: Probability (math.PR)
The stochastic noise of splitting, defined initially on the (basic) algebra of unions of intervals of the real line, is extended to a maximal class of domains. The $\sigma$-fields of this largest extension constitute the completion, in the sense of noise-type Boolean algebras, of the range of the unextended (basic) splitting noise. A Lebesgue measurable domain to which the extension is possible is characterized by a certain stability property: under independent perturbation of Brownian increments off the domain, of the times of Brownian local maxima belonging to the domain; together with the same property for the complement of the domain. A set that is equal to an open set modulo a Lebesgue negligible one, with the same being true of its complement, has this stability property, but others have it too: the extension is non-trivial. Some domains are totally unstable with respect to the indicated perturbation, and to them the extension cannot be made.
- [207] arXiv:2407.05629 (replaced) [pdf, html, other]
-
Title: A linear variant of the nearly Gorenstein propertyComments: 20 pages, I combined Theorem D and Theorem E into one and made some revisionsSubjects: Commutative Algebra (math.AC)
The nearly Gorenstein property is a generalization of the Gorenstein property. In this paper, we introduce a new property $(\natural)$ that extends the nearly Gorenstein property in semi-standard graded rings. We show $(\natural)$ relates to a property in affine semigroup rings and generalizes results on Veronese subrings. Furthermore, $(\natural)$ and the nearly Gorenstein property are equivalent in Ehrhart rings of $(0,1)$-polytopes with the integer decomposition property and in rings with minimal multiplicity.
- [208] arXiv:2407.05632 (replaced) [pdf, html, other]
-
Title: Computation of $\wp$-functions on plane algebraic curvesComments: 35 pages, 11 figuresSubjects: Mathematical Physics (math-ph); Algebraic Geometry (math.AG); Exactly Solvable and Integrable Systems (nlin.SI)
Numerical tools for computation of $\wp$-functions, also known as Kleinian, or multiply periodic, are proposed. In this connection, computation of periods of the both first and second kinds is reconsidered. An analytical approach to constructing the Reimann surface of a plane algebraic curves of low gonalities is used. The approach is based on explicit radical solutions to quadratic, cubic, and quartic equations, which serve for hyperelliptic, trigonal, and tetragonal curves, respectively. The proposed analytical construction of the Riemann surface gives full control over computation of the Abel image of any point on a curve. Therefore, computation of $\wp$-functions on given divisors can be done directly. An alternative computation with the help of the Jacobi inversion problem is used for verification. Hyperelliptic and trigonal curves are considered in detail, and illustrated by examples. A method of finding the unique characteristic corresponding to the vector of Riemann constants is suggested for non-hyperelliptic and hyperelliptic curves.
- [209] arXiv:2407.06515 (replaced) [pdf, html, other]
-
Title: A characterization of differential bundles in tangent categoriesComments: 26 pages, to appear in Applied Categorical Structures, minor changes based on feedback from referee and othersSubjects: Category Theory (math.CT)
A tangent category is a categorical abstraction of the tangent bundle construction for smooth manifolds. In that context, Cockett and Cruttwell develop the notion of differential bundle which, by work of MacAdam, generalizes the notion of smooth vector bundle to the abstract setting. Here we provide a new characterization of differential bundles and show that, up to isomorphism, a differential bundle is determined by its projection map and zero section. We show how these results can be used to quickly identify differential bundles in various tangent categories.
- [210] arXiv:2407.06840 (replaced) [pdf, html, other]
-
Title: Regularization by Nonlinear Noise for PDEs: Well-posedness and Finite Time ExtinctionComments: 50 PagesSubjects: Probability (math.PR); Analysis of PDEs (math.AP)
This work focuses on the regularization by nonlinear noise for a class of partial differential equations that may only have local solutions. In particular, we obtain the global existence, uniqueness and the Feller property for stochastic 3D Navier-Stokes equations, which provide positive answers to some longstanding open problems in this field.
Moreover, we discover a new phenomenon that for a potentially explosive deterministic system, an appropriate intervention of nonlinear noise can not only prevent blow-up but also lead to the finite time extinction of the associated stochastic system. Our main results have broad applications, including stochastic $p$-Laplace equations with heat sources, stochastic surface growth models and stochastic quasi-geostrophic equations. - [211] arXiv:2407.10513 (replaced) [pdf, html, other]
-
Title: On sets of matrices having different spectrum maximizing products with unequal numbers of the same name factorsComments: Changed title, added 2 bibliography referencesSubjects: Optimization and Control (math.OC); Dynamical Systems (math.DS)
Recently, J. Bochi and P. Laskawiec constructed an example of a set of matrices $\{A,B\}$ having two different (up to cyclic permutations of factors) spectrum maximizing products, $AABABB$ and $BBABAA$. In this paper, we identify a class of matrix sets for which the existence of at least one spectrum maximizing product with an odd number of factors automatically entails the existence of another spectrum maximizing product. Moreover, in addition to Bochi--Laskawiec's example, the number of factors of the same name (factors of the form $A$ or $B$) in these matrix products turns out to be different. The efficiency of the proposed approach is confirmed by constructing an example of a set of $2\times2$ matrices $\{A,B\}$ that has spectrum maximizing products of the form $BAA$ and $BBA$.
- [212] arXiv:2407.12253 (replaced) [pdf, html, other]
-
Title: Additive number theory and the Dyson transformComments: 19 pages; improved expositionSubjects: Number Theory (math.NT)
In 1942 Mann solved a famous problem, the $\alpha+\beta$ conjecture, about the lower bound of the Shnirel'man density of sums of sets of positive integers. In 1945, Dyson generalized Mann's theorem and obtained a lower bound for the Shnirel'man density of rank $r$ sumsets. His proof introduced the Dyson transform, an important tool in additive number theory. This paper explains the background of Dyson's work, gives Dyson's proof of his theorem, and includes several applications of the Dyson transform, such as Kneser's inequality for sums of finite subsets of an arbitrary additive abelian group.
- [213] arXiv:2407.18666 (replaced) [pdf, html, other]
-
Title: Overlapping substitutions and tilingsSubjects: Combinatorics (math.CO); Dynamical Systems (math.DS); Number Theory (math.NT)
Inspired by Ziherl, Dotera and Bekku [17],we generalize the notion of (geometric) substitution rule to obtain overlapping substitutions. For such a substitution, the substitution matrix may have non-integer entries. We give the meaning of such a matrix by showing that the right Perron--Frobenius eigenvector gives the patch frequency of the resulting tiling. We also show that the expansion constant is an algebraic integer under mild conditions. In general, overlapping substitutions may yield a patch with contradictory overlaps of tiles, even if it is locally consistent. We give a sufficient condition for an overlapping substitution to be consistent, that is, no such contradiction will emerge. We also give many one-dimensional examples of overlapping substitution. We finish by mentioning a construction of overlapping substitutions from Delone multi-sets with inflation symmetry.
- [214] arXiv:2408.04582 (replaced) [pdf, other]
-
Title: Second adjointness and cuspidal supports at the categorical levelComments: 22 pagesSubjects: Representation Theory (math.RT); Number Theory (math.NT)
We prove the second adjointness in the setting of the categorical local Langlands correspondence. Moreover, we study the relation between Eisenstein series and cuspidal supports and present a conjectural characterization of irreducible smooth representations with supercuspidal $L$-parameters regarding geometric constant terms. The main technical ingredient is an induction principle for geometric Eisenstein series which allows us to reduce to the situations already treated in the literature.
- [215] arXiv:2408.05071 (replaced) [pdf, html, other]
-
Title: Functional Sieve Bootstrap for the Partial Sum Process with Application to Change-Point Detection without Dimension ReductionSubjects: Statistics Theory (math.ST)
Change-points in functional time series can be detected using the CUSUM-statistic, which is a non-linear functional of the partial sum process. Various methods have been proposed to obtain critical values for this statistic. In this paper we use the functional autoregressive sieve bootstrap to imitate the behavior of the partial sum process and we show that this procedure asymptotically correct estimates critical values under the null hypothesis. We also establish the consistency of the corresponding bootstrap based test under local alternatives. The finite sample performance of the procedure is studied via simulations under the null -hypothesis and under the alternative.
- [216] arXiv:2408.05349 (replaced) [pdf, html, other]
-
Title: Some integer values in the spectra of burnt pancake graphsComments: Added proof to Lemma 4, added a conjecture, and fixed typosSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
Here we discuss spectral properties of the burnt pancake graph $\mathbf{BP}_n$. More precisely, we prove that the adjacency spectrum of $\mathbf{BP}_n$ contains all integer values in the set $\{0, 1, \ldots, n\}\setminus\{\left\lfloor n/2 \right\rfloor\}$
- [217] arXiv:2408.13794 (replaced) [pdf, html, other]
-
Title: Criterion of singularity formation for radial solutions of the pressureless Euler-Poisson equations in exceptional dimensionComments: 16 pagesSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
The spatial dimensions 1 and 4 play an exceptional role for radial solutions of the pressureless repulsive Euler-Poisson equations. Namely, for any spatial dimension except 1 and 4, any nontrivial solution of the Cauchy problem blows up in a finite time (except in special cases), whereas for dimensions 1 and 4 there exists a neighborhood of trivial initial data in the $C^1$ - norm such that the respective solution preserves the initial smoothness globally. For dimension 1, the criterion of the singularity formation in terms of initial data was known, i.e. this neighborhood can be found exactly.
For the case of dimension 4, there was no similar result. In this paper, we close this gap and obtain such a criterion for the case of a more technically complicated case of dimension 4. - [218] arXiv:2408.14412 (replaced) [pdf, html, other]
-
Title: Expanding the Class of Quadratic Control-Lyapunov Functions for Low-Thrust Trajectory OptimizationSubjects: Optimization and Control (math.OC)
Control laws derived from Control-Lyapunov Functions (CLFs) offer an efficient way for generating near-optimal many-revolution low-thrust trajectories. A common approach to constructing CLFs is to consider the family of quadratic functions using a diagonal weighting matrix. In this paper, we explore the advantages of using a larger family of quadratic functions. More specifically, we consider positive-definite weighting matrices with non-zero off-diagonal elements (hereafter referred to as "full" matrices). We propose a novel eigendecomposition method for parameterizing $N$-dimensional weighting matrices that is easy to implement and guarantees positive-definiteness of the weighting matrices. We use particle swarm optimization, which is a stochastic optimization algorithm, to optimize the parameters and generate near-optimal minimum-time low-thrust trajectories. Solutions obtained using a full positive-definite matrix are compared to the results from the (standard) diagonal weighting matrix for a number of benchmark problems. Results demonstrate that improvements in optimality are achieved, especially for maneuvers with large changes in orbital elements.
- [219] arXiv:2408.14781 (replaced) [pdf, html, other]
-
Title: A module-theoretic characterization of $S$-($w$-)Noetherian ringsComments: arXiv admin note: text overlap with arXiv:2307.10309; text overlap with arXiv:2201.07913 by other authorsSubjects: Commutative Algebra (math.AC)
Let $R$ be a ring and $S$ a multiplicative subset of $R$. In this paper, we obtain the ACC characterization and Cartan-Eilenberg-Bass theorem for $S$-Noetherian rings. In details, we show that a ring $R$ is an $S$-Noetherian ring if and only if any ascending chain of ideals of $R$ is $S$-stationary, if and only if any direct sum of injective modules is $S$-injective, if and only if any direct limit of injective modules is $S$-injective. We also characterized $S$-$w$-Noetherian rings similarly.
- [220] arXiv:2408.14816 (replaced) [pdf, other]
-
Title: Time splitting and error estimates for nonlinear Schrodinger equations with a potentialRémi Carles (IRMAR)Comments: An inconsistency in the assumption on the nonlinearity in Th. 1.6 was fixedSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Numerical Analysis (math.NA)
We consider the nonlinear Schr{ö}dinger equation with a potential, also known as Gross-Pitaevskii equation. By introducing a suitable spectral localization, we prove low regularity error estimates for the time discretization corresponding to an adapted Lie-Trotter splitting scheme. The proof is based on tools from spectral theory and pseudodifferential calculus in order to obtain various estimates on the spectral localization, including discrete Strichartz estimates which support the nonlinear analysis.
- [221] arXiv:2408.15111 (replaced) [pdf, html, other]
-
Title: Counting pattern-avoiding permutations by big descentsComments: 36 pagesSubjects: Combinatorics (math.CO)
A descent $k$ of a permutation $\pi=\pi_{1}\pi_{2}\dots\pi_{n}$ is called a big descent if $\pi_{k}>\pi_{k+1}+1$; denote the number of big descents of $\pi$ by $\operatorname{bdes}(\pi)$. We study the distribution of the $\operatorname{bdes}$ statistic over permutations avoiding prescribed sets of length-three patterns. Specifically, we classify all pattern sets $\Pi\subseteq\mathfrak{S}_{3}$ of size 1 and 2 into $\operatorname{bdes}$-Wilf equivalence classes, and we derive a formula for the distribution of big descents for each of these classes. Our methods include generating function techniques along with various bijections involving objects such as Dyck paths and binary words. Several future directions of research are proposed, including conjectures concerning real-rootedness, log-concavity, and Schur positivity.
- [222] arXiv:2408.16105 (replaced) [pdf, html, other]
-
Title: SAV-based entropy-dissipative schemes for a class of kinetic equationsComments: 20 pages, 6 figuresSubjects: Numerical Analysis (math.NA)
We introduce novel entropy-dissipative numerical schemes for a class of kinetic equations, leveraging the recently introduced scalar auxiliary variable (SAV) approach. Both first and second order schemes are constructed. Since the positivity of the solution is closely related to entropy, we also propose positivity-preserving versions of these schemes to ensure robustness, which include a scheme specially designed for the Boltzmann equation and a more general scheme using Lagrange multipliers. The accuracy and provable entropy-dissipation properties of the proposed schemes are validated for both the Boltzmann equation and the Landau equation through extensive numerical examples.
- [223] arXiv:2408.16335 (replaced) [pdf, html, other]
-
Title: A Connection Between Unbordered Partial Words and Sparse RulersSubjects: Combinatorics (math.CO); Formal Languages and Automata Theory (cs.FL)
$\textit{Partial words}$ are words that contain, in addition to letters, special symbols $\diamondsuit$ called $\textit{holes}$. Two partial words of $a=a_0 \dots a_n$ and $b=b_0 \dots b_n$ are $\textit{compatible}$ if for all $i$, $a_i = b_i$ or at least one of $a_i, b_i$ is a hole. A partial word is $\textit{unbordered}$ if it does not have a nonempty proper prefix and a suffix that are compatible. Otherwise the partial word is $\textit{bordered}$.
A set $R \subseteq \{0, \dots, n\}$ is called a $\textit{complete sparse ruler of length $n$}$ if for all $k \in \{0, \dots, n\}$ there exists $r, s \in R$ such that $k = r - s$. These are also known as $\textit{restricted difference bases}$.
From the definitions it follows that the more holes a partial word has, the more likely it is to be bordered. By introducing a connection between unbordered partial words and sparse rulers, we improve bounds on the maximum number of holes an unbordered partial word can have over alphabets of sizes $4$ or greater. We also provide a counterexample for a previously reported theorem.
We then study a two-dimensional generalization of these results. We adapt methods from one-dimensional case to solve the correct asymptotic for the number of holes an unbordered two-dimensional binary partial word can have. This generalization might invoke further research questions. - [224] arXiv:2408.16372 (replaced) [pdf, html, other]
-
Title: Equivalence of the sharp effectiveness results of strong openness propertyComments: 10 pages. All comments are welcome!Subjects: Complex Variables (math.CV)
In this paper, we show the equivalence of the sharp effectiveness results of the strong openness property of multiplier ideal sheaves obtained in \cite{BG1} using $\xi-$Bergman kernels and in \cite{Guan19} using minimal $L^2$ integrals.
- [225] arXiv:2408.16409 (replaced) [pdf, html, other]
-
Title: No Infinite Spin for Partial Collisions converging to isolated CC on the planeSubjects: Dynamical Systems (math.DS); Classical Analysis and ODEs (math.CA)
The infinite spin problem is a problem concerning the rotational behavior of total collision orbits in the $n$-body problem. The question also makes sense for partial collision. When a~cluster of bodies tends to a (partial) collision, then its normalized shape curve tends to the set of normalized central configurations, which in the planar case has $SO(2)$ symmetry. This leaves a possibility that the normalized shape curve tends to the circle obtained by rotation of some central configuration instead of a particular point on it. This is the \emph{infinite spin problem}. We show that it is not possible if the limiting circle is isolated from other connected components of the set of normalized central configuration. Our approach extends the method from recent work for total collision by Moeckel and Montgomery, which was based on a combination of the center manifold theorem with Łojasiewicz inequality. To that we add a shadowing result for pseudo-orbits near normally hyperbolic manifold and careful estimates on the influence of other bodies on the cluster of colliding bodies.
- [226] arXiv:2408.16483 (replaced) [pdf, html, other]
-
Title: A Novel Interpolation-Based Method for Solving the One-Dimensional Wave Equation on a Domain with a Moving BoundaryMichiel Lassuyt, Emma Vancayseele, Wouter Deleersnyder, David Dudal, Sebbe Stouten, Koen Van Den AbeeleComments: 18 pagesSubjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)
We revisit the problem of solving the one-dimensional wave equation on a domain with moving boundary. In J.Math.Phys.11, 2679 (1970), Moore introduced an interesting method to do so. As only in rare cases, a closed analytical solution is possible, one must turn to perturbative expansions of Moore's method. We investigate the then made minimal assumption for convergence of the perturbation series, namely that the boundary position should be an analytic function of time. Though, we prove here that the latter requirement is not a sufficient condition for Moore's method to converge. We then introduce a novel numerical approach based on interpolation which also works for fast boundary dynamics. In comparison with other state-of-the-art numerical methods, our method offers greater speed if the wave solution needs to be evaluated at many points in time or space, whilst preserving accuracy. We discuss two variants of our method, either based on a conformal coordinate transformation or on the method of characteristics, together with interpolation.
- [227] arXiv:2408.16560 (replaced) [pdf, html, other]
-
Title: Vanishing of the quantum reduction of the Deligne exceptional series representations of negative integer levelSubjects: Representation Theory (math.RT)
In this paper we show that, for the Deligne exceptional series representations of negative integer level of affine Lie algebras, the quantum Hamiltonian reduction vanishes except for the cases where the nilpotent element is conjugate to $e_{-\theta}$ or $e_{-\theta_s}$.
- [228] arXiv:2009.07799 (replaced) [pdf, html, other]
-
Title: On the Curse of Memory in Recurrent Neural Networks: Approximation and Optimization AnalysisComments: Updated to include the condition $\sup_n \| \boldsymbol{x}(n) \|_{\mathcal{X}} \leq 1$ in the definition of regularity, which excludes the trivial case where only the zero functional is regular. Fixed various typos and improved claritySubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
We study the approximation properties and optimization dynamics of recurrent neural networks (RNNs) when applied to learn input-output relationships in temporal data. We consider the simple but representative setting of using continuous-time linear RNNs to learn from data generated by linear relationships. Mathematically, the latter can be understood as a sequence of linear functionals. We prove a universal approximation theorem of such linear functionals, and characterize the approximation rate and its relation with memory. Moreover, we perform a fine-grained dynamical analysis of training linear RNNs, which further reveal the intricate interactions between memory and learning. A unifying theme uncovered is the non-trivial effect of memory, a notion that can be made precise in our framework, on approximation and optimization: when there is long term memory in the target, it takes a large number of neurons to approximate it. Moreover, the training process will suffer from slow downs. In particular, both of these effects become exponentially more pronounced with memory - a phenomenon we call the "curse of memory". These analyses represent a basic step towards a concrete mathematical understanding of new phenomenon that may arise in learning temporal relationships using recurrent architectures.
- [229] arXiv:2203.05496 (replaced) [pdf, html, other]
-
Title: A Universal Triangulation for Flat ToriComments: 37 pages, 29 figures. Revised construction of a universal triangulation leading to smaller number of trianglesSubjects: Computational Geometry (cs.CG); Geometric Topology (math.GT); Metric Geometry (math.MG)
A result due to Burago and Zalgaller (1960, 1995) states that every orientable polyhedral surface, one that is obtained by gluing Euclidean polygons, has an isometric piecewise linear (PL) embedding into Euclidean space $\mathbb{E}^3$. A flat torus, resulting from the identification of the opposite sides of a Euclidean parallelogram, is a simple example of polyhedral surface. In a first part, we adapt the proof of Burago and Zalgaller, which is partially non-constructive, to produce PL isometric embeddings of flat tori. Our implementation produces embeddings with a huge number of vertices, moreover distinct for every flat torus. In a second part, based on another construction of Zalgaller (2000) and on recent works by Arnoux et al. (2021), we exhibit a universal triangulation with 2434 triangles which can be embedded linearly on each triangle in order to realize the metric of any flat torus.
- [230] arXiv:2206.13166 (replaced) [pdf, html, other]
-
Title: Beam-align: distributed user association for mmWave networks with multi-connectivityComments: 13 pages, 8 figuresSubjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
Since the spectrum below 6 GHz bands is insufficient to meet the high bandwidth requirements of 5G use cases, 5G networks expand their operation to mmWave bands. However, operation at these bands has to cope with a high penetration loss and susceptibility to blocking objects. Beamforming and multi-connectivity (MC) can together mitigate these challenges. But, to design such an optimal user association scheme leveraging these two features is non-trivial and computationally expensive. Previous studies either considered a fixed MC degree for all users or overlooked beamforming. Driven by the question what is the optimal degree of MC for each user in a mmWave network, we formulate a user association scheme that maximizes throughput considering beam formation and MC. Our numerical analysis shows that there is no one-size-fits-all degree of optimal MC; it depends on the number of users, their rate requirements, locations, and the maximum number of active beams at a BS.Based on the optimal association, we design BEAM-ALIGN: an efficient heuristic with polynomial-time complexity O(|U|log|U|), where |U| is the number of users. Moreover, BEAM-ALIGN only uses local BS information - i.e. the received signal quality at the user. Differing from prior works, BEAM-ALIGN considers beamforming, multiconnectivity and line-of-sight probability. Via simulations, we show that BEAM-ALIGN performs close to optimal in terms of per-user capacity and satisfaction while it outperforms frequently-used signal-to-interference-and-noise-ratio based association schemes. We then show that BEAM-ALIGN has a robust performance under various challenging scenarios: the presence of blockers, rain, and clustered users.
- [231] arXiv:2207.09102 (replaced) [pdf, html, other]
-
Title: Complexity of High-Dimensional Identity Testing with Coordinate Conditional SamplingSubjects: Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG); Probability (math.PR); Statistics Theory (math.ST)
We study the identity testing problem for high-dimensional distributions. Given as input an explicit distribution $\mu$, an $\varepsilon>0$, and access to sampling oracle(s) for a hidden distribution $\pi$, the goal in identity testing is to distinguish whether the two distributions $\mu$ and $\pi$ are identical or are at least $\varepsilon$-far apart. When there is only access to full samples from the hidden distribution $\pi$, it is known that exponentially many samples (in the dimension) may be needed for identity testing, and hence previous works have studied identity testing with additional access to various "conditional" sampling oracles. We consider a significantly weaker conditional sampling oracle, which we call the $\mathsf{Coordinate\ Oracle}$, and provide a computational and statistical characterization of the identity testing problem in this new model.
We prove that if an analytic property known as approximate tensorization of entropy holds for an $n$-dimensional visible distribution $\mu$, then there is an efficient identity testing algorithm for any hidden distribution $\pi$ using $\tilde{O}(n/\varepsilon)$ queries to the $\mathsf{Coordinate\ Oracle}$. Approximate tensorization of entropy is a pertinent condition as recent works have established it for a large class of high-dimensional distributions. We also prove a computational phase transition: for a well-studied class of $n$-dimensional distributions, specifically sparse antiferromagnetic Ising models over $\{+1,-1\}^n$, we show that in the regime where approximate tensorization of entropy fails, there is no efficient identity testing algorithm unless $\mathsf{RP}=\mathsf{NP}$. We complement our results with a matching $\Omega(n/\varepsilon)$ statistical lower bound for the sample complexity of identity testing in the $\mathsf{Coordinate\ Oracle}$ model. - [232] arXiv:2301.04827 (replaced) [pdf, html, other]
-
Title: 5-D thermal field theory, Einstein field equations and spontaneous symmetry breakingComments: 11 pages, 2 figures. Published in Classical and Quantum Gravity. This is the accepted versionJournal-ref: Classical and Quantum Gravity, Vol 40, No. 4, 045008 (2023)Subjects: High Energy Physics - Theory (hep-th); Other Condensed Matter (cond-mat.other); General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Phenomenology (hep-ph); Mathematical Physics (math-ph)
It has been shown previously, that the spatial thermal variation of a thermal medium can be recast as a variation in the Euclidean metric. It is now extended to temporal variations in temperature, for a non-relativistic thermal bath, which remains in local thermal equilibrium. This is achieved by examining the thermal field theory in a five-dimensional space-time-temperature. The bulk thermodynamic quantity, namely the energy density, is calculated for a neutral scalar field with a time-dependent Hamiltonian. Furthermore, the concept of recasting thermal variations as a variation in the metric is extended to thermal systems in a gravitational field. The Einstein field equations, in the 5-D space-time-temperature, is determined. It is shown that the resulting Ricci scalar can lead to spontaneous symmetry breaking, leading to the Higgs mechanism. In essence, the asymmetry in the distribution of temperature in space-time can translate to spontaneous symmetry breaking of particle fields, in a very strong gravitational field.
- [233] arXiv:2310.17003 (replaced) [pdf, html, other]
-
Title: T(w)o patch or not t(w)o patch: A novel additional food modelComments: 35 figures, 48 pagesSubjects: Populations and Evolution (q-bio.PE); Dynamical Systems (math.DS)
A number of top down bio-control models have been proposed where the introduced predators' efficacy is enhanced via the provision of additional food (AF). However, if the predator has a pest dependent monotone functional response, pest extinction is unattainable. In the current manuscript, we propose a model where a predator with pest dependent monotone functional response is introduced into a ``patch" such as a prairie strip with AF, and then disperses or drifts into a neighboring ``patch" such as a crop field, to target a pest. We show the pest extinction state is attainable in the crop field and can be globally attracting.
The AF model with patch structure can eliminate predator explosion present therein and can keep pest densities lower than the classical top-down bio-control model. We provide the first proof of the global stability of the interior equilibrium for the classical AF model.
We also observe ``patch-specific chaos" - the pest occupying the crop field can oscillate chaotically, while the pest in the prairie strip oscillates periodically. We discuss these results in light of bio-control strategies that utilize state-of-the-art farming practices such as prairie strips and drift and dispersal pressures driven by climate change. - [234] arXiv:2402.01951 (replaced) [pdf, html, other]
-
Title: Sparse spanning portfolios and under-diversification with second-order stochastic dominanceSubjects: Econometrics (econ.EM); Statistics Theory (math.ST); Computational Finance (q-fin.CP); Portfolio Management (q-fin.PM); Statistical Finance (q-fin.ST)
We develop and implement methods for determining whether relaxing sparsity constraints on portfolios improves the investment opportunity set for risk-averse investors. We formulate a new estimation procedure for sparse second-order stochastic spanning based on a greedy algorithm and Linear Programming. We show the optimal recovery of the sparse solution asymptotically whether spanning holds or not. From large equity datasets, we estimate the expected utility loss due to possible under-diversification, and find that there is no benefit from expanding a sparse opportunity set beyond 45 assets. The optimal sparse portfolio invests in 10 industry sectors and cuts tail risk when compared to a sparse mean-variance portfolio. On a rolling-window basis, the number of assets shrinks to 25 assets in crisis periods, while standard factor models cannot explain the performance of the sparse portfolios.
- [235] arXiv:2404.09215 (replaced) [pdf, html, other]
-
Title: Optimum Beamforming and Grating Lobe Mitigation for Intelligent Reflecting SurfacesComments: 12 pages, 16 figuresSubjects: Signal Processing (eess.SP); Optimization and Control (math.OC)
Ensuring adequate wireless coverage in upcoming communication technologies such as 6G is expected to be challenging. This is because user demands of higher datarate require an increase in carrier frequencies, which in turn reduce the diffraction effects (and hence coverage) in complex multipath environments. Intelligent reflecting surfaces have been proposed as a way of restoring coverage by adaptively reflecting incoming electromagnetic waves in desired directions. This is accomplished by judiciously adding extra phases at different points on the surface. In practice, these extra phases are only available in discrete quantities due to hardware constraints. Computing these extra phases is computationally challenging when they can only be picked from a discrete distribution, and existing approaches for solving this problem were either heuristic or based on evolutionary algorithms. We solve this problem by proposing fast algorithms with provably optimal solutions. Our algorithms have linear complexity, and are presented with rigorous proofs for their optimality. We show that the proposed algorithms exhibit better performance. We analyze situations when unwanted grating lobes arise in the radiation pattern, and discuss mitigation strategies, such as the use of triangular lattices and prephasing techniques, to eliminate them. We also demonstrate how our algorithms can leverage these techniques to deliver optimum beamforming solutions.
- [236] arXiv:2406.07224 (replaced) [pdf, html, other]
-
Title: Differentiability and Optimization of Multiparameter Persistent HomologyComments: 13 pages + 13 page appendix, 8 figures. v2: update references and fix typosJournal-ref: Proceedings of the 41st International Conference on Machine Learning, PMLR 235:43986-44011, 2024Subjects: Computational Geometry (cs.CG); Algebraic Topology (math.AT); Optimization and Control (math.OC)
Real-valued functions on geometric data -- such as node attributes on a graph -- can be optimized using descriptors from persistent homology, allowing the user to incorporate topological terms in the loss function. When optimizing a single real-valued function (the one-parameter setting), there is a canonical choice of descriptor for persistent homology: the barcode. The operation mapping a real-valued function to its barcode is differentiable almost everywhere, and the convergence of gradient descent for losses using barcodes is relatively well understood. When optimizing a vector-valued function (the multiparameter setting), there is no unique choice of descriptor for multiparameter persistent homology, and many distinct descriptors have been proposed. This calls for the development of a general framework for differentiability and optimization that applies to a wide range of multiparameter homological descriptors. In this article, we develop such a framework and show that it encompasses well-known descriptors of different flavors, such as signed barcodes and the multiparameter persistence landscape. We complement the theory with numerical experiments supporting the idea that optimizing multiparameter homological descriptors can lead to improved performances compared to optimizing one-parameter descriptors, even when using the simplest and most efficiently computable multiparameter descriptors.
- [237] arXiv:2406.17585 (replaced) [pdf, html, other]
-
Title: Learning Dynamic Bayesian Networks from Data: Foundations, First Principles and Numerical ComparisonsSubjects: Machine Learning (cs.LG); Statistics Theory (math.ST)
In this paper, we present a guide to the foundations of learning Dynamic Bayesian Networks (DBNs) from data in the form of multiple samples of trajectories for some length of time. We present the formalism for a generic as well as a set of common types of DBNs for particular variable distributions. We present the analytical form of the models, with a comprehensive discussion on the interdependence between structure and weights in a DBN model and their implications for learning. Next, we give a broad overview of learning methods and describe and categorize them based on the most important statistical features, and how they treat the interplay between learning structure and weights. We give the analytical form of the likelihood and Bayesian score functions, emphasizing the distinction from the static case. We discuss functions used in optimization to enforce structural requirements. We briefly discuss more complex extensions and representations. Finally we present a set of comparisons in different settings for various distinct but representative algorithms across the variants.
- [238] arXiv:2407.03139 (replaced) [pdf, other]
-
Title: Is the Born rule a result of measurement noise?Comments: major revision of draft work in progress: Better description of hypotheses and new notions; better discussion of measurement eigenstates; discuss simpler N=2 probabilities first, followed by N>2 discussion, rather than combining as in the previous draftSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
The Born rule asserts the probability distribution of eigenstates observed in unbiased quantum measurements, but the reason it holds remains elusive. This manuscript discusses how the Born rule might be explained by Schrodinger equation dynamics, if a measurement comprises a system responding to random fluctuations until it is within an arbitrarily small tolerance of a measurement eigenstate. We describe the random walk dynamics that produce this behavior in terms of a class of time-dependent, stochastic unitary matrices U(t). We also discuss the class of stochastic potential energies in the Schrodinger equation that is equivalent to this class of unitary matrices.
This analysis raises some questions worth considering, including how to determine if any measurements actually follow the predicted random walk mechanism and whether a reliable measurement apparatus could be designed that deviates from Born rule probabilities. Interestingly, if any measurements do follow this random walk mechanism, then exposing a quantum system to stochastic 'noise' is an intrinsic part of such a measurement, not merely an unwanted side effect. This characteristic would have implications for reducing noise in quantum sensing and quantum computing.
This is a draft of a work in progress. Questions and suggestions are welcome. - [239] arXiv:2407.11024 (replaced) [pdf, html, other]
-
Title: A mathematical framework of intelligence and consciousness based on Riemannian GeometrySubjects: Artificial Intelligence (cs.AI); Differential Geometry (math.DG)
Understanding intelligence is a central pursuit in neuroscience, cognitive science, and artificial intelligence. Intelligence encompasses learning, problem-solving, creativity, and even consciousness. Recent advancements in geometric analysis have revealed new insights into high-dimensional information representation and organisation, exposing intrinsic data structures and dynamic processes within neural and artificial systems. However, a comprehensive framework that unifies the static and dynamic aspects of intelligence is still lacking. This manuscript proposes a mathematical framework based on Riemannian geometry to describe the structure and dynamics of intelligence and consciousness. Intelligence elements are conceptualised as tokens embedded in a high-dimensional space. The learned token embeddings capture the interconnections of tokens across various scenarios and tasks, forming manifolds in the intelligence space. Thought flow is depicted as the sequential activation of tokens along geodesics within these manifolds. During the navigation of geodesics, consciousness, as a self-referential process, perceives the thought flow, evaluates it against predictions, and provides feedback through prediction errors, adjusting the geodesic: non-zero prediction errors, such as learning, lead to the restructuring of the curved manifolds, thus changing the geodesic of thought flow. This dynamic interaction integrates new information, evolves the geometry and facilitates learning. The geometry of intelligence guides consciousness, and consciousness structures the geometry of intelligence. By integrating geometric concepts, this proposed theory offers a unified, mathematically framework for describing the structure and dynamics of intelligence and consciousness. Applicable to biological and artificial intelligence, this framework may pave the way for future research and empirical validation.
- [240] arXiv:2408.08486 (replaced) [pdf, html, other]
-
Title: Accelerating Spectral Clustering on Quantum and Analog PlatformsSubjects: Data Structures and Algorithms (cs.DS); Dynamical Systems (math.DS); Spectral Theory (math.SP)
We introduce a novel hybrid quantum-analog algorithm to perform graph clustering that exploits connections between the evolution of dynamical systems on graphs and the underlying graph spectra. This approach constitutes a new class of algorithms that combine emerging quantum and analog platforms to accelerate computations. Our hybrid algorithm is equivalent to spectral clustering and has a computational complexity of $O(N)$, where $N$ is the number of nodes in the graph, compared to $O(N^3)$ scaling on classical computing platforms. The proposed method employs the dynamic mode decomposition (DMD) framework on the data generated by Schrödinger dynamics that evolves on the manifold induced by the graph Laplacian. In particular, we prove and demonstrate that one can extract the eigenvalues and scaled eigenvectors of the normalized graph Laplacian by evolving Schrödinger dynamics on quantum computers followed by DMD computations on analog devices.
- [241] arXiv:2408.10965 (replaced) [pdf, html, other]
-
Title: Monte Carlo Physics-informed neural networks for multiscale heat conduction via phonon Boltzmann transport equationQingyi Lin (1), Chuang Zhang (2), Xuhui Meng (1), Zhaoli Guo (1) ((1) Institute of Interdisciplinary Research for Mathematics and Applied Science, School of Mathematics and Statistics, Huazhong University of Science and Technology, Wuhan, China, (2) Department of Physics, School of Sciences, Hangzhou Dianzi University, Hangzhou, China)Subjects: Computational Physics (physics.comp-ph); Analysis of PDEs (math.AP)
The phonon Boltzmann transport equation (BTE) is widely used for describing multiscale heat conduction (from nm to $\mu$m or mm) in solid materials. Developing numerical approaches to solve this equation is challenging since it is a 7-dimensional integral-differential equation. In this work, we propose Monte Carlo physics-informed neural networks (MC-PINNs), which do not suffer from the "curse of dimensionality", to solve the phonon BTE to model the multiscale heat conduction in solid materials. MC-PINNs use a deep neural network to approximate the solution to the BTE, and encode the BTE as well as the corresponding boundary/initial conditions using the automatic differentiation. In addition, we propose a novel two-step sampling approach to address inefficiency and inaccuracy issues in the widely used sampling methods in PINNs. In particular, we first randomly sample a certain number of points in the temporal-spatial space (Step I), and then draw another number of points randomly in the solid angular space (Step II). The training points are constructed using the tensor product of the data drawn from the above two steps. The two-step sampling strategy enables MC-PINNs (1) to model the heat conduction from ballistic to diffusive regimes, and (2) is more memory-efficient compared to conventional numerical solvers or existing PINNs for BTE. A series of numerical examples including quasi-one-dimensional (quasi-1D) steady/unsteady heat conduction in a film, and the heat conduction in a quasi-two- and three-dimensional square domain, are conducted to justify the effectiveness of the MC-PINN for heat conduction spanning diffusive and ballistic regimes. Finally, we compare the computational time and memory usage of the MC-PINN and a state-of-art numerical methods to demonstrate the potential of the MC-PINN for large scale problems in real-world applications.
- [242] arXiv:2408.15711 (replaced) [pdf, html, other]
-
Title: Quantum tunneling in a quintessence background and the role of GUPComments: 18 pages, 5 figures, 1 table. Updated references. Submitted for publicationSubjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
In this paper we studied quantum tunneling of massless and massive particles pertaining to a Schwarzschild black hole in a quintessence background, and explored the consequences emerging from a generalized uncertainty principle (GUP). For the quintessence scenario, we considered two specific cases of $w$, which is the ratio of the pressure and energy density, namely $w=-1/3$ and $w=-2/3$. For the GUP, we used a modified Schwarzschild metric and employed a unique choice of contour integration to compute the tunneling amplitudes. An analysis and comparative study of the respective temperature profiles have been made.