Search

When a closed Finsler manifold admits continuous isometric actions, estimating the number of orbits of prime closed geodesics seems a more reasonable substitution for estimating the number of prime closed geodesics. To generalize the works of H. Duan, Y. Long, H.B. Rademacher, W. Wang and others on the existence of two prime closed geodesics to the equivariant situation, we purpose the question if a closed Finsler manifold has only one orbit of prime closed geodesic if and only if it is a compact rank-one Riemannian symmetric space. In this paper, we study this problem in homogeneous Finsler geometry, and get a positive answer when the dimension is even or the metric is reversible. We guess the rank inequality and algebraic techniques in this paper may continue to play an important role for discussing our question in the non-homogeneous situation., Comment: 29 pages

We show that Stolarsky's invariance principle, known for point distributions on the Euclidean spheres, can be extended to the real, complex, and quaternionic projective spaces and the octonionic projective plane. A part of the results (Theorem~1.1 ana Corollary~1.1) was given early in the previous paper [22], while the explicit formulas for the constants in the invariance principles for projective spaces (Theorem~1.2 and Corollary~1.2) are new., Comment: arXiv admin note: the paper is a revised version of arXiv:1805.03541

This paper investigates the existence of weak solutions of biquasilinear boundary value problem for a coupled elliptic-parabolic system of divergence form with discontinuous leading coefficients. The mathematical framework addressed in the article considers the presence of an additional nonlinearity in the model which reflects the radiative thermal boundary effects in some applications of interest. The results are obtained via the Rothe-Galerkin method. Only weak assumptions are made on the data and the boundary conditions are allowed to be on a general form. The major contribution of the current paper is the explicit expressions for the constants appeared in the quantitative estimates that are derived. These detailed and explicit estimates may be useful for the study on nonlinear problems that appear in the real world applications. In particular, they clarify the smallness conditions. In conclusion, we illustrate how the above results may be applied to the thermoelectrochemical phenomena in an electrolysis cell. This problem has several applications as for instance to optimize the cell design and operating conditions., Comment: 26 pages, 1 figure

In this paper, we derive the explicit expressions of two Markov semi-groups constructed by P. Biane in \cite{Bia1} from the restriction of a particular positive definite function on the complex unimodular group $Sl(2,\mathbb{C})$ to two commutative subalgebras of its universal $C^{\star}$-algebra. Our computations use Euclidean Fourier analysis together with the generating function of Laguerre polynomials with index $-1$, and yield absolutely-convergent double series representations of the semi-group densities. In the last part of the paper, we discuss the coincidence, noticed by Biane as well, occurring between the heat kernel on the Heisenberg group and the semi-group corresponding to the intersection of the principal and the complementary series. To this end, we appeal to the metaplectic representation $Mp(4,\mathbb{R})$ and to the Landau operator in the complex plane., Comment: The intertwining operator is derived in the case of principal series

Estimating eigenvectors and low-dimensional subspaces is of central importance for numerous problems in statistics, computer science, and applied mathematics. This paper characterizes the behavior of perturbed eigenvectors for a range of signal-plus-noise matrix models encountered in both statistical and random matrix theoretic settings. We prove both first-order approximation results (i.e. sharp deviations) as well as second-order distributional limit theory (i.e. fluctuations). The concise methodology considered in this paper synthesizes tools rooted in two core concepts, namely (i) deterministic decompositions of matrix perturbations and (ii) probabilistic matrix concentration phenomena. We illustrate our theoretical results via simulation examples involving stochastic block model random graphs., Comment: 12 pages, 2 figures, 1 table

We establish a Dahlberg-type perturbation theorem for second order divergence form elliptic operators with complex coefficients. In our previous paper, we showed the following result: If ${\mathcal L}_0=\mbox{div} A^0(x)\nabla+B^0(x)\cdot\nabla$ is a $p$-elliptic operator satisfying certain Carleson condition on $\nabla A$ and $B$ then the $L^p$ Dirichlet problem for the operator ${\mathcal L}_0$ is solvable in the upper half-space ${\mathbb R}^n_+$. In this paper we prove that the $L^p$ solvability is stable under small perturbations of ${\mathcal L}_0$. That is if ${\mathcal L}_1$ is another divergence form elliptic operator with complex coefficients and the coefficients of the operators ${\mathcal L}_0$ and ${\mathcal L}_1$ are sufficiently close in the sense of Carleson measures (considering the differences of coefficients), then the $L^p$ Dirichlet problem for the operator ${\mathcal L}_1$ is solvable for the same value of $p$. As a corollary we obtain a new result on $L^p$ solvability of the Dirichlet problem for operators of the form ${\mathcal L}=\mbox{div} A(x)\nabla+B(x)\cdot\nabla$ where the matrix $A$ satisfies weaker Carleson condition than in our earlier paper; in particular the coefficients of $A$ need no longer be differentiable and instead satisfy a Carleson condition that controls the oscillation of the matrix $A$ over Whitney boxes. This result in the real case has been established by Dindo\v{s}, Petermichl and Pipher., Comment: 23 pages. arXiv admin note: text overlap with arXiv:1612.01568

