Mathematics
New submissions
[ showing up to 2000 entries per page: fewer  more ]
New submissions for Mon, 18 Jan 21
 [1] arXiv:2101.05805 [pdf, other]

Title: Sur un article de 1954 signé N. Cuesta, une traductionAuthors: Labib HaddadComments: 50 pages, 10 figuresSubjects: Logic (math.LO)
A translation from Spanish into French of a paper by N. Cuesta published in 1954. The paper deals mainly with partially, and totally, ordered sets. Two subjects are specially dealt with: Construction of new ordered sets starting from a family of those. Completion of ordered sets by tools akin to Dedekind cuts. Curiously enough, the socalled surreal numbers (later defined by Conway, in 1974) are already there, thirty years before.
 [2] arXiv:2101.05807 [pdf, other]

Title: A MachineLearning Method for TimeDependent Wave Equations over Unbounded DomainsSubjects: Numerical Analysis (math.NA)
Timedependent wave equations represent an important class of partial differential equations (PDE) for describing wave propagation phenomena, which are often formulated over unbounded domains. Given a compactly supported initial condition, classical numerical methods reduce such problems to bounded domains using artificial boundary condition (ABC). In this work, we present a machinelearning method to solve this equation as an alternative to ABCs. Specifically, the mapping from the initial conditions to the PDE solution is represented by a neural network, trained using wave packets that are parameterized by their band width and wave numbers. The accuracy is tested for both the secondorder wave equation and the Schrodinger equation, including the nonlinear Schrodinger. We examine the accuracy from both interpolations and extrapolations. For initial conditions lying in the training set, the learned map has good interpolation accuracy, due to the approximation property of deep neural networks. The learned map also exhibits some good extrapolation accuracy. Therefore, the proposed method provides an interesting alternative for finitetime simulation of wave propagation.
 [3] arXiv:2101.05826 [pdf, ps, other]

Title: Torus actions on manifolds with positive intermediate Ricci curvatureAuthors: Lawrence MouilléComments: 24 pagesSubjects: Differential Geometry (math.DG)
On an ndimensional manifold, positive $k$thintermediate Ricci curvature is a condition interpolating between positive sectional curvature ($k = 1$) and positive Ricci curvature ($k = n  1$). In this article, we show that closed manifolds with positive 2ndintermediate Ricci curvature and large symmetry rank are either homeomorphic to spheres in odd dimensions or have positive Euler characteristic in even dimensions. In the process, we establish new tools for studying closed manifolds with torus symmetries and positive $k$thintermediate Ricci for values of $k \geq 2$. These tools include generalizations of the isotropy rank lemma, symmetry rank bound, and connectedness principle from the setting of positive sectional curvature.
 [4] arXiv:2101.05829 [pdf, ps, other]

Title: Numerical procedure for optimal control of hybrid systems with sliding modes, Part ISubjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
This paper concerns the numerical procedure for solving hybrid optimal control problems with sliding modes. The proposed procedure has several features which distinguishes it from the other procedures for the problem. First of all a sliding mode is coped with differentialalgebraic equations (DAEs) and that guarantees accurate tracking of the sliding motion surface. The second important feature is the calculation of cost and constraints functions gradients with the help of adjoint equations. The adjoint equations presented in the paper take into account sliding motion and exhibit jump conditions at transition instants. The procedure uses the discretization of system equations by Radau IIA RungeKutta scheme and the evaluation of optimization functions gradients with the help of the adjoint equations stated for discretized system equations. In the first part of the paper we demonstrate the correspondence between the discrete adjoint equations and the discretized version of the continuous adjoint equations in the case of system equations described by ODEs. We show that the discrete adjoint state trajectories converge to their continuous counterparts in the case of ODEs.
 [5] arXiv:2101.05835 [pdf, other]

Title: An adaptive finite element DtN method for the elastic wave scattering problem in three dimensionsSubjects: Numerical Analysis (math.NA)
Consider the elastic scattering of an incident wave by a rigid obstacle in three dimensions, which is formulated as an exterior problem for the Navier equation. By constructing a DirichlettoNeumann (DtN) operator and introducing a transparent boundary condition, the scattering problem is reduced equivalently to a boundary value problem in a bounded domain. The discrete problem with the truncated DtN operator is solved by using the a posteriori error estimate based adaptive finite element method. The estimate takes account of both the finite element approximation error and the truncation error of the DtN operator, where the latter is shown to converge exponentially with respect to the truncation parameter. Moreover, the generalized Woodbury matrix identity is utilized to solve the resulting linear system efficiently. Numerical experiments are presented to demonstrate the superior performance of the proposed method.
 [6] arXiv:2101.05841 [pdf, ps, other]

Title: Lecture notes on highdimensional spacesAuthors: SvenAke WegnerComments: 41 pagesSubjects: Functional Analysis (math.FA)
These are lecture notes, based on the first part of a course on 'Mathematical Data Science' that I taught at Teesside University (UK) in 20192020, and which focus on the characteristics and peculiarities of highdimensional spaces.
 [7] arXiv:2101.05845 [pdf, ps, other]

Title: Families and unfoldings of singular holomorphic Lie AlgebroidsSubjects: Algebraic Geometry (math.AG); Differential Geometry (math.DG); Symplectic Geometry (math.SG)
In this paper, we investigate families of singular holomorphic Lie algebroids on complex analytic spaces. We introduce and study a special type of deformation called by unfoldings of Lie algebroids which generalizes the theory due to Suwa for singular holomorphic foliations. We show that there is a one to one correspondence between transversal unfoldings and holomorphic flat connections on a natural Lie algebroid on the bases.
 [8] arXiv:2101.05856 [pdf, ps, other]

Title: Fourier multipliers for TriebelLizorkin spaces on graded Lie groupsComments: 25 Pages. arXiv admin note: text overlap with arXiv:1610.04701Subjects: Functional Analysis (math.FA); Analysis of PDEs (math.AP)
In this work we investigate the boundedness of Fourier multipliers on TriebelLizorkin spaces associated to positive Rockland operators on a graded Lie group. The found criterion is expressed in terms of the H\"ormanderMihlin condition on the global symbol of a Fourier multiplier.
 [9] arXiv:2101.05857 [pdf, ps, other]

Title: The AttouchThéra Duality, Generalized Cycles and Gap VectorsComments: 25 pagesSubjects: Optimization and Control (math.OC)
Using the AttouchTh\'era duality, we study the cycles, gap vectors and fixed point sets of compositions of proximal mappings. Sufficient conditions are given for the existence of cycles and gap vectors. A primaldual framework provides an exact relationship between the cycles and gap vectors. We also introduce the generalized cycle and gap vectors to tackle the case when the classical ones do not exist. Examples are given to illustrate our results.
 [10] arXiv:2101.05871 [pdf, other]

Title: Asymptotic profile and Morse index of the radial solutions of the Hénon equationComments: 18 pagesSubjects: Analysis of PDEs (math.AP)
We consider the H\'enon equation \begin{equation}\label{alphab} \Delta u = x^{\alpha}u^{p1}u \ \ \textrm{in} \ \ B^N, \quad
u = 0 \ \ \textrm{on}\ \ \partial B^N,
\tag{$P_{\alpha}$} \end{equation} where $B^N\subset \mathbb{R}^N$ is the open unit ball centered at the origin, $N\geq 3$, $p>1$ and $\alpha> 0$ is a parameter. We show that, after a suitable rescaling, the twodimensional LaneEmden equation \[ \Delta w = w^{p1}w\quad \text{in}\ B^2,\quad w=0\quad \text{on}\ \partial B^2, \] where $B^2 \subset \mathbb{R}^2$ is the open unit ball, is the limit problem of \eqref{alphab}, as $\alpha \to \infty$, in the framework of radial solutions. We exploit this fact to prove several qualitative results on the radial solutions of \eqref{alphab} with any fixed number of nodal sets: asymptotic estimates on the Morse indices along with their monotonicity with respect to $\alpha$; asymptotic convergence of their zeros; blow up of the local extrema and on compact sets of $B^N$. All these results are proved for both positive and nodal solutions.  [11] arXiv:2101.05878 [pdf, ps, other]

Title: Solovay's Relative Consistency Proof for FIM and BIAuthors: Joan Rand MoschovakisSubjects: Logic (math.LO); History and Overview (math.HO)
In 2002 Robert Solovay proved that a subsystem BI of classical second order arithmetic, with bar induction and arithmetical countable choice, can be negatively interpreted in the neutral subsystem BSK of Kleene's intuitionistic analysis FIM using Markov's Principle MP. Combining this result with Kleene's formalized recursive realizability, he established (in primitive recursive arithmetic PRA) that FIM + MP and BI have the same consistency strength.
This historical note includes Solovay's original proof, with his permission, and the additional observation that Markov's Principle can be weakened to a double negation shift axiom consistent with Brouwer's creating subject counterexamples.  [12] arXiv:2101.05882 [pdf, ps, other]

Title: Infinity Laplacian equations with singular absorptionsSubjects: Analysis of PDEs (math.AP)
This work is devoted to the study of a novariational class of singular elliptic equations ruled by the infinity Laplacian. We provide optimal $C^{1,\beta}$ regularity along the singular free boundary, where in particular, the optimality is designed by the magnitude of the singularity. By virtue of a suitable penalization scheme and a construction of radial supersolutions, existence and nondegeneracy properties are provided where fine geometric consequences for the singular free boundary are further obtained.
 [13] arXiv:2101.05883 [pdf, ps, other]

Title: Expansion of traces and Dixmier traceability for global pseudodifferential operators on manifolds with boundaryComments: 34 Pages. arXiv admin note: text overlap with arXiv:2101.02519Subjects: Analysis of PDEs (math.AP); Spectral Theory (math.SP)
Given a smooth manifold $M$ (with or without boundary), in this paper we study the regularisation of traces for the global pseudodifferential calculus in the context of nonharmonic analysis. Indeed, using the global pseudodifferential calculus on manifolds (with or without boundary) developed in [30], the Calder\'onVaillancourt Theorem and the global functional calculus in [6], we determine the singularity orders in the regularisation of traces and the sharp regularity orders for the Dixmier traceability of the global H\"ormander classes. Our analysis (free of coordinate systems) allows us to obtain nonharmonic analogues of several classical results arising from the microlocal analysis of regularised traces for pseudodifferential operators with symbols defined by localisations.
 [14] arXiv:2101.05884 [pdf, ps, other]

Title: Enabling fourdimensional conformal hybrid meshing with cubic pyramidsAuthors: Miroslav S. Petrov, Todor D. Todorov, Gage S. Walters, David M. Williams, Freddie D. WitherdenComments: 30 pages, 15 figuresSubjects: Numerical Analysis (math.NA)
The main purpose of this article is to develop a novel refinement strategy for fourdimensional hybrid meshes based on cubic pyramids. This optimal refinement strategy subdivides a given cubic pyramid into a conforming set of congruent cubic pyramids and invariant bipentatopes. The theoretical properties of the refinement strategy are rigorously analyzed and evaluated. In addition, a new class of fully symmetric quadrature rules with positive weights are generated for the cubic pyramid. These rules are capable of exactly integrating polynomials with degrees up to 12. Their effectiveness is successfully demonstrated on polynomial and transcendental functions. Broadly speaking, the refinement strategy and quadrature rules in this paper open new avenues for fourdimensional hybrid meshing, and spacetime finite element methods.
 [15] arXiv:2101.05886 [pdf, other]

Title: Reformulated dissipation for the freestream preserving of the conservative finite difference schemes on curvilinear gridsSubjects: Numerical Analysis (math.NA); Computational Physics (physics.compph); Fluid Dynamics (physics.fludyn)
In this paper, we develop a new freestream preserving (FP) method for highorder upwind conservative finitedifference (FD) schemes on the curvilinear grids. This FP method is constrcuted by subtracting a reference cellface flow state from each cellcenter value in the local stencil of the original upwind conservative FD schemes, which effectively leads to a reformulated dissipation. It is convenient to implement this method, as it does not require to modify the original forms of the upwind schemes. In addition, the proposed method removes the constraint in the traditional FP conservative FD schemes that require a consistent discretization of the mesh metrics and the fluxes. With this, the proposed method is more flexible in simulating the engineering problems which usually require a loworder scheme for their lowquality mesh, while the highorder schemes can be applied to approximate the flow states to improve the resolution. After demonstrating the strict FP property and the order of accuracy by two simple test cases, we consider various validation cases, including the supersonic flow around the cylinder, the subsonic flow past the threeelement airfoil, and the transonic flow around the ONERA M6 wing, etc., to show that the method is suitable for a wide range of fluid dynamic problems containing complex geometries. Moreover, these test cases also indicate that the discretization order of the metrics have no significant influences on the numerical results if the mesh resolution is not sufficiently large.
 [16] arXiv:2101.05887 [pdf, ps, other]

Title: On the set of Gâteaux differentiability of the $L^1$ normSubjects: Functional Analysis (math.FA)
Let $(\Omega, \mathcal{M}, \mu)$ be a measure space. In this paper we establish the set of G\^ateaux differentiability for the usual norm of $L^{1}(\Omega, \mu)$ and the corresponding derivative formulae at each point in this set.
 [17] arXiv:2101.05902 [pdf, other]

Title: An EIMdegradation free reduced basis method via over collocation and residual hyper reductionbased error estimationSubjects: Numerical Analysis (math.NA)
The need for multiple interactive, realtime simulations using different parameter values has driven the design of fast numerical algorithms with certifiable accuracies. The reduced basis method (RBM) presents itself as such an option. RBM features a mathematically rigorous error estimator which drives the construction of a lowdimensional subspace. A surrogate solution is then sought in this lowdimensional space approximating the parameterinduced high fidelity solution manifold. However when the system is nonlinear or its parameter dependence nonaffine, this efficiency gain degrades tremendously, an inherent drawback of the application of the empirical interpolation method (EIM).
In this paper, we augment and extend the EIM approach as a direct solver, as opposed to an assistant, for solving nonlinear partial differential equations on the reduced level. The resulting method, called Reduced OverCollocation method (ROC), is stable and capable of avoiding the efficiency degradation. Two critical ingredients of the scheme are collocation at about twice as many locations as the number of basis elements for the reduced approximation space, and an efficient error indicator for the strategic building of the reduced solution space. The latter, the main contribution of this paper, results from an adaptive hyper reduction of the residuals for the reduced solution. Together, these two ingredients render the proposed R2ROC scheme both offline and onlineefficient. A distinctive feature is that the efficiency degradation appearing in traditional RBM approaches that utilize EIM for nonlinear and nonaffine problems is circumvented, both in the offline and online stages. Numerical tests on different families of timedependent and steadystate nonlinear problems demonstrate the high efficiency and accuracy of our R2ROC and its superior stability performance.  [18] arXiv:2101.05905 [pdf, other]

Title: The commutator subgroups of free groups and surface groupsAuthors: Andrew PutmanComments: 20 pages, 4 figuresSubjects: Geometric Topology (math.GT); Group Theory (math.GR)
A beautifully simple free generating set for the commutator subgroup of a free group was constructed by Tomaszewski. We give a new geometric proof of his theorem, and show how to give a similar free generating set for the commutator subgroup of a surface group. We also give a simple representationtheoretic description of the structure of the abelianizations of these commutator subgroups and calculate their homology.
 [19] arXiv:2101.05910 [pdf, ps, other]

Title: Rational points near selfsimilar setsAuthors: Han YuComments: 60 pages; Comments welcomeSubjects: Number Theory (math.NT); Dynamical Systems (math.DS); Metric Geometry (math.MG)
In this paper, we consider a problem of counting rational points near selfsimilar sets. Let $n\geq 1$ be an integer. We shall show that for some selfsimilar measures on $\mathbb{R}^n$, the set of rational points $\mathbb{Q}^n$ is 'equidistributed' in a sense that will be introduced in this paper. This implies that an inhomogeneous Khinchine convergence type result can be proved for those measures. In particular, for $n=1$ and large enough integers $p,$ the above holds for the middle$p$th Cantor measure, i.e. the natural Hausdorff measure on the set of numbers whose base $p$ expansions do not have digit $[(p1)/2].$ Furthermore, we partially proved a conjecture of Bugeaud and Durand for the middle$p$th Cantor set and this also answers a question posed by Levesley, Salp and Velani. Our method includes a fine analysis of the Fourier coefficients of selfsimilar measures together with an Erd\H{o}sKahane type argument. We will also provide a numerical argument to show that $p>10^7$ is sufficient for the above conclusions. In fact, $p\geq 15$ is already enough for most of the above conclusions.
 [20] arXiv:2101.05911 [pdf, ps, other]

Title: Counting paths, cycles and blowups in planar graphsComments: 31 pagesSubjects: Combinatorics (math.CO)
For a planar graph $H$, let $\operatorname{\mathbf{N}}_{\mathcal P}(n,H)$ denote the maximum number of copies of $H$ in an $n$vertex planar graph. In this paper, we prove that $\operatorname{\mathbf{N}}_{\mathcal P}(n,P_7)\sim{4\over 27}n^4$, $\operatorname{\mathbf{N}}_{\mathcal P}(n,C_6)\sim(n/3)^3$, $\operatorname{\mathbf{N}}_{\mathcal P}(n,C_8)\sim(n/4)^4$ and $\operatorname{\mathbf{N}}_{\mathcal P}(n,K_4\{1\})\sim(n/6)^6$, where $K_4\{1\}$ is the $1$subdivision of $K_4$. In addition, we obtain significantly improved upper bounds on $\operatorname{\mathbf{N}}_{\mathcal P}(n,P_{2m+1})$ and $\operatorname{\mathbf{N}}_{\mathcal P}(n,C_{2m})$ for $m\geq 4$. For a wide class of graphs $H$, the key technique developed in this paper allows us to bound $\operatorname{\mathbf{N}}_{\mathcal P}(n,H)$ in terms of an optimization problem over weighted graphs.
 [21] arXiv:2101.05914 [pdf, ps, other]

