Solidot 公告
请在发布文章时用HTML代码加上至少一条新闻来源的链接；原创性消息，可加入相关信息（如涉及公司的网址）的链接。有任何问题，邮件至：he.fang#zhiding.cn
ken：feigaobox@gmail.com
注意：收到邮件乱码的用户请修改客户端的默认字体编码，从"简体中文（GB2312）"修改为"Unicode（UTF8）"。
投 票
信息流

In this work we study orthogonal polynomials via polynomial mappings in the framework of the $H_q$semiclassical class. We consider two monic orthogonal polynomial sequences $\{p_n (x)\}_{n\geq0}$ and $\{q_n(x)\}_{n\geq0}$ such that $$ p_{kn}(x)=q_n(x^k)\;,\quad n=0,1,2,\ldots\;, $$ being $k$ a fixed integer number such that $k\geq2$, and we prove that if one of the sequences $\{p_n (x)\}_{n\geq0}$ or $\{q_n(x)\}_{n\geq0}$ is $H_q$semiclassical, then so is the other one. In particular, we show that if $\{p_n(x)\}_{n\geq0}$ is $H_q$semiclassical of class $s\leq k1$, then $\{q_n (x)\}_{n\geq0}$ is $H_{q^k}$classical. This fact allows us to recover and extend recent results in the framework of cubic transformations, whenever we consider the above equality with $k=3$. The idea of blocks of recurrence relations introduced by Charris and Ismail plays a key role in our study.
收起

We study the stationary Stokes system with variable coefficients in the whole space, a half space, and on bounded Lipschitz domains. In the whole and half spaces, we obtain a priori $\dot W^1_q$estimates for any $q\in [2,\infty)$ when the coefficients are merely measurable functions in one fixed direction. For the system on bounded Lipschitz domains with a small Lipschitz constant, we obtain a $W^1_q$estimate and prove the solvability for any $q\in (1,\infty)$ when the coefficients are merely measurable functions in one direction and have locally small mean oscillations in the orthogonal directions in each small ball, where the direction is allowed to depend on the ball.
收起

We develop an $\infty$categorical version of the classical theory of polynomial and analytic functors, initial algebras, and free monads. Using this machinery, we provide a new model for $\infty$operads, namely $\infty$operads as analytic monads. We justify this definition by proving that the $\infty$category of analytic monads is equivalent to that of dendroidal Segal spaces, which are known to be equivalent to the other existing models for $\infty$operads.
收起

Our main result is the $\mathcal{C}^0$rigidity of the area spectrum and the Maslov class of Lagrangian submanifolds. This relies on the existence of punctured pseudoholomorphic discs in cotangent bundles with boundary on the zero section, whose boundaries represent any integral homology class. We discuss further applications of these punctured discs in symplectic geometry.
收起

Inductive inductive $k$independent graphs are a generalization of chordal graphs and have recently been advocated in the context of interferenceavoiding wireless communication scheduling. The NPhard problem of finding maximumweight induced $c$colorable subgraphs, which is a generalization of finding maximum independent sets, naturally occurs when selecting $c$ sets of pairwise nonconflicting jobs (modeled as graph vertices). We investigate the parameterized complexity of this problem on inductive inductive $k$independent graphs. We show that the Independent Set problem is W[1]hard even on 2simplicial 3minoesa subclass of inductive 2independent graphs. On the contrary, we prove that the more general Maximum $c$Colorable Subgraph problem is fixedparameter tractable on edgewise unions of cluster and chordal graphs, which are 2simplicial. In both cases, the parameter is the solution size. Aside from this, we survey other graph classes between inductive inductive 1indepen
收起

We study linear systems of equations arising from a stochastic Galerkin finite element discretization of saddle point problems with random data and its iterative solution. We consider the Stokes flow model with random viscosity described by the exponential of a correlated Gaussian process and shortly discuss the discretization framework and the representation of the emerging matrix equation. Due to the high dimensionality and the coupling of the associated symmetric, indefinite, linear system, we resort to iterative solvers and problemspecific preconditioners. As a standard iterative solver for this problem class, we consider the block diagonal preconditioned MINRES method and further introduce the BramblePasciak conjugate gradient method as a promising alternative. This special conjugate gradient method is formulated in a nonstandard inner product with a block triangular preconditioner. From a structural point of view, such a block triangular preconditioner enables a better approxi
收起

A compact metric space is called a \emph{generalized Peano space} if all its components are locally connected and if for any constant $C>0$ all but finitely many of the components are of diameter less than $C$. Given a compact set $K\subset\mathbb{C}$, there usually exist several upper semicontinuous decompositions of $K$ into subcontinua such that the quotient space, equipped with the quotient topology, is a generalized Peano space. We show that one of these decompositions is finer than all the others and call it the \emph{core decomposition of $K$ with Peano quotient}. For specific choices of $K$, this core decomposition coincides with two models obtained recently, namely the locally connected models for unshielded planar continua (like connected Julia sets of polynomials) and the finitely Suslinian models for unshielded planar compact sets (like disconnected Julia sets of polynomials). We further answer several questions posed by Curry in 2010. In particular, we can exclude the
收起

In this article, we consider the problem of simultaneous testing of hypotheses when the individual test statistics are not necessarily independent. Specifically, we consider the problem of simultaneous testing of point null hypotheses against twosided alternatives about the mean parameters of normally distributed random variables. We assume that conditionally given the vector means, these random variables jointly follow a multivariate normal distribution with a known but arbitrary covariance matrix. We consider a Bayesian framework where each unknown mean parameter is modeled through a twocomponent point mass mixture prior, whereby unconditionally the test statistics jointly have a mixture of multivariate normal distributions. A new testing procedure is developed that uses the dependence among the test statistics and works in a step down like manner. This procedure is general enough to be applied to even for nonnormal data. A decision theoretic justification in favor of the proposed
收起