Let $n$ be an integer$\geqq0$. Let $S^{n+2}_1$ (respectively, $S^{n+2}_2$) be the $(n+2)$-sphere embedded in the $(n+4)$-sphere $S^{n+4}$. Let $S^{n+2}_1$ and $S^{n+2}_2$ intersect transversely. Suppose that the smooth submanifold, $S^{n+2}_1 \cap S^{n+2}_2$ in $S^{n+2}_i$ is PL homeomophic to the $n$-sphere. Then $S^{n+2}_1$ and $S^{n+2}_2$ in $S^{n+2}_i$ is an $n$-knot $K_i$. We say that the pair $(K_1,K_2)$ of n-knots is realizable. We consider the following problem in this paper. Let $A_1$ and $A_2$ be n-knots. Is the pair $(A_1,A_2)$ of $n$-knots realizable? We give a complete characterization., Comment: 22 pages, 1 figure,Chapter I: Mathematical Research Letters, 1998, 5, 577-582. Chapter II: University of Tokyo preprint series UTMS 95-50. This paper is beased on the author's master thesis 1994, and his PhD thesis 1996

This paper provides a systematic study of fundamental combinatorial properties of one-dimensional, two-sided infinite simple Toeplitz subshifts. Explicit formulas for the complexity function, the palindrome complexity function and the repetitivity function are proven. Moreover, a complete description of the de Bruijn graphs of the subshifts is given. Finally, the Boshernitzan condition is characterised in terms of combinatorial quantities, based on a recent result of Liu and Qu. Particular simple characterisations are provided for simple Toeplitz subshifts that correspond to the orbital Schreier graphs of the family of Grigorchuk's groups, a class of subshifts that serves as main example throughout the paper., Comment: Minor corrections in the proofs of Proposition 3.4 and 5.4; results unchanged. In addition, several typos were corrected and some references were added

Associated with each finite subgroup $\Gamma $ of ${\textrm {SL}}_2({\mathbb {C}})$ there is a family of noncommutative algebras $O_\tau (\Gamma )$ quantizing ${\mathbb {C}}^2/\!\!/\Gamma $. Let $G_\Gamma $ be the group of $\Gamma $-equivariant automorphisms of $O_\tau $. In [16], one of the authors defined and studied a natural action of $G_\Gamma $ on certain quiver varieties associated with $\Gamma $. He established a $G_\Gamma $-equivariant bijective correspondence between quiver varieties and the space of isomorphism classes of $O_\tau $-ideals. In this paper we prove that the action of $G_\Gamma $ on the quiver variety is transitive when $\Gamma $ is a cyclic group. This generalizes an earlier result due to Berest and Wilson who showed the transitivity of the automorphism group of the 1st Weyl algebra on the Calogero–Moser spaces. Our result has two important implications. First, it confirms the Bocklandt–Le Bruyn conjecture for cyclic quiver varieties. Second, it will be used to give a complete classification of algebras Morita equivalent to $O_\tau (\Gamma ),$ thus answering the question of Hodges. At the end of the introduction we explain why the result of this paper does not extend when $\Gamma $ is not cyclic.

While there has been considerable interest in the problem of finding elliptic curves of high rank over $\mathbb{Q}$, very few parametrized families of elliptic curves of generic rank $\geq 8$ have been published. In this paper we use solutions of certain symmetric diophantine systems to construct several parametrized families of elliptic curves with their generic ranks ranging from at least 8 to at least 12. Specific numerical values of the parameters yield elliptic curves with quite large coefficients and we could therefore determine the precise rank only in a few cases where the rank of the elliptic curve $\leq 13$. It is, however, expected that the parametrized families of elliptic curves obtained in this paper would yield examples of elliptic curves with much higher rank., Comment: 25 pages

Suppose that $n\geq 1$ and that, for all $i$ and $j$ with $1\leq i,j\leq n$ and $i\neq j$, $z_{ij}\in{\mathbb T}$ are given such that $z_{ji}=\overline{z}_{ij}$ for all $i\neq j$. If $V_1,\dotsc, V_n$ are isometries on a Hilbert space such that $V_i^\ast V_j^{\phantom{\ast}}\!=\overline{z}_{ij} V_j^{\phantom{\ast}}\!V_i^\ast$ for all $i\neq j$, then $(V_1,\dotsc,V_n)$ is called an $n$-tuple of doubly non-commuting isometries. The generators of non-commutative tori are well-known examples. In this paper, we establish a simultaneous Wold decomposition for $(V_1,\dotsc,V_n)$. This decomposition enables us to classify such $n$-tuples up to unitary equivalence. We show that the joint listing of a unitary equivalence class of a representation of each of the $2^n$ non-commutative tori that are naturally associated with the structure constants is a classifying invariant. A dilation theorem is also established, showing that an $n$-tuple of doubly non-commuting isometries can be extended to an $n$-tuple of doubly non-commuting unitary operators on an enveloping Hilbert space., Comment: A remark on the relation between the dilation theorem in this paper and other dilation theorems for multiple operators in the literature has been added. Otherwise, there are only a few minor editorial changes compared to the first version; some typos have also been corrected. Final version, to appear in Advances in Mathematics