Title: On the number of sumfree triplets of setsComments: 13 pages, 4 figures (including appendix)Subjects: Combinatorics (math.CO)
We count the ordered sumfree triplets of subsets in the group $\mathbb{Z}/p\mathbb{Z}$, i.e., the triplets $(A,B,C)$ of sets $A,B,C \subset \mathbb{Z}/p\mathbb{Z}$ for which the equation $a+b=c$ has no solution with $a\in A$, $b \in B$ and $c \in C$. Our main theorem improves on a recent result by Semchankau, Shabanov, and Shkredov using a different and simpler method. Our proof relates previous results on the number of independent sets of regular graphs by Kahn, Perarnau and Perkins, and Csikv\'ari to produce explicit estimates on smaller order terms. We also obtain estimates for the number of sumfree triplets of subsets in a general abelian group.
 [22] arXiv:2101.05915 [pdf, ps, other]

Title: Positive solutions for singular anisotropic $(p,q)$equationsComments: arXiv admin note: text overlap with arXiv:2007.00945Subjects: Analysis of PDEs (math.AP)
In this paper we consider a Dirichlet problem driven by an anisotropic $(p,q)$differential operator and a parametric reaction having the competing effects of a singular term and of a superlinear perturbation. We prove a bifurcationtype theorem describing the changes in the set of positive solutions as the parameter moves. Moreover, we prove the existence of a minimal positive solution and determine the monotonicity and continuity properties of the minimal solution map.
 [23] arXiv:2101.05920 [pdf, other]

Title: An Evans function for the linearised 2D Euler equations using Hill's determinantComments: 29 pages, 10 figuresSubjects: Dynamical Systems (math.DS); Mathematical Physics (mathph)
We study the point spectrum of the linearisation of Euler's equation for the ideal fluid on the torus about a shear flow. By separation of variables the problem is reduced to the spectral theory of a complex Hill's equation. Using Hill's determinant an Evans function of the original Euler equation is constructed. The Evans function allows us to completely characterise the point spectrum of the linearisation, and to count the isolated eigenvalues with nonzero real part. In particular this approach also works in the case where complex eigenvalues appear.
 [24] arXiv:2101.05923 [pdf, other]

Title: Relatively Hyperbolic Groups with Semistable Peripheral SubgroupsComments: 37 pages 8 figuresSubjects: Group Theory (math.GR); Geometric Topology (math.GT)
Suppose $G$ is a 1ended finitely presented group that is hyperbolic relative to ${\bf P}$ a finite collection of 1ended finitely presented proper subgroups of $G$. If the boundary $\partial (G,{\bf P})$ has no cut point, then $G$ is known to have semistable fundamental group at $\infty$. We consider the more general situation when $\partial (G,{\bf P})$ contains cut points. Our main theorem states that if each $P\in {\bf P}$ has semistable fundamental group at $\infty$, then $G$ has semistable fundamental group at $\infty$.
 [25] arXiv:2101.05925 [pdf, other]

Title: Analysis of a timedelayed HIV/AIDS epidemic model with education campaignsComments: 30 pages, 7 figures, Delay Differential EquationsSubjects: Dynamical Systems (math.DS)
We consider a timedelayed HIV/AIDS epidemic model with education dissemination and study the asymptotic dynamics of solutions as well as the asymptotic behavior of the endemic equilibrium with respect to the amount of information disseminated about the disease. Under appropriate assumptions on the infection rates, we show that if the basic reproduction number is less than or equal to one, then the disease will be eradicated in the long run and any solution to the Cauchy problem converges to the unique diseasefree equilibrium of the model. On the other hand, when the basic reproduction number is greater than one, we prove that the disease will be permanent but its impact on the population can be significantly minimized as the amount of education dissemination increases. In particular, under appropriate hypothesis on the model parameters, we establish that the size of the component of the infected population of the endemic equilibrium decreases linearly as a function of the amount of information disseminated. We also fit our model to a set of data on HIV/AIDS from Uganda within the period 19922005 in order to estimate the infection, effective response, and information rates of the disease. We then use these estimates to present numerical simulations to illustrate our theoretical findings.
 [26] arXiv:2101.05931 [pdf, ps, other]

Title: Categorical braid group actions and cactus groupsComments: 23 pagesSubjects: Representation Theory (math.RT); Category Theory (math.CT); Quantum Algebra (math.QA)
Let $\mathfrak{g}$ be a semisimple simplylaced Lie algebra of finite type. Let $\mathcal{C}$ be an abelian categorical representation of the quantum group $U_q(\mathfrak{g})$ categorifying an integrable representation $V$. The Artin braid group $B$ of $\mathfrak{g}$ acts on $D^b(\mathcal{C})$ by Rickard complexes, providing a triangulated equivalence $\Theta_{w_0}:D^b(\mathcal{C}_\mu) \to D^b(\mathcal{C}_{w_0(\mu)})$, where $\mu$ is a weight of $V$ and $\Theta_{w_0}$ is a positive lift of the longest element of the Weyl group.
We prove that this equivalence is texact up to shift when $V$ is isotypic, generalising a fundamental result of Chuang and Rouquier in the case $\mathfrak{g}=\mathfrak{sl}_2$. For general $V$, we prove that $\Theta_{w_0}$ is a perverse equivalence with respect to a JordanH\"older filtration of $\mathcal{C}$.
Using these results we construct, from the action of $B$ on $V$, an action of the cactus group on the crystal of $V$. This recovers the cactus group action on $V$ defined via generalised Sch\"utzenberger involutions, and provides a new connection between categorical representation theory and crystal bases. We also use these results to give new proofs of theorems of BerensteinZelevinsky, Rhoades, and Stembridge regarding the action of symmetric group on the KazhdanLusztig basis of its Specht modules.  [27] arXiv:2101.05935 [pdf, ps, other]

Title: Weak mean equicontinuity for a countable discrete amenable group actionSubjects: Dynamical Systems (math.DS)
The weak mean equicontinuous properties for a countable discrete amenable group $G$ acting continuously on a compact metrizable space $X$ are studied. It is shown that the weak mean equicontinuity of $(X \times X,G)$ is equivalent to the mean equicontinuity of $(X,G)$. Moreover, when $(X,G)$ has full measure center or $G$ is abelian, it is shown that $(X,G)$ is weak mean equicontinuous if and only if all points in $X$ are uniquely ergodic points and the map $x \to \mu_x^G$ is continuous, where $\mu_x^G$ is the unique ergodic measure on $\{\ol{Orb(x)}, G\}$.
 [28] arXiv:2101.05937 [pdf, ps, other]