Martingales constitute a basic tool in stochastic analysis; this paper considers their application to counting processes. We use this tool to revisit a renewal theorem and its extensions for various counting processes. We first consider a renewal process as a pilot example, deriving a new semimartingale representation that differs from the standard decomposition via the stochastic intensity function. We then revisit Blackwell's renewal theorem, its refinements and extensions. Based on these observations, we extend the semimartingale representation to a general counting process, and give conditions under which asymptotic behaviour similar to Blackwell's renewal theorem holds.
收起

We introduce a new methodology to design uniformly accurate methods for oscillatory evolution equations. The targeted models are envisaged in a wide spectrum of regimes, from nonstiff to highlyoscillatory. Thanks to an averaging transformation, the stiffness of the problem is softened, allowing for standard schemes to retain their usual orders of convergence. Overall, highorder numerical approximations are obtained with errors and at a cost independent of the regime.
收起

In this paper, we introduce two new nonsingular kernel fractional derivatives and present a class of other fractional derivatives derived from the new formulations. We present some important results of uniformly convergent sequences of continuous functions, in particular the Comparison's principle, and others that allow, the study of the limitation of fractional nonlinear differential equations.
收起

The paper is devoted to the contribution in the Probability Theory of the wellknown Soviet mathematician Alexander Yakovlevich Khintchine (18941959). Several of his results are described, in particular those fundamental results on the infinitely divisible distributions. Attention is paid also to his interaction with Paul Levy. The content of the paper is related to our joint book The Legacy of A.Ya. Khintchine's Work in Probability Theory, published in 2010 by Cambridge Scientific Publishers.
收起

Code loops are certain Moufang $2$loops constructed from doubly even binary codes that play an important role in the construction of local subgroups of sporadic groups. More precisely, code loops are central extensions of the group of order $2$ by an elementary abelian $2$group $V$ in the variety of loops such that their squaring map, commutator map and associator map are related by combinatorial polarization and the associator map is a trilinear alternating form. Using existing classifications of trilinear alternating forms over the field of $2$ elements, we enumerate code loops of dimension $d=\mathrm{dim}(V)\le 8$ (equivalently, of order $2^{d+1}\le 512$) up to isomorphism. There are $767$ code loops of order $128$, and $80826$ of order $256$, and $937791557$ of order $512$.
收起

We propose three private information retrieval (PIR) protocols for distributed storage systems (DSSs) where data is stored using an arbitrary linear code. The first two protocols, named Protocol 1 and Protocol 2, achieve privacy for the scenario with noncolluding nodes. Protocol 1 requires a file size that is exponential in the number of files in the system, while the file size required for Protocol 2 is independent of the number of files and is hence simpler. We prove that, for certain linear codes, Protocol 1 achieves the PIR capacity, i.e., its PIR rate (the ratio of the amount of retrieved stored data per unit of downloaded data) is the maximum possible for any given (finite and infinite) number of files, and Protocol 2 achieves the asymptotic PIR capacity (with infinitely large number of files in the DSS). In particular, we provide a sufficient and a necessary condition for a code to be PIR capacityachieving and prove that cyclic codes, ReedMuller (RM) codes, and optimal informa
收起

We study the activated quantum nosignallingassisted zeroerror classical capacity by first allowing the assistance from some noiseless forward communication channel and later paying back the cost of the helper. This activated communication model considers the additional forward noiseless channel as a catalyst for communication. First, we show that the oneshot activated capacity can be formulated as a semidefinite program and we derive a number of striking properties of this capacity. We further present a sufficient condition under which a noisy channel can be activated. Second, we show that onebit noiseless classical communication is able to fully activate any classicalquantum channel to achieve its asymptotic capacity, or the semidefinite (or fractional) packing number. Third, we prove that the asymptotic activated capacity cannot exceed the original asymptotic capacity of any quantum channel. We also show that the asymptotic nosignallingassisted zeroerror capacity does not eq
收起

We present a priori and a posteriori error analysis of a Virtual Element Method (VEM) to approximate the vibration frequencies and modes of an elastic solid. We analyze a variational formulation relying only on the solid displacement and propose an $H^1({\Omega})$conforming discretization by means of VEM. Under standard assumptions on the computational domain, we show that the resulting scheme provides a correct approximation of the spectrum and prove an optimal order error estimate for the eigenfunctions and a double order for the eigenvalues. Since, the VEM has the advantage of using general polygonal meshes, which allows implementing efficiently mesh refinement strategies, we also introduce a residualtype a posteriori error estimator and prove its reliability and efficiency. We use the corresponding error estimator to drive an adaptive scheme. Finally, we report the results of a couple of numerical tests that allow us to assess the performance of this approach.
收起

Let $X$ be a hyperk\"ahler variety with an antisymplectic involution $\iota$. According to Beauville's conjectural "splitting property", the Chow groups of $X$ should split in a finite number of pieces such that the Chow ring has a bigrading. The BlochBeilinson conjectures predict how $\iota$ should act on certain of these pieces of the Chow groups. We verify part of this conjecture for a $19$dimensional family of hyperk\"ahler sixfolds that are "double EPW cubes" (in the sense of IlievKapustkaKapustkaRanestad). This has interesting consequences for the Chow ring of the quotient $X/\iota$, which is an "EPW cube" (in the sense of IlievKapustkaKapustkaRanestad).
收起

Motivated by the BeauvilleVoisin conjecture about Chow rings of powers of $K3$ surfaces, we consider a similar conjecture for Chow rings of powers of EPW sextics. We prove part of this conjecture for the very special EPW sextic studied by DontenBury et alii. We also prove some other results concerning the Chow groups of this very special EPW sextic, and of certain related hyperk\"ahler fourfolds.
收起