Given a finite collection of $C^1$ vector fields on a $C^2$ manifold which span the tangent space at every point, we consider the question of when there is locally a coordinate system in which these vector fields are real analytic. We give necessary and sufficient, coordinate-free conditions for the existence of such a coordinate system. Moreover, we present a quantitative study of these coordinate charts. This is the third part in a three-part series of papers. The first part, joint with Stovall, lay the groundwork for the coordinate system we use in this paper and showed how such coordinate charts can be viewed as scaling maps for sub-Riemannian geometry. The second part dealt with the analogous questions with real analytic replaced by $C^\infty$ and Zygmund spaces., Comment: 44 pages; final version; to appear in Asian Jour. Math.; third part in a three-part series; part 1: arXiv:1709.04528; part 2: arXiv:1808.04159

In the paper, we construct conservative Markov processes corresponding to the martingale solutions to the stochastic heat equation on R + \mathbb {R}^+ or R \mathbb {R} with values in a general Riemannian manifold, which is only assumed to be complete and stochastic complete. This work is an extension of the previous paper of Röckner and the second, third, and fourth authors [SIAM J. Math. Anal. 52 (2020), pp. 2237–2274] on finite volume case. Moveover, we also obtain some functional inequalities associated to these Markov processes. This implies that on infinite volume case, the exponential ergodicity of the solution of the Ricci curvature is strictly positive and the non-ergodicity of the process if the sectional curvature is negative.

In this paper, we study the $H^s$-stability of the log-log blowup regime (which has been completely described in a series of recent works by Merle and Raphael) for the focusing mass-critical nonlinear Schr\"odinger equations $i\partial_tu+\Delta u+|u|^\frac4du=0$ in $\mathbb{R}^d$ with $d\geq3$. We aim to extend the result in [Colliander and Raphael, Rough blowup solutions to the $L^2$ critical NLS, Math. Anna., 345(2009), 307-366.] for dimension two to the higher dimensions cases $d\geq3$, where we use the bootstrap argument in the above paper and the commutator estimates in [M. Visan and X. Zhang, On the blowup for the $L^2$-critical focusing nonlinear Schr\"odinger equation in higher dimensions below the energy class. SIAM J. Math. Anal., 39(2007), 34-56.]., Comment: Comments are welcome. arXiv admin note: text overlap with arXiv:0907.5047 by other authors

Order-enriched solid functors, as presented in this paper in two versions, enjoy many of the strong properties of their ordinary counterparts, including the transfer of the existence of weighted (co)limits from their codomains to their domains. The ordinary version of the notion first appeared in Trnkov\'a's work on automata theory of the 1970s and was subsequently studied by others under various names, before being put into a general enriched context by Anghel. Our focus in this paper is on differentiating the order-enriched notion from the ordinary one, mostly in terms of the functor's behaviour with respect to specific weighted (co)limits, and on the presentation of examples, which include functors of general varieties of ordered algebras and special ones, such as ordered vector spaces.

Adaptive regularization with cubics (ARC) is an algorithm for unconstrained, non-convex optimization. Akin to the popular trust-region method, its iterations can be thought of as approximate, safe-guarded Newton steps. For cost functions with Lipschitz continuous Hessian, ARC has optimal iteration complexity, in the sense that it produces an iterate with gradient smaller than $\varepsilon$ in $O(1/\varepsilon^{1.5})$ iterations. For the same price, it can also guarantee a Hessian with smallest eigenvalue larger than $-\varepsilon^{1/2}$. In this paper, we study a generalization of ARC to optimization on Riemannian manifolds. In particular, we generalize the iteration complexity results to this richer framework. Our central contribution lies in the identification of appropriate manifold-specific assumptions that allow us to secure these complexity guarantees both when using the exponential map and when using a general retraction. A substantial part of the paper is devoted to studying these assumptions---relevant beyond ARC---and providing user-friendly sufficient conditions for them. Numerical experiments are encouraging., Comment: 48 pages, 3 figures