Title: Periodic solutions to KleinGordon systems with linear couplingsSubjects: Analysis of PDEs (math.AP)
In this paper, we study the nonlinear KleinGordon systems arising from relativistic physics and quantum field theories
$$\left\{\begin{array}{lll} u_{tt} u_{xx} +bu + \varepsilon v + f(t,x,u) =0,\; v_{tt} v_{xx} +bv + \varepsilon u + g(t,x,v) =0
\end{array}\right.
$$ where $u,v$ satisfy the Dirichlet boundary conditions on spatial interval $[0, \pi]$, $b>0$ and $f$, $g$ are $2\pi$periodic in $t$. We are concerned with the existence, regularity and asymptotic behavior of timeperiodic solutions to the linearly coupled problem as $\varepsilon$ goes to 0. Firstly, under some superlinear growth and monotonicity assumptions on $f$ and $g$, we obtain the solutions $(u_\varepsilon, v_\varepsilon)$ with timeperiod $2\pi$ for the problem as the linear coupling constant $\varepsilon$ is sufficiently small, by constructing critical points of an indefinite functional via variational methods. Secondly, we give precise characterization for the asymptotic behavior of these solutions, and show that as $\varepsilon\rightarrow 0$, $(u_\varepsilon, v_\varepsilon)$ converge to the solutions of the wave equations without the coupling terms. Finally, by careful analysis which are quite different from the elliptic regularity theory, we obtain some interesting results concerning the higher regularity of the periodic solutions.  [29] arXiv:2101.05939 [pdf, ps, other]

Title: Rowcolumn factorial designs with multiple levelsSubjects: Statistics Theory (math.ST)
An {\em $m\times n$ rowcolumn factorial design} is an arrangement of the elements of a factorial design into a rectangular array. Such an array is used in experimental design, where the rows and columns can act as blocking factors. If for each row/column and vector position, each element has the same regularity, then all main effects can be estimated without confounding by the row and column blocking factors. Formally, for any integer $q$, let $[q]=\{0,1,\dots ,q1\}$. The $q^k$ (full) factorial design with replication $\alpha$ is the multiset consisting of $\alpha$ occurrences of each element of $[q]^k$; we denote this by $\alpha\times [q]^k$. A {\em regular $m\times n$ rowcolumn factorial design} is an arrangement of the the elements of $\alpha \times [q]^k$ into an $m\times n$ array (which we say is of {\em type} $I_k(m,n;q)$) such that for each row (column) and fixed vector position $i\in [q]$, each element of $[q]$ occurs $n/q$ times (respectively, $m/q$ times). Let $m\leq n$. We show that an array of type $I_k(m,n;q)$ exists if and only if (a) $qm$ and $qn$; (b) $q^kmn$; (c) $(k,q,m,n)\neq (2,6,6,6)$ and (d) if $(k,q,m)=(2,2,2)$ then $4$ divides $n$. This extends the work of Godolphin (2019), who showed the above is true for the case $q=2$ when $m$ and $n$ are powers of $2$. In the case $k=2$, the above implies necessary and sufficient conditions for the existence of a pair of mutually orthogonal frequency rectangles (or $F$rectangles) whenever each symbol occurs the same number of times in a given row or column.
 [30] arXiv:2101.05940 [pdf, other]

Title: Implicit Surface Reconstruction with a Curlfree Radial Basis Function Partition of Unity MethodSubjects: Numerical Analysis (math.NA)
Surface reconstruction from a set of scattered points, or a point cloud, has many applications ranging from computer graphics to remote sensing. We present a new method for this task that produces an implicit surface (zerolevel set) approximation for an oriented point cloud using only information about (approximate) normals to the surface. The technique exploits the fundamental result from vector calculus that the normals to an implicit surface are curlfree. By using a curlfree radial basis function (RBF) interpolation of the normals, we can extract a potential for the vector field whose zerolevel surface approximates the point cloud. We use curlfree RBFs based on polyharmonic splines for this task, since they are free of any shape or support parameters. Furthermore, to make this technique efficient and able to better represent local sharp features, we combine it with a partition of unity (PU) method. The result is the curlfree partition of unity (CFPU) method. We show how CFPU can be adapted to enforce exact interpolation of a point cloud and can be regularized to handle noise in both the normal vectors and the point positions. Numerical results are presented that demonstrate how the method converges for a known surface as the sampling density increases, how regularization handles noisy data, and how the method performs on various problems found in the literature.
 [31] arXiv:2101.05941 [pdf, other]

Title: Minimum variance constrained estimatorSubjects: Optimization and Control (math.OC)
Minimum variance duality based full information estimator and moving horizon estimator (MHE) are presented for discrete time linear time invariant systems in the presence of state constraints. The proposed estimators are equivalent to the Kalman filter (KF) when uncertainties are assumed to be Gaussian and constraints are absent. In the presence of constraints, the proposed estimator is proved to be stable in the sense of an observer without making the standard vanishing disturbance assumption. In order to approximate the arrival cost, we need not to run KF in parallel. The standard MHE, which is based on minimum energy duality, is compared with the proposed estimator by means of a numerical experiment on the benchmark batch reactor process.
 [32] arXiv:2101.05942 [pdf, ps, other]

Title: Soliton resolution for the Hirota equation with weighted Sobolev initial dataComments: 43 pagesSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph); Exactly Solvable and Integrable Systems (nlin.SI)
In this work, the $\overline{\partial}$ steepest descent method is employed to investigate the soliton resolution for the Hirota equation with the initial value belong to weighted Sobolev space $H^{1,1}(\mathbb{R})=\{f\in L^{2}(\mathbb{R}): f',xf\in L^{2}(\mathbb{R})\}$. The longtime asymptotic behavior of the solution $q(x,t)$ is derived in any fixed spacetime cone $C(x_{1},x_{2},v_{1},v_{2})=\left\{(x,t)\in \mathbb{R}\times\mathbb{R}: x=x_{0}+vt ~\text{with}~ x_{0}\in[x_{1},x_{2}]\right\}$. We show that solution resolution conjecture of the Hirota equation is characterized by the leading order term $\mathcal {O}(t^{1/2})$ in the continuous spectrum, $\mathcal {N}(\mathcal {I})$ soliton solutions in the discrete spectrum and error order $\mathcal {O}(t^{3/4})$ from the $\overline{\partial}$ equation.
 [33] arXiv:2101.05946 [pdf, other]

Title: A RiskSensitive Task Offloading Strategy for Edge Computing in Industrial Internet of ThingsComments: 17 pages, has been submitted to EURASIP JWCN, major revisionSubjects: Information Theory (cs.IT)
Edge computing has become one of the key enablers for ultrareliable and lowlatency communications in the industrial Internet of Things in the fifth generation communication systems, and is also a promising technology in the future sixth generation communication systems. In this work, we consider the application of edge computing to smart factories for missioncritical task offloading through wireless links. In such scenarios, although high endtoend delays from the generation to completion of tasks happen with low probability, they may incur severe casualties and property loss, and should be seriously treated. Inspired by the risk management theory widely used in finance, we adopt the Conditional Value at Risk to capture the tail of the delay distribution. An upper bound of the Conditional Value at Risk is derived through analysis of the queues both at the devices and the edge computing servers. We aim to find out the optimal offloading policy taking into consideration both the average and the worst case delay performance of the system. Given that the formulated optimization problem is a nonconvex mixed integer nonlinear programming problem, a decomposition into subproblems is performed and a twostage heuristic algorithm is proposed. Simulation results validate our analysis and indicate that the proposed algorithm can reduce the risk in both the queuing and endtoend delay.
 [34] arXiv:2101.05949 [pdf, other]

Title: Nondirected polymers in heavytail random environment in dimension $d\geq 2$Comments: 55 pages, 1 figureSubjects: Probability (math.PR)
In this article we study a \emph{nondirected} polymer model in dimension $d\ge 2$: we consider a simple symmetric random walk on $\mathbb{Z}^d$ which interacts with a random environment, represented by i.i.d. random variables $(\omega_x)_{x\in \mathbb{Z}^d}$. The model consists in modifying the law of the random walk up to time (or length) $N$ by the exponential of $\sum_{x\in \mathcal{R}_N}\beta (\omega_xh)$ where $\mathcal{R}_N$ is the range of the walk, \textit{i.e.} the set of visited sites up to time $N$, and $\beta\geq 0,\, h\in \mathbb{R}$ are two parameters. We study the behavior of the model in a weakcoupling regime, that is taking $\beta:=\beta_N$ vanishing as the length $N$ goes to infinity, and in the case where the random variables $\omega$ have a heavy tail with exponent $\alpha\in (0,d)$. We are able to obtain precisely the behavior of polymer trajectories under all possible weakcoupling regimes $\beta_N = \hat \beta N^{\gamma}$ with $\gamma \geq 0$: we find the correct transversal fluctuation exponent $\xi$ for the polymer (it depends on $\alpha$ and $\gamma$) and we give the limiting distribution of the rescaled logpartition function. This extends existing works to the nondirected case and to higher dimensions.
 [35] arXiv:2101.05958 [pdf, other]

Title: Stochastic Learning Approach to Binary Optimization for Optimal Design of ExperimentsComments: 34 pages, 12 figuresSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
We present a novel stochastic approach to binary optimization for optimal experimental design (OED) for Bayesian inverse problems governed by mathematical models such as partial differential equations. The OED utility function, namely, the regularized optimality criterion, is cast into a stochastic objective function in the form of an expectation over a multivariate Bernoulli distribution. The probabilistic objective is then solved by using a stochastic optimization routine to find an optimal observational policy. The proposed approach is analyzed from an optimization perspective and also from a machine learning perspective with correspondence to policy gradient reinforcement learning. The approach is demonstrated numerically by using an idealized twodimensional Bayesian linear inverse problem, and validated by extensive numerical experiments carried out for sensor placement in a parameter identification setup.
 [36] arXiv:2101.05966 [pdf, other]

Title: Mathematical theory for topological photonic materials in one dimensionSubjects: Mathematical Physics (mathph)
This work presents a rigorous theory for topological photonic materials in one dimension. The main focus is on the existence and stability of interface modes that are induced by topological properties of the bulk structure. For a general 1D photonic structure with timereversal symmetry, the associated Zak phase (or Berry phase) may not be quantized. We investigate the existence of an interface mode which is induced by a Dirac point upon perturbation. Specifically, we establish conditions on the perturbation which guarantee the opening of a band gap around the Dirac point and the existence of an interface mode. For a periodic photonic structure with both timereversal and inversion symmetry, the Zak phase is quantized, taking only two values $0, \pi$. We show that the Zak phase is determined by the parity (even or odd) of the Bloch modes at the band edges. For a photonic structure consisting of two semiinfinite systems on the two sides of an interface with distinct topological indices, we show the existence of an interface mode inside the common gap. The stability of the mode under perturbations is also investigated. Finally, we study resonances for finite topological structures. Our results are based on the transfer matrix method and the oscillation theory for SturmLiouville operators. The methods and results can be extended to general topological SturmLiouville systems in one dimension.
 [37] arXiv:2101.05981 [pdf, other]

Title: Local geometry of symplectic divisors with applications to contact torus bundlesComments: The appendix and part of Section 2.3 are moved here from arXiv:2002.10504Subjects: Symplectic Geometry (math.SG); Geometric Topology (math.GT)
In this note we study the contact geometry of symplectic divisors. We show the contact structure induced on the boundary of a divisor neighborhood is invariant under toric and interior blowups and blowdowns. We also construct an open book decomposition on the boundary of a concave divisor neighborhood and apply it to the study of universally tight contact structures of contact torus bundles.
 [38] arXiv:2101.05997 [pdf, ps, other]

Title: Solvability of parabolic Anderson equation with fractional Gaussian noiseSubjects: Probability (math.PR); Analysis of PDEs (math.AP)
This paper provides necessary as well as sufficient conditions on the Hurst parameters so that the continuous time parabolic Anderson model $\frac{\partial u}{\partial t}=\frac{1}{2}\frac{\partial^2 u}{\partial x^2}+u\dot{W}$ on $[0, \infty)\times {\bf R}^d $ with $d\geq 1$ has a unique random field solution, where $W(t, x)$ is a fractional Brownian sheet on $[0, \infty)\times {\bf R}^d$ and formally $\dot W =\frac{\partial^{d+1}}{\partial t \partial x_1 \cdots \partial x_d} W(t, x)$. When the noise $W(t, x)$ is white in time, our condition is both necessary and sufficient when the initial data $u(0, x)$ is bounded between two positive constants. When the noise is fractional in time with Hurst parameter $H_0>1/2$, our sufficient condition, which improves the known results in literature, is different from the necessary one.
 [39] arXiv:2101.05999 [pdf, ps, other]

Title: Span of the Jones polynomials of certain vadequate virtual linksComments: 7 pages, 7 figures. To appear in Journal of Knot Theory and Its RamificationsSubjects: Geometric Topology (math.GT)
It is known that the KauffmanMurasugiThislethwaite type inequality becomes an equality for any (possibly virtual) adequate link diagram. We refine this condition. As an application we obtain a criterion for virtual link diagram with exactly one virtual crossing to represent a properly virtual link.
 [40] arXiv:2101.06002 [pdf, ps, other]

Title: Necessary and sufficient conditions for $n$times Fréchet differentiability on ${\mathcal S}^p,$ $1 <p<\infty.$Subjects: Functional Analysis (math.FA)
Let $1<p<\infty$ and let $n\geq 1$. It is proved that a function $f:{\mathbb R}\to {\mathbb C}$ is $n$times Fr\'echet differentiable on ${\mathcal S}^p$ at every selfadjoint operator if and only if $f$ is $n$times differentiable, $f',f'',\ldots,f^{(n)}$ are bounded and $f^{(n)}$ is uniformly continuous.
 [41] arXiv:2101.06007 [pdf, other]

Title: Homogenization of elastodielectricsComments: preliminary versionSubjects: Analysis of PDEs (math.AP)
We investigate the PDE system resulting from even electromechanical coupling in elastomers. Assuming a periodic microstructure and a periodic distribution of microcharges of a prescribed order, we derive the homogenized system. The results depend crucially on periodicity (or adequate randomness) and on the type of microstructure under consideration. We also offer a possible path to electric enhancement if the charges are carefully tailored to the homogenized electric field.
 [42] arXiv:2101.06008 [pdf, other]

Title: The dynamics of coupled genetic incompatibilities in parapatrySubjects: Analysis of PDEs (math.AP)
In this paper, we explore the interaction between two genetic incompatibilities (underdominant loci in diploid organisms) in a population occupying a onedimensional space. We derive a partial differential equation system describing the dynamics of allele frequencies and linkage disequilibrium between the two loci, and use a quasi linkage equilibrium approximation in order to reduce the number of variables. We investigate the solutions of this system and demonstrate the existence of a solution in which the two clines in allele frequency remain sticked together. In the case of asymmetric incompatibilities (i.e., when one homozygote is favored over the other at each locus), these coupled clines move as a traveling wave. The two cases of interest (standing together and traveling together) are studied and results are established accordingly.
 [43] arXiv:2101.06009 [pdf, other]

Title: MomentSOS hierarchy and exit time of stochastic processesSubjects: Optimization and Control (math.OC)
The moment sum of squares (momentSOS) hierarchy produces sequences of upper and lower bounds on functionals of the exit time solution of a polynomial stochastic differential equation with polynomial constraints, at the price of solving semidefinite optimization problems of increasing size. In this note we use standard results from elliptic partial differential equation analysis to prove convergence of the bounds produced by the hierarchy. We also use elementary convex analysis to describe a super and subsolution interpretation dual to a linear formulation on occupation measures. The practical relevance of the hierarchy is illustrated with numerical examples.
 [44] arXiv:2101.06012 [pdf, ps, other]

Title: Dynamics of nonlinear hyperbolic equations of Kirchhoff typeSubjects: Analysis of PDEs (math.AP)
In this paper, we study the initial boundary value problem of the important hyperbolic Kirchhoff equation
$$u_{tt}\left(a \int_\Omega \nabla u^2 \dif x +b\right)\Delta u = \lambda u+ u^{p1}u
,$$
where $a$, $b>0$, $p>1$, $\lambda \in \mathbb{R}$ and the initial energy is arbitrarily large. We prove several new theorems on the dynamics such as the boundedness or finite time blowup of solution under the different range of $a$, $b$, $\lambda$ and the initial data for the following cases: (i) $1<p<3$, (ii) $p=3$ and $a>1/\Lambda$, (iii) $p=3$, $a \leq 1/\Lambda$ and $\lam <b\lam_1$, (iv) $p=3$, $a < 1/\Lambda$ and $\lam >b\lam_1$, (v) $p>3$ and $\lam\leq b\lam_1$, (vi) $p>3$ and $\lam> b\lam_1$, where $\lam_1 = \inf\left\{\\nabla u\^2_2 :~ u\in H^1_0(\Omega)\ {\rm and}\ \u\_2 =1\right\}$, and $\Lambda = \inf\left\{\\nabla u\^4_2 :~ u\in H^1_0(\Omega)\ {\rm and}\ \u\_4 =1\right\}$. Moreover, we prove the invariance of some stable and unstable sets of the solution for suitable $a$, $b$ and $\lam$, and give the sufficient conditions of initial data to generate a vacuum region of the solution. Due to the nonlocal effect caused by the nonlocal integrodifferential term, we show many interesting differences between the blowup phenomenon of the problem for $a>0$ and $a=0$.  [45] arXiv:2101.06024 [pdf, ps, other]

Title: A probabilistic representation for heat flow of harmonic map on manifolds with timedependent Riemannian metricSubjects: Probability (math.PR)
In this paper we will give a probabilistic representation for the heat flow of harmonic map with timedependent Riemannian metric via a forwardbackward stochastic differential equation on manifolds. Moreover, we can provide an alternative stochastic method for the proof of existence of a unique local solution for heat flow of harmonic map with timedependent Riemannian metric.
 [46] arXiv:2101.06026 [pdf, ps, other]

Title: Statistics on permutations with bounded drop sizeSubjects: Combinatorics (math.CO)
Permutations with bounded drop size, which we also call bounded permutations, was introduced by Chung, Claesson, Dukes and Graham. Petersen introduced a new Mahonian statistic the sorting index, which is denoted by $\sor$. Meanwhile, Wilson introduced the statistic $\DIS$, which turns out to satisfy that
$\sor(\sigma)=\DIS(\sigma^{1})$ for any permutation $\sigma$. In this paper, we maintain Petersen's method to deduce the generating functions of $(\inv, \lmax)$ and $(\DIS, \cyc)$ over bounded permutations to show their equidistribution. Moreover, the generating function of $\des$ over $213$avoiding bounded permutations and some related equidistributions are given as well.  [47] arXiv:2101.06027 [pdf, ps, other]

Title: Behavior of Totally Positive Differential Systems Near a Periodic SolutionSubjects: Dynamical Systems (math.DS)
A timevarying nonlinear dynamical system is called a totally positive differential system (TPDS) if its Jacobian admits a special sign pattern: it is tridiagonal with positive entries on the super and subdiagonals. If the vector field of a TPDS is Tperiodic then every bounded trajectory converges to a Tperiodic solution. In particular, when the vector field is timeinvariant every bounded trajectory of a TPDS converges to an equlbrium. Here, we use the spectral theory of oscillatory matrices to analyze the behavior near a periodic solution of a TPDS. This yields information on the perturbation directions that lead to the fastest and slowest convergence to or divergence from the periodic solution. We demonstrate the theoretical results using a model from systems biology called the ribosome flow model.
 [48] arXiv:2101.06031 [pdf, other]

Title: MFG model with a longlived penalty at random jump times: application to demand side management for electricity contractsSubjects: Optimization and Control (math.OC)
We consider an energy system with $n$ consumers who are linked by a Demand Side Management (DSM) contract, i.e. they agreed to diminish, at random times, their aggregated power consumption by a predefined volume during a predefined duration. Their failure to deliver the service is penalised via the difference between the sum of the $n$ power consumptions and the contracted target. We are led to analyse a nonzero sum stochastic game with $n$ players, where the interaction takes place through a cost which involves a delay induced by the duration included in the DSM contract. When $n \to \infty$, we obtain a MeanField Game (MFG) with random jump time penalty and interaction on the control. We prove a stochastic maximum principle in this context, which allows to compare the MFG solution to the optimal strategy of a central planner. In a linear quadratic setting we obtain an semiexplicit solution through a system of decoupled forwardbackward stochastic differential equations with jumps, involving a Riccati Backward SDE with jumps. We show that it provides an approximate Nash equilibrium for the original $n$player game for $n$ large. Finally, we propose a numerical algorithm to compute the MFG equilibrium and present several numerical experiments.
 [49] arXiv:2101.06033 [pdf, ps, other]

Title: Improved RankModulation Codes for DNA Storage with Shotgun SequencingSubjects: Information Theory (cs.IT); Combinatorics (math.CO)
We study permutations over the set of $\ell$grams, that are feasible in the sense that there is a sequence whose $\ell$gram frequency has the same ranking as the permutation. Codes, which are sets of feasible permutations, protect information stored in DNA molecules using the rankmodulation scheme, and read using the shotgun sequencing technique. We construct systematic codes with an efficient encoding algorithm, and show that they are optimal in size. The length of the DNA sequences that correspond to the codewords is shown to be polynomial in the code parameters. Nonsystematic with larger size are also constructed.
 [50] arXiv:2101.06038 [pdf, ps, other]

Title: Spectral representations of characteristic functions of discrete probability lawsSubjects: Probability (math.PR)
We consider discrete probability laws on the real line, whose characteristic functions are separated from zero. In particular, this class includes arbitrary discrete infinitely divisible laws and lattice probability laws, whose characteristic functions have no zeroes on the real line. We show that characteristic functions of such laws admit spectral L\'evyKhinchine type representations. We also apply the representations of such laws to obtain limit and compactness theorems with convergence in variation to probability laws from this class. Thus we generalize the corresponding results from the recent papers by Lindner, Pan, Sato, and by Khartov.
 [51] arXiv:2101.06041 [pdf, ps, other]

Title: BriotBouquet differential subordination and Bernardi's integral operatorSubjects: Complex Variables (math.CV)
The conditions on $A$, $B$, $\beta$ and $\gamma$ are obtained for an analytic function $p$ defined on the open unit disc $\mathbb{D}$ and normalized by $p(0)=1$ to be subordinate to $(1+Az)/(1+Bz)$, $1\leq B<A \leq 1$ when $p(z)+ zp'(z)/(\beta p(z)+\gamma)$ is subordinate to $e^{z}$. The conditions on these parameters are derived for the function $p$ to be subordinate to $\sqrt{1+z}$ or $e^{z}$ when $p(z)+ zp'(z)/(\beta p(z)+\gamma)$ is subordinate to $(1+Az)/(1+Bz)$. The conditions on $\beta$ and $\gamma$ are determined for the function $p$ to be subordinate to $e^{z}$ when $p(z)+ zp'(z)/(\beta p(z)+\gamma)$ is subordinate to $\sqrt{1+z}$. Related result for the function $p(z)+ zp'(z)/(\beta p(z)+\gamma)$ to be in the parabolic region bounded by the $\operatorname{Re} w=w1$ is investigated. Sufficient conditions for the Bernardi's integral operator to belong to the various subclasses of starlike functions are obtained as applications
 [52] arXiv:2101.06042 [pdf, ps, other]

Title: On the stability and convergence of Mann iteration process in convex A metric spacesAuthors: Isa YildirimComments: arXiv admin note: text overlap with arXiv:1911.04867Subjects: General Topology (math.GN)
In this paper, firstly, we introduce the concept of convexity in Ametric spaces and show that Mann iteration process converges to the unique fixed point of Zamfirescu type contractions in this newly defined convex Ametric space. Secondly, we define the concept of stability in convex Ametric spaces and establish stability result for the Mann iteration process considered in such spaces. Our results carry some wellknown results from the literature to convex Ametric spaces.
 [53] arXiv:2101.06045 [pdf, other]

Title: Geometric Properties of Generalized Bessel Function associated with the Exponential FunctionSubjects: Complex Variables (math.CV)
Sufficient conditions are determined on the parameters such that the generalized and normalized Bessel function of the first kind and other related functions belong to subclasses of starlike and convex functions defined in the unit disk associated with the exponential mapping. Several differential subordination implications are derived for analytic functions involving Bessel function and the operator introduced by Baricz \emph{et al.} [Differential subordinations involving generalized Bessel functions, Bull. Malays. Math. Sci. Soc. {\bf 38} (2015), no.~3, 12551280]. These results are obtained by constructing suitable class of admissible functions. Examples involving trigonometric and hyperbolic functions are provided to illustrate the obtained results.
 [54] arXiv:2101.06059 [pdf, ps, other]

Title: Best approximations, distance formulas and orthogonality in C*algebrasComments: To appear in Journal of the Ramanujan Mathematical SocietySubjects: Operator Algebras (math.OA); Functional Analysis (math.FA)
For a unital $C^*$algebra $\mathcal A$ and a subspace $\mathcal B$ of $\mathcal A$, a characterization for a best approximation to an element of $\mathcal A$ in $\mathcal B$ is obtained. As an application, a formula for the distance of an element of $\mathcal A$ from $\mathcal B$ has been obtained, when a best approximation of that element to $\mathcal B$ exists. Further, a characterization for BirkhoffJames orthogonality of an element of a Hilbert $C^*$module to a subspace is obtained.
 [55] arXiv:2101.06063 [pdf, other]

Title: Minkowski Inequality on Asymptotically Conical manifoldsSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
In this paper we consider Asymptotically Conical Riemannian manifolds $(M,g)$ of dimension $n\geq 3$ with nonnegative Ricci curvature. For every open bounded subset $\Omega\subseteq M$ with smooth boundary we prove that \begin{equation} \left(\frac{\vert{\partial \Omega^*}\vert}{\vert{\mathbb{S}^{n1}}\vert}\right)^{\!\frac{n2}{n1}}\mathrm{AVR}(g)^{\frac{1}{n1}}\leq \frac{1}{\vert{\mathbb{S}^{n1}}\vert}\int\limits_{\partial \Omega} \left\vert{ \frac{\mathrm{H}}{n1}} \right\vert\,\mathrm{d} \sigma , \end{equation} where $\mathrm{H}$ is the mean curvature of $\partial \Omega$, $\mathrm{AVR}(g)$ is the asymptotic volume ratio of $(M,g)$ and $\Omega^*$ is the strictly outward minimising hull of $\Omega$.
 [56] arXiv:2101.06064 [pdf, ps, other]

Title: On the $A_\infty$ condition for elliptic operators in 1sided NTA domains satisfying the capacity density conditionComments: arXiv admin note: text overlap with arXiv:1901.08261Subjects: Classical Analysis and ODEs (math.CA); Analysis of PDEs (math.AP)
Let $\Omega \subset \mathbb{R}^{n+1}$, $n\ge 2$, be a 1sided nontangentially accessible domain (i.e., quantitatively open and pathconnected) satisfiying the capacity density condition. Let $L_0 u=\mathrm{div}(A_0 \nabla u)$, $Lu=\mathrm{div}(A\nabla u)$ be two real uniformly elliptic operators in $\Omega$, with $\omega_{L_0}, \omega_L$ the associated elliptic measures. We establish the equivalence between the following properties: (i) $\omega_L \in A_{\infty}(\omega_{L_0})$, (ii) $L$ is $L^p(\omega_{L_0})$solvable for some $p\in (1,\infty)$, (iii) bounded null solutions of $L$ satisfy Carleson measure estimates with respect to $\omega_{L_0}$, (iv) the conical square function is controlled by the nontangential maximal function in $L^q(\omega_{L_0})$ for some (or for all) $q\in (0,\infty)$ for any null solution of $L$, and (v) $L$ is $\mathrm{BMO}(\omega_{L_0})$solvable. Moreover, in each of the properties (ii)(v) it is enough to consider the class of solutions $u(X)=\omega_L^X(S)$ with arbitrary Borel sets $S\subset\partial\Omega$.
Also, we characterize the absolute continuity of $\omega_{L_0}$ with respect to $\omega_L$ in terms of some qualitative local $L^2(\omega_{L_0})$ estimates for the truncated conical square function for any bounded null solution of $L$. This is also equivalent to the finiteness $\omega_{L_0}$a.e. of the truncated conical square function for any bounded null solution of $L$. As applications, we show that $\omega_{L_0}\ll\omega_L$ if the disagreement of the coefficients satisfies some qualitative quadratic estimate in truncated cones for $\omega_{L_0}$a.e. vertex. Finally, when $L_0$ is either the transpose of $L$ or its symmetric part, we obtain the corresponding absolute continuity when the antisymmetric part of the coefficients has some controlled oscillation in truncated cones for $\omega_{L_0}$a.e. vertex.  [57] arXiv:2101.06080 [pdf, ps, other]

Title: Ergodicity and totality of partitions associated with the RSK correspondenceComments: 12 pp.11 RefSubjects: Combinatorics (math.CO)
We study asymptotic properties of sequences of partitions ($\sigma$\nobreakdashalgebras) in spaces with Bernoulli measures associated with the RobinsonSchenstedKnuth correspondence.
 [58] arXiv:2101.06082 [pdf, ps, other]

Title: Bernoulli hyperedge percolation on ZdAuthors: Yinshan ChangSubjects: Probability (math.PR)
We consider Bernoulli hyperedge percolation on $\mathbb{Z}^d$. This model is a generalization of Bernoulli bond percolation. An edge connects exactly two vertices and a hyperedge connects more than two vertices. As in the classical Bernoulli bond percolation, we open hyperedges independently in a homogeneous manner with certain probabilities parameterized by a parameter $u\in[0,1]$. We discuss conditions for nontrivial phase transitions when $u$ varies. We discuss the conditions for the uniqueness of the infinite cluster. Also, we provide conditions under which the GrimmettMarstrand type theorem holds in the supercritical regime.
 [59] arXiv:2101.06093 [pdf, ps, other]

Title: Katugampola fractional integral and fractal dimension of bivariate functionsComments: 19 pages, 2 figures. This work is a part of the Ph.D. thesis of the first author submitted to IIT Delhi. The thesis is defended successfully in October 2020. This paper is submitted to a journal for possible publicationSubjects: Classical Analysis and ODEs (math.CA); Dynamical Systems (math.DS)
The subject of this note is the mixed Katugampola fractional integral of a bivariate function defined on a rectangular region in the Cartesian plane. This is a natural extension of the Katugampola fractional integral of a univariate function  a concept wellreceived in the recent literature on fractional calculus and its applications. It is shown that the mixed Katugampola fractional integral of a prescribed bivariate function preserves properties such as boundedness, continuity and bounded variation of the function. Furthermore, we estimate fractal dimension of the graph of the mixed Katugampola integral of a continuous bivariate function. Some examples for bivariate functions that are not of bounded variation but with graphs having box dimension $2$ are constructed. The findings in the current note may be viewed as a sequel to our work reported in [Appl. Math. Comp., 339, 2018, pp. 220230].
 [60] arXiv:2101.06095 [pdf, ps, other]

Title: Regular parallelisms on PG(3,R) admitting a 2torus actionComments: 2 figuresSubjects: Geometric Topology (math.GT)
A regular parallelism of real projective 3space PG(3,R) is an equivalence relation on the line space such that every class is equivalent to the set of 1dimensional complex subspaces of a 2dimensional complex vector space. We shall assume that the set of classes is compact, and characterize those regular parallelisms that admit an action of a 2dimensional torus group. We prove that there is a onedimensional subtorus fixing every parallel class. From this property alone we deduce that the parallelism is a 2 or 3dimensional regular parallelism in the sense of Betten and Riesinger. If a 2torus acts, then the parallelism can be described using a socalled generalized line star which admits a 1torus action. We also study examples of such parallelisms by constructing generalized line stars. In particular, we prove a claim which was presented by Betten and Riesinger with an incorrect proof. The present article continues a series of papers by the first author on parallelisms with large groups.
 [61] arXiv:2101.06103 [pdf, ps, other]

Title: Is the ChenSbert Divergence a Metric?Subjects: Information Theory (cs.IT)
Recently, Chen and Sbert proposed a general divergence measure. This report presents some interim findings about the question whether the divergence measure is a metric or not. It has been postulated that (i) the measure might be a metric when (0 < k <= 1), and (ii) the kth root of the measure might be a metric when (k > 1). The report shows that for a 2letter alphabet, postulation (i) can be proved. The possible pathway for obtaining a proof for (i) in nletter cases is also discussed. The authors hope that the report may stimulate more scholarly effort to study the mathematical properties of this divergence measure.
 [62] arXiv:2101.06107 [pdf, ps, other]

Title: Complete Proof of the Collatz ConjectureAuthors: Farzali IzadiComments: 5 pagesSubjects: General Mathematics (math.GM)
The \textit{Collatz's conjecture} is an unsolved problem in mathematics. It is named after Lothar Collatz in 1973. The conjecture also known as Syrucuse conjecture or problem \cite{Jef1, Jef2, Jef3}. Take any positive integer $ n $. If $ n $ is even then divide it by $ 2 $, else do "triple plus one" and get $ 3n+1 $. The conjecture is that for all numbers, this process converges to one. In the modular arithmetic notation, define a function $ f $ as follows: \[f(x)= \left\{ \begin{array}{lll} \frac{n}{2} &if & n\equiv 0 \pmod 2\\ 3n+1& if& n\equiv 1 \pmod 2. \end{array}\right. \]
 [63] arXiv:2101.06118 [pdf, ps, other]

Title: Equivalence between limit theorems for lattice groupvalued ktriangular set functionsSubjects: Functional Analysis (math.FA)
We investigate some main properties of lattice groupvalued ktriangular set functions and prove some BrooksJewett, Nikodym, VitaliHahnSaks and Schurtype theorems and their equivalence. A Drewnowskitype theorem on existence of continuous restrictions of (s)bounded set functions is given.
 [64] arXiv:2101.06127 [pdf, ps, other]

Title: Dependable Distributed Nonconvex Optimization via Polynomial ApproximationSubjects: Optimization and Control (math.OC)
There has been work on exploiting polynomial approximation to solve distributed nonconvex optimization problems. This idea facilitates arbitrarily precise global optimization without requiring local evaluations of gradients at every iteration. Nonetheless, there remains a gap between existing theoretical guarantees and diverse practical requirements for dependability, including privacy preservation and robustness to network imperfections (e.g., timevarying directed communication, asynchrony and packet drops). To fill this gap and keep the above strengths, we propose a Dependable ChebyshevProxybased distributed Optimization Algorithm (DCPOA). Specifically, to ensure both accuracy of solutions and privacy preservation of local objective functions, a new privacypreserving mechanism is designed. This mechanism leverages the randomness in blockwise insertions of perturbed data and separate subtractions of added noises, and its effects are thoroughly analyzed through ($\alpha,\beta$)dataprivacy. In addition, to gain robustness to various network imperfections, we use the pushsum consensus protocol as a backbone, discuss its specific enhancements, and evaluate the performance of the proposed algorithm accordingly. Thanks to the linear consensusbased structure of iterations, we avoid the privacyaccuracy tradeoff and the bother of selecting appropriate stepsizes in different settings. We provide rigorous treatments of the accuracy, dependability and complexity. It is shown that the advantages brought by the idea of polynomial approximation are perfectly maintained when all the above challenging requirements exist. Simulations demonstrate the efficacy of the developed algorithm.
 [65] arXiv:2101.06129 [pdf, other]

Title: Let's Share VMs: Optimal Placement and Pricing across Base Stations in MEC SystemsComments: Accepted at IEEE INFOCOM 2021  IEEE Conference on Computer CommunicationsSubjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI); Systems and Control (eess.SY)
In mobile edge computing (MEC) systems, users offload computationally intensive tasks to edge servers at base stations. However, with unequal demand across the network, there might be excess demand at some locations and underutilized resources at other locations. To address such loadunbalanced problem in MEC systems, in this paper we propose virtual machines (VMs) sharing across base stations. Specifically, we consider the joint VM placement and pricing problem across base stations to match demand and supply and maximize revenue at the network level. To make this problem tractable, we decompose it into master and slave problems. For the placement master problem, we propose a Markov approximation algorithm MAP on the design of a continuous time Markov chain. As for the pricing slave problem, we propose OPA  an optimal VM pricing auction, where all users are truthful. Furthermore, given users' potential untruthful behaviors, we propose an incentive compatible auction iCAT along with a partitioning mechanism PUFF, for which we prove incentive compatibility and revenue guarantees. Finally, we combine MAP and OPA or PUFF to solve the original problem, and analyze the optimality gap. Simulation results show that collaborative base stations increases revenue by up to 50%.
 [66] arXiv:2101.06130 [pdf, other]

Title: Random and quasirandom designs in group testingSubjects: Statistics Theory (math.ST); Combinatorics (math.CO)
For large classes of group testing problems, we derive lower bounds for the probability that all significant factors are uniquely identified using specially constructed random designs. These bounds allow us to optimize parameters of the randomization schemes. We also suggest and numerically justify a procedure of construction of designs with better separability properties than pure random designs. We illustrate theoretical consideration with large simulationbased study. This study indicates, in particular, that in the case of the common binary group testing, the suggested families of designs have better separability than the popular designs constructed from the disjunct matrices.
 [67] arXiv:2101.06132 [pdf, other]

Title: A characterization of wreath products where knapsack is decidableSubjects: Group Theory (math.GR)
The knapsack problem for groups was introduced by Miasnikov, Nikolaev, and Ushakov. It is defined for each finitely generated group $G$ and takes as input group elements $g_1,\ldots,g_n,g\in G$ and asks whether there are $x_1,\ldots,x_n\ge 0$ with $g_1^{x_1}\cdots g_n^{x_n}=g$. We study the knapsack problem for wreath products $G\wr H$ of groups $G$ and $H$. Our main result is a characterization of those wreath products $G\wr H$ for which the knapsack problem is decidable. The characterization is in terms of decidability properties of the indiviual factors $G$ and $H$. To this end, we introduce two decision problems, the intersection knapsack problem and its restriction, the positive intersection knapsack problem. Moreover, we apply our main result to $H_3(\mathbb{Z})$, the discrete Heisenberg group, and to BaumslagSolitar groups $\mathsf{BS}(1,q)$ for $q\ge 1$. First, we show that the knapsack problem is undecidable for $G\wr H_3(\mathbb{Z})$ for any $G\ne 1$. This implies that for $G\ne 1$ and for infinite and virtually nilpotent groups $H$, the knapsack problem for $G\wr H$ is decidable if and only if $H$ is virtually abelian and solvability of systems of exponent equations is decidable for $G$. Second, we show that the knapsack problem is decidable for $G\wr\mathsf{BS}(1,q)$ if and only if solvability of systems of exponent equations is decidable for $G$.
 [68] arXiv:2101.06140 [pdf, ps, other]

Title: Causal Variational Principles in the InfiniteDimensional Setting: Existence of MinimizersAuthors: Christoph LangerComments: 46 pagesSubjects: Mathematical Physics (mathph); Classical Analysis and ODEs (math.CA)
We provide a method for constructing (possibly nontrivial) measures on nonlocally compact Polish subspaces of infinitedimensional separable Banach spaces which, under suitable assumptions, are minimizers of causal variational principles in the nonlocally compact setting. Moreover, for nontrivial minimizers the corresponding EulerLagrange equations are derived. The method is to exhaust the underlying Banach space by finitedimensional subspaces and to prove existence of minimizers of the causal variational principle restricted to these finitedimensional subsets of the Polish space under suitable assumptions on the Lagrangian. This gives rise to a corresponding sequence of minimizers. Restricting the resulting sequence to countably many compact subsets of the Polish space, by considering the resulting diagonal sequence we are able to construct a regular measure on the Borel algebra over the whole topological space.
For continuous Lagrangians of bounded range it can be shown that, under suitable assumptions, the obtained measure is a (possibly nontrivial) minimizer under variations of compact support. Under additional assumptions, we prove that the constructed measure is a minimizer under variations of finite volume and solves the corresponding EulerLagrange equations. Afterwards, we extend our results to continuous Lagrangians vanishing in entropy. Finally, assuming that the obtained measure is locally finite, topological properties of spacetime are worked out and a connection to dimension theory is established.  [69] arXiv:2101.06142 [pdf, ps, other]

Title: Meanstable surfaces in Static EinsteinMaxwell theorySubjects: Differential Geometry (math.DG)
In this paper we use the theory of meanstable surfaces (stable minimal surfaces included) to explore the static EinsteinMaxwell spacetime. We first prove that the zero set of the lapse function must be contained in the horizon boundary. Then, we explore some implications of it providing a rigidity result and a result of nonexistence of stable minimal surfaces for a static extension subject to a certain boundary data. We finish by proving that the ADM mass is bounded from above by the Hawking quasilocal mass.
 [70] arXiv:2101.06152 [pdf, other]

Title: Proximal or gradient steps for cocoercive operatorsComments: 19 pages, 15 figuresSubjects: Optimization and Control (math.OC)
This paper provides a theoretical and numerical comparison of classical first order splitting methods for solving smooth convex optimization problems and cocoercive equations. In a theoretical point of view, we compare convergence rates of gradient descent, forwardbackward, PeacemanRachford, and DouglasRachford algorithms for minimizing the sum of two smooth convex functions when one of them is strongly convex. A similar comparison is given in the more general cocoercive setting under the presence of strong monotonicity and we observe that the convergence rates in optimization are strictly better than the corresponding rates for cocoercive equations for some algorithms. We obtain improved rates with respect to the literature in several instances exploiting the structure of our problems. In a numerical point of view, we verify our theoretical results by implementing and comparing previous algorithms in well established signal and image inverse problems involving sparsity. We replace the widely used $\ell_1$ norm by the Huber loss and we observe that fully proximalbased strategies have numerical and theoretical advantages with respect to methods using gradient steps. In particular, PeacemanRachford is the more performant algorithm in our examples.
 [71] arXiv:2101.06153 [pdf, ps, other]

Title: Towers of Looijenga pairs and asymptotics of ECH capacitiesAuthors: Ben WormleightonComments: 21 pages, 4 figures; comments very welcome!Subjects: Symplectic Geometry (math.SG); Algebraic Geometry (math.AG)
ECH capacities are rich obstructions to symplectic embeddings in 4dimensions that have also been seen to arise in the context of algebraic positivity for (possibly singular) projective surfaces. We extend this connection to relate general convex toric domains on the symplectic side with towers of polarised toric surfaces on the algebraic side, and then use this perspective to show that the subleading asymptotics of ECH capacities for all convex and concave toric domains are $O(1)$. We obtain sufficient criteria for when the subleading asymptotics converge in this context, generalising results of Hutchings and of the author, and derive new obstructions to embeddings between toric domains of the same volume. We also propose two invariants to more precisely describe when convergence occurs in the toric case. Our methods are largely nontoric in nature, and apply more widely to towers of polarised Looijenga pairs.
 [72] arXiv:2101.06157 [pdf, ps, other]

Title: The complexity of intersecting subproducts with subgroups in Cartesian powersAuthors: Pim SpelierComments: 10 pagesSubjects: Group Theory (math.GR)
Given a finite abelian group $G$ and a natural number $t$, there are two natural substructures of the Cartesian power $G^t$; namely, $S^t$ where $S$ is a subset of $G$, and $x+H$ a coset of a subgroup $H$ of $G^t$. A natural question is whether two such different structures have nonempty intersection. This turns out to be an NPcomplete problem. If we fix $G$ and $S$, then the problem is in $P$ if $S$ is a coset in $G$ or if $S$ is empty, and NPcomplete otherwise; if we restrict to intersecting powers of $S$ with subgroups, the problem is in $P$ if $\bigcap_{n\in\mathbb{Z} \mid nS \subset S} nS$ is a coset or empty, and NPcomplete otherwise. These theorems have applications in the article [Spe21], where they are used as a stepping stone between a purely combinatorial and a purely algebraic problem.
 [73] arXiv:2101.06163 [pdf, ps, other]

Title: An elementary proof for a generalization of a Pohst's inequalityComments: 9 pagesSubjects: Number Theory (math.NT); Combinatorics (math.CO)
Let $P_n(y_1,\ldots,y_n):= \prod_{1\leq i<j\leq n}\left( 1 \frac{y_i}{y_j}\right) $ and $P_n:= \sup_{(y_1,\ldots,y_n)}P_n(y_1,\ldots,y_n) $ where the supremum is taken over the $n$ples $(y_1,\ldots,y_n)$ of real numbers satisfying $0 <y_1 < y_2< \cdots < y_n$. We prove that $P_n \leq 2^{\lfloor n/2\rfloor}$ for every $n$, i.e., we extend to all $n$ the bound that Pohst proved for $n\leq 11$. As a consequence, the bound for the absolute discriminant of a totally real field in terms of its regulator is now proved for every degree of the field.
 [74] arXiv:2101.06165 [pdf, ps, other]

Title: The complexity of rootfinding in ordersAuthors: Pim SpelierComments: 22 pagesSubjects: Rings and Algebras (math.RA); Number Theory (math.NT)
Given an order, a fundamental problem is deciding whether a univariate polynomial has a zero. It is a special case of deciding whether $\text{Hom}(A,B)$ is nonempty for two orders $A$ and $B$. For fixed separable orders, deciding whether a polynomial has a zero is in $P$. If we instead fix a separable polynomial, the problem is NPcomplete with probability $1$. We provide several theorems about NPcompleteness, culminating into a complete classification of the problem for quadratic and cubic polynomials. A main ingredient is a new type of algebraic NPcomplete grouptheoretic problems, as seen in [Spe21].
 [75] arXiv:2101.06176 [pdf, ps, other]

Title: The $Q$shaped derived category of a ringComments: 43 pagesSubjects: Representation Theory (math.RT); Category Theory (math.CT)
For any ring $A$ and a small, preadditive, Homfinite, and locally bounded category $Q$ that has a Serre functor and satisfies the (strong) retraction property, we show that the category of additive functors from $Q$ to the category of (left) $A$modules has a projective and an injective model structure. These model structures have the same trivial objects and weak equivalences, which in most cases can be naturally characterized in terms of certain (co)homology functors introduced in this paper. The associated homotopy category, which is triangulated, is called the $Q$shaped derived category of $A$. The usual derived category of $A$ is one example; more general examples arise by taking $Q$ to be the mesh category of a suitably nice stable translation quiver. This paper builds upon, and generalizes, works of Enochs, Estrada, and GarciaRozas and of Dell'Ambrogio, Stevenson, and Stovicek.
 [76] arXiv:2101.06180 [pdf, ps, other]

Title: Expressing graphs as symmetric differences of cliques of the complete graphSubjects: Combinatorics (math.CO)
Any finite simple graph $G = (V,E)$ can be represented by a collection $\mathscr{C}$ of subsets of $V$ such that $uv\in E$ if and only if $u$ and $v$ appear together in an odd number of sets in $\mathscr{C}$. Let $\operatorname{c_2}(G)$ denote the minimum cardinality of such a collection. This invariant is closely connected to the minimum rank of $G$. We show that $\operatorname{c_2}(G)=\operatorname{mr}(G,\mathbb{F}_2)$ when $\operatorname{mr}(G,\mathbb{F}_2)$ is odd, and $\operatorname{mr}(G,\mathbb{F}_2)\leq \operatorname{c_2}(G)\leq \operatorname{mr}(G,\mathbb{F}_2)+1$ otherwise. If $G$ is a forest, we show that $\operatorname{c_2}(G)=\operatorname{mr}(G,\mathbb{F})$ for any field $\mathbb{F}$. Furthermore, we exhibit a set of upper bounds on $\operatorname{c_2}(G)$. Finally, we show that the graph property $\operatorname{c_2}(G)\leq k$ is hereditary and finitely defined. We exhibit the sets of minimal forbidden induced subgraphs for $k=1$ and $k=2$.
 [77] arXiv:2101.06182 [pdf, other]

Title: STENCILNET: Datadriven solutionadaptive discretization of partial differential equationsAuthors: Suryanarayana Maddu, Dominik Sturm, Bevan L. Cheeseman, Christian L. Müller, Ivo F. SbalzariniSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG)
Numerical methods for approximately solving partial differential equations (PDE) are at the core of scientific computing. Often, this requires highresolution or adaptive discretization grids to capture relevant spatiotemporal features in the PDE solution, e.g., in applications like turbulence, combustion, and shock propagation. Numerical approximation also requires knowing the PDE in order to construct problemspecific discretizations. Systematically deriving such solutionadaptive discrete operators, however, is a current challenge. Here we present STENCILNET, an artificial neural network architecture for datadriven learning of problem and resolutionspecific local discretizations of nonlinear PDEs. STENCILNET achieves numerically stable discretization of the operators in an unknown nonlinear PDE by spatially and temporally adaptive parametric pooling on regular Cartesian grids, and by incorporating knowledge about discrete time integration. Knowing the actual PDE is not necessary, as solution data is sufficient to train the network to learn the discrete operators. A oncetrained STENCILNET model can be used to predict solutions of the PDE on larger spatial domains and for longer times than it was trained for, hence addressing the problem of PDEconstrained extrapolation from data. To support this claim, we present numerical experiments on longterm forecasting of chaotic PDE solutions on coarse spatiotemporal grids. We also quantify the speedup achieved by substituting baseline numerical methods with equationfree STENCILNET predictions on coarser grids with little compromise on accuracy.
 [78] arXiv:2101.06183 [pdf, ps, other]

Title: Asymptotic results for families of power series distributionsSubjects: Probability (math.PR)
In this paper we consider suitable families of power series distributed random variables, and we study their asymptotic behaviour in the fashion of large (and moderate) deviations. A suitable modification of the basic model is also investigated. The results for both models allow to apply our results to some fractional point processes in the literature.
 [79] arXiv:2101.06191 [pdf, ps, other]

Title: Hamiltonian structures for integrable nonabelian difference equationsComments: 58 pagesSubjects: Mathematical Physics (mathph); Rings and Algebras (math.RA); Exactly Solvable and Integrable Systems (nlin.SI)
In this paper we extensively study the notion of Hamiltonian structure for nonabelian differentialdifference systems, exploring the link between the different algebraic (in terms of double Poisson algebras and vertex algebras) and geometric (in terms of nonabelian Poisson bivectors) definitions. We introduce multiplicative double Poisson vertex algebras (PVAs) as the suitable noncommutative counterpart to multiplicative PVAs, used to describe Hamiltonian differentialdifference equations in the commutative setting, and prove that these algebras are in onetoone correspondence with the Poisson structures defined by difference operators, providing a sufficient condition for the fulfilment of the Jacobi identity. Moreover, we define nonabelian polyvector fields and their Schouten brackets, for both finitely generated noncommutative algebras and infinitely generated difference ones: this allows us to provide a unified characterisation of Poisson bivectors and double quasiPoisson algebra structures. Finally, as an application we obtain some results towards the classification of local scalar Hamiltonian difference structures and construct the Hamiltonian structures for the nonabelian Kaup, AblowitzLadik and ChenLeeLiu integrable lattices.
 [80] arXiv:2101.06193 [pdf]

Title: A Proposed Lean Distribution System for Solar Power Plants Using Mathematical Modeling and Simulation TechniqueComments: Submitted to IEEESubjects: Optimization and Control (math.OC)
Today, power waste is one of the most crucial problems which power stations across the world are facing. One of the recent trends of the energy system is the lean management technique. When lean management is indicated by the system, customer value is increased and the waste process in industry or in a power station is reduced. In this paper, first of all, we propose mathematical modeling to reduce the cost of production, and then the simulation technique applies to electricity transmission distribution systems. Furthermore, we consider two criteria for comparison including the different costs of the system and the rate of energy waste during the transmission. The primary approach is to use both of the models in order to draw a comparison between simulation results and mathematical models. Finally, the analysis of the test results done by the CPLEX toolbox of MATLAB Software 2019 leads to a remarkable decrease in the costs of energy demand in the electricity transmitting network distribution system.
 [81] arXiv:2101.06201 [pdf, other]

Title: Solving one variable word equations in the free group in cubic timeComments: 52 pages, accepted to STACS 2021Subjects: Group Theory (math.GR); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Formal Languages and Automata Theory (cs.FL)
A word equation with one variable in a free group is given as $U = V$, where both $U$ and $V$ are words over the alphabet of generators of the free group and $X, X^{1}$, for a fixed variable $X$. An element of the free group is a solution when substituting it for $X$ yields a true equality (interpreted in the free group) of left and righthand sides. It is known that the set of all solutions of a given word equation with one variable is a finite union of sets of the form $\{\alpha w^i \beta \: : \: i \in \mathbb Z \}$, where $\alpha, w, \beta$ are reduced words over the alphabet of generators, and a polynomialtime algorithm (of a high degree) computing this set is known. We provide a cubic time algorithm for this problem, which also shows that the set of solutions consists of at most a quadratic number of the abovementioned sets. The algorithm uses only simple tools of word combinatorics and group theory and is simple to state. Its analysis is involved and focuses on the combinatorics of occurrences of powers of a word within a larger word.
 [82] arXiv:2101.06202 [pdf, ps, other]

Title: Average Cyclicity for Elliptic Curves in Torsion FamiliesAuthors: Luke FredericksComments: 16 pagesSubjects: Number Theory (math.NT)
We prove asymptotic formulas for cyclicity of reductions of elliptic curves over the rationals in a family of curves having specified torsion. These results agree with established conditional results and with average results taken over larger families. As a key tool, we prove an analogue of a result of Vl\u{a}du\c{t} that estimates the number of elliptic curves over a finite field with a specified torsion point and cyclic group structure.
 [83] arXiv:2101.06205 [pdf, ps, other]

Title: Maximum principle for stochastic control of SDEs with measurable driftsSubjects: Optimization and Control (math.OC)
In this paper, we consider stochastic optimal control of systems driven by stochastic differential equations with irregular drift coefficient. We establish a necessary and sufficient stochastic maximum principle. To achieve this, we first derive an explicit representation of the first variation process (in Sobolev sense ) of the controlled diffusion. Since the drift coefficient is not smooth, the representation is given in terms of the local time of the state process. Then we construct a sequence of optimal control problems with smooth coefficients by an approximation argument. Finally, we use Ekeland's variational principle to obtain an approximating adjoint process from which we derive the maximum principle by passing to the limit.
 [84] arXiv:2101.06207 [pdf, ps, other]

Title: Renewal Contact Processes: phase transition and survivalComments: 27 pages, 4 figuresSubjects: Probability (math.PR)
We refine some previous results concerning the Renewal Contact Processes. We significantly widen the family of distributions for the interarrival times for which the critical value can be shown to be strictly positive. The result now holds for any spatial dimension $d \geq 1$ and requires only a moment condition slightly stronger than finite first moment. We also prove a Complete Convergence Theorem for heavy tailed interarrival times. Finally, for heavy tailed distributions we examine when the contact process, conditioned on survival, can be asymptotically predicted knowing the renewal processes. We close with an example of an interarrival time distribution attracted to a stable law of index 1 for which the critical value vanishes, a tail condition uncovered by previous results.
 [85] arXiv:2101.06209 [pdf, ps, other]

Title: Hypercontractivity of the semigroup of the fractional laplacian on the nsphereSubjects: Classical Analysis and ODEs (math.CA); Functional Analysis (math.FA)
For $1<p\leq q$ we show that the Poisson semigroup $e^{t\sqrt{\Delta}}$ on the $n$sphere is hypercontractive from $L^{p}$ to $L^{q}$ in dimensions $n \leq 3$ if and only if $e^{t\sqrt{n}} \leq \sqrt{\frac{p1}{q1}}$. We also show that the equivalence fails in large dimensions.
 [86] arXiv:2101.06219 [pdf, ps, other]

Title: On reduced, conic reformulations of QCQPs and setcompletely positive matrix completionAuthors: Markus GablComments: 31 PagesSubjects: Optimization and Control (math.OC)
In recent literature, many successful attempts have been made in reformulating nonconvex optimization problems as convex conic optimization problems, or at least in giving powerful relaxations of this type. However, it is often the case that these approaches suffer from poor computational performance due to the size of the reformulation. In this paper we study QCQPs whose special structure allows for a reduced conic relaxation where the variables are lifted into a smaller space compared to traditional approaches. We show that in special cases these relaxations are exact reformulations. We contextualized these results in the field of matrix completion in two ways. First we derive an exact reformulation of the QCQPs that is based on the geometry of the cone of partial arrowhead matrix that have a setcompletely positive completion. However, we do not reference the completability in the proof, but instead rely purely on geometric aspects. We also show, that our reduced conic reformulation can be seen as relaxation of the latter exact reformulation and describe the gap between those two in terms of the difference of two subsets of a space that is isomorphic to the space of arrowhead matrices if a certain type. Second we show that our partial exactness results imply a new sufficient conditions for setcompletely positive matrix completion.
 [87] arXiv:2101.06222 [pdf, ps, other]

Title: A new second order upper bound for the ground state energy of dilute Bose gasesComments: 42 pagesSubjects: Mathematical Physics (mathph); Quantum Gases (condmat.quantgas); Analysis of PDEs (math.AP)
We establish an upper bound for the ground state energy per unit volume of a dilute Bose gas in the thermodynamic limit, capturing the correct second order term, as predicted by the LeeHuangYang formula. This result has been first established in J. Stat. Phys. 136(3) by H.T. Yau and J. Yin. Our proof, which applies to repulsive and compactly supported $V \in L^3 (\mathbb{R}^3)$, gives better rates and, in our opinion, is substantially simpler.
 [88] arXiv:2101.06226 [pdf, ps, other]

Title: Independent sets of generators of prime power orderComments: 9 pagesSubjects: Group Theory (math.GR)
A subset $X$ of a finite group $G$ is said to be primepowerindependent if each element in $X$ has prime power order and there is no proper subset $Y$ of $X$ with $\langle Y, \Phi(G)\rangle = \langle X, \Phi(G)\rangle$, where $\Phi(G)$ is the Frattini subgroup of $G$. A group $G$ is $\mathcal{B}_{pp}$ if all primepowerindependent generating sets for $G$ have the same cardinality. We prove that, if $G$ is $\mathcal{B}_{pp}$, then $G$ is solvable. Pivoting on some recent results of Krempa and Stocka, this yields a complete classification of $\mathcal{B}_{pp}$groups.
 [89] arXiv:2101.06231 [pdf, ps, other]

Title: Positive Solutions of Competition Model with SaturationSubjects: Analysis of PDEs (math.AP)
In this paper, the positive solutions of a diffusive competition model with saturation are mainly discussed. Under certain conditions, the stability and multiplicities of coexistence states are analyzed. And by using the topological degree theory in cones, it is proved that the problem has at least two positive solutions under certain conditions. Finally, investigating the bifurcation of coexistence states emanating from the semitrivial solutions, some instability and multiplicity results of coexistence state are expressed.
 [90] arXiv:2101.06234 [pdf, other]

Title: Nets with Mana: A Framework for Chemical Reaction ModellingComments: 14 pagesSubjects: Category Theory (math.CT); Formal Languages and Automata Theory (cs.FL); Molecular Networks (qbio.MN)
We use categorical methods to define a new flavor of Petri nets which could be useful in modelling chemical reactions.
 [91] arXiv:2101.06244 [pdf, ps, other]

Title: Foliations by curves on threefoldsComments: 23 pagesSubjects: Algebraic Geometry (math.AG)
We study the conormal sheaves and singular schemes of 1dimensional foliations on smooth projective varieties $X$ of dimension 3 and Picard rank 1. We prove that if the singular scheme has dimension 0, then the conormal sheaf is $\mu$stable whenever the tangent bundle $TX$ is stable, and apply this fact to the characterization of certain irreducible components of the moduli space of rank 2 reflexive sheaves on $\mathbb{P}^3$ and on a smooth quadric hypersurface $Q_3\subset\mathbb{P}^4$. Finally, we give a classification of local complete intersection foliations, that is, foliations with locally free conormal sheaves, of degree 0 and 1 on $Q_3$.
 [92] arXiv:2101.06247 [pdf, ps, other]

Title: Minimal graphs with disjoint dominating and total dominating setsComments: 24 pages, 12 figuresSubjects: Combinatorics (math.CO)
A graph $G$ is a DTDPgraph if it has a pair $(D,T)$ of disjoint sets of vertices of $G$ such that $D$ is a dominating set and $T$ is a total dominating set of $G$. Such graphs were studied in a number of research papers. In this paper we provide a characterization of DTDPgraphs, were here we allow multiedges and multiloops.
 [93] arXiv:2101.06253 [pdf, ps, other]

Title: Extrapolation on function and modular spaces, and applicationsSubjects: Classical Analysis and ODEs (math.CA); Analysis of PDEs (math.AP)
We generalize the extrapolation theory of Rubio de Francia to the context of Banach function spaces and modular spaces. Our results are formulated in terms of some natural weighted estimates for the HardyLittlewood maximal function and are stated in measure spaces and for general Muckenhoupt bases. Finally, we give several applications in analysis and partial differential equations.
 [94] arXiv:2101.06257 [pdf, ps, other]

Title: Slopes of $F$isocrystals over abelian varietiesAuthors: Marco D'AddezioComments: 7 pagesSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
We prove that an $F$isocrystal over an abelian variety defined over a perfect field of positive characteristic has constant slopes. This recovers and extends a theorem of Tsuzuki for abelian varieties over finite fields. Our proof exploits the theory of monodromy groups of convergent isocrystals.
 [95] arXiv:2101.06258 [pdf, ps, other]

Title: Bijections of silting complexes and derived Picard groupsAuthors: Florian EiseleComments: 43 pagesSubjects: Representation Theory (math.RT)
We introduce a method that produces a bijection between the posets ${\rm silt}{A}$ and ${\rm silt}{B}$ formed by the isomorphism classes of basic silting complexes over finitedimensional $k$algebras $A$ and $B$, by lifting $A$ and $B$ to two $k[[X]]$orders which are isomorphic as rings. We apply this to a class of algebras generalising Brauer graph and weighted surface algebras, showing that their silting posets are multiplicityindependent in most cases. Under stronger hypotheses we also prove the existence of large multiplicityindependent subgroups in their derived Picard groups as well as multiplicityinvariance of $\rm TrPicent$. As an application to the modular representation theory of finite groups we show that if $B$ and $C$ are blocks with ${\rm IBr}(B)={\rm IBr}(C)$ whose defect groups are either both cyclic, both dihedral or both quaternion, then the posets ${\rm tilt}{B}$ and ${\rm tilt}{C}$ are isomorphic (except, possibly, in the quaternion case with ${\rm IBr}(B)=2$) and ${\rm TrPicent}(B)\cong{\rm TrPicent}(C)$ (except, possibly, in the quaternion and dihedral cases with ${\rm IBr}(B)=2$).
 [96] arXiv:2101.06260 [pdf, ps, other]

Title: Becktype companion identities for Franklin's identityComments: 10 pagesSubjects: Combinatorics (math.CO); Number Theory (math.NT)
The original Beck conjecture, now a theorem due to Andrews, states that the difference in the number of parts in all partitions into odd parts and the number of parts in all strict partitions is equal to the number of partitions whose set of even parts has one element, and also to the number of partitions with exactly one part repeated. This is a companion identity to Euler's identity. The theorem has been generalized by Yang to a companion identity to Glaisher's identity. Franklin generalized Glaisher's identity, and in this article, we provide a Becktype companion identity to Franklin's identity and prove it both analytically and combinatorially. Andrews' and Yang's respective theorems fit naturally into this very general frame. We also discuss a generalization to Franklin's identity of the second Becktype companion identity proved by Andrews and Yang in their respective work.
Crosslists for Mon, 18 Jan 21
 [97] arXiv:2101.05903 (crosslist from physics.fludyn) [pdf, other]

Title: QuasiObjective Coherent Structure Diagnostics from Single TrajectoriesSubjects: Fluid Dynamics (physics.fludyn); Dynamical Systems (math.DS)
We derive measures of local material stretching and rotation that are computable from individual trajectories without reliance on other trajectories or on an underlying velocity field. Both measures are quasiobjective: they approximate objective (i.e., observerindependent) coherence diagnostics in frames satisfying a certain condition. This condition requires the trajectory accelerations to dominate the angular acceleration induced by the spatial mean vorticity. We illustrate in examples how quasiobjective coherence diagnostics highlight elliptic and hyperbolic Lagrangian coherent structures even from very sparse trajectory data.
 [98] arXiv:2101.05907 (crosslist from quantph) [pdf, other]

Title: Bohm potential for the time dependent harmonic oscillatorSubjects: Quantum Physics (quantph); Mathematical Physics (mathph)
In the MadelungBohm approach to quantum mechanics, we consider a (time dependent) phase that depends quadratically on position and show that it leads to a Bohm potential that corresponds to a time dependent harmonic oscillator, provided the time dependent term in the phase obeys an Ermakov equation.
 [99] arXiv:2101.05921 (crosslist from cs.DS) [pdf, ps, other]

Title: An Improved Approximation Algorithm for the Minimum $k$Edge Connected MultiSubgraph ProblemSubjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO); Probability (math.PR)
We give a randomized $1+\sqrt{\frac{8\ln k}{k}}$approximation algorithm for the minimum $k$edge connected spanning multisubgraph problem, $k$ECSM.
 [100] arXiv:2101.05944 (crosslist from eess.SY) [pdf, other]

