https://papers.cool/arxiv/mathMathematics2024-08-15T00:00:00+00:00python-feedgenCool Papers - Immersive Paper Discoveryhttps://papers.cool/arxiv/2408.07086Quantum algorithms for optimizers2024-08-15T00:00:00+00:00Giacomo NanniciniThis is a set of lecture notes for a Ph.D.-level course on quantum algorithms, with an emphasis on quantum optimization algorithms. It is developed for applied mathematicians and engineers, and requires no previous background in quantum mechanics. The main topics of this course, in addition to a rigorous introduction to the computational model, are: input/output models, quantum search, the quantum gradient algorithm, matrix manipulation algorithms, the matrix multiplicative weights update framework for semidefinite optimization, adiabatic optimization.https://papers.cool/arxiv/2408.07090Persistence kernels for classification: A comparative study2024-08-15T00:00:00+00:00Cinzia BandiziolStefano De MarchiThe aim of the present work is a comparative study of different persistence kernels applied to various classification problems. After some necessary preliminaries on homology and persistence diagrams, we introduce five different kernels that are then used to compare their performances of classification on various datasets. We also provide the Python codes for the reproducibility of results.https://papers.cool/arxiv/2408.07117Equivalence Relations on Vertex Operator Algebras, I: Genus2024-08-15T00:00:00+00:00Sven MöllerBrandon C. RayhaunIn this first of a series of two papers, we investigate two different equivalence relations obtained by generalizing the notion of genus of even lattices to the setting of vertex operator algebras (or two-dimensional chiral algebras). The bulk genus equivalence relation was defined in arXiv:math/0209333 and groups (suitably regular) vertex operator algebras according to their modular tensor category and central charge. Hyperbolic genus arXiv:2004.01441 tests isomorphy after tensoring with a hyperbolic plane vertex algebra. Physically, two rational chiral algebras are said to belong to the same bulk genus if they live on the boundary of the same 2+1d topological quantum field theory; they belong to the same hyperbolic genus if they can be related by current-current exactly marginal deformations after tensoring a non-chiral compact boson. As one main result, we prove the conjecture that the hyperbolic genus defines a finer equivalence relation than the bulk genus. This is based on a new, equivalent characterization of the hyperbolic genus that uses the maximal lattice inside a vertex operator algebra and its commutant (or coset). We discuss the implications of these constructions for the classification of rational conformal field theory. In particular, we propose a program for (partially) classifying $c=32$, holomorphic vertex operator algebras (or chiral conformal field theories), and obtain novel lower bounds, via a generalization of the Smith-Minkowski-Siegel mass formula, on the number of vertex operator algebras at higher central charges. Finally, we conjecture a Siegel-Weil identity which computes the "average" torus partition function of an ensemble of chiral conformal field theories defined by any hyperbolic genus, and interpret this formula physically in terms of disorder-averaged holography.https://papers.cool/arxiv/2408.07118Efficient Multiparty Entanglement Distribution with DODAG-X Protocol2024-08-15T00:00:00+00:00Roberto NegrinNicolas DirneggerWilliam MunizziJugal TalukdarPrineha NarangIn this work we introduce the DODAG-X protocol for multipartite entanglement distribution in quantum networks. Leveraging the power of Destination Oriented Directed Acyclic Graphs (DODAGs), our protocol optimizes resource consumption and enhances robustness to noise in dynamic and lossy networks. Implementing a variation on the X-protocol within the DODAG, we minimize graph verification and path-finding calculations, significantly reducing computational overhead when compared to other entanglement routing schemes. Additionally, our benchmarks on grid lattice and small-world topologies reveal substantial measurement reduction compared to existing protocols. We demonstrate the success of DODAG-X for generating maximal three-party entanglement in arbitrary networks, and describe the potential for scaling to generic $n$-party entanglement. The DODAG-X protocol provides a scalable and efficient solution for entanglement routing, advancing current techniques for reliable quantum communication and network applications.https://papers.cool/arxiv/2408.07192Solving Truly Massive Budgeted Monotonic POMDPs with Oracle-Guided Meta-Reinforcement Learning2024-08-15T00:00:00+00:00Manav VoraMichael N GrussingMelkior OrnikMonotonic Partially Observable Markov Decision Processes (POMDPs), where the system state progressively decreases until a restorative action is performed, can be used to model sequential repair problems effectively. This paper considers the problem of solving budget-constrained multi-component monotonic POMDPs, where a finite budget limits the maximal number of restorative actions. For a large number of components, solving such a POMDP using current methods is computationally intractable due to the exponential growth in the state space with an increasing number of components. To address this challenge, we propose a two-step approach. Since the individual components of a budget-constrained multi-component monotonic POMDP are only connected via the shared budget, we first approximate the optimal budget allocation among these components using an approximation of each component POMDP's optimal value function which is obtained through a random forest model. Subsequently, we introduce an oracle-guided meta-trained Proximal Policy Optimization (PPO) algorithm to solve each of the independent budget-constrained single-component monotonic POMDPs. The oracle policy is obtained by performing value iteration on the corresponding monotonic Markov Decision Process (MDP). This two-step method provides scalability in solving truly massive multi-component monotonic POMDPs. To demonstrate the efficacy of our approach, we consider a real-world maintenance scenario that involves inspection and repair of an administrative building by a team of agents within a maintenance budget. Finally, we perform a computational complexity analysis for a varying number of components to show the scalability of the proposed approach.https://papers.cool/arxiv/2408.07203Failure of the Crystalline Equivalence Principle for Weak Free Fermions2024-08-15T00:00:00+00:00Daniel SheinbaumOmar Antolín-CamarenaInteracting crystalline SPT phases were first classified by Thorngren and Else through the crystalline equivalence principle, suggesting that a spatial group symmetry can be treated as if it were an internal symmetry group. Using techniques from topology we elucidate how this principle holds for one of the proposals for the interacting bosonic case and yet fails for weak free fermion phases. Last we show how a variant of the principle does hold for strong crystalline free fermion phases.https://papers.cool/arxiv/2408.07243Leveraging Perceptual Scores for Dataset Pruning in Computer Vision Tasks2024-08-15T00:00:00+00:00Raghavendra SinghIn this paper we propose a score of an image to use for coreset selection in image classification and semantic segmentation tasks. The score is the entropy of an image as approximated by the bits-per-pixel of its compressed version. Thus the score is intrinsic to an image and does not require supervision or training. It is very simple to compute and readily available as all images are stored in a compressed format. The motivation behind our choice of score is that most other scores proposed in literature are expensive to compute. More importantly, we want a score that captures the perceptual complexity of an image. Entropy is one such measure, images with clutter tend to have a higher entropy. However sampling only low entropy iconic images, for example, leads to biased learning and an overall decrease in test performance with current deep learning models. To mitigate the bias we use a graph based method that increases the spatial diversity of the selected samples. We show that this simple score yields good results, particularly for semantic segmentation tasks.https://papers.cool/arxiv/2408.07283Queries With Exact Truth Values in Paraconsistent Description Logics2024-08-15T00:00:00+00:00Meghyn BienvenuCamille BourgauxDaniil KozhemiachenkoWe present a novel approach to querying classical inconsistent description logic (DL) knowledge bases by adopting a~paraconsistent semantics with the four Belnapian values: exactly true ($\mathbf{T}$), exactly false ($\mathbf{F}$), both ($\mathbf{B}$), and neither ($\mathbf{N}$). In contrast to prior studies on paraconsistent DLs, we allow truth value operators in the query language, which can be used to differentiate between answers having contradictory evidence and those having only positive evidence. We present a reduction to classical DL query answering that allows us to pinpoint the precise combined and data complexity of answering queries with values in paraconsistent $\mathcal{ALCHI}$ and its sublogics. Notably, we show that tractable data complexity is retained for Horn DLs. We present a comparison with repair-based inconsistency-tolerant semantics, showing that the two approaches are incomparable.https://papers.cool/arxiv/2408.07287Abductive Reasoning in a Paraconsistent Framework2024-08-15T00:00:00+00:00Meghyn BienvenuKatsumi InoueDaniil KozhemiachenkoWe explore the problem of explaining observations starting from a classically inconsistent theory by adopting a paraconsistent framework. We consider two expansions of the well-known Belnap--Dunn paraconsistent four-valued logic $\mathsf{BD}$: $\mathsf{BD}_\circ$ introduces formulas of the form $\circ\phi$ (the information on $\phi$ is reliable), while $\mathsf{BD}_\triangle$ augments the language with $\triangle\phi$'s (there is information that $\phi$ is true). We define and motivate the notions of abduction problems and explanations in $\mathsf{BD}_\circ$ and $\mathsf{BD}_\triangle$ and show that they are not reducible to one another. We analyse the complexity of standard abductive reasoning tasks (solution recognition, solution existence, and relevance / necessity of hypotheses) in both logics. Finally, we show how to reduce abduction in $\mathsf{BD}_\circ$ and $\mathsf{BD}_\triangle$ to abduction in classical propositional logic, thereby enabling the reuse of existing abductive reasoning procedures.https://papers.cool/arxiv/2408.07307Nonlocal Attention Operator: Materializing Hidden Knowledge Towards Interpretable Physics Discovery2024-08-15T00:00:00+00:00Yue YuNing LiuFei LuTian GaoSiavash JafarzadehStewart SillingDespite the recent popularity of attention-based neural architectures in core AI fields like natural language processing (NLP) and computer vision (CV), their potential in modeling complex physical systems remains under-explored. Learning problems in physical systems are often characterized as discovering operators that map between function spaces based on a few instances of function pairs. This task frequently presents a severely ill-posed PDE inverse problem. In this work, we propose a novel neural operator architecture based on the attention mechanism, which we coin Nonlocal Attention Operator (NAO), and explore its capability towards developing a foundation physical model. In particular, we show that the attention mechanism is equivalent to a double integral operator that enables nonlocal interactions among spatial tokens, with a data-dependent kernel characterizing the inverse mapping from data to the hidden parameter field of the underlying operator. As such, the attention mechanism extracts global prior information from training data generated by multiple systems, and suggests the exploratory space in the form of a nonlinear kernel map. Consequently, NAO can address ill-posedness and rank deficiency in inverse PDE problems by encoding regularization and achieving generalizability. We empirically demonstrate the advantages of NAO over baseline neural models in terms of generalizability to unseen data resolutions and system states. Our work not only suggests a novel neural operator architecture for learning interpretable foundation models of physical systems, but also offers a new perspective towards understanding the attention mechanism.https://papers.cool/arxiv/2408.07379Posterior Covariance Structures in Gaussian Processes2024-08-15T00:00:00+00:00Difeng CaiEdmond ChowYuanzhe XiIn this paper, we present a comprehensive analysis of the posterior covariance field in Gaussian processes, with applications to the posterior covariance matrix. The analysis is based on the Gaussian prior covariance but the approach also applies to other covariance kernels. Our geometric analysis reveals how the Gaussian kernel's bandwidth parameter and the spatial distribution of the observations influence the posterior covariance as well as the corresponding covariance matrix, enabling straightforward identification of areas with high or low covariance in magnitude. Drawing inspiration from the a posteriori error estimation techniques in adaptive finite element methods, we also propose several estimators to efficiently measure the absolute posterior covariance field, which can be used for efficient covariance matrix approximation and preconditioning. We conduct a wide range of experiments to illustrate our theoretical findings and their practical applications.https://papers.cool/arxiv/2408.07391Matrix models for extremal and integrated correlators of higher rank2024-08-15T00:00:00+00:00Alba GrassiCristoforo IossaWe study extremal and integrated correlators of half-BPS operators in four-dimensional $\mathcal{N}=2$ SQCD and $\mathcal{N}=4$ SYM with $SU(3)$ gauge group. We focus on the large R-charge sector where the number of operators insertions becomes very large. In this regime, we demonstrate that the correlators are described by a combination of Wishart and Jacobi matrix models, coupled in a non-trivial way. The size of the matrices in each model corresponds to the maximal number of insertions for each of the two single trace generators. This dual matrix model representation allows us to extract the behavior of the correlators at weak and strong coupling in a 't Hooft-like double scaling limit, including nonperturbative corrections. Although this work focuses on $SU(3)$, we expect that our techniques can be extended to $SU(N)$ for $N>3$ as well.https://papers.cool/arxiv/2408.07431Strategies for optimizing double-bracket quantum algorithms2024-08-15T00:00:00+00:00Li XiaoyueMatteo RobbiatiAndrea PasqualeEdoardo PedicilloAndrew WrightStefano CarrazzaMarek GluzaRecently double-bracket quantum algorithms have been proposed as a way to compile circuits for approximating eigenstates. Physically, they consist of appropriately composing evolutions under an input Hamiltonian together with diagonal evolutions. Here, we present strategies to optimize the choice of the double-bracket evolutions to enhance the diagonalization efficiency. This can be done by finding optimal generators and durations of the evolutions. We present numerical results regarding the preparation of double-bracket iterations, both in ideal cases where the algorithm's setup provides analytical convergence guarantees and in more heuristic cases, where we use an adaptive and variational approach to optimize the generators of the evolutions. As an example, we discuss the efficacy of these optimization strategies when considering a spin-chain Hamiltonian as the target. To propose algorithms that can be executed starting today, fully aware of the limitations of the quantum technologies at our disposal, we finally present a selection of diagonal evolution parametrizations that can be directly compiled into CNOTs and single-qubit rotation gates. We discuss the advantages and limitations of this compilation and propose a way to take advantage of this approach when used in synergy with other existing methods.https://papers.cool/arxiv/2408.07565Unstable Limit Cycles Estimation from Small Perturbations: A Model-Free Approach2024-08-15T00:00:00+00:00Giuseppe HabibAlthough stable solutions of dynamical systems are typically considered more important than unstable ones, unstable solutions have a critical role in the dynamical integrity of stable solutions. In fact, usually, basins of attraction boundaries are composed of unstable solutions and their stable manifolds. This study proposes a method for estimating unstable limit cycles surrounding stable equilibrium points. The method exploits the shape of the decrement of trajectories converging towards the equilibrium. For the method, trajectories obtained from small perturbations from the equilibrium state are sufficient to estimate the unstable limit cycle roughly. No mathematical model of the system dynamics is needed for the computation, which requires only a single trajectory in the phase space. As such, the method is computationally very rapid and potentially implementable in real structures.https://papers.cool/arxiv/2408.07568Steady-State Cascade Operators and their Role in Linear Control, Estimation, and Model Reduction Problems2024-08-15T00:00:00+00:00John W. Simpson-PorcoDaniele AstolfiGiordano ScarciottiCertain linear matrix operators arise naturally in systems analysis and design problems involving cascade interconnections of linear time-invariant systems, including problems of stabilization, estimation, and model order reduction. We conduct here a comprehensive study of these operators and their relevant system-theoretic properties. The general theory is then leveraged to delineate both known and new design methodologies for control, estimation, and model reduction. Several entirely new designs arise from this systematic categorization, including new recursive and low-gain design frameworks for observation of cascaded systems. The benefits of the results beyond the linear time-invariant setting are demonstrated through preliminary extensions for nonlinear systems, with an outlook towards the development of a similarly comprehensive nonlinear theory.https://papers.cool/arxiv/2408.07575A General Framework for Constraint-based Causal Learning2024-08-15T00:00:00+00:00Kai Z. TehKayvan SadeghiTerry SooBy representing any constraint-based causal learning algorithm via a placeholder property, we decompose the correctness condition into a part relating the distribution and the true causal graph, and a part that depends solely on the distribution. This provides a general framework to obtain correctness conditions for causal learning, and has the following implications. We provide exact correctness conditions for the PC algorithm, which are then related to correctness conditions of some other existing causal discovery algorithms. We show that the sparsest Markov representation condition is the weakest correctness condition resulting from existing notions of minimality for maximal ancestral graphs and directed acyclic graphs. We also reason that additional knowledge than just Pearl-minimality is necessary for causal learning beyond faithfulness.https://papers.cool/arxiv/2408.07607The MAGIC of Data Management: Understanding the Value and Activities of Data Management2024-08-15T00:00:00+00:00Roman LukyanenkoIn an era dominated by information technology, the critical discipline of data management remains undervalued compared to the innovations it enables, such as artificial intelligence and social media. The ambiguity surrounding what constitutes data management and its associated activities complicates efforts to explain its importance and ensure data are collected, stored and used in a way that maximizes value and avoids failures. This paper aims to address these shortcomings by presenting a simple framework for understanding data management, referred to as MAGIC. MAGIC encompasses five key activities: Modeling, Acquisition, Governance, Infrastructuring, and Consumption support tasks. By delineating these components, the MAGIC framework provides a clear, accessible approach to data management that can be used for teaching, research and practice.https://papers.cool/arxiv/2408.07616Prophet Inequalities: Competing with the Top $\ell$ Items is Easy2024-08-15T00:00:00+00:00Mathieu MolinaNicolas GastPatrick LoiseauVianney PerchetWe explore a novel variant of the classical prophet inequality problem, where the values of a sequence of items are drawn i.i.d. from some distribution, and an online decision maker must select one item irrevocably. We establish that the competitive ratio between the expected optimal performance of the online decision maker compared to that of a prophet, who uses the average of the top $\ell$ items, must be greater than $\ell/c_{\ell}$, with $c_{\ell}$ the solution to an integral equation. We prove that this lower bound is larger than $1-1/(\exp(\ell)-1)$. This implies that the bound converges exponentially fast to $1$ as $\ell$ grows. In particular, the bound for $\ell=2$ is $2/c_{2} \approx 0.966$ which is much closer to $1$ than the classical bound of $0.745$ for $\ell=1$. Additionally, the proposed algorithm can be extended to a more general scenario, where the decision maker is permitted to select $k$ items. This subsumes the $k$ multi-unit i.i.d. prophet problem and provides the current best asymptotic guarantees, as well as enables broader understanding in the more general framework. Finally, we prove a nearly tight competitive ratio when only static threshold policies are allowed.https://papers.cool/arxiv/2408.07072Bounds on the geodesic distances on the Stiefel manifold for a family of Riemannian metrics2024-08-15T00:00:00+00:00Simon MataigneP. -A. AbsilNina MiolaneWe give bounds on geodesic distances on the Stiefel manifold, derived from new geometric insights. The considered geodesic distances are induced by the one-parameter family of Riemannian metrics introduced by H\"uper et al. (2021), which contains the well-known Euclidean and canonical metrics. First, we give the best Lipschitz constants between the distances induced by any two members of the family of metrics. Then, we give a lower and an upper bound on the geodesic distance by the easily computable Frobenius distance. We give explicit families of pairs of matrices that depend on the parameter of the metric and the dimensions of the manifold, where the lower and the upper bound are attained. These bounds aim at improving the theoretical guarantees and performance of minimal geodesic computation algorithms by reducing the initial velocity search space. In addition, these findings contribute to advancing the understanding of geodesic distances on the Stiefel manifold and their applications.https://papers.cool/arxiv/2408.07073Uniform and couniform dimensions of inverse polynomial modules over skew Ore polynomials2024-08-15T00:00:00+00:00Sebastián HigueraArmando ReyesIn this paper, we study the uniform and couniform dimensions of inverse polynomial modules over skew Ore polynomials.https://papers.cool/arxiv/2408.07078Shift associative algebras2024-08-15T00:00:00+00:00Hani AbdelwahabIvan KaygorodovBauyrzhan SartayevWe present a comprehensive study of algebras satisfying the identity $(xy)z=y(zx),$ named as shift associative algebras. Our research shows that these algebras are related to many interesting identities. In particular, they are related to anti-Poisson-Jordan algebras and algebras of associative type $\sigma$. We study algebras of associative type $\sigma$ to be Koszul and self-dual. A basis of the free shift associative algebra generated by a countable set $X$ was constructed. An analog of Wedderburn-Artin's theorem was established. The algebraic and geometric classifications of complex $4$-dimensional shift associative algebras are given. In particular, we proved that the first non-associative shift associative algebra appears only in dimension $5$.https://papers.cool/arxiv/2408.07112A generalization of the hexastix arrangement to higher dimensions2024-08-15T00:00:00+00:00Jan Kristian HauglandHexastix is an arrangement of non-overlapping infinite hexagonal prisms in four different directions that cover $\frac{3}{4}$ of space. We consider a possible generalization to $n$ dimensions, based on the permutohedral lattice $A^*_n$. The central lines of the generalized prisms are going to be oriented in $n+1$ different directions (parallel to the shortest non-zero vectors of $A^*_n$). The projection of the lines oriented in any direction along that direction to a hyperplane perpendicular to it is required to be a translation of the corresponding projection of $A^*_n$, and the minimal distance between lines oriented in any two given directions should be maximal. It is shown that this is possible if $n$ is a prime power. Also, the proportion of $n$-space that is covered is calculated for $n \in \{4, 5\}$, and an alternative generalization is briefly considered.https://papers.cool/arxiv/2408.07133Normalizer Quotients of Symmetric Groups and Inner Holomorphs2024-08-15T00:00:00+00:00Alexei EntinCindy TsangWe show that every finite group $T$ is isomorphic to a normalizer quotient $N_{S_n}(H)/H$ for some $n$ and a subgroup $H\leq S_n$. We show that this holds for all large enough $n\ge n_0(T)$ and also with $S_n$ replaced by $A_n$. The two main ingredients in the proof are a recent construction due to Cornulier and Sambale of a finite group $G$ with $\mathrm{Out}(G)\cong T$ (for any given finite group $T$) and the determination of the normalizer in $\mathrm{Sym(G)}$ of the inner holomorph $\mathrm{InHol}(G)\leq\mathrm{Sym}(G)$ for any centerless indecomposable finite group $G$, which may be of independent interest.https://papers.cool/arxiv/2408.07139Spectral gap and cutoff of the simple exclusion process with IID conductances2024-08-15T00:00:00+00:00Shangjie YangIn this paper, we study the spectral gap and mixing time of the simple exclusion process with $k$ particles in the line segment $[1, N]$ with conductances $c(x, x+1)_{1\le x<N}$ where $c(x, x+1)>0$ is the rate of swapping the contents of the two sites $x$ and $ x+1$. Under the IID assumption on $(c(x, x+1))_{x \in \mathbb{N}}$ with unit inverse expectation $\mathbb{E}[1/c(x, x+1)]=1$, we prove that the spectral gap, denoted by $\mathrm{gap}_{N,k}$, of the process satisfies $\mathrm{gap}_{N, k}=(1+o(1))\pi^2/N^2$ and the eigenfunction $g_N$ with $g_N(1)=1$ corresponding to the spectral gap of one particle case is well approximated by $h_N(x) := \cos\left( (x-1/2)\pi/N \right)$. Under some further assumptions on $c(x, x+1)_{x \in \mathbb{N} }$ and $k$, we prove that around time $(1+o(1)) (2 \pi^2)^{-1} N^2 \log k$, the total variation distance to equilibrium drops abruptly from $1$ to $0$.https://papers.cool/arxiv/2408.07141Rigid body in compressible flow with general inflow-outflow boundary data2024-08-15T00:00:00+00:00Šimon AxmannŠárka NečasováAna RadoševićWe study the motion of a rigid body within a compressible, isentropic, and viscous fluid contained in a fixed bounded domain $\Omega \subset \mathbb{R}^3$. The fluid's behavior is described by the Navier-Stokes equations, while the motion of the rigid body is governed by ordinary differential equations representing the conservation of linear and angular momentum. We prescribe a time-independent fluid velocity along the boundary of $\Omega$ and a time-independent fluid density at the inflow boundary of $\Omega$. Additionally, we assume a no-slip boundary condition at the interface between the fluid and the rigid body. We prove existence of a weak solution to the given problem within a time interval where the rigid body does not touch the boundary $\partial\Omega$.https://papers.cool/arxiv/2408.07143Optimal Experimental Design for Universal Differential Equations2024-08-15T00:00:00+00:00Christoph PlateCarl Julius MartensenSebastian SagerComplex dynamic systems are typically either modeled using expert knowledge in the form of differential equations, or via data-driven universal approximation models such as artificial neural networks (ANN). While the first approach has advantages with respect to interpretability, transparency, data-efficiency, and extrapolation, the second approach is able to learn completely unknown functional relations from data and may result in models that can be evaluated more efficiently. To combine the complementary advantages, universal differential equations (UDE) have been suggested, which replace unknown terms in the differential equations with ANN. These hybrid models allow to both encode prior domain knowledge such as first principles and to learn unknown mechanisms from data. Often, data for the training of UDE can only be obtained via costly experiments. We consider optimal experimental design (OED) for the planning of experiments and generation of data needed to train UDE. The number of weights in the embedded ANN usually leads to an overfitting of the regression problem. To make the OED problem tractable for optimization, we propose and compare dimension reduction methods that are based on lumping of weights and singular value decomposition of the Fisher information matrix (FIM), respectively. They result in lower-dimensional variational differential equations which are easier to solve and which yield regular FIM. Our numerical results showcase the advantages of OED for UDE, such as an increased data-efficiency and better extrapolation properties.https://papers.cool/arxiv/2408.07145$L^2$ geometry of hyperbolic monopoles2024-08-15T00:00:00+00:00Guido FranchettiDerek HarlandIt is well-known that the $L^2$ metric on the moduli space of hyperbolic monopoles, defined using the Coulomb gauge-fixing condition, diverges. This article shows that an alternative gauge-fixing condition inspired by supersymmetry cures this divergence. The resulting geometry is a hyperbolic analogue of the hyperk\"ahler geometry of Euclidean monopole moduli spaces.https://papers.cool/arxiv/2408.07149The spectral torsion for the Connes type operator2024-08-15T00:00:00+00:00Jian WangYong WangThis paper aims to provide an explicit computation of the spectral torsion associated with the Connes type operator on even dimension compact manifolds.And we also extend the spectral torsion for the Connes type operator to compact manifolds with boundary.https://papers.cool/arxiv/2408.07153Virtual Element Methods for HJB Equations with Cordes Coefficients2024-08-15T00:00:00+00:00Ying CaiHailong GuoZhimin ZhangIn this paper, we propose and analyze both conforming and nonconforming virtual element methods (VEMs) for the fully nonlinear second-order elliptic Hamilton-Jacobi-Bellman (HJB) equations with Cordes coefficients. By incorporating stabilization terms, we establish the well-posedness of the proposed methods, thus avoiding the need to construct a discrete Miranda-Talenti estimate. We derive the optimal error estimate in the discrete $H^2$ norm for both numerical formulations. Furthermore, a semismooth Newton's method is employed to linearize the discrete problems. Several numerical experiments using the lowest-order VEMs are provided to demonstrate the efficacy of the proposed methods and to validate our theoretical results.https://papers.cool/arxiv/2408.07156On Clifford Algebras of Infinite Dimensional Vector Spaces2024-08-15T00:00:00+00:00Oksana BezushchakWe describe derivations of the Clifford algebra of a nondegenerate quadratic form on a countable dimensional vector space over an algebraically closed field of characteristic not equal to $2$. We also construct an algebraic automorphism of the Clifford algebra of a positive definite quadratic form that is not continuous.https://papers.cool/arxiv/2408.07162Finite Vertex-colored Ultrahomogeneous Oriented Graphs2024-08-15T00:00:00+00:00Irene HeinrichEda KajaPascal SchweitzerA relational structure R is ultrahomogeneous if every isomorphism of finite induced substructures of R extends to an automorphism of R. We classify the ultrahomogeneous finite binary relational structures with one asymmetric binary relation and arbitrarily many unary relations. In other words, we classify the finite vertex-colored oriented ultrahomogeneous graphs. The classification comprises several general methods with which directed graphs can be combined or extended to create new ultrahomogeneous graphs. Together with explicitly given exceptions, we obtain exactly all vertex-colored oriented ultrahomogeneous graphs this way. Our main technique is a technical tool that characterizes precisely under which conditions two binary relational structures with disjoint unary relations can be combined to form a larger ultrahomogeneous structure.https://papers.cool/arxiv/2408.07164Rational points of fixed denominator in real toric hyperplane arrangements2024-08-15T00:00:00+00:00Andrew HanlonDavis PainterWe give a sufficient condition on a positive integer $m$ for every stratum of a given real toric hyperplane arrangement to contain a rational point of denominator $m$. As a consequence, we give a sufficient condition on $m$ for the degree $m$ Frobenius pushforward of the structure sheaf on a smooth toric variety to contain all possible summands in the Picard group.https://papers.cool/arxiv/2408.07169Transverse Instability of Stokes Waves at Finite Depth2024-08-15T00:00:00+00:00Ryan P. CreedonHuy Q. NguyenWalter A. StraussA Stokes wave is a traveling free-surface periodic water wave that is constant in the direction transverse to the direction of propagation. In 1981 McLean discovered via numerical methods that Stokes waves are unstable with respect to transverse perturbations. In \cite{CreNguStr} for the case of infinite depth we proved rigorously that the spectrum of the water wave system linearized at small Stokes waves, with respect to transverse perturbations, contains unstable eigenvalues lying approximately on an ellipse. In this paper we consider the case of finite depth and prove that the same spectral instability result holds for all but finitely many values of the depth. The computations and some aspects of the theory are considerably more complicated in the finite depth case.https://papers.cool/arxiv/2408.07182Proximal random reshuffling under local Lipschitz continuity2024-08-15T00:00:00+00:00Cedric JoszLexiao LaiXiaopeng LiWe study proximal random reshuffling for minimizing the sum of locally Lipschitz functions and a proper lower semicontinuous convex function without assuming coercivity or the existence of limit points. The algorithmic guarantees pertaining to near approximate stationarity rely on a new tracking lemma linking the iterates to trajectories of conservative fields. One of the novelties in the analysis consists in handling conservative fields with unbounded values.https://papers.cool/arxiv/2408.07186Analysis of error propagation in the RK3GL2 method2024-08-15T00:00:00+00:00J. S. C. PrenticeThe RK3GL2 method is a numerical method for solving initial value problems in ordinary differential equations, and is a hybrid of a third-order Runge-Kutta method and two-point Gauss-Legendre quadrature. In this paper we present an analytical study of the propagation of local errors in this method, and show that the global order of RK3GL2 is expected to be four.https://papers.cool/arxiv/2408.07188Computational tools for Real topological Hochschild homology2024-08-15T00:00:00+00:00Chloe LewisIn this paper, we construct a Real equivariant version of the B\"okstedt spectral sequence which takes inputs in the theory of Real Hochschild homology developed by Angelini-Knoll, Gerhardt, and Hill and converges to the equivariant homology of Real topological Hochschild homology, $\text{THR}$. We also show that when $A$ is a commutative $C_2$-ring spectrum, $\text{THR}(A)$ has the structure of an $A$-Hopf algebroid in the $C_2$-equivariant stable homotopy category.https://papers.cool/arxiv/2408.07195On the spectral radius of unbalanced signed bipartite graphs2024-08-15T00:00:00+00:00Cristian M. CondeEzequiel DratmanLuciano N. GrippoA signed graph is one that features two types of edges: positive and negative. Balanced signed graphs are those in which all cycles contain an even number of positive edges. In the adjacency matrix of a signed graph, entries can be $0$, $-1$, or $1$, depending on whether $ij$ represents no edge, a negative edge, or a positive edge, respectively. The index of the adjacency matrix of a signed graph $\dot{G}$ is less or equal to the index of the adjacency matrix of its underlying graph $G$, i.e., $\lambda_1(\dot{G}) \le \lambda_1(G)$. Indeed, if $\dot{G}$ is balanced, then $\lambda_1(\dot{G})=\lambda_1(G)$. This inequality becomes strict when $\dot{G}$ is an unbalanced signed graph. Recently, Brunetti and Stani\'c found the whole list of unbalanced signed graphs on $n$ vertices with maximum (resp. minimum) spectral radius. To our knowledge, there has been little research on this problem when unbalanced signed graphs are confined to specific graph classes. In this article, we demonstrate that there is only one unbalanced signed bipartite graph on $n$ vertices with maximum spectral radius, up to an operation on the signed edges known as switching. Additionally, we investigate unbalanced signed complete bipartite graphs on $n$ vertices with a bounded number of edges and maximum spectral radius, where the negative edges induce a tree.https://papers.cool/arxiv/2408.07200Singularly cospectral circulant graphs2024-08-15T00:00:00+00:00Cristian M. CondeEzequiel DratmanLuciano N. GrippoMelina PrivitelliTwo graphs having the same spectrum are said to be cospectral. Two graphs such that the absolute values of their nonzero eigenvalues coincide are singularly cospectral graphs. Cospectrality implies singular cospectrality, but the converse may be false. In this paper, we present sufficient conditions for two circulant graphs, with an even number of vertices, to be noncospectral singularly cospectral graphs. In this analysis, we study when a pair of these graphs have the same or distinct inertia. In addition, we show that two singularly cospectral circulant graphs with an odd prime number of vertices are isomorphic.https://papers.cool/arxiv/2408.07204Continuity of attractors for a highly oscillatory family of perturbations of the square2024-08-15T00:00:00+00:00Bianca P. LorenziAntônio L. PereiraConsider the family of semilinear parabolic problems \begin{equation*} \left\{ \begin{array}{lll} u_{t}(x,t) = \Delta u(x,t) - au(x,t) + f(u(x,t)), \,\,\, x \in \Omega_{\epsilon}, t > 0, \\ \frac{\partial u}{\partial N} (x,t) = g(u(x,t)), \,\,\, x \in \partial \Omega_{\epsilon}, t > 0, \end{array} \right. \end{equation*} where $a > 0$, $\Omega$ is the unit square, $\Omega_{\epsilon} = h_{\epsilon}(\Omega)$, $h_{\epsilon}$ is a family of $C^{m}$ - diffeomorphisms, $m \geq 1$, which converge to the identity of $\Omega$ in $C^{\alpha}$ norm, if $\alpha <1$ but do not converge in the $C^{1}$ - norm and, $f,g: \mathbb{R} \rightarrow \mathbb{R}$ are real functions. We show that a weak version of this problem, transported to the fixed domain $\Omega$ by a ``pull-back'' procedure, is well posed for $0 <\epsilon \leq \epsilon_{0}$, $\epsilon_{0} > 0$, in a suitable phase space, the associated semigroup has a global attractor $\mathcal{A}_{\epsilon}$ and the family $\{ \mathcal{A}_{\epsilon} \}_{0 \, < \, \epsilon \, \leq \, \epsilon_{0}}$ converges as $\epsilon \to 0$ to the attractor of the limiting problem: \begin{equation*}\ \left\{ \begin{array}{lll} u_{t}(x,t) = \Delta u(x,t) - au(x,t) + f(u(x,t)), \,\,\, x \in \Omega, t > 0, \\ \frac{\partial u}{\partial N} (x,t) = g(u(x,t))\mu, \,\,\, x \in \partial \Omega, t > 0, \end{array} \right. \end{equation*} where $\mu$ is essentially the limit of the Jacobian determinant of the diffeomorphism ${h_{\epsilon}}_{| \partial \Omega} : \partial \Omega \rightarrow \partial h_{\epsilon}(\Omega)$ (but does not depend on the particular family $h_{\epsilon})$.https://papers.cool/arxiv/2408.07206Equivalence of Dubins Path on Sphere with Geographic Coordinates and Moving Frames2024-08-15T00:00:00+00:00Deepak Prakash KumarSwaroop DarbhaSatyanarayana G. ManyamDavid W. CasbeerMeir PachterIn this article, two methods of addressing path planning for a Dubins vehicle moving on a sphere are considered, wherein either spherical coordinates or a moving frame are considered to describe the vehicle's motion. The primary contribution of this article is to show the equivalence of these two approaches, which in turn shows that the results known for the moving frame-based description transfer to the model utilizing spherical coordinates.https://papers.cool/arxiv/2408.07209Local linear smoothing for regression surfaces on the simplex using Dirichlet kernels2024-08-15T00:00:00+00:00Christian GenestFrédéric OuimetThis paper introduces a local linear smoother for regression surfaces on the simplex. The estimator solves a least-squares regression problem weighted by a locally adaptive Dirichlet kernel, ensuring excellent boundary properties. Asymptotic results for the bias, variance, mean squared error, and mean integrated squared error are derived, generalizing the univariate results of Chen (2002). A simulation study shows that the proposed local linear estimator with Dirichlet kernel outperforms its only direct competitor in the literature, the Nadaraya-Watson estimator with Dirichlet kernel due to Bouzebda, Nezzal, and Elhattab (2024).https://papers.cool/arxiv/2408.07210A Non-Archimedean Second Main Theorem for Hypersurfaces in Subgeneral Position2024-08-15T00:00:00+00:00Ta Thi Hoai AnWilliam CherryNguyen Viet PhuongWe apply an idea of Levin to obtain a non-truncated second main theorem for non-Archimedean analytic maps approximating algebraic hypersurfaces in subgeneral position. In some cases, for example when all the hypersurfaces are non-linear and all the intersections are transverse, this improves an inequality of Quang, whose inequality is sharp for the case of hyperplanes in subgeneral position.https://papers.cool/arxiv/2408.07212Lifting MGARD: construction of (pre)wavelets on the interval using polynomial predictors of arbitrary order2024-08-15T00:00:00+00:00Viktor ReshniakEvan FergusonQian GongNicolas VidalRick ArchibaldScott KlaskyMGARD (MultiGrid Adaptive Reduction of Data) is an algorithm for compressing and refactoring scientific data, based on the theory of multigrid methods. The core algorithm is built around stable multilevel decompositions of conforming piecewise linear $C^0$ finite element spaces, enabling accurate error control in various norms and derived quantities of interest. In this work, we extend this construction to arbitrary order Lagrange finite elements $\mathbb{Q}_p$, $p \geq 0$, and propose a reformulation of the algorithm as a lifting scheme with polynomial predictors of arbitrary order. Additionally, a new formulation using a compactly supported wavelet basis is discussed, and an explicit construction of the proposed wavelet transform for uniform dyadic grids is described.https://papers.cool/arxiv/2408.07214The spectral diameter of a symplectic ellipsoid2024-08-15T00:00:00+00:00Habib AlizadehMarcelo S. AtallahDylan CantThe spectral diameter of a symplectic ball is shown to be equal to its capacity; this result upgrades the known bound by a factor of two and yields a simple formula for the spectral diameter of a symplectic ellipsoid. We also study the relationship between the spectral diameter and packings by two balls.https://papers.cool/arxiv/2408.07218Bilipschitz geometry of real surface singularities whose tangent cone is a plane2024-08-15T00:00:00+00:00Donal O'SheaLeslie WilsonTangent cones are preserved under ambient bilipschitz equivalence, but the behavior of the Nash cone is more delicate. This paper explores the behavior of the Nash cone and of exceptional rays under ambient bilipschitz equivalence for real surfaces in $\mathbb R^3$ with isolated singularity and whose tangent cone is a plane.https://papers.cool/arxiv/2408.07223Nuclear dimension and virtually polycyclic groups2024-08-15T00:00:00+00:00Caleb EckhardtJianchao WuWe show that the nuclear dimension of a (twisted) group C*-algebra of a virtually polycyclic group is finite. This prompts us to make a conjecture relating finite nuclear dimension of group C*-algebras and finite Hirsch length, which we then verify for a class of elementary amenable groups beyond the virtually polycyclic case. In particular, we give the first examples of finitely generated, non-residually finite groups with finite nuclear dimension. A parallel conjecture on finite decomposition rank is also formulated and an analogous result is obtained. Our method relies heavily on recent work of Hirshberg and the second named author on actions of virtually nilpotent groups on $C_0(X)$-algebras.https://papers.cool/arxiv/2408.07226Some $q$-supercongruences for multiple basic hypergeometric series2024-08-15T00:00:00+00:00Chuanan WeiIn terms of several summation and transformation formulas for basic hypergeometric series, two forms of the Chinese remainder theorem for coprime polynomials, the creative microscoping method introduced by Guo and Zudilin, Guo and Li's lemma, and El Bachraoui's lemma, we establish some $q$-supercongruences for multiple basic hypergeometric series modulo the fifth and sixth powers of a cyclotomic polynomial. In detail, we generalize Guo and Li's two $q$-supercongruences for double basic hypergeometric series, which are related to $q$-analogues of Van Hamme's (C.2) supercongruence and Long's supercongruence, respectively. In addition, we also present two conclusions for double and triple hypergeometric series associated with Van Hamme's (D.2) supercongruence.https://papers.cool/arxiv/2408.07232Relative PGF modules and dimensions2024-08-15T00:00:00+00:00Rachid El MaaouyInspired in part by recent work of \v{S}aroch and \v{S}\v{t}ov\'{\i}\v{c}ek in the setting of Gorenstein homological algebra, we extend the notion of Foxby-Golod ${\rm G_C}$-dimension of finitely generated modules with respect to a semidualizing module $C$ to arbitrary modules over arbitrary rings, with respect to a module $C$ that is not necessarily semidualizing. We call this dimension ${\rm PG_CF}$ dimension and show that it can serve as an alternative definition of the ${\rm G_C}$-projective dimension introduced by Holm and J\o rgensen. Modules with ${\rm PG_CF}$ dimension zero are called ${\rm PG_CF}$ modules. When the module $C$ is nice enough, we show that the class ${\rm PG_CF}(R)$ of these modules is projectively resolving. This enables us to obtain good homological properties of this new dimension. We also show that ${\rm PG_CF}(R)$ is the left-hand side of a complete hereditary cotorsion pair. This yields, from a homotopical perspective, a hereditary Hovey triple where the cofibrant objects coincide with the ${\rm PG_CF}$ modules and the fibrant objects coincide with the modules in the well-known Bass class $\mathcal{B}_C(R)$.https://papers.cool/arxiv/2408.07235Variational Analysis of Proximal Compositions and Integral Proximal Mixtures2024-08-15T00:00:00+00:00Patrick L. CombettesDiego J. CornejoThis paper establishes various variational properties of parametrized versions of two convexity-preserving constructs that were recently introduced in the literature: the proximal composition of a function and a linear operator, and the integral proximal mixture of arbitrary families of functions and linear operators. We study in particular convexity, Legendre conjugacy, differentiability, Moreau envelopes, coercivity, minimizers, recession functions, and perspective functions of these constructs, as well as their asymptotic behavior as the parameter varies. The special case of the proximal expectation of a family of functions is also discussed.https://papers.cool/arxiv/2408.07241Long Time Dynamics Of The Three-dimensional Nernst-Planck-Darcy Model2024-08-15T00:00:00+00:00Elie AbdoĐorđe NikolićWe consider an electrodiffusion model describing the evolution of $N$ ionic species in a three-dimensional fluid flowing through a porous medium and forced by added body charges. We address the global well-posedness and long-time dynamics of the model. In the absence of added charges, we prove that the ionic concentrations decay exponentially fast in time to their initial spatial averages in all Sobolev norms. When the fluid undergoes the influence of given time-independent charges, we obtain the existence of a finite-dimensional global attractor.https://papers.cool/arxiv/2408.07248Generalized square function estimates for curves and their conical extensions2024-08-15T00:00:00+00:00Robert SchippaWe show sharp square function estimates for curves in the plane whose curvature degenerates at a point and estimates sharp up to endpoints for cones over these curves. To this end, for curves of finite type we extend the classical C\'ordoba--Fefferman biorthogonality. For cones over degenerate curves, we analyze wave envelope estimates proved via High-Low-decomposition. The arguments are subsequently extended to the cone over the complex parabola.https://papers.cool/arxiv/2408.07252Active vibration control of nonlinear flexible structures via reduction on spectral submanifolds2024-08-15T00:00:00+00:00Cong ShenMingwu LiLarge amplitude vibrations can cause hazards and failure to engineering structures. Active control has been an effective strategy to suppress vibrations, but it faces great challenges in the real-time control of nonlinear flexible structures. Here, we present a control design framework using reductions on aperiodic spectral submanifolds (SSMs) to address the challenges. We formulate high-dimensional nonlinear optimal control problems to suppress the vibrations and then use the SSM-based reductions to transform the original optimal control problems into low-dimensional linear optimal control problems. We further establish extended linear quadratic regulators to solve the reduced optimal control problems, paving the road for real-time active control of nonlinear flexible structures. We demonstrate the effectiveness of our control design framework via a suite of examples with increasing complexity, including a finite element model of an aircraft wing with more than 130,000 degrees of freedom.https://papers.cool/arxiv/2408.07256On the local and global minimizers of the smooth stress function in Euclidean Distance Matrix problems2024-08-15T00:00:00+00:00Mengmeng SongDouglas GoncalvesWoosuk L. JungCarlile LavorAntonio MucherinoHenry WolkowiczWe consider the nonconvex minimization problem, with quartic objective function, that arises in the exact recovery of a configuration matrix $P\in \Rnd$ of $n$ points when a Euclidean distance matrix, \EDMp, is given with embedding dimension $d$. It is an open question in the literature under which conditions such a minimization problem admits a local nonglobal minimizer, \lngmp. We prove that all second order stationary points are global minimizers whenever $n \leq d + 1$. For $n > d+1$, we numerically find a local nonglobal minimum and show analytically that there indeed exists a nearby \lngm for the underlying quartic minimization problem. Thus, we answer in the affirmative the previously open question about their existence. Our approach to finding the \lngm is novel in that we first exploit the translation and rotation invariance to reduce the size of the problem from $nd$ variables in $P$ to $(n-1)d - d(d-1)/2 = d(2n-d-1)/2$ variables. This allows for finding examples that satisfy the strict second order sufficient optimality conditions.https://papers.cool/arxiv/2408.07261Numerical analysis of a class of penalty discontinuous Galerkin methods for nonlocal diffusion problems2024-08-15T00:00:00+00:00Qiang DuLili JuJianfang LuXiaochuan TianIn this paper, we consider a class of discontinuous Galerkin (DG) methods for one-dimensional nonlocal diffusion (ND) problems. The nonlocal models, which are integral equations, are widely used in describing many physical phenomena with long-range interactions. The ND problem is the nonlocal analog of the classic diffusion problem, and as the interaction radius (horizon) vanishes, then the nonlocality disappears and the ND problem converges to the classic diffusion problem. Under certain conditions, the exact solution to the ND problem may exhibit discontinuities, setting it apart from the classic diffusion problem. Since the DG method shows its great advantages in resolving problems with discontinuities in computational fluid dynamics over the past several decades, it is natural to adopt the DG method to compute the ND problems. Based on [Du-Ju-Lu-Tian-CAMC2020], we develop the DG methods with different penalty terms, ensuring that the proposed DG methods have local counterparts as the horizon vanishes. This indicates the proposed methods will converge to the existing DG schemes as the horizon vanishes, which is crucial for achieving asymptotic compatibility. Rigorous proofs are provided to demonstrate the stability, error estimates, and asymptotic compatibility of the proposed DG schemes. To observe the effect of the nonlocal diffusion, we also consider the time-dependent convection-diffusion problems with nonlocal diffusion. We conduct several numerical experiments, including accuracy tests and Burgers' equation with nonlocal diffusion, and various horizons are taken to show the good performance of the proposed algorithm and validate the theoretical findings.https://papers.cool/arxiv/2408.07268Fast Unconstrained Optimization via Hessian Averaging and Adaptive Gradient Sampling Methods2024-08-15T00:00:00+00:00Thomas O'Leary-RoseberryRaghu BollapragadaWe consider minimizing finite-sum and expectation objective functions via Hessian-averaging based subsampled Newton methods. These methods allow for gradient inexactness and have fixed per-iteration Hessian approximation costs. The recent work (Na et al. 2023) demonstrated that Hessian averaging can be utilized to achieve fast $\mathcal{O}\left(\sqrt{\tfrac{\log k}{k}}\right)$ local superlinear convergence for strongly convex functions in high probability, while maintaining fixed per-iteration Hessian costs. These methods, however, require gradient exactness and strong convexity, which poses challenges for their practical implementation. To address this concern we consider Hessian-averaged methods that allow gradient inexactness via norm condition based adaptive-sampling strategies. For the finite-sum problem we utilize deterministic sampling techniques which lead to global linear and sublinear convergence rates for strongly convex and nonconvex functions respectively. In this setting we are able to derive an improved deterministic local superlinear convergence rate of $\mathcal{O}\left(\tfrac{1}{k}\right)$. For the %expected risk expectation problem we utilize stochastic sampling techniques, and derive global linear and sublinear rates for strongly convex and nonconvex functions, as well as a $\mathcal{O}\left(\tfrac{1}{\sqrt{k}}\right)$ local superlinear convergence rate, all in expectation. We present novel analysis techniques that differ from the previous probabilistic results. Additionally, we propose scalable and efficient variations of these methods via diagonal approximations and derive the novel diagonally-averaged Newton (Dan) method for large-scale problems. Our numerical results demonstrate that the Hessian averaging not only helps with convergence, but can lead to state-of-the-art performance on difficult problems such as CIFAR100 classification with ResNets.https://papers.cool/arxiv/2408.07274Exact Boundary Controllability for Reduced System Associated to Extended Maxwell Systems2024-08-15T00:00:00+00:00Maarten V. de HoopChing-Lung LinGen NakamuraIn the theory of viscoelasticity, an important class of models admits a representation in terms of springs and dashpots. Widely used members of this class are the Maxwell model and its extended version. The paper concerns about the exact boundary controllability (abbreviated by EBC) for the reduced system (abbreviated by RS) associated to the extended Maxwell model (EMM). The initial boundary value problem (abbreviated by IBP) with a mixed type boundary condition (abbreviated by MBC) in the absence of the exterior force is called the augmented system (abbreviated by AD system). Here, the MBC consists of a homogeneous displacement boundary condition and inhomogeneous traction boundary condition with a boundary control. The RS is a closed subsystem inside the AD system (see Section \ref{sec1} for the details of the EMM and the RS). For the RS, we consider the IBP for the associated AD system. By using a dissipative structure of the RS in relation with the AD system, we will prove the EBC for the RS by a modified version of Russell's principle. Also, as an application of this EBC, we will show a partial boundary controllability (abbreviated by PBC) for the Boltzmann type viscoelastic system of equations (abbreviated by BVS) associated to the EMM. That is, for a large enough time $T>0$ and any pair of given speeds $(v_0, v_1)$, there is a boundary control which steers to have $v(0)=v^0,\,v(t)=v^1$, where $v(t)=\partial_t u(t)$ is the speed of the displacement vector $u(t)$ of BVS at time $t$.https://papers.cool/arxiv/2408.07275The entropy power conjecture implies the McKean conjecture2024-08-15T00:00:00+00:00Guillaume WangAfter reviewing the entropy power, the McKean, and the Gaussian completely monotone conjectures, we prove that the first implies the second, for each order of the time-derivative. The proof is elementary and is based on manipulating the Bell polynomials.https://papers.cool/arxiv/2408.07288A Modeling Framework for Equitable Deployment of Energy Storage in Disadvantaged Communities2024-08-15T00:00:00+00:00Miguel HelenoPaul LesurAlexandre MoreiraThis paper provides an analytical framework to incorporate the deployment of behind-the-meter energy storage coupled with rooftop solar, and their associated revenue streams, in the context of equitable energy policy interventions. We propose an extension to the Justice40 optimization model by adding storage and incorporating more realistic solar compensation mechanisms, such as net-billing, which allows for temporal revenue differentiation and the economic viability of behind-the-meter energy storage devices. The extended model includes household-level PV plus storage co-deployment alongside existing interventions, such as weatherization, rooftop PV only, community solar, and community wind. From a modeling perspective, we propose a novel approximation method to represent storage operations and revenue streams without expanding the temporal dimension of model, thus maintaining its computational efficiency. The proposed model is validated using a case study in Wayne County, Michigan, involving 3,651 energy insecure households.https://papers.cool/arxiv/2408.07309A note on Shintani's invariants2024-08-15T00:00:00+00:00Bora YalkinogluShintani's famous invariants conjecturally generate abelian extensions of real quadratic number fields and thus give a conjectural solution to Hilbert's 12th problem. In the present note, we find new expressions for Shintani's invariants by generalising an observation due to Yamamoto who showed that Shintani's invariants, originally expressed in terms of the double sine function, can be written in terms of the q-Pochhammer (or q-Exponential) function.https://papers.cool/arxiv/2408.07312Braid symmetries on bosonic extensions2024-08-15T00:00:00+00:00Masaki KashiwaraMyungho KimSe-jin OhEuiyong ParkWe introduce a family of automorphisms on the bosonic extension of arbitrary type and show that they satisfy the braid relations. They preserve the global basis and the crystal basis. Using this braid group action, we define a subalgebra for each positive braid word, which possesses the PBW type basis. As an application, we show that the tensor product decomposition of the positive bosonic extionsion,https://papers.cool/arxiv/2408.07315Discrete periodic Toda flow and Gauß composition of quadratic forms2024-08-15T00:00:00+00:00Bora YalkinogluWe construct a new and very explicit linearization of the discrete periodic Toda flow by using Mumford$\text{'}$s algebraic description of the Jacobian of a hyperelliptic curve, where the addition law is described in terms of the Gau{\ss} composition law of quadratic forms. Further, we explain how the periodic box-ball flow fits nicely into this picture as well.https://papers.cool/arxiv/2408.07316Relative sectional number and the coincidence property2024-08-15T00:00:00+00:00Cesar A. Ipanaque ZapataFelipe A. Torres EstrellaFor a Hausdorff space $Y$, a topological space $X$ and a map $g:X\to Y$, we present a connection between the relative sectional number of the first coordinate projection $\pi_{2,1}^Y:F(Y,2)\to Y$ with respect to $g$, and the coincidence property (CP) for $(X,Y;g)$, where $(X,Y;g)$ has the coincidence property (CP) if, for every map $f:X\to Y$, there is a point $x$ of $X$ such that $f(x)=g(x)$. Explicitly, we demonstrate that $(X,Y;g)$ has the CP if and only if 2 is the minimal cardinality of open covers $\{U_i\}$ of $X$ such that each $U_i$ admits a local lifting for $g$ with respect to $\pi_{2,1}^Y$. This characterisation connects a standard problem in coincidence theory to current research trends in sectional category and topological robotics. Motivated by this connection, we introduce the notion of relative topological complexity of a map.https://papers.cool/arxiv/2408.07322Encoding and Decoding Algorithms of ANS Variants and Evaluation of Their Average Code Lengths2024-08-15T00:00:00+00:00Hirosuke YamamotoKen-ichi IwataAsymmetric Numeral Systems (ANS) proposed by Jarek Duda are high-performance distortionless data compression schemes that can achieve almost the same compression performance as arithmetic codes with less arithmetic operations than arithmetic coding. The ANS is widely used in various practical systems like Facebook, Apple, Google, Dropbox, Microsoft, and Pixar, due to their high performance, but many researchers still lack much knowledge about the ANS. This paper thoroughly explains the encoding and decoding algorithms of the ANS, and theoretically analyzes the average code length achievable by the ANS.https://papers.cool/arxiv/2408.07328Non-abelian Anderson A-modules: Comparison isomorphisms and Galois representations2024-08-15T00:00:00+00:00Andreas MaurischatIn this manuscript, we consider non-abelian Anderson $A$-modules $E$ (of generic characteristic). The main results are on the structure of their motives, and on comparison isomorphisms between their cohomological realizations. In the center of these comparison isomorphisms, there is the space of special functions $\mathfrak{sf}(E)$ as defined by Gazda and the author in arXiv:1903.07302. We also provide a generalization of Anderson's result on the equivalence of uniformizability of the Anderson module and rigid analytic triviality of its associated motive. We contribute results that are new even in the case of abelian Anderson modules. For every non-zero prime ideal $\mathfrak{p}$ of $A$, the relation of the space of special functions to the $\mathfrak{p}$-adic Tate module provides a way to obtain $\mathfrak{p}^{n+1}$-torsion as special values of hyperderivatives of these special functions. Using this result for uniformizable Anderson modules, we are able to describe the $\mathfrak{p}$-adic Galois representation via a rigid analytic trivialization, and hence give a direct link between the image of the $\mathfrak{p}$-adic Galois representation and the motivic Galois group. This generalizes results of various authors.https://papers.cool/arxiv/2408.07356Longtime behaviors of an epidemic model with nonlocal diffusions and a free boundary: spreading-vanishing dichotomy2024-08-15T00:00:00+00:00Xueping LiLei LiWe propose a nonlocal epidemic model whose spatial domain evolves over time and is represented by $[0,h(t)]$ with $h(t)$ standing for the spreading front of epidemic. It is assumed that the agents can cross the fixed boundary $x=0$, but they will die immediately if they do it, which implies that the area $(-\infty,0)$ is a hostile environment for the agents. We first show that this model is well posed, then prove that the longtime behaviors are governed by a spreading-vanishing dichotomy and finally give some criteria determining spreading and vanishing. Particularly, we obtain the asymptotical behaviors of the principal eigenvalue of a cooperative system with nonlocal diffusions without assuming the related nonlocal operator is self-adjoint, and the steady state problem of such cooperative system on half space $[0,\infty)$ is studied in detail.https://papers.cool/arxiv/2408.07359Intrinsic characterizations of biconservative surfaces in the 4-dimensional hyperbolic space2024-08-15T00:00:00+00:00Simona NistorMihaela RusuIn this paper, we extend the investigation of biconservative surfaces with parallel normalized mean curvature vector fields (PNMC) in the 4-dimensional space forms, focusing on the hyperbolic space \mathbb{H}^4, the last remaining case to explore. We establish that an abstract surface admits a PNMC biconservative immersion in \mathbb{H}^4 if and only if it satisfies a certain intrinsic condition; if such an immersion exists, it is unique. We further analyze these abstract surfaces, showing that they form a two-parameter family. Additionally, we provide three characterizations of the intrinsic condition to explore the geometric properties of these surfaces.https://papers.cool/arxiv/2408.07360Interplay between the Chinese Remainder Theorem and the Lagrange Interpolation Formula2024-08-15T00:00:00+00:00Paul JolissaintWe propose a proof of the Lagrange Interpolation Formula based on the Chinese Remainder Theorem for arbitrary rings. Even such relationships are known, we think that our viewpoint is worth being published.https://papers.cool/arxiv/2408.07370On the Min-Max Star Partitioning Number2024-08-15T00:00:00+00:00Sarah FeldmannTorben SchürenbergIn this paper, we introduce a novel star partitioning problem for simple connected graphs $G=(V,E)$. The goal is to find a partition of the edges into stars that minimizes the maximum number of stars a node is contained in while simultaneously satisfying node-specific capacities. We design and analyze an efficient polynomial time algorithm with a runtime of $\mathcal{O}(|E|^2)$ that determines an optimal partition. Moreover, we explicitly provide a closed form of an optimal value for some graph classes. We generalize our algorithm to find even an optimal star partition of linear hypergraphs, multigraphs, and graphs with self-loop. We use flow techniques to design an algorithm for the star partitioning problem with an improved runtime of $\mathcal{O}(\log(\Delta) \cdot |E| \cdot \min\{|V|^{\frac{2}{3}},|E|^{\frac{1}{2}}\})$, where $\Delta$ is maximum node degree in $G$. In contrast to the unweighted setting, we show that a node-weighted decision variant of this problem is \texttt{strongly NP-complete} even without capacity constraints. Furthermore, we provide an extensive comparison to the problem of minimizing the minimum indegree satisfying node capacity constraints.https://papers.cool/arxiv/2408.07382Multi-Phase Optimal Control Problems for Efficient Nonlinear Model Predictive Control with acados2024-08-15T00:00:00+00:00Jonathan FreyKatrin BaumgärtnerGianluca FrisonMoritz DiehlComputationally efficient nonlinear model predictive control relies on elaborate discrete-time optimal control problem (OCP) formulations trading off accuracy with respect to the continuous-time problem and associated computational burden. Such formulations, however, are in general not easy to implement within specialized software frameworks tailored to numerical optimal control. This paper introduces a new multi-phase OCP interface for the open-source software acados allowing to conveniently formulate such problems and generate fast solvers that can be used for nonlinear model predictive control (NMPC). While multi-phase OCP (MOCP) formulations occur naturally in many applications, this work focuses on MOCP formulations that can be used to efficiently approximate standard continuous-time OCPs in the context of NMPC. To this end, the paper discusses advanced control parametrizations, such as closed-loop costing and piecewise polynomials with varying degree, as well as partial tightening and formulations that leverage models of different fidelity. An introductory example is presented to showcase the usability of the new interface. Finally, three numerical experiments demonstrate that NMPC controllers based on multi-phase formulations can efficiently trade-off computation time and control performance.https://papers.cool/arxiv/2408.07385Iterative Equalization of CPM With Unitary Approximate Message Passing2024-08-15T00:00:00+00:00Zilong LiuYi SongQinghua GuoPeng SunKexian GongZhongyong WangContinuous phase modulation (CPM) has extensive applications in wireless communications due to its high spectral and power efficiency. However, its nonlinear characteristics pose significant challenges for detection in frequency selective fading channels. This paper proposes an iterative receiver tailored for the detection of CPM signals over frequency selective fading channels. This design leverages the factor graph framework to integrate equalization, demodulation, and decoding functions. The equalizer employs the unitary approximate message passing (UAMP) algorithm, while the unitary transformation is implemented using the fast Fourier transform (FFT) with the aid of a cyclic prefix (CP), thereby achieving low computational complexity while with high performance. For CPM demodulation and channel decoding, with belief propagation (BP), we design a message passing-based maximum a posteriori (MAP) algorithm, and the message exchange between the demodulator, decoder and equalizer is elaborated. With proper message passing schedules, the receiver can achieve fast convergence. Simulation results show that compared with existing turbo receivers, the proposed receiver delivers significant performance enhancement with low computational complexity.https://papers.cool/arxiv/2408.07386Fading memory and the convolution theorem2024-08-15T00:00:00+00:00Juan-Pablo OrtegaFlorian RossmannekSeveral topological and analytical notions of continuity and fading memory for causal and time-invariant filters are introduced, and the relations between them are analysed. A significant generalization of the convolution theorem that establishes the equivalence between the fading memory property and the availability of convolution representations of linear filters is proved. This result extends a previous such characterization to a complete array of weighted norms in the definition of the fading memory property. Additionally, the main theorem shows that the availability of convolution representations can be characterized, at least when the codomain is finite-dimensional, not only by the fading memory property but also by the reunion of two purely topological notions that are called minimal continuity and minimal fading memory property. Finally, when the input space and the codomain of a linear functional are Hilbert spaces, it is shown that minimal continuity and the minimal fading memory property guarantee the existence of interesting embeddings of the associated reproducing kernel Hilbert spaces and approximation results of solutions of kernel regressions in the presence of finite data sets.https://papers.cool/arxiv/2408.07387Generalizations of amicable numbers2024-08-15T00:00:00+00:00S. I. DimitrovIn this paper we propose a new generalizations of amicable numbers. We also give examples and prove properties of these new concepts.https://papers.cool/arxiv/2408.07389Self-Dual Cone Systems and Tensor Products2024-08-15T00:00:00+00:00Tim NetzerWe prove the existence of self-dual tensor products for finite-dimensional convex cones and operator systems. This is a consequence of a more general result: Every cone system, which is contained in its dual, can be enlarged to a self-dual cone system. Using the setup of cone systems, we further describe how all functorial tensor products of finite-dimensional cones and operator systems explicitly arise from the minimal and maximal tensor product.https://papers.cool/arxiv/2408.07390Moment property and positivity for some algebras of fractions2024-08-15T00:00:00+00:00Claus ScheidererKonrad SchmüdgenT. M. Bisgaard proved that the $*$-algebra ${\bf C}[z,\overline{z},1/z\overline{z}]$ has the moment property, that is, each positive linear functional on this $*$-algebra is a moment functional. We generalize this result to polynomials in $d$ variables $z_1,...,z_d$. We prove that there exist $3d-2$ linear polynomials as denominators such that the corresponding $*$-algebra has the moment property, while for 3 linear polynomials in case $d=2$ the moment property always fails. Further, it is shown that for the real algebras ${\bf R}[x,y,1/(x^2+y^2)]$ (the hermitean part of ${\bf C}[z,\overline{z},1/z\overline{z}]$) and ${\bf R}[x,y,x^2/(x^2+y^2),xy/(x^2+y^2)]$, all positive semidefinite elements are sums of squares. These results are used to prove that for the semigroup $*$-algebras of ${\bf Z}^2$, ${\bf N}_0\times{\bf Z}$ and ${\mathsf N}_+:=\{(k,n)\in{\bf Z}^2:k+n\geq 0\}$, all positive semidefinite elements are sums of hermitean squares.https://papers.cool/arxiv/2408.07392An abstract approach to the Robin-Robin method2024-08-15T00:00:00+00:00Emil EngströmEskil HansenRecently, their has been development of an abstract approach to the Robin--Robin method, enabling the treatment of linear and nonlinear elliptic and parabolic equations on Lipschitz domains within one framework. However, previously this setting has not been applicable to initial-boundary value problems. The aim of this short note is therefore to demonstrate that this general framework can be applied to such problems as well.https://papers.cool/arxiv/2408.07396Existence and local asymptotics for a system of cross-diffusion equations with nonlocal Cahn-Hilliard terms2024-08-15T00:00:00+00:00Elisa DavoliGreta MarinoJan-Frederik PietschmannWe study a nonlocal Cahn-Hilliard model for a multicomponent mixture with cross-diffusion effects and degenerate mobility. The nonlocality is described by means of a symmetric singular kernel. We define a notion of weak solution adapted to possible degeneracies and prove, as our first main result, its global-in-time existence. The proof relies on an application of the formal gradient flow structure of the system (to overcome the lack of a-priori estimates), combined with an extension of the boundedness-by-entropy method, in turn involving a careful analysis of an auxiliary variational problem. This allows to obtain solutions to an approximate, time-discrete system. Letting the time step size go to zero, we recover the desired nonlocal weak solution where, due to their low regularity, the Cahn-Hilliard terms require a special treatment. Finally, we prove convergence of solutions for this class of nonlocal Cahn-Hilliard equations to their local counterparts.https://papers.cool/arxiv/2408.07398Proximality, stability, and central limit theorem for random maps on an interval2024-08-15T00:00:00+00:00Sander C. HilleKatarzyna HorbaczHanna OppelmayerTomasz SzarekStochastic dynamical systems consisting of non-invertible continuous maps on an interval are studied. It is proved that if they satisfy the recently introduced so-called $\mu$-injectivity and some mild assumptions, then proximality, asymptotic stability and a central limit theorem hold.https://papers.cool/arxiv/2408.07400Polylogarithmic motivic Chabauty-Kim for $\mathbb{P}^1 \setminus \{ 0,1,\infty \}$: the geometric step via resultants2024-08-15T00:00:00+00:00David JarossayDavid T. -B. G. LilienfeldtFrancesco Maria SaettoneAriel WeissSa'ar ZehaviGiven a finite set $S$ of distinct primes, we propose a method to construct polylogarithmic motivic Chabauty-Kim functions for $\mathbb{P}^1 \setminus \{ 0,1,\infty \}$ using resultants. For a prime $p\not\in S$, the vanishing loci of the images of such functions under the $p$-adic period map contain the solutions of the $S$-unit equation. In the case $\vert S\vert=2$, we explicitly construct a non-trivial motivic Chabauty-Kim function in depth 6 of degree 18, and prove that there do not exist any other Chabauty-Kim functions with smaller depth and degree. The method, inspired by work of Dan-Cohen and the first author, enhances the geometric step algorithm developed by Corwin and Dan-Cohen, providing a more efficient approach.https://papers.cool/arxiv/2408.07409Local and global properties of spaces of minimal usco maps2024-08-15T00:00:00+00:00Serhii BardylaBranislav NovotnýJaroslav ŠupinaIn this paper, we study an interplay between local and global properties of spaces of minimal usco maps equipped with the topology of uniform convergence on compact sets. In particular, for each locally compact space $X$ and metric space $Y$, we characterize the space of minimal usco maps from $X$ to $Y$, satisfying one of the following properties: (i) compact, (ii) locally compact, (iii) $\sigma$-compact, (iv) locally $\sigma$-compact, (v) metrizable, (vi) ccc, (vii) locally ccc, where in the last two items we additionally assumed that $Y$ is separable and non-discrete. Some of the aforementioned results complement ones of \v{L}ubica Hol\'a and Du\v{s}an Hol\'y. Also, we obtain analogical characterizations for spaces of minimal cusco maps.https://papers.cool/arxiv/2408.07411Partition of Abelian groups into zero-sum sets by complete mappings and its application to the existence of a magic rectangle set2024-08-15T00:00:00+00:00Sylwia CichaczA complete mapping of a group $\Gamma$ is a bijection $\varphi\colon \Gamma\to \Gamma$ for which the mapping $x \mapsto x+\varphi(x)$ is a bijection. In this paper we consider the existence of a complete mapping $\varphi$ of $\Gamma$ and a partition $S_1,S_2,\ldots S_t$ of elements of $\Gamma$, such that $\sum_{s\in S_i}s=\sum_{s\in S_i}\varphi(s)=0$ for every $i$, $1 \leq i \leq t$. A $\Gamma$-magic rectangle set $MRS_{\Gamma}(a, b; c)$ of order $abc$ is a collection of $c$ arrays $(a\times b)$ whose entries are elements of group $\Gamma$ of order $abc$, each appearing once, with all row sums in every rectangle equal to a constant $\omega\in \Gamma$ and all column sums in every rectangle equal to a constant $\delta \in \Gamma$. While a complete characterization of MRS$_\Gamma(a,b;c)$ exists for cases where $\{a,b\}\not=\{2k+1,2^{\alpha}\}$, the scenario where $\{a,b\}=\{2k+1,2^{\alpha}\}$ remains unsolved for $\alpha>1$. Using the partition of $\Gamma$ into zero-sum sets by complete mappings, we give some sufficient conditions that a $\Gamma$-magic rectangle set MRS$_{\Gamma}(2k+1, 2^{\alpha};c)$ exists.https://papers.cool/arxiv/2408.07423A proof of The Radial Limit Conjecture for Costantino--Geer--Patureau-Mirand Quantum invariants2024-08-15T00:00:00+00:00William Elbæk MistegårdYuya MurakamiFor a negative definite plumbed three-manifold, we give an integral representation of the appropriate average of the GPPV invariants of Gukov--Pei--Putrov--Vafa, which implies that this average admits a resurgent asymptotic expansion, the leading term of which is the Costantino--Geer--Patureau-Mirand invariant of the three-manifold. This proves a conjecture of Costantino--Gukov--Putrov.https://papers.cool/arxiv/2408.07424Stability of the concentration inequality on polynomials2024-08-15T00:00:00+00:00María Ángeles García-FerreroJoaquim Ortega-CerdàIn this paper, we study the stability of the concentration inequality for one-dimensional complex polynomials. We provide the stability of the local concentration inequality and a global version using a Wehrl-type entropy.https://papers.cool/arxiv/2408.07426Symmetry groups of geodesic equations with applications in water waves and liquid crystals2024-08-15T00:00:00+00:00Bo GervangErwin LuesinkIn this work we derive several important equations in water waves and liquid crystals by deriving them as geodesic equations of right-invariant metrics on two infinite-dimensional groups. The equations we obtain this way are the Hopf (inviscid Burgers) equation, the Camassa-Holm equation, the Hunter-Saxton equation and the Korteweg-De Vries equation. We then study the symmetry groups of the equations themselves and show that one can improve the behaviour of the Hopf equation by metric and topological corrections. The symmetry groups of these equations can aid the benchmarking and testing of numerical methods.https://papers.cool/arxiv/2408.07429Limit Theorems for Weakly Dependent Non-stationary Random Field Arrays and Asymptotic Inference of Dynamic Spatio-temporal Models2024-08-15T00:00:00+00:00Yue PanJiazhu PanWe obtain the law of large numbers (LLN) and the central limit theorem (CLT) for weakly dependent non-stationary arrays of random fields with asymptotically unbounded moments. The weak dependence condition for arrays of random fields is proved to be inherited through transformation and infinite shift. This paves a way to prove the consistency and asymptotic normality of maximum likelihood estimation for dynamic spatio-temporal models (i.e. so-called ultra high-dimensional time series models) when the sample size and/or dimension go to infinity. Especially the asymptotic properties of estimation for network autoregression are obtained under reasonable regularity conditions.https://papers.cool/arxiv/2408.07437Memory-Assisted Quantized LDPC Decoding2024-08-15T00:00:00+00:00Philipp MohrGerhard BauchWe enhance coarsely quantized LDPC decoding by reusing computed check node messages from previous iterations. Typically, variable and check nodes generate and replace old messages in every iteration. We show that, under coarse quantization, discarding old messages involves a significant loss of mutual information. The loss is avoided with additional memory, improving performance up to 0.36 dB. We propose a modified information bottleneck algorithm to design node operations taking messages from the previous iteration(s) into account as side information. Finally, we reveal a 2-bit row-layered decoder that can operate within 0.25 dB w.r.t. 32-bit belief propagation.https://papers.cool/arxiv/2408.07447Nilpotent Feed Forward Network Dynamics2024-08-15T00:00:00+00:00Fahimeh MokhtariIn this paper, we explore the normal form of fully inhomogeneous feed forward network dynamical systems, characterized by a nilpotent linear component. We introduce a new normal form method, termed the triangular $\mathfrak{sl}_2$-style, to categorize this normal form. We aim to establish a comprehensive normal form theory, extending to quadratic terms across all dimensions. To accomplish this, we leverage mathematical tools including Hermite reciprocity, transvectants, and insights derived from the well-known $3$-dimensional normal form related to Sylvester's work on generating functions for quadratic covariants. Furthermore, we formulate the orbital normal form in a general Lie algebraic context as the result of an outer transformation and expand it into block-triangular outer normal form. This extended framework is subsequently employed in both $2$D and $3$D scenarios, leading to noteworthy simplifications that prepare these systems for the study of bifurcations.https://papers.cool/arxiv/2408.07449Diffuse Interface Model for Two-Phase Flows on Evolving Surfaces with Different Densities: Global Well-Posedness2024-08-15T00:00:00+00:00Helmut AbelsHarald GarckeAndrea PoiattiWe show existence and uniqueness of strong solutions to a Navier-Stokes/Cahn-Hilliard type system on a given two-dimensional evolving surface in the case of different densities and a singular (logarithmic) potential. The system describes a diffuse interface model for a two-phase flow of viscous incompressible fluids on an evolving surface. We also establish the validity of the instantaneous strict separation property from the pure phases. To show these results we use our previous achievements on local well-posedness together with suitable novel regularity results for the convective Cahn-Hilliard equation. The latter allows to obtain higher-order energy estimates to extend the local solution globally in time. To this aim the time evolution of energy type quantities has to be calculated and estimated carefully.https://papers.cool/arxiv/2408.07450Dynamic Pickup-and-Delivery for Collaborative Platforms with Time-Dependent Travel and Crowdshipping2024-08-15T00:00:00+00:00Sara StoiaDemetrio LaganàJeffrey W. OhlmannWe study a pickup-and-delivery problem that arises when customers randomly submit requests over the course of a day from a choice of vendors on a collaborative e-commerce portal. Based on the attributes of a customer request, a dispatcher dynamically schedules the delivery service on either a dedicated vehicle or a crowdshipper, both of whom experience time dependent travel times. While dedicated vehicles are available throughout the day, the availability of crowdshippers is unknown a priori and they appear randomly for only portions of the day. With an objective of minimizing the sum of routing costs, piece-rate crowdshipper payments, and lateness charges, we model the uncertainty in request arrivals and crowdshipper appearances as a Markov decision process. To determine an action at each decision epoch, we employ a heuristic that partially destroys the existing routes and repairs them guided by a parameterized cost function approximation that accounts for the remaining temporal capacity of delivery vehicles. Through a set of computational experiments, we demonstrate the improvement of our approach over a myopic approach in several key performance metrics. In addition, we conduct computational experiments demonstrate the impact of inserting wait time in the route scheduling and the benefit of explicitly modeling time-dependent travel times. Through our computational testing, we also investigate the effect of demand management mechanisms that facilitate many-to-one request bundles or one-to-many request bundles on reducing the cost to service requests.https://papers.cool/arxiv/2408.07454Quasi-invariant measures concentrating on countable structures2024-08-15T00:00:00+00:00Clinton ConleyColin JahelAristotelis PanagiotopoulosCountable $\mathcal{L}$-structures $\mathcal{N}$ whose isomorphism class supports a permutation invariant probability measure in the logic action have been characterized by Ackerman-Freer-Patel to be precisely those $\mathcal{N}$ which have no algebraicity. Here we characterize those countable $\mathcal{L}$-structure $\mathcal{N}$ whose isomorphism class supports a quasi-invariant probability measure. These turn out to be precisely those $\mathcal{N}$ which are not "highly algebraic" -- we say that $\mathcal{N}$ is highly algebraic if outside of every finite $F$ there is some $b$ and a tuple $\bar{a}$ disjoint from $b$ so that $b$ has a finite orbit under the pointwise stabilizer of $\bar{a}$ in $\mathrm{Aut}(\mathcal{N})$. As a bi-product of our proof we show that whenever the isomorphism class of $\mathcal{N}$ admits a quasi-invariant measure, then it admits one with continuous Radon--Nikodym cocycles.https://papers.cool/arxiv/2408.07475A logical limit law for the sequential model of preferential attachment graphs2024-08-15T00:00:00+00:00Alperen ÖzdemirFor a sequence of random graphs, the limit law we refer to is the existence of a limiting probability of any graph property that can be expressed in terms of predicate logic. A zero-one limit law is shown by Shelah and Spencer for Erd\"{o}s-Renyi graphs given that the connection rate has an irrational exponent. We show a limit law for preferential attachment graphs which admit a P\'{o}lya urn representation. The two extreme cases of the parametric model, the uniform attachment graph and the sequential Barab\'{a}si-Albert model, are covered separately as they exhibit qualitative differences regarding the distribution of cycles of bounded length in the graph.https://papers.cool/arxiv/2408.07485On the mod-2 cohomology of the product of the infinite lens space and the space of invariants in a generic degree2024-08-15T00:00:00+00:00Dang Vo PhucLet $\mathbb S^{\infty}/\mathbb Z_2$ be the infinite lens space. Denote the Steenrod algebra over the prime field $\mathbb F_2$ by $\mathscr A.$ It is well-known that the cohomology $H^{*}((\mathbb S^{\infty}/\mathbb Z_2)^{\oplus s}; \mathbb F_2)$ is the polynomial algebra $\mathcal {P}_s:= \mathbb F_2[x_1, \ldots, x_s],\, \deg(x_i) = 1,\, i = 1,\, 2,\ldots, s.$ The Kameko squaring operation $(\widetilde {Sq^0_*})_{(s; N)}: (\mathbb F_2\otimes_{\mathscr A} \mathcal {P}_s)_{2N+s} \longrightarrow (\mathbb F_2\otimes_{\mathscr A} \mathcal {P}_s)_{N}$ is indeed a valuable homomorphism for studying the dimension of the indecomposables $\mathbb F_2\otimes_{\mathscr A} \mathcal {P}_s,$ It has been demonstrated that this $(\widetilde {Sq^0_*})_{(s; N)}$ is onto. Motivated by our previous work [J. Korean Math. Soc. \textbf{58} (2021), 643-702], this paper studies the kernel of the Kameko $(\widetilde {Sq^0_*})_{(s; N_d)}$ for the case where $s = 5$ and the generic degree $N_d = 5(2^{d} - 1) + 11.2^{d+1}.$ We then rectify almost all of the main results that were incorrect in Nguyen Khac Tin's paper [Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. \textbf{116}:81 (2022)]. We have also constructed several advanced algorithms in SAGEMATH to validate our results. These new algorithms make an important contribution to tackling the intricate task of explicitly determining both the dimension and the basis for the indecomposables $\mathbb F_2 \otimes_{\mathscr A} \mathcal {P}_s$ at positive degrees, a problem concerning algorithmic approaches that had not previously been addressed by any author. Furthermore, this paper encompasses an investigation of the fifth cohomological transfer's behavior in the aforementioned degrees $N_d.$https://papers.cool/arxiv/2408.07489On relations between some types of convex functions2024-08-15T00:00:00+00:00Shoshana AbramovichIn this paper we show how the superquadratic functions can be used as a tool for researching other types of convex functions like $\phi $-convexity, strong-convexity and uniform convexity. We show how to use inequalities satisfied by superquadratic functions and how to adapt the technique used to get them in order to obtain new results satisfied by uniformly convex functions and to $\phi $-convex functions. Also, we show examples that emphasize relations between superquadracity and some other types of convex functionshttps://papers.cool/arxiv/2408.07493Gradient flow dynamics for cell membranes in the Canham-Helfrich model2024-08-15T00:00:00+00:00Fabian RuppChristian ScharrerManuel SchlierfThe energetically most efficient way how a deformed red blood cell regains equilibrium is mathematically described by the gradient flow of the Canham-Helfrich functional, including a spontaneous curvature and the conservation of surface area and enclosed volume. Using a recently discovered multiplicity inequality, we prove global existence and convergence of smooth solutions for spheres and axisymmetric tori, provided the initial energy lies below explicit thresholds.https://papers.cool/arxiv/2408.07498Wasserstein Gradient Flows of MMD Functionals with Distance Kernel and Cauchy Problems on Quantile Functions2024-08-15T00:00:00+00:00Richard DuongViktor SteinRobert BeinertJohannes HertrichGabriele SteidlWe give a comprehensive description of Wasserstein gradient flows of maximum mean discrepancy (MMD) functionals $\mathcal F_\nu := \text{MMD}_K^2(\cdot, \nu)$ towards given target measures $\nu$ on the real line, where we focus on the negative distance kernel $K(x,y) := -|x-y|$. In one dimension, the Wasserstein-2 space can be isometrically embedded into the cone $\mathcal C(0,1) \subset L_2(0,1)$ of quantile functions leading to a characterization of Wasserstein gradient flows via the solution of an associated Cauchy problem on $L_2(0,1)$. Based on the construction of an appropriate counterpart of $\mathcal F_\nu$ on $L_2(0,1)$ and its subdifferential, we provide a solution of the Cauchy problem. For discrete target measures $\nu$, this results in a piecewise linear solution formula. We prove invariance and smoothing properties of the flow on subsets of $\mathcal C(0,1)$. For certain $\mathcal F_\nu$-flows this implies that initial point measures instantly become absolutely continuous, and stay so over time. Finally, we illustrate the behavior of the flow by various numerical examples using an implicit Euler scheme and demonstrate differences to the explicit Euler scheme, which is easier to compute, but comes with limited convergence guarantees.https://papers.cool/arxiv/2408.07499Galois Theory2024-08-15T00:00:00+00:00Tom LeinsterThese are the notes for an undergraduate course at the University of Edinburgh, 2021-2023. Assuming basic knowledge of ring theory, group theory and linear algebra, the notes lay out the theory of field extensions and their Galois groups, up to and including the fundamental theorem of Galois theory. Also included are a section on ruler and compass constructions, a proof that solvable polynomials have solvable Galois groups, and the classification of finite fields.https://papers.cool/arxiv/2408.07501Front propagation in hybrid reaction-diffusion epidemic models with spatial heterogeneity2024-08-15T00:00:00+00:00Quentin GrietteHiroshi MatanoWe consider a two-species reaction-diffusion system in one space dimension that is derived from an epidemiological model in a spatially periodic environment with two types of pathogens: the wild type and the mutant. The system is of a hybrid nature, partly cooperative and partly competitive, but neither of these entirely. We study under what conditions the spreading of infection occurs when the pathogen are localized initially. We show that there is a well-defined spreading speed and that it coincides with the minimal speed of the traveling waves. Next, we study the homogenization limit of the traveling waves when the spatial period of the coefficients tends to zero. Finally, we give an example of the coefficients for which the right-bound and left-bound traveling waves have different speeds, via an analysis of a certain singular limit problem. Note that such an example never exists in scalar reaction-diffusion equations even with non-symmetric spatial heterogeneity.https://papers.cool/arxiv/2408.07503Faster Stochastic Optimization with Arbitrary Delays via Asynchronous Mini-Batching2024-08-15T00:00:00+00:00Amit AttiaOfir GaashTomer KorenWe consider the problem of asynchronous stochastic optimization, where an optimization algorithm makes updates based on stale stochastic gradients of the objective that are subject to an arbitrary (possibly adversarial) sequence of delays. We present a procedure which, for any given $q \in (0,1]$, transforms any standard stochastic first-order method to an asynchronous method with convergence guarantee depending on the $q$-quantile delay of the sequence. This approach leads to convergence rates of the form $O(\tau_q/qT+\sigma/\sqrt{qT})$ for non-convex and $O(\tau_q^2/(q T)^2+\sigma/\sqrt{qT})$ for convex smooth problems, where $\tau_q$ is the $q$-quantile delay, generalizing and improving on existing results that depend on the average delay. We further show a method that automatically adapts to all quantiles simultaneously, without any prior knowledge of the delays, achieving convergence rates of the form $O(\inf_{q} \tau_q/qT+\sigma/\sqrt{qT})$ for non-convex and $O(\inf_{q} \tau_q^2/(q T)^2+\sigma/\sqrt{qT})$ for convex smooth problems. Our technique is based on asynchronous mini-batching with a careful batch-size selection and filtering of stale gradients.https://papers.cool/arxiv/2408.07515Global well-posedness and large-time behavior for a special $2\frac{1}{2}$D full compressible viscous non-resistive MHD system2024-08-15T00:00:00+00:00Xiaoping ZhaiShunhang ZhangIn this paper, we consider the full compressible, viscous, non-resistive MHD system under the assumption that the fluids move on a plane while the magnetic field is oriented vertically. Within the framework of Besov spaces, by introducing several new unknown quantities and exploiting the intrinsic structure of the system, we prove the global well-posedness of strong solutions for initial data close to a constant equilibrium state. Furthermore, under some suitable additional conditions involving only the low-frequency part of the initial perturbation, we develop a Lyapunov-type energy argument, which yields the optimal time-decay rates of the global solution. To the best of our knowledge, our result is the first one on global solvability to the full compressible, viscous, non-resistive MHD system in multi-dimensional whole space.https://papers.cool/arxiv/2408.07528Complex $m$-Hessian type equations in weighted energy classes of $m$-subharmonic functions with given boundary value2024-08-15T00:00:00+00:00Nguyen Van PhuNguyen Quang DieuIn this paper, we concern with the existence of solutions of the complex $m-$Hessian type equation $-\chi(u)H_{m}(u)=\mu$ in the class $\mathcal{E}_{m,\chi}(f,\Omega)$ if there exists subsolution in this class, where the given boundary value $f\in\mathcal{N}_m(\Omega)\cap MSH_m(\Omega).$https://papers.cool/arxiv/2408.07533Information-Theoretic Measures on Lattices for High-Order Interactions2024-08-15T00:00:00+00:00Zhaolu LiuMauricio BarahonaRobert L. PeachTraditional models reliant solely on pairwise associations often prove insufficient in capturing the complex statistical structure inherent in multivariate data. Yet existing methods for identifying information shared among groups of $d>3$ variables are often intractable; asymmetric around a target variable; or unable to consider all factorisations of the joint probability distribution. Here, we present a framework that systematically derives high-order measures using lattice and operator function pairs, whereby the lattice captures the algebraic relational structure of the variables and the operator function computes measures over the lattice. We show that many existing information-theoretic high-order measures can be derived by using divergences as operator functions on sublattices of the partition lattice, thus preventing the accurate quantification of all interactions for $d>3$. Similarly, we show that using the KL divergence as the operator function also leads to unwanted cancellation of interactions for $d>3$. To characterise all interactions among $d$ variables, we introduce the Streitberg information defined on the full partition lattice using generalisations of the KL divergence as operator functions. We validate our results numerically on synthetic data, and illustrate the use of the Streitberg information through applications to stock market returns and neural electrophysiology data.https://papers.cool/arxiv/2408.07534Uniform Consistency of Generalized Fréchet Means2024-08-15T00:00:00+00:00Andrea AveniSayan MukherjeeWe study a generalization of the Fr\'echet mean on metric spaces, which we call $\phi$-means. Our generalization is indexed by a convex function $\phi$. We find necessary and sufficient conditions for $\phi$-means to be finite and provide a tight bound for the diameter of the intrinsic mean set. We also provide sufficient conditions under which all the $\phi$-means coincide in a single point. Then, we prove the consistency of the sample $\phi$-mean to its population analogue. We also find conditions under which classes of $\phi$-means converge uniformly, providing a Glivenko-Cantelli result. Finally, we illustrate applications of our results and provide algorithms for the computation of $\phi$-means.https://papers.cool/arxiv/2408.07546The Parametric Matroid $\ell$-Interdiction Problem2024-08-15T00:00:00+00:00Nils HausbrandtStefan RuzikaIn this article, we introduce the parametric matroid $\ell$-interdiction problem, where $\ell\in\mathbb{N}_{>0}$ is a fixed number of elements allowed to be interdicted. Each element of the matroid's ground set is assigned a weight that depends linearly on a real parameter from a given interval. The goal is to compute, for each possible parameter value, a set of $\ell$-most vital elements with corresponding objective value the deletion of which causes a maximum increase of the weight of a minimal basis. We show that such a set, which of course depends on the parameter, can only change polynomially often if the parameter varies. We develop several exact algorithms to solve the problem that have polynomial running times if an independence test can be performed in polynomial time.https://papers.cool/arxiv/2408.07548On the probabilistic metrizability of approach spaces2024-08-15T00:00:00+00:00Hongliang LaiLili ShenJunche YuWe investigate approach spaces generated by probabilistic metric spaces with respect to a continuous t-norm $*$ on the unit interval $[0,1]$. Let $k^*$ be the supremum of the idempotent elements of $*$ in $[0,1)$. It is shown that if $k^*=1$ (resp. $k^*<1$), then an approach space is probabilistic metrizable with respect to $*$ if and only if it is probabilistic metrizable with respect to the minimum (resp. product) t-norm.https://papers.cool/arxiv/2408.07550Exact values of generic subrank2024-08-15T00:00:00+00:00Paweł PielasaMatouš ŠafránekAnatoli ShatsilaIn this article we prove the subrank of a generic tensor in $\mathbb{C}^{n,n,n}$ to be $Q(n) = \lfloor\sqrt{3n - 2}\rfloor$ by providing a lower bound to the known upper bound. More generally, we find the generic subrank of tensors of all orders and dimensions. This answers two open questions posed in arXiv:2205.15168v2. Finally, we compute dimensions of varieties of tensors of subrank at least $r$.https://papers.cool/arxiv/2408.07564Local Rigidity and Six Functor Formalisms2024-08-15T00:00:00+00:00Adrian CloughThe coefficient categories of six functor formalisms are often locally rigid, and when this is the case, the exceptional pushforward and pullback adjunctions may be defined formally. In this short note it is shown that for f a proper map resp. an open embedding the well known formulas f_! = f_* resp. f_! = f_# may likewise be deduced formally.https://papers.cool/arxiv/2408.07571Stability for the $2\frac12$-D compressible viscous non-resistive and heat-conducting magnetohydrodynamic flow2024-08-15T00:00:00+00:00Xiaoping ZhaiYongsheng LiYajuan ZhaoIn this paper, we are concerned with the initial boundary values problem associated to the compressible viscous non-resistive and heat-conducting magnetohydrodynamic flow, where the magnetic field is vertical. More precisely, by exploiting the intrinsic structure of the system and introducing several new unknown quantities, we overcome the difficulty stemming from the lack of dissipation for density and magnetic field, and prove the global well-posedness of strong solutions in the framework of Soboles spaces $H^3$. In addition, we also get the exponential decay for this non-resistive system. Different from the known results [23], [24], [42], we donot need the assumption that the background magnetic field is positive here.https://papers.cool/arxiv/2408.07572Probability graphons and P-variables: two equivalent viewpoints for dense weighted graph limits2024-08-15T00:00:00+00:00Giulio ZucalWe develop further the graph limit theory for dense weighted graph sequences. In particular, we consider probability graphons, which have recently appeared in graph limit theory as continuum representations of weighted graphs, and we introduce P-variables, which also appear in the context of the Aldous-Hoover theorem for exchangeable infinite random arrays, as an alternative continuum representation for weighted graphs. In particular, we explain how P-variables are related to probability graphons in a similar way in which random variables are related to probability measures. We define a metric for P-variables (inspired by action convergence in the graph limit theory of sparse graph sequences) and show that convergence of P-variables in this metric is equivalent to probability graphons convergence. We exploit this equivalence to translate several results from the theory of probability graphons to P-variables. In addition, we prove several properties of P-variables convergence, thus showing new properties also for probability graphons convergence and demonstrating the power of the connection between probability graphons and P-variables. Furthermore, we show how P-variables convergence can be easily modified and generalised to cover other combinatorial structures such as bipartite graphs and hypergraphs.https://papers.cool/arxiv/2408.07574Degenerations of nilalgebras2024-08-15T00:00:00+00:00Ivan KaygorodovOleg ShashkovAll complex $3$-dimensional nilalgebras were described. As a corollary, all degenerations in the variety of complex $3$-dimensional nilalgebras were obtained.https://papers.cool/arxiv/2408.07581The ($Γ$-asymptotic) wavefront sets: $GL_n$2024-08-15T00:00:00+00:00Dan CiubotaruJu-Lee KimLet $G$ be a connected reductive $p$-adic group. As verified for unipotent representations, it is expected that there is a close relation between the (Harish-Chandra-Howe) wavefronts sets of irreducible smooth representations and their Langlands parameters in the local Langlands correspondence via the Lusztig-Spaltenstein duality and the Aubert-Zelevinsky duality. In this paper, we define the $\Gamma$-asymptotic wavefront sets generalizing the notion of wavefront sets via the $\Gamma$-asymptotic expansions (in the sense of Kim-Murnaghan), and then study the their relation with the Langlands parameters. When $G=GL_n$, it turns out that this reduces to the corresponding relation of unipotent representations of the appropriate twisted Levi subgroups via Hecke algebra isomorphisms. For unipotent representations of $GL_n$, we also describe the Harish-Chandra-Howe (HCH) local character expansions of irreducible smooth representations using Kazhdan-Lusztig theory, and give another computation of the coefficients in the HCH expansion and the wavefront sets.https://papers.cool/arxiv/2408.07582Geometric constraints on Ekman boundary layer solutions in non-flat regions with well-prepared data2024-08-15T00:00:00+00:00Yifei JiaYi DuLihui GuoThe construction of Ekman boundary layer solutions near the non-flat boundaries presents a complex challenge, with limited research on this issue. In Masmoudi's pioneering work [Comm. Pure Appl. Math. 53 (2000), 432--483], the Ekman boundary layer solution was investigated on the domain $\mathbb{T}^2\times [\varepsilon B(x,y), 1]$, where $\varepsilon$ is a small constant and $B(x,y)$ denotes a periodic smooth function. This study investigates the influence of the geometric structure of the boundary $B(x,y)$ within the boundary layer. Specifically, for well-prepared initial data in the domain $\mathbb{R}^2\times[B(x,y), B(x,y)+2]$, if the boundary surface $B(x,y)$ is smooth and satisfies certain geometric constraints concerning its Gaussian and mean curvatures, then we derive an approximate boundary layer solution. Additionally, according to the curvature and incompressible conditions, the limit system we constructed is a 2D primitive system with damping and rotational effects. From the model's background, it reflects the characteristics arising from rotational effects. Finally, we validate the convergence of this approximate solution. No smallness condition on the amplitude of boundary $B(x, y)$ is required.https://papers.cool/arxiv/2408.07593On the Stable Birationality of Hilbert schemes of points on surfaces2024-08-15T00:00:00+00:00Morena PorzioThe aim of this paper is to study the stable birational type of $Hilb^n_X$, the Hilbert scheme of degree $n$ points on a surface $X$. More precisely, it addresses the question for which pairs of positive integers $(n,n')$ the variety $Hilb^n_X$ is stably birational to $Hilb^{n'}_X$, when $X$ is a surface with irregularity $q(X)=0$. After general results for such surfaces, we restrict our attention to geometrically rational surfaces, proving that there are only finitely many stable birational classes among the $Hilb^n_X$'s. As a corollary, we deduce the rationality of the motivic zeta function $\zeta(X,t)$ in $K_0(Var/k)/([\mathbb{A}^1_k])[[t]]$ over fields of characteristic zero.https://papers.cool/arxiv/2408.07596Quadratic-time computations for pseudo-Anosov mapping classes2024-08-15T00:00:00+00:00Dan MargalitBalázs StrennerSamuel J. TaylorS. Öykü YurttaşWe give a quadratic-time algorithm to compute the stretch factor and the invariant measured foliations for a pseudo-Anosov element of the mapping class group. As input, the algorithm accepts a word (in any given finite generating set for the mapping class group) representing a pseudo-Anosov mapping class, and the length of the word is our measure of complexity for the input. The output is a train track and an integer matrix where the stretch factor is the largest real eigenvalue and the unstable foliation is given by the corresponding eigenvector. This is the first algorithm to compute stretch factors and measured foliations that is known to terminate in sub-exponential time.https://papers.cool/arxiv/2408.07597Vertex operator expressions for Lie algebras of physical states2024-08-15T00:00:00+00:00Thomas Driscoll-SpittlerWe study the Lie algebra of physical states associated with certain vertex operator algebras of central charge 24. By applying the no-ghost theorem from string theory we express the corresponding Lie brackets in terms of vertex algebra operations. In the special case of the Moonshine module this result answers a question of Borcherds, posed in his paper on the Monstrous moonshine conjecture.https://papers.cool/arxiv/2408.07610Elliptic operators and boundary problems in spaces of generalized smoothness2024-08-15T00:00:00+00:00V. A. MikhailetsA. A. MurachI. S. ChepurukhinaThe paper contains a survey of the results obtained during the last ten years in the theory of elliptic boundary problems in H\"ormander function spaces, developed by the authors, and other related results of modern analysis. The basics of this theory and some of its applications are systematically expounded in the monograph "H\"ormander Spaces, Interpolation, and Elliptic Problems" (De Gruyter, Berlin/Boston, 2014) by the first two authors of the survey.https://papers.cool/arxiv/2408.07619Directional Chebyshev Constants on the Boundary2024-08-15T00:00:00+00:00Thomas BloomNorman LevenbergWe prove results on existence of limits in the definition of (weighted) directional Chebyshev constants at all points of the standard simplex $\Sigma \subset {\bf R}^d$ for (locally) regular compact sets $K\subset {\bf C}^d$.https://papers.cool/arxiv/2408.07621Information-Set Decoding for Convolutional Codes2024-08-15T00:00:00+00:00Niklas GassnerJulia LiebAbhinaba MazumderMichael SchallerIn this paper, we present a framework for generic decoding of convolutional codes, which allows us to do cryptanalysis of code-based systems that use convolutional codes. We then apply this framework to information set decoding, study success probabilities and give tools to choose variables. Finally, we use this to attack two cryptosystems based on convolutional codes. In the first, our code recovered about 74% of errors in less than 10 hours each, and in the second case, we give experimental evidence that 80% of the errors can be recovered in times corresponding to about 60 bits of operational security, with some instances being significantly lower.https://papers.cool/arxiv/2408.07627Clique structure and other network properties of the tensor product of Erdős-Rényi graphs2024-08-15T00:00:00+00:00Umit IslakBugra IncekaraWe analyze the number of cliques of given size and the size of the largest clique in tensor product $G \times H$ of two Erd\H{o}s-R\'enyi graphs $G$ and $H$. Then an extended clustering coefficient is introduced and is studied for $G \times H$. Restriction to the standard clustering coefficient has a direct relation to the local efficiency of the graph, and the results are also interpreted in terms of the efficiency. As a last statistic of interest, the number of isolated vertices is analyzed for $G \times H$. The paper is concluded with a discussion of the modular product of random graphs, and the relation to the maximum common subgraph problem.https://papers.cool/arxiv/2408.07631Counting rational points on Hirzebruch-Kleinschmidt varieties over global function fields2024-08-15T00:00:00+00:00Sebastián HerreroTobías MartínezPedro MonteroInspired by Bourqui's work on anticanonical height zeta functions on Hirzebruch surfaces, we study height zeta functions of split toric varieties with Picard rank 2 over global function fields, with respect to height functions associated with big metrized line bundles. We show that these varieties can be naturally decomposed into a finite disjoint union of subvarieties, where precise analytic properties of the corresponding height zeta functions can be given, allowing for a finer inspection of the asymptotic number of rational points of bounded height on each subvariety.https://papers.cool/arxiv/2408.07634Sufficient conditions for the existence of packing asymptotics on linear sets of Lebesgue measure zero2024-08-15T00:00:00+00:00Austin AndersonSteven DamelinWe use a characterization of Minkowski measurability to study the asymptotics of best packing on cut-out subsets of the real line with Minkowski dimension $d\in(0,1)$. Our main result is a proof that Minkowski measurability is a sufficient condition for the existence of best packing asymptotics on monotone rearrangements of these sets. For each such set, the main result provides an explicit constant of proportionality $p_d,$ depending only on the Minkowski dimension $d,$ that relates its packing limit and Minkowski content. We later use the Digamma function to study the limiting value of $p_d$ as $d\to 1^-.$ For sharpness, we use renewal theory to prove that the packing constant of the $(1/2,1/3)$ Cantor set is less than the product of its Minkowski content and $p_d$. We also show that the measurability hypothesis of the main theorem is necessary by demonstrating that a monotone rearrangement of the complementary intervals of the 1/3 Cantor set has Minkowski dimension $d=\log2/\log3\in(0,1),$ is not Minkowski measurable, and does not have convergent first-order packing asymptotics. The aforementioned characterization of Minkowski measurability further motivates the asymptotic study of an infinite multiple subset sum problem.https://papers.cool/arxiv/2408.07646Topology of total cut and cut complexes of grid graphs2024-08-15T00:00:00+00:00Himanshu ChandrakarNisith Ranjan HazraDebotosh RoutAnurag SinghInspired by the work of Fr\"oberg (1990) and Eagon and Reiner (1998), Bayer et al. recently introduced two new graph complexes: total cut complexes and cut complexes. In this article, we investigate these complexes specifically for (rectangular) grid graphs, focusing on $2 \times n$ and $3 \times n$ cases. We extend and refine the work of Bayer et al., proving and strengthening several of their conjectures, thereby enhancing the understanding of the topological and combinatorial properties of these graph complexes.https://papers.cool/arxiv/2408.07656Hypersurfaces of constant scalar curvature in hyperbolic space with prescribed asymptotic boundary at infinity2024-08-15T00:00:00+00:00Bin WangIn this note, we study the asymptotic Plateau problem in hyperbolic space, and we prove the existence of a smooth complete hypersurface of constant scalar curvature in hyperbolic space with a prescribed asymptotic boundary at infinity. Following a pioneering work of Bo Guan and Joel Spruck, we seek the solution as a graph over a bounded domain and solve the corresponding Dirichlet problem by establishing the crucial second order estimates for admissible solutions. Our proof consists of three main ingredients: (1) a new test function, (2) a so-called almost-Jacobi inequality for the equation operator, and (3) a set of arguments which reduce the situation to semi-convex case and which keep the coefficient of the troublesome negative term in a suitable magnitude.https://papers.cool/arxiv/2408.07658Comparison of Gini means with fixed number of variables2024-08-15T00:00:00+00:00Richárd GrünwaldZsolt PálesIn this paper, we consider the global comparison problem of Gini means with fixed number of variables on a subinterval $I$ of $\mathbb{R}_+$, i.e., the following inequality \begin{align}\tag{$\star$}\label{ggcabs} G_{r,s}^{[n]}(x_1,\dots,x_n) \leq G_{p,q}^{[n]}(x_1,\dots,x_n), \end{align} where $n\in\mathbb{N},n\geq2$ is fixed, $(p,q),(r,s)\in\mathbb{R}^2$ and $x_1,\dots,x_n\in I$. Given a nonempty subinterval $I$ of $\mathbb{R}_+$ and $n\in\mathbb{N}$, we introduce the relations \[ \Gamma_n(I):=\{((r,s),(p,q))\in\mathbb{R}^2\times\mathbb{R}^2\mid \eqref{ggcabs}\mbox{ holds for all } x_1,\dots,x_n\in I\},\qquad \Gamma_\infty(I):=\bigcap_{n=1}^\infty\Gamma_n(I). \] In the paper, we investigate the properties of these sets and their dependence on $n$ and on the interval $I$ and we establish a characterizations of these sets via a constrained minimum problem by using a variant of the Lagrange multiplier rule. We also formulate two open problems at the end of the paper.https://papers.cool/arxiv/2408.07669Two-level hybrid Schwarz Preconditioners for The Helmholtz Equation with high wave number2024-08-15T00:00:00+00:00Peipei LuXuejun XuBowen ZhengJun ZouIn this work, we propose and analyze two two-level hybrid Schwarz preconditioners for solving the Helmholtz equation with high wave number in two and three dimensions. Both preconditioners are defined over a set of overlapping subdomains, with each preconditioner formed by a global coarse solver and one local solver on each subdomain. The global coarse solver is based on the localized orthogonal decomposition (LOD) technique, which was proposed in [27,28] originally for the discretization schemes for elliptic multiscale problems with heterogeneous and highly oscillating coefficients and Helmholtz problems with high wave number to eliminate the pollution effect. The local subproblems are Helmholtz problems in subdomains with homogeneous boundary conditions (the first preconditioner) or impedance boundary conditions (the second preconditioner). Both preconditioners are shown to be optimal under some reasonable conditions, that is, a uniform upper bound of the preconditioned operator norm and a uniform lower bound of the field of values are established in terms of all the key parameters, such as the fine mesh size, the coarse mesh size, the subdomain size and the wave numbers. It is the first time to show that the LOD solver can be a very effective coarse solver when it is used appropriately in the Schwarz method with multiple overlapping subdomains. Numerical experiments are presented to confirm the optimality and efficiency of the two proposed preconditioners.https://papers.cool/arxiv/2408.07670Performance Analysis of Double Reconfigurable Intelligent Surfaces Assisted NOMA Networks2024-08-15T00:00:00+00:00Xuehua LiXuanhao LianXinwei YueZhiping LuChongwen HuangTianwei HouThis paper introduces double cascaded reconfigurable intelligent surfaces (RISs) to non-orthogonal multiple access (NOMA) networks over cascaded Rician fading and Nakagami-$m$ fading channels, where two kinds of passive RIS (PRIS) and active RIS (ARIS) are taken into consideration, called PRIS-ARIS-NOMA networks. Additionally, new closed-form and asymptotic expressions for outage probability and ergodic data rate of two non-orthogonal users are derived with the imperfect/perfect successive interference cancellation schemes. The scenario is modelled around two non-orthogonal users and focuses on analyzing their communication characteristics. Based on the approximate results, the diversity orders and ergodic data rate slopes of two users are obtained in the high signal-to-noise ratios. In addition, the system throughput of PRIS-ARIS-NOMA in delay-limited mode and delay-tolerant mode are discussed according to the outage probability and ergodic data rate. The simulation results verify the correctness of the formulas and yields the following insights: 1) The outage behaviors of PRIS-ARIS-NOMA outperforms than that of PRIS-ARIS assisted orthogonal multiple access (OMA); 2)Use of PRIS-ARIS-NOMA is better than use of PRIS-ARIS-OMA in small transmit power threshold scenarios 3) By increasing the number of reflecting elements of RISs, the PRIS-ARIS-NOMA is able to achieve the enhanced outage performance; and 4) The PRIS-ARIS-NOMA has the higher ergodic data rate and system throughput than double PRISs-NOMA.https://papers.cool/arxiv/2408.07679The balancing index over the alternating group2024-08-15T00:00:00+00:00Peter DukesGeorgia PennerThe balancing index of a polynomial $f \in \mathbb{Z}[x_1,\dots,x_n]$ is the least positive sum of coefficients in an integer linear combination of permuted copies of $f$ which produces a symmetric polynomial. Here we consider the restricted problem in which only even permutations are used.https://papers.cool/arxiv/2408.07688Finite Dimensional Projections of HJB Equations in the Wasserstein Space2024-08-15T00:00:00+00:00Andrzej ŚwięchLukas WesselsThis paper continues the study of controlled interacting particle systems with common noise started in [W. Gangbo, S. Mayorga and A. {\'{S}}wi{\k{e}}ch, \textit{SIAM J. Math. Anal.} 53 (2021), no. 2, 1320--1356] and [S. Mayorga and A. {\'{S}}wi{\k{e}}ch, \textit{SIAM J. Control Optim.} 61 (2023), no. 2, 820--851]. First, we extend the following results of the previously mentioned works to the case of multiplicative noise: (i) We generalize the convergence of the value functions $u_n$ corresponding to control problems of $n$ particles to the value function $V$ corresponding to an appropriately defined infinite dimensional control problem; (ii) we prove, under certain additional assumptions, $C^{1,1}$ regularity of $V$ in the spatial variable. The second main contribution of the present work is the proof that if $DV$ is continuous (which, in particular, includes the previously proven case of $C^{1,1}$ regularity in the spatial variable), the value function $V$ projects precisely onto the value functions $u_n$. Using this projection property, we show that optimal controls of the finite dimensional problem correspond to optimal controls of the infinite dimensional problem and vice versa. In the case of a linear state equation, we are able to prove that $V$ projects precisely onto the value functions $u_n$ under relaxed assumptions on the coefficients of the cost functional by using approximation techniques in the Wasserstein space, thus covering cases where $V$ may not be differentiable.https://papers.cool/arxiv/2408.07691A family of high-order accurate contour integral methods for strongly continuous semigroups2024-08-15T00:00:00+00:00Andrew HorningAdam R. GerlachExponential integrators based on contour integral representations lead to powerful numerical solvers for a variety of ODEs, PDEs, and other time-evolution equations. They are embarrassingly parallelizable and lead to global-in-time approximations that can be efficiently evaluated anywhere within a finite time horizon. In this article, we propose a family of new high-order quadrature schemes for strongly continuous semigroups based on regularized contour integral representations. Our algorithms are accompanied by explicit high-order error bounds and near-optimal parameter selection. We demonstrate key features of the schemes on singular first-order PDEs from Koopman operator theory.https://papers.cool/arxiv/2408.07693Elliptic cohomology and quantum field theory2024-08-15T00:00:00+00:00Daniel Berwick-EvansThis survey provides an introduction to the Stolz-Teichner program on elliptic cohomology and quantum field theory.https://papers.cool/arxiv/2408.07695Generalized Quandle Polynomials and Their Applications to Stuquandles, Stuck Links, and RNA Folding2024-08-15T00:00:00+00:00Ekaterina BondarenkoJose CenicerosMohamed ElhamdadiBrooke JonesWe introduce a generalization of the quandle polynomial. We prove that our polynomial is an invariant of stuquandles. Furthermore, we use the invariant of stuquandles to define a polynomial invariant of stuck links. As a byproduct, we obtain a polynomial invariant of RNA foldings. Lastly, we provide explicit computations of our polynomial invariant for both stuck links and RNA foldings.https://papers.cool/arxiv/2408.07698Gamma vectors as inverted Chebyshev expansions, type A to B transformations, and connections to algebraic structures2024-08-15T00:00:00+00:00Soohyun ParkGiven a reciprocal/palindromic polynomial of even degree, we show that the gamma vector is essentially given by an inverted Chebyshev polynomial basis expansion. As an immediate consequence, we characterize real-rootedness of a linear combination of Chebyshev polynomials in terms of real-rootedness of that of the reciprocal polynomial built out of an inverted scaled tuple of the coefficients with one fixed and the rest divided by 2. It can be taken as a counterpart to a recent result of Bel-Afia--Meroni--Telen on hyperbolicity of Chebyshev curves with respect to the origin. Apart from this, the inverted Chebyshev expansion also yields connections between intrinsic properties of the gamma vector construction and the geometric combinatorics of simplicial complexes and posets. We find this by applying work of Hetyei on Tchebyshev subdivisions and Tchebyshev posets. In particular, we find that the gamma vector transformation is closely related to $f$-vectors of simplicial complexes resulting from successive edge subdivisions that transform the type A Coxeter complex to the type B Coxeter complex. Lifting to this to the level of $ce$-indices (a modification of $cd$-indices), we show that the gamma vector inverted Chebyshev polynomial expansion lifts to a sum of $ce$-indices of cross polytope triangulations which can be computed using descent statistics involving edge labelings of maximal chains. While there are many examples in the literature where gamma positivity involving descent statistics, it is interesting to note that we have this without initial structural assumptions on the input polynomial apart from being reciprocal/palindromic. Finally, we note that all of these can be repeated with Chebyshev polynomials of the second kind after taking derivatives and that this gives connections to Hopf algebras and quasisymmetric functions.https://papers.cool/arxiv/2408.07701A categorical interpretation of Morita equivalence for dynamical von Neumann algebras2024-08-15T00:00:00+00:00Joeri De Ro$\DeclareMathOperator{\G}{\mathbb{G}}\DeclareMathOperator{\Rep}{Rep} \DeclareMathOperator{\Corr}{Corr}$Let $\G$ be a locally compact quantum group and $(M, \alpha)$ a $\G$-$W^*$-algebra. The object of study of this paper is the $W^*$-category $\Rep^{\G}(M)$ of normal, unital $\G$-representations of $M$ on Hilbert spaces endowed with a unitary $\G$-representation. This category has a right action of the category $\Rep(\G)= \Rep^{\G}(\mathbb{C})$ for which it becomes a right $\Rep(\G)$-module $W^*$-category. Given another $\G$-$W^*$-algebra $(N, \beta)$, we denote the category of normal $*$-functors $\Rep^{\G}(N)\to \Rep^{\G}(M)$ compatible with the $\Rep(\G)$-module structure by $\operatorname{Fun}_{\Rep(\G)}(\Rep^{\G}(N), \Rep^{\G}(M))$ and we denote the category of $\G$-$M$-$N$-correspondences by $\operatorname{Corr}^{\G}(M,N)$. We prove that there are canonical functors $P: \Corr^{\G}(M,N)\to \operatorname{Fun}_{\Rep(\G)}(\Rep^{\G}(N), \Rep^{\G}(M))$ and $Q: \operatorname{Fun}_{\Rep(\G)}(\Rep^{\G}(N), \Rep^{\G}(M))\to \operatorname{Corr}^{\G}(M,N)$ such that $Q \circ P\cong \operatorname{id}.$ We use these functors to show that the $\G$-dynamical von Neumann algebras $(M, \alpha)$ and $(N, \beta)$ are equivariantly Morita equivalent if and only if $\Rep^{\G}(N)$ and $\Rep^{\G}(M)$ are equivalent as $\Rep(\G)$-module-$W^*$-categories. Specializing to the case where $\G$ is a compact quantum group, we prove that moreover $P\circ Q \cong \operatorname{id}$, so that the categories $\Corr^{\G}(M,N)$ and $\operatorname{Fun}_{\Rep(\G)}(\Rep^{\G}(N), \Rep^{\G}(M))$ are equivalent. This is an equivariant version of the Eilenberg-Watts theorem for actions of compact quantum groups on von Neumann algebras.