We examine the phenomenon when surjective algebra homomorphisms between algebras of operators on Banach spaces are automatically injective. In the first part of the paper we shall show that for certain Banach spaces $X$ the following property holds: For every non-zero Banach space $Y$ every surjective algebra homomorphism $\psi: \, \mathcal{B}(X) \rightarrow \mathcal{B}(Y)$ is automatically injective. In the second part of the paper we consider the question in the opposite direction: Building on the work of Kania, Koszmider and Laustsen \textit{(Trans. London Math. Soc., 2014)} we show that for every separable, reflexive Banach space $X$ there is a Banach space $Y_X$ and a surjective but not injective algebra homomorphism $\psi: \, \mathcal{B}(Y_X) \rightarrow \mathcal{B}(X)$., Comment: 28 pp. The SHAI property of both real- and complex Hilbert spaces discussed. To appear in Studia Mathematica

The main object in this paper is a certain rational convex polytope whose lattice points give a polyhedral realization of a highest weight crystal basis. This is also identical to a Newton-Okounkov body of a flag variety, and it gives a toric degeneration. In this paper, we prove that a specific class of this polytope is given by Kiritchenko's Demazure operators on polytopes. This implies that polytopes in this class are all lattice polytopes. As an application, we give a sufficient condition for the corresponding toric variety to be Gorenstein Fano., Comment: 21 pages

Attempting to recognize a tree inside a phylogenetic network is a fundamental undertaking in evolutionary analysis. In the last few years, therefore, tree-based phylogenetic networks, which are defined by a spanning tree called a subdivision tree, have attracted attention of theoretical biologists. However, the application of such networks is still not easy, due to many problems whose time complexities are not clearly understood. In this paper, we provide a general framework for solving those various old or new problems from a coherent perspective, rather than analyzing the complexity of each individual problem or developing an algorithm one by one. More precisely, we establish a structure theorem that gives a way to canonically decompose any rooted binary phylogenetic network N into maximal zig-zag trails that are uniquely determined, and use it to characterize the set of subdivision trees of N in the form of a direct product, in a way reminiscent of the structure theorem for finitely generated Abelian groups. From the main results, we derive a series of linear time and linear time delay algorithms for the following problems: given a rooted binary phylogenetic network N, 1) determine whether or not N has a subdivision tree and find one if there exists any; 2) measure the deviation of N from being tree-based; 3) compute the number of subdivision trees of N; 4) list all subdivision trees of N; and 5) find a subdivision tree to maximize or minimize a prescribed objective function. All algorithms proposed here are optimal in terms of time complexity. Our results do not only imply and unify various known results, but also answer many open questions and moreover enable novel applications, such as the estimation of a maximum likelihood tree underlying a tree-based network. The results and algorithms in this paper still hold true for a special class of rooted non-binary phylogenetic networks., Comment: 23 pages, 9 figures. NB: The title of this paper has been changed twice. v2: minor revision v3: minor revision v4: title changed; Section 4 restructured; Abstract, Introduction, Sections 6 and Conclusion edited; Subsections 3.2 and 4.2 added; new proofs of some known results added (Subsections 4.2 & 5.3); pseudo-code of each algorithm, figures, references, open problems added

A. Zinger defined reduced Gromov-Witten (GW) invariants and proved a comparison theorem of standard and reduced genus one GW invariants for every symplectic manifold (with all dimension). H. -L. Chang and J. Li provided a proof of the comparison theorem for quintic Calabi-Yau 3-folds in algebraic geometry by taking a definition of reduced invariants as an Euler number of certain vector bundle. T. Coates and C. Manolache have defined reduced GW invariants in algebraic geometry following the idea by Vakil and Zinger and proved the comparison theorem for every Calabi-Yau threefold. In this paper, we prove the comparison theorem for every (not necessarily Calabi-Yau) complete intersection of dimension 2 or 3 in projective spaces by taking a definition of reduced GW invariants in the paper of Coates and Manolache., Comment: 27 pages

In this paper, we extend bottleneck stability to the setting of one dimensional constructible persistences module valued in any small abelian category., Comment: We have made major revisions to this paper. We have streamlined our arguments and cleaned up the appalling number of typos

A family $\{Q_{\beta}\}_{\beta \geq 0}$ of Markov chains is said to exhibit $\textit{metastable mixing}$ with $\textit{modes}$ $S_{\beta}^{(1)},\ldots,S_{\beta}^{(k)}$ if its spectral gap (or some other mixing property) is very close to the worst conductance $\min(\Phi_{\beta}(S_{\beta}^{(1)}), \ldots, \Phi_{\beta}(S_{\beta}^{(k)}))$ of its modes. We give simple sufficient conditions for a family of Markov chains to exhibit metastability in this sense, and verify that these conditions hold for a prototypical Metropolis-Hastings chain targeting a mixture distribution. Our work differs from existing work on metastability in that, for the class of examples we are interested in, it gives an asymptotically exact formula for the spectral gap (rather than a bound that can be very far from sharp) while at the same time giving technical conditions that are easier to verify for many statistical examples. Our bounds from this paper are used in a companion paper to compare the mixing times of the Hamiltonian Monte Carlo algorithm and a random walk algorithm for multimodal target distributions., Comment: arXiv admin note: text overlap with arXiv:1808.03230