Title: Experimental Validation of EcoDriving and EcoHeating Strategies for Connected and Automated HEVsComments: 12 pages, 16 figures, SAE WCX Digital Summit, SAE Technical Paper 2021010435Journalref: SAE Technical Paper 2021010435Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
This paper presents experimental results that validate ecodriving and ecoheating strategies developed for connected and automated vehicles (CAVs). By exploiting vehicletoinfrastructure (V2I) communications, traffic signal timing, and queue length estimations, optimized and smoothed speed profiles for the egovehicle are generated to reduce energy consumption. Next, the planned ecotrajectories are incorporated into a realtime predictive optimization framework that coordinates the cabin thermal load (in cold weather) with the speed preview, i.e., ecoheating. To enable ecoheating, the engine coolant (as the only heat source for cabin heating) and the cabin air are leveraged as two thermal energy storages. Our ecoheating strategy stores thermal energy in the engine coolant and cabin air while the vehicle is driving at high speeds, and releases the stored energy slowly during the vehicle stops for cabin heating without forcing the engine to idle to provide the heating source. To test and validate these solutions, a powersplit hybrid electric vehicle (HEV) has been instrumented for cabin thermal management, allowing to regulate heating, ventilation, and air conditioning (HVAC) system inputs (cabin temperature setpoint and blower flow rate) in realtime. Experiments were conducted to demonstrate the energysaving benefits of ecodriving and ecoheating strategies over realworld city driving cycles at different cold ambient temperatures. The data confirmed average fuel savings of 14.5% and 4.7% achieved by ecodriving and ecoheating, respectively, offering a combined energy saving of more than 19% when comparing to the baseline vehicle driven by a human driver with a constantheating strategy.
 [101] arXiv:2101.05956 (crosslist from qbio.QM) [pdf, other]