Let $X$ be a hyperk\"ahler variety, and assume $X$ has a nonsymplectic automorphism $\sigma$ of order $>{1\over 2}\dim X$. Bloch's conjecture predicts that the quotient $X/<\sigma>$ should have trivial Chow group of $0$cycles. We verify this for Fano varieties of lines on certain special cubic fourfolds having an order $3$ nonsymplectic automorphism.
收起

We study a socalled nonlocal CahnHilliard model obtained as a constrained Wasserstein gradient flow of some GinzburgLandau energy. When compared to the more classical local degenerate CahnHilliard model studied in [C. M. Elliott and H. Garcke, {\em SIAM J. Math. Anal.}, 27(2):404423, {\bf 1996}], the nonlocal model appears to take advantage of a larger flexibility on the phase fluxes to dissipate faster the energy, as confirmed by numerical simulations. We prove the existence of a solution to nonlocal problem by proving the convergence of the JKO minimizing movement scheme.
收起

In this paper, we characterize a degenerate PDE as the gradient flow in the space of nonnegative measures endowed with an optimal transportgrowth metric. The PDE of concern, of HeleShaw type, was introduced by Perthame et. al. as a mechanical model for tumor growth and the metric was introduced recently in several articles as the analogue of the Wasserstein metric for nonnegative measures. We show existence of solutions using minimizing movements and show uniqueness of solutions on convex domains by proving the Evolutional Variational Inequality. Our analysis does not require any regularity assumption on the initial condition. We also derive a numerical scheme based on the discretization of the gradient flow and the idea of entropic regularization. We assess the convergence of the scheme on explicit solutions. In doing this analysis, we prove several new properties of the optimal transportgrowth metric, which generally have a known counterpart for the Wasserstein metric.
收起

We revisit the construction of the eigenvectors of the single and doublerow transfer matrices associated with the ZamolodchikovFateev model, within the algebraic Bethe ansatz method. The left and right eigenvectors are constructed using two different methods: the fusion technique and Tarasov's construction. A simple explicit relation between the eigenvectors from the two Bethe ans\"atze is obtained. As a consequence, we obtain the Slavnov formula for the scalar product between onshell and offshell TarasovBethe vectors.
收起

In this short note, for countably infinite amenable group actions, we provide topological proofs for the following results: Bowen topological entropy (dimensional entropy) of the whole space equals the usual topological entropy along tempered F{\o}lner sequences; the Hausdorff dimension of an amenable subshift (for certain metric associated to some F{\o}lner sequence) equals its topological entropy. This answers questions by Zheng and Chen (Israel Journal of Mathematics 212 (2016), 895911) and Simpson (Theory Comput. Syst. 56 (2015), 527543).
收起

By a twenty year old result of Ralph Freese, an $n$element lattice $L$ has at most $2^{n1}$ congruences. We prove that if $L$ has less than $2^{n1}$ congruences, then it has at most $2^{n2}$ congruences. Also, we describe the $n$element lattices with exactly $2^{n2}$ congruences.
收起

We study the Markov semigroups for two important algorithms from machine learning: stochastic gradient descent (SGD) and online principal component analysis (PCA). We investigate the effects of small jumps on the properties of the semigroups. Properties including regularity preserving, $L^{\infty}$ contraction are discussed. These semigroups are the dual of the semigroups for evolution of probability, while the latter are $L^{1}$ contracting and positivity preserving. Using these properties, we show that stochastic differential equations (SDEs) in $\mathbb{R}^d$ (on the sphere $\mathbb{S}^{d1}$) can be used to approximate SGD (online PCA) weakly. These SDEs may be used to provide some insights of the behaviors of these algorithms.
收起

This paper shows that every finite nondegenerate involutive set theoretic solution (X,r) of the YangBaxter equation whose symmetric group has cardinality which a cubefree number is a multipermutation solution. Some properties of finite braces are also investigated (Theorems 3, 5 and 11). It is also shown that if A is a left brace whose cardinality is an odd number and (a) b=(ab) for all a, b A, then A is a twosided brace and hence a Jacobson radical ring. It is also observed that the semidirect product and the wreath product of braces of a finite multipermutation level is a brace of a finite multipermutation level.
收起

We prove the existence of an effective power structure over the Grothendieck ring of geometric dg categories. Using this power structure we show that the categorical zeta function of a geometric dg category can be expressed as a power with exponent the category itself. This implies a conjecture of Galkin and Shinder relating the motivic and categorical zeta functions of varieties. We also deduce a formula for the generating series of the classes of derived categories of the Hilbert scheme of points on smooth projective varieties. Moreover, our results show that the Heisenberg action on the derived category of the symmetric orbifold is an irreducible highest weight representation.
收起

In 1971, Tomescu conjectured that every connected graph $G$ on $n$ vertices with chromatic number $k\geq4$ has at most $k!(k1)^{nk}$ proper $k$colorings. Recently, Knox and Mohar proved Tomescu's conjecture for $k=4$ and $k=5$. In this paper, we complete the proof of Tomescu's conjecture for all $k\ge 4$, and show that equality occurs if and only if $G$ is a $k$clique with trees attached to each vertex.
收起