In this paper we give a very simple proof of the existence and plenitude of Runge tubes in $\mathbb C^n$ $(n>1)$ and, more generally, in Stein manifolds with the density property. We show in particular that for any algebraic submanifold $A$ of codimension at least two in a complex Euclidean space $\mathbb C^n$, the normal bundle of $A$ in $\mathbb C^n$ admits a holomorphic embedding onto a Runge domain in $\mathbb C^n$ which agrees with the inclusion map $A\hookrightarrow \mathbb C^n$ on the zero section., In this version we added Remark 1.6 and Problem 1.7. The paper will appear in Proc. Amer. Math. Soc

Let $(M,\theta)$ be a compact strictly pseudoconvex pseudohermitian manifold which is CR embedded into a complex space. In an earlier paper, Lin and the authors gave several sharp upper bounds for the first positive eigenvalue $\lambda_1$ of the Kohn-Laplacian $\Box_b$ on $(M,\theta)$. In the present paper, we give a sharp upper bound for $\lambda_1$, generalizing and extending some previous results. As a corollary, we obtain a Reilly-type estimate when $M$ is embedded into the standard sphere. In another direction, using a Lichnerowicz-type estimate by Chanillo, Chiu, and Yang and an explicit formula for the Webster scalar curvature, we give a lower bound for $\lambda_1$ when the pseudohermitian structure $\theta$ is volume-normalized., Comment: 11 pages