Title: Revising BergPurcell for finite receptor kineticsComments: 26 pages, 5 figuresSubjects: Quantitative Methods (qbio.QM); Probability (math.PR); Cell Behavior (qbio.CB)
From nutrient uptake, to chemoreception, to synaptic transmission, many systems in cell biology depend on molecules diffusing and binding to membrane receptors. Mathematical analysis of such systems often neglects the fact that receptors process molecules at finite kinetic rates. A key example is the celebrated formula of Berg and Purcell for the rate that cell surface receptors capture extracellular molecules. Indeed, this influential result is only valid if receptors transport molecules through the cell wall at a rate much faster than molecules arrive at receptors. From a mathematical perspective, ignoring receptor kinetics is convenient because it makes the diffusing molecules independent. In contrast, including receptor kinetics introduces correlations between the diffusing molecules since, for example, bound receptors may be temporarily blocked from binding additional molecules. In this work, we present a modeling framework for coupling bulk diffusion to surface receptors with finite kinetic rates. The framework uses boundary homogenization to couple the diffusion equation to nonlinear ordinary differential equations on the boundary. We use this framework to derive an explicit formula for the cellular uptake rate and show that the analysis of Berg and Purcell significantly overestimates uptake in some typical biophysical scenarios. We confirm our analysis by numerical simulations of a many particle stochastic system.
 [102] arXiv:2101.05971 (crosslist from grqc) [pdf, ps, other]