The poset $Y_{k+1, 2}$ consists of $k+2$ distinct elements $x_1$, $x_2$, \dots, $x_{k}$, $y_1$,$y_2$, such that $x_1 \le x_2 \le \dots \le x_{k} \le y_1$,~$y_2$. The poset $Y'_{k+1, 2}$ is the dual of $Y_{k+1, 2}$ Let $\rm{La}^{\sharp}(n,\{Y_{k+1, 2}, Y'_{k+1, 2}\})$ be the size of the largest family $\mathcal{F} \subset 2^{[n]}$ that contains neither $Y_{k+1,2}$ nor $Y'_{k+1,2}$ as an induced subposet. Methuku and Tompkins proved that $\rm{La}^{\sharp}(n, \{Y_{3,2}, Y'_{3,2}\}) = \Sigma(n,2)$ for $n \ge 3$ and they conjectured the generalization that if $k \ge 2$ is an integer and $n \ge k+1$, then $\rm{La}^{\sharp}(n, \{Y_{k+1,2}, Y'_{k+1,2}\}) = \Sigma(n,k)$. In this paper, we introduce a simple discharging approach and prove this conjecture.
收起

Generalized B\"acklundDarboux transformations (GBDTs) of discrete skewselfadjoint Dirac systems have been successfully used for explicit solving of direct and inverse problems of WeylTitchmarsh theory. During explicit solving of the direct and inverse problems, we considered GBDTs of the trivial initial systems. However, GBDTs of arbitrary discrete skewselfadjoint Dirac systems are important as well and we introduce these transformations in the present paper. The obtained results are applied to the construction of explicit solutions of the interesting related nonstationary systems.
收起

We discuss algorithmic approach to growth of the codimension sequences of varieties of multilinear algebras, or, equivalently, the sequences of the component dimensions of algebraic operads. The (exponentional) generating functions of such sequences are called codimension series of varieties, or generating series of operads. We show that in general there does not exist an algorithm to decide whether the growth exponent of a codimension sequence of a variety defined by given finite sets of operations and identities is equal to a given rational number. In particular, we solve negatively a recent conjecture by Bremner and Dotsenko by showing that the set generating series of binary quadratic operads with bounded number of generators is infinite. Then we recall algorithms which in many cases calculate the codimension series in the form of a defining algebraic or differential equation. For a more general class of varieties, these algorithms give upper and lower bounds for the codimensions i
收起

The paper is concerned with spacetime IgA approximations of parabolic initialboundary value problems. We deduce guaranteed and fully computable error bounds adapted to special features of IgA approximations and investigate their applicability. The derivation method is based on the analysis of respective integral identities and purely functional arguments. Therefore, the estimates do not contain meshdependent constants and are valid for any approximation from the admissible (energy) class. In particular, they imply computable error bounds for norms associated with {stabilised spacetime} IgA approximations. The last section of the paper contains a series of numerical examples where approximate solutions are recovered by IgA techniques. They illustrate reliability and efficiency of the error estimates presented.
收起

Let $n$ be a positive integer. For each $0\leq j \leq n1$ we let $C_n^j$ denote the Cayley graph of the cyclic group $\mathbb{Z}_n$ with respect to the subset $\{1,j\}$. Utilizing the Smith Normal Form process, we give an explicit description of the Grothendieck group of each of the Leavitt path algebras $L_K(C_n^j)$ for any field $K$. Our general method significantly streamlines the approach that was used in previous work to establish this description in the specific case $j=2$. Along the way, we give necessary and sufficient conditions on the pairs $(j,n)$ which yield that this group is infinite. We subsequently focus on the case $j = 3$, where the structure of this group turns out to be related to a Fibonaccilike sequence, called the Narayana's Cows sequence.
收起

We consider a notion of conservation for the heat semigroup associated to a generalized Dirac Laplacian acting on sections of a vector bundle over a noncompact manifold with a (possibly noncompact) boundary under mixed boundary conditions. Assuming that the geometry of the underlying manifold is controlled in a suitable way and imposing uniform lower bounds on the zero order (Weitzenb\"ock) piece of the Dirac Laplacian and on the endomorphism defining the mixed boundary condition we show that the corresponding conservation principle holds. A key ingredient in the proof is a domination property for the heat semigroup which follows from an extension to this setting of a FeynmanKac formula recently proved in \cite{dL1} in the context of differential forms. When applied to the Hodge Laplacian acting on differential forms satisfying absolute boundary conditions, this extends previous results by Vesentini \cite{Ve} and Masamune \cite{M} in the boundaryless case. Along the way we also prove
收起

We introduce higher dimensional analogues of the Nakayama algebras from the viewpoint of Iyama's higher AuslanderReiten theory. More precisely, for each Nakayama algebra $A$ and each positive integer $d$, we construct a finite dimensional algebra $A^{(d)}$ having a distinguished $d$clustertilting $A^{(d)}$module whose endomorphism algebra is a higher dimensional analogue of the Auslander algebra of $A$. We also construct higher dimensional analogues of the mesh category of type $\mathbb{ZA}_\infty$ and the tubes.
收起

Dilaton gravity with the form fields is known to possess dyon solutions with two horizons for the discrete ("triangular") values of the dilaton coupling constant $a = \sqrt{n (n + 1)/2}$. From this sequence only $n = 1,\, 2$ members were known analytically so far. We present two new $n = 3,\, 5$ triangular solutions for the theory with different dilaton couplings $a,\, b$ in electric and magnetic sectors in which case the quantization condition reads $a b = n (n + 1)/2$. These are derived via the Toda chains for $B_2$ and $G_2$ Lie algebras. Solutions are found in the closed form in general $D$ spacetime dimensions. They satisfy the entropy product rules and have negative binding energy in the extremal case.
收起

Degree one twisting of Deligne cohomology, as a differential refinement of integral cohomology, was established in previous work. Here we consider higher degree twists. The Rham complex, hence de Rham cohomology, admits twists of any odd degree. However, in order to consider twists of integral cohomology we need a periodic version. Combining the periodic versions of both ingredients leads us to introduce a periodic form of Deligne cohomology. We demonstrate that this theory indeed admits a twist by a gerbe of any odd degree. We present the main properties of the new theory and illustrate its use with examples and computations, mainly via a corresponding twisted differential AtiyahHirzebruch spectral sequence.
收起

In this paper, first we prove the existence of invariant vector field on a homogeneous Finsler space with infinite series $(\alpha, \beta)$metric. Next, we deduce an explicit formula for the the $S$curvature of homogeneous Finsler space with infinite series $(\alpha, \beta)$metric. Using this formula, we further derive the formula for mean Berwald curvature of the homogeneous Finsler space with this metric.
收起

This text focuses on actions on 1manifolds. We present a (non exhaustive) list of very concrete open questions in the field, each of which is discussed in some detail and complemented with a large list of references, so that a clear panorama on the subject arises from the lecture.
收起

We define the GromovWitten invariants for the parabolic bundles over an orbifold $C$ in various situation. Those bring us to refine this notion to get an accurate computation of the number of maximal subbundles of a sufficiently general parabolic bundle by means of the IntriligatorVarfa formula.
收起

For every nonconstant polynomial $f\in\mathbb Q[x]$, let $\Phi_{4,f}$ denote the fourth dynatomic polynomial of $f$. We determine here the structure of the Galois group and the degrees of the irreducible factors of $\Phi_{4,f}$ for every quadratic polynomial $f$. As an application we prove new results related to a uniform boundedness conjecture of Morton and Silverman. In particular we show that if $f$ is a quadratic polynomial, then, for more than $39\%$ of all primes $p$, $f$ does not have a point of period four in $\mathbb Q_p$.
收起

The Wishart probability distribution on symmetricmatrices has been initially defined by mean of the multivariateGaussian distribution as an of the chisquare distribution. A moregeneral definition is given using results for harmonic analysis.Recently a probability distribution on symmetric matrices called theRiesz distribution has been defined by its Laplace transform as ageneralization of the Wishart distribution. The aim of the presentpaper is to show that some Riesz probability distributions which arenot necessarily Wishart may also be presented by mean of theGaussian distribution using Gaussian samples with missing data.
收起

T\^ete\`at\^ete graphs and relative t\^ete\`at\^ete graphs were introduced by N. A'Campo in 2010 to model monodromies of isolated plane curves. By recent workof Fdez de Bobadilla, Pe Pereira and the author, they provide a way of modeling the periodic mapping classes that leave some boundary component invariant. In this work we introduce the notion of general t\^ete\`at\^ete graph and prove that they model all periodic mapping classes. We also describe algorithms that take a Seifert manifold and a horizontal surface and return a t\^ete\`at\^ete graph and vice versa.
收起

Let $S$ be a surface of genus $g$ at least $2$. A representation $\rho:\pi_1S\longrightarrow \text{PSL}_2\Bbb R$ is said to be purely hyperbolic if its image consists only of hyperbolic elements other than the identity. We may wonder under which conditions such representations arise as holonomy of a hyperbolic conestructure on $S$. In this work we will characterize them completely, giving necessary and sufficient conditions.
收起

The time dependent Eikonal equation is a HamiltonJacobi equation with Hamiltonian $H(P)=P$, which is not strictly convex nor smooth. The regularizing effect of Hamiltonian for the Eikonal equation is much weaker than that of strictly convex Hamiltonians, therefore leading to new phenomena such as the appearance of "contact discontinuity". In this paper, we study the set of singularity points of solutions in the upper half space for $C^1$ or $C^2$ initial data, with emphasis on the countability of connected components of the set. The regularity of solutions in the complement of the set of singularity points is also obtained.
收起

The infrared dynamics of generic 3d N=4 bad theories (as per the goodbadugly classification of Gaiotto and Witten) are poorly understood. Examples of such theories with a single unitary gauge group and fundamental flavors have been studied recently, and the low energy effective theory around some special point in the Coulomb branch was shown to have a description in terms of a good theory and a certain number of free hypermultiplets. A classification of possible infrared fixed points for bad theories by Bashkirov, based on unitarity constraints and superconformal symmetry, suggest a much richer set of possibilities for the IR behavior, although explicit examples were not known. In this note, we present a specific example of a bad quiver gauge theory which admits a good IR description on a sublocus of its Coulomb branch. The good description, in question, consists of two decoupled quiver gauge theories with no free hypermultiplets.
收起

We study the problem of lifting of polynomial symplectomorphisms in characteristic zero to automorphisms of the Weyl algebra by means of approximation by tame automorphisms. We utilize  and reprove  D. Anick's fundamental result on approximation of polynomial automorphisms, adapt it to the case of symplectomorphisms, and formulate the lifting problem. The lifting problem has its origins in the context of deformation quantization of the affine space and is closely related to several major open problems in algebraic geometry and ring theory.
收起

In this paper, we propose a new graphbased coding framework and illustrate its application to image compression. Our approach relies on the careful design of a graph that optimizes the overall ratedistortion performance through an effective graphbased transform. We introduce a novel graph estimation algorithm, which uncovers the connectivities between the graph signal values by taking into consideration the coding of both the signal and the graph topology in ratedistortion terms. In particular, we introduce a novel coding solution for the graph by treating the edge weights as another graph signal that lies on the dual graph. Then, the cost of the graph description is introduced in the optimization problem by minimizing the sparsity of the coefficients of its graph Fourier transform (GFT) on the dual graph. In this way, we obtain a convex optimization problem whose solution defines an efficient transform coding strategy. The proposed technique is a general framework that can be appl
收起

Given a connected undirected weighted graph, we are concerned with problems related to partitioning the graph. First of all we look for the closest disconnected graph (the minimum cut problem), here with respect to the Euclidean norm. We are interested in the case of constrained minimum cut problems, where constraints include cardinality or membership requirements, which leads to NPhard combinatorial optimization problems. Furthermore, we are interested in ambiguity issues, that is in the robustness of clustering algorithms that are based on Fiedler spectral partitioning. The abovementioned problems are restated as matrix nearness problems for the weight matrix of the graph. A key element in the solution of these matrix nearness problems is the use of a constrained gradient system of matrix differential equations.
收起

If a finitely generated monoid M is defined by a finite number of degreepreserving relations, then it has linear growth if and only if it can be decomposed into a finite disjoint union of subsets (which we call "sandwiches") of the form $a<w>b$, where $a,b,w$ are elements of $M$ and $<w>$ denotes the monogenic semigroup generated by $w$. Moreover, the decomposition can be chosen in such a way that the sandwiches are either singletons or "free" ones (meaning that all elements $a w^n b$ in each sandwich are pairwise different). So, the minimal number of free sandwiches in such a decomposition is a numerical invariant of a homogeneous (and conjecturally, nonhomogeneous) finitely presented monoid of linear growth.
收起

The primary goal of this paper is to find a homotopy theoretic approximation to moduli spaces of holomorphic maps Riemann surfaces into complex projective space. There is a similar treatment of a partial compactification of these moduli spaces of consisting of irreducible stable maps in the sense of GromovWitten theory. The arguments follow those from a paper of G. Segal on the topology of the space of rational functions.
收起

We consider a compressed sensing problem in which both the measurement and the sparsifying systems are assumed to be frames (not necessarily tight) of the underlying Hilbert space of signals, which may be finite or infinite dimensional. The main result gives explicit bounds on the number of measurements in order to achieve stable recovery, which depends on the mutual coherence of the two systems. As a simple corollary, we prove the efficiency of nonuniform sampling strategies in cases when the two systems are not incoherent, but only asymptotically incoherent, as with the recovery of wavelet coefficients from Fourier samples. This general framework finds applications to inverse problems in partial differential equations, where the standard assumptions of compressed sensing are often not satisfied. Several examples are discussed, with a special focus on electrical impedance tomography.
收起

It is wellknown that every derivation of a semisimple Lie algebra $L$ over an algebraically closed field $F$ with characteristic zero is inner. The aim of this paper is to show what happens if the characteristic of $F$ is prime with $L$ an exceptional Lie algebra. We prove that if $L$ is a Chevalley Lie algebra of type $\{G_2,F_4,E_6,E_7,E_8\}$ over a field of characteristic $p$ then the derivations of $L$ are inner except in the cases $G_2$ with $p=2$, $E_6$ with $p=3$ and $E_7$ with $p=2$.
收起

Motivated by the need to detect an underground cavity within the procedure of an OnSiteInspection (OSI), of the Comprehensive Nuclear Test Ban Treaty Organization, the aim of this paper is to present results on the comparison of our numerical simulations with an analytic solution. The accurate numerical modeling can facilitate the development of proper analysis techniques to detect the remnants of an underground nuclear test. The larger goal is to help set a rigorous scientific base of OSI and to contribute to bringing the Treaty into force. For our 3D numerical simulations, we use the discontinuous Galerkin Spectral Element Code SPEED jointly developed at MOX (The Laboratory for Modeling and Scientific Computing, Department of Mathematics) and at DICA (Department of Civil and Environmental Engineering) of the Politecnico di Milano.
收起

We construct an obstruction for the existence of embeddings of homology $3$sphere into homology $S^3\times S^1$ under some cohomological condition. The obstruction is defined as an element in the filtered version of the instanton Floer cohomology due to R.FintushelR.Stern. We make use of the $\mathbb{Z}$fold covering space of homology $S^3\times S^1$ and the instantons on it.
收起

We study the effective action for the integrable $\lambda$deformation of the $G_{k_1} \times G_{k_2}/G_{k_1+k_2}$ coset CFTs. For unequal levels theses models do not fall into the general discussion of $\lambda$deformations of CFTs corresponding to symmetric spaces and have many attractive features. We show that the perturbation is driven by parafermion bilinears and we revisit the derivation of their algebra. We uncover a nontrivial symmetry of these models parametric space, which has not encountered before in the literature. Using field theoretical methods and the effective action we compute the exact in the deformation parameter $\beta$function and explicitly demonstrate the existence of a fixed point in the IR corresponding to the $G_{k_1k_2} \times G_{k_2}/G_{k_1}$ coset CFTs. The same result is verified using gravitational methods for $G=SU(2)$. We examine various limiting cases previously considered in the literature and found agreement.
收起

Inspired by the work of Molino, we show that the integrability obstruction for transitive Lie algebroids can be made to vanish by adding extra dimensions. In particular, we prove that the Weinstein groupoid of a nonintegrable transitive and abelian Lie algebroid, is the quotient of a finite dimensional Lie groupoid. Two constructions as such are given: First, explaining the counterexample to integrability given by Almeida and Molino, we see that it can be generalized to the construction of an "AlmeidaMolino" integrable lift when the base manifold is simply connected. On the other hand, we notice that the classical de Rham isomorphism provides a universal integrable algebroid. Using it we construct a "de Rham" integrable lift for any given transitive Abelian Lie algebroid.
收起

In this paper, we develop an extremum seeking control method integrated with iterative learning control to track a timevarying optimizer within finite time. The behavior of the extremum seeking system is analyzed via an approximating system  the modified Lie bracket system. The modified Lie bracket system is essentially an online integraltype iterative learning control law. The paper contributes to two fields, namely, iterative learning control and extremum seeking. First, an online integral type iterative learning control with a forgetting factor is proposed. Its convergence is analyzed via $k$dependent (iteration dependent) contraction mapping in a Banach space equipped with $\lambda$norm. Second, the iterative learning extremum seeking system can be regarded as an iterative learning control with "control input disturbance." The tracking error of its modified Lie bracket system can be shown uniformly bounded in terms of iterations by selecting a sufficiently large frequency. Fu
收起

Weakly interacting quantum fluids allow for a natural kinetic theory description which takes into account the fermionic or bosonic nature of the interacting particles. In the simplest cases, one arrives at the BoltzmannNordheim equations for the reduced density matrix of the fluid. We discuss here two related topics: the kinetic theory of the fermionic Hubbard model, in which conservation of total spin results in an additional Vlasov type term in the Boltzmann equation, and the relation between kinetic theory and thermalization.
收起

In this paper, we introduce an inertial version of the Proximal Incremental Aggregated Gradient method (PIAG) for minimizing the sum of smooth convex component functions and a possibly nonsmooth convex regularization function. Theoretically, we show that the inertial Proximal Incremental Aggregated Gradiend (iPIAG) method enjoys a global linear convergence under a quadratic growth condition, which is strictly weaker than strong convexity, provided that the stepsize is not larger than a constant. Moreover, we present two numerical expreiments which demonstrate that iPIAG outperforms the original PIAG.
收起

The fifth generation (5G) wireless communications brag both high spectrum efficiency and high energy efficiency. To meet the requirements, various new techniques have been proposed. Among these, the recentlyemerging index modulation has attracted significant interests. By judiciously activating a subset of certain communication {building blocks, such as} antenna, subcarrier and time slot, index modulation is claimed to have the potential to meet the challenging 5G needs. In this article, we will discuss index modulation and its general and specific representations, enhancements, and potential applications in various 5G scenarios. The objective is to reveal whether, and how, index modulation may strive for more performance gains with less medium resource occupation.
收起

If $A$ is an algebra with finite right global dimension, then for any automorphism $\alpha$ and $\alpha$derivation $\delta$ the right global dimension of $A[t; \alpha, \delta]$ satisfies \[ \text{rgld} \, A \le \text{rgld} \, A[t; \alpha, \delta] \le \text{rgld} \, A + 1. \] We extend this result to the case of holomorphic Ore extensions and smooth crossed products by $\mathbb{Z}$ of $\hat{\otimes}$algebras.
收起

The observer moduli space of Riemannian metrics is the quotient of the space $\mathcal{R}(M)$ of all Riemannian metrics on a manifold $M$ by the group of diffeomorphisms $\mathrm{Diff}_{x_0}(M)$ which fix both a basepoint $x_0$ and the tangent space at $x_0$. The group $\mathrm{Diff}_{x_0}(M)$ acts freely on $\mathcal{R}(M)$ providing $M$ is connected. This offers certain advantages over the classic moduli space, which is the quotient by the full diffeomorphism group. Results due to Botvinnik, Hanke, Schick and Walsh, and to Hanke, Schick and Steimle have demonstrated that the higher homotopy groups of the observer moduli space $\mathcal{M}_{x_0}^{s>0}(M)$ of positive scalar curvature metrics are, in many cases, nontrivial. The aim in the current paper is to establish similar results for the moduli space $\mathcal{M}_{x_0}^{\mathrm{Ric}>0}(M)$ of metrics with positive Ricci curvature. In particular we show that for a given $k$, there are infinite order elements in the homotopy g
收起

By considering Tutte polynomials of Hopf algebras, we show how a Tutte polynomial can be canonically associated with combinatorial objects that have some notions of deletion and contraction. We show that several graph polynomials from the literature arise from this framework. These polynomials include the classical Tutte polynomial of graphs and matroids, Las Vergnas' Tutte polynomial of the morphism of matroids and his Tutte polynomial for embedded graphs, Bollobas and Riordan's ribbon graph polynomial, the Krushkal polynomial, and the Penrose polynomial. We show that our Tutte polynomials of Hopf algebras share common properties with the classical Tutte polynomial, including deletioncontraction definitions, universality properties, convolution formulas, and duality relations. New results for graph polynomials from the literature are then obtained as examples of the general results. Our results offer a framework for the study of the Tutte polynomial and its analogues in other setting
收起

We study a topologically exact, negative Schwarzian unimodal map whose critical point is nonrecurrent and flat. Assuming the critical order is either logarithmic or polynomial, we establish the Large Deviation Principle and give a partial description of the zeros of the corresponding rate functions. We apply our main results to a certain parametrized family of unimodal maps in the same topological conjugacy class, and give a complete description of the zeros of the rate functions. We observe a qualitative change at a transition parameter, and show that the sets of zeros depend continuously on the parameter even at the transition.
收起

Recently del Monaco and Schlei{\ss}inger addressed an interesting problem whether one can take the limit of multiple SchrammLoewner evolution (SLE) as the number of slits $N$ goes to infinity. When the $N$ slits grow from points on the real line ${\mathbb{R}}$ in a simultaneous way and go to infinity within the upper half plane ${\mathbb{H}}$, an ordinary differential equation describing time evolution of the conformal map $g_t(z)$ was derived in the $N \to \infty$ limit, which is coupled with a complex Burgers equation in the inviscid limit. It is well known that the complex Burgers equation governs the hydrodynamic limit of the Dyson model defined on ${\mathbb{R}}$ studied in random matrix theory, and when all particles start from the origin, the solution of this Burgers equation is given by the Stieltjes transformation of the measure which follows a timedependent version of Wigner's semicircle law. In the present paper, first we study the hydrodynamic limit of the multiple SLE in
收起

This paper considers the problem of acquiring an unknown target location (among a finite number of locations) via a sequence of measurements, where each measurement consists of simultaneously probing a group of locations. The resulting observation consists of a sum of an indicator of the target's presence in the probed region, and a zero mean Gaussian noise term whose variance is a function of the measurement vector. An equivalence between the target acquisition problem and channel coding over a binary input additive white Gaussian noise (BAWGN) channel with state and feedback is established. Utilizing this information theoretic perspective, a twostage adaptive target search strategy based on the sorted Posterior Matching channel coding strategy is proposed. Furthermore, using information theoretic converses, the fundamental limits on the target acquisition rate for adaptive and nonadaptive strategies are characterized. As a corollary to the nonasymptotic upper bound of the expected
收起

Let $M$ be a Liouville 6manifold which is the smooth fiber of a Lefschetz fibration on $\mathbb{C}^4$ constructed by suspending a Lefschetz fibration on $\mathbb{C}^3$. We prove that for many examples including stabilizations of Milnor fibers of hypersurface cusp singularities, the compact Fukaya category $\mathcal{F}(M)$ and the wrapped Fukaya category $\mathcal{W}(M)$ are related through $A_\infty$Koszul duality, by identifying them with cyclic and CalabiYau completions of the same quiver algebra. This implies the splitgeneration of the compact Fukaya category $\mathcal{F}(M)$ by vanishing cycles. Moreover, new examples of Liouville manifolds which admit quasidilations in the sense of SeidelSolomon are obtained.
收起

We extend the Koszul calculus defined on quadratic algebras by Berger, Lambre and Solotar, to Nhomogeneous algebras. When N>2, the Koszul cup and cap products are defined by specific expressions, and they are compatible with the Koszul differentials, providing associative products on (co)homology classes. The NKoszul calculus is calculated for the truncated polynomial algebras.
收起

Radio frequency energy harvesting (RFEH) is a promising technology to charge unattended Internet of Things (IoT) lowpower devices remotely. To enable this, in future IoT system, besides the traditional data access points (DAPs) for collecting data, energy access points (EAPs) should be deployed to charge IoT devices to maintain their sustainable operations. Practically, the DAPs and EAPs may be operated by different operators, and the DAPs thus need to provide effective incentives to motivate the surrounding EAPs to charge their associated IoT devices. Different from existing incentive schemes, we consider a practical scenario with asymmetric information, where the DAP is not aware of the channel conditions and energy costs of the EAPs. We first extend the existing Stackelberg gamebased approach with complete information to the asymmetric information scenario, where the expected utility of the DAP is defined and maximized. To deal with asymmetric information more efficiently, we then
收起

In this paper we develop a continuoustime sequential importance sampling (CIS) algorithm which eliminates timediscretisation errors and provides online unbiased estimation for continuous time Markov processes, in particular for diffusions. Our work removes the strong conditions imposed by the EA and thus extends significantly the class of discretisation errorfree MC methods for diffusions. The reason that CIS can be applied more generally than EA is that it no longer works on the path space of the SDE. Instead it uses proposal distributions for the transition density of the diffusion, and proposal distributions that are absolutely continuous with respect to the true transition density exist for general SDEs.
收起

The statistical analysis of discrete data has been the subject of extensive statistical research dating back to the work of Pearson. In this survey we review some recently developed methods for testing hypotheses about highdimensional multinomials. Traditional tests like the $\chi^2$ test and the likelihood ratio test can have poor power in the highdimensional setting. Much of the research in this area has focused on finding tests with asymptotically Normal limits and developing (stringent) conditions under which tests have Normal limits. We argue that this perspective suffers from a significant deficiency: it can exclude many highdimensional cases when  despite having non Normal null distributions  carefully designed tests can have high power. Finally, we illustrate that taking a minimax perspective and considering refinements of this perspective can lead naturally to powerful and practical tests.
收起

This paper studies cacheaided interference networks with arbitrary number of transmitters and receivers, whereby each transmitter has a cache memory of finite size. Each transmitter fills its cache memory from a content library of files in the placement phase. In the subsequent delivery phase, each receiver requests one of the library files, and the transmitters are responsible for delivering the requested files from their caches to the receivers. The objective is to design schemes for the placement and delivery phases to maximize the sum degrees of freedom (sumDoF) which expresses the capacity of the interference network at the high signaltonoise ratio regime. Our work mainly focuses on a commonly used uncoded placement strategy. We provide an informationtheoretic bound on the sumDoF for this placement strategy. We demonstrate by an example that the derived bound is tighter than the bounds existing in the literature for small cache sizes. We propose a novel delivery scheme with
收起

Distance multivariance was recently introduced as a measure of multivariate dependence. Here we discuss several new aspects and present a guide to its use. In particular, $m$multivariance is defined, which is a new dependence measure yielding tests for pairwise independence and independence of higher order. These tests are computational feasible and they are consistent against all alternatives. Based on distance multivariance we also propose a visualization scheme for higher order dependence which fits into/extends the framework of probabilistic graphical models. Finally, it is indicated by several simulation studies that distance multivariance and the new measures match or outperform any other recently introduced multivariate independence measure. Many examples are included. All functions for the use of distance multivariance in applications are published in the Rpackage 'multivariance'.
收起

Work of Jean Renault shows that, for topologically principal \'etale groupoids, a diagonalpreserving isomorphism of reduced $C^*$algebras yields an isomorphism of groupoids. Several authors have proved analogues of this result for ample groupoid algebras over integral domains under suitable hypotheses. In this paper, we extend the known results by allowing more general coefficient rings and by weakening the hypotheses on the groupoids. Our approach has the additional feature that we only need to impose conditions on one of the two groupoids. Applications are given to Leavitt path algebras.
收起