Mathematics (math)

  • PDF
    We consider a problem introduced by Mossel and Ross [Shotgun assembly of labeled graphs, arXiv:1504.07682]. Suppose a random $n\times n$ jigsaw puzzle is constructed by independently and uniformly choosing the shape of each "jig" from $q$ possibilities. We are given the shuffled pieces. Then, depending on $q$, what is the probability that we can reassemble the puzzle uniquely? We say that two solutions of a puzzle are similar if they only differ by permutation of duplicate pieces, and rotation of rotationally symmetric pieces. In this paper, we show that, with high probability, such a puzzle has at least two non-similar solutions when $2\leq q \leq \frac{2}{\sqrt{e}}n$, all solutions are similar when $q\geq (2+\varepsilon)n$, and the solution is unique when $q=\omega(n)$.
  • PDF
    We present a categorical construction for modelling both definite and indefinite causal structures within a general class of process theories that include classical probability theory and quantum theory. Unlike prior constructions within categorical quantum mechanics, the objects of this theory encode finegrained causal relationships between subsystems and give a new method for expressing and deriving consequences for a broad class of causal structures. To illustrate this point, we show that this framework admits processes with definite causal structures, namely one-way signalling processes, non-signalling processes, and quantum n-combs, as well as processes with indefinite causal structure, such as the quantum switch and the process matrices of Oreshkov, Costa, and Brukner. We furthermore give derivations of their operational behaviour using simple, diagrammatic axioms.
  • PDF
    The goal of the present article is to survey the general theory of Mori Dream Spaces, with special regards to the question: When is the blow-up of toric variety at a general point a Mori Dream Space? We translate the question for toric surfaces of Picard number one into an interpolation problem involving points in the projective plane. An instance of such an interpolation problem is the Gonzalez-Karu theorem that gives new examples of weighted projective planes whose blow-up at a general point is not a Mori Dream Space.
  • PDF
    We formulate three current models of discrete-time quantum walks in a combinatorial way. These walks are shown to be closely related to rotation systems and 1-factorizations of graphs. For two of the models, we compute the traces and total entropies of the average mixing matrices for some cubic graphs. The trace captures how likely a quantum walk is to revisit the state it started with, and the total entropy measures how close the limiting distribution is to uniform. Our numerical results indicate three relations between quantum walks and graph structures: for the first model, rotation systems with higher genera give lower traces and higher entropies, and for the second model, the symmetric 1-factorizations always give the highest trace.
  • PDF
    We study positive solutions to the heat equation on graphs. We prove variants of the Li-Yau gradient estimate and the differential Harnack inequality. For some graphs, we can show the estimates to be sharp. We establish new computation rules for differential operators on discrete spaces and introduce a relaxation function that governs the time dependency in the differential Harnack estimate.
  • PDF
    On an asymptotically flat manifold $M^n$ with nonnegative scalar curvature, with outer minimizing boundary $\Sigma$, we prove a Penrose-like inequality in dimensions $ n < 8$, under suitable assumptions on the mean curvature and the scalar curvature of $ \Sigma$.
  • PDF
    We consider a general primitively polarized K3 surface $(S,H)$ of genus $g+1$ and a 1-nodal curve $\widetilde C\in |H|$. We prove that the normalization $C$ of $\widetilde C$ has surjective Wahl map provided $g=40,42$ or $\ge 44$.
  • PDF
    This paper investigates oscillation-free stability conditions of numerical methods for linear parabolic partial differential equations with some example extrapolations to nonlinear equations. Not clearly understood, numerical oscillations can create infeasible results. Since oscillation-free behavior is not ensured by stability conditions, a more precise condition would be useful for accurate solutions. Using Von Neumann and spectral analyses, we find and explore oscillation-free conditions for several finite difference schemes. Further relationships between oscillatory behavior and eigenvalues is supported with numerical evidence and proof. Also, evidence suggests that the oscillation-free stability condition for a consistent linearization may be sufficient to provide oscillation-free stability of the nonlinear solution. These conditions are verified numerically for several example problems by visually comparing the analytical conditions to the behavior of the numerical solution for a wide range of mesh sizes.
  • PDF
    We consider row sequences of (type II) Hermite-Padé approximations with common denominator associated with a vector ${\bf f}$ of formal power expansions about the origin. In terms of the asymptotic behavior of the sequence of common denominators, we describe some analytic properties of ${\bf f}$ and restate some conjectures corresponding to questions once posed by A. A. Gonchar for row sequences of Padé approximants.
  • PDF
    We prove a result on non-clustering of particles in a two-dimensional Coulomb plasma, which holds provided that the inverse temperature $\beta$ satisfies $\beta>1$. As a consequence we obtain a result on crystallization as $\beta\to\infty$: the particles will, on a microscopic scale, appear at a certain distance from each other. The estimation of this distance is connected to Abrikosov's conjecture that the particles should freeze up according to a honeycomb lattice when $\beta\to\infty$.
  • PDF
    Quasirational presentations ($QR$- presentations) of (pro-$p$)groups are studied. Such presentations include , in particular, aspherical presentations of discrete groups and their subpresentations, as well as still mysterious pro-$p$-groups with a single defining relation. We provide a positive answer to the conjecture of O.V. Melnikov on the existence of a proper envelop $Env^p$ of aspherical presentations by showing a generalized equivalence of $\mathbb{F}_p$ and $\mathbb{Z}_p$ permutationality in the case of $QR$-presentations. Using schematization of $QR$- presentations we answer the question of Serre on one-relator pro-$p$-groups.
  • PDF
    In 2010, Joyce et. al defined the leverage centrality of vertices in a graph as a means to analyze functional connections within the human brain. In this metric a degree of a vertex is compared to the degrees of all it neighbors. We investigate this property from a mathematical perspective. We first outline some of the basic properties and then compute leverage centralities of vertices in different families of graphs. In particular, we show there is a surprising connection between the number of distinct leverage centralities in the Cartesian product of paths and the triangle numbers.
  • PDF
    We introduce new natural generalizations of the classical descent and inversion statistics for permutations, called width-$k$ descents and width-$k$ inversions. These variations induce generalizations of the excedance and major statistics, providing a framework in which the most well-known equidistributivity results for classical statistics are paralleled. We explore additional relationships among the statistics providing specific formulas in certain special cases. Moreover, we explore the behavior of these width-$k$ statistics in the context of pattern avoidance.
  • PDF
    We prove some sharp inequalities for complex harmonic functions on the unit disk. The results extend a M. Riesz conjugate function theorem and some well-known estimates for holomorphic functions. We apply some of results to the isoperimetric inequality for harmonic mappings.
  • PDF
    Problems of stabilization of the unstable cycle of one-dimensional complex dynamical system are briefly discussed. These questions reduced to the problem of description of the ranges of polynomials $q(z) = q_1z + q_2z^2 +\dots + q_nz^n$ defined in the unit disk and normalized by the conditions $q(1) = 1 $ and this is the main subject of the present paper.
  • PDF
    Given a Kähler manifold $(Z,J,\omega)$ and a compact real submanifold $M\subset Z$, we study the properties of the gradient map associated with the action of a noncompact real reductive Lie group ${\rm G}$ on the space of probability measures on $M.$ In particular, we prove convexity results for such map when ${\rm G}$ is Abelian and we investigate how to extend them to the non-Abelian case.
  • PDF
    The aim of this work is to study, from an intrinsic and geometric point of view, second-order constrained variational problems on Lie algebroids, that is, optimization problems defined by a cost functional which depends on higher-order derivatives of admissible curves on a Lie algebroid. Extending the classical Skinner and Rusk formalism for the mechanics in the context of Lie algebroids, for second-order constrained mechanical systems, we derive the corresponding dynamical equations. We find a symplectic Lie subalgebroid where, under some mild regularity conditions, the second-order constrained variational problem, seen as a presymplectic Hamiltonian system, has a unique solution. We study the relationship of this formalism with the second-order constrained Euler-Poincaré and Lagrange-Poincaré equations, among others. Our study is applied to the optimal control of mechanical systems.
  • PDF
    Optimal control problems of nonholonomically constrained mechanical systems can be understood as constrained second order variational problems. A geometric interpretation of this relationship relies on constrained variational calculus for mechanics defined on a skew-symmetric algebroid. This brief communication attempts to study how this geometric structure allows us to describe in a simplified way the dynamics of the optimal control for nonholonomic mechanical systems as solutions of constrained second order variational problems, and, under some mild regularity conditions, how the dynamics of the optimal control problem is determined by a Hamiltonian system on the cotangent bundle of a skew-symmetric algebroid.
  • PDF
    Let $K/\mathbb{Q}$ be a finitely generated field of characteristic zero and $X/K$ a smooth projective variety. Fix $q\in\mathbb{N}$. For every prime number $\ell$ let $\rho_\ell$ be the representation of $\mathrm{Gal}(K)$ on the étale cohomology group $H^q(X_{\overline{K}}, \mathbb{Q}_\ell)$. For a field $k$ we denote by $k_{\mathrm{ab}}$ its maximal abelian Galois extension. We prove that there exist finite Galois extensions $k/\mathbb{Q}$ and $F/K$ such that the restricted family of representations $(\rho_\ell|\mathrm{Gal}(k_{\mathrm{ab}} F))_\ell$ is group theoretically independent in the sense that $\rho_{\ell_1}(\mathrm{Gal}(k_{\mathrm{ab}} F))$ and $\rho_{\ell_2}(\mathrm{Gal}(k_{\mathrm{ab}} F))$ do not have a common finite simple quotient group for all prime numbers $\ell_1\neq \ell_2$.
  • PDF
    We derive unitary irreducible representations of $SU(n+1)$ from a minimal realization of $sl(n+1,{\mathbb C})$ by using various techniques from deformation theory.
  • PDF
    Many important problems in combinatorics and other related areas can be phrased in the language of independent sets in hypergraphs. Recently Balogh, Morris and Samotij, and independently Saxton and Thomason developed very general container theorems for independent sets in hypergraphs; both of which have seen numerous applications to a wide range of problems. In this paper we use the container method to prove results that correspond to problems concerning tuples of disjoint independent sets in hypergraphs. In particular: (i) We generalise the random Ramsey theorem of Rödl and Ruciński by providing a resilience analogue. This result also implies the random version of Turán's theorem due to Conlon and Gowers and Schacht. (ii) We prove a general subcase of the asymmetric random Ramsey conjecture of Kohayakawa and Kreuter. (iii) Both of the above results in fact hold for uniform hypergraphs. (iv) For a (hyper)graph $H$, we determine, up to an error term in the exponent, the number of $n$-vertex (hyper)graphs $G$ that have the Ramsey property with respect to $H$ (that is, whenever $G$ is $r$-coloured, there is a monochromatic copy of $H$ in $G$). (v) We strengthen the \emphrandom Rado theorem of Friedgut, Rödl and Schacht by proving a resilience version of the result. (vi) For partition regular matrices $A$ we determine, up to an error term in the exponent, the number of subsets of $\{1,\dots,n\}$ for which there exists an $r$-colouring which contains no monochromatic solutions to $Ax=0$. Along the way a number of open problems are posed.
  • PDF
    The main goal of this paper is to investigate the order reduction phenomenon that appears in the integral deferred correction (InDC) methods based on implicit-explicit (IMEX) Runge-Kutta (R-K) schemes when applied to a class of stiff problems characterized by a small positive parameter $\varepsilon$, called singular perturbation problems (SPPs). In particular, an error analysis is presented for these implicit-explicit InDC (InDC-IMEX) methods when applied to SPPs. In our error estimate, we expand the global error in powers of $\varepsilon$ and show that its coefficients are global errors of the corresponding method applied to a sequence of differential algebraic systems. A study of these errors in the expansion yields error bounds and it reveals the phenomenon of order reduction. In our analysis we assume uniform quadrature nodes excluding the left-most point in the InDC method and the globally stiffly accurate property for the IMEX R-K scheme. Numerical results for the Van der Pol equation and PDE applications are presented to illustrate our theoretical findings.
  • PDF
    We provide a characterization of quotient spaces of three-dimensional complex tori by finite groups that act freely in codimension two via a vanishing condition on the first and second Chern class. For this we need to define the Chern classes of a complex space with canonical singularities, a notion which to the best of our knowledge has not been discussed in the literature before.
  • PDF
    In this note we prove a variational open adelic image theorem for the Galois action on the cohomology of smooth proper $S$-schemes where $S$ is a smooth variety over a finitely generated field of positive characteristic. A central tool is a recent result of Cadoret, Hui and Tamagawa.
  • PDF
    This paper introduces a class of specific puncturing patterns, called symmetric puncturing patterns, which can be characterized and generated from the rows of the generator matrix $G_N$. They are first shown to be non-equivalent, then a low-complexity method to generate symmetric puncturing patterns is proposed, which performs a search tree algorithm with limited depth, over the rows of $G_N$. Symmetric patterns are further optimized by density evolution, and shown to yield better performance than state-of-the-art rate compatible code constructions, relying on either puncturing or shortening techniques.
  • PDF
    We use the rationality of the generalized $h^{th}$ convergent functions, $Conv_h(\alpha, R; z)$, to the infinite J-fraction expansions enumerating the generalized factorial product sequences, $p_n(\alpha, R) = R(R+\alpha)\cdots(R+(n-1)\alpha)$, defined in the references to construct new congruences and $h$-order finite difference equations for generalized factorial functions modulo $h \alpha^t$ for any primes or odd integers $h \geq 2$ and integers $0 \leq t \leq h$. Special cases of the results we consider within the article include applications to new congruences and exact formulas for the $\alpha$-factorial functions, $n!_{(\alpha)}$. Applications of the new results we consider within the article include new finite sums for the $\alpha$-factorial functions, restatements of classical necessary and sufficient conditions of the primality of special integer subsequences and tuples, and new finite sums for the single and double factorial functions modulo integers $h \geq 2$.
  • PDF
    We consider weakly positive semidefinite kernels valued in ordered $*$-spaces with or without certain topological properties, and investigate their linearisations (Kolmogorov decompositions) as well as their reproducing kernel spaces. The spaces of realisations are of VE (Vector Euclidean) or VH (Vector Hilbert) type, more precisely, vector spaces that possess gramians (vector valued inner products). The main results refer to the case when the kernels are invariant under certain actions of $*$-semigroups and show under which conditions $*$-representations on VE-spaces, or VH-spaces in the topological case, can be obtained. Finally we show that these results unify most of dilation type results for invariant positive semidefinite kernels with operator values as well as recent results on positive semidefinite maps on $*$-semigroups with values operators from a locally bounded topological vector space to its conjugate $Z$-dual space, for $Z$ an ordered $*$-space.
  • PDF
    This paper focuses on the recently introduced Successive Cancellation Flip (SCFlip) decoder of polar codes. Our contribution is twofold. First, we propose the use of an optimized metric to determine the flipping positions within the SCFlip decoder, which improves its ability to find the first error that occurred during the initial SC decoding attempt. We also show that the proposed metric allows closely approaching the performance of an ideal SCFlip decoder. Second, we introduce a generalisation of the SCFlip decoder to a number of $\omega$ nested flips, denoted by SCFlip-$\omega$, using a similar optimized metric to determine the positions of the nested flips. We show that the SCFlip-2 decoder yields significant gains in terms of decoding performance and competes with the performance of the CRC-aided SC-List decoder with list size L=4, while having an average decoding complexity similar to that of the standard SC decoding, at medium to high signal to noise ratio.
  • PDF
    For a simplicial complex $\Delta$, the affect of the expansion functor on combinatorial properties of $\Delta$ and algebraic properties of its Stanley-Reisner ring has been studied in some previous papers. In this paper, we consider the facet ideal $I(\Delta)$ and its Alexander dual which we denote by $J_{\Delta}$ to see how the expansion functor alter the algebraic properties of these ideals. It is shown that for any expansion $\Delta^{\alpha}$ the ideals $J_{\Delta}$ and $J_{\Delta^{\alpha}}$ have the same total Betti numbers and their Cohen-Macaulayness are equivalent, which implies that the regularities of the ideals $I(\Delta)$ and $I(\Delta^{\alpha})$ are equal. Moreover, the projective dimensions of $I(\Delta)$ and $I(\Delta^{\alpha})$ are compared. In the sequel for a graph $G$, some properties that are equivalent in $G$ and its expansions are presented and for a Cohen-Macaulay (resp. sequentially Cohen-Macaulay and shellable) graph $G$, we give some conditions for adding or removing a vertex from $G$, so that the remaining graph is still Cohen-Macaulay (resp. sequentially Cohen-Macaulay and shellable).
  • PDF
    Comparison of $1$-dimensional distance functions is a basic tool in Alexandrov geometry and it is used to characterize spaces with curvature bounded above or below. For the zero curvature bound there is a differential inequality which enables one to check this comparison directly on a given smooth $1$-dimensional distance function. In this note we give a generalization of this property to arbitrary curvature bounds.
  • PDF
    We consider nonnegative solutions to $-\Delta u=f(u)$ in half-planes and strips, under zero Dirichlet boundary condition. Exploiting a rotating$\&$sliding line technique, we prove symmetry and monotonicity properties of the solutions, under very general assumptions on the nonlinearity $f$. In fact we provide a unified approach that works in all the cases $f(0)<0$, $f(0)= 0$ or $f(0)> 0$. Furthermore we make the effort to deal with nonlinearities $f$ that may be not locally-Lipschitz continuous. We also provide explicite examples showing the sharpness of our assumptions on the nonlinear function $f$.
  • PDF
    We develop a cut finite element method for the Darcy problem on surfaces. The cut finite element method is based on embedding the surface in a three dimensional finite element mesh and using finite element spaces defined on the three dimensional mesh as trial and test functions. Since we consider a partial differential equation on a surface, the resulting discrete weak problem might be severely ill conditioned. We propose a full gradient and a normal gradient based stabilization computed on the background mesh to render the proposed formulation stable and well conditioned irrespective of the surface positioning within the mesh. Our formulation extends and simplifies the Masud-Hughes stabilized primal mixed formulation of the Darcy surface problem proposed in [28] on fitted triangulated surfaces. The tangential condition on the velocity and the pressure gradient is enforced only weakly, avoiding the need for any tangential projection. The presented numerical analysis accounts for different polynomial orders for the velocity, pressure, and geometry approximation which are corroborated by numerical experiments. In particular, we demonstrate both theoretically and through numerical results that the normal gradient stabilized variant results in a high order scheme.
  • PDF
    We present and compare three constructive methods for realizing non-real spectra with three nonzero elements in the nonnegative inverse eigenvalue problem. We also provide some necessary conditions for realizability and numerical examples. In particular, we utilise the companion matrix.
  • PDF
    In this paper we derive a discretisation of the equation of quasi-static elasticity in homogenization in form of a variational formulation and the so-called Lippmann-Schwinger equation, in anisotropic spaces of translates of periodic functions. We unify and extend the truncated Fourier series approach, the constant finite element ansatz and the anisotropic lattice derivation. The resulting formulation of the Lippmann-Schwinger equation in anisotropic translation invariant spaces unifies and analyses for the first time both the Fourier methods and finite element approaches in a common mathematical framework. We further define and characterize the resulting periodised Green operator. This operator coincides in case of a Dirichlet kernel corresponding to a diagonal matrix with the operator derived for the Galerkin projection stemming from the truncated Fourier series approach and to the anisotropic lattice derivation for all other Dirichlet kernels. Additionally, we proof the boundedness of the periodised Green operator. The operator further constitutes a projection if and only if the space of translates is generated by a Dirichlet kernel. Numerical examples for both the de la Vallée Poussin means and Box splines illustrate the flexibility of this framework.
  • PDF
    In many biological, agricultural, military activity problems and in some quality control problems, it is almost impossible to have a fixed sample size, because some observations are always lost for various reasons. Therefore, the sample size itself is considered frequently to be a random variable (rv). The class of limit distribution functions (df's) of the random bivariate extreme generalized order statistics (GOS) from independent and identically distributed RV's are fully characterized. When the random sample size is assumed to be independent of the basic variables and its df is assumed to converge weakly to a non-degenerate limit, the necessary and sufficient conditions for the weak convergence of the random bivariate extreme GOS are obtained. Furthermore, when the interrelation of the random size and the basic rv's is not restricted, sufficient conditions for the convergence and the forms of the limit df's are deduced. Illustrative examples are given which lend further support to our theoretical results.
  • PDF
    In this paper we consider an interacting particle system in $\mathbb{R}^d$ modelled as a system of $N$ stochastic differential equations driven by Lévy processes. The limiting behaviour as the size $N$ grows to infinity is achieved as a law of large numbers for the empirical density process associated with the interacting particle system. We prove that the empirical process converges, uniformly in the space variable, to the solution of the $d$-dimensional fractal conservation law.
  • PDF
    We propose to estimate a metamodel and the sensitivity indices of a complex model m in the Gaussian regression framework. Our approach combines methods for sensitivity analysis of complex models and statistical tools for sparse non-parametric estimation in multivariate Gaussian regression model. It rests on the construction of a metamodel for aproximating the Hoeffding-Sobol decomposition of m. This metamodel belongs to a reproducing kernel Hilbert space constructed as a direct sum of Hilbert spaces leading to a functional ANOVA decomposition. The estimation of the metamodel is carried out via a penalized least-squares minimization allowing to select the subsets of variables that contribute to predict the output. It allows to estimate the sensitivity indices of m. We establish an oracle-type inequality for the risk of the estimator, describe the procedure for estimating the metamodel and the sensitivity indices, and assess the performances of the procedure via a simulation study.
  • PDF
    We study the high-frequency behavior of the Dirichlet-to-Neumann map for an arbitrary compact Riemannian manifold with a non-empty smooth boundary. We show that far from the real axis it can be approximated by a simpler operator. We use this fact to get new results concerning the location of the transmission eigenvalues on the complex plane. In some cases we obtain optimal transmission eigenvalue-free regions.
  • PDF
    Consider a reaction-diffusion equation of the form \[\dotu(t\,,x)=\tfrac12 u"(t\,,x) + b(u(t\,,x)) + \sigma(u(t,x)) \xi(t,x),\]on $\R_+\times[0\,,1]$, with the Dirichlet boundary condition and a nice initial condition, where $\xi(t,x)$ is a space-time white noise, in the case that there exists $\varepsilon>0$ such that $| b(z)| \ge|z|(\log|z|)^{1+\varepsilon}$ for all sufficiently-large values of $|z|$. When $\sigma\equiv 0$, it is well known that such PDEs frequently have non-trivial stationary solutions. By contrast, Bonder and Groisman have recently shown that when $\sigma$ is constant and $\sigma \neq 0$, there is %the addition of any amount of space-time white noise to the reaction-diffusion equation often results in finite-time blowup. In this paper, we prove that the Bonder--Groisman condition is unimproveable by showing that the reaction-diffusion equation with noise is "typically" well posed when $| b(z)| =O(|z|\log_+|z|)$ as $|z|\to\infty$. We interpret the word "typically" in two essentially-different ways without altering the conclusions of our assertions
  • PDF
    We introduce a technique for the analysis of general spatially coupled systems that are governed by scalar recursions. Such systems can be expressed in variational form in terms of a potential functional. We show, under mild conditions, that the potential functional is \emphdisplacement convex and that the minimizers are given by the fixed points of the recursions. Furthermore, we give the conditions on the system such that the minimizing fixed point is unique up to translation along the spatial direction. The condition matches those in \citeKRU12 for the existence of spatial fixed points. \emphDisplacement convexity applies to a wide range of spatially coupled recursions appearing in coding theory, compressive sensing, random constraint satisfaction problems, as well as statistical mechanical models. We illustrate it with applications to Low-Density Parity-Check and generalized LDPC codes used for transmission on the binary erasure channel, or general binary memoryless symmetric channels within the Gaussian reciprocal channel approximation, as well as compressive sensing.
  • PDF
    Let X be an irreducible smooth projective curve, of genus at least two, over an algebraically closed field k. Let $\mathcal{M}^d_G$ denote the moduli stack of principal G-bundles over X of fixed topological type $d \in \pi_1(G)$, where G is any almost simple affine algebraic group over k. We prove that the universal bundle over $X \times \mathcal{M}^d_G$ is stable with respect to any polarization on $X \times \mathcal{M}^d_G$. A similar result is proved for the Poincaré adjoint bundle over $X \times M_G^{d, rs}$, where $M_G^{d, rs}$ is the coarse moduli space of regularly stable principal G-bundles over X of fixed topological type d.
  • PDF
    With any (not necessarily proper) edge $k$-colouring $\gamma:E(G)\longrightarrow\{1,\dots,k\}$ of a graph $G$,one can associate a vertex colouring $\sigma\_{\gamma}$ given by $\sigma\_{\gamma}(v)=\sum\_{e\ni v}\gamma(e)$.A neighbour-sum-distinguishing edge $k$-colouring is an edge colouring whose associated vertex colouring is proper.The neighbour-sum-distinguishing index of a graph $G$ is then the smallest $k$ for which $G$ admitsa neighbour-sum-distinguishing edge $k$-colouring.These notions naturally extends to total colourings of graphs that assign colours to both vertices and edges.We study in this paper equitable neighbour-sum-distinguishing edge colourings andtotal colourings, that is colourings $\gamma$ for whichthe number of elements in any two colour classes of $\gamma$ differ by at most one.We determine the equitable neighbour-sum-distinguishing indexof complete graphs, complete bipartite graphs and forests,and the equitable neighbour-sum-distinguishing total chromatic numberof complete graphs and bipartite graphs.
  • PDF
    For an orientation-preserving homeomorphism of the sphere, we prove that if a translation line does not accumulate in a fixed point, then it necessarily spirals towards a topological attractor. This is in analogy with the description of flow lines given by Poincaré-Bendixson theorem. We then apply this result to the study of invariant continua without fixed points, in particular to circloids and boundaries of simply connected open sets. Among the applications, we show that if the prime ends rotation number of such an open set $U$ vanishes, then either there is a fixed point in the boundary, or the boundary of $U$ is contained in the basin of a finite family of topological "rotational" attractors. This description strongly improves a previous result by Cartwright and Littlewood, by passing from the prime ends compactification to the ambient space. Moreover, the dynamics in a neighborhood of the boundary is semiconjugate to a very simple model dynamics on a planar graph. Other applications involve the decomposability of invariant continua, and realization of rotation numbers by periodic points on circloids.
  • PDF
    It is often claimed that error cancellation plays an essential role in quantum chemistry and first-principle simulation for condensed matter physics and materials science. Indeed, while the energy of a large, or even medium-size, molecular system cannot be estimated numerically within chemical accuracy (typically 1 kcal/mol or 1 mHa), it is considered that the energy difference between two configurations of the same system can be computed in practice within the desired accuracy. The purpose of this paper is to provide a quantitative study of discretization error cancellation. The latter is the error component due to the fact that the model used in the calculation (e.g. Kohn-Sham LDA) must be discretized in a finite basis set to be solved by a computer. We first report comprehensive numerical simulations performed with Abinit on two simple chemical systems, the hydrogen molecule on the one hand, and a system consisting of two oxygen atoms and four hydrogen atoms on the other hand. We observe that errors on energy differences are indeed significantly smaller than errors on energies, but that these two quantities asymptotically converge at the same rate when the energy cut-off goes to infinity. We then analyze a simple one-dimensional periodic Schrödinger equation with Dirac potentials, for which analytic solutions are available. This allows us to explain the discretization error cancellation phenomenon on this test case with quantitative mathematical arguments.
  • PDF
    We study computable topological spaces and semicomputable and computable sets in these spaces. In particular, we investigate conditions under which semicomputable sets are computable. We prove that a semicomputable compact manifold $M$ is computable if its boundary $\partial M$ is computable. We also show how this result combined with certain construction which compactifies a semicomputable set leads to the conclusion that some noncompact semicomputable manifolds in computable metric spaces are computable.
  • PDF
    Saint-Venant equations can be generalized to account for a viscoelastic rheology in shallow flows. A Finite-Volume discretization for the 1D Saint-Venant system generalized to Upper-Convected Maxwell (UCM) fluids was proposed in [Bouchut \& Boyaval, 2013], which preserved a physically-natural stability property (i.e. free-energy dissipation) of the full system. It invoked a relaxation scheme of Suliciu type for the numerical computation of approximate solution to Riemann problems. Here, the approach is extended to the 1D Saint-Venant system generalized to the finitely-extensible nonlinear elastic fluids of Peterlin (FENE-P). We are currently not able to ensure all stability conditions a priori, but numerical simulations went smoothly in a practically useful range of parameters.
  • PDF
    We investigate properties of zeta functions of polynomial rings and their quotients, generalizing and extending some classical results about Dedekind zeta functions of number fields. By an application of Delange's version of the Ikehara Tauberian Theorem, we are then able to determine the asymptotic order of the ideal counting function in such rings. As a result, we produce counting estimates on ideal lattices of bounded determinant coming from fixed number fields, as well as density estimates for any ideal lattices among all sublattices of $\mathbb Z^d$. We conclude with some more general speculations and open questions.
  • PDF
    We prove a blow-up criterion for the solutions to the $\nu$-dimensional Patlak-Keller-Segel equation in the whole space. The condition is new in dimension three and higher. In dimension two it is exactly Dolbeault's and Perthame's blow-up condition, i.e., blow-up occurs if total mass exceeds $8\pi$ .
  • PDF
    For fixed real numbers $c>0,$ $\alpha>-\frac{1}{2},$ the finite Hankel transform operator, denoted by $\mathcal{H}_c^{\alpha}$ is given by the integral operator defined on $L^2(0,1)$ with kernel $K_{\alpha}(x,y)= \sqrt{c xy} J_{\alpha}(cxy).$ To the operator $\mathcal{H}_c^{\alpha},$ we associate a positive, self-adjoint compact integral operator $\mathcal Q_c^{\alpha}=c\, \mathcal{H}_c^{\alpha}\, \mathcal{H}_c^{\alpha}.$ Note that the integral operators $\mathcal{H}_c^{\alpha}$ and $\mathcal Q_c^{\alpha}$ commute with a Sturm-Liouville differential operator $\mathcal D_c^{\alpha}.$ In this paper, we first give some useful estimates and bounds of the eigenfunctions $\vp$ of $\mathcal H_c^{\alpha}$ or $\mathcal Q_c^{\alpha}.$ These estimates and bounds are obtained by using some special techniques from the theory of Sturm-Liouville operators, that we apply to the differential operator $\mathcal D_c^{\alpha}.$ If $(\mu_{n,\alpha}(c))_n$ and $\lambda_{n,\alpha}(c)=c\, |\mu_{n,\alpha}(c)|^2$ denote the infinite and countable sequence of the eigenvalues of the operators $\mathcal{H}_c^{(\alpha)}$ and $\mathcal Q_c^{\alpha},$ arranged in the decreasing order of their magnitude, then we show an unexpected result that for a given integer $n\geq 0,$ $\lambda_{n,\alpha}(c)$ is decreasing with respect to the parameter $\alpha.$ As a consequence, we show that for $\alpha\geq \frac{1}{2},$ the $\lambda_{n,\alpha}(c)$ and the $\mu_{n,\alpha}(c)$ have a super-exponential decay rate. Also, we give a lower decay rate of these eigenvalues. As it will be seen, the previous results are essential tools for the analysis of a spectral approximation scheme based on the eigenfunctions of the finite Hankel transform operator. Some numerical examples will be provided to illustrate the results of this work.
  • PDF
    We introduce the class of continuous-time autoregressive moving-average (CARMA) processes in Hilbert spaces. As driving noises of these processes we consider Levy processes in Hilbert space. We provide the basic definitions, show relevant properties of these processes and establish the equivalents of CARMA processes on the real line. Finally, CARMA processes in Hilbert space are linked to the stochastic wave equation and functional autoregressive processes.

Recent comments

Māris Ozols Dec 27 2016 19:34 UTC

What a nice book! And it's available for free on arXiv!

Felix Leditzky Nov 29 2016 16:34 UTC

Thank you very much for the reply!

Alex Wozniakowski Nov 22 2016 19:50 UTC

Here, the string diagrams (for qudits, transformations, and measurements) may have charge. The manipulation of diagrams with charge requires para-isotopy, which generalizes topological isotopy; and the relation for para-isotopy is found on pg. 11, in eq. (22). Essentially, para-isotopy keeps track

...(continued)
Felix Leditzky Nov 22 2016 17:18 UTC

Could you give an example of a topological isotopy that transforms the transformation $T$ on p.3 into the one in eq. (6)? On a related note, how is a topological isotopy defined?

Zoltán Zimborás Oct 31 2016 23:12 UTC

There is a lot of discussion about the paper by Atiyah (claiming to solve this famous question) in the math community - with a bit of skeptical edge - both on reddit and on mathoverflow:

https://www.reddit.com/r/math/comments/5aajsn/161009366_the_nonexistent_complex_6sphere_michael/

http://mathov

...(continued)
Marco Piani Sep 19 2016 20:13 UTC

Is it actually decidable? :-)

Toby Cubitt Sep 19 2016 15:00 UTC

I like this sentence from the conclusion: "There is, however, a second possible answer to our question: yes".

JRW Sep 14 2016 07:46 UTC

"Ni." would be slightly shorter, but some may find it offensive.

Frédéric Grosshans Sep 13 2016 12:38 UTC

The abstract my be a bit too long.

Mohammad Bavarian Sep 08 2016 03:58 UTC

So beautifully written!