Title: Lorentz boosts and Wigner rotations: selfadjoint complexified quaternionsAuthors: Thomas Berry (Victoria University of Wellington), Matt Visser (Victoria University of Wellington)Comments: 21 pages; no figuresSubjects: General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph)
Herein we shall consider Lorentz boosts and Wigner rotations from a (complexified) quaternionic point of view. We shall demonstrate that for a suitably defined selfadjoint complex quaternionic 4velocity, pure Lorentz boosts can be phrased in terms of the quaternion square root of the relative 4velocity connecting the two inertial frames. Straightforward computations then lead to quite explicit and relatively simple algebraic formulae for the composition of 4velocities and the Wigner angle. We subsequently relate the Wigner rotation to the generic nonassociativity of the composition of three 4velocities, and develop a necessary and sufficient condition for associativity to hold. Finally, we relate the composition of 4velocities to a specific implementation of the BakerCampbellHausdorff theorem. As compared to ordinary 4x4 Lorentz transformations, the use of selfadjoint complexified quaternions leads, from a computational view, to storage savings and more rapid computations, and from a pedagogical view to to relatively simple and explicit formulae.
 [103] arXiv:2101.05973 (crosslist from grqc) [pdf, other]

Title: Anisotropic chiral cosmology: exact solutionsComments: 23 pages, 4 figures, submitted to Eur. Phys. J. Plus. arXiv admin note: substantial text overlap with arXiv:2012.11108Subjects: General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph)
In this work we investigate the anisotropic Bianchi type I cosmological model in the chiral setup, in a twofold manner. Firstly, we consider a quintessence plus a Kessence like model, where two scalar fields but only one potential term is considered. Secondly, we look at a model where in addition to the two scalar fields the two potential terms are taken into account as well as the standard kinetic energy and the mixed term. Regarding this second model, it is shown that two possible cases can be studied: a quintom like case and a quintessence like case. In each of the models we were able to find both classical and quantum analytical solutions.
 [104] arXiv:2101.06006 (crosslist from cs.LG) [pdf, other]

Title: The Geometry of Deep Generative Image Models and its ApplicationsComments: 23 pages, 10 figures. Published as a conference paper at ICLR 2021Subjects: Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Numerical Analysis (math.NA)
Generative adversarial networks (GANs) have emerged as a powerful unsupervised method to model the statistical patterns of realworld data sets, such as natural images. These networks are trained to map random inputs in their latent space to new samples representative of the learned data. However, the structure of the latent space is hard to intuit due to its high dimensionality and the nonlinearity of the generator, which limits the usefulness of the models. Understanding the latent space requires a way to identify input codes for existing realworld images (inversion), and a way to identify directions with known image transformations (interpretability). Here, we use a geometric framework to address both issues simultaneously. We develop an architectureagnostic method to compute the Riemannian metric of the image manifold created by GANs. The eigendecomposition of the metric isolates axes that account for different levels of image variability. An empirical analysis of several pretrained GANs shows that image variation around each position is concentrated along surprisingly few major axes (the space is highly anisotropic) and the directions that create this large variation are similar at different positions in the space (the space is homogeneous). We show that many of the top eigenvectors correspond to interpretable transforms in the image space, with a substantial part of eigenspace corresponding to minor transforms which could be compressed out. This geometric understanding unifies key previous results related to GAN interpretability. We show that the use of this metric allows for more efficient optimization in the latent space (e.g. GAN inversion) and facilitates unsupervised discovery of interpretable axes. Our results illustrate that defining the geometry of the GAN image manifold can serve as a general framework for understanding GANs.
 [105] arXiv:2101.06052 (crosslist from eess.SY) [pdf, other]

Title: Chance constrained sets approximation: A probabilistic scaling approach  EXTENDED VERSIONComments: 16 pages, 11 figures, submitted to AutomaticaSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
In this paper, a samplebased procedure for obtaining simple and computable approximations of chanceconstrained sets is proposed. The procedure allows to control the complexity of the approximating set, by defining families of simpleapproximating sets of given complexity. A probabilistic scaling procedure then allows to rescale these sets to obtain the desired probabilistic guarantees. The proposed approach is shown to be applicable in several problem in systems and control, such as the design of Stochastic Model Predictive Control schemes or the solution of probabilistic set membership estimation problems.
 [106] arXiv:2101.06061 (crosslist from cs.LG) [pdf, other]

Title: Heating up decision boundaries: isocapacitory saturation, adversarial scenarios and generalization boundsComments: Accepted as conference paper at ICLR 2021. 36 pages, 16 figures, comments welcome!Subjects: Machine Learning (cs.LG); Metric Geometry (math.MG); Probability (math.PR); Statistics Theory (math.ST); Machine Learning (stat.ML)
In the present work we study classifiers' decision boundaries via Brownian motion processes in ambient data space and associated probabilistic techniques. Intuitively, our ideas correspond to placing a heat source at the decision boundary and observing how effectively the sample points warm up. We are largely motivated by the search for a soft measure that sheds further light on the decision boundary's geometry. En route, we bridge aspects of potential theory and geometric analysis (Mazya, 2011, GrigoryanSaloffCoste, 2002) with active fields of ML research such as adversarial examples and generalization bounds. First, we focus on the geometric behavior of decision boundaries in the light of adversarial attack/defense mechanisms. Experimentally, we observe a certain capacitory trend over different adversarial defense strategies: decision boundaries locally become flatter as measured by isoperimetric inequalities (Ford et al, 2019); however, our more sensitive heatdiffusion metrics extend this analysis and further reveal that some nontrivial geometry invisible to plain distancebased methods is still preserved. Intuitively, we provide evidence that the decision boundaries nevertheless retain many persistent "wiggly and fuzzy" regions on a finer scale. Second, we show how Brownian hitting probabilities translate to soft generalization bounds which are in turn connected to compression and noise stability (Arora et al, 2018), and these bounds are significantly stronger if the decision boundary has controlled geometric features.
 [107] arXiv:2101.06067 (crosslist from cs.RO) [pdf, other]

Title: Constraint Handling in ContinuousTime DDPBased Model Predictive ControlSubjects: Robotics (cs.RO); Systems and Control (eess.SY); Optimization and Control (math.OC)
The Sequential Linear Quadratic (SLQ) algorithm is a continuoustime variant of the wellknown Differential Dynamic Programming (DDP) technique with a GaussNewton Hessian approximation. This family of methods has gained popularity in the robotics community due to its efficiency in solving complex trajectory optimization problems. However, one major drawback of DDPbased formulations is their inability to properly incorporate path constraints. In this paper, we address this issue by devising a constrained SLQ algorithm that handles a mixture of constraints with a previously implemented projection technique and a new augmentedLagrangian approach. By providing an appropriate multiplier update law, and by solving a single inner and outer loop iteration, we are able to retrieve suboptimal solutions at rates suitable for realtime modelpredictive control applications. We particularly focus on the inequalityconstrained case, where three augmentedLagrangian penalty functions are introduced, along with their corresponding multiplier update rules. These are then benchmarked against a relaxed logbarrier formulation in a cartpole swing up example, an obstacleavoidance task, and an objectpushing task with a quadrupedal mobile manipulator.
 [108] arXiv:2101.06101 (crosslist from qbio.PE) [pdf, other]

Title: On the relation of the COVID19 reproduction number to the explosive timescales: the case of ItalyAuthors: Dimitrios G. PatsatzisSubjects: Populations and Evolution (qbio.PE); Dynamical Systems (math.DS); Physics and Society (physics.socph)
A great issue of discussion of an infectious disease is its basic reproduction number R0, which provides an estimation of the contagiousness of the disease. When R0 > 1, the disease spread will potentially lead to an outbreak, such that of the ongoing COVID19 pandemics. During the evolution of an outbreak, various nonpharmaceutical interventions are employed, the impact of which is frequently assessed by the reduction that they introduce to the effective reproduction number Rt; reduction below 1 is an indication of eventual dying out of the disease spread. Motivated by the fact that R0 essentially expresses the stability of the diseasefree equilibrium, in this work, Rt was examined in the view of timescale analysis. It was shown that during the evolution of the COVID19 outbreak in Italy, when various interventions were in place, Rt had a clear relation with the explosive timescale characterizing the dynamics of the outbreak. In particular, it is shown that the existence of an explosive timescale during the progression of the epidemics implies Rt > 1, while its absence implies Rt < 1. In addition, as this timescale converges/diverges with the immediately slowest one, Rt approaches to/withdraws from its threshold value 1. These results suggest that timescale analysis can be utilized for the assessment of the impact of various interventions, since it reflects the insight provided by the effective reproduction number, without being hindered by the selection of the population model, nor the parameter estimation process followed for model calibration.
 [109] arXiv:2101.06115 (crosslist from cs.LG) [pdf, ps, other]

Title: Approximations with deep neural networks in Sobolev timespaceComments: 34 pages. This is the first version of the paper. It is expected that some changes will be performed for the next version. arXiv admin note: text overlap with arXiv:1902.07896Subjects: Machine Learning (cs.LG); Functional Analysis (math.FA)
Solutions of evolution equation generally lies in certain BochnerSobolev spaces, in which the solution may has regularity and integrability properties for the time variable that can be different for the space variables. Therefore, in this paper, we develop a framework shows that deep neural networks can approximate Sobolevregular functions with respect to BochnerSobolev spaces. In our work we use the socalled Rectified Cubic Unit (ReCU) as an activation function in our networks, which allows us to deduce approximation results of the neural networks while avoiding issues caused by the non regularity of the most commonly used Rectivied Linear Unit (ReLU) activation function.
 [110] arXiv:2101.06131 (crosslist from physics.socph) [pdf, other]

Title: Flow stability for dynamic community detectionComments: 41 pages, 6 figuresSubjects: Physics and Society (physics.socph); Social and Information Networks (cs.SI); Dynamical Systems (math.DS); Data Analysis, Statistics and Probability (physics.dataan)
Many systems exhibit complex temporal dynamics due to the presence of different processes taking place simultaneously. Temporal networks provide a framework to describe the timeresolve interactions between components of a system. An important task when investigating such systems is to extract a simplified view of the temporal network, which can be done via dynamic community detection or clustering. Several works have generalized existing community detection methods for static networks to temporal networks, but they usually rely on temporal aggregation over time windows, the assumption of an underlying stationary process, or sequences of different stationary epochs. Here, we derive a method based on a dynamical process evolving on the temporal network and restricted by its activation pattern that allows to consider the full temporal information of the system. Our method allows dynamics that do not necessarily reach a steady state, or follow a sequence of stationary states. Our framework encompasses several wellknown heuristics as special cases. We show that our method provides a natural way to disentangle the different natural dynamical scales present in a system. We demonstrate our method abilities on synthetic and realworld examples.
 [111] arXiv:2101.06181 (crosslist from condmat.soft) [pdf, ps, other]

Title: Equilibrium of Kirchhoff's rods subject to a distribution of magnetic couplesSubjects: Soft Condensed Matter (condmat.soft); Mathematical Physics (mathph)
The equilibrium of magnetoelastic rods, formed of an elastic matrix containing a uniform distribution of paramagnetic particles, that are subject to terminal loads and are immersed in a uniform magnetic field, is studied. The deduced nonlinear equilibrium equations are fully consistent with Kirchhoff's theory in the sense that they hold at the same order of magnitude. Exact solutions of those equations in terms of Weierstrass elliptic functions are presented with reference to magnetoelastic cantilevers that undergo planar deformations under the action of a terminal force and a magnetic field whose directions are either parallel or orthogonal. The exact solutions are applied to the study of a problem of remotely controlled deformation of a rod and to a bifurcation problem in which the end force and the magnetic field act as an imperfection parameter and a bifurcation parameter, respectively.
 [112] arXiv:2101.06197 (crosslist from cs.LG) [pdf, other]