In this Paper we study a Bloch-Torrey regularization of the Rosensweig system for ferrofluids. The scope of this paper is twofold. First of all, we investigate the existence and uniqueness of solutions \`a la Leray of this model in the whole bidimensional space. Interesting enough, the well-posedness relies on a variation of the Aubin-Lions lemma for fractional time derivatives. In the second part of this paper we investigate both the long- time behavior of weak solutions and the propagation of Sobolev regularities in dimension two

In a number of papers by Edge, and in a related paper by Fano, several properties are discussed of the family of scrolls of degree 8, in the complex projective space, whose plane sections are projected bicanonical models of a genus 3 curve C. This beautiful subject is implicitely related to the moduli of semistable rank two vector bundles on C with bicanonical determinant. We revisit and reconstruct this matter in modern terms with a modular point of view. This paper is the refereed version of a contribution to a volume in honor of W.L Edge, to be published by European Journal of Mathematics., Comment: 13 pages

In this paper, we prove that the net of transition chain is $\delta$-dense for nearly integrable positive definite Hamiltonian systems with 3 degrees of freedom in the cusp-residual generic sense in $C^r$-topology, $r\ge 6$. The main ingredients of the proof existed in \cite{CZ,C17a,C17b}. As an immediate consequence, Arnold diffusion exists among this class of Hamiltonian systems. The question of \cite{C17c} is answered in Section 9 of the paper., Comment: to appear

Given a compact Riemannian manifold with boundary, we prove that the space of embedded, which may be improper, free boundary minimal hypersurfaces with uniform area and Morse index upper bound is compact in the sense of smoothly graphical convergence away from finitely many points. We show that the limit of a sequence of such hypersurfaces always inherits a non-trivial Jacobi field when it has multiplicity one. In a forthcoming paper, we will construct Jacobi fields when the convergence has higher multiplicity., Comment: We fixed a gap in the construction of Jacobi fields and split the original paper into two parts. The followup paper(the second part) will deal with the construction of Jacobi fields when the convergence has higher multiplicity

The objective of this paper is to analyze analytic invariant sets of analytic ordinary differential equations (ODEs). For this purpose we introduce semi-invariants and invariant ideals as well as the notion of vector fields in Poincare-Dulac normal form (PDNF). We prove that all invariant ideals of a vector field in PDNF are already invariant for its semi-simple linear part. Additionally, this paper provides a natural characterization of invariant ideals via semi-invariants.

The dynamics of one parameter diagonal group actions on finite volume homogeneous spaces has a partially hyperbolic feature. In this paper we extend the Liv\v{s}ic type result to these possibly noncompact and nonaccessible systems. We also prove a central limit theorem for the Birkhoff averages of points on a horospherical orbit. The Liv\v{s}ic type result allows us to show that the variance of the central limit theorem is nonzero provided that the test function has nonzero mean with respect to an invariant probability measure., Comment: In this new version we remove the accessibility assumption in the regularity theorem, some typos are corrected. The paper is submitted

Jim Propp recently introduced a variant of chip-firing on a line where the chips are given distinct integer labels. Hopkins, McConville, and Propp showed that this process is confluent from some (but not all) initial configurations of chips. We recast their set-up in terms of root systems: labeled chip-firing can be seen as a root-firing process which allows the moves $\lambda \to \lambda + \alpha$ for $\alpha\in \Phi^{+}$ whenever $\langle\lambda,\alpha^\vee\rangle = 0$, where $\Phi^{+}$ is the set of positive roots of a root system of Type A and $\lambda$ is a weight of this root system. We are thus motivated to study the exact same root-firing process for an arbitrary root system. Actually, this central root-firing process is the subject of a sequel to this paper. In the present paper, we instead study the interval root-firing processes determined by $\lambda \to \lambda + \alpha$ for $\alpha\in \Phi^{+}$ whenever $\langle\lambda,\alpha^\vee\rangle \in [-k-1,k-1]$ or $\langle\lambda,\alpha^\vee\rangle \in [-k,k-1]$, for any $k \geq 0$. We prove that these interval-firing processes are always confluent, from any initial weight. We also show that there is a natural way to consistently label the stable points of these interval-firing processes across all values of $k$ so that the number of weights with given stabilization is a polynomial in $k$. We conjecture that these Ehrhart-like polynomials have nonnegative integer coefficients., Comment: 54 pages, 12 figures, 2 tables; v2: major revisions to improve exposition; v3: to appear in Mathematische Zeitschrift (Math. Z.)

We consider continuous linear programs over a continuous finite time horizon $T$, with a constant coefficient matrix, linear right hand side functions and linear cost coefficient functions, where we search for optimal solutions in the space of measures or of functions of bounded variation. These models generalize the separated continuous linear programming models and their various duals, as formulated in the past by Anderson, by Pullan, and by Weiss. In previous papers we have shown that these problems possess optimal strongly dual solutions. We also have presented a detailed description of optimal solutions and have defined a combinatorial analogue to basic solutions of standard LP. In this paper we present an algorithm which solves this class of problems in a finite bounded number of steps, using an analogue of the simplex method, in the space of measures.

In this paper, we study the algebraic symplectic geometry of the singular moduli spaces of Higgs bundles of degree $0$ and rank $n$ on a compact Riemann surface $X$ of genus $g$. In particular, we prove that such moduli spaces are symplectic singularities, in the sense of Beauville [Bea00], and admit a projective symplectic resolution if and only if $g=1$ or $(g, n)=(2,2)$. These results are an application of a recent paper by Bellamy and Schedler [BS16] via the so-called Isosingularity Theorem., Comment: 9 pages, comments welcome

In his seminal paper "Formality conjecture", M. Kontsevich introduced a graph complex $GC_{1ve}$ closely connected with the problem of constructing a formality quasi-isomorphism for Hochschild cochains. In this paper, we express the cohomology of the full directed graph complex explicitly in terms of the cohomology of $GC_{1ve}$. Applications of our results include a recent work by the first author which completely characterizes homotopy classes of formality quasi-isomorphisms for Hochschild cochains in the stable setting., Comment: Comments are welcome!

Vector-valued discrete Fourier transforms (DFTs) and ambiguity functions are defined. The motivation for the definitions is to provide realistic modeling of multi-sensor environments in which a useful time-frequency analysis is essential. The definition of the DFT requires associated uncertainty principle inequalities. The definition of the ambiguity function requires a component that leads to formulating a mathematical theory in which two essential algebraic operations can be made compatible in a natural way. The theory is referred to as frame multiplication theory. These definitions, inequalities, and theory are interdependent, and they are the content of the paper with the centerpiece being frame multiplication theory. The technology underlying frame multiplication theory is the theory of frames, short time Fourier transforms (STFTs), and the representation theory of finite groups. The main results have the following form: frame multiplication exists if and only if the finite frames that arise in the theory are of a certain type, e.g., harmonic frames, or, more generally, group frames. In light of the complexities and the importance of the modeling of time-varying and dynamical systems in the context of effectively analyzing vector-valued multi-sensor environments, the theory of vector-valued DFTs and ambiguity functions must not only be mathematically meaningful, but it must have constructive implementable algorithms, and be computationally viable. This paper presents our vision for resolving these issues, in terms of a significant mathematical theory, and based on the goal of formulating and developing a useful vector-valued theory.

This paper is concerned with spherical harmonics, and two refinements thereof: complex harmonics and symplectic harmonics. The reproducing kernels of the spherical and complex harmonics are explicitly given in terms of Gegenbauer or Jacobi polynomials. In the first part of the paper we determine the reproducing kernel for the space of symplectic harmonics, which is again expressible as a Jacobi polynomial of a suitable argument. In the second part we find plane wave formulas for the reproducing kernels of the three types of harmonics, expressing them as suitable integrals over Stiefel manifolds. This is achieved using Pizzetti formulas that express the integrals in terms of differential operators.

In the present paper, we consider the nonlocal Kirchhoff problem$$-\left(\epsilon^2a+\epsilon b\int_{{\open R}^{3}}\vert \nabla u \vert^{2}\right)\Delta u+V(x)u=u^{p}, \quad u \gt 0 \quad {\rm in} {\open R}^{3},$$ where a, b>0, 1

Let $(R,\frak m)$ be a commutative noetherian local ring. In this paper, we prove that if $\frak m$ is decomposable, then for any finitely generated $R$-module $M$ of infinite projective dimension $\frak m$ is a direct summand of (a direct sum of) syzygies of $M$. Applying this result to the case where $\frak m$ is quasi-decomposable, we obtain several classfications of subcategories, including a complete classification of the thick subcategories of the singularity category of $R$., Comment: 18 pages. Some minor changes throughout the paper; statement of Corollary 6.5 improved; Remark 6.7, Corollary 6.8, and reference [2] are added. Final version to appear in the Mathematical Proceedings of the Cambridge Philosophical Society

In the recent paper [Yan, Z.: Existence of homogeneous geodesics on homogeneous Finsler spaces of odd dimension, Monatsh. Math. 182,1, 165–171 (2017)], it was claimed that any homogeneous Finsler space of odd dimension admits a homogeneous geodesic through any point. However, the proof contains a serious gap. The situation is a bit delicate, because the statement is correct. In the present paper, the incorrect part in this proof is indicated. Further, it is shown that homogeneous geodesics in homogeneous Finsler spaces can be studied by another method developed in earlier works by the author for homogeneous affine manifolds. This method is adapted for Finsler geometry and the statement is proved correctly.

A period is a complex number arising as the integral of a rational function with algebraic number coefficients over a rationally-defined region. Although periods are typically transcendental numbers, there is a conjectural Galois theory of periods coming from the theory of motives. This paper formalizes an analogy between a class of periods called multiple zeta values, and congruences for rational numbers modulo prime powers (called supercongruences). We construct an analogue of the motivic period map in the setting of supercongruences, and use it to define a Galois theory of supercongruences. We describe an algorithm using our period map to find and prove supercongruences, and we provide software implementing the algorithm., Comment: 24 pages. Comments are welcome. Most of the results of this paper were previously part of arXiv:1608.06864

The paper provides a description of the sheaves of K\"ahler differentials of the arc space and jet schemes of an arbitrary scheme where these sheaves are computed directly from the sheaf of differentials of the given scheme. Several applications on the structure of arc spaces are presented., Comment: 30 pages; v3: substantial changes especially in Sections 8, 10, and 11; main results remain unchanged; several edits and additions throughout the paper aimed to improve the exposition; to appear in Duke Math. J

In this paper we study group-based Markov models of evolution and their mixtures. In the algebreo-geometric setting, group-based phylogenetic tree models correspond to toric varieties, while their mixtures correspond to secant and join varieties. Determining properties of these secant and join varieties can aid both in model selection and establishing parameter identifiability. Here we explore the first natural geometric property of these varieties: their dimension. The expected projective dimension of the join variety of a set of varieties is one more than the sum of their dimensions. A join variety that realizes the expected dimension is nondefective. Nondefectiveness is not only interesting from a geometric point-of-view, but has been used to establish combinatorial identifiability for several classes of phylogenetic mixture models. In this paper, we focus on group-based models where the equivalence classes of identified parameters are orbits of a subgroup of the automorphism group of the group defining the model. In particular, we show that, for these group-based models, the variety corresponding to the mixture of $r$ trees with $n$ leaves is nondefective when $n \geq 2r+5$. We also give improved bounds for claw trees and give computational evidence that 2-tree and 3-tree mixtures are nondefective for small~$n$., Comment: 24 pages, 4 figures

In this paper, it is shown that non-isomorphic effective linear circle actions yield non-diffeomorphic differential structures on the corresponding orbit spaces., Comment: 17 pages. This paper is the result of a Summer 2016 REU (undergraduate research) project at the University of Colorado Boulder. [V2 update: the earlier version contained material not dealt with during the REU, which will be published separately.] To appear in Involve

In a series of papers [Pan0], [Pan1], [Pan2], [Pan3] we give a detailed and better structured proof of the Grothendieck--Serre's conjecture for semi-local regular rings containing a finite field. The outline of the proof is the same as in [P1],[P2],[P3]. If the semi-local regular ring contains an infinite field, then the conjecture is proved in [FP]. Thus the conjecture is true for regular local rings containing a field. The present paper is the one [Pan1] in that new series. Theorem 1.1 is one of the main result of the paper. It is also one of the key steps in the proof of the Grothendieck--Serre's conjecture for semi-local regular rings containing a field (see [Pan3]). The proof of Theorem 1.1 is completely geometric., Comment: arXiv admin note: text overlap with arXiv:1406.0241

In this paper, we give a resolution of the generalized Fermat equations $$x^5 + y^5 = 3 z^n \text{ and } x^{13} + y^{13} = 3 z^n,$$ for all integers $n \ge 2$, and all integers $n \ge 2$ which are not a multiple of $7$, respectively, using the modular method with Frey elliptic curves over totally real fields. The results require a refined application of the multi-Frey technique, which we show to be effective in new ways to reduce the bounds on the exponents $n$. We also give a number of results for the equations $x^5 + y^5 = d z^n$, where $d = 1, 2$, under additional local conditions on the solutions. This includes a result which is reminiscent of the second case of Fermat's Last Theorem, and which uses a new application of level raising at $p$ modulo $p$., Comment: Includes more details regarding the connection of this paper with its sequel 'Some extensions of the modular method and Fermat-equations of signature (13,13,n)'. More precisely: extended Remark 7.4; added details on the computational parts of the proofs of Proposition 9 and Theorem 2; included new comments and polished the auxiliary Magma files for Proposition 9 and Theorem 2

Let $G$ be a simple and simply connected algebraic group over an algebraically closed field $\Bbbk$ of characteristic $p>0$. Assume that $p$ is good for the root system of $G$ and that the covering map $G_{sc} \rightarrow G$ is separable. In previous work we proved the existence of a (not necessarily unique) Springer isomorphism for $G$ that behaved like the exponential map on the resticted nullcone of $G$. In the present paper we give a formal definition of these maps, which we call `generalized exponential maps.' We provide an explicit and uniform construction of such maps for all root systems, demonstrate their existence over $\mathbb{Z}_{(p)}$, and give a complete parameterization of all such maps. One application is that this gives a uniform approach to dealing with the "saturation problem" for a unipotent element $u$ in $G$, providing a new proof of the known result that $u$ lies inside a subgroup of $C_G(u)$ that is isomorphic to a truncated Witt group. We also develop a number of other explicit and new computations for $\mathfrak{g}$ and for $G$. This paper grew out of an attempt to answer a series of questions posed to us by P. Deligne, who also contributed several of the new ideas that appear here., 28 pages, comments welcome!

