We study the set of lengths of the horizontal chords of a continuous function. We show that no matter which function we choose, at least half of the possible lengths occur, and we prove several results about functions for which all the possible lengths occur.
Perfectly contractile graphs form a typical class of perfect graphs. In particular, all $k$-colorings of a perfectly contractile graph are Kempe equivalent. Everett and Reed conjectured that a graph is perfectly contractile if and only if it contains no odd holes, no antiholes and no odd prisms. On the other hand the authors and Shibata conjectured that a perfect graph is perfectly contractile if and only if its toric ring, which is called the stable set ring, is quadratic. In the present paper, we characterize when the stable set ring of a (not necessarily perfect) graph is quadratic by using Kempe equivalence. As applications of this characterization, we can claim that if Everett and Reed conjecture is true, then the conjecture of the authors and Shibata is also true. Moreover, we can show that for several important classes of perfectly contractile graphs, the stable set rings are quadratic.
We correct an error in Lemma 3.1 of my paper coauthored with Ran Levi on the Benson-Solomon fusion systems, and show that the change does not affect any of the other results in that paper. More precisely, as pointed out to us by Justin Lynd, there are two conjugacy classes of elementary abelian subgroups of rank $3$ in each of the fusion systems $\cal{F}_{{\rm Sol}}(q)$, and not only one as claimed in our paper.
In this work, the converse of the Cowling-Thron-Obrechkoff theorem is established. In addition to its obvious theoretical interest, the result fills a gap in the proof of Kellogg's celebrated eigenvalue inequality for matrices whose principal minors are positive or nonnegative.
We show that the first two $k$-invariants of $Top/O$ vanish and give some applications.
A fundamental problem in quantum physics is to encode functions that are completely anti-symmetric under permutations of identical particles. The Barron space consists of high-dimensional functions that can be parameterized by infinite neural networks with one hidden layer. By explicitly encoding the anti-symmetric structure, we prove that the anti-symmetric functions which belong to the Barron space can be efficiently approximated with sums of determinants. This yields a factorial improvement in complexity compared to the standard representation in the Barron space and provides a theoretical explanation for the effectiveness of determinant-based architectures in ab-initio quantum chemistry.
We present new smoothing techniques for topologically embedded surfaces in smooth 4-manifolds, which give topological isotopy to a smooth surface. As applications, we prove "topological = smooth" results in dimension 4 for certain disks and spheres modulo isotopy. A key step in our approach is to link Quinn's smoothing theory with ideas in Gabai's 4-dimensional light bulb theorem and succeeding developments of Schneiderman-Teichner and Kosanovi\'c-Teichner. As another application of our smoothing technique, we obtain a topological version of the Dax invariant which gives topological isotopy obstructions for topological disks in 4-manifolds.
This work proposes a method to compute the maximum value obtained by a state function along trajectories of a Delay Differential Equation (DDE). An example of this task is finding the maximum number of infected people in an epidemic model with a nonzero incubation period. The variables of this peak estimation problem include the stopping time and the original history (restricted to a class of admissible histories). The original nonconvex DDE peak estimation problem is approximated by an infinite-dimensional Linear Program (LP) in occupation measures, inspired by existing measure-based methods in peak estimation and optimal control. This LP is approximated from above by a sequence of Semidefinite Programs (SDPs) through the moment-Sum of Squares (SOS) hierarchy. Effectiveness of this scheme in providing peak estimates for DDEs is demonstrated with provided examples
It has recently been shown that ISTA, an unaccelerated optimization method, presents sparse updates for the $\ell_1$-regularized personalized PageRank problem, leading to cheap iteration complexity and providing the same guarantees as the approximate personalized PageRank algorithm (APPR) [FRS+19]. In this work, we design an accelerated optimization algorithm for this problem that also performs sparse updates, providing an affirmative answer to the COLT 2022 open question of [FY22]. Acceleration provides a reduced dependence on the condition number, while the dependence on the sparsity in our updates differs from the ISTA approach. Further, we design another algorithm by using conjugate directions to achieve an exact solution while exploiting sparsity. Both algorithms lead to faster convergence for certain parameter regimes. Our findings apply beyond PageRank and work for any quadratic objective whose Hessian is a positive-definite $M$-matrix.
The classical Hochschild cohomology theory of rings is extended to abelian heaps with distributing multiplication or trusses. This cohomology is then employed to give necessary and sufficient conditions for a Nijenhuis product on a truss (defined by the extension of the Nijenhuis product on an associative ring introduced in [{\sc J.F.\ Cari\~nena, J.\ Grabowski, G.\ Marmo}, {\it Quantum Bi-Hamiltonian Systems}. Int.\ J.\ Mod.\ Phys.\ A {\bf 15}, 4797--4810, 2000.]) to be associative. The definition of Nijenhuis product and operators on trusses is then linearised to the case of affine spaces with compatible associative multiplications or associative {\em affgebras}. It is shown that this construction leads to compatible Lie brackets on an affine space.
In this article, we study the pair correlation of Farey fractions by proving that the limiting pair correlation function of the sequence of Farey fractions with square-free denominators exists and provide an explicit formula for the limiting pair correlation function.
Gyroscopic alignment of a fluid occurs when flow structures align with the rotation axis. This often gives rise to highly spatially anisotropic columnar structures that in combination with complex domain boundaries pose challenges for efficient numerical discretizations and computations. We define gyroscopic polynomials to be three-dimensional polynomials expressed in a coordinate system that conforms to rotational alignment. We remap the original domain with radius-dependent boundaries onto a right cylindrical or annular domain to create the computational domain in this coordinate system. We find the volume element expressed in gyroscopic coordinates leads naturally to a hierarchy of orthonormal bases. We build the bases out of Jacobi polynomials in the vertical and generalized Jacobi polynomials in the radial. Because these coordinates explicitly conform to flow structures found in rapidly rotating systems the bases represent fields with a relatively small number of modes. We develop the operator structure for one-dimensional semi-classical orthogonal polynomials as a building block for differential operators in the full three-dimensional cylindrical and annular domains. The differential operators of generalized Jacobi polynomials generate a sparse linear system for discretization of differential operators acting on the gyroscopic bases. This enables efficient simulation of systems with strong gyroscopic alignment.
We extend anti-classification results in ergodic theory to the collection of weakly mixing systems by proving that the isomorphism relation as well as the Kakutani equivalence relation of weakly mixing invertible measure-preserving transformations are not Borel sets. This shows in a precise way that classification of weakly mixing systems up to isomorphism or Kakutani equivalence is impossible in terms of computable invariants, even with a very inclusive understanding of ``computability''. We even obtain these anti-classification results for weakly mixing area-preserving smooth diffeomorphisms on compact surfaces admitting a non-trivial circle action as well as real-analytic diffeomorphisms on the $2$-torus.
We study the structure of a graded $3$-Lie-Rinehart algebra $\mathcal{L}$ over an associative and commutative graded algebra $A.$ For $G$ an abelian group, we show that if $(L, A)$ is a tight $G$-graded 3-Lie-Rinehart algebra, then $\mathcal{L}$ and $A$ decompose as $\mathcal{L} =\bigoplus_{i\in I}\mathcal{L}_i$ and $A =\bigoplus_{j\in J}A_j,$ where any $\mathcal{L}_i$ is a non-zero graded ideal of $\mathcal{L}$ satisfying $[\mathcal{L}_{i_1}, \mathcal{L}_{i_2}, \mathcal{L}_{i_3}]=0$ for any $i_1, i_2, i_3\in I$ different from each other, and any $A_j$ is a non-zero graded ideal of $A$ satisfying $A_j A_l=0$ for any $l, j\in J$ such that $j\neq l,$ and both decompositions satisfy that for any $i\in I$ there exists a unique $j\in J$ such that $A_j \mathcal{L}_i\neq 0.$ Furthermore, any $(\mathcal{L}_i, A_j)$ is a graded 3-Lie-Rinehart algebra. Also, under certain conditions, it is shown that the above decompositions of $\mathcal{L}$ and $A$ are by means of the family of their, respective, graded simple ideals.
This paper defines compatible BiHom-Lie algebras by twisting the compatible Lie algebras by two linear commuting maps. We show the characterization of compatible BiHom-Lie algebra as a Maurer-Cartan element in a suitable bidifferential graded Lie algebra. We also define a cohomology theory for compatible BiHom-Lie algebras.
The present paper investigates Cox-Ingersoll-Ross (CIR) processes of dimension less than 1, with a focus on obtaining an equation of a new type including local times for the square root of the CIR process. We utilize the fact that non-negative diffusion processes can be obtained by the transformation of time and scale of some reflected Brownian motion to derive this equation, which contains a term characterized by the local time of the corresponding reflected Brownian motion. Additionally, we establish a new connection between low-dimensional CIR processes and reflected Ornstein-Uhlenbeck (ROU) processes, providing a new representation of Skorokhod reflection functions.
This paper deals with various cases of resonance, which is a fundamental concept of science and engineering. Specifically, we study the connections between periodic and unbounded solutions for several classes of equations and systems. In particular, we extend the classical Massera's theorem, dealing with periodic systems of the type \[ x'=A(t)x+f(t) \,, \] and clarify that this theorem deals with a case of resonance. Then we provide instability results for the corresponding semilinear systems, with the linear part at resonance. We also use the solution curves developed in [8], [9] to establish the instability results for pendulum-like equations, and for first-order periodic equations.
We provide a definition of a $\prec$-asymptotic pair in a topological action of a countable group $G$, where $\prec$ is an order on $G$ of type $\mathbb Z$. We then prove that if $G$ is a countable amenable group and $(X,G)$ is a topological $G$-action of positive entropy, then for every multiorder $(\tilde{\mathcal O},\nu,G)$ and $\nu$-almost every order $\prec\,\in\tilde{\mathcal O}$ there exists a $\prec$-asympotic pair in $X$. This result is a generalization of the Blanchard-Host-Ruette Theorem for classical topological dynamical systems (actions of~$\mathbb Z$). We also prove that for every countable amenable group $G$, and every multiorder on $G$ arising from a tiling system, every topological $G$-action of entropy zero has an extension which has no $\prec$-asymptotic pairs for any $\prec$ belonging to this multiorder. Together, these two theorems give a characterization of topological $G$-actions of entropy zero: $(X,G)$ has topological entropy zero if and only if, for any multiorder $\tilde{\mathcal O}_{\boldsymbol{\mathsf T}}$ on $G$ arising from a tiling system of entropy zero, there exists an extension $(Y,G)$ of $(X,G)$, which has no $\prec$-asymptotic pairs for any $\prec\,\in\tilde{\mathcal O}_{\boldsymbol{\mathsf T}}$, equivalently, there exists a multiorder $(\tilde{\mathcal O},\nu,G)$ on $G$, such that for $\nu$-almost any $\prec\,\in\tilde{\mathcal O}$, there are no $\prec$-asymptotic pairs in $(Y,G)$.
This paper is devoted to stability results for the Gaussian logarithmic Sobolev inequality. Our approach covers several cases involving the strongest possible norm with the optimal exponent, under constraints. Explicit constants are obtained. The strategy of proof relies on entropy methods and the Ornstein-Uhlenbeck flow.
Akemann and Weaver showed Lyapunov-type theorem for rank one positive semidefinite matrices which is an extension of Weaver's KS$_2$ conjecture that was proven by Marcus, Spielman, and Srivastava in their breakthrough solution of the Kadison-Singer problem. They conjectured that a similar result holds for higher rank matrices. We prove the conjecture of Akemann and Weaver by establishing Lyapunov-type theorem for trace class operators. In the process we prove a matrix discrepancy result for sums of hermitian matrices. This extends rank one result of Kyng, Luh, and Song who established an improved bound in Lyapunov-type theorem of Akemann and Weaver.
In this paper we characterize the relative Gorenstein weak global dimension of the generalized Gorenstein $\mathcal{Y}$-flat modules recently studied by S. Estrada, A. Iacob, and M. A. P\'erez. As application we prove that the weak global dimension that comes from the Gorenstein $\mathrm{FP}_n$-flat modules is finite over a Gorenstein $n$-coherent ring and coincide with the flat dimension of the right $\mathrm{FP}_n$-injective modules. This result extends the known for Gorenstein flat modules over Iwanaga-Gorenstein and Ding-Chen rings.
We introduce a notion of formally \'etale $\mathbb{E}_{\infty}$-coalgebras and show that these admit essentially unique, functorial lifts against square zero extensions of $\mathbb{E}_{\infty}$-rings. We use this to construct a spherical Witt vector style functor which exhibits the $\infty$-category of formally \'etale connective $\mathbb{E}_{\infty}$-coalgebras over $\mathbb{F}_{p}$ as a full subcategory of the $\infty$-category of connective $p$-complete $\mathbb{E}_{\infty}$-coalgebras over $\mathbb{S}_{p}^{\wedge}$. Finally, we prove that for a finite space $X$ the $\mathbb{F}_{p}$-homology $C_{\ast}(X;\mathbb{F}_{p})$ is a formally \'etale $\mathbb{F}_{p}$-coalgebra and hence $(\Sigma^{\infty}_{+}X)^{\wedge}_{p}$ can be recovered as its essentially unique lift to the $p$-completed sphere.
We develop a new method leading to an elementary proof of a generalization of Gromov's theorem about non existence of H\"older embeddings into the Heisenberg group.
Control Barrier Functions offer safety certificates by dictating controllers that enforce safety constraints. However, their response depends on the classK function that is used to restrict the rate of change of the barrier function along the system trajectories. This paper introduces the notion of Rate Tunable Control Barrier Function (RT-CBF), which allows for online tuning of the response of CBF-based controllers. In contrast to the existing CBF approaches that use a fixed (predefined) classK function to ensure safety, we parameterize and adapt the classK function parameters online. Furthermore, we discuss the challenges associated with multiple barrier constraints, namely ensuring that they admit a common control input that satisfies them simultaneously for all time. In practice, RT-CBF enables designing parameter dynamics for (1) a better-performing response, where performance is defined in terms of the cost accumulated over a time horizon, or (2) a less conservative response. We propose a model-predictive framework that computes the sensitivity of the future states with respect to the parameters and uses Sequential Quadratic Programming for deriving an online law to update the parameters in the direction of improving the performance. When prediction is not possible, we also provide point-wise sufficient conditions to be imposed on any user-given parameter dynamics so that multiple CBF constraints continue to admit common control input with time. Finally, we introduce RT-CBFs for decentralized uncooperative multi-agent systems, where a trust factor, computed based on the instantaneous ease of constraint satisfaction, is used to update parameters online for a less conservative response.
This paper investigates online composite optimization in dynamic environments, where each objective or loss function contains a time-varying nondifferentiable regularizer. To resolve it, an online proximal gradient algorithm is studied for two distinct scenarios, including convex and strongly convex objectives without the smooth condition. In both scenarios, unlike most of works, an extended version of the conventional path variation is employed to bound the considered performance metric, i.e., dynamic regret. In the convex scenario, a bound $\mathcal{O}(\sqrt{T^{1-\beta}D_\beta(T)+T})$ is obtained which is comparable to the best-known result, where $D_\beta(T)$ is the extended path variation with $\beta\in[0,1)$ and $T$ being the total number of rounds. In strongly convex case, a bound $\mathcal{O}(\log T(1+T^{-\beta}D_\beta(T)))$ on the dynamic regret is established. In the end, numerical examples are presented to support the theoretical findings.
Motivated by applications in polymer-based data storage we introduced the new problem of characterizing the code rate and designing constant-weight binary $B_2$-sequences. Binary $B_2$-sequences are collections of binary strings of length $n$ with the property that the real-valued sums of all distinct pairs of strings are distinct. In addition to this defining property, constant-weight binary $B_2$-sequences also satisfy the constraint that each string has a fixed, relatively small weight $\omega$ that scales linearly with $n$. The constant-weight constraint ensures low-cost synthesis and uniform processing of the data readout via tandem mass spectrometers. Our main results include upper bounds on the size of the codes formulated as entropy-optimization problems and constructive lower bounds based on Sidon sequences.
In this paper, long time and high order moment asymptotics for super-Brownian motions (sBm's) are studied. By using a moment formula for sBm's (e.g. Theorem 3.1, Hu et al. Ann. Appl. Probab. 2023+), precise upper and lower bounds for all positive integer moments and for all time of sBm's for certain initial conditions are achieved. Then, the moment asymptotics as time goes to infinity or as the moment order goes to infinity follow immediately. Additionally, as an application of the two-sided moment bounds, the tail probability estimates of sBm's are obtained.
We establish a new approach to obtain 3-manifold invariants via Dehn surgery. For this, we introduce skew-racks with good involution and Property FR, and define cocycle invariants as 3-manifold invariants. We also define some link invariants in the 3-sphere which are invariant up to link-homotopic.
Balanced and swap-robust minimal trades, introduced in [1], are important for studying the balance and stability of server access request protocols under data popularity changes. Constructions of such trades have so far relied on paired sets obtained through iterative combining of smaller sets that have provable stability guarantees, coupled with exhaustive computer search. Currently, there exists a nonnegligible gap between the resulting total dynamic balance discrepancy and the known theoretical lower bound. We present both new upper and lower bounds on the total service requests discrepancy under limited popularity changes. Our constructive near-optimal approach uses a new class of paired graphs whose vertices are two balanced sets with edges (arcs) that capture the balance and potential balance changes induced by limited-magnitude popularity changes (swaps).
In this paper, we first concentrate on the possible values and dense property of entropies for isotropic and anisotropic axial products of subshifts of finite type (SFTs) on $\mathbb{N}^d$ and $d$-tree $\mathcal{T}_d$. We prove that the entropies of isotropic and anisotropic axial products of SFTs on $\mathbb{N}^d$ are dense in $[0,\infty)$, and the same result also holds for anisotropic axial products of SFTs on $\mathcal{T}_d$. However, the result is no longer true for isotropic axial products of SFTs on $\mathcal{T}_d$. Next, motivated by the work of Johnson, Kass and Madden [16], and Schraudner [28], we establish the entropy formula and structures for full axial extension shifts on $\mathbb{N}^d$ and $\mathcal{T}_d$. Combining the aforementioned results with the findings on the surface entropy for multiplicative integer systems [8] on $\mathbb{N}^d$ enables us to estimate the surface entropy for the full axial extension shifts on $\mathcal{T}_d$. Finally, we extend the results of full axial extension shifts on $\mathcal{T}_d$ to general trees.
We introduce a new arc in directed graphs of integers. Among other things, we determine the positive integers that have arcs to all except a finite number of positive integers. We also propose some possible research problems at the end of this article.
In this paper, we focus on the construction methods based MWD for polar codes to improve the performance with successive cancellation list (SCL) decoding. We first propose an ordered and nested reliability sequence, namely MWD sequence, to improve the ML performance of polar codes and apply fast construction without the original channel information. In the MWD sequence, the synthetic channels are sorted by the partial MWD which is used to evaluate the influence of information bit on MWD and we prove the MWD sequence is the optimum sequence under ML decoding. Then, since the list size of SCL decoding is limited, we introduce an entropy constraint to establish a relationship between the list size and the ML performance and propose a heuristic and greedy construction method named bit grouping reorder based MWD (BGR-MWD) algorithm. In the algorithm, we divide the synthetic channels into groups by the partial MWD and greedily reorder the synthetic channels in some groups until the entropy constraint is satisfied. The simulation results show the MWD sequence is suitable for constructing polar codes with short code length. Meanwhile, the BGR-MWD algorithm has superior performance over the traditional construction methods for long code length.
The pointwise space-time behaviors of the Green's function and the global solution to the modified Vlasov- Poisson-Boltzmann (mVPB) system in one-dimensional space are studied in this paper. It is shown that, the Green's function admits the diffusion wave, the Huygens's type sound wave, the singular kinetic wave and the remainder term decaying exponentially in space-time. These behaviors are similar to the Boltzmann equation (Liu and Yu in Comm. Pure Appl. Math. 57: 1543-1608, 2004). Furthermore, we establish the pointwise space-time nonlinear diffusive behaviors of the global solution to the nonlinear mVPB system in terms of the Green's function.
In this paper, we introduce a concept of quasi-homomorphism of quantum cluster algebras, which is a quantum analogy of the quasi-homomorphism of cluster algebras introduced by Fraser. For a quantum Grassmannian cluster algebra $\CC_q[\Gr(k,n)]$, we show that there is an associated braid group and each generator $\sigma_i$ of the braid group preserves the quasi-commutative relations of quantum Pl\"{u}cker coordinates and exchange relations of the quantum Grassmannian cluster algebra. We conjecture that $\sigma_i$ also preserves $r$-term ($r \ge 4$) quantum Pl\"{u}cker relations of $\CC_q[\Gr(k,n)]$. Up to this conjecture, we show that $\sigma_i$ is a quasi-automorphism of $\CC_q[\Gr(k,n)]$ and the braid group acts on $\CC_q[\Gr(k,n)]$.
In this paper, we consider the inverse problem of determining some coefficients within a coupled nonlinear parabolic system, through boundary observation of its non-negative solutions. In the physical setup, the non-negative solutions represent certain probability densities in different contexts. We develop a high-order variation scheme which can both ensure the positivity of the solutions and effectively tackle the nonlinear inverse problem. This enables us to establish several unique identifiability results for the inverse problem in a rather general setup. As a typical and practically interesting application, we apply our general results to inverse problems for ecological population models, where the positive solutions signify the population densities.
Reconfigurable intelligent surface (RIS) has aroused a surge of interest in recent years. In this paper, we investigate the joint phase alignment and phase quantization on discrete phase shift designs for RIS-assisted single-input single-output (SISO) system. Firstly, the phenomena of phase distribution in far field and near field are respectively unveiled, paving the way for discretization of phase shift for RIS. Then, aiming at aligning phases, the phase distribution law and its underlying degree-of-freedom (DoF) are characterized, serving as the guideline of phase quantization strategies. Subsequently, two phase quantization methods, dynamic threshold phase quantization (DTPQ) and equal interval phase quantization (EIPQ), are proposed to strengthen the beamforming effect of RIS. DTPQ is capable of calculating the optimal discrete phase shifts with linear complexity in the number of unit cells on RIS, whilst EIPQ is a simplified method with a constant complexity yielding sub-optimal solution. Simulation results demonstrate that both methods achieve substantial improvements on power gain, stability, and robustness over traditional quantization methods. The path loss (PL) scaling law under discrete phase shift of RIS is unveiled for the first time, with the phase shifts designed by DTPQ due to its optimality. Additionally, the field trials conducted at 2.6 GHz and 35 GHz validate the favourable performance of the proposed methods in practical communication environment.
We provide a classification result for positive solutions to $\Delta u = u^{-\gamma}$ in the half space, under zero Dirichlet boundary condition.
The rank of a $d$-dimensional polytope $P$ is defined by $F-(d+1)$, where $F$ denotes the number of facets of $P$. In this paper, We focus on the toric rings of $(0,1)$-polytopes with small rank. We study their normality, the torsionfreeness of their divisor class groups and the classification of their isomorphism classes.
The aim of this paper is to give an alternative and very simple physical space proof of a slightly weak version of a classical wave equation bilinear estimates of Klainerman-Machedon \cite{Klainerman-Machedon} by using div-curl type lemma of Zhou \cite{Zhou} and Wang-Zhou \cite{Wang-Zhou-1}, \cite{Wang-Zhou-2}. As far as we known, the later development of wave maps \cite{Sterbenz-1}, \cite{Sterbenz-2}, \cite{Tao-1}, \cite{Tao-2}, \cite{Tataru-1}, \cite{Tataru-2}, and the proof of bounded curvature conjecture \cite{Klainerman-Rodnianski-Szeftel-1}, \cite{Klainerman-Rodnianski-Szeftel-2} rely on basic idea of Klainerman-Machedon \cite{Klainerman-Machedon}.
In this paper, we prove the rational coefficient case of the global ACC for foliated threefolds. Specifically, we consider any lc foliated log Calabi-Yau triple $(X,\mathcal{F},B)$ of dimension $3$ whose coefficients belong to a set $\Gamma$ of rational numbers satisfying the descending chain condition, and prove that the coefficients of $B$ belong to a finite set depending only on $\Gamma$. To prove our main result, we introduce the concept of generalized foliated quadruples, which is a mixture of foliated triples and Birkar-Zhang's generalized pairs. With this concept, we establish a canonical bundle formula for foliations in any dimension. As for applications, we extend Shokurov's global index conjecture in the classical MMP to foliated triples and prove this conjecture for threefolds with nonzero boundaries and for surfaces. Additionally, we introduce the theory of rational polytopes for functional divisors on foliations and prove some miscellaneous results.
In this paper, we study nearly Gorensteinness of Ehrhart rings arising from lattice polytopes. We give necessary conditions and sufficient conditions on lattice polytopes for their Ehrhart rings to be nearly Gorenstein. Using this, we give an efficient method for constructing nearly Gorenstein polytopes. Moreover, we determine the structure of nearly Gorenstein (0, 1)-polytopes and characterise nearly Gorensteinness of edge polytopes and graphic matroids.
We extend the method of Controlled Lagrangians to nonholonomic Euler--Poincar\'e equations with advected parameters, specifically to those mechanical systems on Lie groups whose symmetry is broken not only by a potential force but also by nonholonomic constraints. We introduce advected-parameter-dependent quasivelocities in order to systematically eliminate the Lagrange multipliers in the nonholonomic Euler--Poincar\'e equations. The quasivelocities facilitate the method of Controlled Lagrangians for these systems, and lead to matching conditions that are similar to those by Bloch, Leonard, and Marsden for the standard Euler--Poincar\'e equation. Our motivating example is what we call the pendulum skate, a simple model of a figure skater developed by Gzenda and Putkaradze. We show that the upright spinning of the pendulum skate is stable under certain conditions, whereas the upright sliding equilibrium is always unstable. Using the matching condition, we derive a control law to stabilize the sliding equilibrium.
This paper is concerned with establishing a trace minimization principle for two Hermitian matrix pairs. Specifically, we will answer the question: when is $\inf_X\operatorname{tr}(\widehat AX^{\rm H}AX)$ subject to $\widehat BX^{\rm H}BX=I$ (the identity matrix of apt size) finite? Sufficient and necessary conditions are obtained and, when the infimum is finite, an explicit formula for it is presented in terms of the finite eigenvalues of the matrix pairs. Our results extend Fan's trace minimization principle (1949) for a Hermitian matrix, a minimization principle of Kova\v{c}-Striko and Veseli\'c (1995) for a Hermitian matrix pair, and most recent ones by the authors and their collaborators for a Hermitian matrix pair and a Hermitian matrix.
We propose and study several inverse problems for the mean field games (MFG) system in a bounded domain. Our focus is on simultaneously recovering the running cost and the Hamiltonian within the MFG system by the associated boundary observation. There are several technical novelties that make our study highly intriguing and challenging. First, the MFG system couples two nonlinear parabolic PDEs within one moving forward and the other one moving backward in time. Second, there is a probability measure constraint on the population distribution of the agents. Third, the simultaneous recovery of two coupling factors within the MFG system is far from being trivial. We present two different techniques that can ensure the probability constraint as well as effectively tackle the inverse problems, which are respectively termed as high-order variation and successive linearisation. In particular, the high-order variation method is new to the literature, which demonstrates a novel concept to examine the inverse problems by positive inputs only. Both cases when the running cost depends on the measure locally and non-locally are investigated.
A permutation is called {\it {block-wise simple}} if it contains no interval of the form $p_1\oplus p_2$ or $p_1 \ominus p_2$. We present this new set of permutations and explore some of its combinatorial properties. We present a generating function for this set, as well as a recursive formula for counting block-wise simple permutations. Following Tenner, who founded the notion of interval posets, we characterize and count the interval posets corresponding to block-wise simple permutations. We also present a bijection between these interval posets and certain tiling's of the $n$-gon. Finally, we prove that the bi-variate distribution of the descent and inverse descent numbers are gamma-positive, provided the correctness of our recent conjecture on simple permutations.
Reinforcement learning has been applied in operation research and has shown promise in solving large combinatorial optimization problems. However, existing works focus on developing neural network architectures for certain problems. These works lack the flexibility to incorporate recent advances in reinforcement learning, as well as the flexibility of customizing model architectures for operation research problems. In this work, we analyze the end-to-end autoregressive models for vehicle routing problems and show that these models can benefit from the recent advances in reinforcement learning with a careful re-implementation of the model architecture. In particular, we re-implemented the Attention Model and trained it with Proximal Policy Optimization (PPO) in CleanRL, showing at least 8 times speed up in training time. We hereby introduce RLOR, a flexible framework for Deep Reinforcement Learning for Operation Research. We believe that a flexible framework is key to developing deep reinforcement learning models for operation research problems. The code of our work is publicly available at https://github.com/cpwan/RLOR.
This paper is concerned with the inverse spectral problem for the third-order differential equation with distribution coefficient. The inverse problem consists in the recovery of the differential expression coefficients from the spectral data of two boundary value problems with separated boundary conditions. For this inverse problem, we solve the most fundamental question of the inverse spectral theory about the necessary and sufficient conditions of solvability. In addition, we prove the local solvability and stability of the inverse problem. Furthermore, we obtain very simple sufficient conditions of solvability in the self-adjoint case. The main results are proved by a constructive method that reduces the nonlinear inverse problem to a linear equation in the Banach space of bounded infinite sequences. In the future, our results can be generalized to various classes of higher-order differential operators with integrable or distribution coefficients.
We propose a two-point flux approximation finite-volume scheme for a stochastic non-linear parabolic equation with a multiplicative noise. The time discretization is implicit except for the stochastic noise term in order to be compatible with stochastic integration in the sense of It\^{o}. We show existence and uniqueness of solutions to the scheme and the appropriate measurability for stochastic integration follows from the uniqueness of approximate solutions.
On a general Lie group $G$ endowed with a sub-Riemannian structure and of local dimension $d$, we characterize the pointwise multipliers of Triebel--Lizorkin spaces $F^{p,q}_{\alpha}$ for $p,q\in (1,\infty)$ and $\alpha>d/p$, and those of Besov spaces $B^{p,q}_{\alpha}$ for $q\in [1,\infty]$, $p>d$ and $d/p< \alpha<1$. When $G$ is stratified, we extend the latter characterization to all $p,q\in [1,\infty]$ and $\alpha>d/p$.
The paper deals with the problem of approximating the functions of several variables by branched continued fractions, in particular, multidimensional A- and J-fractions with independent variables. A generalization of Gragg's algorithm is constructed that enables us to compute, by the coefficients of the given formal multiple power series, the coefficients of the corresponding multidimensional A-fraction with independent variables. This algorithm can also be used to construct the multidimensional J-fraction with independent variables corresponding to a given formal multiple Laurent series. Some numerical experiments of approximating the functions of several variables by these branched continued fractions are given.
Framework materials and their deformations provide a compelling relation between materials science and algebraic geometry. Physical distance constraints within the material transform into polynomial constraints, making algebraic geometry and associated numerical strategies feasible for finding equilibrium configurations and deformation pathways. In this paper, we build the necessary geometric formulations and numerical strategies to explore the mechanics of two examples of 3-periodic tensegrity frameworks through non-linear optimization, eventually showing that the structures are auxetic by multiple definitions.
We consider the numerical evaluation of a class of double integrals with respect to a pair of self-similar measures over a self-similar fractal set, with a weakly singular integrand of logarithmic or algebraic type. In a recent paper [Gibbs, Hewett and Moiola, Numer. Alg., 2023] it was shown that when the fractal set is ``disjoint'' in a certain sense (an example being the Cantor set), the self-similarity of the measures, combined with the homogeneity properties of the integrand, can be exploited to express the singular integral exactly in terms of regular integrals, which can be readily approximated numerically. In this paper we present a methodology for extending these results to cases where the fractal is non-disjoint. Our approach applies to many well-known examples including the Sierpinski triangle, the Vicsek fractal, the Sierpinski carpet, and the Koch snowflake.
In the article we develop Euler-Lagrange method and calculate all the roots of an arbitrary complex polynomial $P(z)$ on the base of calculation (similar to the Bernoulli-Aitken-Nikiporets methods) of the limits of ratios of Hadamard determinants built by means of coefficients of expansions into Taylor and Laurent series of the function~$\frac{P'(z)}{P(z)}$.
Given a complex vector subspace $V$ of $\mathbb{C}^n$, the dimension of the amoeba of $V \cap (\mathbb{C}^*)^n$ depends only on the matroid of $V$. Here we prove that this dimension is given by the minimum of a certain function over all partitions $P_1, \dots, P_k$ of the ground set into nonempty parts $P_i$, as previously conjectured by Rau. We also prove that this formula can be evaluated in polynomial time.
In this paper, we give tight bounds for the normalized Laplacian eigenvalues of hypergraphs that are not necessarily uniform, and provide edge version interlacing inequalities, Cheeger inequalities, and a discrepancy inequality that are related to the normalized Laplacian eigenvalues for uniform hypergraphs.
Different notions on regularity of sets and of collection of sets play an important role in the analysis of the convergence of projection algorithms in nonconvex scenarios. While some projection algorithms can be applied to feasibility problems defined by finitely many sets, some other require the use of a product space reformulation to construct equivalent problems with two sets. In this work we analyze how some regularity properties are preserved under a reformulation in a product space of reduced dimension. This allows us to establish local linear convergence of parallel projection methods which are constructed through this reformulation.
Order estimates for the Kolmogorov widths of an intersection of two finite-dimensional balls in a mixed norm under some conditions on the parameters are obtained.
Let $K_n$ denote Ganyushkin-Kudryavtseva-Mazorchuk's generalization of Kiselman's semigroups. We show that the sequence $2^{-n/2}\cdot \log|K_n|$ admits finite limits as $n$ grows to infinity both on odd and even values.
We derive a closed-form solution for the Kullback-Leibler divergence between two Fr\'echet extreme-value distributions. The resulting expression is rather simple and involves the Euler-Mascheroni constant.
To every Hopf heap or quantum cotorsor of Grunspan a Hopf algebra of translations is associated. This translation Hopf algebra acts on the Hopf heap making it a Hopf-Galois co-object. Conversely, any Hopf-Galois co-object has the natural structure of a Hopf heap with the translation Hopf algebra isomorphic to the acting Hopf algebra. It is then shown that this assignment establishes an equivalence between categories of Hopf heaps and Hopf-Galois co-objects.
We introduce and investigate stochastic processes designed to find local minimizers and saddle points of non-convex functions, exploring the landscape more efficiently than the standard noisy gradient descent. The processes switch between two behaviours, a noisy gradient descent and a noisy saddle point search. It is proven to be well-defined and to converge to a stationary distribution in the long time. Numerical experiments are provided on low-dimensional toy models and for Lennard-Jones clusters.
We describe a general procedure which allows to construct, starting from a given Hamiltonian, the whole family of new ones sharing the same set of unparameterized trajectories in phase space. The symmetry structure of this family can be completely characterized provided the symmetries of initial Hamiltonian are known. Our approach covers numerous examples considered in literature. It provides a simple proof of Darboux theorem and Hietarinta et al. coupling-constant metamorphosis method.
The $\beta$-encoder is an analog circuit that converts an input signal $x \in [0,1]$ into a finite bit stream $\{b_i\}$. The bits $\{b_i\}$ are correlated and therefore are not immediately suitable for random number generation, but they can be used to generate bits $\{a_i\}$ that are (nearly) uniformly distributed. In this article we study two such methods. In the first part the bits $\{a_i\}$ are defined as the digits of the base-2 representation of the original input $x$. Under the assumption that there is no noise in the amplifier we then study a question posed by Jitsumatsu and Matsumura on how many bits $b_1, \ldots, b_m$ are needed to correctly determine the first $n$ bits $a_1,\ldots,a_n$. In the second part we show this method fails for random amplification factors. Nevertheless, even in this case, nearly uniformly distributed bits can still be generated from $b_1,\ldots,b_m$ using modern cryptographic techniques.
In this paper we deal with global approximation of solutions of stochastic differential equations (SDEs) driven by countably dimensional Wiener process. Under certain regularity conditions imposed on the coefficients, we show lower bounds for exact asymptotic error behaviour. For that reason, we analyse separately two classes of admissible algorithms: based on equidistant, and possibly not equidistant meshes. Our results indicate that in both cases, decrease of any method error requires significant increase of the cost term, which is illustrated by the product of cost and error diverging to infinity. This is, however, not visible in the finite dimensional case. In addition, we propose an implementable, path-independent Euler algorithm with adaptive step-size control, which is asymptotically optimal among algorithms using specified truncation levels of the underlying Wiener process. Our theoretical findings are supported by numerical simulation in Python language.
We give a very simple construction of the string 2-group as a strict Fr\'echet Lie 2-group. The corresponding crossed module is defined using the conjugation action of the loop group on its central extension, which drastically simplifies several constructions previously given in the literature. More generally, we construct strict 2-group extensions for a Lie group from a central extension of its based loop group, under the assumption that this central extension is disjoint commutative. We show in particular that this condition is automatic in the case that the Lie group is semisimple and simply connected.
The cone $\mathcal{P}_{n+1,2d}$ ($n,d\in\mathbb{N}$) of all positive semidefinite (PSD) real forms in $n+1$ variables of degree $2d$ contains the subcone $\Sigma_{n+1,2d}$ of those that are representable as finite sums of squares (SOS) of real forms of half degree $d$. In 1888, Hilbert proved that these cones coincide exactly in the Hilbert cases $(n+1,2d)$ with $n+1=2$ or $2d=2$ or $(n+1,2d)=(3,4)$. To establish the strict inclusion $\Sigma_{n+1,2d}\subsetneq\mathcal{P}_{n+1,2d}$ in any non-Hilbert case, one can show that verifying the assertion in the basic non-Hilbert cases $(4,4)$ and $(3,6)$ suffices. In this paper, we construct a filtration of intermediate cones between $\Sigma_{n+1,2d}$ and $\mathcal{P}_{n+1,2d}$. This filtration is induced via the Gram matrix approach (by Choi, Lam and Reznick) on a filtration of irreducible projective varieties $V_{k-n}\subsetneq \ldots \subsetneq V_n \subsetneq \ldots \subsetneq V_0$ containing the Veronese variety. Here, $k$ is the dimension of the vector space of real forms in $n+1$ variables of degree $d$. By showing that $V_0,\ldots,V_n$ are varieties of minimal degree, we demonstrate that the corresponding intermediate cones coincide with $\Sigma_{n+1,2d}$. Likewise, for the special case when $n=2$, $V_{n+1}$ is also a variety of minimal degree and the corresponding intermediate cone also coincides with $\Sigma_{n+1,2d}$. We moreover prove that, in the non-Hilbert cases of $(n+1)$-ary quartics for $n\geq 3$ and $(n+1)$-ary sextics for $n\geq 2$, all the remaining cone inclusions are strict.
We establish some similarities/analogies between uncountable cardinals or powersets and the class $V$ of all sets. They concern mainly the Boolean algebras ${\cal P}(\kappa)$, for a regular cardinal $\kappa$, and ${\cal C}(V)$ (the class of subclasses of the universe $V$), endowed with some ideals, especially the ideal $[\kappa]^{<\kappa}$ for ${\cal P}(\kappa)$, and the ideal of sets $V$ for ${\cal C}(V)$.
The last theme of Kolmogorov's mathematics research was algorithmic theory of information, now often called Kolmogorov complexity theory. There are only two main publications of Kolmogorov (1965 and 1968-1969) on this topic. So Kolmogorov's ideas that did not appear as proven (and published) theorems can be reconstructed only partially based on work of his students and collaborators, short abstracts of his talks and the recollections of people who were present at these talks. In this survey we try to reconstruct the development of Kolmogorov's ideas related to algorithmic statistics (resource-bounded complexity, structure function and stochastic objects).
The author has recently introduced the class of CNED sets in Euclidean space, generalizing the classical notion of NED sets, and shown that they are quasiconformally removable. A set $E$ is CNED if the conformal modulus of a curve family is not affected when one restricts to the subfamily intersecting $E$ at countably many points. We prove that several classes of sets that were known to be removable are also CNED, including sets of $\sigma$-finite Hausdorff $(n-1)$-measure and boundaries of domains with $n$-integrable quasihyperbolic distance. Thus, this work puts in common framework many known results on the problem of quasiconformal removability and suggests that the CNED condition should also be necessary for removability. We give a new necessary and sufficient criterion for closed sets to be (C)NED. Applying this criterion, we show that countable unions of closed (C)NED sets are (C)NED. Therefore we enlarge significantly the known classes of quasiconformally removable sets.
Let ${\rm C}_{4}$ be the cyclic group of order $4$. We determine all possible values of the integer group determinant of ${\rm C}_{4} \rtimes {\rm C}_{4}$.
We give a short overview of advantages and drawbacks of the classical formulation of minimum cost network flow problems and solution techniques, to motivate a reformulation of classical static minimum cost network flow problems as optimal control problems constrained by port-Hamiltonian systems (pHS). The first-order optimality system for the port-Hamiltonian system-constrained optimal control problem is formally derived. Then we propose a gradient-based algorithm to find optimal controls. The port-Hamiltonian system formulation naturally conserves flow and supports a wide array of further modeling options as, for example, node reservoirs, flow dependent costs, leaking pipes (dissipation) and coupled sub-networks (ports). They thus provide a versatile alternative to state-of-the art approaches towards dynamic network flow problems, which are often based on computationally costly time-expanded networks. We argue that this opens the door for a plethora of modeling options and solution approaches for network flow problems.
The Euler characteristic transform (ECT) is a signature from topological data analysis (TDA) which summarises shapes embedded in Euclidean space. Compared with other TDA methods, the ECT is fast to compute and it is a sufficient statistic for a broad class of shapes. However, small perturbations of a shape can lead to large distortions in its ECT. In this paper, we propose a new metric on compact one-dimensional shapes and prove that the ECT is stable with respect to this metric. Crucially, our result uses curvature, rather than the size of a triangulation of an underlying shape, to control stability. We further construct a computationally tractable statistical estimator of the ECT based on the theory of Gaussian processes. We use our stability result to prove that our estimator is consistent on shapes perturbed by independent ambient noise; i.e., the estimator converges to the true ECT as the sample size increases.
We give equivalent descriptions for the augmented and diminished base loci of vector bundles in characteristic zero. We show that these base loci behave well under pullback, tensor product, and direct sum. Pathological behavior is observed on some nonsplit exact sequences.
Kantor pairs, (quadratic) Jordan pairs, and similar structures have been instrumental in the study of $\mathbb{Z}$-graded Lie algebras and algebraic groups. We introduce the notion of an operator Kantor pair, a generalization of Kantor pairs to arbitrary (commutative, unital) rings, similar in spirit as to how quadratic Jordan pairs and algebras generalize linear Jordan pairs and algebras. Such an operator Kantor pair is formed by a pair of $\Phi$-groups $(G^+,G^-)$ of a specific kind, equipped with certain homogeneous operators. For each such a pair $(G^+,G^-)$, we construct a $5$-graded Lie algebra $L$ together with actions of $G^\pm$ on $L$ as automorphisms. Moreover, we can associate a group $G(G^+,G^-) \subset \operatorname{Aut}(L)$ to this pair generalizing the projective elementary group of Jordan pairs. If the non-$0$-graded part of $L$ is projective, we can uniquely recover $G^+,G^-$ from $G(G^+,G^-)$ and the grading on $L$ alone. We establish, over rings $\Phi$ with $1/30 \in \Phi$, a one to one correspondence between Kantor pairs and operator Kantor pairs. Finally, we construct operator Kantor pairs for the different families of central simple structurable algebras.
Consider a simple symmetric random walk on the integer lattice $\mathbb{Z}$. Let $E(n)$ denote a favorite edge of the random walk at time $n$. In this paper, we study the escape rate of $E(n)$, and show that almost surely $\liminf_{n\to\infty}\frac{|E(n)|}{\sqrt{n}\cdot(\log n)^{-\gamma}}$ equals 0 if $\gamma\le 1$, and is infinity otherwise. We also obtain a law of the iterated logarithm for $E(n)$.
We show that extended graph 4-manifolds with positive Euler characteristic cannot support a complex structure. This result stems from a new proof of the fact that a closed real-hyperbolic 4-manifold cannot support a complex structure. Finally, we construct infinitely many extended graph 4-manifolds with positive Euler characteristic which support almost complex structures.
This note contains some material promised in our earlier papers on submodel preservation and the guarded fragment, along with some information on the current status of the problems mentioned in these papers. Section 1 contains an early example of failure of Los-Tarski for finite-variable fragments with binary relations from a 1992 manuscript, with no substantial change of content. For further background to this example, Section 2 surveys a number of results concerning the submodel preservation property for various fragments of first-order logic.
This article studies three-dimensional objects and their volumes in Elamite mathematics, particularly those found in the Susa Mathematical Tablet No.\,14 (\textbf{SMT No.\,14}). In our discussion, we identify some basic solids whose volumes have been correctly computed in Babylonian and Elamite mathematics. We also show that the Elamite scribes knew the right formula for calculating the volume of a certain pyramid which is a rare phenomenon occurring in the Babylonian mathematical tablets.
We consider gradient coding in the presence of an adversary, controlling so-called malicious workers trying to corrupt the computations. Previous works propose the use of MDS codes to treat the inputs of the malicious workers as errors and correct them using the error-correction properties of the code. This comes at the expense of increasing the replication, i.e., the number of workers each partial gradient is computed by. In this work, we reduce replication by proposing a method that detects the erroneous inputs from the malicious workers, hence transforming them into erasures. For $s$ malicious workers, our solution can reduce the replication to $s+1$ instead of $2s+1$ for each partial gradient at the expense of only $s$ additional computations at the main node and additional rounds of light communication between the main node and the workers. We give fundamental limits of the general framework for fractional repetition data allocation. Our scheme is optimal in terms of replication and local computation but incurs a communication cost that is asymptotically, in the size of the dataset, a multiplicative factor away from the derived bound.
The optimal lifespan estimates of a solution to weakly coupled systems of wave equations have been investigated by many works, except for the lower bound in even space dimensions. Our aim is to prove the open part under the assumption of radial symmetry on the solution. The odd dimensional case was already obtained in our previous paper by long time existence of the solution in weighted $L^\infty$ space. In this paper, we employ similar methods. The main difficulty is found in estimating the integral kernel which is completely different from odd dimensional case.
The concepts of differentiation and integration for matrices are known. As far as each matrix is differentiable, it is not clear a priori whether a given matrix is integrable or not. Recently some progress was obtained for diagonalizable matrices, however general problem remained open. In this paper, we present a full solution of the integrability problem. Namely, we provide necessary and sufficient conditions for a given matrix to be integrable in terms of its characteristic polynomial. Furthermore, we find necessary and sufficient conditions for the existence of integrable and non-integrable matrices with given geometric multiplicities of eigenvalues. Our approach relies on properties of some special classes of polynomials, namely, Shabat polynomials and conservative polynomials, arising in number theory and dynamics.
Not any nonsingular equation over a metabelian group has solution in a larger metabelian group. However, any nonsingular equation over a solvable group with a subnormal series with abelian torsion-free quotients has a solution in a larger group with a similar subnormal series of the same length (and an analogous fact is valid for systems of equations).
We consider a closed macroscopic quantum system in a pure state $\psi_t$ evolving unitarily and take for granted that different macro states correspond to mutually orthogonal subspaces $\mathcal{H}_\nu$ (macro spaces) of Hilbert space, each of which has large dimension. We extend previous work on the question what the evolution of $\psi_t$ looks like macroscopically, specifically on how much of $\psi_t$ lies in each $\mathcal{H}_\nu$. Previous bounds concerned the \emph{absolute} error for typical $\psi_0$ and/or $t$ and are valid for arbitrary Hamiltonians $H$; now, we provide bounds on the \emph{relative} error, which means much tighter bounds, with probability close to 1 by modeling $H$ as a random matrix, more precisely as a random band matrix (i.e., where only entries near the main diagonal are significantly nonzero) in a basis aligned with the macro spaces. We exploit particularly that the eigenvectors of $H$ are delocalized in this basis. Our main mathematical results confirm the two phenomena of generalized normal typicality (a type of long-time behavior) and dynamical typicality (a type of similarity within the ensemble of $\psi_0$ from an initial macro space). They are based on an extension we prove of a no-gaps delocalization result for random matrices by Rudelson and Vershynin.
We study the mechanisms of pattern formation for vegetation dynamics in water-limited regions. Our analysis is based on a set of two partial differential equations (PDEs) of reaction-diffusion type for the biomass and water and one ordinary differential equation (ODE) describing the dependence of the toxicity on the biomass. We perform a linear stability analysis in the one-dimensional finite space, we derive analytically the conditions for the appearance of Turing instability that gives rise to spatio-temporal patterns emanating from the homogeneous solution, and provide its dependence with respect to the size of the domain. Furthermore, we perform a numerical bifurcation analysis in order to study the pattern formation of the inhomogeneous solution, with respect to the precipitation rate, thus analyzing the stability and symmetry properties of the emanating patterns. Based on the numerical bifurcation analysis, we have found new patterns, which form due to the onset of secondary bifurcations from the primary Turing instability, thus giving rise to a multistability of asymmetric solutions.
In analogy to the concept of a non-metric dual connection, which is essential in defining statistical manifolds, we develop that of a torsion dual connection. Consequently, we illustrate the geometrical meaning of such a torsion dual connection and show how the use of both connections preserves the cracking of parallelograms in spaces equipped with a connection and its torsion dual. The coefficients of such a torsion dual connection are essentially computed by demanding a vanishing mutual torsion among the two connections. For this manifold we then prove two basic Theorems. In particular, if both connections are metric-compatible we show that there exists a specific $3$-form measuring how the connection and its torsion dual deviate away from the Levi-Civita one. Furthermore, we prove that for these torsion dual manifolds flatness of one connection does not necessary impose flatness on the other but rather that the curvature tensor of the latter is given by a specific divergence. Finally, we give a self-consistent definition of the mutual curvature tensor of two connections and subsequently define the notion of a curvature dual connection.
A celebrated result of Gromov ensures the existence of a contact structure on any connected non-compact odd dimensional Lie group. In general, such structures are not invariant under left translation. The problem of finding which Lie groups admit a left-invariant contact structure (contact Lie groups) resolves to the question of determining when a Lie algebra $\mathfrak{g}$ is contact; that is, admits a one-form $\varphi\in\mathfrak{g}^*$ such that $\varphi\wedge(d\varphi)^k\neq 0.$ In full generality, this remains an open question; however we settle it for the important category of the evocatively named \textit {seaweed algebras} by showing that an index-one seaweed is contact precisely when it is quasi-reductive. Seaweeds were introduced by Dergachev and Kirillov who initiated the development of their index theory -- since completed by Joseph, Panyushev, Yakimova, and Coll, among others. Recall that a contact Lie algebra has index one -- but not characteristically so. Leveraging recent work of Duflo, Khalgui, Torasso, Panyushev, Yakimova, and Ammari, who collectively classified quasi-reductive seaweeds, our equivalence yields a full classification of contact seaweeds. We remark that since type-A and type-C seaweeds are de facto quasi-reductive (by a result of Panyushev), in these types index one alone suffices to ensure the existence of a contact form.
We consider high-dimensional MIMO transmissions in frequency division duplexing (FDD) systems. For precoding, the frequency selective channel has to be measured, quantized and fed back to the base station by the users. When the number of antennas is very high this typically leads to prohibitively high quantization complexity and large feedback. In 5G New Radio (NR), a modular quantization approach has been applied for this, where first a low-dimensional subspace is identified for the whole frequency selective channel, and then subband channels are linearly mapped to this subspace and quantized. We analyze how the components in such a modular scheme contribute to the overall quantization distortion. Based on this analysis we improve the technology components in the modular approach and propose an orthonormalized wideband precoding scheme and a sequential wideband precoding approach which provide considerable gains over the conventional method. We compare the performance of the developed quantization schemes to prior art by simulations in terms of the projection distortion, overall distortion and spectral efficiency, in a scenario with a realistic spatial channel model.
In this note, we study the optimal control of a nonisothermal phase field system of Cahn-Hilliard type that constitutes an extension of the classical Caginalp model for nonisothermal phase transitions with a conserved order parameter. It couples a Cahn-Hilliard type equation with source term for the order parameter with the universal balance law of internal energy. In place of the standard Fourier form, the constitutive law of the heat flux is assumed in the form given by the theory developed by Green and Naghdi, which accounts for a possible thermal memory of the evolution. This has the consequence that the balance law of internal energy becomes a second-order in time equation for the thermal displacement or freezing index, that is, a primitive with respect to time of the temperature. Another particular feature of our system is the presence of the source term in the equation for the order parameter, which entails further mathematical difficulties because the mass conservation of the order parameter is no longer satisfied. We study the case that the double-well potential driving the evolution of the phase transition is given by the nondifferentiable double obstacle potential, thereby complementing recent results obtained for the differentiable cases of regular and logarithmic potentials. We derive first-order necessary optimality conditions for the control problem. The analysis is carried out by employing the so-called deep quench approximation in which the nondifferentiable double obstacle potential is approximated by a family of logarithmic potentials for which meaningful first-order necessary optimality conditions are available. Since the results for the logarithmic potentials crucially depend on the validity of the so-called strict separation property which is only available in the spatially two-dimensional situation, our whole analysis is restricted to the two-dimensional case.
A graph is $k$-degenerate if every subgraph $H$ has a vertex $v$ with $d_{H}(v) \leq k$. The class of degenerate graphs plays an important role in the graph coloring theory. Observed that every $k$-degenerate graph is $(k + 1)$-choosable and $(k + 1)$-DP-colorable. Bernshteyn and Lee defined a generalization of $k$-degenerate graphs, which is called \emph{weakly $k$-degenerate}. The weak degeneracy plus one is an upper bound for many graph coloring parameters, such as choice number, DP-chromatic number and DP-paint number. In this paper, we give two sufficient conditions for a plane graph without $4$- and $6$-cycles to be weakly $2$-degenerate, which implies that every such graph is $3$-DP-colorable and near-bipartite, where a graph is near-bipartite if its vertex set can be partitioned into an independent set and an acyclic set.
We consider categories of relational structures that fully embed every category of universal algebras, and prove a partial characterisation of these in terms of an infinitary variant of the notion of nowhere density of Ne\v{s}et\v{r}il and Ossona de Mendez. More precisely, we show that the Gaifman class of an algebraically universal category contains subdivided complete graphs of any infinite size, and establish that any monotone category satisfying this may be oriented to obtain an algebraically universal category. For the proof of the above, we also develop a categorical framework for relational gadget constructions. This generalises known results about categories of finite graphs to categories of relational structures of unbounded size.
The P\'{o}lya group of an algebraic number field is a particular subgroup of the ideal class group. This article provides an overview of recent results on P\'{o}lya groups of number fields, their connection with the ring of integer-valued polynomials and touches upon some results on number fields having large P\'{o}lya groups. For the sake of completeness, we have included the proof of Zantema's theorem which laid the foundation to determine the P\'{o}lya groups of many finite Galois extensions over $\mathbb{Q}$. Towards the end of the article, we provide an elementary proof of a weaker version of a recent result of Cherubini et al.
Suppose that $G$ is the group of $F$-points of a connected reductive group over $F$, where $F/\mathbb{Q}_p$ is a finite extension. We study the (topological) irreducibility of principal series of $G$ on $p$-adic Banach spaces. For unitary inducing representations we obtain an optimal irreducibility criterion, and for $G = \mathrm{GL}_n(F)$ (as well as for arbitrary split groups under slightly stronger conditions) we obtain a variant of Schneider's conjecture [Sch06, Conjecture 2.5]. In general we reduce the irreducibility problem to smooth inducing representations and almost simple simply-connected $G$. Our methods include locally analytic representation theory, the bifunctor of Orlik--Strauch, translation functors, as well as new results on reducibility points of smooth parabolic inductions.
We describe Lorentzian manifolds that admit metric connections with parallel torsion having zero twistorial component and non-zero vectorial component. We also describe Lorentzian manifolds admitting metric connections with closed parallel skew-symmetric torsion.
We establish an optimal (topological) irreducibility criterion for $p$-adic Banach principal series of $\mathrm{GL}_{n}(F)$, where $F/\mathbb{Q}_p$ is finite and $n \le 3$. This is new for $n = 3$ as well as for $n = 2$, $F \ne \mathbb{Q}_p$ and establishes a refined version of Schneider's conjecture [Sch06, Conjecture 2.5] for these groups.
Graph pebbling is a game played on graphs with pebbles on their vertices. A pebbling move removes two pebbles from one vertex and places one pebble on an adjacent vertex. The pebbling number $\pi(G)$ is the smallest $t$ so that from any initial configuration of $t$ pebbles it is possible, after a sequence of pebbling moves, to place a pebble on any given target vertex. In this paper, we provide the first results on the pebbling numbers of snarks.
The article is devoted to obtaining the first, and second-order Taylor remainder formulas corresponding to multivariable operator functions on normed ideals in $\sigma$-finite, semi-finite von Neumann algebra factors. More precisely, we establish the Krein trace formulas (first-order) for a class of tuples of commuting self-adjoint operators and for a class of tuples of commuting unitary operators associated with a broad class of multivariable scalar functions, which includes both analytic and non-analytic functions. Moreover, we also establish the Koplienko trace formula (second-order) for certain pairs of tuples of commuting self-adjoint operators corresponding to multivariable rational scalar functions. Consequently, using dilation theory, we obtain the trace formulas for a class of tuples of commuting contractions and for a class of tuples of commuting maximal dissipative operators. In addition, we establish a linearization formula for a Dixmier trace applied to perturbed operator functions, which does not typically hold for normal traces. Our work continues the study of Skripka's work \cite{Sk15} on multivariable trace formulas and extends the trace formulas obtained by Dykema and Skripka \cite{DySk14} from single variable to multivariable operator functions. In particular, our work complements the work of Dykema and Skripka \cite{DySk14} in the context of multivariable trace formulas.
Achieving high bit rates is the main goal of wireless technologies like 5G and beyond. This translates to obtaining high spectral efficiencies using large number of antennas at the transmitter and receiver (single user massive multiple input multiple output or SU-MMIMO). It is possible to have a large number of antennas in the mobile handset at mm-wave frequencies in the range $30 - 300$ GHz due to the small antenna size. In this work, we investigate the bit-error-rate (BER) performance of SU-MMIMO in two scenarios (a) using serially concatenated turbo code (SCTC) in uncorrelated channel and (b) parallel concatenated turbo code (PCTC) in correlated channel. Computer simulation results indicate that the BER is quite insensitive to re-transmissions and wide variations in the number of transmit and receive antennas. Moreover, we have obtained a BER of $10^{-5}$ at an average signal-to-interference plus noise ratio (SINR) per bit of just 1.25 dB with 512 transmit and receive antennas ($512\times 512$ SU-MMIMO system) with a spectral efficiency of 256 bits/transmission or 256 bits/sec/Hz in an uncorrelated channel. Similar BER results have been obtained for SU-MMIMO using PCTC in correlated channel. A semi-analytic approach to estimating the BER of a turbo code has been derived.
We consider the problem of designing agents able to compute optimal decisions by composing data from multiple sources to tackle tasks involving: (i) tracking a desired behavior while minimizing an agent-specific cost; (ii) satisfying safety constraints. After formulating the control problem, we show that this is convex under a suitable assumption and find the optimal solution. The effectiveness of the results, which are turned in an algorithm, is illustrated on a connected cars application via in-silico and in-vivo experiments with real vehicles and drivers. All the experiments confirm our theoretical predictions and the deployment of the algorithm on a real vehicle shows its suitability for in-car operation.
The notion of an unexpected curve in the plane was introduced in 2018, and was quickly generalized in several directions in a flurry of mathematical activity by many authors. In this expository paper we first describe some of the main results on unexpected hypersurfaces. Then we summarize two offshoots of this theory. First we look at sets of points in $\mathbb P^3$ whose general projection is a planar complete intersection (so-called {\it geproci} sets). Although we now know a lot about these sets, much remains mysterious. Then we describe an interesting measure of unexpectedness called {\it $AV$-sequences}, which have a surprising structure that is not yet fully understood.
In this work we develop implicit Active Flux schemes for the scalar advection equation. At every cell interface we approximate the solution by a polynomial in time. This allows to evolve the point values using characteristics and to update the cell averages using fluxes obtained by integrating this polynomial. The resulting schemes have order of convergence up to five, but show almost no oscillations with high frequencies for discontinuous solutions. In numerical experiments we compare the different methods and show an application to network flows.
The daily operation of real-world power systems and their underlying markets relies on the timely solution of the unit commitment problem. However, given its computational complexity, several optimization-based methods have been proposed to lighten its problem formulation by removing redundant line flow constraints. These approaches often ignore the spatial couplings of renewable generation and demand, which have an inherent impact of market outcomes. Moreover, the elimination procedures primarily focus on the feasible region and exclude how the problem's objective function plays a role here. To address these pitfalls, we move to rule out redundant and inactive constraints over a tight linear programming relaxation of the original unit commitment feasibility region by adding valid inequality constraints. We extend the optimization-based approach called umbrella constraint discovery through the enforcement of a consistency logic on the set of constraints by adding the proposed inequality constraints to the formulation. Hence, we reduce the conservativeness of the screening approach using the available historical data and thus lead to a tighter unit commitment formulation. Numerical tests are performed on standard IEEE test networks to substantiate the effectiveness of the proposed approach.
We examine the abelian heap of linear connections on anchored vector bundles and Lie algebroids. We show how the ternary structure on the set of linear connections `interacts' with the torsion and curvature tensors. The endomorphism truss of linear connections is constructed.
We consider a random walk on $SL_d(\mathbb{R})$ with finite first moment and finite entropy. We show that the distributions of the unstable flag space and of the stable flag space are exact dimensional.
We consider the inverse problem to determine a smooth compact Riemannian manifold $(M,g)$ from a restriction of the source-to-solution operator, $\Lambda_{\mathcal{S,R}}$, for the wave equation on the manifold. Here, $\mathcal{S}$ and $\mathcal{R}$ are open sets on $M$, and $\Lambda_{\mathcal{S,R}}$ represents the measurements of waves produced by smooth sources supported on $\mathcal{S}$ and observed on $\mathcal{R}$. We emphasise that $\overline{\mathcal{S}}$ and $\overline{\mathcal{R}}$ could be disjoint. We demonstrate that $\Lambda_{\mathcal{S,R}}$ determines the manifold $(M,g)$ uniquely under the following spectral bound condition for the set $\mathcal{S}$: There exists a constant $C>0$ such that any normalized eigenfunction $\phi_k$ of the Laplace-Beltrami operator on $(M,g)$ satisfies \begin{equation*} 1\leq C\|\phi_k\|_{L^2(\mathcal{S})}. \end{equation*} We note that, for the Anosov surface, this spectral bound condition is fulfilled for any non-empty open subset $\mathcal{S}$. Our approach is based on the paper [18] and the spectral bound condition above is an analogue of the Hassell-Tao condition there.
Subspace minimization conjugate gradient (SMCG) methods have become a class of quite efficient iterative methods for unconstrained optimization and have attracted extensive attention recently. Usually, the search directions of SMCG methods are generated by minimizing approximate models with the approximation matrix $ B_k $ of the objective function at the current iterate over the subspace spanned by the current gradient $ g_k $ and the latest search direction. The $ g_k^TB_kg_k $ must be estimated properly in the calculation of the search directions, which is crucial to the theoretical properties and the numerical performance of SMCG methods. It is a great challenge to estimate it properly. The projection technique has been used successfully to generate conjugate gradient directions such as Dai-Kou conjugate gradient direction. Motivated by the above two observations, in the paper we present a new subspace minimization conjugate gradient methods by using a projection technique based on the memoryless quasi-Newton method. More specially, we project the search direction of the memoryless quasi-Newton method into the subspace spanned by the current gradient and the latest search direction and drive a new search direction, which is proved to be descent. Remarkably, the proposed method without any line search enjoys the finite termination property for two dimensional convex quadratic functions, which is helpful for designing algorithm. An adaptive scaling factor in the search direction is given based on the above finite termination property. The proposed method does not need to determine the parameter $ \rho_k $ and can be regarded as an extension of Dai-Kou conjugate gradient method. The global convergence of the proposed method is analyzed. Numerical comparisons indicate the proposed method is very promising.
We prove an analogue of the 4-dimensional local Viterbo conjecture for the higher Ekeland-Hofer capacities: on the space of 4-dimensional smooth star-shaped domains of unitary volume, endowed with the $C^3$ topology, the local maximizers of the $k$-th Ekeland-Hofer capacities are those domains symplectomorphic to suitable rational ellipsoids.
Given a monodromy datum for abelian covers of $\mathbb{P}^1$ and a prime $p$ of good reduction, there is a natural lower bound for the Ekedahl-Oort type, and the Newton polygon, at $p$ of the curves in the family. In this paper, we investigate whether such a lower bound is sharp. In particular, we prove sharpeness when the number of branching points is at most five and $p$ sufficiently large. Our result is a generalization of [1, Theorem 6.1] by Bouw, which proves the analogous statement for the $p$-rank, and it relies on the notion of Hasse-Witt triple introduced in [2] by Moonen.
One of many manifestations of a deep relation between the topology of the moduli spaces of algebraic curves and the theory of integrable systems is a recent construction of Arsie, Lorenzoni, Rossi, and the first author associating an integrable system of evolutionary PDEs to an F-cohomological field theory (F-CohFT), which is a collection of cohomology classes on the moduli spaces of curves satisfying certain natural splitting properties. Typically, these PDEs have an infinite expansion in the dispersive parameter, which happens because they involve contributions from the moduli spaces of curves of arbitrarily large genus. In this paper, for each rank $N\ge 2$, we present a family of F-CohFTs without unit, for which the equations of the associated integrable system have a finite expansion in the dispersive parameter. For $N=2$, we explicitly compute the primary flows of this integrable system.
We study the behavior of the shifted convolution sum involving fourth power of the Fourier coefficients of holomorphic cusp forms with a weight function to be the $k$-full kernel function for any fixed integer $k\geq2$.
In this paper, we deal with the quartic diophantine equation $X^4-Y^4=R^2-S^2$ to present its infinitely many integer solutions.
Let $\alpha=(1+\sqrt 5)/2$, the golden ratio, and $\beta=-1/\alpha=(1 - \sqrt 5)/2$. Let $F_n$ and $L_n$ be the Fibonacci and Lucas numbers, defined by $F_n=(\alpha^n -\beta^n)/\sqrt 5$ and $L_n=\alpha^n + \beta^n$, for all non-negative integers. We derive base~$\alpha$ expansions of $\log F_n$, $\log L_n$, $\arctan\dfrac1{F_n}$ and $\arctan\dfrac1{L_n}$ for all positive integers $n$.
We consider cpa,b,m(n), the number of (a,b,m)-copartitions of n. We find many infinitelymany congruencesmodulo 2 and 6 for some particular value of a, b andm.
Discrete signatures are invariants extracted from a discretised version of paths that resembles the iterated integral signature of rough paths. In this paper we study the image of these discrete signatures, the discrete signature variety, and begin a classification of the primary signatures, elements that play a crucial role in computing the dimension of the associated Lie algebra. We also present some generators of this variety and the results of some Macaulay2 code to that effect.
We study the Tur\'{a}n problem for highly symmetric bipartite graphs arising from geometric shapes and periodic tilings commonly found in nature. 1. The prism $C_{2\ell}^{\square}:=C_{2\ell}\square K_{2}$ is the graph consisting of two vertex disjoint $2\ell$-cycles and a matching pairing the corresponding vertices of these two cycles. We show that for every $\ell\ge 4$, ex$(n,C_{2\ell}^{\square})=\Theta(n^{3/2})$. This resolves a conjecture of He, Li and Feng. 2. The hexagonal tiling in honeycomb is one of the most natural structures in the real world. We show that the extremal number of honeycomb graphs has the same order of magnitude as their basic building unit 6-cycles. 3. We also consider bipartite graphs from quadrangulations of the cylinder and the torus. We prove near optimal bounds for both configurations. In particular, our method gives a very short proof of a tight upper bound for the extremal number of the 2-dimensional grid, improving a recent result of Brada\v{c}, Janzer, Sudakov and Tomon. Our proofs mix several ideas, including shifting embedding schemes, weighted homomorphism and subgraph counts and asymmetric dependent random choice.
The Hawkes graph $\Gamma_H(G)$ of $G$ is the directed graph whose vertex set coincides with $\pi(G)$ and it has the edge $(p, q)$ whenever $q\in\pi(G/O_{p',p}(G))$. The Sylow graph $\Gamma_s(G)$ of $G$ is the directed graph with vertex set $\pi(G)$ and $(p, q)$ is an edge of $\Gamma_s(G)$ whenever $q \in\pi(N_G(P)/PC_G(P))$ for some Sylow $p$-subgroup $P$ of $G$. The $N$-critical graph $\Gamma_{Nc}(G)$ of a group $G$ the directed graph whose vertex set coincides with $\pi(G)$ such that $(p, q)$ is an edge of $\Gamma_{Nc}(G)$ whenever $G$ contains a Schmidt $(p, q)$-subgroup, i.e. a Schmidt $\{p, q\}$-subgroup with a normal Sylow $p$-subgroup. In the paper the Hawkes, the Sylow and the $N$-critical graphs of the products of totally permutable, mutually permutable and $\mathfrak{N}$-connected subgroups are studied.
Let $p, q$ be distinct primes, with $p > 2$. In a previous paper we classified the Hopf-Galois structures on Galois extensions of degree $p^{2} q$, when the Sylow $p$-subgroups of the Galois group are cyclic. This is equivalent to classifying the skew braces of order $p^2q$, for which the Sylow $p$-subgroups of the multiplicative group is cyclic. In this paper we complete the classification by dealing with the case when the Sylow $p$-subgroups of the Galois group are elementary abelian. According to Greither and Pareigis, and Byott, we will do this by classifying the regular subgroups of the holomorphs of the groups $(G, \cdot)$ of order $p^{2} q$, in the case when the Sylow $p$-subgroups of $G$ are elementary abelian. We rely on the use of certain gamma functions $\gamma:G\to \operatorname{Aut}(G)$. These functions are in one-to-one correspondence with the regular subgroups of the holomorph of $G$, and are characterised by the functional equation $\gamma(g^{\gamma(h)} \cdot h) = \gamma(g) \gamma(h)$, for $g, h \in G$. We develop methods to deal with these functions, with the aim of making their enumeration easier and more conceptual.
We investigate the Berezin-Toeplitz operators that operate on the geometric quantized space corresponding to the $SO(3)$-Witten-Chern-Simons theory. We conjecture that the $SO(3)$-Berezin-Toeplitz operators quantized from the A-polynomial annihilate the corresponding $SO(3)$-knot states.
This work proposes an original preconditioner that couples the Constrained Pressure Residual (CPR) method with block preconditioning for the efficient solution of the linearized systems of equations arising from fully implicit multiphase flow models. This preconditioner, denoted as Block CPR (BCPR), is specifically designed for Lagrange multipliers-based flow models, such as those generated by Mixed Hybrid Finite Element (MHFE) approximations. An original MHFE-based formulation of the two-phase flow model is taken as a reference for the development of the BCPR preconditioner, in which the set of system unknowns comprises both element and face pressures, in addition to the cell saturations, resulting in a $3 \times 3$ block-structured Jacobian matrix with a $2 \times 2$ inner pressure problem. The CPR method is one of the most established techniques for reservoir simulations, but most research focused on solutions for Two-Point Flux Approximation (TPFA)-based discretizations that do not readily extend to our problem formulation. Therefore, we designed a dedicated two-stage strategy, inspired by the CPR algorithm, where a block preconditioner is used for the pressure part with the aim at exploiting the inner $2 \times 2$ structure. The proposed preconditioning framework is tested by an extensive experimentation, comprising both synthetic and realistic applications in Cartesian and non-Cartesian domains.
Viazovska proved that the $E_8$ lattice sphere packing is the densest sphere packing in 8 dimensions. Her proof relies on two inequalities between functions defined in terms of modular and quasimodular forms. We give a direct proof of these inequalities that does not rely on computer calculations.
We propose (and prove under some restrictions) that the square class of the central value of the $L$-function of an everywhere unramified symplectic Galois representation is given by a universal cohomological formula. This phenomenon is parallel to the appearance of metaplectic groups in quantization. In the course of the proof we also establish a topological analogue of this statement, concerning Reidemeister torsion of $3$-manifolds.
We define and examine nonlinear potential by Bessel convolution with Bessel kernel. We investigate removable sets with respect to Laplace-Bessel inequality. By studying the maximal and fractional maximal measure, a Wolff type inequality is proved. Finally the relation of B-$p$ capacity and B-Lipschitz mapping, and the B-$p$ capacity and weighted Hausdorff measure and the B-$p$ capacity of Cantor sets are examined.
The semi-random graph process is a single player game in which the player is initially presented an empty graph on $n$ vertices. In each round, a vertex $u$ is presented to the player independently and uniformly at random. The player then adaptively selects a vertex $v$, and adds the edge $uv$ to the graph. For a fixed monotone graph property, the objective of the player is to force the graph to satisfy this property with high probability in as few rounds as possible. In this paper, we investigate the following three properties: containing a complete graph of order $k$, having the chromatic number at least $k$, and not having an independent set of size at least $k$.
Whatever it is that animates anima and breathes life into higher algebra, this something leaves its trace in the structure of a Dirac ring on the homotopy groups of a commutative algebra in spectra. In the prequel to this paper, we developed the commutative algebra of Dirac rings and defined the category of Dirac schemes. Here, we first embed this category in the larger infinity-category of Dirac stacks, which also contains formal Dirac schemes. We next develop the coherent cohomology of Dirac stacks, which amounts to a functor that to a Dirac stack X assigns a presentably symmetric monoidal stable infinity-category QCoh(X) of quasi-coherent sheaves together with a compatible t-structure. Finally, as applications of the general theory to stable homotopy theory, we use Quillen's theorem on complex cobordism and Milnor's theorem on the dual Steenrod algebra to identify the Dirac stacks corresponding to MU and F_p in terms of their functors of points. In the appendix, we develop a rudimentary theory of accessible presheaves of anima on coaccessible infinity-categories.
Two subgraphs $A,B$ of a graph $G$ are anticomplete if they are vertex-disjoint and there are no edges joining them. Is it true that if $G$ is a graph with bounded clique number, and sufficiently large chromatic number, then it has two anticomplete subgraphs, both with large chromatic number? This is a question raised by El-Zahar and Erd\H{o}s in 1986, and remains open. If so, then at least there should be two anticomplete subgraphs both with large minimum degree, and that is one of our results. We prove two variants of this. First, a strengthening: we can ask for one of the two subgraphs to have large chromatic number: that is, for all $t, c\ge 1$ there exists $d\ge 1$ such that if $G$ has chromatic number at least $d$, and does not contain the complete graph $K_t$ as a subgraph, then there are anticomplete subgraphs $A,B$, where $A$ has minimum degree at least $c$ and $B$ has chromatic number at least $c$. Second, we look at what happens if we replace the hypothesis that $G$ has sufficiently large chromatic number with the hypothesis that $G$ has sufficently large minimum degree. This, together with excluding $K_t$, is {\em not} enough to guarantee two anticomplete subgraphs both with large minimum degree; but it works if instead of xcluding $K_t$ we exclude the complete bipartite graph $K_{t,t}$. More exactly: for all $t, c\ge 1$ there exists $d\ge 1$ such that if $G$ has minimum degree at least $d$, and does not contain the complete bipartite graph $K_{t,t}$ as a subgraph, then there are two anticomplete subgraphs both with minimum degree at least $c$.
Let $G$ be a split connected reductive group over a non-archimedan local field $F$. The depth zero stable Bernstein conjecture asserts that there is an algebra isomorphism between the depth zero stable Bernstein center of $G(F)$ and the ring of functions on the moduli of tame Langlands parameters. An approach to the depth zero stable Bernstein conjecture was proposed in the work of Bezrukavnikov-Kazhdan-Varshavsky \cite{BKV}. In this paper we generalize results and techniques in \cite{BKV} and apply them to give a geometric construction of elements in the depth zero Bernstein center. We conjecture that our construction produces all elements in the depth zero Bernstein center. An an illustration of the method, we give a construction of an algebra embedding from the (limit of) stable Bernstein centers for finite reductive groups to the depth zero Bernstein center and a family of elements in the depth zero Bernstein center coming from Deligne's epsilon factors. The paper is the first step toward the depth zero stable Bernstein center.
We bound the number of global sections of a torsion-free, globally-generated sheaf in terms of its rank, degree, and invariants of the variety. As an application of this bound, we show the syzygy sheaf associated to a sufficiently positive torsion-free sheaf of rank $1$ is slope stable. Furthermore, we are able to give an explicit bound for ``sufficiently positive."
In this paper, we consider a model reduction technique for stabilizable and detectable stochastic systems. It is based on a pair of Gramians that we analyze in terms of well-posedness. Subsequently, dominant subspaces of the stochastic systems are identified exploiting these Gramians. An associated balancing related scheme is proposed that removes unimportant information from the stochastic dynamics in order to obtain a reduced system. We show that this reduced model preserves important features like stabilizability and detectability. Additionally, a comprehensive error analysis based on eigenvalues of the Gramian pair product is conducted. This provides an a-priori criterion for the reduction quality which we illustrate in numerical experiments.
In this paper we provide a local construction of a Sasakian manifold given a K\"ahler manifold. Obatined in this way manifold we call Sasakian lift of K\"ahler base. Almost contact metric structure is determined by the operation of the lift of vector fields - idea similar to lifts in Ehresmann connections. We show that Sasakian lift inherits geometry very close to its K\"ahler base. In some sense geometry of the lift is in analogy with geometry of hypersurface in K\"ahler manifold. There are obtained structure equations between corresponding Levi-Civita connections, curvatures and Ricci tensors of the lift and its base. We study lifts of symmetries different kind: of complex structure, of K\"hler metric, and K\"ahler structure automorphisms. In connection with $\eta$-Ricci solitons we introduce more general class of manifolds called twisted $\eta$-Ricci solitons. As we show class of $\alpha$-Sasakian twisted $\eta$-Ricci solitons is invariant under naturally defined group of structure deformations. As corollary it is proved that orbit of Sasakian lift of steady or shrinking Ricci-K\"ahler soliton contains $\alpha$-Sasakian Ricci soliton. In case of expanding Ricci-K\"ahler soliton existence of $\alpha$-Sasakina Ricci solition is assured provided expansion coefficient is small enough.
A hypodifferential is a compact family of affine mappings that defines a local max-type approximation of a nonsmooth convex function. We present a general theory of hypodifferentials of nonsmooth convex functions defined on a Banach space. In particular, we provide a complete characterization of hypodifferentiability and hypodifferentials of nonsmooth convex functions, derive calculus rules for hypodifferentials, and study the Lipschitz continuity/Lipschitz approximation property of hypodifferentials that can be viewed as a natural extension of the Lipschitz continuity of the gradient to the general nonsmooth setting. As an application of our theoretical results, we study the rate of convergence of several versions of the method of hypodifferential descent for nonsmooth convex optimization and present an accelerated version of this method having the faster rater of convergence $\mathcal{O}(1/k^2)$.
Let $G$ be a group definable in an NIP theory. We prove that, if $G$ admits a global f-generic type, then $G$ is definably amenable, answering a question of Chernikov and Simon.
Ernst Zermelo's axiomatization of set theory (1908) did not exclude `a set that is a member of itself'. We call a set that is a member of itself `an individual'. In this article we prove the elimination of Russell's paradox is equivalent to "For every set S, an individual is a member of S or a set (but not an individual) is not a member of S". This shows there is place is set theory for individuals. We give individuals the place they deserve according to formal logic.
The multi-index model with sparse dimension reduction matrix is a popular approach to circumvent the curse of dimensionality in a high-dimensional regression setting. Building on the single-index analysis by Alquier, P. & Biau, G. (Journal of Machine Learning Research 14 (2013) 243-280), we develop a PAC-Bayesian estimation method for a possibly misspecified multi-index model with unknown active dimension and an orthogonal dimension reduction matrix. Our main result is a non-asymptotic oracle inequality, which shows that the estimation method adapts to the active dimension of the model, the sparsity of the dimension reduction matrix and the regularity of the link function. Under a Sobolev regularity assumption on the link function the estimator achieves the minimax rate of convergence (up to a logarithmic factor) and no additional price is paid for the unknown active dimension.
We develop a theory of cosupport and costratification in tensor triangular geometry. We study the geometric relationship between support and cosupport, provide a conceptual foundation for cosupport as categorically dual to support, and discover surprising relations between the theory of costratification and the theory of stratification. We prove that many categories in algebra, topology and geometry are costratified by developing and applying descent techniques. An overarching theme is that cosupport is relevant for diverse questions in tensor triangular geometry and that a full understanding of a category requires knowledge of both its support and its cosupport.
We provide a new bound on the maximum degree of the Jones polynomial of a positive link with second Jones coefficient equal to $\pm 1$ or $\pm 2$. This builds upon the result of our previous work, in which we found such a bound for positive fibered links. We also show that each of these three bounds obstruct positivity for infinitely many almost-positive diagrams, allowing us to classify infinitely many knots as almost-positive.
We consider a multi-process remote estimation system observing $K$ independent Ornstein-Uhlenbeck processes. In this system, a shared sensor samples the $K$ processes in such a way that the long-term average sum mean square error (MSE) is minimized. The sensor operates under a total sampling frequency constraint $f_{\max}$. The samples from all processes consume random processing delays in a shared queue and then are transmitted over an erasure channel with probability $\epsilon$. We study two variants of the problem: first, when the samples are scheduled according to a Maximum-Age-First (MAF) policy, and the receiver provides an erasure status feedback; and second, when samples are scheduled according to a Round-Robin (RR) policy, when there is no erasure status feedback from the receiver. Aided by optimal structural results, we show that the optimal sampling policy for both settings, under some conditions, is a \emph{threshold policy}. We characterize the optimal threshold and the corresponding optimal long-term average sum MSE as a function of $K$, $f_{\max}$, $\epsilon$, and the statistical properties of the observed processes. Our results show that, with an exponentially distributed service rate, the optimal threshold $\tau^*$ increases as the number of processes $K$ increases, for both settings. Additionally, we show that the optimal threshold is an \emph{increasing} function of $\epsilon$ in the case of \emph{available} erasure status feedback, while it exhibits the \emph{opposite behavior}, i.e., $\tau^*$ is a \emph{decreasing} function of $\epsilon$, in the case of \emph{absent} erasure status feedback.
This paper solves the continuous classification problem for finite clouds of unlabelled points under Euclidean isometry. The Lipschitz continuity of required invariants in a suitable metric under perturbations of points is motivated by the inevitable noise in measurements of real objects. The best solved case of this isometry classification is known as the SSS theorem in school geometry saying that any triangle up to congruence (isometry in the plane) has a continuous complete invariant of three side lengths. However, there is no easy extension of the SSS theorem even to four points in the plane partially due to a 4-parameter family of 4-point clouds that have the same six pairwise distances. The computational time of most past metrics that are invariant under isometry was exponential in the size of the input. The final obstacle was the discontinuity of previous invariants at singular configurations, for example, when a triangle degenerates to a straight line. All the challenges above are now resolved by the Simplexwise Centred Distributions that combine inter-point distances of a given cloud with the new strength of a simplex that finally guarantees the Lipschitz continuity. The computational times of new invariants and metrics are polynomial in the number of points for a fixed Euclidean dimension.
In this paper, we provide new results about the free Malliavin calculus on the Wigner space first developed in the breakthrough work of Biane and Speicher. We define in this way the higher-order Malliavin derivatives, and we study their associated Sobolev-Wigner spaces. Using these definitions, we are able to obtain a free counterpart of the of the Stroock formula and various variances identities. As a consequence, we obtain a sophisticated proof a la Ustunel, Nourdin and Peccati of the product formula between two multiple Wigner integrals. We also study the commutation relations (of different significations) on the Wigner space, and we show for example the absence of non-trivial bounded central Malliavin differentiable functionals and the absence of non-trivial Malliavin differentiable projections.
We study metric spaces homeomorphic to a closed, oriented manifold from both geometric and analytic perspectives. We show that such spaces (which are sometimes called metric manifolds) admit a non-trivial integral current without boundary, provided they satisfy some weak assumptions. The existence of such an object should be thought of as an analytic analog of the fundamental class of the space and can also be interpreted as giving a way to make sense of Stokes' theorem in this setting. We use this to establish (relative) isoperimetric inequalities in metric $n$-manifolds that are Ahlfors $n$-regular and linearly locally contractible. As an application, we obtain a short and conceptually simple proof of a deep theorem of Semmes about the validity of Poincar\'e inequalities in these spaces. In the smooth case the idea for such a proof goes back to Gromov. We also give sufficient conditions for a metric manifold to be rectifiable.
In this paper, we prove a dihedral extremality and rigidity theorem for a large class of codimension zero submanifolds with polyhedral boundary in warped product manifolds. We remark that the spaces considered in this paper are not necessarily warped product manifolds themselves. In particular, the results of this paper are applicable to submanifolds (of warped product manifolds) with faces that are neither orthogonal nor parallel to the radial direction of the warped product metric. Generally speaking, the dihedral rigidity results require the leaf of the underlying warped space to have positive Ricci curvature and the warping function to be strictly log-concave. Nevertheless, we prove a dihedral rigidity theorem for a large class of hyperbolic polyhedra, where the leaf of the underlying warped product space is flat and the warping function is not strictly log-concave.
Three asymptotic limits exist for the Euler equations at low Mach number - purely convective, purely acoustic, and mixed convective-acoustic. Standard collocated density-based numerical schemes for compressible flow are known to fail at low Mach number due to the incorrect asymptotic scaling of the artificial diffusion. Previous studies of this class of schemes have shown a variety of behaviours across the different limits and proposed guidelines for the design of low-Mach schemes. However, these studies have primarily focused on specific discretisations and/or only the convective limit. In this paper, we review the low-Mach behaviour using the modified equations - the continuous Euler equations augmented with artificial diffusion terms - which are representative of a wide range of schemes in this class. By considering both convective and acoustic effects, we show that three diffusion scalings naturally arise. Single- and multiple-scale asymptotic analysis of these scalings shows that many of the important low-Mach features of this class of schemes can be reproduced in a straightforward manner in the continuous setting. As an example, we show that many existing low-Mach Roe-type finite-volume schemes match one of these three scalings. Our analysis corroborates previous analysis of these schemes, and we are able to refine previous guidelines on the design of low-Mach schemes by including both convective and acoustic effects. Discrete analysis and numerical examples demonstrate the behaviour of minimal Roe-type schemes with each of the three scalings for convective, acoustic, and mixed flows.
Liou-Steffen splitting (AUSM) schemes are popular for low Mach number simulations, however, like many numerical schemes for compressible flow they require careful modification to accurately resolve convective features in this regime. Previous analyses of these schemes usually focus only on a single discrete scheme at the convective limit, only considering flow with acoustic effects empirically, if at all. In our recent paper Hope-Collins & di Mare, 2023 we derived constraints on the artificial diffusion scaling of low Mach number schemes for flows both with and without acoustic effects, and applied this analysis to Roe-type finite-volume schemes. In this paper we form approximate diffusion matrices for the Liou-Steffen splitting, as well as the closely related Zha-Bilgen and Toro-Vasquez splittings. We use the constraints found in Hope-Collins & di Mare, 2023 to derive and analyse the required scaling of each splitting at low Mach number. By transforming the diffusion matrices to the entropy variables we can identify erroneous diffusion terms compared to the ideal form used in Hope-Collins & di Mare, 2023. These terms vanish asymptotically for the Liou-Steffen splitting, but result in spurious entropy generation for the Zha-Bilgen and Toro-Vasquez splittings unless a particular form of the interface pressure is used. Numerical examples for acoustic and convective flow verify the results of the analysis, and show the importance of considering the resolution of the entropy field when assessing schemes of this type.
The existing intelligent optimization algorithms are designed based on the finest granularity, i.e., a point. This leads to weak global search ability and inefficiency. To address this problem, we proposed a novel multi-granularity optimization algorithm, namely granular-ball optimization algorithm (GBO), by introducing granular-ball computing. GBO uses many granular-balls to cover the solution space. Quite a lot of small and fine-grained granular-balls are used to depict the important parts, and a little number of large and coarse-grained granular-balls are used to depict the inessential parts. Fine multi-granularity data description ability results in a higher global search capability and faster convergence speed. In comparison with the most popular and state-of-the-art algorithms, the experiments on twenty benchmark functions demonstrate its better performance. The faster speed, higher approximation ability of optimal solution, no hyper-parameters, and simpler design of GBO make it an all-around replacement of most of the existing popular intelligent optimization algorithms.
In this paper, we introduce a new class of functions on $\mathbb{R}$ that is closed under composition, and contains the logistic sigmoid function. We use this class to show that any 1-dimensional neural network of arbitrary depth with logistic sigmoid activation functions has at most three fixed points. While such neural networks are far from real world applications, we are able to completely understand their fixed points, providing a foundation to the much needed connection between application and theory of deep neural networks.
The deployment of low earth orbit (LEO) satellites with terrestrial networks can potentially increase the efficiency and reduce the cost of relaying content from a data center to a set of edge caches hosted by 6G and beyond enabled macro base stations. In this work, the characteristics of the communication system and the mobility of LEO satellites are thoroughly discussed to describe the channel characteristics of LEO satellites, in terms of their frequency bands, latency, Doppler shifts, fading effects, and satellite access. Three different scenarios are proposed for the relay of data from data centers to edge caches via LEO satellites, which are the "Immediate Forward", "Relay and Forward", and "Store and Forward" scenarios. A comparative problem formulation is utilized to obtain numerical results from simulations to demonstrate the effectiveness and validity as well as the trade-offs of the proposed system model. The simulation results indicate that the integration of LEO satellites in edge caching for 6G and beyond networks decreased the required transmission power for relaying the data from the data center to the edge caches. Future research directions based on the proposed model are discussed.
Hamilton-Jacobi partial differential equations (HJ PDEs) have deep connections with a wide range of fields, including optimal control, differential games, and imaging sciences. By considering the time variable to be a higher dimensional quantity, HJ PDEs can be extended to the multi-time case. In this paper, we establish a novel theoretical connection between specific optimization problems arising in machine learning and the multi-time Hopf formula, which corresponds to a representation of the solution to certain multi-time HJ PDEs. Through this connection, we increase the interpretability of the training process of certain machine learning applications by showing that when we solve these learning problems, we also solve a multi-time HJ PDE and, by extension, its corresponding optimal control problem. As a first exploration of this connection, we develop the relation between the regularized linear regression problem and the Linear Quadratic Regulator (LQR). We then leverage our theoretical connection to adapt standard LQR solvers (namely, those based on the Riccati ordinary differential equations) to design new training approaches for machine learning. Finally, we provide some numerical examples that demonstrate the versatility and possible computational advantages of our Riccati-based approach in the context of continual learning, post-training calibration, transfer learning, and sparse dynamics identification.
Our goal is to develop a general strategy to decompose a random variable $X$ into multiple independent random variables, without sacrificing any information about unknown parameters. A recent paper showed that for some well-known natural exponential families, $X$ can be "thinned" into independent random variables $X^{(1)}, \ldots, X^{(K)}$, such that $X = \sum_{k=1}^K X^{(k)}$. In this paper, we generalize their procedure by relaxing this summation requirement and simply asking that some known function of the independent random variables exactly reconstruct $X$. This generalization of the procedure serves two purposes. First, it greatly expands the families of distributions for which thinning can be performed. Second, it unifies sample splitting and data thinning, which on the surface seem to be very different, as applications of the same principle. This shared principle is sufficiency. We use this insight to perform generalized thinning operations for a diverse set of families.
Digital wallet as a software program or a digital device allows users to conduct various transactions. Hot and cold digital wallets are considered as two types of this wallet. Digital wallets need an online connection fall into the first group, whereas digital wallets can operate without internet connection belong to the second group. Prior to buying a digital wallet, it is important to define for what purpose it will be utilized. The ease with which a mobile phone transaction may be completed in a couple of seconds and the speed with which transactions are executed are reflection of efficiency. One of the most important elements of digital wallets is data organization. Digital wallets are significantly less expensive than classic methods of transaction, which entails various charges and fees. Constantly, demand for their usage is growing due to speed, security, and the ability to conduct transactions between two users without the need of a third party. As the popularity of digital currency wallets grows, the number of security concerns impacting them increases significantly. The current status of digital wallets on the market, as well as the options for an efficient solution for obtaining and utilizing digital wallets. Finally, the digital wallets' security and future improvement prospects are discussed in this chapter.
The aim of this paper is to improve the understanding of the optimization landscape for policy optimization problems in reinforcement learning. Specifically, we show that the superlevel set of the objective function with respect to the policy parameter is always a connected set both in the tabular setting and under policies represented by a class of neural networks. In addition, we show that the optimization objective as a function of the policy parameter and reward satisfies a stronger "equiconnectedness" property. To our best knowledge, these are novel and previously unknown discoveries. We present an application of the connectedness of these superlevel sets to the derivation of minimax theorems for robust reinforcement learning. We show that any minimax optimization program which is convex on one side and is equiconnected on the other side observes the minimax equality (i.e. has a Nash equilibrium). We find that this exact structure is exhibited by an interesting robust reinforcement learning problem under an adversarial reward attack, and the validity of its minimax equality immediately follows. This is the first time such a result is established in the literature.
This paper addresses the problem of constrained multi-objective optimization over black-box objective functions with practitioner-specified preferences over the objectives when a large fraction of the input space is infeasible (i.e., violates constraints). This problem arises in many engineering design problems including analog circuits and electric power system design. Our overall goal is to approximate the optimal Pareto set over the small fraction of feasible input designs. The key challenges include the huge size of the design space, multiple objectives and large number of constraints, and the small fraction of feasible input designs which can be identified only after performing expensive simulations. We propose a novel and efficient preference-aware constrained multi-objective Bayesian optimization approach referred to as PAC-MOO to address these challenges. The key idea is to learn surrogate models for both output objectives and constraints, and select the candidate input for evaluation in each iteration that maximizes the information gained about the optimal constrained Pareto front while factoring in the preferences over objectives. Our experiments on two real-world analog circuit design optimization problems demonstrate the efficacy of PAC-MOO over prior methods.
We propose an open loop methodology based on sample statistics to solve chance constrained stochastic optimal control problems with probabilistic safety guarantees for linear systems where the additive Gaussian noise has unknown mean and covariance. We consider a joint chance constraint for time-varying polytopic target sets under assumptions that the disturbance has been sufficiently sampled. We derive two theorems that allow us to bound the probability of the state being more than some number of sample standard deviations away from the sample mean. We use these theorems to reformulate the chance constraint into a series of convex and linear constraints. Here, solutions guarantee chance constraint satisfaction. We demonstrate our method on a satellite rendezvous maneuver and provide comparisons with the scenario approach.
Top-N recommendation aims to recommend each consumer a small set of N items from a large collection of items, and its accuracy is one of the most common indexes to evaluate the performance of a recommendation system. While a large number of algorithms are proposed to push the Top-N accuracy by learning the user preference from their history purchase data, a predictability question is naturally raised - whether there is an upper limit of such Top-N accuracy. This work investigates such predictability by studying the degree of regularity from a specific set of user behavior data. Quantifying the predictability of Top-N recommendations requires simultaneously quantifying the limits on the accuracy of the N behaviors with the highest probability. This greatly increases the difficulty of the problem. To achieve this, we firstly excavate the associations among N behaviors with the highest probability and describe the user behavior distribution based on the information theory. Then, we adopt the Fano inequality to scale and obtain the Top-N predictability. Extensive experiments are conducted on the real-world data where significant improvements are observed compared to the state-of-the-art methods. We have not only completed the predictability calculation for N targets but also obtained predictability that is much closer to the true value than existing methods. We expect our results to assist these research areas where the quantitative requirement of Top-N predictability is required.
A fundamental open problem in deep learning theory is how to define and understand the stability of stochastic gradient descent (SGD) close to a fixed point. Conventional literature relies on the convergence of statistical moments, esp., the variance, of the parameters to quantify the stability. We revisit the definition of stability for SGD and use the \textit{convergence in probability} condition to define the \textit{probabilistic stability} of SGD. The proposed stability directly answers a fundamental question in deep learning theory: how SGD selects a meaningful solution for a neural network from an enormous number of solutions that may overfit badly. To achieve this, we show that only under the lens of probabilistic stability does SGD exhibit rich and practically relevant phases of learning, such as the phases of the complete loss of stability, incorrect learning, convergence to low-rank saddles, and correct learning. When applied to a neural network, these phase diagrams imply that SGD prefers low-rank saddles when the underlying gradient is noisy, thereby improving the learning performance. This result is in sharp contrast to the conventional wisdom that SGD prefers flatter minima to sharp ones, which we find insufficient to explain the experimental data. We also prove that the probabilistic stability of SGD can be quantified by the Lyapunov exponents of the SGD dynamics, which can easily be measured in practice. Our work potentially opens a new venue for addressing the fundamental question of how the learning algorithm affects the learning outcome in deep learning.
Various recent experimental results show that large language models (LLM) exhibit emergent abilities that are not present in small models. System performance is greatly improved after passing a certain critical threshold of scale. In this letter, we provide a simple explanation for such a phase transition phenomenon. For this, we model an LLM as a sequence-to-sequence random function. Instead of using instant generation at each step, we use a list decoder that keeps a list of candidate sequences at each step and defers the generation of the output sequence at the end. We show that there is a critical threshold such that the expected number of erroneous candidate sequences remains bounded when an LLM is below the threshold, and it grows exponentially when an LLM is above the threshold. Such a threshold is related to the basic reproduction number in a contagious disease.
We develop a topological classification of non-Hermitian effective Hamiltonians that depend on momentum and frequency. Such effective Hamiltonians are in one-to-one correspondence to single-particle Green's functions of systems that satisfy translational invariance in space and time but may be interacting or open. We employ K-theory, which for the special case of noninteracting systems leads to the well-known tenfold-way topological classification of insulators and fully gapped superconductors. Relevant theorems for K-groups are reformulated and proven in the more transparent language of Hamiltonians instead of vector bundles. We obtain 54 symmetry classes for frequency-dependent non-Hermitian Hamiltonians satisfying anti-unitary symmetries. Employing dimensional reduction, the group structure for all these classes is calculated. This classification leads to a group structure with one component from the momentum dependence, which corresponds to the non-Hermitian generalization of topological insulators and superconductors, and two additional parts resulting from the frequency dependence. These parts describe winding of the effective Hamiltonian in the frequency direction and in combined momentum-frequency space.
Deep point cloud registration methods face challenges to partial overlaps and rely on labeled data. To address these issues, we propose UDPReg, an unsupervised deep probabilistic registration framework for point clouds with partial overlaps. Specifically, we first adopt a network to learn posterior probability distributions of Gaussian mixture models (GMMs) from point clouds. To handle partial point cloud registration, we apply the Sinkhorn algorithm to predict the distribution-level correspondences under the constraint of the mixing weights of GMMs. To enable unsupervised learning, we design three distribution consistency-based losses: self-consistency, cross-consistency, and local contrastive. The self-consistency loss is formulated by encouraging GMMs in Euclidean and feature spaces to share identical posterior distributions. The cross-consistency loss derives from the fact that the points of two partially overlapping point clouds belonging to the same clusters share the cluster centroids. The cross-consistency loss allows the network to flexibly learn a transformation-invariant posterior distribution of two aligned point clouds. The local contrastive loss facilitates the network to extract discriminative local features. Our UDPReg achieves competitive performance on the 3DMatch/3DLoMatch and ModelNet/ModelLoNet benchmarks.
The recent detection of gravitational waves emanating from inspiralling black hole binaries has triggered a renewed interest in the dynamics of relativistic two-body systems. The conservative part of the latter are given by Hamiltonian systems obtained from so called post-Newtonian expansions of the general relativistic description of black hole binaries. In this paper we study the general question of whether there exist relativistic binaries that display Kepler-like dynamics with elliptical orbits. We show that an orbital equivalence to the Kepler problem indeed exists for relativistic systems with a Hamiltonian of a Kepler-like form. This form is realised by extremal black holes with electric charge and scalar hair to at least first order in the post-Newtonian expansion for arbitrary mass ratios and to all orders in the post-Newtonian expansion in the test-mass limit of the binary. Moreover, to fifth post-Newtonian order, we show that Hamiltonians of the Kepler-like form can be related explicitly through a canonical transformation and time reparametrization to the Kepler problem, and that all Hamiltonians conserving a Laplace-Runge-Lenz-like vector are related in this way to Kepler.
Bazhanov--Stroganov maps are set theoretical solutions to the 4-simplex equation, namely the fourth member of the family of $n$-simplex equations, which are fundamental equations of mathematical physics. In this letter, we develop a method for constructing Bazhanov--Stroganov 4-simplex maps as extensions of solutions to the Zamolodchikov tetrahedron equation. We employ this method to construct birarional, noninvolutive 4-simplex maps which boil down to the famous Hirota tetrahedron map at a certain limit.
Motivated by applications in unmanned aerial based ground penetrating radar for detecting buried landmines, we consider the problem of imaging small point like scatterers situated in a lossy medium below a random rough surface. Both the random rough surface and the absorption in the lossy medium significantly impede the target detection and imaging process. Using principal component analysis we effectively remove the reflection from the air-soil interface. We then use a modification of the classical synthetic aperture radar imaging functional to image the targets. This imaging method introduces a user-defined parameter, $\delta$, which scales the resolution by $\sqrt{\delta}$ allowing for target localization with sub wavelength accuracy. Numerical results in two dimensions illustrate the robustness of the approach for imaging multiple targets. However, the depth at which targets are detectable is limited due to the absorption in the lossy medium.
We propose an analytical approximation for the modified Bessel function of the second kind $K_\nu$. The approximation is derived from an exponential ansatz imposing global constrains. It yields local and global errors of less than one percent and a speed-up in the computing time of $3$ orders in magnitude in comparison with traditional approaches. We demonstrate the validity of our approximation for the task of generating long-range correlated random fields.
Meshfree Lagrangian frameworks for free surface flow simulations do not conserve fluid volume. Meshfree particle methods like SPH are not mimetic, in the sense that discrete mass conservation does not imply discrete volume conservation. On the other hand, meshfree collocation methods typically do not use any notion of mass. As a result, they are neither mass conservative nor volume conservative at the discrete level. In this paper, we give an overview of various sources of conservation errors across different meshfree methods. The present work focuses on one specific issue: unreliable volume and mass definitions. We introduce the concept of representative masses and densities, which are essential for accurate post-processing especially in meshfree collocation methods. Using these, we introduce an artificial compression or expansion in the fluid to rectify errors in volume conservation. Numerical experiments show that the introduced frameworks significantly improve volume conservation behaviour, even for complex industrial test cases such as automotive water crossing.
We study a class of interacting particle systems for implementing a marginal maximum likelihood estimation (MLE) procedure to optimize over the parameters of a latent variable model. To do so, we propose a continuous-time interacting particle system which can be seen as a Langevin diffusion over an extended state space, where the number of particles acts as the inverse temperature parameter in classical settings for optimisation. Using Langevin diffusions, we prove nonasymptotic concentration bounds for the optimisation error of the maximum marginal likelihood estimator in terms of the number of particles in the particle system, the number of iterations of the algorithm, and the step-size parameter for the time discretisation analysis.
We investigate the optimization of multilayer perceptrons on symmetric data. We compare the strategy of constraining the architecture to be equivariant to that of using augmentation. We show that, under natural assumptions on the loss and non-linearities, the sets of equivariant stationary points are identical for the two strategies, and that the set of equivariant layers is invariant under the gradient flow for augmented models. Finally, we show that stationary points may be unstable for augmented training although they are stable for the equivariant models
We prove an adiabatic theorem that applies at timescales short of the adiabatic limit. Our proof analyzes the stability of solutions to Schrodinger's equation under perturbation. We directly characterize cross-subspace effects of perturbation, which are typically significantly less than suggested by the perturbation's operator norm. This stability has numerous consequences: we can (1) find timescales where the solution of Schrodinger's equation converges to the ground state of a block, (2) lower bound the convergence to the global ground state by demonstrating convergence to some other known quantum state, (3) guarantee faster convergence than the standard adiabatic theorem when the ground state of the perturbed Hamiltonian ($H$) is close to that of the unperturbed $H$, and (4) bound tunneling effects in terms of the global spectral gap when $H$ is ``stoquastic'' (a $Z$-matrix). Our results apply to quantum annealing protocols with faster convergence than usually guaranteed by a standard adiabatic theorem. Our upper and lower bounds demonstrate that at timescales short of the adiabatic limit, subspace dynamics can dominate over global dynamics. Thus, we see that convergence to particular target states can be understood as the result of otherwise local dynamics.
This paper presents a new, provably-convergent algorithm for computing the flag-mean and flag-median of a set of points on a flag manifold under the chordal metric. The flag manifold is a mathematical space consisting of flags, which are sequences of nested subspaces of a vector space that increase in dimension. The flag manifold is a superset of a wide range of known matrix groups, including Stiefel and Grassmanians, making it a general object that is useful in a wide variety computer vision problems. To tackle the challenge of computing first order flag statistics, we first transform the problem into one that involves auxiliary variables constrained to the Stiefel manifold. The Stiefel manifold is a space of orthogonal frames, and leveraging the numerical stability and efficiency of Stiefel-manifold optimization enables us to compute the flag-mean effectively. Through a series of experiments, we show the competence of our method in Grassmann and rotation averaging, as well as principal component analysis.