Title: Deciding What to Learn: A RateDistortion ApproachSubjects: Machine Learning (cs.LG); Information Theory (cs.IT)
Agents that learn to select optimal actions represent a prominent focus of the sequential decisionmaking literature. In the face of a complex environment or constraints on time and resources, however, aiming to synthesize such an optimal policy can become infeasible. These scenarios give rise to an important tradeoff between the information an agent must acquire to learn and the suboptimality of the resulting policy. While an agent designer has a preference for how this tradeoff is resolved, existing approaches further require that the designer translate these preferences into a fixed learning target for the agent. In this work, leveraging ratedistortion theory, we automate this process such that the designer need only express their preferences via a single hyperparameter and the agent is endowed with the ability to compute its own learning targets that best achieve the desired tradeoff. We establish a general bound on expected discounted regret for an agent that decides what to learn in this manner along with computational experiments that illustrate the expressiveness of designer preferences and even show improvements over Thompson sampling in identifying an optimal policy.
 [113] arXiv:2101.06214 (crosslist from stat.ME) [pdf, other]

Title: An Adaptive Algorithm based on HighDimensional Function Approximation to obtain Optimal DesignsSubjects: Methodology (stat.ME); Optimization and Control (math.OC)
Algorithms which compute locally optimal continuous designs often rely on a finite design space or on repeatedly solving a complex nonlinear program. Both methods require extensive evaluations of the Jacobian Df of the underlying model. These evaluations present a heavy computational burden. Based on the KieferWolfowitz Equivalence Theorem we present a novel design of experiments algorithm which computes optimal designs in a continuous design space. For this iterative algorithm we combine an adaptive Bayeslike sampling scheme with Gaussian process regression to approximate the directional derivative of the design criterion. The approximation allows us to adaptively select new design points on which to evaluate the model. The adaptive selection of the algorithm requires significantly less evaluations of Df and reduces the runtime of the computations. We show the viability of the new algorithm on two examples from chemical engineering.
 [114] arXiv:2101.06215 (crosslist from cs.SI) [pdf, other]

Title: Node and Edge Eigenvector Centrality for HypergraphsSubjects: Social and Information Networks (cs.SI); Numerical Analysis (math.NA); Data Analysis, Statistics and Probability (physics.dataan)
Network scientists have shown that there is great value in studying pairwise interactions between components in a system. From a linear algebra point of view, this involves defining and evaluating functions of the associated adjacency matrix. Recent work indicates that there are further benefits from accounting directly for higher order interactions, notably through a hypergraph representation where an edge may involve multiple nodes. Building on these ideas, we motivate, define and analyze a class of spectral centrality measures for identifying important nodes and hyperedges in hypergraphs, generalizing existing network science concepts. By exploiting the latest developments in nonlinear PerronFrobenius theory, we show how the resulting constrained nonlinear eigenvalue problems have unique solutions that can be computed efficiently via a nonlinear power method iteration. We illustrate the measures on realistic data sets.
 [115] arXiv:2101.06252 (crosslist from hepth) [pdf, other]

Title: On the perturbative expansion of exact bilocal correlators in JT gravityComments: 30 pages, 3 figuresSubjects: High Energy Physics  Theory (hepth); General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph)
We study the perturbative series associated to bilocal correlators in JackiwTeitelboim (JT) gravity, for positive weight $\lambda$ of the matter CFT operators. Starting from the known exact expression, derived by CFT and gauge theoretical methods, we reproduce the Schwarzian semiclassical expansion beyond leading order. The computation is done for arbitrary temperature and finite boundary distances, in the case of disk and trumpet topologies. A formula presenting the perturbative result (for $\lambda \in \mathbb{N}/2$) at any given order in terms of generalized ApostolBernoulli polynomials is also obtained. The limit of zero temperature is then considered, obtaining a compact expression that allows to discuss the asymptotic behaviour of the perturbative series. Finally we highlight the possibility to express the exact result as particular combinations of Mordell integrals.
Replacements for Mon, 18 Jan 21
 [116] arXiv:1510.07097 (replaced) [pdf, ps, other]

Title: Examples of surfaces with canonical maps of maximal degreeComments: 17 pages. The original proof of the main theorem in v.1 is incorrect and is replaced by a weaker result. A revised proof is given and the paper is reorganized. To appear on Taiwanese Journal of Mathematics. Comments are welcomeSubjects: Algebraic Geometry (math.AG)
 [117] arXiv:1601.06297 (replaced) [pdf, ps, other]

Title: $LS$category of momentangle manifolds and higher order Massey productsComments: Added characterisation of LScategory of moment angle complexes over two dimensional surfaces; simplified some argumentsSubjects: Algebraic Topology (math.AT); Commutative Algebra (math.AC); Combinatorics (math.CO)
 [118] arXiv:1702.06266 (replaced) [pdf, ps, other]

Title: Unavoidable subprojections in unionclosed set systems of infinite breadthComments: v5: AMS LaTeX, 21 pages, 1 figure (tikz); uses the stmaryrd fonts. Revision of v4, incorporating referees' feedback. To appear in Eur. J. CombSubjects: Combinatorics (math.CO); Functional Analysis (math.FA); Group Theory (math.GR)
 [119] arXiv:1702.07579 (replaced) [pdf, other]

Title: Suitable Spaces for Shape OptimizationAuthors: Kathrin WelkerSubjects: Optimization and Control (math.OC)
 [120] arXiv:1703.05787 (replaced) [pdf, ps, other]

Title: On finite nondegenerate braided tensor categories with a Lagrangian subcategoryComments: 25 pages; Sections 2.5, 2.6 were renamed and slightly revised; Lemma 2.6, Proposition 2.7, Remark 2.8, Section 2.7 and Proposition 2.10 are new; Corollary 3.3 and its proof were revised; Section 5 was revised; Theorem 6.1 was reformulated and its proof was slightly revised; new references were added and some minor corrections were madeSubjects: Quantum Algebra (math.QA)
 [121] arXiv:1707.00364 (replaced) [pdf, ps, other]

Title: Torsion points on elliptic curves over number fields of small degreeComments: v2: Paper almost completely rewritten; exact determination of S(7) is new; added classification of elliptic curves over sextic fields with a point of order 37Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
 [122] arXiv:1711.02025 (replaced) [src]

Title: Trianguline Galois representations and Schur functorsAuthors: Andrea ContiComments: The lemma cited as 4.6 turned out to be false in the generality I use it, hence the proof of one of the main results, Theorem 4.2, does not work. A new proof of all the results of Sections 1 to 6, by a different method, is given in ArXiv:2101:02189Subjects: Number Theory (math.NT)
 [123] arXiv:1804.02540 (replaced) [pdf, ps, other]

Title: A Note on Switching Conditions for the Generalized Logical Connectives in Multiplicative Linear LogicSubjects: Logic (math.LO)
 [124] arXiv:1808.03375 (replaced) [pdf, other]

Title: Lift and SynchronizationAuthors: Vilton PinheiroComments: 60 pages, 6 figuresSubjects: Dynamical Systems (math.DS)
 [125] arXiv:1810.06180 (replaced) [pdf, ps, other]

Title: A Polyfold Proof of the Arnold ConjectureComments: 48 pages. To appear in Selecta MathematicaSubjects: Symplectic Geometry (math.SG); Dynamical Systems (math.DS); Functional Analysis (math.FA)
 [126] arXiv:1812.00160 (replaced) [pdf, other]

Title: A Proof of Nonstationary Channel PolarizationSubjects: Information Theory (cs.IT)
 [127] arXiv:1812.04788 (replaced) [pdf, other]

Title: On the number of hyperbolic Dehn fillings of a given volumeAuthors: BoGwang JeonComments: 21 pages, incorporated referee's comments. To appear in Trans. Amer. Math. SocSubjects: Geometric Topology (math.GT); Number Theory (math.NT)
 [128] arXiv:1904.00789 (replaced) [pdf, ps, other]

Title: Essential dimension and profinite group schemesAuthors: Giulio BrescianiComments: Simplified proofs and stronger results in the new versionSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
 [129] arXiv:1904.10903 (replaced) [pdf, ps, other]

Title: Tempered Dmodules and BorelMoore homology vanishingAuthors: Dario BeraldoSubjects: Algebraic Geometry (math.AG); Representation Theory (math.RT)
 [130] arXiv:1904.12957 (replaced) [pdf, other]

Title: Reinforcement Learning versus PDE Backstepping and PI Control for Congested Freeway TrafficSubjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP)
 [131] arXiv:1905.03531 (replaced) [pdf, ps, other]

Title: Seshadritype constants and NewtonOkounkov bodies for nonpositive at infinity valuations of Hirzebruch surfacesSubjects: Algebraic Geometry (math.AG)
 [132] arXiv:1906.02636 (replaced) [pdf, other]

Title: An Inverse Optimization Approach to Measuring Clinical Pathway ConcordanceAuthors: Timothy C. Y. Chan, Maria Eberg, Katharina Forster, Claire Holloway, Luciano Ieraci, Yusuf Shalaby, Nasrin YousefiComments: 61 pagesSubjects: Applications (stat.AP); Optimization and Control (math.OC)
 [133] arXiv:1906.03513 (replaced) [pdf, ps, other]

Title: Adaptive Twostage Stochastic Programming with an Application to Capacity Expansion PlanningSubjects: Optimization and Control (math.OC)
 [134] arXiv:1907.02311 (replaced) [pdf, ps, other]

Title: Avoiding observability singularities in output feedback bilinear systemsAuthors: Lucas Brivadis (LAGEPP), JeanPaul Gauthier (LIS, CDE), Ludovic Sacchelli (LIS), Ulysse Serres (LAGEPP)Subjects: Optimization and Control (math.OC)
 [135] arXiv:1907.13003 (replaced) [pdf, other]

Title: Distributed Resource Allocation over Timevarying Balanced Digraphs with Discretetime CommunicationComments: 12 pages, 7 figuresSubjects: Multiagent Systems (cs.MA); Systems and Control (eess.SY); Optimization and Control (math.OC)
 [136] arXiv:1908.02712 (replaced) [pdf, ps, other]

Title: Saturated Free Algebras and Almost Indiscernible TheoriesSubjects: Logic (math.LO)
 [137] arXiv:1909.12575 (replaced) [pdf, other]

Title: Shuffle algebra realization of quantum affine superalgebra $U_{v}(\hat{\mathfrak{D}}(2,1;θ))$Comments: 18pages, correct some errors and improve some arguments, thanks for the reviewer's commentsSubjects: Quantum Algebra (math.QA)
 [138] arXiv:1910.04002 (replaced) [pdf, other]

Title: Mollified finite element approximants of arbitrary order and smoothnessSubjects: Numerical Analysis (math.NA)
 [139] arXiv:1910.07164 (replaced) [pdf, ps, other]

Title: Quantum Unique Ergodicity for Eisenstein Series in the Level AspectComments: Multiple updates thanks to the refereesSubjects: Number Theory (math.NT); Mathematical Physics (mathph)
 [140] arXiv:1910.09317 (replaced) [pdf, ps, other]

Title: A Universal algebraic approach to rack coveringsSubjects: Group Theory (math.GR)
 [141] arXiv:1910.11712 (replaced) [pdf, ps, other]

Title: NEP: a module for the parallel solution of nonlinear eigenvalue problems in SLEPcSubjects: Mathematical Software (cs.MS); Numerical Analysis (math.NA)
 [142] arXiv:1910.13870 (replaced) [pdf, other]

Title: On weak convergence of MongeAmpere measures for discrete convex mesh functionsAuthors: Gerard AwanouComments: arXiv admin note: text overlap with arXiv:1408.1729Subjects: Numerical Analysis (math.NA)
 [143] arXiv:1910.13912 (replaced) [pdf, ps, other]

Title: Blowup Ramsey numbersAuthors: Victor SouzaComments: 17 pagesJournalref: European Journal of Combinatorics. Vol 92 (2021) 103238Subjects: Combinatorics (math.CO)
 [144] arXiv:1910.14376 (replaced) [pdf, other]

Title: The second boundary value problem for a discrete MongeAmpere equationAuthors: Gerard AwanouComments: one figureSubjects: Numerical Analysis (math.NA)
 [145] arXiv:1911.00260 (replaced) [pdf, other]

Title: Convergence of a damped Newton's method for discrete MongeAmpere functions with a prescribed asymptotic coneAuthors: Gerard AwanouComments: one figureSubjects: Numerical Analysis (math.NA)
 [146] arXiv:1911.11562 (replaced) [pdf, other]

Title: Adaptive Estimation of Multivariate Piecewise Polynomials and Bounded Variation Functions by Optimal Decision TreesComments: 56 pages, 5 figures. The current version has been accepted for publication in the Annals of StatisticsSubjects: Statistics Theory (math.ST); Probability (math.PR); Machine Learning (stat.ML)
 [147] arXiv:1911.12054 (replaced) [pdf, ps, other]

Title: Bernstein and halfspace properties for minimal graphs under Ricci lower boundsComments: 20 pages. We assumed the Local Lipschitz regularity of $\partial \Omega$ in the main gradient estimate, and included Remark 5 to comment on it. Lemma 1 was rewritten to correct some topological detail, and its proof was streamlined. The statement of Lemma 2 was changed accordinglySubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
 [148] arXiv:1912.02356 (replaced) [pdf, ps, other]

Title: Divisibility of torsion subgroups of abelian surfaces over number fieldsComments: 31 pages, 5 sections. Numerous changes in exposition have been made since the last version and section 6 has been removed, but all main results are the same. This is the version that will appear in the Canadian Journal of MathematicsSubjects: Number Theory (math.NT)
 [149] arXiv:1912.03439 (replaced) [pdf, other]

Title: Arborealization II: Geomorphology of Lagrangian ridgesComments: 30 pages, 21 figures, title change to become part of a sagaSubjects: Symplectic Geometry (math.SG)
 [150] arXiv:1912.04584 (replaced) [pdf, other]

Title: Expansion for the critical point of site percolation: the first three termsComments: 22 pagesSubjects: Probability (math.PR)
 [151] arXiv:1912.08853 (replaced) [pdf, ps, other]

Title: Invariant generalized complex geometry on maximal flag manifolds and their moduliComments: 29 pages. The title has been changed. Final version to appear in Journal of Geometry and PhysicsSubjects: Differential Geometry (math.DG); Symplectic Geometry (math.SG)
 [152] arXiv:1912.09682 (replaced) [pdf, ps, other]

Title: The NicaToeplitz algebras of dynamical systems over abelian latticeordered groups as full cornersAuthors: Saeid ZahmatkeshComments: to appear in Houston J. MathSubjects: Operator Algebras (math.OA)
 [153] arXiv:1912.10742 (replaced) [pdf, other]

Title: Statistical analysis of Mapper for stochastic and multivariate filtersSubjects: Algebraic Topology (math.AT); Computational Geometry (cs.CG); Methodology (stat.ME); Machine Learning (stat.ML)
 [154] arXiv:1912.11459 (replaced) [pdf, other]

Title: On the nonlinear Dirac equation on noncompact metric graphsComments: 27 pages, 4 figures. Keywords: nonlinear Dirac equation, metric graphs, local wellposedness, bound states, implicit function theorem, bifurcation, perturbation method, nonrelativistic limit. The last subsection of the Appendix have been removed and some minor revisions have been made with respect to the previous versionJournalref: J. Differential Equations 278 (2021), 326357Subjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph); Functional Analysis (math.FA)
 [155] arXiv:2001.05596 (replaced) [pdf, ps, other]

Title: Windows for cdgasComments: 30 pages; v2: updated to discuss the nature of the wallcrossing kernel and its relationship to a fiber product, v3: accepted for publication in Advances in MathematicsJournalref: Adv. Math. 379 (2021), 107553Subjects: Algebraic Geometry (math.AG)
 [156] arXiv:2001.08549 (replaced) [pdf, ps, other]

Title: The order dimension of divisibilityComments: 13 pagesJournalref: Journal of Combinatorial Theory, Series A. Vol 179 (2021) 105391Subjects: Combinatorics (math.CO); Number Theory (math.NT)
 [157] arXiv:2002.03986 (replaced) [pdf, ps, other]

Title: Characterization of some convex curves on the 3sphereAuthors: Emília AlvesSubjects: Geometric Topology (math.GT)
 [158] arXiv:2002.06805 (replaced) [pdf, ps, other]

Title: Polarizationadjusted Convolutional (PAC) Codes: Sequential Decoding vs List DecodingComments: To appear in IEEE Transactions on Vehicular TechnologySubjects: Information Theory (cs.IT)
 [159] arXiv:2002.08503 (replaced) [pdf, other]

Title: The metric dimension of critical GaltonWatson trees and linear preferential attachment treesSubjects: Probability (math.PR); Combinatorics (math.CO)
 [160] arXiv:2003.06024 (replaced) [pdf, other]

Title: Existence and Uniqueness of the Kronecker Covariance MLESubjects: Statistics Theory (math.ST); Methodology (stat.ME)
 [161] arXiv:2003.11954 (replaced) [pdf, other]

Title: Bounded State Estimation over FiniteState Channels: Relating Topological Entropy and ZeroError CapacityComments: arXiv admin note: text overlap with arXiv:1902.00726Subjects: Systems and Control (eess.SY); Information Theory (cs.IT)
 [162] arXiv:2004.09863 (replaced) [pdf, other]

Title: A novel embedded minmax approach for feature selection in nonlinear support vector machine classificationComments: Published at European Journal of Operational ResearchSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
 [163] arXiv:2004.14170 (replaced) [pdf, ps, other]

