Mathematics
New submissions
[ showing up to 2000 entries per page: fewer | more ]
New submissions for Thu, 2 May 24
- [1] arXiv:2405.00058 [pdf, ps, other]
-
Title: Gaussianity and the Kalman Filter: A Simple Yet Complicated RelationshipJournal-ref: Journal de Ciencia e Ingenier\'ia, vol. 14, no. 1, pp. 21-26, 2022Subjects: Optimization and Control (math.OC); Statistics Theory (math.ST)
One of the most common misconceptions made about the Kalman filter when applied to linear systems is that it requires an assumption that all error and noise processes are Gaussian. This misconception has frequently led to the Kalman filter being dismissed in favor of complicated and/or purely heuristic approaches that are supposedly "more general" in that they can be applied to problems involving non-Gaussian noise. The fact is that the Kalman filter provides rigorous and optimal performance guarantees that do not rely on any distribution assumptions beyond mean and error covariance information. These guarantees even apply to use of the Kalman update formula when applied with nonlinear models, as long as its other required assumptions are satisfied. Here we discuss misconceptions about its generality that are often found and reinforced in the literature, especially outside the traditional fields of estimation and control.
- [2] arXiv:2405.00061 [pdf, other]
-
Title: Successive Convexification for Nonlinear Model Predictive Control with Continuous-Time Constraint SatisfactionSubjects: Optimization and Control (math.OC)
We propose a nonlinear model predictive control (NMPC) framework based on a direct optimal control method that ensures continuous-time constraint satisfaction and accurate evaluation of the running cost, without compromising computational efficiency. We leverage the recently proposed successive convexification framework for trajectory optimization, where: (1) the path constraints and running cost are equivalently reformulated by augmenting the system dynamics, (2) multiple shooting is used for exact discretization, and (3) a convergence-guaranteed sequential convex programming (SCP) algorithm, the prox-linear method, is used to solve the discretized receding-horizon optimal control problems. The resulting NMPC framework is computationally efficient, owing to its support for warm-starting and premature termination of SCP, and its reliance on first-order information only. We demonstrate the effectiveness of the proposed NMPC framework by means of a numerical example with reference-tracking and obstacle avoidance. The implementation is available at https://github.com/UW-ACL/nmpc-ctcs
- [3] arXiv:2405.00063 [pdf, ps, other]
-
Title: A bijection proof of Andrews--Merca integer partiton theoremAuthors: Ji-Cai LiuComments: 4 pagesSubjects: Combinatorics (math.CO); Number Theory (math.NT)
In this note, we provide a bijection proof of Andrews and Merca's recent results on the sum of the parts with the same parity in the partitions of $n$.
- [4] arXiv:2405.00065 [pdf, other]
-
Title: From Linear to Linearizable Optimization: A Novel Framework with Applications to Stationary and Non-stationary DR-submodular OptimizationSubjects: Optimization and Control (math.OC); Computational Complexity (cs.CC); Machine Learning (cs.LG); Machine Learning (stat.ML)
This paper introduces the notion of upper linearizable/quadratizable functions, a class that extends concavity and DR-submodularity in various settings, including monotone and non-monotone cases over different convex sets. A general meta-algorithm is devised to convert algorithms for linear/quadratic maximization into ones that optimize upper quadratizable functions, offering a unified approach to tackling concave and DR-submodular optimization problems. The paper extends these results to multiple feedback settings, facilitating conversions between semi-bandit/first-order feedback and bandit/zeroth-order feedback, as well as between first/zeroth-order feedback and semi-bandit/bandit feedback. Leveraging this framework, new projection-free algorithms are derived using Follow The Perturbed Leader (FTPL) and other algorithms as base algorithms for linear/convex optimization, improving upon state-of-the-art results in various cases. Dynamic and adaptive regret guarantees are obtained for DR-submodular maximization, marking the first algorithms to achieve such guarantees in these settings. Notably, the paper achieves these advancements with fewer assumptions compared to existing state-of-the-art results, underscoring its broad applicability and theoretical contributions to non-convex optimization.
- [5] arXiv:2405.00067 [pdf, ps, other]
-
Title: Small noise perturbations of stochastic ergodic control problemsSubjects: Optimization and Control (math.OC); Probability (math.PR)
Using small noise limit approach, we study degenerate stochastic ergodic control problems and as a byproduct obtain error bounds for the $\varepsilon$-optimal controls. We also establish tunneling for a special ergodic control problem and give a representation of the ergodic value using the tunneled Markov chain.
- [6] arXiv:2405.00068 [pdf, ps, other]
-
Title: Bi-objective optimization of a VRP problem applied to urban solid waste collection through a model that includes the visual attraction of routesComments: Conference paper submitted to XXI SEPROSULSubjects: Optimization and Control (math.OC)
The compactness of routes in distribution plans is a criterion that has not been sufficiently explored in the literature related to logistics distribution but has shown to have a significant impact on the practical implementation of routing plans, for example in solid waste collection problems. In this regard, this article presents a bi-objective model to optimize the vehicle routing problem with time constraints, considering the minimization of travel times and the compactness of routes. Experimental tests were conducted on small-scale instances using two exact solution methods for multi-objective problems: weighted sum and augmented {\epsilon}-constraint methods. The results obtained allowed us to explore the trade-off relationship between both objectives while evaluating the computational efficiency of both multi-objective solution methods.
- [7] arXiv:2405.00081 [pdf, other]
-
Title: Imprecise Markov Semigroups and their ErgodicityAuthors: Michele CaprioSubjects: Probability (math.PR); Statistics Theory (math.ST); Machine Learning (stat.ML)
We introduce the concept of imprecise Markov semigroup. It allows us to see Markov chains and processes with imprecise transition probabilities as (a collection of diffusion) operators, and thus to unlock techniques from geometry, functional analysis, and (high dimensional) probability to study their ergodic behavior. We show that, if the initial distribution of an imprecise Markov semigroup is known and invariant, under some conditions that also involve the geometry of the state space, eventually the ambiguity around the transition probability fades. We call this property ergodicity of the imprecise Markov semigroup, and we relate it to the classical (Birkhoff's) notion of ergodicity. We prove ergodicity both when the state space is Euclidean or a Riemannian manifold, and when it is an arbitrary measurable space. The importance of our findings for the fields of machine learning and computer vision is also discussed.
- [8] arXiv:2405.00093 [pdf, ps, other]
-
Title: On orbit categories with dg enhancementSubjects: Representation Theory (math.RT); K-Theory and Homology (math.KT)
We show that pretriangulated dg categories enjoy a universal property and deduce that the passage to an orbit quotient commutes with the dg quotient. In particular, for a triangulated category with dg enhancement and an endofunctor, there exists a unique triangulated orbit category.
As an application, we prove that for any connective, smooth and proper dg algebra $A$, its perfect derived category is equivalent to the generalized $(\mathbb{X}-1)$-cluster category of $A$. This implies that the orbit $m$-cluster category of $A$ is equivalent to the generalized $m$-cluster category of $A$, which implies a conjecture by Ikeda-Qiu for the case when $A$ is a smooth proper graded gentle algebra. - [9] arXiv:2405.00109 [pdf, other]
-
Title: Successive Interference Cancellation for ISAC in a Large Full-Duplex Cellular NetworkSubjects: Information Theory (cs.IT)
To reuse the scarce spectrum efficiently, a large full-duplex cellular network with integrated sensing and communication (ISAC) is studied. Monostatic detection at the base station (BS) is considered. At the BS, we receive two signals: the communication-mode uplink signal to be decoded and the radar-mode signal to be detected. After self-interference cancellation (SIC), inspired by NOMA, successive interference cancellation (SuIC) is a natural strategy at the BS to retrieve both signals. However, the ordering of SuIC, usually based on some measure of channel strength, is not clear as the radar-mode target is unknown. The detection signal suffers a double path-loss making it vulnerable, but the uplink signal to be decoded originates at a user which has much lower power than the BS making it weak as well. Further, the intercell interference from a large network reduces the channel disparity between the two signals. We investigate the impact of both SuIC orders at the BS, i.e., decoding $1^{st}$ or detecting $1^{st}$ and highlight the importance of careful order selection. We find the existence of a threshold target distance before which detecting $1^{st}$ is superior and decoding $2^{nd}$ does not suffer much. After this distance, both decoding $1^{st}$ and detecting $2^{nd}$ is superior. Similarly, a threshold UE power exists after which the optimum SuIC order changes. We consider imperfections in SIC; this helps highlight the vulnerability of the decoding and detection in the setup.
- [10] arXiv:2405.00118 [pdf, other]
-
Title: Causal Inference with High-dimensional Discrete CovariatesComments: 64 pages, 5 figuresSubjects: Statistics Theory (math.ST); Methodology (stat.ME)
When estimating causal effects from observational studies, researchers often need to adjust for many covariates to deconfound the non-causal relationship between exposure and outcome, among which many covariates are discrete. The behavior of commonly used estimators in the presence of many discrete covariates is not well understood since their properties are often analyzed under structural assumptions including sparsity and smoothness, which do not apply in discrete settings. In this work, we study the estimation of causal effects in a model where the covariates required for confounding adjustment are discrete but high-dimensional, meaning the number of categories $d$ is comparable with or even larger than sample size $n$. Specifically, we show the mean squared error of commonly used regression, weighting and doubly robust estimators is bounded by $\frac{d^2}{n^2}+\frac{1}{n}$. We then prove the minimax lower bound for the average treatment effect is of order $\frac{d^2}{n^2 \log^2 n}+\frac{1}{n}$, which characterizes the fundamental difficulty of causal effect estimation in the high-dimensional discrete setting, and shows the estimators mentioned above are rate-optimal up to log-factors. We further consider additional structures that can be exploited, namely effect homogeneity and prior knowledge of the covariate distribution, and propose new estimators that enjoy faster convergence rates of order $\frac{d}{n^2} + \frac{1}{n}$, which achieve consistency in a broader regime. The results are illustrated empirically via simulation studies.
- [11] arXiv:2405.00120 [pdf, other]
-
Title: Riesz Energy with a Radial External Field: When is the Equilibrium Support a Sphere?Comments: 34 pages, 6 figuresSubjects: Classical Analysis and ODEs (math.CA)
We consider Riesz energy problems with radial external fields. We study the question of whether or not the equilibrium is the uniform distribution on a sphere. We develop general necessary as well as general sufficient conditions on the external field that apply to powers of the Euclidean norm as well as certain Lennard--Jones type fields. Additionally, in the former case, we completely characterize the values of the power for which dimension reduction occurs in the sense that the support of the equilibrium measure becomes a sphere. We also briefly discuss the relation between these problems and certain constrained optimization problems. Our approach involves the Frostman characterization, the Funk--Hecke formula, and the calculus of hypergeometric functions.
- [12] arXiv:2405.00122 [pdf, ps, other]
-
Title: An enhanced POSTA based on Nelder-Mead simplex search and quadratic interpolationAuthors: Tianyu LiuSubjects: Optimization and Control (math.OC); Neural and Evolutionary Computing (cs.NE)
State transition algorithm (STA) is a metaheuristic method for global optimization. Recently, a modified STA named parameter optimal state transition algorithm (POSTA) is proposed. In POSTA, the performance of expansion operator, rotation operator and axesion operator is optimized through a parameter selection mechanism. But due to the insufficient utilization of historical information, POSTA still suffers from slow convergence speed and low solution accuracy on specific problems. To make better use of the historical information, Nelder-Mead (NM) simplex search and quadratic interpolation (QI) are integrated into POSTA. The enhanced POSTA is tested against 14 benchmark functions with 20-D, 30-D and 50-D space. An experimental comparison with several competitive metaheuristic methods demonstrates the effectiveness of the proposed method.
- [13] arXiv:2405.00126 [pdf, ps, other]
-
Title: A variational approach to sampling in diffusion processesAuthors: Maxim RaginskyComments: 22 pages; dedicated to the memory of Sanjoy K. Mitter (1933-2023)Subjects: Optimization and Control (math.OC); Probability (math.PR)
We revisit the work of Mitter and Newton on an information-theoretic interpretation of Bayes' formula through the Gibbs variational principle. This formulation allowed them to pose nonlinear estimation for diffusion processes as a problem in stochastic optimal control, so that the posterior density of the signal given the observation path could be sampled by adding a drift to the signal process. We show that this control-theoretic approach to sampling provides a common mechanism underlying several distinct problems involving diffusion processes, specifically importance sampling using Feynman-Kac averages, time reversal, and Schr\"odinger bridges.
- [14] arXiv:2405.00135 [pdf, other]
-
Title: Improving Channel Resilience for Task-Oriented Semantic Communications: A Unified Information Bottleneck ApproachComments: This work has been submitted to the IEEE Communications LettersSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Task-oriented semantic communications (TSC) enhance radio resource efficiency by transmitting task-relevant semantic information. However, current research often overlooks the inherent semantic distinctions among encoded features. Due to unavoidable channel variations from time and frequency-selective fading, semantically sensitive feature units could be more susceptible to erroneous inference if corrupted by dynamic channels. Therefore, this letter introduces a unified channel-resilient TSC framework via information bottleneck. This framework complements existing TSC approaches by controlling information flow to capture fine-grained feature-level semantic robustness. Experiments on a case study for real-time subchannel allocation validate the framework's effectiveness.
- [15] arXiv:2405.00148 [pdf, other]
-
Title: A Robust Optimization Approach to Network Control Using Local Information ExchangeComments: arXiv admin note: text overlap with arXiv:1803.07660Subjects: Optimization and Control (math.OC)
Designing policies for a network of agents is typically done by formulating an optimization problem where each agent has access to state measurements of all the other agents in the network. Such policy designs with centralized information exchange result in optimization problems that are typically hard to solve, require establishing substantial communication links, and do not promote privacy since all information is shared among the agents. Designing policies based on arbitrary communication structures can lead to non-convex optimization problems which are typically NP-hard. In this work, we propose an optimization framework for decentralized policy designs. In contrast to the centralized information exchange, our approach requires only local communication exchange among the neighboring agents matching the physical coupling of the network. Thus, each agent only requires information from its direct neighbors, minimizing the need for excessive communication and promoting privacy amongst the agents. Using robust optimization techniques, we formulate a convex optimization problem with a loosely coupled structure that can be solved efficiently. We numerically demonstrate the efficacy of the proposed approach in energy management and supply chain applications. We show that the proposed approach leads to solutions that closely approximate those obtained by the centralized formulation only at a fraction of the computational effort.
- [16] arXiv:2405.00152 [pdf, ps, other]
-
Title: Homological dimensions, the Gorenstein property, and special cases of some conjecturesComments: Comments are welcome!Subjects: Commutative Algebra (math.AC)
Our purpose in this work is multifold. First, we provide general criteria for the finiteness of the projective and injective dimensions of a finite module $M$ over a (commutative) Noetherian ring $R$. Second, in the other direction, we investigate the impact of the finiteness of certain homological dimensions of $M$ if $R$ is local, mainly when $R$ is Cohen-Macaulay and with a partial focus on duals. Along the way, we produce various freeness criteria for modules. Finally, we give applications, including characterizations of when $R$ is Gorenstein (and other ring-theoretic properties as well, sometimes in the prime characteristic setting), particularly by means of its anticanonical module, and in addition we address special cases of some long-standing conjectures; for instance, we confirm the 1985 conjecture of Vasconcelos on normal modules in case the module of differentials is almost Cohen-Macaulay.
- [17] arXiv:2405.00162 [pdf, other]
-
Title: Real Stability and Log Concavity are coNP-CompleteAuthors: Tracy ChinComments: 21 pages, 1 figureSubjects: Optimization and Control (math.OC); Computational Complexity (cs.CC); Combinatorics (math.CO)
Real-stable, Lorentzian, and log-concave polynomials are well-studied classes of polynomials, and have been powerful tools in resolving several conjectures. We show that the problems of deciding whether a polynomial of fixed degree is real stable or log concave are coNP-complete. On the other hand, while all homogeneous real-stable polynomials are Lorentzian and all Lorentzian polynomials are log concave on the positive orthant, the problem of deciding whether a polynomial of fixed degree is Lorentzian can be solved in polynomial time.
- [18] arXiv:2405.00171 [pdf, ps, other]
-
Title: Additive actions on projective hypersurfaces with a finite number of orbitsSubjects: Algebraic Geometry (math.AG)
An induced additive action on a projective variety $X \subseteq \mathbb{P}^n$ is a regular action of the group $\mathbb{G}_a^m$ on $X$ with an open orbit, which can be extended to a regular action on the ambient projective space $\mathbb{P}^n$. In this work, we classify all projective hypersurfaces admitting an induced additive action with a finite number of orbits.
- [19] arXiv:2405.00173 [pdf, ps, other]
-
Title: Negative curvature in locally reducible Artin groupsAuthors: Jill MastrocolaSubjects: Group Theory (math.GR)
In this paper, we define the 2-complete Artin complex and show that it is systolic for locally reducible Artin groups. The stabilizers of simplices in this complex are exactly the proper parabolic subgroups which are "2-complete." We use this systolicity to show that parabolic subgroups, with 2-completions that are not the whole Artin group, are weakly malnormal. This allows us to conclude that many locally reducible Artin groups are acylindrically hyperbolic.
- [20] arXiv:2405.00176 [pdf, other]
-
Title: Rockafellian Relaxation for PDE-Constrained Optimization with Distributional UncertaintySubjects: Optimization and Control (math.OC)
Stochastic optimization problems are generally known to be ill-conditioned to the form of the underlying uncertainty. A framework is introduced for optimal control problems with partial differential equations as constraints that is robust to inaccuracies in the precise form of the problem uncertainty. The framework is based on problem relaxation and involves optimizing a bivariate, "Rockafellian" objective functional that features both a standard control variable and an additional perturbation variable that handles the distributional ambiguity. In the presence of distributional corruption, the Rockafellian objective functionals are shown in the appropriate settings to $\Gamma$-converge to uncorrupted objective functionals in the limit of vanishing corruption. Numerical examples illustrate the framework's utility for outlier detection and removal and for variance reduction.
- [21] arXiv:2405.00194 [pdf, ps, other]
-
Title: The directed landscape from Brownian motionSubjects: Probability (math.PR); Mathematical Physics (math-ph); Combinatorics (math.CO)
We define an almost sure bijection which constructs the directed landscape from a sequence of infinitely many independent Brownian motions. This is the analogue of the RSK correspondence in this setting. The Brownian motions arise as a marginal of the extended Busemann process for the directed landscape, and the inverse map gives an explicit and natural coupling where Brownian last passage percolation converges in probability to the directed landscape. We use this map to prove that the directed landscape on a strip can be reconstructed from the Airy line ensemble. Along the way, we describe two more new versions of RSK in the semi-discrete setting, build a general theory of sorting via Pitman operators, and construct extended Busemann processes for the directed landscape and Brownian last passage percolation.
- [22] arXiv:2405.00198 [pdf, other]
-
Title: Data-driven identification of stable differential operators using constrained regressionSubjects: Numerical Analysis (math.NA); Mathematical Physics (math-ph)
Identifying differential operators from data is essential for the mathematical modeling of complex physical and biological systems where massive datasets are available. These operators must be stable for accurate predictions for dynamics forecasting problems. In this article, we propose a novel methodology for learning sparse differential operators that are theoretically linearly stable by solving a constrained regression problem. These underlying constraints are obtained following linear stability for dynamical systems. We further extend this approach for learning nonlinear differential operators by determining linear stability constraints for linearized equations around an equilibrium point. The applicability of the proposed method is demonstrated for both linear and nonlinear partial differential equations such as 1-D scalar advection-diffusion equation, 1-D Burgers equation and 2-D advection equation. The results indicated that solutions to constrained regression problems with linear stability constraints provide accurate and linearly stable sparse differential operators.
- [23] arXiv:2405.00206 [pdf, ps, other]
-
Title: Verlinde series for Hirzebruch surfacesAuthors: Ian CaveyComments: 18 pagesSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
We give an explicit formula for Euler characteristics of line bundles on the Hilbert scheme of points on $\mathbb{P}^1\times\mathbb{P}^1$. Combined with structural results of Ellingsrud, G\"ottsche, and Lehn, this determines the Euler characteristic of any line bundle on the Hilbert scheme of points on any smooth, projective surface. We also give an enumerative description of the dimensions of spaces of global sections of ample line bundles on Hilbert schemes of points on Hirzebruch surfaces, extending the polytope-line bundle correspondence on the underlying toric surface.
- [24] arXiv:2405.00212 [pdf, other]
-
Title: On the volume of convolution bodies in the planeAuthors: J. HaddadSubjects: Metric Geometry (math.MG)
For every convex body $K \subset \mathbb R^n$ and $\delta \in (0,1)$, the $\delta$-convolution body of $K$ is the set of $x \in \mathbb R^n$ for which $\left|K \cap (K+x)\right|_n \geq \delta \left|K\right|_n$.
We show that for $n=2$ and any $\delta \in (0,1)$, ellipsoids do not maximize the volume of the $\delta$-convolution body of $K$, when $K$ runs over all convex bodies of a fixed volume.
This behavior is somehow unexpected and contradicts the limit case $\delta \to 1^-$, which is governed by the Petty projection inequality. - [25] arXiv:2405.00221 [pdf, ps, other]
-
Title: Measuring the convexity of compact sumsets with the Schneider non-convexity indexAuthors: Mark MeyerSubjects: Metric Geometry (math.MG); Combinatorics (math.CO)
In recent work, Franck Barthe and Mokshay Madiman introduced the concept of the Lyusternik region, denoted by $\Lambda_{n}(m)$, to better understand volumes of sumsets. They gave a characterization of $\Lambda_{n}(2)$ (the volumes of compact sets in $\mathbb{R}^n$ when at most $m=2$ sets are added together) and proved that Lebesgue measure satisfies a fractional superadditive property. We attempt to imitate the idea of the Lyusternik region by defining a region based on the Schneider non-convexity index function, which was originally defined by Rolf Schneider in 1975. We call this region the Schneider region, denoted by $S_{n}(m)$. In this paper, we will give an initial characterization of the region $S_{1}(2)$ and in doing so, we will prove that the Schneider non-convexity index of a sumset $c(A_1+A_2)$ has a best lower bound in terms of $c(A_1)$ and $c(A_2)$. We will pose some open questions about extending this lower bound to higher dimensions and large sums. We will also show that, analogous to Lebesgue measure, the Schneider non-convexity index has a fractional subadditive property. Regarding the Lyusternik region, we will show that when the number of sets being added is $m\geq3$, that the region $\Lambda_{n}(m)$ is not closed, proving a new qualitative property for the region.
- [26] arXiv:2405.00224 [pdf, other]
-
Title: Prescribed-Time Stability Properties of Interconnected SystemsComments: 2 figuresSubjects: Optimization and Control (math.OC)
Achieving control objectives (e.g., stabilization or convergence of tracking error to zero, input-to-state stabilization) in "prescribed time" has attracted significant research interest in recent years. The key property of prescribed-time results unlike traditional "asymptotic" results is that the convergence or other control objectives are achieved within an arbitrary designer-specified time interval instead of asymptotically as time goes to infinity. In this paper, we consider cascade and feedback interconnections of prescribed-time input-to-state stable (ISS) systems and study conditions under which the overall states of such interconnected systems also converge to the origin in the prescribed time interval. We show that these conditions are intrinsically related to properties of the time-varying "blow-up" functions that are central to prescribed-time control designs. We also generalize the results to interconnections of an arbitrary number of systems. As an illustrative example, we consider an interconnection of two uncertain systems that are prescribed-time stabilized using two different control design methods and show that the two separate controllers can be put together to achieve prescribed-time stability of the interconnected system.
- [27] arXiv:2405.00230 [pdf, other]
-
Title: A decomposition-based approach for large-scale pickup and delivery problemsSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
With the advent of self-driving cars, experts envision autonomous mobility-on-demand services in the near future to cope with overloaded transportation systems in cities worldwide. Efficient operations are imperative to unlock such a system's maximum improvement potential. Existing approaches either consider a narrow planning horizon or ignore essential characteristics of the underlying problem. In this paper, we develop an algorithmic framework that allows the study of very large-scale pickup and delivery routing problems with more than 20 thousand requests, which arise in the context of integrated request pooling and vehicle-to-request dispatching. We conduct a computational study and present comparative results showing the characteristics of the developed approaches. Furthermore, we apply our algorithm to related benchmark instances from the literature to show the efficacy. Finally, we solve very large-scale instances and derive insights on upper-bound improvements regarding fleet sizing and customer delay acceptance from a practical perspective.
- [28] arXiv:2405.00231 [pdf, ps, other]
-
Title: The Monge-Ampere system in dimension two: a further regularity improvementAuthors: Marta LewickaComments: 24 pagesSubjects: Analysis of PDEs (math.AP)
We prove a convex integration result for the Monge-Amp\`ere system, in case of dimension $d=2$ and arbitrary codimension $k\geq 1$. Our prior result stated flexibility up to the H\"older regularity $\mathcal{C}^{1,\frac{1}{1+ 4/k}}$, whereas presently we achieve flexibility up to $\mathcal{C}^{1,1}$ when $k\geq 4$ and up to $\mathcal{C}^{1,\frac{2^k-1}{2^{k+1}-1}}$ for any $k$. This first result uses the approach of K\"allen, while the second result iterates on the approach of Cao-Hirsch-Inauen and agrees with it for $k=1$ at the H\"older regularity up to $\mathcal{C}^{1,1/3}$.
- [29] arXiv:2405.00240 [pdf, ps, other]
-
Title: Intersection Theorem for DG-modulesAuthors: Xiaoyan YangComments: 18 pages, comments welcome!Subjects: Commutative Algebra (math.AC)
Let A be a commutative noetherian local DG-ring with bounded cohomology. The Intersection Theorem for DG-modules is examined and some of its applications are provided. The first is to prove the DG-setting of the amplitude inequality, New Intersection Theorem and Krull's principle ideal theorem. The second is to solve completely the Minamoto's conjecture in [Israel J. Math. 242 (2021) 1-36]. The third is to show the DG-version of the Bass conjecture about Cohen-Macaulay rings and the Vasconcelos conjecture about Gorenstein rings.
- [30] arXiv:2405.00249 [pdf, ps, other]
-
Title: Bi-Lipschitz rigidity of discrete subgroupsSubjects: Group Theory (math.GR); Dynamical Systems (math.DS); Geometric Topology (math.GT)
We obtain a bi-Lipschitz rigidity theorem for a Zariski dense discrete subgroup of a connected simple real algebraic group. As an application, we show that any Zariski dense discrete subgroup of a higher rank semisimple algebraic group $G$ cannot have a $C^1$-smooth antipodal limit set in $G/P$ for any non-maximal parabolic subgroup $P$.
- [31] arXiv:2405.00258 [pdf, ps, other]
-
Title: Nearly Perfect Covering CodesSubjects: Information Theory (cs.IT)
Nearly perfect packing codes are those codes that meet the Johnson upper bound on the size of error-correcting codes. This bound is an improvement to the sphere-packing bound. A related bound for covering codes is known as the van Wee bound. Codes that meet this bound will be called nearly perfect covering codes. In this paper, such codes with covering radius one will be considered. It will be proved that these codes can be partitioned into three families depending on the smallest distance between neighboring codewords. Some of the codes contained in these families will be completely characterized. Construction for codes for each such family will be presented, the weight distribution of codes from these families will be examined, and some codes with special properties will be discussed.
- [32] arXiv:2405.00265 [pdf, other]
-
Title: Tree independence number II. Three-path-configurationsComments: arXiv admin note: text overlap with arXiv:2402.14211Subjects: Combinatorics (math.CO)
A \textit{three-paths-configuration} is a graph consisting of three pairwise internally-disjoint paths the union of every two of which is an induced cycle of length at least four. A graph is \textit{3PC-free} if no induced subgraph of it is a three-paths-configuration. We prove that 3PC-free graphs have poly-logarithmic tree-independence number. More explicitly, we show that there exists a constant $c$ such that every $n$-vertex 3PC-free graph graph has a tree decomposition in which every bag has stability number at most $c (\log n)^2$. This implies that the \textsc{Maximum Weight Independent Set} problem, as well as several other natural algorithmic problems, that are known to be \textsf{NP}-hard in general, can be solved in quasi-polynomial time if the input graph is 3PC-free.
- [33] arXiv:2405.00270 [pdf, ps, other]
-
Title: Base change and Iwasawa Main Conjectures for ${\rm GL}_2$Subjects: Number Theory (math.NT)
Let $E/\mathbb{Q}$ be an elliptic curve of conductor $N$, $p$ an odd prime of good ordinary reduction such that $E[p]$ is an irreducible $G_{\mathbb{Q}}$-module, and $K$ an imaginary quadratic field with all primes dividing $Np$ split. We prove Iwasawa Main Conjectures for the $\mathbb{Z}_p$-cyclotomic and $\mathbb{Z}_p$-anticyclotomic deformation of $E$ over $\mathbb{Q}$ and $K$ respectively, dispensing with any of the ramification hypotheses on $E[p]$ in previous works. Using base change, the proofs are based on Wan's divisibility towards a three-variable main conjecture for $E$ over a quartic CM field containing $K$.
As an application, we prove cases of the two-variable main conjecture for $E$ over $K$. The one-variable main conjectures imply the $p$-part of the conjectural Birch and Swinnerton-Dyer formula if ${\rm ord}_{s=1}L(E,s)\leq 1$. They are also an ingredient in the proof of Kolyvagin's conjecture and its cyclotomic variant in our joint work with Grossi \cite{BCGS}. - [34] arXiv:2405.00271 [pdf, ps, other]
-
Title: Exact solution of the propagation of ON-OFF signals by dispersive wavesAuthors: Ken YamamotoComments: 15 pages, 9 figuresSubjects: Mathematical Physics (math-ph); Pattern Formation and Solitons (nlin.PS)
The propagation of ON-OFF signals with dispersive waves is examined in this study. An integral-form exact solution for a simple ON-OFF switching event is derived, which holds for any dispersion relation. The integral can be exactly calculated for two types of dispersion relations. Further, the analysis of these solutions shows that the ON-OFF signal propagates with the group velocity and that the boundary thickness of the signal increases with time, typically at a rate proportional to the square root of time, owing to dispersion. Additionally, an approximate solution for a general dispersion relation is derived, and a for a higher-complexity ON-OFF switching pattern is constructed.
- [35] arXiv:2405.00274 [pdf, ps, other]
-
Title: Large Values of Newform Dedekind SumsComments: 9 pagesSubjects: Number Theory (math.NT)
We study a generalized Dedekind sum $S_{\chi_1,\chi_2}(a,c)$ attached to newform Eisenstein series $E_{\chi_1,\chi_2}(z,s)$. Our work shows the Dedekind sum is rarely substantially larger than $\log^3 c$. The method of proof first relates the size of the Dedekind sum to continued fractions. A result of Hensley from 1991 then controls the average size of the maximal partial quotient in the continued fraction expansion of $a/c$.
We complement this result by computing approximate values of the Dedekind sum in some special cases, which in particular produces examples of large values of the Dedekind sum. - [36] arXiv:2405.00276 [pdf, ps, other]
-
Title: Structure of Dubrovin-Zhang free energy functions and universal identitiesComments: 24 pages. Comments are welcome!Subjects: Mathematical Physics (math-ph); Algebraic Geometry (math.AG)
We prove a structural theorem relating the higher genera free energy functions of the Dubrovin-Zhang hierarchies to those of the trivial theory, that is, the Witten-Kontsevich free energy functions. As an important application, for any given genus $g\geq 1$, we construct a set of universal identities valid for the free energy functions of any Dubrovin-Zhang hierarchy.
- [37] arXiv:2405.00282 [pdf, ps, other]
-
Title: MF-OML: Online Mean-Field Reinforcement Learning with Occupation Measures for Large Population GamesSubjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT); Machine Learning (cs.LG); Multiagent Systems (cs.MA)
Reinforcement learning for multi-agent games has attracted lots of attention recently. However, given the challenge of solving Nash equilibria for large population games, existing works with guaranteed polynomial complexities either focus on variants of zero-sum and potential games, or aim at solving (coarse) correlated equilibria, or require access to simulators, or rely on certain assumptions that are hard to verify. This work proposes MF-OML (Mean-Field Occupation-Measure Learning), an online mean-field reinforcement learning algorithm for computing approximate Nash equilibria of large population sequential symmetric games. MF-OML is the first fully polynomial multi-agent reinforcement learning algorithm for provably solving Nash equilibria (up to mean-field approximation gaps that vanish as the number of players $N$ goes to infinity) beyond variants of zero-sum and potential games. When evaluated by the cumulative deviation from Nash equilibria, the algorithm is shown to achieve a high probability regret bound of $\tilde{O}(M^{3/4}+N^{-1/2}M)$ for games with the strong Lasry-Lions monotonicity condition, and a regret bound of $\tilde{O}(M^{11/12}+N^{- 1/6}M)$ for games with only the Lasry-Lions monotonicity condition, where $M$ is the total number of episodes and $N$ is the number of agents of the game. As a byproduct, we also obtain the first tractable globally convergent computational algorithm for computing approximate Nash equilibria of monotone mean-field games.
- [38] arXiv:2405.00283 [pdf, ps, other]
-
Title: An Unstructured Mesh Reaction-Drift-Diffusion Master Equation with Reversible ReactionsSubjects: Numerical Analysis (math.NA)
We develop a convergent reaction-drift-diffusion master equation (CRDDME) to facilitate the study of reaction processes in which spatial transport is influenced by drift due to one-body potential fields within general domain geometries. The generalized CRDDME is obtained through two steps. We first derive an unstructured grid jump process approximation for reversible diffusions, enabling the simulation of drift-diffusion processes where the drift arises due to a conservative field that biases particle motion. Leveraging the Edge-Averaged Finite Element method, our approach preserves detailed balance of drift-diffusion fluxes at equilibrium, and preserves an equilibrium Gibbs-Boltzmann distribution for particles undergoing drift-diffusion on the unstructured mesh. We next formulate a spatially-continuous volume reactivity particle-based reaction-drift-diffusion model for reversible reactions of the form $\textrm{A} + \textrm{B} \leftrightarrow \textrm{C}$. A finite volume discretization is used to generate jump process approximations to reaction terms in this model. The discretization is developed to ensure the combined reaction-drift-diffusion jump process approximation is consistent with detailed balance of reaction fluxes holding at equilibrium, along with supporting a discrete version of the continuous equilibrium state. The new CRDDME model represents a continuous-time discrete-space jump process approximation to the underlying volume reactivity model. We demonstrate the convergence and accuracy of the new CRDDME through a number of numerical examples, and illustrate its use on an idealized model for membrane protein receptor dynamics in T cell signaling.
- [39] arXiv:2405.00297 [pdf, ps, other]
-
Title: Generalized Cayley graphs of complete groupsSubjects: Combinatorics (math.CO)
A group $G$ is complete group if it satisfies $Z(G) = e$ and Aut$(G)$ = Inn$(G)$. In this paper, we study the basic properties of generalized Cayley graphs and characterize several classes of isomorphic generalized Cayley graphs of complete group. As an application, we complete the classification of restricted GCI-groups for symmetric groups.
- [40] arXiv:2405.00300 [pdf, other]
-
Title: On a new class of BDF and IMEX schemes for parabolic type equationsComments: This article was accepted for publication in the SIAM Journal on Numerical Analysis on April 30, 2024Subjects: Numerical Analysis (math.NA)
When applying the classical multistep schemes for solving differential equations, one often faces the dilemma that smaller time steps are needed with higher-order schemes, making it impractical to use high-order schemes for stiff problems. We construct in this paper a new class of BDF and implicit-explicit (IMEX) schemes for parabolic type equations based on the Taylor expansions at time $t^{n+\beta}$ with $\beta > 1$ being a tunable parameter. These new schemes, with a suitable $\beta$, allow larger time steps at higher-order for stiff problems than that is allowed with a usual higher-order scheme. For parabolic type equations, we identify an explicit uniform multiplier for the new second- to fourth-order schemes, and conduct rigorously stability and error analysis by using the energy argument. We also present ample numerical examples to validate our findings.
- [41] arXiv:2405.00309 [pdf, ps, other]
-
Title: New upper bounds on the number of non-zero weights of constacyclic codesSubjects: Information Theory (cs.IT)
For any simple-root constacyclic code $\mathcal{C}$ over a finite field $\mathbb{F}_q$, as far as we know, the group $\mathcal{G}$ generated by the multiplier, the constacyclic shift and the scalar multiplications is the largest subgroup of the automorphism group ${\rm Aut}(\mathcal{C})$ of $\mathcal{C}$. In this paper, by calculating the number of $\mathcal{G}$-orbits of $\mathcal{C}\backslash\{\bf 0\}$, we give an explicit upper bound on the number of non-zero weights of $\mathcal{C}$ and present a necessary and sufficient condition for $\mathcal{C}$ to meet the upper bound. Some examples in this paper show that our upper bound is tight and better than the upper bounds in [Zhang and Cao, FFA, 2024]. In particular, our main results provide a new method to construct few-weight constacyclic codes. Furthermore, for the constacyclic code $\mathcal{C}$ belonging to two special types, we obtain a smaller upper bound on the number of non-zero weights of $\mathcal{C}$ by substituting $\mathcal{G}$ with a larger subgroup of ${\rm Aut}(\mathcal{C})$. The results derived in this paper generalize the main results in [Chen, Fu and Liu, IEEE-TIT, 2024]}.
- [42] arXiv:2405.00312 [pdf, ps, other]
-
Title: Compatible weak factorization systems and model structuresComments: 18 pagesSubjects: Category Theory (math.CT); Representation Theory (math.RT)
In this paper the concept of compatible weak factorization systems in general categories is introduced as a counterpart of compatible complete cotorsion pairs in abelian categories. We describe a method to construct model structures on general categories via two compatible weak factorization systems satisfying certain conditions, and hence generalize a very useful result by Gillespie for abelian model structures. As particular examples, we show that weak factorizations systems associated to some classical model structures (for example, the Kan-Quillen model structure on $\mathsf{sSet}$) satisfy these conditions.
- [43] arXiv:2405.00317 [pdf, other]
-
Title: Input gradient annealing neural network for solving low-temperature Fokker-Planck equationsSubjects: Dynamical Systems (math.DS); Computational Physics (physics.comp-ph)
We present a novel yet simple deep learning approach, called input gradient annealing neural network (IGANN), for solving stationary Fokker-Planck equations. Traditional methods, such as finite difference and finite elements, suffer from the curse of dimensionality. Neural network based algorithms are meshless methods, which can avoid the curse of dimensionality. However, at low temperature, when directly solving a stationary Fokker-Planck equation with more than two metastable states in the generalized potential landscape, the small eigenvalue introduces numerical difficulties due to a large condition number. To overcome these problems, we introduce the IGANN method, which uses a penalty of negative input gradient annealing during the training. We demonstrate that the IGANN method can effectively solve high-dimensional and low-temperature Fokker-Planck equations through our numerical experiments.
- [44] arXiv:2405.00323 [pdf, other]
-
Title: Stability analysis of a three-dimensional system of Topp model with diabetesComments: 12 pages, 2 figuresSubjects: Dynamical Systems (math.DS)
Mathematical models of glucose, insulin, and pancreatic $\beta$-cell mass dynamics are essential for understanding the physiological basis of type 2 diabetes. This paper investigates the Topp model's discrete-time dynamics to represent these interactions. We perform a comprehensive analysis of the system's trajectory, examining both local and global behavior. First, we establish the invariance of the positive trajectory and analyze the existence of fixed points. Then, we conduct a complete stability analysis, determining the local and global asymptotic stability of these fixed points. Finally, numerical examples validate the effectiveness and applicability of our theoretical findings. Additionally, we provide biological interpretations of our results.
- [45] arXiv:2405.00324 [pdf, ps, other]
-
Title: Self-similar singularities for electron MHDSubjects: Analysis of PDEs (math.AP)
We study several types of self-similar solutions for the electron magnetohydrodynamics (MHD) without resistivity, including locally self-similar solutions and pseudo-self-similar solutions. We show that under certain conditions, these types of self-similar blowup solutions can be excluded.
- [46] arXiv:2405.00325 [pdf, ps, other]
-
Title: Asymptotics of Saran's hypergeometric function $F_K$Comments: 18 pagesSubjects: Classical Analysis and ODEs (math.CA)
In this paper, we first establish asymptotic expansions of the Humbert function $\Psi_1$ for one large variable. The resulting expansions are then used to derive an asymptotic expansion of Saran's hypergeometric function $F_K$ when two of its variables become simultaneously large.
- [47] arXiv:2405.00331 [pdf, other]
-
Title: A Class of Numerical Semigroups Defined by Kunz and WaldoComments: 19 pages, 6 figuresSubjects: Commutative Algebra (math.AC)
In this paper, we explore a class of numerical semigroups initiated by Kunz and Waldi containing two coprime numbers $p < q$, which we call KW semigroups. We characterize KW numerical semigroups by their principal matrices. We present a necessary and sufficient criterion for a matrix to be the principal matrix of a KW semigroup. An explicit description of the minimal resolutions of numerical semigroups in the same class with small embedding dimensions 3 and 4 is given. We give a generalization of this notion to three dimensions using lattice paths under a plane and present some preliminary results and questions.
- [48] arXiv:2405.00363 [pdf, other]
-
Title: Competing bootstrap processes on the random graph $G(n,p)$Subjects: Probability (math.PR); Dynamical Systems (math.DS)
We consider a generalization of classic bootstrap percolation in which two competing processes concurrently evolve on the same graph $G(n,p)$. Nodes can be in one of three states, conveniently represented by different colors: red, black and white. Initially, a given number $a_R$ of active red nodes (red seeds) are selected uniformly at random among the $n$ nodes. Similarly, a given number $a_B$ of active black nodes (black seeds) are selected uniformly at random among the other $n-a_R$ nodes. All remaining nodes are initially white (inactive). White nodes wake up at times dictated by independent Poisson clocks of rate 1. When a white node wakes up, it checks the state of its neighbors: if the number of red (black) neighbors exceeds the number of black (red) neighbors by a fixed amount $r \geq 2$, the node becomes an active red (black) node, and remains so forever. The parameters of the model are, besides $r$ (fixed) and $n$ (tending to $\infty$), the numbers $a_R$ ($a_B$) of initial red (black) seeds, and the edge existence probability $p=p(n)$. We study the size $A^*_R$ ($A^*_B$) of the final set of active red (black) nodes, identifying different regimes which are analyzed under suitable time-scales, allowing us to obtain detailed (asymptotic) temporal dynamics of the two concurrent activation processes.
- [49] arXiv:2405.00364 [pdf, other]
-
Title: Object detection under the linear subspace model with application to cryo-EM imagesAuthors: Amitay Eldar, Keren Mor Waknin, Samuel Davenport, Tamir Bendory, Armin Schwartzman, Yoel ShkolniskySubjects: Statistics Theory (math.ST); Probability (math.PR)
Detecting multiple unknown objects in noisy data is a key problem in many scientific fields, such as electron microscopy imaging. A common model for the unknown objects is the linear subspace model, which assumes that the objects can be expanded in some known basis (such as the Fourier basis). In this paper, we develop an object detection algorithm that under the linear subspace model is asymptotically guaranteed to detect all objects, while controlling the family wise error rate or the false discovery rate. Numerical simulations show that the algorithm also controls the error rate with high power in the non-asymptotic regime, even in highly challenging regimes. We apply the proposed algorithm to experimental electron microscopy data set, and show that it outperforms existing standard software.
- [50] arXiv:2405.00365 [pdf, other]
-
Title: Robust Continuous-Time Beam Tracking with Liquid Neural NetworkAuthors: Fenghao Zhu, Xinquan Wang, Chongwen Huang, Richeng Jin, Qianqian Yang, Ahmed Alhammadi, Zhaoyang Zhang, Chau Yuen, Mérouane DebbahSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Millimeter-wave (mmWave) technology is increasingly recognized as a pivotal technology of the sixth-generation communication networks due to the large amounts of available spectrum at high frequencies. However, the huge overhead associated with beam training imposes a significant challenge in mmWave communications, particularly in urban environments with high background noise. To reduce this high overhead, we propose a novel solution for robust continuous-time beam tracking with liquid neural network, which dynamically adjust the narrow mmWave beams to ensure real-time beam alignment with mobile users. Through extensive simulations, we validate the effectiveness of our proposed method and demonstrate its superiority over existing state-of-the-art deep-learning-based approaches. Specifically, our scheme achieves at most 46.9% higher normalized spectral efficiency than the baselines when the user is moving at 5 m/s, demonstrating the potential of liquid neural networks to enhance mmWave mobile communication performance.
- [51] arXiv:2405.00368 [pdf, other]
-
Title: Directed Redundancy in Time SeriesAuthors: Jan ØstergaardComments: Accepted to be presented at the IEEE International Symposium on Information Theory 2024Subjects: Information Theory (cs.IT)
We quantify the average amount of redundant information that is transferred from a subset of relevant random source processes to a target process. To identify the relevant source processes, we consider those that are connected to the target process and in addition share a certain proportion of the total information causally provided to the target. Even if the relevant processes have no directed information exchange between them, they can still causally provide redundant information to the target. This makes it difficult to identify the relevant processes. To solve this issue, we propose the existence of a hidden redundancy process that governs the shared information among the relevant processes. We bound the redundancy by the minimal average directed redundancy from the relevant processes to the target, from the hidden redundancy process to the target, and from the hidden redundancy process to the relevant processes.
- [52] arXiv:2405.00369 [pdf, ps, other]
-
Title: Singular velocity of the Stokes and Navier-Stokes equations near boundary in the half spaceSubjects: Analysis of PDEs (math.AP)
Local behaviors near boundary are analyzed for solutions of the Stokes and Navier-Stoke equations in the half space with localized non-smooth boundary data. We construct solutions of Stokes equations whose velocity field is not bounded near boundary away from the support of boundary data, although velocity and gradient velocity of solutions are locally square integrable. This is an improvement compared to known results in the sense that velocity field is unbounded itself, since previously constructed solutions were bounded near boundary, although their normal derivatives are singular. We also establish singular solutions and their derivatives that do not belong to $L^q_{\rm{loc}}$ near boundary with $q> 1$. For such examples, there corresponding pressures turn out not to be locally integrable. Similar construction via a perturbation argument is available to the Navier-Stokes equations near boundary as well.
- [53] arXiv:2405.00371 [pdf, ps, other]
-
Title: A Zero-Sum Differential Game with Exit TimeAuthors: Ekaterina KolpakovaComments: 22 pagesSubjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP)
The paper is concerned with a zero-sum differential game in the case where a payoff is determined by the exit time, that is, the first time when the system leaves the game domain. Additionally, we assume that a part of domain's boundary is a lifeline where the payoff is infinite. Hereby, the examined problem generalizes the well-known time-optimal problem as well as time-optimal problem with lifeline. The main result of the paper relies on the solution to the Direchlet problem for the Hamilton-Jacobi equation associated with the game with exit time. We prove the existence of the value function for examined problem and construct suboptimal feedback strategies under assumption that the associated Dirichlet problem for the Hamilton-Jacobi equation admits a viscosity/minimax solution. Additionally, we derive a sufficient condition of existence result to this Dirichlet problem.
- [54] arXiv:2405.00373 [pdf, other]
-
Title: An elliptic fibration arising from the Lagrange top and its monodromyAuthors: Genki IshikawaSubjects: Mathematical Physics (math-ph)
This paper is to investigate an elliptic fibration over $\mathbb{CP}^2$ arising from the Lagrange top from the viewpoint of complex algebraic geometry. The description of the discriminant locus of this elliptic fibration is given in detail. Moreover, the concrete description of the discriminant locus and the complete classification of singular fibres of the elliptic fibration are obtained according to Miranda's theory of elliptic threefolds after suitable modifications of the base and total spaces. Furthermore, the monodromy of the elliptic fibration is described.
- [55] arXiv:2405.00382 [pdf, ps, other]
-
Title: Modified least squares method and a review of its applications in machine learning and fractional differential/integral equationsSubjects: Numerical Analysis (math.NA)
The least squares method provides the best-fit curve by minimizing the total squares error. In this work, we provide the modified least squares method based on the fractional orthogonal polynomials that belong to the space $M_{n}^{\lambda} := \text{span}\{1,x^{\lambda},x^{2\lambda},\ldots,x^{n\lambda}\},~\lambda \in (0,2]$. Numerical experiments demonstrate how to solve different problems using the modified least squares method. Moreover, the results show the advantage of the modified least squares method compared to the classical least squares method. Furthermore, we discuss the various applications of the modified least squares method in the fields like fractional differential/integral equations and machine learning.
- [56] arXiv:2405.00386 [pdf, other]
-
Title: Large gap probabilities of complex and symplectic spherical ensembles with point chargesComments: 42 pages, 5 figuresSubjects: Mathematical Physics (math-ph); Probability (math.PR)
We consider $n$ eigenvalues of complex and symplectic induced spherical ensembles, which can be realised as two-dimensional determinantal and Pfaffian Coulomb gases on the Riemann sphere under the insertion of point charges. For both cases, we show that the probability that there are no eigenvalues in a spherical cap around the poles has an asymptotic behaviour as $n\to \infty$ of the form $$ \exp\Big( c_1 n^2 + c_2 n\log n + c_3 n + c_4 \sqrt n + c_5 \log n + c_6 + \mathcal{O}(n^{-\frac1{12}}) \Big) $$ and determine the coefficients explicitly. Our results provide the second example of precise (up to and including the constant term) large gap asymptotic behaviours for two-dimensional point processes, following a recent breakthrough by Charlier.
- [57] arXiv:2405.00389 [pdf, other]
-
Title: Employing Federated Learning for Training Autonomous HVAC SystemsSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Systems and Control (eess.SY)
Buildings account for 40 % of global energy consumption. A considerable portion of building energy consumption stems from heating, ventilation, and air conditioning (HVAC), and thus implementing smart, energy-efficient HVAC systems has the potential to significantly impact the course of climate change. In recent years, model-free reinforcement learning algorithms have been increasingly assessed for this purpose due to their ability to learn and adapt purely from experience. They have been shown to outperform classical controllers in terms of energy cost and consumption, as well as thermal comfort. However, their weakness lies in their relatively poor data efficiency, requiring long periods of training to reach acceptable policies, making them inapplicable to real-world controllers directly. Hence, common research goals are to improve the learning speed, as well as to improve their ability to generalize, in order to facilitate transfer learning to unseen building environments. In this paper, we take a federated learning approach to training the reinforcement learning controller of an HVAC system. A global control policy is learned by aggregating local policies trained on multiple data centers located in different climate zones. The goal of the policy is to simultaneously minimize energy consumption and maximize thermal comfort. The federated optimization strategy indirectly increases both the rate at which experience data is collected and the variation in the data. We demonstrate through experimental evaluation that these effects lead to a faster learning speed, as well as greater generalization capabilities in the federated policy compared to any individually trained policy.
- [58] arXiv:2405.00391 [pdf, other]
-
Title: Beamforming Inferring by Conditional WGAN-GP for Holographic Antenna ArraysAuthors: Fenghao Zhu, Xinquan Wang, Chongwen Huang, Ahmed Alhammadi, Hui Chen, Zhaoyang Zhang, Chau Yuen, Mérouane DebbahSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
The beamforming technology with large holographic antenna arrays is one of the key enablers for the next generation of wireless systems, which can significantly improve the spectral efficiency. However, the deployment of large antenna arrays implies high algorithm complexity and resource overhead at both receiver and transmitter ends. To address this issue, advanced technologies such as artificial intelligence have been developed to reduce beamforming overhead. Intuitively, if we can implement the near-optimal beamforming only using a tiny subset of the all channel information, the overhead for channel estimation and beamforming would be reduced significantly compared with the traditional beamforming methods that usually need full channel information and the inversion of large dimensional matrix. In light of this idea, we propose a novel scheme that utilizes Wasserstein generative adversarial network with gradient penalty to infer the full beamforming matrices based on very little of channel information. Simulation results confirm that it can accomplish comparable performance with the weighted minimum mean-square error algorithm, while reducing the overhead by over 50%.
- [59] arXiv:2405.00398 [pdf, ps, other]
-
Title: CaTT contexts are finite computadsSubjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
Two novel descriptions of weak {\omega}-categories have been recently proposed, using type-theoretic ideas. The first one is the dependent type theory CaTT whose models are {\omega}-categories. The second is a recursive description of a category of computads together with an adjunction to globular sets, such that the algebras for the induced monad are again {\omega}-categories. We compare the two descriptions by showing that there exits a fully faithful morphism of categories with families from the syntactic category of CaTT to the opposite of the category of computads, which gives an equivalence on the subcategory of finite computads. We derive a more direct connection between the category of models of CaTT and the category of algebras for the monad on globular sets, induced by the adjunction with computads.
- [60] arXiv:2405.00399 [pdf, other]
-
Title: Enhanced Error Estimates for Augmented Subspace Method with Crouzeix-Raviart ElementComments: 23 pages, 5 figures. arXiv admin note: text overlap with arXiv:2106.00548, arXiv:2401.04063Subjects: Numerical Analysis (math.NA)
In this paper, we present some enhanced error estimates for augmented subspace methods with the nonconforming Crouzeix-Raviart (CR) element. Before the novel estimates, we derive the explicit error estimates for the case of single eigenpair and multiple eigenpairs based on our defined spectral projection operators, respectively. Then we first strictly prove that the CR element based augmented subspace method exhibits the second-order convergence rate between the two steps of the augmented subspace iteration, which coincides with the practical experimental results. The algebraic error estimates of second order for the augmented subspace method explicitly elucidate the dependence of the convergence rate of the algebraic error on the coarse space, which provides new insights into the performance of the augmented subspace method. Numerical experiments are finally supplied to verify these new estimate results and the efficiency of our algorithms.
- [61] arXiv:2405.00408 [pdf, other]
-
Title: Shallow vertex minors, stability, and dependenceSubjects: Combinatorics (math.CO)
Stability and dependence are model-theoretic notions that have recently proved highly effective in the study of structural and algorithmic properties of hereditary graph classes, and are considered key notions for generalizing to hereditary graph classes the theory of sparsity developed for monotone graph classes (where an essential notion is that of nowhere dense class). The theory of sparsity was initially built on the notion of shallow minors and on the idea of excluding different sets of minors, depending on the depth at which these minors can appear.
In this paper, we follow a similar path, where shallow vertex minors replace shallow minors. In this setting, we provide a neat characterization of stable / dependent hereditary classes of graphs: A hereditary class of graphs $\mathscr C$ is
(1) dependent if and only if it does not contain all permutation graphs and, for each integer $r$, it excludes some split interval graph as a depth-$r$ vertex minor;
(2) stable if and only if, for each integer $r$, it excludes some half-graph as a depth-$r$ vertex minor.
A key ingredient in proving these results is the preservation of stability and dependence of a class when taking bounded depth shallow vertex minors. We extend this preservation result to binary structures and get, as a direct consequence, that bounded depth shallow vertex minors of graphs with bounded twin-width have bounded twin-width. - [62] arXiv:2405.00412 [pdf, ps, other]
-
Title: Structure of a fourth-order dispersive flow equation through the generalized Hasimoto transformationAuthors: Eiji OnoderaComments: 46 pagesSubjects: Differential Geometry (math.DG)
This paper focuses on a one-dimensional fourth-order nonlinear dispersive partial differential equation for curve flows on a K\"ahler manifold. The equation arises as a fourth-order extension of the one-dimensional Schr\"odinger flow equation, with physical and geometrical backgrounds. First, this paper presents a framework that can transform the equation into a system of fourth-order nonlinear dispersive partial differential-integral equations for complex-valued functions. This is achieved by developing the so-called generalized Hasimoto transformation, which enables us to handle general higher-dimensional compact K\"ahler manifolds. Second, this paper demonstrates the computations to obtain the explicit expression of the derived system for three examples of the compact K\"ahler manifolds, dealing with the complex Grassmannian as an example in detail.
- [63] arXiv:2405.00414 [pdf, ps, other]
-
Title: Ergodicity for 2D Navier-Stokes equations with a degenerate pure jump noiseSubjects: Probability (math.PR)
In this paper, we establish the ergodicity for stochastic 2D Navier-Stokes equations driven by a highly degenerate pure jump L\'evy noise. The noise could appear in as few as four directions. This gives an affirmative anwser to a longstanding problem. The case of Gaussian noise was treated in Hairer and Mattingly [\emph{Ann. of Math.}, 164(3):993--1032, 2006]. To obtain the uniqueness of invariant measure, we use Malliavin calculus and anticipating stochastic calculus to establish the equi-continuity of the semigroup, the so-called {\em e-property}, and prove some weak irreducibility of the solution process.
- [64] arXiv:2405.00419 [pdf, other]
-
Title: The Serre spectral sequence of a Lie subalgebroidComments: 54 pages, comments are welcomeSubjects: Differential Geometry (math.DG); Algebraic Topology (math.AT); Symplectic Geometry (math.SG)
We study a spectral sequence approximating Lie algebroid cohomology associated to a Lie subalgebroid. This is a simultaneous generalisation of several classical constructions in differential geometry, including the Leray-Serre spectral sequence for de Rham cohomology associated to a fibration, the Hochschild-Serre spectral sequence for Lie algebras, and the Mackenzie spectral sequence for Lie algebroid extensions. We show that, for wide Lie subalgebroids, the spectral sequence converges to the Lie algebroid cohomology, and that, for Lie subalgebroids over proper submanifolds, the spectral sequence converges to the formal Lie algebroid cohomology. We discuss applications and recover several constructions in Poisson geometry in which this spectral sequence has appeared naturally in the literature.
- [65] arXiv:2405.00421 [pdf, ps, other]
-
Title: On the Incompressible Limit of Current-Vortex Sheets with or without Surface TensionAuthors: Junyan ZhangComments: 44 pages. The preprint arXiv:2312.11254v2(110 pages) will be split into two papers for submission due to the length issue, and this is the second part. arXiv admin note: text overlap with arXiv:2312.11254Subjects: Analysis of PDEs (math.AP)
This is the second part of the two-paper sequence, which aims to present a comprehensive study for compressible current-vortex sheets with or without surface tension in ideal compressible magnetohydrodynamics (MHD). The results of this paper are two-fold: First, we establish the zero-surface-tension limit of compressible current-vortex sheets under certain stability conditions on the free interface; Second, when the two-phase flows are isentropic and the density functions converge to the same constant as Mach number goes to zero, we can drop the boundedness assumption (with respect to Mach number) on high-order time derivatives by combining the paradifferential approach applied to the evolution equation of the free interface, the structure of wave equations for the total pressure and the anisotropic Sobolev spaces with suitable weights of Mach number. To our knowledge, this is the first result that rigorously justifies the incompressible limit for both compressible vortex sheets and free-surface ideal MHD flows.
- [66] arXiv:2405.00422 [pdf, ps, other]
-
Title: Bona-Smith-type systems in bounded domains with slip-wall boundary conditions: Theoretical justification and a conservative numerical schemeSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
Considered herein is a class of Boussinesq systems of Bona-Smith type that describe water waves in bounded two-dimensional domains with slip-wall boundary conditions and variable bottom topography. Such boundary conditions are necessary in situations involving water waves in channels, ports, and generally in basins with solid boundaries. We prove that, given appropriate initial conditions, the corresponding initial-boundary value problems have unique solutions locally in time, which is a fundamental property of deterministic mathematical modeling. Moreover, we demonstrate that the systems under consideration adhere to three basic conservation laws for water waves: mass, vorticity, and energy conservation.
The theoretical analysis of these specific Boussinesq systems leads to a conservative mixed finite element formulation. Using explicit, relaxation Runge-Kutta methods for the discretization in time, we devise a fully discrete scheme for the numerical solution of initial-boundary value problems with slip-wall conditions, preserving mass, vorticity, and energy. Finally, we present a series of challenging numerical experiments to assess the applicability of the new numerical model. - [67] arXiv:2405.00423 [pdf, ps, other]
-
Title: $α$-leakage by Rényi Divergence and Sibson Mutual InformationAuthors: Ni DingSubjects: Information Theory (cs.IT)
For $\tilde{f}(t) = \exp(\frac{\alpha-1}{\alpha}t)$, this paper proposes a $\tilde{f}$-mean information gain measure. R\'{e}nyi divergence is shown to be the maximum $\tilde{f}$-mean information gain incurred at each elementary event $y$ of channel output $Y$ and Sibson mutual information is the $\tilde{f}$-mean of this $Y$-elementary information gain. Both are proposed as $\alpha$-leakage measures, indicating the most information an adversary can obtain on sensitive data. It is shown that the existing $\alpha$-leakage by Arimoto mutual information can be expressed as $\tilde{f}$-mean measures by a scaled probability. Further, Sibson mutual information is interpreted as the maximum $\tilde{f}$-mean information gain over all estimation decisions applied to channel output. This reveals that the exiting generalized Blahut-Arimoto method for computing R\'{e}nyi capacity (or Gallager's error exponent) in fact maximizes a $\tilde{f}$-mean information gain iteratively over estimation decision and channel input. This paper also derives a decomposition of $\tilde{f}$-mean information gain, analogous to the Sibson identity for R\'{e}nyi divergence.
- [68] arXiv:2405.00447 [pdf, other]
-
Title: A Modelling Framework for Energy-Management and Eco-Driving Problems using Convex RelaxationsSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
This paper presents a convex optimization framework for eco-driving and vehicle energy management problems. We will first show that several types of eco-driving and vehicle energy management problems can be modelled using the same notions of energy storage buffers and energy storage converters that are connected to a power network. It will be shown that these problems can be formulated as optimization problems with linear cost functions and linear dynamics, and nonlinear constraints representing the power converters. We will show that under some mild conditions, the (non-convex) optimization problem has the same (globally) optimal solution as a convex relaxation. This means that the problems can be solved efficiently and that the solution is guaranteed to be globally optimal. Finally, a numerical example of the eco-driving problem is used to illustrate this claim.
- [69] arXiv:2405.00457 [pdf, ps, other]
-
Title: The Nucleus of a Compact Lie Group, and Support of Singularity CategoriesAuthors: Thomas PeirceComments: 15 PagesSubjects: Algebraic Topology (math.AT); Commutative Algebra (math.AC)
In this paper we adapt the notion of the nucleus defined by Benson, Carlson, and Robinson to compact Lie groups in non-modular characteristic. We show that it describes the singularities of the projective scheme of the cohomology of its classifying space. A notion of support for singularity categories of ring spectra (in the sense of Greenlees and Stevenson) is established, and is shown to be precisely the nucleus in this case, consistent with a conjecture of Benson and Greenlees for finite groups.
- [70] arXiv:2405.00463 [pdf, other]
-
Title: On the class of systems which are disjoint from every ergodic systemSubjects: Dynamical Systems (math.DS)
In this note we give a fairly direct proof of a recent theorem of Gorska, Lemanczyk and de la Rue which characterises the class of measure preserving transformations that are disjoint from every ergodic measure preserving transformation. Our proof works just as well for any countable acting group.
- [71] arXiv:2405.00464 [pdf, other]
-
Title: On the best constants of Schur multipliers of second order divided difference functionsSubjects: Classical Analysis and ODEs (math.CA); Functional Analysis (math.FA); Operator Algebras (math.OA)
We give a new proof of the boundedness of bilinear Schur multipliers of second order divided difference functions, as obtained earlier by Potapov, Skripka and Sukochev in their proof of Koplienko's conjecture on the existence of higher order spectral shift functions. Our proof is based on recent methods involving bilinear transference and the H\"ormander-Mikhlin-Schur multiplier theorem. Our approach provides a significant sharpening of the known asymptotic bounds of bilinear Schur multipliers of second order divided difference functions. Furthermore, we give a new lower bound of these bilinear Schur multipliers, giving again a fundamental improvement on the best known bounds obtained by Coine, Le Merdy, Potapov, Sukochev and Tomskova.
More precisely, we prove that for $f \in C^2(\mathbb{R})$ and $1 < p, p_1, p_2 < \infty$ with $\frac{1}{p} = \frac{1}{p_1} + \frac{1}{p_2}$ we have \[ \Vert M_{f^{[2]}}: S_{p_1} \times S_{p_2} \rightarrow S_p \Vert \lesssim \Vert f'' \Vert_\infty D(p, p_1, p_2), \] where the constant $D(p, p_1, p_2)$ is specified in Theorem 7.1 and $D(p, 2p, 2p) \approx p^4 p^\ast$ with $p^\ast$ the H\"older conjugate of $p$. We further show that for $f(\lambda) = \lambda \vert \lambda \vert$, $\lambda \in \mathbb{R}$, for every $1 < p < \infty$ we have \[ p^2 p^\ast \lesssim \Vert M_{f^{[2]}}: S_{2p} \times S_{2p} \rightarrow S_p \Vert. \] Here $f^{[2]}$ is the second order divided difference function of $f$ with $M_{f^{[2]}}$ the associated Schur multiplier. In particular it follows that our estimate $D(p, 2p, 2p)$ is optimal for $p \searrow 1$. - [72] arXiv:2405.00470 [pdf, ps, other]
-
Title: Valuations, bijections, and basesComments: Ams LaTeX 72 pagesSubjects: Rings and Algebras (math.RA); Representation Theory (math.RT)
The aim of this paper is to build a theory of commutative and noncommutative injective valuations of various algebras. The targets of our valuations are (well-)ordered commutative and noncommutative (partial or entire) semigroups including any sub-semigroups of the free monoid $F_n$ on $n$ generators and various quotients. In the case when the (partial) valuation semigroup is finitely generated, we construct a generalization of the standard monomial bases for the so-valued algebra, which seems to be new in noncommutative case. Quite remarkably, for any pair of well-ordered valuations one has canonical bijections between the valuation semigroups, which serve as analogs of the celebrated Jordan-H\"older correspondences and these bijections are "almost" homomorphisms of the involved (partial and entire) semigroups.
- [73] arXiv:2405.00474 [pdf, other]
-
Title: On Convergence of Discrete Schemes for Computing the Rate-Distortion Function of Continuous SourceSubjects: Information Theory (cs.IT)
Computing the rate-distortion function for continuous sources is commonly regarded as a standard continuous optimization problem. When numerically addressing this problem, a typical approach involves discretizing the source space and subsequently solving the associated discrete problem. However, existing literature has predominantly concentrated on the convergence analysis of solving discrete problems, usually neglecting the convergence relationship between the original continuous optimization and its associated discrete counterpart. This neglect is not rigorous, since the solution of a discrete problem does not necessarily imply convergence to the solution of the original continuous problem, especially for non-linear problems. To address this gap, our study employs rigorous mathematical analysis, which constructs a series of finite-dimensional spaces approximating the infinite-dimensional space of the probability measure, establishing that solutions from discrete schemes converge to those from the continuous problems.
- [74] arXiv:2405.00486 [pdf, other]
-
Title: Time and frequency domain low order, low frequency approximation of mechanical systemsComments: 32 pages, 7 figuresSubjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP)
Control design for linear, time-invariant mechanical systems typically requires an accurate low-order approximation in the low frequency range. For example a series expansion of the transfer function around zero consisting of a mass, velocity, and compliance term. Because computing such a series expansion of the transfer function can be cumbersome, a new method to compute low-order approximations of mechanical systems is developed in this paper. The method does not require an explicit expression for the transfer function, which is not always available for infinite-dimensional systems. The advantages of the proposed method is demonstrated in three examples.
- [75] arXiv:2405.00488 [pdf, ps, other]
-
Title: Colax adjunctions and lax-idempotent pseudomonadsAuthors: Miloslav ŠtěpánSubjects: Category Theory (math.CT)
We prove a generalization of a theorem of Bunge and Gray about forming colax adjunctions out of relative Kan extensions and apply it to the study of the Kleisli 2-category for a lax-idempotent pseudomonad. For instance, we establish the weak completeness of the Kleisli 2-category and describe colax change-of-base adjunctions between Kleisli 2-categories. Our approach covers such examples as the bicategory of small profunctors and the 2-category of lax triangles in a 2-category. The duals of our results provide lax analogues of classical results in two-dimensional monad theory: for instance, establishing the weak cocompleteness of the 2-category of strict algebras and lax morphisms and the existence of colax change-of-base adjunctions.
- [76] arXiv:2405.00495 [pdf, other]
-
Title: The Loewner framework for parametric systems: Taming the curse of dimensionalityComments: 32 pages, 4 figuresSubjects: Numerical Analysis (math.NA); Systems and Control (eess.SY)
The Loewner framework is an interpolatory framework for the approximation of linear and nonlinear systems. The purpose here is to extend this framework to linear parametric systems with an arbitrary number n of parameters. One main innovation established here is the construction of data-based realizations for any number of parameters. Equally importantly, we show how to alleviate the computational burden, by avoiding the explicit construction of large-scale n-dimensional Loewner matrices of size $N \times N$. This reduces the complexity from $O(N^3)$ to about $O(N^{1.4})$, thus taming the curse of dimensionality and making the solution scalable to very large data sets. To achieve this, a new generalized multivariate rational function realization is defined. Then, we introduce the n-dimensional multivariate Loewner matrices and show that they can be computed by solving a coupled set of Sylvester equations. The null space of these Loewner matrices then allows the construction of the multivariate barycentric transfer function. The principal result of this work is to show how the null space of the n-dimensional Loewner matrix can be computed using a sequence of 1-dimensional Loewner matrices, leading to a drastic computational burden reduction. Finally, we suggest two algorithms (one direct and one iterative) to construct, directly from data, multivariate (or parametric) realizations ensuring (approximate) interpolation. Numerical examples highlight the effectiveness and scalability of the method.
- [77] arXiv:2405.00497 [pdf, other]
-
Title: Variational inequalities for the Ornstein--Uhlenbeck semigroup: the higher--dimensional caseComments: 26 pagesSubjects: Functional Analysis (math.FA)
We study the $\varrho$-th order variation seminorm of a general Ornstein--Uhlenbeck semigroup $\left(\mathcal H_t\right)_{t>0}$ in $\mathbb R^n$, taken with respect to $t$. We prove that this seminorm defines an operator of weak type $(1,1)$ with respect to the invariant measure when $\varrho> 2$. For large $t$, one has an enhanced version of the standard weak-type $(1,1)$ bound. For small $t$, the proof hinges on vector-valued Calder\'on--Zygmund techniques in the local region, and on the fact that the $t$ derivative of the integral kernel of $\mathcal H_t$ in the global region has a bounded number of zeros in $(0,1]$. A counterexample is given for $\varrho= 2$; in fact, we prove that the second order variation seminorm of $\left(\mathcal H_t\right)_{t>0}$, and therefore also the $\varrho$-th order variation seminorm for any $\varrho\in [1,2)$, is not of strong nor weak type $(p,p)$ for any $p \in [1,\infty)$ with respect to the invariant measure.
- [78] arXiv:2405.00498 [pdf, ps, other]
-
Title: The Natural Display Topos of CoalgebrasAuthors: Colin ZwanzigerComments: PhD Thesis, Carnegie Mellon UniversitySubjects: Category Theory (math.CT); Programming Languages (cs.PL)
A classical result of topos theory holds that the category of coalgebras for a Cartesian comonad on a topos is again a topos (Kock and Wraith, 1971).
It is natural to refine this result to a topos-theoretic setting that includes universes. To this end, we introduce the notions of natural display topos and natural Cartesian display comonad, and show that the natural model of coalgebras for a natural Cartesian display comonad on a natural display topos is again a natural display topos. As an application, this result extends the approach to universes of Hofmann and Streicher (1997) from presheaf toposes to sheaf toposes with enough points.
Whereas natural display toposes provide a categorical semantics for a form of extensional Martin-L\"of type theory, we also prove our main result in the more general setting of natural typoses, which encompasses models of intensional Martin-L\"of type theory.
A natural Cartesian display comonad on a natural typos may also be used as a model for dependent type theory with an S4 box operator, or comonadic modality, as introduced by Nanevski et al. (2008). Modal contexts, which have been regarded as tricky to handle semantically, are interpreted as contexts of the natural typos of coalgebras. We sketch an interpretation within this approach.
As part of the framework in which the above takes place, we introduce a refinement of the notion of natural model (see Awodey, 2018), which is (strictly 2-)equivalent to the notion of full, split comprehension category (see Jacobs, 1993), rather than the notion of category with attributes (Cartmell 1978). - [79] arXiv:2405.00500 [pdf, other]
-
Title: Cubiquitous Lattices and Branched Covers bounding rational ballsSubjects: Geometric Topology (math.GT)
Greene and Owens explore cubiquitous lattices as an obstruction to rational homology 3-spheres bounding rational homology 4-balls. The purpose of this article is to better understand which sublattices of $\mathbb{Z}^n$ are cubiquitous with the aim of effectively using their cubiquity obstruction. We develop a geometric obstruction (called the Wu obstruction) to cubiquity and use it as tool to completely classify which sublattices with orthogonal bases are cubiquitous. We then apply this result the double branched covers of alternating connected sums of torus links. Finally, we explore how the Wu obstruction can be used in conjunction with contractions to obstruct the cubiquity of infinite families of lattices.
- [80] arXiv:2405.00501 [pdf, ps, other]
-
Title: Pseudo-Riemannian symmetric spaces of signature (2,2)Comments: 48 pagesSubjects: Differential Geometry (math.DG)
We study all four-dimensional simply-connected indecomposable non-semisimple pseudo-Riemannian symmetric spaces whose metric has signature (2,2). We present models and compute their isometry groups. We solve the problem of the existence or non-existence of compact quotients by properly acting discrete subgroups of the isometry group. This continues and completes earlier work by Maeta.
- [81] arXiv:2405.00511 [pdf, ps, other]
-
Title: Lorentzian polynomials and the independence sequences of graphsComments: 18 pages, comments welcomeSubjects: Combinatorics (math.CO)
We study the multivariate independence polynomials of graphs and the log-concavity of the coefficients of their univariate restrictions. Let $R_{W_4}$ be the operator defined on simple and undirected graphs which replaces each edge with a caterpillar of size $4$. We prove that all graphs in the image of $R_{W_4}$ are what we call pre-Lorentzian, that is, their multivariate independence polynomial becomes Lorentzian after appropriate manipulations. In particular, as pre-Lorentzian graphs have log-concave (and therefore unimodal) independence sequences, our result makes progress on a conjecture of Alavi, Malde, Schwenk and Erd\H{o}s which asks if the independence sequence of trees or forests is unimodal.
- [82] arXiv:2405.00518 [pdf, ps, other]
-
Title: Graph-Based Multivariate Multiscale Dispersion Entropy: Efficient Implementation and Applications to Real-World Network DataComments: 9 pages, 10 figuresSubjects: Combinatorics (math.CO); Computational Engineering, Finance, and Science (cs.CE); Chaotic Dynamics (nlin.CD)
We introduce Multivariate Multiscale Graph-based Dispersion Entropy (mvDEG), a novel, computationally efficient method for analyzing multivariate time series data in graph and complex network frameworks, and demonstrate its application in real-world data. mvDEG effectively combines temporal dynamics with topological relationships, offering enhanced analysis compared to traditional nonlinear entropy methods. Its efficacy is established through testing on synthetic signals, such as uncorrelated and correlated noise, showcasing its adeptness in discerning various levels of dependency and complexity.
The robustness of mvDEG is further validated with real-world datasets, effectively differentiating various two-phase flow regimes and capturing distinct dynamics in weather data analysis. An important advancement of mvDEG is its computational efficiency. Our optimized algorithm displays a computational time that grows linearly with the number of vertices or nodes, in contrast to the exponential growth observed in classical methods. This efficiency is achieved through refined matrix power calculations that exploit matrix and Kronecker product properties, making our method faster than the state of the art. The significant acceleration in computational time positions mvDEG as a transformative tool for extensive and real-time applications, setting a new benchmark in the analysis of time series recorded at distributed locations and opening avenues for innovative applications. - [83] arXiv:2405.00520 [pdf, ps, other]
-
Title: Thermodynamic formalism of countably generated self-affine setsComments: 50 pagesSubjects: Dynamical Systems (math.DS)
In this article, we further develop the thermodynamic formalism of affine iterated function systems with countably many transformations by showing the existence and extending earlier characterisations of the equilibrium states of finite affine iterated function systems to the countably infinite case. As an application, under mild conditions, we prove that the affinity dimension of a countable affine iterated function system is equal to the supremum of the affinity dimensions of its finite subsystems. We deduce corollaries concerning the Hausdorff dimension of countably generated self-affine sets in dimensions $1$, $2$, and $3$ satisfying mild deterministic assumptions and in arbitrary dimension with generic translations.
- [84] arXiv:2405.00529 [pdf, other]
-
Title: High-Order Block Toeplitz Inner-Bordering method for solving the Gelfand-Levitan-Marchenko equationSubjects: Numerical Analysis (math.NA)
We propose a high precision algorithm for solving the Gelfand-Levitan-Marchenko equation. The algorithm is based on the block version of the Toeplitz Inner-Bordering algorithm of Levinson's type. To approximate integrals, we use the high-precision one-sided and two-sided Gregory quadrature formulas. Also we use the Woodbury formula to construct a computational algorithm. This makes it possible to use the almost Toeplitz structure of the matrices for the fast calculations.
- [85] arXiv:2405.00539 [pdf, other]
-
Title: Data-driven approximation of Koopman operators and generators: Convergence rates and error boundsSubjects: Numerical Analysis (math.NA); Dynamical Systems (math.DS)
Global information about dynamical systems can be extracted by analysing associated infinite-dimensional transfer operators, such as Perron-Frobenius and Koopman operators as well as their infinitesimal generators. In practice, these operators typically need to be approximated from data. Popular approximation methods are extended dynamic mode decomposition (EDMD) and generator extended mode decomposition (gEDMD). We propose a unified framework that leverages Monte Carlo sampling to approximate the operator of interest on a finite-dimensional space spanned by a set of basis functions. Our framework contains EDMD and gEDMD as special cases, but can also be used to approximate more general operators. Our key contributions are proofs of the convergence of the approximating operator and its spectrum under non-restrictive conditions. Moreover, we derive explicit convergence rates and account for the presence of noise in the observations. Whilst all these results are broadly applicable, they also refine previous analyses of EDMD and gEDMD. We verify the analytical results with the aid of several numerical experiments.
- [86] arXiv:2405.00544 [pdf, ps, other]
-
Title: Large sums of high order characters IIComments: 32 pages, comments welcomeSubjects: Number Theory (math.NT)
Let $\chi$ be a primitive character modulo $q$, and let $\delta > 0$. Assuming that $\chi$ has large order $d$, for any $d$th root of unity $\alpha$ we obtain non-trivial upper bounds for the number of $n \leq x$ such that $\chi(n) = \alpha$, provided $x > q^{\delta}$. This improves upon a previous result of the first author by removing restrictions on $q$ and $d$. As a corollary, we deduce that if the largest prime factor of $d$ satisfies $P^+(d) \to \infty$ then the level set $\chi(n) = \alpha$ has $o(x)$ such solutions whenever $x > q^{\delta}$, for any fixed $\delta > 0$.
Our proof relies, among other things, on a refinement of a mean-squared estimate for short sums of the characters $\chi^\ell$, averaged over $1 \leq \ell \leq d-1$, due to the first author, which goes beyond Burgess' theorem as soon as $d$ is sufficiently large. We in fact show the alternative result that either (a) the partial sum of $\chi$ itself, or (b) the partial sum of $\chi^\ell$, for ``almost all'' $1 \leq \ell \leq d-1$, exhibits cancellation on the interval $[1,q^{\delta}]$, for any fixed $\delta > 0$.
By an analogous method, we also show that the P\'{o}lya-Vinogradov inequality may be improved for either $\chi$ itself or for almost all $\chi^\ell$, with $1 \leq \ell \leq d-1$. In particular, our averaged estimates are non-trivial whenever $\chi$ has sufficiently large even order $d$. - [87] arXiv:2405.00545 [pdf, other]
-
Title: A Double Maximization Approach for Optimizing the LM Rate of Mismatched DecodingSubjects: Information Theory (cs.IT); Numerical Analysis (math.NA)
An approach is established for maximizing the Lower bound on the Mismatch capacity (hereafter abbreviated as LM rate), a key performance bound in mismatched decoding, by optimizing the channel input probability distribution. Under a fixed channel input probability distribution, the computation of the corresponding LM rate is a convex optimization problem. When optimizing the channel input probability distribution, however, the corresponding optimization problem adopts a max-min formulation, which is generally non-convex and is intractable with standard approaches. To solve this problem, a novel dual form of the LM rate is proposed, thereby transforming the max-min formulation into an equivalent double maximization formulation. This new formulation leads to a maximization problem setup wherein each individual optimization direction is convex. Consequently, an alternating maximization algorithm is established to solve the resultant maximization problem setup. Each step of the algorithm only involves a closed-form iteration, which is efficiently implemented with standard optimization procedures. Numerical experiments show the proposed approach for optimizing the LM rate leads to noticeable rate gains.
- [88] arXiv:2405.00559 [pdf, other]
-
Title: An Energy Stable Well-balanced Scheme for the Barotropic Euler System with Gravity under the Anelastic ScalingSubjects: Numerical Analysis (math.NA)
We design and analyse an energy stable, structure preserving, well-balanced and asymptotic preserving (AP) scheme for the barotropic Euler system with gravity in the anelastic limit. The key to energy stability is the introduction of appropriate velocity shifts in the convective fluxes of mass and momenta. The semi-implicit in time and finite volume in space fully-discrete scheme supports the positivity of density and yields the consistency with the weak solutions of the Euler system upon mesh refinement. The numerical scheme admits the discrete hydrostatic states as solutions and the stability of numerical solutions in terms of the relative energy leads to well-balancing. The AP property of the scheme, i.e. the boundedness of the mesh parameters with respect to the Mach/Froude numbers and the scheme's asymptotic consistency with the anelastic Euler system is rigorously shown on the basis of apriori energy estimates. The numerical scheme is resolved in two steps: by solving a non-linear elliptic problem for the density and a subsequent explicit computation of the velocity. Results from several benchmark case studies are presented to corroborate the proposed claims.
- [89] arXiv:2405.00569 [pdf, other]
-
Title: A novel central compact finite-difference scheme for third derivatives with high spectral resolutionComments: 28 pages, 15 figures, 10 TablesSubjects: Numerical Analysis (math.NA)
In this paper, we introduce a novel category of central compact schemes inspired by existing cell-node and cell-centered compact finite difference schemes, that offer a superior spectral resolution for solving the dispersive wave equation. In our approach, we leverage both the function values at the cell nodes and cell centers to calculate third-order spatial derivatives at the cell nodes. To compute spatial derivatives at the cell centers, we employ a technique that involves half-shifting the indices within the formula initially designed for the cell-nodes. In contrast to the conventional compact interpolation scheme, our proposed method effectively sidesteps the introduction of transfer errors. We employ the Taylor-series expansion-based method to calculate the finite difference coefficients. By conducting systematic Fourier analysis and numerical tests, we note that the methods exhibit exceptional characteristics such as high order, superior resolution, and low dissipation. Computational findings further illustrate the effectiveness of high-order compact schemes, particularly in addressing problems with a third derivative term.
- [90] arXiv:2405.00575 [pdf, ps, other]
-
Title: Complex analytic solutions for the TQG modelAuthors: Prince Romeo MensahComments: 11 pagesSubjects: Analysis of PDEs (math.AP); Complex Variables (math.CV)
We present a condition under which the thermal quasi-geostrophic (TQG) model possesses a solution that is holomorphic in time with values in the Gevrey space of complex analytic functions. This can be seen as the complex extension of the work by Levermore and Oliver (1997) for the generalized Euler equation but applied to the TQG model.
- [91] arXiv:2405.00580 [pdf, ps, other]
-
Title: Semiorthogonal decompositions for generalized Severi-Brauer schemesSubjects: Algebraic Geometry (math.AG)
The purpose of this paper is to use conservative descent to study semi-orthogonal decompositions for some homogeneous varieties over general bases. We produce a semi-orthogonal decomposition for the bounded derived category of coherent sheaves on a generalized Severi-Brauer scheme. This extends known results for Sever-Brauer varieties and Grassmanianns. We use our results to construct semi-orthogonal decompositions for flag varieties over arbitrary bases. This generalises a result of Kapranov.
- [92] arXiv:2405.00583 [pdf, ps, other]
-
Title: Periodic nonlinear Schrödinger equation with distributional potential and invariant measuresSubjects: Analysis of PDEs (math.AP); Probability (math.PR)
In this paper, we continue some investigations on the periodic NLSE started by Lebowitz, Rose and Speer and by Bourgain with the addition of a distributional multiplicative potential. We prove that the equation is globally wellposed for a set of data of full normalized Gibbs measure, after suitable truncation in the focusing case. The set and the measure are invariant under the flow. The main ingredients used are Strichartz estimates on periodic NLS with distributional potential to obtain local well-posedness for low regularity initial data.
- [93] arXiv:2405.00584 [pdf, ps, other]
-
Title: Construction of extremal Type II $\mathbb{Z}_{8}$-codes via doubling methodComments: 12 pages. arXiv admin note: text overlap with arXiv:2310.14080Subjects: Information Theory (cs.IT); Combinatorics (math.CO)
Extremal Type II $\mathbb{Z}_{8}$-codes are a class of self-dual $\mathbb{Z}_{8}$-codes with Euclidean weights divisible by $16$ and the largest possible minimum Euclidean weight for a given length. We introduce a doubling method for constructing a Type II $\mathbb{Z}_{2k}$-code of length $n$ from a known Type II $\mathbb{Z}_{2k}$-code of length $n$. Based on this method, we develop an algorithm to construct new extremal Type II $\mathbb{Z}_8$-codes starting from an extremal Type II $\mathbb{Z}_8$-code of type $(\frac{n}{2},0,0)$ with an extremal $\mathbb{Z}_4$-residue code and length $24, 32$ or $40$.
We construct at least ten new extremal Type II $\mathbb{Z}_8$-codes of length $32$ and type $(15,1,1)$. Extremal Type II $\mathbb{Z}_8$-codes of length $32$ of this type were not known before. Moreover, the binary residue codes of the constructed extremal $\mathbb{Z}_8$-codes are optimal $[32,15]$ binary codes. - [94] arXiv:2405.00589 [pdf, ps, other]
-
Title: Pretzel monoidsComments: 34 pages, 10 figuresSubjects: Rings and Algebras (math.RA)
We introduce an interesting class of left adequate monoids which we call pretzel monoids. These, on the one hand, are monoids of birooted graphs with respect to a natural `glue-and-fold' operation, and on the other hand, are shown to be defined in the category of left adequate monoids by a natural class of presentations. They are also shown to be the free idempotent-pure expansions of right cancellative monoids, making them, in some sense, the left adequate analogues of Margolis-Meakin expansions for inverse monoids. The construction recovers the second author's geometric model of free left adequate monoids when the right cancellative monoid is free.
- [95] arXiv:2405.00593 [pdf, ps, other]
-
Title: Silting reduction and picture categories of 0-Auslander extriangulated categoriesAuthors: Erlend D. BørveComments: 32 pagesSubjects: Representation Theory (math.RT); Category Theory (math.CT)
Let $\mathcal{C}$ be an extriangulated category and let $\mathcal{R}\subseteq \mathcal{C}$ be a rigid subcategory. Generalizing Iyama--Yang silting reduction, we devise a technical condition $\textbf{(gCP)}$ on $\mathcal{R}$ which is sufficient for the Verdier quotient $\mathcal{C}/\mathrm{thick}(\mathcal{R})$ to be equivalent to an ideal quotient. In particular, the Verdier quotient $\mathcal{C}/\mathrm{thick}(\mathcal{R})$ will admit an extriangulation in such a way that the localization functor $L_{\mathcal{R}}\colon \mathcal{C} \rightarrow \mathcal{C}/\mathrm{thick}(\mathcal{R})$ is extriangulated. When $\mathcal{C}$ is 0-Auslander, the condition $\textbf{(gCP)}$ holds for all rigid subcategories $\mathcal{R}$ admitting Bongartz completions. Furthermore, we prove that the Verdier quotient $\mathcal{C}/\mathrm{thick}(\mathcal{R})$ then remains 0-Auslander. As an application, we define the picture category of a connective $0$-Auslander exact dg category $\mathscr{A}$ with Bongartz completions, which generalizes the notion of $\tau$-cluster morphism category. We show that the picture category of $\mathscr{A}$ is a cubical category, in the sense of Igusa. The picture group of $\mathscr{A}$ is defined as the fundamental group of its picture category. When $H_0\mathscr{A}$ is $\mathbf{g}$-finite, the picture group of $\mathscr{A}$ is finitely presented.
- [96] arXiv:2405.00595 [pdf, ps, other]
-
Title: Infinitely Many Half-Volume Constant Mean Curvature Hypersurfaces via Min-Max TheoryComments: 52 pages; Comments are welcome!Subjects: Differential Geometry (math.DG)
Let $(M^{n+1},g)$ be a closed Riemannian manifold of dimension $3\le n+1\le 5$. We show that, if the metric $g$ is generic, then $M$ contains infinitely many geometrically distinct constant mean curvature hypersurfaces, each enclosing half the volume of $M$. As an essential part of the proof, we develop an Almgren-Pitts type min-max theory for certain non-local functionals of the general form $$\Omega \mapsto \operatorname{Area}(\partial \Omega) - \int_\Omega h + f(\operatorname{Vol}(\Omega)).$$
- [97] arXiv:2405.00599 [pdf, ps, other]
-
Title: Some remarks on periodic gradingsAuthors: Oksana YakimovaComments: To appear in Proceedings of the 14th Ukraine Algebra Conference, Contemporary Mathematics. arXiv admin note: text overlap with arXiv:2102.10065Subjects: Representation Theory (math.RT); Algebraic Geometry (math.AG)
Let $\mathfrak q$ be a finite-dimensional Lie algebra, $\vartheta\in Aut(\mathfrak q)$ a finite order automorphism, and $\mathfrak q_0$ the subalgebra of fixed points of $\vartheta$. Using $\vartheta$ one can construct a pencil $\mathcal P$ of compatible Poisson brackets on $S(\mathfrak q)$, and thereby a `large' Poisson-commutative subalgebra $Z(\mathfrak q,\vartheta)$ consisting of $\mathfrak q_0$-invariants in $S(\mathfrak q)$. We study one particular bracket $\{\,\,,\,\}_{\infty}\in\mathcal P$ and the related Poisson centre ${\mathcal Z}_\infty$. It is shown that ${\mathcal Z}_\infty$ is a polynomial ring, if $\mathfrak q$ is reductive.
- [98] arXiv:2405.00605 [pdf, ps, other]
-
Title: Preperiodic points of polynomial dynamical systems over finite fieldsComments: 9 pagesSubjects: Dynamical Systems (math.DS); Number Theory (math.NT)
For a prime $p$, positive integers $r,n$, and a polynomial $f$ with coefficients in $\mathbb{F}_{p^r}$, let $W_{p,r,n}(f)=f^n\left(\mathbb{F}_{p^r}\right)\setminus f^{n+1}\left(\mathbb{F}_{p^r}\right)$. As $n$ varies, the $W_{p,r,n}(f)$ partition the set of strictly preperiodic points of the dynamical system induced by the action of $f$ on $\mathbb{F}_{p^r}$. In this paper we compute statistics of strictly preperiodic points of dynamical systems induced by unicritical polynomials over finite fields by obtaining effective upper bounds for the proportion of $\mathbb{F}_{p^r}$ lying in a given $W_{p,r,n}(f)$. Moreover, when we generalize our definition of $W_{p,r,n}(f)$, we obtain both upper and lower bounds for the resulting averages.
- [99] arXiv:2405.00607 [pdf, ps, other]
-
Title: Inverse images of a positive closed current for a holomorphic endomorphism of a compact Kähler manifoldAuthors: Taeyong AhnComments: Comments are very welcome!Subjects: Complex Variables (math.CV); Dynamical Systems (math.DS)
In this paper, we prove that for a given surjective holomorphic endomorphism $f$ of a compact K\"ahler manifold $X$ and for some integer $p$ with $1\le p\le k$, there exists a proper invariant analytic subset $E$ for $f$ such that if $S$ is smooth in a neighborhood of $E$, the sequence $d_p^{-n}(f^n)^*(S-\alpha_S)$ converges to $0$ exponentially fast in the sense of currents where $d_p$ denotes the dynamical degree of order $p$ and $\alpha_S$ is a closed smooth form in the de Rham cohomology class of $S$.
- [100] arXiv:2405.00610 [pdf, ps, other]
-
Title: Growth in products of matrices: fastest, average, and genericAuthors: Vladimir ShpilrainComments: 10 pages. Comments are welcomeSubjects: Group Theory (math.GR); Cryptography and Security (cs.CR); Combinatorics (math.CO); Dynamical Systems (math.DS); Probability (math.PR)
The problems that we consider in this paper are as follows. Let A and B be 2x2 matrices (over reals). Let w(A, B) be a word of length n. After evaluating w(A, B) as a product of matrices, we get a 2x2 matrix, call it W. What is the largest (by the absolute value) possible entry of W, over all w(A, B) of length n, as a function of n? What is the expected absolute value of the largest (by the absolute value) entry in a random product of n matrices, where each matrix is A or B with probability 0.5? What is the Lyapunov exponent for a random matrix product like that? We give partial answer to the first of these questions and an essentially complete answer to the second question. For the third question (the most difficult of the three), we offer a very simple method to produce an upper bound on the Lyapunov exponent in the case where all entries of the matrices A and B are nonnegative.
- [101] arXiv:2405.00616 [pdf, other]
-
Title: An Expectation-Maximization Relaxed Method for Privacy FunnelSubjects: Information Theory (cs.IT)
The privacy funnel (PF) gives a framework of privacy-preserving data release, where the goal is to release useful data while also limiting the exposure of associated sensitive information. This framework has garnered significant interest due to its broad applications in characterization of the privacy-utility tradeoff. Hence, there is a strong motivation to develop numerical methods with high precision and theoretical convergence guarantees. In this paper, we propose a novel relaxation variant based on Jensen's inequality of the objective function for the computation of the PF problem. This model is proved to be equivalent to the original in terms of optimal solutions and optimal values. Based on our proposed model, we develop an accurate algorithm which only involves closed-form iterations. The convergence of our algorithm is theoretically guaranteed through descent estimation and Pinsker's inequality. Numerical results demonstrate the effectiveness of our proposed algorithm.
- [102] arXiv:2405.00617 [pdf, ps, other]
-
Title: Universality of the second correlation function of the deformed Ginibre ensembleComments: 33 pagesSubjects: Mathematical Physics (math-ph)
We study the deformed complex Ginibre ensemble $H=A_0+H_0$, where $H_0$ is the complex matrix with iid Gaussian entries, and $A_0$ is some general $n\times n$ matrix (it can be random and in this case it is independent of $H_0$). Assuming rather general assumptions on $A_0$, we prove that the asymptotic local behavior of the second correlation function of the eigenvalues of such matrices in the bulk coincides with that for the pure complex Ginibre ensemble.
- [103] arXiv:2405.00618 [pdf, ps, other]
-
Title: An axiomatisation of the temporal logic of two dimensional Minkowski spacetimeAuthors: Robin HirschSubjects: Logic (math.LO)
We define temporal axioms that are sound and complete for the temporal validities over $(\reals^2, <)$.
- [104] arXiv:2405.00621 [pdf, ps, other]
-
Title: Multi-level Nonstandard Analysis and the Axiom of ChoiceAuthors: Karel HrbacekSubjects: Logic (math.LO)
Model-theoretic frameworks for Nonstandard Analysis depend on the existence of nonprincipal ultrafilters, a strong form of the Axiom of Choice (AC). Hrbacek and Katz, APAL 72 (2021) formulate axiomatic nonstandard set theories SPOT and SCOT that are conservative extensions of respectively ZF and ZF + ADC (the Axiom of Dependent Choice), and in which a significant part of Nonstandard Analysis can be developed. The present paper extends these theories to theories with many levels of standardness, called respectively SPOTS and SCOTS. It shows that Jin's recent nonstandard proof of Szemer\'{e}di's Theorem can be carried out in SPOTS, which is conservative over ZF + ACC (the Axiom of Countable Choice). The theory SCOTS is a conservative extension of ZF + ADC.
- [105] arXiv:2405.00651 [pdf, ps, other]
-
Title: The Geometry of Loop Spaces II: CorrectionsSubjects: Differential Geometry (math.DG)
This paper contains corrections to Madea, Rosenberg, Torres-Ardila, "The Geometry of Loop Spaces II: Characteristic Classes," Advances in Math. (287), 2016, 485-518. The main change is that results about $\pi_1({\rm Diff}(M))$ are replaced by results about $\pi_1({\rm Isom}(M))$, where Diff$(M)$, Isom$(M)$ refer to the diffeomorphism and isometry group of the manifold $M$.
- [106] arXiv:2405.00656 [pdf, other]
-
Title: Shape optimization of slip-driven axisymmetric microswimmersSubjects: Optimization and Control (math.OC)
In this work, we develop a computational framework that aims at simultaneously optimizing the shape and the slip velocity of an axisymmetric microswimmer suspended in a viscous fluid. We consider shapes of a given reduced volume that maximize the swimming efficiency, i.e., the (size-independent) ratio of the power loss arising from towing the rigid body of the same shape and size at the same translation velocity to the actual power loss incurred by swimming via the slip velocity. The optimal slip and efficiency (with shape fixed) are here given in terms of two Stokes flow solutions, and we then establish shape sensitivity formulas of adjoint-solution that provide objective function derivatives with respect to any set of shape parameters on the sole basis of the above two flow solutions. Our computational treatment relies on a fast and accurate boundary integral solver for solving all Stokes flow problems. We validate our analytic shape derivative formulas via comparisons against finite-difference gradient evaluations, and present several shape optimization examples.
- [107] arXiv:2405.00658 [pdf, ps, other]
-
Title: A Note on Large Sums of Divisor-Bounded Multiplicative FunctionsComments: 16 pages, project begun at Women in Numbers 6Subjects: Number Theory (math.NT)
Given a multiplicative function $f$, we let $S(x,f)=\sum_{n\leq x}f(n)$ be the associated partial sum. In this note, we show that lower bounds on partial sums of divisor-bounded functions result in lower bounds on the partial sums associated to their products. More precisely, we let $f_j$, $j=1,2$ be such that $|f_j(n)|\leq \tau(n)^\kappa$ for some $\kappa\in\mathbb{N}$, and assume their partial sums satisfy $\left|S(x_j,f_j)\right|\geq \eta x_j (\log x_j)^{2^\kappa-1}$ for some $x_1, x_2\gg 1$ and $\eta>\max_j\{(\log x_j)^{-1/100}\}$. We then show that there exists $x\geq \min\{x_1, x_2\}^{\xi^2}$ such that $\left|S(x,f_1f_2)\right|\geq \xi x (\log x)^{2^{2\kappa}-1}$, where $\xi=C\eta^{1+2^{\kappa+3}}$ for some absolute constant $C>0$.
- [108] arXiv:2405.00665 [pdf, other]
-
Title: Optimizing Profitability in Timely Gossip NetworksSubjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI); Signal Processing (eess.SP)
We consider a communication system where a group of users, interconnected in a bidirectional gossip network, wishes to follow a time-varying source, e.g., updates on an event, in real-time. The users wish to maintain their expected version ages below a threshold, and can either rely on gossip from their neighbors or directly subscribe to a server publishing about the event, if the former option does not meet the timeliness requirements. The server wishes to maximize its profit by increasing subscriptions from users and minimizing event sampling frequency to reduce costs. This leads to a Stackelberg game between the server and the users where the sender is the leader deciding its sampling frequency and the users are the followers deciding their subscription strategies. We investigate equilibrium strategies for low-connectivity and high-connectivity topologies.
- [109] arXiv:2405.00667 [pdf, ps, other]
-
Title: Clique packings in random graphsComments: 43 pagesSubjects: Combinatorics (math.CO); Probability (math.PR)
We consider the question of how many edge-disjoint near-maximal cliques may be found in the dense Erd\H{o}s-R\'enyi random graph $G(n,p)$. Recently Acan and Kahn showed that the largest such family contains only $O(n^2/(\log{n})^3)$ cliques, with high probability, which disproved a conjecture of Alon and Spencer. We prove the corresponding lower bound, $\Omega(n^2/(\log{n})^3)$, by considering a random graph process which sequentially selects and deletes near-maximal cliques. To analyse this process we use the Differential Equation Method. We also give a new proof of the upper bound $O(n^2/(\log{n})^3)$ and discuss the problem of the precise size of the largest such clique packing.
- [110] arXiv:2405.00671 [pdf, ps, other]
-
Title: The scalar product formula for parahoric Deligne--Lusztig inductionAuthors: Charlotte ChanComments: 22 pagesSubjects: Representation Theory (math.RT); Algebraic Geometry (math.AG)
Parahoric Deligne--Lusztig induction gives rise to positive-depth representations of parahoric subgroups of $p$-adic groups. The most fundamental basic question about parahoric Deligne--Lusztig induction is whether it satisfies the scalar product formula. We resolve this conjecture for all split-generic pairs $(T,\theta)$ -- in particular, for all characters $\theta$ if $T$ is elliptic.
Cross-lists for Thu, 2 May 24
- [111] arXiv:2405.00007 (cross-list from cs.CE) [pdf, ps, other]
-
Title: Cantera-Based Python Computer Program for Solving Steam Power Cycles with SuperheatingAuthors: Osama A. MarzoukComments: 11 pages, 4 tables, journal paperJournal-ref: International Journal of Emerging Technology and Advanced Engineering. 13(3), 63-73. 2023Subjects: Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA)
One of the main sources of electricity generation is power plants that use water (steam) to rotate turbines, which drive large electric generators. The steam can be generated from renewable or non-renewable energy sources, such as geothermal energy and nuclear fuels. Having an analysis tool for modeling the performance of such steam power plants can greatly help in reaching optimum designs, leading to less fuel consumption, reduced pollution, and cheaper electricity. It is further advantageous if such modeling tool is free to access, does not require many inputs from the user, and gives results in a very short time. These remarks establish a motivation for the current study. This article documents a computer code written in the Python programming language for numerically analysing the main processes in a steam power cycle with superheating. The code utilizes built-in thermodynamic properties for water in the open-source software package "Cantera". A validation case with a benchmarking example in the literature using an independent source of water properties suggests that the developed code is correct. The code can be viewed as an extension to the Python examples for thermodynamic and power generation applications. Cantera can handle both subcritical and supercritical types of superheating. In the subcritical superheating, the steam absolute pressure does not exceed 220.9 bar. In the supercritical superheating, water becomes in a special condition called supercritical fluid, with absolute pressures above 220.9 bar.
- [112] arXiv:2405.00041 (cross-list from physics.soc-ph) [pdf, other]
-
Title: A theory of best choice selection through objective arguments grounded in Linear Response Theory conceptsComments: 25 pages, 2 figures, 5 tables, 72 references; accepted in a Special Issue of the journal Physics in honor of Serge Galam for his 70th birthday and 40 years of SociophysicsSubjects: Physics and Society (physics.soc-ph); Statistical Mechanics (cond-mat.stat-mech); Information Theory (cs.IT)
In this paper, we propose how to use objective arguments grounded in statistical mechanics concepts in order to obtain a single number, obtained after aggregation, which would allow to rank "agents", "opinions", ..., all defined in a very broad sense. We aim toward any process which should a priori demand or lead to some consensus in order to attain the presumably best choice among many possibilities. In order to precise the framework, we discuss previous attempts, recalling trivial "means of scores", - weighted or not, Condorcet paradox, TOPSIS, etc. We demonstrate through geometrical arguments on a toy example, with 4 criteria, that the pre-selected order of criteria in previous attempts makes a difference on the final result. However, it might be unjustified. Thus, we base our "best choice theory" on the linear response theory in statistical mechanics: we indicate that one should be calculating correlations functions between all possible choice evaluations, thereby avoiding an arbitrarily ordered set of criteria. We justify the point through an example with 6 possible criteria. Applications in many fields are suggested. Beside, two toy models serving as practical examples and illustrative arguments are given in an Appendix.
- [113] arXiv:2405.00105 (cross-list from quant-ph) [pdf, other]
-
Title: Quantum Doeblin coefficients: A simple upper bound on contraction coefficientsAuthors: Christoph HircheComments: 15 pages, 6 figures. Short version accepted at ISIT 2024Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT)
Contraction coefficients give a quantitative strengthening of the data processing inequality. As such, they have many natural applications whenever closer analysis of information processing is required. However, it is often challenging to calculate these coefficients. As a remedy we discuss a quantum generalization of Doeblin coefficients. These give an efficiently computable upper bound on many contraction coefficients. We prove several properties and discuss generalizations and applications. In particular, we give additional stronger bounds for PPT channels and introduce reverse Doeblin coefficients that bound certain expansion coefficients.
- [114] arXiv:2405.00165 (cross-list from cs.CC) [pdf, ps, other]
-
Title: Solvable Initial Value Problems Ruled by Discontinuous Ordinary Differential EquationsComments: Preliminary version presented at STACS'2024Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Dynamical Systems (math.DS)
We study initial value problems having dynamics ruled by discontinuous ordinary differential equations with the property of possessing a unique solution. We identify a precise class of such systems that we call \emph{solvable intitial value problems} and we prove that for this class of problems the unique solution can always be obtained analytically via transfinite recursion. We present several examples including a nontrivial one whose solution yields, at an integer time, a real encoding of the halting set for Turing machines; therefore showcasing that the behavior of solvable systems is related to ordinal Turing computations.
- [115] arXiv:2405.00268 (cross-list from cs.NE) [pdf, other]
-
Title: A biased random-key genetic algorithm with variable mutants to solve a vehicle routing problemComments: 25 pages, 9 figuresSubjects: Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC)
The paper explores the Biased Random-Key Genetic Algorithm (BRKGA) in the domain of logistics and vehicle routing. Specifically, the application of the algorithm is contextualized within the framework of the Vehicle Routing Problem with Occasional Drivers and Time Window (VRPODTW) that represents a critical challenge in contemporary delivery systems. Within this context, BRKGA emerges as an innovative solution approach to optimize routing plans, balancing cost-efficiency with operational constraints. This research introduces a new BRKGA, characterized by a variable mutant population which can vary from generation to generation, named BRKGA-VM. This novel variant was tested to solve a VRPODTW. For this purpose, an innovative specific decoder procedure was proposed and implemented. Furthermore, a hybridization of the algorithm with a Variable Neighborhood Descent (VND) algorithm has also been considered, showing an improvement of problem-solving capabilities. Computational results show a better performances in term of effectiveness over a previous version of BRKGA, denoted as MP. The improved performance of BRKGA-VM is evident from its ability to optimize solutions across a wide range of scenarios, with significant improvements observed for each type of instance considered. The analysis also reveals that VM achieves preset goals more quickly compared to MP, thanks to the increased variability induced in the mutant population which facilitates the exploration of new regions of the solution space. Furthermore, the integration of VND has shown an additional positive impact on the quality of the solutions found.
- [116] arXiv:2405.00278 (cross-list from gr-qc) [pdf, ps, other]
-
Title: Beyond Schwarzschild: New Pulsating Coordinates for Spherically Symmetric MetricsComments: 17 pages, 4 figures. Preliminar result was presented in GRG23 Conference (China, 2022). Find the published version (DOI below), improving interpretations and a result about AdS Spacetime in: this https URLJournal-ref: Gen Relativ Gravit 56, 35 (2024)Subjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
Starting from a general transformation for spherically symmetric metrics where g\_11=-1/g\_00, we analyze coordinates with the common property of conformal flatness at constant solid angle element. Three general possibilities arise: one where tortoise coordinate appears as the unique solution, other that includes Kruskal-Szekeres coordinates as a very specific case, but that also allows other similar transformations, and finally a new set of coordinates with very different properties than the other two. In particular, this represents any causal patch of the spherically symmetric metrics in a compactified form. We analyze some relations, taking the Schwarzschild case as prototype, but also contrasting the cosmological de-Sitter and Anti-de-Sitter solutions for the new proposed pulsating coordinates.
- [117] arXiv:2405.00329 (cross-list from cs.CR) [pdf, ps, other]
-
Title: Metric geometry of the privacy-utility tradeoffSubjects: Cryptography and Security (cs.CR); Data Structures and Algorithms (cs.DS); Probability (math.PR)
Synthetic data are an attractive concept to enable privacy in data sharing. A fundamental question is how similar the privacy-preserving synthetic data are compared to the true data. Using metric privacy, an effective generalization of differential privacy beyond the discrete setting, we raise the problem of characterizing the optimal privacy-accuracy tradeoff by the metric geometry of the underlying space. We provide a partial solution to this problem in terms of the "entropic scale", a quantity that captures the multiscale geometry of a metric space via the behavior of its packing numbers. We illustrate the applicability of our privacy-accuracy tradeoff framework via a diverse set of examples of metric spaces.
- [118] arXiv:2405.00357 (cross-list from q-fin.RM) [pdf, other]
-
Title: Optimal nonparametric estimation of the expected shortfall riskSubjects: Risk Management (q-fin.RM); Probability (math.PR); Statistics Theory (math.ST); Mathematical Finance (q-fin.MF)
We address the problem of estimating the expected shortfall risk of a financial loss using a finite number of i.i.d. data. It is well known that the classical plug-in estimator suffers from poor statistical performance when faced with (heavy-tailed) distributions that are commonly used in financial contexts. Further, it lacks robustness, as the modification of even a single data point can cause a significant distortion. We propose a novel procedure for the estimation of the expected shortfall and prove that it recovers the best possible statistical properties (dictated by the central limit theorem) under minimal assumptions and for all finite numbers of data. Further, this estimator is adversarially robust: even if a (small) proportion of the data is maliciously modified, the procedure continuous to optimally estimate the true expected shortfall risk. We demonstrate that our estimator outperforms the classical plug-in estimator through a variety of numerical experiments across a range of standard loss distributions.
- [119] arXiv:2405.00385 (cross-list from stat.ML) [pdf, other]
-
Title: Variational Bayesian Methods for a Tree-Structured Stick-Breaking Process Mixture of GaussiansAuthors: Yuta NakaharaSubjects: Machine Learning (stat.ML); Information Theory (cs.IT); Machine Learning (cs.LG)
The Bayes coding algorithm for context tree source is a successful example of Bayesian tree estimation in text compression in information theory. This algorithm provides an efficient parametric representation of the posterior tree distribution and exact updating of its parameters. We apply this algorithm to a clustering task in machine learning. More specifically, we apply it to Bayesian estimation of the tree-structured stick-breaking process (TS-SBP) mixture models. For TS-SBP mixture models, only Markov chain Monte Carlo methods have been proposed so far, but any variational Bayesian methods have not been proposed yet. In this paper, we propose a variational Bayesian method that has a subroutine similar to the Bayes coding algorithm for context tree sources. We confirm its behavior by a numerical experiment on a toy example.
- [120] arXiv:2405.00404 (cross-list from hep-th) [pdf, other]
-
Title: Rotations and boosts of Hermite functionsComments: 29 pagesSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
We provide transformation matrices for arbitrary Lorentz transformations of multidimensional Hermite functions in any dimension. These serve as a valuable tool for analyzing spacetime properties of MHS fields, and aid in the description of the relativistic harmonic oscillator and digital image manipulation. We also focus on finite boosts and rotations around specific axes, enabling us to identify the Lorentz Lie algebra generators. As an application and to establish a contact with the literature we construct a basis in which the two dimensional rotation operator is diagonal. We comment on the use of hypergeometric functions, the Wigner d-functions, Kravchuk polynomials, Jacobi polynomials and generalized associated Legendre functions.
- [121] arXiv:2405.00429 (cross-list from cs.DS) [pdf, ps, other]
-
Title: Clique-free t-matchings in degree-bounded graphsSubjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
We consider problems of finding a maximum size/weight $t$-matching without forbidden subgraphs in an undirected graph $G$ with the maximum degree bounded by $t+1$, where $t$ is an integer greater than $2$. Depending on the variant forbidden subgraphs denote certain subsets of $t$-regular complete partite subgraphs of $G$. A graph is complete partite if there exists a partition of its vertex set such that every pair of vertices from different sets is connected by an edge and vertices from the same set form an independent set. A clique $K_t$ and a bipartite clique $K_{t,t}$ are examples of complete partite graphs. These problems are natural generalizations of the triangle-free and square-free $2$-matching problems in subcubic graphs. In the weighted setting we assume that the weights of edges of $G$ are vertex-induced on every forbidden subgraph. We present simple and fast combinatorial algorithms for these problems. The presented algorithms are the first ones for the weighted versions, and for the unweighted ones, are faster than those known previously. Our approach relies on the use of gadgets with so-called half-edges. A half-edge of edge $e$ is, informally speaking, a half of $e$ containing exactly one of its endpoints.
- [122] arXiv:2405.00440 (cross-list from cs.LO) [pdf, ps, other]
-
Title: Intersection Types via Finite-Set DeclarationsComments: To appear in Wollic 2024Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
The lambda-cube is a famous pure type system (PTS) cube of eight powerful explicit type systems that include the simple, polymorphic and dependent type theories. The lambda-cube only types Strongly Normalising (SN) terms but not all of them. It is well known that even the most powerful system of the lambda-cube can only type the same pure untyped lambda-terms that are typable by the higher-order polymorphic implicitly typed lambda-calculus Fomega, and that there is an untyped {\lambda}-term U' that is SN but is not typable in Fomega or the lambda-cube. Hence, neither system can type all the SN terms it expresses. In this paper, we present the f-cube, an extension of the lambda-cube with finite-set declarations (FSDs) like y\in{C1,...,Cn} : B which means that y is of type B and can only be one of C1,..., Cn. The novelty of our FSDs is that they allow to represent intersection types as Pi-types. We show how to translate and type the term U' in the f-cube using an encoding of intersection types based on FSDs. Notably, our translation works without needing anything like the usual troublesome intersection-introduction rule that proves a pure untyped lambda-term M has an intersection of k types using k independent sub-derivations. As such, our approach is useful for language implementers who want the power of intersection types without the pain of the intersection-introduction rule.
- [123] arXiv:2405.00450 (cross-list from quant-ph) [pdf, other]
-
Title: Quantum Global Minimum Finder based on Variational Quantum SearchComments: 12 pages, 3 figuresSubjects: Quantum Physics (quant-ph); Optimization and Control (math.OC); Quantum Algebra (math.QA)
The search for global minima is a critical challenge across multiple fields including engineering, finance, and artificial intelligence, particularly with non-convex functions that feature multiple local optima, complicating optimization efforts. We introduce the Quantum Global Minimum Finder (QGMF), an innovative quantum computing approach that efficiently identifies global minima. QGMF combines binary search techniques to shift the objective function to a suitable position and then employs Variational Quantum Search to precisely locate the global minimum within this targeted subspace. Designed with a low-depth circuit architecture, QGMF is optimized for Noisy Intermediate-Scale Quantum (NISQ) devices, utilizing the logarithmic benefits of binary search to enhance scalability and efficiency. This work demonstrates the impact of QGMF in advancing the capabilities of quantum computing to overcome complex non-convex optimization challenges effectively.
- [124] arXiv:2405.00454 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Robust Semi-supervised Learning via $f$-Divergence and $α$-Rényi DivergenceAuthors: Gholamali Aminian, Amirhossien Bagheri, Mahyar JafariNodeh, Radmehr Karimian, Mohammad-Hossein YassaeeComments: Accepted in ISIT 2024Subjects: Machine Learning (cs.LG); Information Theory (cs.IT); Machine Learning (stat.ML)
This paper investigates a range of empirical risk functions and regularization methods suitable for self-training methods in semi-supervised learning. These approaches draw inspiration from various divergence measures, such as $f$-divergences and $\alpha$-R\'enyi divergences. Inspired by the theoretical foundations rooted in divergences, i.e., $f$-divergences and $\alpha$-R\'enyi divergence, we also provide valuable insights to enhance the understanding of our empirical risk functions and regularization techniques. In the pseudo-labeling and entropy minimization techniques as self-training methods for effective semi-supervised learning, the self-training process has some inherent mismatch between the true label and pseudo-label (noisy pseudo-labels) and some of our empirical risk functions are robust, concerning noisy pseudo-labels. Under some conditions, our empirical risk functions demonstrate better performance when compared to traditional self-training methods.
- [125] arXiv:2405.00455 (cross-list from physics.optics) [pdf, ps, other]
-
Title: The Maxwell evolution equation of electromagnetic resonators: a mathematical proof with explicit derivationSubjects: Optics (physics.optics); Mathematical Physics (math-ph)
In a recent publication [1], the authors employ electromagnetic quasinormal-mode theory to establish an "exact" Maxwell evolution (EME) equation governing resonator dynamics. This resulting equation bears resemblance to the classical evolution equation proposed heuristically in the temporal coupled-mode theory (CMT), yet it also presents differences. One significant difference is that the driving force in the EME equation is proportional to the derivative of the incident field, whereas in the CMT evolution equation, it is proportional to the incident field itself. This unexpected finding was substantiated by a numerical test and a mathematical demonstration in [1]. The test remains undisputed in this study. However, the demonstration unfortunately relies on unjustified shortcuts. We promptly highlight these shortcuts while proposing an alternative demonstration that is direct and indisputable. The new demonstration provides a firm mathematical foundation for the EME equation and reinforces its credibility.
- [126] arXiv:2405.00473 (cross-list from q-fin.PR) [pdf, other]
-
Title: Pricing and delta computation in jump-diffusion models with stochastic intensity by Malliavin calculusComments: 5 fingures. 1 tableSubjects: Pricing of Securities (q-fin.PR); Probability (math.PR)
In this paper, the pricing of financial derivatives and the calculation of their delta Greek are investigated as the underlying asset is a jump-diffusion process in which the stochastic intensity component follows the CIR process. Utilizing Malliavin derivatives for pricing financial derivatives and challenging to find the Malliavin weight for accurately calculating delta will be established in such models. Due to the dependence of asset price on the information of the intensity process, conditional expectation attribute to show boundedness of moments of Malliavin weights and the underlying asset is essential. Our approach is validated through numerical experiments, highlighting its effectiveness and potential for risk management and hedging strategies in markets characterized by jump and stochastic intensity dynamics.
- [127] arXiv:2405.00524 (cross-list from cs.LG) [pdf, ps, other]
-
Title: FMLFS: A federated multi-label feature selection based on information theory in IoT environmentComments: This paper has been accepted by IEEE SmartComp 2024Subjects: Machine Learning (cs.LG); Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
In certain emerging applications such as health monitoring wearable and traffic monitoring systems, Internet-of-Things (IoT) devices generate or collect a huge amount of multi-label datasets. Within these datasets, each instance is linked to a set of labels. The presence of noisy, redundant, or irrelevant features in these datasets, along with the curse of dimensionality, poses challenges for multi-label classifiers. Feature selection (FS) proves to be an effective strategy in enhancing classifier performance and addressing these challenges. Yet, there is currently no existing distributed multi-label FS method documented in the literature that is suitable for distributed multi-label datasets within IoT environments. This paper introduces FMLFS, the first federated multi-label feature selection method. Here, mutual information between features and labels serves as the relevancy metric, while the correlation distance between features, derived from mutual information and joint entropy, is utilized as the redundancy measure. Following aggregation of these metrics on the edge server and employing Pareto-based bi-objective and crowding distance strategies, the sorted features are subsequently sent back to the IoT devices. The proposed method is evaluated through two scenarios: 1) transmitting reduced-size datasets to the edge server for centralized classifier usage, and 2) employing federated learning with reduced-size datasets. Evaluation across three metrics - performance, time complexity, and communication cost - demonstrates that FMLFS outperforms five other comparable methods in the literature and provides a good trade-off on three real-world datasets.
- [128] arXiv:2405.00550 (cross-list from cond-mat.stat-mech) [pdf, ps, other]
-
Title: Spin-spin correlators on the $β$/$β^{\star}$ boundaries in 2D Ising-like models: non-universality in the scaling regionAuthors: Yizhuang LiuComments: 12 pagesSubjects: Statistical Mechanics (cond-mat.stat-mech); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
In this work, we investigate quantitative properties of correlation functions on the boundaries between two 2D Ising-like models with dual parameters $\beta$ and $\beta^{\star}$. Spin-spin correlators in such constructions without reflection symmetry with respect to transnational-invariant directions are usually represented as $2\times 2$ block Toeplitz determinants which are normally significantly harder than the scalar ($1\times 1$-blocked) versions. Nevertheless, we show that for the specific $\beta/\beta^{\star}$ boundaries considered in this work, the symbol matrices allow explicit commutative Wiener-Hopf factorizations. However, the Wiener-Hopf factors at different $z$ do not commute. We will show that due to this non-commutativity, "logarithmic divergences" and non-universal short distance contributions in the Wiener-Hopf factors fail to factorize out completely in the re-scaled correlators. This leads to non-universality of the leading large $r$ asymptotics at the order $\frac {e^{-r}}{r^{\frac{3}{2}}}$, even when the constant terms are re-scaled to be the same.
- [129] arXiv:2405.00560 (cross-list from quant-ph) [pdf, ps, other]
-
Title: Informationally overcomplete measurements from generalized equiangular tight framesAuthors: Katarzyna SiudzińskaSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
Informationally overcomplete measurements find important applications in quantum tomography and quantum state estimation. The most popular are maximal sets of mutually unbiased bases, for which trace relations between measurement operators are well known. In this paper, we introduce a more general class of informationally overcomplete POVMs that are generated by equiangular tight frames of arbitrary rank. This class provides a generalization of equiangular measurements to non-projective POVMs, which include rescaled mutually unbiased measurements and bases. We provide a method of their construction, analyze their symmetry properties, and provide examples for highly symmetric cases. In particular, we find a wide class of generalized equiangular measurements that are conical 2-designs, which allows us to derive the index of coincidence. Our results show benefits of considering a single informationally overcomplete measurement over informationally complete collections of POVMs.
- [130] arXiv:2405.00572 (cross-list from eess.SP) [pdf, other]
-
Title: A Modular Pragmatic Architecture for Multiuser MIMO with Array-Fed RISComments: 5 pages, 8 figuresSubjects: Signal Processing (eess.SP); Information Theory (cs.IT); Systems and Control (eess.SY)
We propose a power- and hardware-efficient, pragmatic, modular, multiuser/multibeam array-fed RIS architecture particularly suited to operate in very high frequency bands (high mmWave and sub-THz), where channels are typically sparse in the beamspace and line-of-sight (LOS) is required to achieve an acceptable received signal level. The key module is an active multi-antenna feeder (AMAF) with a small number of active antennas placed in the near field of a RIS with a much larger number of passive controllable reflecting elements. We propose a pragmatic approach to obtain a steerable beam with high gain and very low sidelobes. Then, $K$ independently controlled beams can be achieved by stacking $K$ of such AMAF-RIS modules. Our analysis takes in full account: 1) the near-end crosstalk (NEXT) between the modules, 2) the far-end crosstalk (FEXT) due to the sidelobes; 3) a thorough energy efficiency comparison with respect to conventional {\em active arrays} with the same beamforming performance. Overall, we show that the proposed architecture is very attractive in terms of spectral efficiency, ease of implementation (hardware complexity), and energy efficiency.
- [131] arXiv:2405.00594 (cross-list from gr-qc) [pdf, other]
-
Title: Anomalous diffusion and factor ordering in (1+1)-dimensional Lorentzian quantum gravitySubjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
Using properties of diffusion according to a quantum heat kernel constructed as an expectation over classical heat kernels on $S^1$, we probe the non-manifold-like nature of quantized space in a model of (1+1)-dimensional quantum gravity. By computing the mean squared displacement of a diffusing particle, we find that diffusion is anomalous, behaving similarly to that on a porous substrate, network, or fractal over short distances. The walk dimension of the path for a particle diffusing in quantized space is calculated to have an infimum of 4, rising to arbitrarily large values depending on a parameter labeling the choice of factor ordering in the quantum Hamiltonian for our model and figuring in the asymptotic behavior of the wavefunction used to construct the quantum heat kernel. Additionally, we derive an expansion for return probability of a diffusing particle, whose modifications from the classical power-series form depend on the factor-ordering parameter.
- [132] arXiv:2405.00606 (cross-list from q-fin.RM) [pdf, ps, other]
-
Title: Some properties of Euler capital allocationAuthors: Lars HoldenComments: 12 pages, 3 figures, 4 tables, 15 referencesSubjects: Risk Management (q-fin.RM); Probability (math.PR); Portfolio Management (q-fin.PM)
The paper discusses capital allocation using the Euler formula and focuses on the risk measures Value-at-Risk (VaR) and Expected shortfall (ES). Some new results connected to this capital allocation is known. Two examples illustrate that capital allocation with VaR is not monotonous which may be surprising since VaR is monotonous. A third example illustrates why the same risk measure should be used in capital allocation as in the evaluation of the total portfolio. We show how simulation may be used in order to estimate the expected Return on risk adjusted capital in the commitment period of an asset. Finally, we show how Markov chain Monte Carlo may be used in the estimation of the capital allocation.
- [133] arXiv:2405.00654 (cross-list from cond-mat.stat-mech) [pdf, other]
-
Title: Large deviations of current for the symmetric simple exclusion process on a semi-infinite line and on an infinite line with slow bondsComments: 7 pages, 4 figures (Supplementary Materials: 8 pages, 2 figures)Subjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
Two of the most influential exact results for classical one-dimensional diffusive transport are the exact results of current statistics for the symmetric simple exclusion process in the stationary state on a finite line coupled with two unequal reservoirs at the boundary and in the non-stationary state on an infinite line. We present the corresponding result for the intermediate geometry of a semi-infinite line coupled with a single reservoir. These results are obtained using the fluctuating hydrodynamics framework of the macroscopic fluctuation theory and confirmed by rare event simulations using a cloning algorithm. Our exact result enables us to address the corresponding problem on an infinite line in the presence of a slow region and several related problems.
- [134] arXiv:2405.00663 (cross-list from quant-ph) [pdf, other]
-
Title: Quantum cryptographic protocols with dual messaging system via 2D alternate quantum walks and genuine single particle entangled statesComments: 11 pages (including supplementary material), 2 figures and 1 tableSubjects: Quantum Physics (quant-ph); Disordered Systems and Neural Networks (cond-mat.dis-nn); Cryptography and Security (cs.CR); Quantum Algebra (math.QA); Optics (physics.optics)
Single-particle entangled states (SPES) can offer a more secure way of encoding and processing quantum information than their multi-particle counterparts. The SPES generated via a 2D alternate quantum-walk setup from initially separable states can be either 3-way or 2-way entangled. This letter shows that the generated genuine three-way and nonlocal two-way SPES can be used as cryptographic keys to securely encode two distinct messages simultaneously. We detail the message encryption-decryption steps and show the resilience of the 3-way and 2-way SPES-based cryptographic protocols against eavesdropper attacks like intercept-and-resend and man-in-the-middle. We also detail how these protocols can be experimentally realized using single photons, with the three degrees of freedom being OAM, path, and polarization. These have unparalleled security for quantum communication tasks. The ability to simultaneously encode two distinct messages using the generated SPES showcases the versatility and efficiency of the proposed cryptographic protocol. This capability could significantly improve the throughput of quantum communication systems.
- [135] arXiv:2405.00673 (cross-list from quant-ph) [pdf, other]
-
Title: Quantum algorithms for matrix geometric meansSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
Matrix geometric means between two positive definite matrices can be defined equivalently from distinct perspectives - as solutions to certain nonlinear systems of equations, as points along geodesics in Riemannian geometry, and as solutions to certain optimisation problems. This diversity already suggests the potential for varied applications, as well as acting as a bridge between different domains. Here we devise new quantum subroutines to efficiently prepare quantum unitary operators that embed the standard matrix geometric mean and its generalisations called the weighted matrix geometric mean. This enables the construction of solutions to the algebraic Riccati equation, which is an important class of nonlinear systems of equations that appears in machine learning, optimal control, estimation, and filtering. Using these subroutines, we present a new class of quantum learning algorithms called quantum geometric mean metric learning. This has applications in efficiently finding the best distance measure and solving classification problems in the weakly supervised limit and for anomaly detection, for both classical and quantum problems. We also show how our method can be generalised to a particular p^th-order system of nonlinear equations. These quantum subroutines for matrix geometric means are also useful in other areas of quantum information. For example, we show how to use them in the estimation of geometric Renyi relative entropies and the Uhlmann fidelity by means of the Fuchs-Caves observable. In particular, our quantum algorithms for estimating the Uhlmann and Matsumoto fidelities have optimal dependence on the precision. Finally, we provide a BQP-complete problem based on matrix geometric means that can be solved by our subroutines, thus characterising their computational capability.
Replacements for Thu, 2 May 24
- [136] arXiv:1506.09050 (replaced) [pdf, ps, other]
-
Title: Elliptic multiple zeta values, Grothendieck-Teichmüller and mould theoryAuthors: Leila SchnepsComments: 28 pagesSubjects: Number Theory (math.NT)
- [137] arXiv:1901.09057 (replaced) [pdf, ps, other]
-
Title: Discretized Gradient Flow for Manifold Learning in the Space of EmbeddingsSubjects: Differential Geometry (math.DG)
- [138] arXiv:1908.01696 (replaced) [pdf, ps, other]
-
Title: A two-parameter entropy and its fundamental propertiesComments: This is a pre-print of the published articleJournal-ref: Reviews in Mathematical Physics, Vol. 33, No. 04, 2130003 (2021)Subjects: Mathematical Physics (math-ph); Information Theory (cs.IT)
- [139] arXiv:2002.10921 (replaced) [pdf, ps, other]
-
Title: A computer-friendly construction of the monsterAuthors: Martin SeysenComments: 34 pages. Minor fixesSubjects: Group Theory (math.GR)
- [140] arXiv:2007.10694 (replaced) [pdf, ps, other]
-
Title: Rationality of representation zeta functions of compact $p$-adic analytic groupsComments: Author's Accepted Manuscript version. To appear in the Amer. J. Math. First part of arXiv:2007.10694, second part uploaded as a separate paperSubjects: Group Theory (math.GR)
- [141] arXiv:2011.01718 (replaced) [pdf, other]
-
Title: Multi-Iteration Stochastic OptimizersSubjects: Optimization and Control (math.OC)
- [142] arXiv:2102.05862 (replaced) [pdf, other]
-
Title: Quantitative twisted patterns in positive density subsetsComments: 17 pages, 0 figures. Published in Discrete AnalysisSubjects: Dynamical Systems (math.DS); Combinatorics (math.CO); Number Theory (math.NT)
- [143] arXiv:2106.02486 (replaced) [pdf, ps, other]
-
Title: The Failure of Galois Descent for p-Selmer Groups of Elliptic CurvesAuthors: Ross PatersonComments: 29 pages, main changes: improvements to bounds, height changed to naive heightSubjects: Number Theory (math.NT)
- [144] arXiv:2111.10276 (replaced) [pdf, ps, other]
-
Title: Height pairings for algebraic cycles on the product of a curve and a surfaceAuthors: Shou-Wu ZhangComments: Minor revisionSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
- [145] arXiv:2202.09394 (replaced) [pdf, ps, other]
-
Title: Algebraic cycles and functorial lifts from $G_2$ to $\mathrm{PGSp}_6$Comments: 57 pages. To appear in Algebra & Representation TheorySubjects: Number Theory (math.NT)
- [146] arXiv:2202.12737 (replaced) [pdf, other]
-
Title: Alpha-NML Universal PredictorsSubjects: Information Theory (cs.IT)
- [147] arXiv:2204.02487 (replaced) [pdf, ps, other]
-
Title: Convex polytopes in restricted point sets in $\mathbb{R}^d$Comments: 30 pages, 2 figures; added more detailed explanations throughout the paperSubjects: Combinatorics (math.CO); Metric Geometry (math.MG)
- [148] arXiv:2205.04159 (replaced) [pdf, ps, other]
-
Title: Symmetric Stable Processes on Amenable GroupsAuthors: Nachi Avraham-Re'emComments: Acknowledgment to a grantJournal-ref: Studia Mathematica 271, no. 2 (2023)Subjects: Probability (math.PR); Dynamical Systems (math.DS); Group Theory (math.GR)
- [149] arXiv:2205.14255 (replaced) [pdf, other]
-
Title: Dips at small sizes for topological graph obstruction setsComments: v2 42 pages, 17 figures, 3 tables; Substantial revisions. Proof of IK for G_1 and G_2 moved to Appendix A. Classification of maximal knotless graphs of order ten added as Appendix B. Appendix C included with graph6 format of most graphs referenced. For Appendix C see this http URLSubjects: Geometric Topology (math.GT); Combinatorics (math.CO)
- [150] arXiv:2206.01040 (replaced) [pdf, other]
-
Title: Continuous space core-periphery model with transport costs in differentiated agricultureAuthors: Kensuke OhtakeComments: 35 pages, 23 figuresSubjects: Theoretical Economics (econ.TH); Dynamical Systems (math.DS)
- [151] arXiv:2206.01179 (replaced) [pdf, ps, other]
-
Title: An Algebraic Approach to the Goldbach and Polignac ConjecturesAuthors: Jason R. SouthComments: 21 pages, typos were fixed from the last versionSubjects: General Mathematics (math.GM)
- [152] arXiv:2206.03349 (replaced) [pdf, other]
-
Title: Semiclassical quantization conditions in strained moiré latticesComments: 54 pages, 7 figures. Updated introduction and acknowledgments. Fixed typos, and improved and clarified the presentationSubjects: Analysis of PDEs (math.AP); Strongly Correlated Electrons (cond-mat.str-el); Mathematical Physics (math-ph); Spectral Theory (math.SP); Quantum Physics (quant-ph)
- [153] arXiv:2207.06956 (replaced) [pdf, ps, other]
-
Title: Cover and Hitting Times of Hyperbolic Random GraphsComments: 55 pages, 4 figures. Appeared in Proceedings of RANDOM 2022Subjects: Probability (math.PR); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
- [154] arXiv:2207.10946 (replaced) [pdf, other]
-
Title: A phase-field version of the Faber--Krahn theoremSubjects: Analysis of PDEs (math.AP); Optimization and Control (math.OC); Spectral Theory (math.SP)
- [155] arXiv:2208.02833 (replaced) [pdf, ps, other]
-
Title: Uniform syndeticity in multiple recurrenceComments: [v5]: Improved main results and organization of the paper in response to referee feedback; final version accepted by ETDSSubjects: Dynamical Systems (math.DS)
- [156] arXiv:2209.06698 (replaced) [pdf, ps, other]
-
Title: Automorphisms of K3 surfaces, signatures, and isometries of latticesAuthors: Eva Bayer-FluckigerComments: This paper contains several (but not all) of the results of arXiv:2107.07583, as well as new results. arXiv admin note: text overlap with arXiv:2107.07583. Added reference to Takada's result on degree 20 Salem numbers. Changes in version 3 : added two sections on automorphisms of projective K3 surfaces (sections 26 and 27). To appear in J. Eur. Math. Soc. (JEMS)Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG); Complex Variables (math.CV); Dynamical Systems (math.DS)
- [157] arXiv:2210.00302 (replaced) [pdf, other]
-
Title: The eventual imageAuthors: Tom LeinsterComments: 40 pages. V2: very minor edits; references added. To appear in Theory and Applications of CategoriesSubjects: Category Theory (math.CT); Dynamical Systems (math.DS); General Topology (math.GN); Rings and Algebras (math.RA)
- [158] arXiv:2211.04667 (replaced) [pdf, ps, other]
-
Title: Higher-order asymptotic profiles for solutions to the Cauchy problem for a dispersive-dissipative equation with a cubic nonlinearityComments: 19 pagesSubjects: Analysis of PDEs (math.AP)
- [159] arXiv:2212.01885 (replaced) [pdf, ps, other]
-
Title: André-Quillen Cohomology and $k$-invariants of simplicial categoriesComments: Final Version (Accepted to Homology, Homotopy and Applications)Subjects: Algebraic Topology (math.AT); Category Theory (math.CT)
- [160] arXiv:2212.01993 (replaced) [pdf, other]
-
Title: Forest-skein groups II: construction from homogeneously presented monoidsAuthors: Arnaud BrothierComments: 38 pages, 9 figuresSubjects: Group Theory (math.GR)
- [161] arXiv:2212.05825 (replaced) [pdf, ps, other]
-
Title: Rationality of twist representation zeta functions of compact $p$-adic analytic groupsComments: Author's Accepted Manuscript version. To appear in Trans. Amer. Math. Soc. Second part of arXiv:2007.10694Subjects: Group Theory (math.GR)
- [162] arXiv:2212.11743 (replaced) [pdf, other]
-
Title: Amoeba Formulation of Non-Bloch Band Theory in Arbitrary DimensionsComments: 21 pages, 11 figures, 1 tableJournal-ref: Physical Review X 14, 021011 (2024)Subjects: Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Quantum Gases (cond-mat.quant-gas); Mathematical Physics (math-ph); Optics (physics.optics); Quantum Physics (quant-ph)
- [163] arXiv:2301.04636 (replaced) [pdf, ps, other]
-
Title: Unavoidable structures in infinite tournamentsComments: 15 pages; (v3) Final version; to appear in Proceedings of the AMSSubjects: Combinatorics (math.CO); Logic (math.LO)
- [164] arXiv:2301.07373 (replaced) [pdf, ps, other]
-
Title: When every finitely generated ideal is S-principalComments: 19 pagesSubjects: Commutative Algebra (math.AC)
- [165] arXiv:2301.10097 (replaced) [pdf, other]
-
Title: Canonical variables based numerical schemes for hybrid plasma models with kinetic ions and massless electronsComments: 25 pages, 8 figuresSubjects: Numerical Analysis (math.NA); Plasma Physics (physics.plasm-ph)
- [166] arXiv:2301.11751 (replaced) [pdf, ps, other]
-
Title: Manifolds with trivial Chern classes II: Manifolds Isogenous to a Torus Product, coframed Manifolds and a question by BaldassarriAuthors: Fabrizio Catanese (Universitaet Bayreuth and KIAS Seoul)Comments: 31 pages, the revised II Part contains new results, in particular a much stronger Theorem 1.5; it treats also the non K\"ahler case. Misprint in the introduction removed. arXiv admin note: substantial text overlap with arXiv:2206.02646Subjects: Algebraic Geometry (math.AG); Complex Variables (math.CV)
- [167] arXiv:2302.03196 (replaced) [pdf, ps, other]
-
Title: Growth of k-dimensional systoles in congruence coveringsComments: 27 pages, 1 figure. V2: revision following the referees comments and some small corrections. V3: final revision, to appear in GAFASubjects: Geometric Topology (math.GT); Group Theory (math.GR)
- [168] arXiv:2303.00633 (replaced) [pdf, other]
-
Title: An Information-Theoretic Perspective on Variance-Invariance-Covariance RegularizationSubjects: Information Theory (cs.IT); Artificial Intelligence (cs.AI)
- [169] arXiv:2303.03208 (replaced) [pdf, ps, other]
-
Title: Counterexamples to Minkowski's Uniqueness Conjecture and Escape of Mass in Positive CharacteristicAuthors: Noy Soffer AranovComments: to appear in Combinatorics and Number TheorySubjects: Dynamical Systems (math.DS); Number Theory (math.NT)
- [170] arXiv:2303.12213 (replaced) [pdf, other]
-
Title: Alpha shapes in kernel density estimationComments: 19 pagesSubjects: Algebraic Topology (math.AT)
- [171] arXiv:2303.14319 (replaced) [pdf, ps, other]
-
Title: A short proof of the Hanlon-Hicks-Lazarev TheoremComments: 6 pages. To appear in Forum of Mathematics, SigmaSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
- [172] arXiv:2303.15318 (replaced) [pdf, other]
-
Title: Closed-Loop Koopman Operator ApproximationComments: 13 pages, 11 figures, 3 tables, accepted for accepted for publication in Machine Learning: Science and TechnologySubjects: Systems and Control (eess.SY); Machine Learning (cs.LG); Dynamical Systems (math.DS)
- [173] arXiv:2303.15921 (replaced) [pdf, other]
-
Title: Pole-skipping of gravitational waves in the backgrounds of four-dimensional massive black holesComments: v1: 37 pages, 4 figuresJournal-ref: Eur. Phys. J. C (2023) 83: 1103Subjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
- [174] arXiv:2303.16381 (replaced) [pdf, other]
-
Title: Automorphisms of fine curve graphs for nonorientable surfacesComments: 14 pages, 1 figure. arXiv admin note: text overlap with arXiv:2108.04872 by other authorsSubjects: Geometric Topology (math.GT)
- [175] arXiv:2303.16607 (replaced) [pdf, ps, other]
-
Title: Spectral gap of the symmetric inclusion processComments: 21 pages. Appendix added. Final journal versionSubjects: Probability (math.PR); Mathematical Physics (math-ph)
- [176] arXiv:2304.01698 (replaced) [pdf, other]
-
Title: Inverse Unscented Kalman FilterComments: 20 pages, 5 figures. arXiv admin note: text overlap with arXiv:2210.00359Subjects: Optimization and Control (math.OC); Signal Processing (eess.SP); Systems and Control (eess.SY); Machine Learning (stat.ML)
- [177] arXiv:2305.10995 (replaced) [pdf, ps, other]
-
Title: Automorphisms of K3 surfaces, cyclotomic polynomials and orthogonal groupsAuthors: Eva Bayer-FluckigerComments: To appear in Eur. J. MathSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
- [178] arXiv:2305.11774 (replaced) [pdf, other]
-
Title: Multi-objective optimisation via the R2 utilitiesComments: The code is available at: this https URLSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Machine Learning (stat.ML)
- [179] arXiv:2305.19731 (replaced) [pdf, ps, other]
-
Title: Surjectivity of polynomial maps on MatricesSubjects: Group Theory (math.GR); Rings and Algebras (math.RA)
- [180] arXiv:2306.07068 (replaced) [pdf, other]
-
Title: Learning zeros of Fokker-Planck operatorsComments: 22 pages, 10 figuresSubjects: Analysis of PDEs (math.AP); Optimization and Control (math.OC)
- [181] arXiv:2306.11076 (replaced) [pdf, ps, other]
-
Title: A model structure for Grothendieck fibrationsComments: 24 pages; rectified an error in the cofibrations for the discrete fibration case. Final version, to appear in JPAASubjects: Category Theory (math.CT); Algebraic Topology (math.AT)
- [182] arXiv:2306.16308 (replaced) [pdf, other]
-
Title: Gaussian random field approximation via Stein's method with applications to wide random neural networksComments: To appear in Applied and Computational Harmonic AnalysisSubjects: Probability (math.PR); Machine Learning (cs.LG); Statistics Theory (math.ST); Machine Learning (stat.ML)
- [183] arXiv:2306.16385 (replaced) [pdf, ps, other]
-
Title: The Skolem property in rings of integer-valued rational functionsAuthors: Baian LiuSubjects: Commutative Algebra (math.AC)
- [184] arXiv:2307.00287 (replaced) [pdf, other]
-
Title: Null controllability of n-dimensional parabolic equations degenerated on partial boundarySubjects: Analysis of PDEs (math.AP); Optimization and Control (math.OC)
- [185] arXiv:2307.03391 (replaced) [pdf, other]
-
Title: On Unified Adaptive Portfolio ManagementComments: 22 pages, 7 figuresSubjects: Portfolio Management (q-fin.PM); Optimization and Control (math.OC); Computational Finance (q-fin.CP); Risk Management (q-fin.RM)
- [186] arXiv:2307.06446 (replaced) [pdf, ps, other]
-
Title: Integer-valued rational functions over globalized pseudovaluation domainsAuthors: Baian LiuSubjects: Commutative Algebra (math.AC)
- [187] arXiv:2307.07438 (replaced) [pdf, ps, other]
-
Title: The Shimura lift and congruences for modular forms with the eta multiplierComments: 44 pagesSubjects: Number Theory (math.NT)
- [188] arXiv:2307.16471 (replaced) [pdf, ps, other]
-
Title: New estimates for a class of non-local approximations of the total variationAuthors: Nicola PicenniComments: 17 pages. The second version fixes an issue in the proof of the main result, and quotes some recent developments on the problemSubjects: Functional Analysis (math.FA); Analysis of PDEs (math.AP)
- [189] arXiv:2307.16656 (replaced) [pdf, ps, other]
-
Title: Differentially Private and Communication-Efficient Distributed Nonconvex Optimization AlgorithmsComments: 51 pagesSubjects: Optimization and Control (math.OC)
- [190] arXiv:2308.03159 (replaced) [pdf, ps, other]
-
Title: Semilinear elliptic eigenvalue problem: Parametric analyticity and the uncertainty quantificationAuthors: Byeong-Ho BahnComments: 37 pages, 0 figuresSubjects: Numerical Analysis (math.NA)
- [191] arXiv:2308.03711 (replaced) [pdf, ps, other]
-
Title: Martin boundaries and asymptotic behavior of branching random walksComments: 25 pages, we fixed a few typosSubjects: Probability (math.PR)
- [192] arXiv:2308.04408 (replaced) [pdf, other]
-
Title: Simple $p$-adic Lie groups with abelian Lie algebrasComments: Minor corrections. To appear in CrelleSubjects: Group Theory (math.GR)
- [193] arXiv:2308.07073 (replaced) [pdf, ps, other]
-
Title: Representation zeta functions of groups of type $A_2$ in positive characteristicSubjects: Representation Theory (math.RT)
- [194] arXiv:2308.16373 (replaced) [pdf, ps, other]
-
Title: Entropy Estimate for Degenerate SDEs with Applications to Nonlinear Kinetic Fokker-Planck EquationsComments: 22 pagesSubjects: Probability (math.PR)
- [195] arXiv:2309.00069 (replaced) [pdf, ps, other]
-
Title: Multistage DPG time-marching scheme for nonlinear problemsSubjects: Numerical Analysis (math.NA)
- [196] arXiv:2309.01237 (replaced) [pdf, other]
-
Title: The Information Geometry of UMAPComments: 11 pages, 2 figures, 3 tables; Github repo (this https URL)Subjects: Computational Geometry (cs.CG); Discrete Mathematics (cs.DM); Information Theory (cs.IT); Geometric Topology (math.GT)
- [197] arXiv:2309.05363 (replaced) [pdf, other]
-
Title: How Can Energy Communities Provide Grid Services? A Dynamic Pricing Mechanism with Budget Balance, Individual Rationality, and Fair AllocationSubjects: Optimization and Control (math.OC)
- [198] arXiv:2309.09578 (replaced) [pdf, ps, other]
-
Title: A sufficient condition for cubic 3-connected plane bipartite graphs to be hamiltonianAuthors: Jan FlorekComments: 15 pagesSubjects: Combinatorics (math.CO)
- [199] arXiv:2309.12870 (replaced) [pdf, ps, other]
-
Title: Penalty Ensembles for Navier-Stokes with Random Initial Conditions & ForcingAuthors: Rui FangSubjects: Numerical Analysis (math.NA)
- [200] arXiv:2310.00381 (replaced) [pdf, other]
-
Title: Quadratic constraint consistency in the projection-free approximation of harmonic maps and bending isometriesSubjects: Numerical Analysis (math.NA)
- [201] arXiv:2310.03289 (replaced) [pdf, other]
-
Title: Collaborative Safety-Critical Control for Networked Dynamic SystemsComments: This work is under review for publication in the IEEE Transactions on Automatic ControlSubjects: Optimization and Control (math.OC); Multiagent Systems (cs.MA); Systems and Control (eess.SY); Dynamical Systems (math.DS)
- [202] arXiv:2310.10117 (replaced) [pdf, other]
-
Title: Federated Learning with Convex Global and Local ConstraintsComments: Accepted by Transactions on Machine Learning Research. Code associated with this paper can be found in this https URLSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
- [203] arXiv:2310.11752 (replaced) [pdf, other]
-
Title: Probabilistic Roadmaps for Aerial Relay Path PlanningSubjects: Optimization and Control (math.OC)
- [204] arXiv:2311.07338 (replaced) [pdf, other]
-
Title: A mathematical model of the visual MacKay effectSubjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP); Numerical Analysis (math.NA); Neurons and Cognition (q-bio.NC)
- [205] arXiv:2311.07686 (replaced) [pdf, ps, other]
-
Title: Achieving Optimum Received Power with Elementwise Updates in the Least Number of Steps for Discrete-Phase RISsComments: 26 pages, 13 figures, 4 tablesSubjects: Information Theory (cs.IT); Emerging Technologies (cs.ET)
- [206] arXiv:2311.17831 (replaced) [pdf, other]
-
Title: Confidence Regions for Filamentary StructuresAuthors: Wanli QiaoSubjects: Statistics Theory (math.ST)
- [207] arXiv:2312.05595 (replaced) [pdf, ps, other]
-
Title: On the (non-)existence of tight distance-regular graphs: a local approachComments: 18 pagesSubjects: Combinatorics (math.CO)
- [208] arXiv:2312.06003 (replaced) [pdf, ps, other]
-
Title: Algebraic and symplectic curves of degree 8Authors: Enrique Artal BartoloComments: Some minor correctionsSubjects: Algebraic Geometry (math.AG); Geometric Topology (math.GT)
- [209] arXiv:2312.06659 (replaced) [pdf, other]
-
Title: Convergence of Multi-Scale Reinforcement Q-Learning Algorithms for Mean Field Game and Control ProblemsSubjects: Optimization and Control (math.OC)
- [210] arXiv:2312.09441 (replaced) [pdf, ps, other]
-
Title: A question about generalized nonvanishingAuthors: Claudio FontanariComments: Final version, to appear in Rendiconti del Circolo Matematico di PalermoSubjects: Algebraic Geometry (math.AG)
- [211] arXiv:2312.11166 (replaced) [pdf, other]
-
Title: Volume-Preserving Transformers for Learning Time Series Data with StructureSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG)
- [212] arXiv:2312.17512 (replaced) [pdf, ps, other]
-
Title: A Comprehensive Definition of the Geometric Mean of Convex Bodies Based on Relations Between Their $p$-MeansComments: 31 pages, 4 figuresSubjects: Metric Geometry (math.MG)
- [213] arXiv:2401.01292 (replaced) [pdf, other]
-
Title: Solving Fokker-Planck equations using the zeros of Fokker-Planck operators and the Feynman-Kac formulaComments: 18 pages, 7 figuresSubjects: Analysis of PDEs (math.AP)
- [214] arXiv:2401.02228 (replaced) [pdf, other]
-
Title: Infinite-Time Singularities of the Lagrangian Mean Curvature FlowComments: minor modifications; add a precise polynomial blow-up rate of the second fundamental formSubjects: Differential Geometry (math.DG)
- [215] arXiv:2401.05859 (replaced) [pdf, ps, other]
-
Title: New Construction of $q$-ary Codes Correcting a Burst of at most $t$ DeletionsSubjects: Information Theory (cs.IT)
- [216] arXiv:2401.08790 (replaced) [pdf, ps, other]
-
Title: Tracking Superharmonic Resonances for Nonlinear Vibration of Conservative and Hysteretic Single Degree of Freedom SystemsComments: 57 pages, 24 figures; published at the journal Mechanical Systems and Signal Processing; revisions for clarifications from peer review, results are unchangedJournal-ref: Mechanical Systems and Signal Processing 215 (2024) 111410Subjects: Dynamical Systems (math.DS)
- [217] arXiv:2401.11608 (replaced) [pdf, other]
-
Title: $\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAXSubjects: Systems and Control (eess.SY); Machine Learning (cs.LG); Optimization and Control (math.OC)
- [218] arXiv:2401.15140 (replaced) [pdf, other]
-
Title: Link Prediction Accuracy on Real-World Networks Under Non-Uniform Missing Edge PatternsComments: Submitted to PLOS ONESubjects: Dynamical Systems (math.DS); Social and Information Networks (cs.SI)
- [219] arXiv:2401.15166 (replaced) [pdf, other]
-
Title: Probabilistic Design of Multi-Dimensional Spatially-Coupled CodesComments: 12 pages (double column), 5 figures, the short version has been accepted at the IEEE International Symposium on Information Theory (ISIT)Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
- [220] arXiv:2402.03178 (replaced) [pdf, other]
-
Title: Bounds of restriction of characters to submanifoldsAuthors: Yunfeng ZhangComments: v3: Added a section on general eigenfunctions; v2: Added a section on invariant submanifoldsSubjects: Representation Theory (math.RT); Spectral Theory (math.SP)
- [221] arXiv:2402.05381 (replaced) [pdf, other]
-
Title: Palindromic PeriodicitiesAuthors: Jamie SimpsonComments: 12 pagesSubjects: Combinatorics (math.CO)
- [222] arXiv:2402.10136 (replaced) [pdf, ps, other]
-
Title: Birational complexity and dual complexesComments: 37 pages. Minor changesSubjects: Algebraic Geometry (math.AG)
- [223] arXiv:2402.13451 (replaced) [pdf, ps, other]
-
Title: On the Folklore set and Dirichlet spectrum for matricesComments: 43 pages, 1 figure, comments welcome. The main results are strengthened and new results have been addedSubjects: Number Theory (math.NT); Classical Analysis and ODEs (math.CA); Dynamical Systems (math.DS)
- [224] arXiv:2402.19000 (replaced) [pdf, ps, other]
-
Title: On subgroups with narrow Schreier graphsAuthors: Pénélope AzuelosComments: Main result extended to a wider class of subgroups. 16 pages, 2 figuresSubjects: Group Theory (math.GR)
- [225] arXiv:2403.00721 (replaced) [pdf, other]
-
Title: New cluster algebras from old: integrability beyond Zamolodchikov periodicityComments: Typos corrected, with new results and additional appendix addedSubjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph); Combinatorics (math.CO)
- [226] arXiv:2403.04778 (replaced) [pdf, other]
-
Title: An Efficient Difference-of-Convex Solver for Privacy FunnelSubjects: Machine Learning (cs.LG); Cryptography and Security (cs.CR); Information Theory (cs.IT)
- [227] arXiv:2403.10560 (replaced) [pdf, other]
-
Title: Holographic Phase Retrieval via Wirtinger Flow: Cartesian Form with Auxiliary AmplitudeSubjects: Information Theory (cs.IT); Graphics (cs.GR); Image and Video Processing (eess.IV); Numerical Analysis (math.NA)
- [228] arXiv:2403.11893 (replaced) [pdf, other]
-
Title: Entanglement Coordination Rates in Multi-User NetworksSubjects: Quantum Physics (quant-ph); Information Theory (cs.IT)
- [229] arXiv:2403.15057 (replaced) [pdf, ps, other]
-
Title: A nonvariational form of the Neumann problem for Hölder continuous harmonic functionsAuthors: M. Lanza_de_CristoforisSubjects: Analysis of PDEs (math.AP)
- [230] arXiv:2403.20243 (replaced) [pdf, other]
-
Title: Nodal Volumes as Differentiable Functionals of Gaussian fieldsComments: 60 pages, 5 figuresSubjects: Probability (math.PR); Differential Geometry (math.DG)
- [231] arXiv:2404.03463 (replaced) [src]
-
Title: A Characterization of Adequate LinksComments: We have found a gap in one of the lemmas that was used to prove the main resultSubjects: Geometric Topology (math.GT)
- [232] arXiv:2404.05542 (replaced) [pdf, other]
-
Title: On the chromatic number of powers of subdivisions of graphsComments: 9 pagesSubjects: Combinatorics (math.CO)
- [233] arXiv:2404.05550 (replaced) [pdf, ps, other]
-
Title: Quasirandom and quasisimple groupsComments: 22 pagesSubjects: Group Theory (math.GR); Representation Theory (math.RT)
- [234] arXiv:2404.06625 (replaced) [pdf, other]
-
Title: Adapted optimal transport between Gaussian processes in discrete timeComments: 14 pages, 2 figures. RevisedSubjects: Probability (math.PR)
- [235] arXiv:2404.06759 (replaced) [pdf, ps, other]
-
Title: Two-point local time penalizations with various clocks for Lévy processesComments: arXiv admin note: text overlap with arXiv:2404.01762Subjects: Probability (math.PR)
- [236] arXiv:2404.07337 (replaced) [pdf, ps, other]
-
Title: Probabilistic estimates of the diameters of the Rubik's Cube groupsAuthors: So HirataSubjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO); Probability (math.PR)
- [237] arXiv:2404.12087 (replaced) [pdf, other]
-
Title: Optimizing the diffusion coefficient of overdamped Langevin dynamicsComments: 76 pages, 11 figuresSubjects: Numerical Analysis (math.NA)
- [238] arXiv:2404.12755 (replaced) [pdf, ps, other]
-
Title: Expanding Ricci solitons coming out of weakly PIC1 metric conesComments: 21 pages, minor changes, all comments are welcomeSubjects: Differential Geometry (math.DG)
- [239] arXiv:2404.12906 (replaced) [pdf, ps, other]
-
Title: A Pythagorean triangle in which the hypotenuse and the sum of the arms are squaresAuthors: Djamel HimaneSubjects: General Mathematics (math.GM)
- [240] arXiv:2404.13394 (replaced) [pdf, ps, other]
-
Title: The small finitistic dimensions of commutative rings, IIAuthors: Xiaolei ZhangSubjects: Commutative Algebra (math.AC)
- [241] arXiv:2404.14458 (replaced) [pdf, ps, other]
-
Title: The Duality Theory of Fractional Calculus and a New Fractional Calculus of Variations Involving Left Operators OnlyAuthors: Delfim F. M. TorresComments: This is a preprint whose final form is published Open Access in 'Mediterr. J. Math. 21 (2024), no. 3, Paper No. 106, 16 pp' (this https URL). Submitted 11/Dec/2022; Revised 25/Jan/2024 and 3/March/2024; Accepted 8/April/2024; Published 30/April/2024Journal-ref: Mediterr. J. Math. 21 (2024), no. 3, Paper No. 106, 16ppSubjects: Optimization and Control (math.OC)
- [242] arXiv:2404.17429 (replaced) [pdf, other]
-
Title: Separation capacity of linear reservoirs with random connectivity matrixAuthors: Youness BoutaibSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Probability (math.PR)
- [243] arXiv:2404.17449 (replaced) [pdf, ps, other]
-
Title: On the Meaning of Local Symmetries: Epistemic-Ontological DialecticsComments: 21 pagesSubjects: History and Philosophy of Physics (physics.hist-ph); General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Differential Geometry (math.DG)
- [244] arXiv:2404.17694 (replaced) [pdf, other]
-
Title: Areas Between CosinesComments: 23 pages, 3 figuresSubjects: Combinatorics (math.CO)
- [245] arXiv:2404.18107 (replaced) [pdf, ps, other]
-
Title: Boundedness of composition operators from Lorentz spaces to Orlicz spacesSubjects: Functional Analysis (math.FA)
- [246] arXiv:2404.18140 (replaced) [pdf, other]
-
Title: The Unique stationary boundary propertyAuthors: Eli GlasnerComments: The formulation of Theorem 2.1 is corrected, and a proof of corollary 2.2 is addedSubjects: Dynamical Systems (math.DS); Group Theory (math.GR); Probability (math.PR)
- [247] arXiv:2404.18191 (replaced) [pdf, other]
-
Title: Exploring the Robustness of In-Context Learning with Noisy LabelsComments: ICLR 2024 Workshop on Reliable and Responsible Foundation ModelsSubjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Machine Learning (cs.LG); Optimization and Control (math.OC)
- [248] arXiv:2404.18320 (replaced) [pdf, other]
-
Title: Elliptic Exceptional Belyi CoveringsAuthors: Cemile KurkogluComments: slightly revised Title, Introduction and preliminaries in Chapter 2; results remain unchangedSubjects: Algebraic Geometry (math.AG)
- [249] arXiv:2404.18444 (replaced) [pdf, other]
-
Title: U-Nets as Belief Propagation: Efficient Classification, Denoising, and Diffusion in Generative Hierarchical ModelsAuthors: Song MeiComments: v2 updated discussions of related literatureSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Statistics Theory (math.ST); Machine Learning (stat.ML)
- [250] arXiv:2404.18778 (replaced) [pdf, ps, other]
-
Title: On Approximating the Potts Model with Contracting Glauber DynamicsComments: 34 pages, changes to formattingSubjects: Probability (math.PR)
- [251] arXiv:2404.19145 (replaced) [pdf, other]
-
Title: Orthogonal Bootstrap: Efficient Simulation of Input UncertaintySubjects: Methodology (stat.ME); Machine Learning (cs.LG); Econometrics (econ.EM); Statistics Theory (math.ST); Machine Learning (stat.ML)
- [252] arXiv:2404.19431 (replaced) [pdf, ps, other]
-
Title: Integrated Sensing and Communications for Unsourced Random Access: Fundamental LimitsSubjects: Information Theory (cs.IT)
[ showing up to 2000 entries per page: fewer | more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2405, contact, help (Access key information)