We prove that any rigid representation of $\pi_1\Sigma_g$ in $\mathrm{Homeo}_+(S^1)$ with Euler number at least $g$ is necessarily semi-conjugate to a discrete, faithful representation into $\mathrm{PSL}(2,\mathbb{R})$. Combined with earlier work of Matsumoto, this precisely characterizes Fuchsian actions by a topological rigidity property. Though independent, this work can be read as an introduction to the companion paper {\em rigidity and geometricity for surface group actions on the circle}, by the same authors., Comment: Companion paper to arXiv:1710.04902 [math.GT] by the same authors. This article gives a simple proof of a special case

We extend the classical Fuller index, and use this to prove that for a certain general class of vector fields $X$ on a compact smooth manifold, if a homotopy of smooth non-singular vector fields starting at $X$ has no sky catastrophes as defined by the paper, then the time 1 limit of the homotopy has periodic orbits. This class of vector fields includes the Hopf vector field on $S ^{2k+1} $. A sky catastrophe, is a kind of bifurcation originally discovered by Fuller. This answers a natural question that existed since the time of Fuller's foundational papers. We also put strong constraints on the kind of sky-catastrophes that may appear for homotopies of Reeb vector fields., Comment: 16 pgs. Version accepted by International Journal of math. Some improvements to presentation, added references

The goal of this paper is to investigate the stability of the Helmholtz equation in the high- frequency regime with non-smooth and rapidly oscillating coefficients on bounded domains. Existence and uniqueness of the problem can be proved using the unique continuation principle in Fredholm's alternative. However, this approach does not give directly a coefficient-explicit energy estimate. We present a new theoretical approach for the one-dimensional problem and find that for a new class of coefficients, including coefficients with an arbitrary number of discontinuities, the stability constant (i.e., the norm of the solution operator) is bounded by a term independent of the number of jumps. We emphasize that no periodicity of the coefficients is required. By selecting the wave speed function in a certain \resonant" way, we construct a class of oscillatory configurations, such that the stability constant grows exponentially in the frequency. This shows that our estimates are sharp., Comment: a) Added references, b) rewritten the introduction with a summary of the results/techniques of the paper, c) Corrected typos

In this paper, we extend Lotay-Wei's Shi-type estimate from Laplacian flow to more general flows of G$_2$ structures including the modified Laplacian co-flow. Then we prove a version of $\kappa$-non-collapsing theorem. We will use both of them to study finite time singularities of general flows of G$_2$ structures., Comment: The previous version is too short. So it is merged into a new paper