Title: Coded Computing and Cooperative Transmission for Wireless Distributed Matrix MultiplicationComments: To appear in IEEE Transactions on CommunicationsSubjects: Information Theory (cs.IT)
 [164] arXiv:2004.14763 (replaced) [pdf, ps, other]

Title: Campana points on biequivariant compactifications of the Heisenberg groupAuthors: Huan XiaoSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
 [165] arXiv:2005.02051 (replaced) [pdf, other]

Title: Validity of the nonlinear Schrödinger approximation for quasilinear dispersive systems with more than one derivativeAuthors: Max HeßSubjects: Analysis of PDEs (math.AP)
 [166] arXiv:2005.03882 (replaced) [pdf, ps, other]

Title: Numerical conservative solutions of the HunterSaxton equationSubjects: Analysis of PDEs (math.AP); Numerical Analysis (math.NA)
 [167] arXiv:2005.04372 (replaced) [pdf, other]

Title: InformationTheoretic Generalization Bounds for MetaLearning and ApplicationsComments: Accepted to EntropySubjects: Machine Learning (cs.LG); Information Theory (cs.IT); Signal Processing (eess.SP); Machine Learning (stat.ML)
 [168] arXiv:2005.05379 (replaced) [pdf, other]

Title: Gap Sets for the Spectra of Cubic GraphsSubjects: Mathematical Physics (mathph); Combinatorics (math.CO); Number Theory (math.NT); Spectral Theory (math.SP)
 [169] arXiv:2005.05434 (replaced) [pdf, other]

Title: Scalable FirstOrder Methods for Robust MDPsSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
 [170] arXiv:2005.06804 (replaced) [pdf, other]

Title: Computing the proximal operator of the $\ell_1$ induced matrix normAuthors: Jeremy E. CohenSubjects: Optimization and Control (math.OC)
 [171] arXiv:2005.11291 (replaced) [pdf, ps, other]

Title: Torsion free instanton sheaves on the blowup of $\mathbb{P}^{3}$ at a pointAuthors: Abdelmoubine Amar HenniComments: 22pagesSubjects: Algebraic Geometry (math.AG)
 [172] arXiv:2006.07215 (replaced) [pdf, other]

Title: Convergence of adaptive discontinuous Galerkin and $C^0$interior penalty finite element methods for HamiltonJacobiBellman and Isaacs equationsSubjects: Numerical Analysis (math.NA)
 [173] arXiv:2006.08057 (replaced) [pdf, ps, other]

Title: $PD_3$pairs with compressible boundaryAuthors: Jonathan A. HillmanComments: v2:"geometric" homomorphisms identified, proof of Theorem 7 rewritten. v3 : revised and expanded, estimates for rank of free group factor leading to sharper applications of main result. v4: extensively rewritten (no new results). v4 \S5 partially rewritten, to bring forward the difference between the Algebraic and Topological Loop TheoremsSubjects: Geometric Topology (math.GT); Algebraic Topology (math.AT)
 [174] arXiv:2007.03499 (replaced) [pdf, other]

Title: Linear Modulational and Subharmonic Dynamics of Spectrally Stable LugiatoLefever Periodic WavesComments: 36 pages, 2 figures. Minor typos fixed, some exposition updatedSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph)
 [175] arXiv:2007.06025 (replaced) [pdf, ps, other]

Title: The Minkowski Equality for FiltrationsAuthors: Steven Dale CutkoskyComments: 48 pages. This version proves the additional result (theorem 8.4) that the Minkowski equalities hold under a condition of integral dependence for arbitrary filtrations of mprimary idealsSubjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
 [176] arXiv:2007.06439 (replaced) [pdf, ps, other]

Title: Proisomorphic zeta functions of nilpotent groups and Lie rings under base extensionComments: 41 pages with minor corrections, comments welcome!Subjects: Group Theory (math.GR); Combinatorics (math.CO); Rings and Algebras (math.RA)
 [177] arXiv:2007.06981 (replaced) [pdf, ps, other]

Title: Algorithmic applications of the corestriction of central simple algebrasComments: 23 pages, results unchanged, exposition improvedSubjects: Number Theory (math.NT); Symbolic Computation (cs.SC); Rings and Algebras (math.RA)
 [178] arXiv:2007.10123 (replaced) [pdf, other]

Title: Funnel control of nonlinear systemsSubjects: Optimization and Control (math.OC)
 [179] arXiv:2007.14966 (replaced) [pdf, other]

Title: Mirostat: A Neural Text Decoding Algorithm that Directly Controls PerplexityComments: 25 pages, 12 figuresSubjects: Computation and Language (cs.CL); Information Theory (cs.IT)
 [180] arXiv:2007.16081 (replaced) [pdf, ps, other]

Title: Proportions of vanishing elements in finite groupsSubjects: Group Theory (math.GR); Representation Theory (math.RT)
 [181] arXiv:2008.00249 (replaced) [pdf]

Title: Review on Ranking and Selection: A New PerspectiveComments: 47 pages, 1 figureSubjects: Optimization and Control (math.OC); Methodology (stat.ME)
 [182] arXiv:2008.03502 (replaced) [pdf, ps, other]

Title: Geometric solitons in a $D$homothetically deformed Kenmotsu manifoldAuthors: Adara M. BlagaSubjects: Differential Geometry (math.DG)
 [183] arXiv:2008.04076 (replaced) [pdf, other]

Title: Energy corrections due to the Noncommutative PhaseSpace of the Charged Harmonic Oscillator in a constant magnetic field in 3DSubjects: Quantum Physics (quantph); Mesoscale and Nanoscale Physics (condmat.meshall); High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
 [184] arXiv:2008.04192 (replaced) [pdf, ps, other]

Title: Potentially diagonalizable modular lifts of large weightSubjects: Number Theory (math.NT)
 [185] arXiv:2008.06413 (replaced) [pdf, ps, other]

Title: Remarks on almost Riemann solitons with gradient or torseforming vector fieldAuthors: Adara M. BlagaSubjects: Differential Geometry (math.DG)
 [186] arXiv:2008.08820 (replaced) [pdf, ps, other]

Title: A realization result for systems of sets of lengthsComments: To appear in Israel Journal of MathematicsSubjects: Commutative Algebra (math.AC)
 [187] arXiv:2009.00265 (replaced) [pdf, ps, other]

Title: Triangular ratio metric in the unit diskComments: 26 pages, 4 figuresSubjects: Metric Geometry (math.MG)
 [188] arXiv:2009.02506 (replaced) [pdf, ps, other]

Title: Remarks on Riemann and Ricci solitons in $(α,β)$contact metric manifoldsSubjects: Differential Geometry (math.DG)
 [189] arXiv:2009.04142 (replaced) [pdf, other]

Title: Kernelbased parameter estimation of dynamical systems with unknown observation functionsSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Dynamical Systems (math.DS); Computational Physics (physics.compph)
 [190] arXiv:2009.04742 (replaced) [pdf, other]

Title: Backtracking algorithms for constructing the Hamiltonian decomposition of a 4regular multigraphComments: In Russian. Computational experiments are revisedSubjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
 [191] arXiv:2009.04928 (replaced) [pdf, ps, other]

Title: Generic tropical initial ideals of CohenMacaulay algebrasComments: 11 pages, to appear in J. Pure Appl. AlgebraSubjects: Algebraic Geometry (math.AG)
 [192] arXiv:2009.09854 (replaced) [pdf, other]

Title: A new class of integrable maps of the plane: Manin transformations with involution curvesAuthors: Peter H van der KampComments: 8 pages, 6 figuresSubjects: Exactly Solvable and Integrable Systems (nlin.SI); Algebraic Geometry (math.AG)
 [193] arXiv:2009.10036 (replaced) [pdf, ps, other]

Title: Iterative Detection and Decoding for Multiuser MIMO Systems with Low Resolution Precoding and PSK ModulationSubjects: Information Theory (cs.IT)
 [194] arXiv:2009.11069 (replaced) [pdf, other]

Title: Towards accelerated rates for distributed optimization over timevarying networksSubjects: Optimization and Control (math.OC)
 [195] arXiv:2010.02571 (replaced) [pdf, ps, other]

Title: Chain level Steenrod operationsComments: Version after referee's comments. Associated code at this https URLSubjects: Algebraic Topology (math.AT)
 [196] arXiv:2010.07351 (replaced) [pdf, other]

Title: Improved Discretization of the Full FirstOrder Magnetic Field Integral EquationComments: 3 pages, 1 figure, accepted for the 15th European Conference on Antennas and Propagation 2021 (EuCAP)Subjects: Numerical Analysis (math.NA); Computational Physics (physics.compph)
 [197] arXiv:2010.10515 (replaced) [pdf, other]

Title: Finitesize corrections in critical symmetryresolved entanglementComments: 19 pages + Appendix, 5 figuresSubjects: Quantum Physics (quantph); Statistical Mechanics (condmat.statmech); High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
 [198] arXiv:2010.11927 (replaced) [pdf, ps, other]

Title: Dual description of $η$deformed OSP sigma modelsComments: 46 pages, 16 figures; v2: typos fixed; v3: references added, typos fixed, published versionJournalref: JHEP12(2020)040Subjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
 [199] arXiv:2010.14882 (replaced) [pdf, ps, other]

Title: Regularity of Lipschitz boundaries with prescribed subFinsler mean curvature in the Heisenberg group $\mathbb{H}^1$Comments: In the second version of the manuscript we add a new relation between the $K$mean curvature $H_K$ and the subRiemannian mean curvatureSubjects: Differential Geometry (math.DG); Metric Geometry (math.MG)
 [200] arXiv:2011.00083 (replaced) [pdf, ps, other]

Title: Estimating Sparse Discrete Distributions Under Local Privacy and Communication ConstraintsSubjects: Information Theory (cs.IT); Cryptography and Security (cs.CR); Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG)
 [201] arXiv:2011.03101 (replaced) [pdf]

Title: New identities with Stirling, hyperharmonic, and derangement numbers, Bernoulli and Euler polynomials, powers, and factorialsAuthors: Khristo N. BoyadzhievComments: 20 pagesJournalref: Journal of Combinatorics and Number Theory, 11(1)(2019), 4358Subjects: Number Theory (math.NT)
 [202] arXiv:2011.04552 (replaced) [pdf, ps, other]

Title: Exteriorpoint Operator Splitting for Nonconvex LearningSubjects: Optimization and Control (math.OC)
 [203] arXiv:2011.05957 (replaced) [pdf, ps, other]

Title: Counting Homomorphic Cycles in Degenerate GraphsSubjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
 [204] arXiv:2011.09245 (replaced) [pdf, ps, other]

Title: Complete asymptotic expansions of the spectral function for symbolic perturbations of almost periodic Schrödinger operators in dimension oneAuthors: Jeffrey GalkowskiComments: Small typographical corrections in section 5Subjects: Spectral Theory (math.SP); Mathematical Physics (mathph); Analysis of PDEs (math.AP)
 [205] arXiv:2011.10022 (replaced) [pdf, ps, other]

Title: The Switch Point AlgorithmSubjects: Optimization and Control (math.OC)
 [206] arXiv:2011.14591 (replaced) [pdf, ps, other]

Title: Stability Results Of Small Diameter Properties In Banach SpacesComments: 3 figures, 20 pagesSubjects: Functional Analysis (math.FA)
 [207] arXiv:2012.00933 (replaced) [pdf, other]

Title: Global and Individualized Community Detection in Inhomogeneous Multilayer NetworksComments: Corrected a few typos. 96 pages (main manuscript: 27 pages, appendices: 69 pages), 5 figuresSubjects: Statistics Theory (math.ST); Information Theory (cs.IT); Machine Learning (cs.LG)
 [208] arXiv:2012.02249 (replaced) [pdf, ps, other]

Title: Building manifolds from quantum codesComments: 32 pages, 7 figures; v2 minor clarifications, improved result using improved codes as inputSubjects: Differential Geometry (math.DG); Geometric Topology (math.GT); Quantum Physics (quantph)
 [209] arXiv:2012.07324 (replaced) [pdf, ps, other]

Title: Minimal model program for semistable threefolds in mixed characteristicComments: 39 pages. We added Remark 1.4 which refers to the paper arXiv:2012.15801 and discussions about applications to the end of Section 5Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
 [210] arXiv:2012.07368 (replaced) [pdf, ps, other]

Title: Effective Algorithms for Optimal Portfolio Deleveraging Problem with Cross ImpactSubjects: Optimization and Control (math.OC); Portfolio Management (qfin.PM)
 [211] arXiv:2012.07573 (replaced) [pdf, ps, other]

Title: Intersection numbers on $\overline {\mathcal M}_{g,n}$ and BKP hierarchyAuthors: Alexander AlexandrovComments: 16 pages, minor corrections, references addedSubjects: Mathematical Physics (mathph); High Energy Physics  Theory (hepth); Algebraic Geometry (math.AG); Exactly Solvable and Integrable Systems (nlin.SI)
 [212] arXiv:2012.10510 (replaced) [pdf, ps, other]

Title: On the structure of a poly$\mathbb{Z}$ groupAuthors: Madeline WeinsteinSubjects: Group Theory (math.GR)
 [213] arXiv:2012.12250 (replaced) [pdf, ps, other]

Title: Iteratively Reweighted Least Squares for $\ell_1$minimization with Global Linear Convergence RateComments: 23 pages, 3 figuresSubjects: Optimization and Control (math.OC); Information Theory (cs.IT); Machine Learning (cs.LG); Numerical Analysis (math.NA)
 [214] arXiv:2012.12936 (replaced) [pdf, other]

Title: Newton acceleration on manifolds identified by proximalgradient methodsSubjects: Optimization and Control (math.OC)
 [215] arXiv:2012.14930 (replaced) [pdf]

Title: Super Spacetime, a Model for Gravity and Dark MatterAuthors: Nasser BoroojerdianComments: 17 pages, 1 figure. arXiv admin note: text overlap with arXiv:2011.07382Subjects: General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph)
 [216] arXiv:2012.15235 (replaced) [pdf, other]

Title: Kirchhoff's theorem for Prym varietiesComments: 53 pages, 11 figures, Appendix by Sebastian CasalainaMartin. Included history of the KirchhoffPrym formula, following results of Zaslavsky and ReinerTseng. In the Appendix, Prop. A.3 revised and Thm. A.13 removed, due to errors in the statements; the latter replaced with reference to AproduFarkas and SchwarzSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
 [217] arXiv:2012.15480 (replaced) [pdf, other]

Title: Likelihood Ratio Exponential FamiliesComments: NeurIPS Workshop on Deep Learning through Information GeometrySubjects: Machine Learning (cs.LG); Information Theory (cs.IT); Machine Learning (stat.ML)
 [218] arXiv:2012.15507 (replaced) [pdf, ps, other]

Title: Moments of polynomials with random multiplicative coefficientsComments: Minor changes in the proofs of Theorems 1.3 and 4.3Subjects: Number Theory (math.NT); Probability (math.PR)
 [219] arXiv:2101.00044 (replaced) [pdf, ps, other]

Title: Fiber integration of gerbes and Deligne line bundlesComments: 13 Pages. Changes to the title and introduction to better reflect the content. The content is unchangedSubjects: Algebraic Geometry (math.AG)
 [220] arXiv:2101.00343 (replaced) [pdf, ps, other]

Title: A TimeInconsistent Dynkin Game: from Intrapersonal to Interpersonal EquilibriaSubjects: Optimization and Control (math.OC); Mathematical Finance (qfin.MF)
 [221] arXiv:2101.00365 (replaced) [pdf, ps, other]

Title: Generalized $F$depth and graded nilpotent singularitiesComments: 17 pages, comments welcome, v2 fixed errors and updated referencesSubjects: Commutative Algebra (math.AC)
 [222] arXiv:2101.01296 (replaced) [pdf, ps, other]

Title: On the asymptotic decay of the SchrödingerNewton ground stateAuthors: Michael K.H. KiesslingComments: 5 pages; compared to v1, rigorous upper and lower bounds on the $L^2$ norm of the ground state have been supplied nowSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph); Quantum Physics (quantph)
 [223] arXiv:2101.03177 (replaced) [pdf, other]

Title: New Heat Kernel Method in Lifshitz TheoriesComments: 47 pages, 1 figure; v2: appendix C updated, minor typos corrected, references addedSubjects: High Energy Physics  Theory (hepth); General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph)
 [224] arXiv:2101.03476 (replaced) [pdf, ps, other]

Title: Enumerating Staircase Diagrams and Smooth Schubert Varieties over type $E$ Dynkin DiagramsComments: 21 pages, colorful figuresSubjects: Combinatorics (math.CO); Algebraic Geometry (math.AG)
 [225] arXiv:2101.03761 (replaced) [pdf, ps, other]

Title: Kolmogorov's theory of turbulence and its rigorous 1d modelAuthors: Sergei KuksinSubjects: Mathematical Physics (mathph); Analysis of PDEs (math.AP); Fluid Dynamics (physics.fludyn)
 [226] arXiv:2101.05065 (replaced) [src]

Title: On a twoplayer transversal game on a square gridAuthors: Adrian DumitrescuComments: The rules of the game were misinterpreted. The short analysis does not standSubjects: Combinatorics (math.CO)
 [227] arXiv:2101.05604 (replaced) [pdf, ps, other]

Title: Decoding of Interleaved Linearized ReedSolomon Codes with Applications to Network CodingComments: 6 pages, 2 figures, submitted to ISIT 2021Subjects: Information Theory (cs.IT)
[ showing up to 2000 entries per page: fewer  more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2101, contact, help (Access key information)