Mathematics
New submissions
[ showing up to 2000 entries per page: fewer | more ]
New submissions for Fri, 11 Jan 19
- [1] arXiv:1901.02906 [pdf, other]
-
Title: Fixed Points of Parking FunctionsComments: 37 pagesSubjects: Combinatorics (math.CO)
We define an action of words in $[m]^n$ on $\mathbb{R}^m$ to give a new characterization of rational parking functions---they are exactly those words whose action has a fixed point. We use this viewpoint to give a simple definition of Gorsky, Mazin, and Vazirani's zeta map on rational parking functions when m and n are coprime, and prove that this zeta map is invertible. A specialization recovers Loehr and Warrington's sweep map on rational Dyck paths.
- [2] arXiv:1901.02912 [pdf, ps, other]
-
Title: Generating functions for finite sums involving higher powers of binomial coefficients: Analysis of hypergeometric functions including new families of polynomials and numbersAuthors: Yilmaz SimsekComments: 36 pagesSubjects: Number Theory (math.NT)
The origin of this study is based on not only explicit formulas of finite sums involving higher powers of binomial coefficients, but also explicit evaluations of generating functions for this sums. It should be emphasized that this study contains both new results and literature surveys about some of the related results that have existed so far. With the aid of hypergeometric function, generating functions for a new family of the combinatorial numbers, related to finite sums of powers of binomial coefficients, are constructed. By using these generating functions, a number of new identities have been obtained and at the same time previously well-known formulas and identities have been generalized. Moreover, on this occasion, we identify new families of polynomials including some families of well-known numbers such as Bernoulli numbers, Euler numbers, Stirling numbers, Franel numbers, Catalan numbers, Changhee numbers, Daehee numbers and the others, and also for the polynomials such as the Legendre polynomials, Michael Vowe polynomial, the Mirimanoff polynomial, Golombek type polynomials, and the others. We also give both Riemann and $p$-adic integral representations of these polynomials. Finally, we give combinatorial interpretations of these new families of numbers, polynomials and finite sums of the powers of binomial coefficients. We also give open questions for ordinary generating functions for these numbers.
- [3] arXiv:1901.02914 [pdf, other]
-
Title: Binary Message Passing Decoding of Product Codes Based on Generalized Minimum Distance DecodingComments: arXiv admin note: text overlap with arXiv:1806.10903Subjects: Information Theory (cs.IT)
We propose a binary message passing decoding algorithm for product codes based on generalized minimum distance decoding (GMDD) of the component codes, where the last stage of the GMDD makes a decision based on the Hamming distance metric. The proposed algorithm closes half of the gap between conventional iterative bounded distance decoding (iBDD) and turbo product decoding based on the Chase--Pyndiah algorithm at a bit error rate of $10^{-7}$, at the expense of some increase in complexity. The proposed algorithm entails only a limited increase in data flow compared to iBDD.
- [4] arXiv:1901.02922 [pdf, ps, other]
-
Title: Degrees of compression and inertia for free-abelian times free groupsSubjects: Group Theory (math.GR)
We introduce the concepts of degree of inertia, $\di(H)$, and degree of compression, $\dc(H)$, of a finitely generated subgroup $H$ of a given group $G$. For the case of direct products of free-abelian and free groups, we compute the degree of compression and give an upper bound for the degree of inertia.
- [5] arXiv:1901.02924 [pdf, ps, other]
-
Title: On the translation invariant operators in $\ell^p(\mathbb{Z}^d)$Subjects: Classical Analysis and ODEs (math.CA)
In this paper we study boundedness of translation invariant operators in the discrete space $\ell^p(\mathbb{Z}^d)$.
In this context a Mikhlin type multiplier theorem is given, yielding boundedness for certain known operators .
We also give $\ell^p-\ell^q$ boundedness of a discrete wave equation. - [6] arXiv:1901.02927 [pdf, ps, other]
-
Title: A note on isomorphisms between submonoids of $\mathbb N^k$ and numerical semigroupsAuthors: Jerson BorjaComments: 9 pagesSubjects: Commutative Algebra (math.AC)
Given a submonoid $H$ of $\mathbb N^k$, we give some characterizations of the minimum $r\in \mathbb N^+$ such that $H$ is isomorphic to a submonoid of $\mathbb N^r$. In the context of submonoids of $\mathbb N$, we prove that if two numerical semigroups are isomorphic submonoids of $\mathbb N$, then they are equal and the identity map is the unique isomorphism between them.
- [7] arXiv:1901.02930 [pdf, ps, other]
-
Title: Conditions de stabilité et géométrie birationnelle [d'après Bridgeland, Bayer-Macrì, ...]Authors: François CharlesComments: Texte de l'expos\'e 1147 du s\'eminaire Bourbaki (juin 2018). Text of talk 1147 of the Bourbaki seminar (june 2018), 47 pages, in FrenchSubjects: Algebraic Geometry (math.AG)
We survey some aspects of stability conditions both in general and on the derived category of coherent sheaves on a surface, with applications to the birational geometry of certain holomorphic symplectic varieties.
- [8] arXiv:1901.02933 [pdf, other]
-
Title: Polynomial-time Capacity Calculation and Scheduling for Half-Duplex 1-2-1 NetworksSubjects: Information Theory (cs.IT)
This paper studies the 1-2-1 half-duplex network model, where two half-duplex nodes can communicate only if they point `beams' at each other; otherwise, no signal can be exchanged or interference can be generated. The main result of this paper is the design of two polynomial-time algorithms that: (i) compute the approximate capacity of the 1-2-1 half-duplex network and, (ii) find the network schedule optimal for the approximate capacity. The paper starts by expressing the approximate capacity as a linear program with an exponential number of constraints. A core technical component consists of building a polynomial-time separation oracle for this linear program, by using algorithmic tools such as perfect matching polytopes and Gomory-Hu trees.
- [9] arXiv:1901.02938 [pdf, ps, other]
-
Title: Private Information Retrieval from Locally Repairable Databases with Colluding ServersAuthors: Umberto Martínez-PeñasSubjects: Information Theory (cs.IT)
In this work, information-theoretical private information retrieval (PIR) is considered from a coded database with colluding servers. The considered storage code is a locally repairable code (LRC) with maximal recoverability (MR), and in particular, with optimal global minimum distance, for arbitrary code parameters: Number of local groups $ g $, locality $ r $, local distance $ \delta $, dimension $ k \leq gr $ and length $ n = g(r + \delta - 1) $. Servers are identified bijectively with local groups, and only locally non-redundant information is considered and downloaded from each server, that is, only $ r $ nodes (out of $ r+\delta-1 $) are considered per server. When the remaining MDS code, after removing all locally redundant nodes, is a linearized Reed-Solomon code, a PIR scheme is provided achieving the (download) rate $ R = (N - k - rt + 1)/N $, where $ N = gr = n - g(\delta - 1) $ is the length of the restricted MDS code, for any $ t $ colluding servers such that $ k + rt \leq N $. The field size is roughly $ g^r $, polynomial in the number of servers $ g $ (and in $ N $ if $ r $ is fixed). When $ N - k - rt = 0 $, the rate $ R = 1/N $ is optimal (asymptotically in the number of files) and coincides with that of previous PIR schemes that work for an arbitrary MDS storage code. When $ N - k - rt > 0 $, the achieved rate $ R > 1/N $ coincides with the best known rate of PIR schemes for MDS storage codes (but which do not work for LRC or linearized Reed-Solomon storage codes) and is always strictly higher than that of known PIR schemes that work for arbitrary MDS storage codes. Finally, the obtained PIR scheme can also be adapted to the case where communication between the user and each server is through a linearly-coded network, achieving the same rate as previous known constructions but with polynomial field sizes in the number of servers.
- [10] arXiv:1901.02940 [pdf, ps, other]
-
Title: A note on the eightfold waySubjects: Logic (math.LO)
Assuming the existence of a Mahlo cardinal, we construct a model in which there exists an $\omega_2$-Aronszajn tree, the $\omega_1$-approachability property fails, and every stationary subset of $\omega_2 \cap \mathrm{cof}(\omega)$ reflects.
- [11] arXiv:1901.02941 [pdf, ps, other]
-
Title: The Cholewinski-Fock space in the Slice Hyperholomorphic SettingAuthors: Kamal DikiComments: To appear in Mathematical Methods in the Applied SciencesSubjects: Complex Variables (math.CV)
Inspired from the Cholewinski approach see [5], we investigate a family of Fock spaces in the quaternionic slice hyperholomorphic setting as well as some associated quaternionic linear operators. In a particular case, we reobtain the slice hyperholomorphic Fock space introduced and studied in [2].
- [12] arXiv:1901.02951 [pdf, ps, other]
-
Title: Factorization of composed polynomials and applicationsComments: 14 pages; comments welcomeSubjects: Number Theory (math.NT)
Let $\mathbb{F}_q$ be the finite field with $q$ elements, where $q$ is a prime power and $n$ be a positive integer. In this paper, we explore the factorization of $f(x^{n})$ over $\mathbb{F}_q$, where $f(x)$ is an irreducible polynomial over $\mathbb F_q$. Our main results provide generalizations of recent works on the factorization of binomials $x^n-1$. As an application, we provide an explicit formula for the number of irreducible factors of $f(x^n)$ under some generic conditions on $f$ and $n$.
- [13] arXiv:1901.02956 [pdf, other]
-
Title: The Bishop--Phelps--Bollobás property for Lipschitz mapsComments: 28 pagesSubjects: Functional Analysis (math.FA)
In this paper, we introduce and study a Lipschitz version of the Bishop-Phelps-Bollob\'as property (Lip-BPB property). This property deals with the possibility to make a uniformly simultaneous approximation of a Lipschitz map $F$ and a pair of points at which $F$ almost attains its norm by a Lipschitz map $G$ and a pair of points such that $G$ strongly attains its norm at the new pair of points. We first show that if $M$ is a finite pointed metric space and $Y$ is a finite-dimensional Banach space, then the pair $(M,Y)$ has the Lip-BPB property, and that both finiteness are needed. Next, we show that if $M$ is a uniformly Gromov concave pointed metric space (i.e.\ the molecules of $M$ form a set of uniformly strongly exposed points), then $(M,Y)$ has the Lip-BPB property for every Banach space $Y$. We further prove that this is the case of finite concave metric spaces, ultrametric spaces, and H\"older metric spaces. The extension of the Lip-BPB property from $(M,\mathbb{R})$ to some Banach spaces $Y$, the relationship with absolute sums, and some results only valid for compact Lipschitz maps, are also discussed.
- [14] arXiv:1901.02958 [pdf, ps, other]
-
Title: Asymptotic estimates of solutions to time-fractional diffusion equations with space-dependent variable orderSubjects: Analysis of PDEs (math.AP)
We examine the short and long-time behaviors of time-fractional diffusion equations with variable space-dependent order. More precisely, we describe the time-evolution of the solution to these equations as the time parameter goes either to zero or to infinity.
- [15] arXiv:1901.02964 [pdf, ps, other]
-
Title: On global stability of optimal rearrangement mapsComments: 33 pagesSubjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP)
We study the nonlocal vectorial transport equation $\partial_ty+ (\mathbb{P} y \cdot \nabla) y=0$ on bounded domains of $\mathbb{R}^d$ where $\mathbb{P}$ denotes the Leray projector. This equation was introduced to obtain the unique optimal rearrangement of the initial map $y_0$ as its steady states (\cite{AHT, Macthesis, Brenier09}). We rigorously justify this expectation by proving that for initial maps $y_0$ sufficiently close to maps with strictly convex potential, the solutions $y$ are global in time and converge exponentially fast to the optimal rearrangement of $y_0$ as time tends to infinity.
- [16] arXiv:1901.02969 [pdf, ps, other]
-
Title: $L^2$-type contraction for shocks of scalar viscous conservation laws with strictly convex fluxAuthors: Moon-Jin KangSubjects: Analysis of PDEs (math.AP)
We study the $L^2$-type contraction property of large perturbations around shock waves of scalar viscous conservation laws with strictly convex fluxes in one space dimension. The contraction holds up to a shift, and it is measured by a weighted related entropy, for which we choose an appropriate entropy associated with the strictly convex flux. In particular, we handle shocks with small amplitude. This result improves the recent article [18] of the author and Vasseur on $L^2$-contraction property of shocks to scalar viscous conservation laws with a special flux, that is almost the Burgers flux.
- [17] arXiv:1901.02971 [pdf, other]
-
Title: An Algebraic Sparsified Nested Dissection Algorithm Using Low-Rank ApproximationsAuthors: Léopold Cambier, Chao Chen, Erik G Boman, Sivasankaran Rajamanickam, Raymond S. Tuminaro, Eric DarveSubjects: Numerical Analysis (math.NA)
We propose a new algorithm for the fast solution of large, sparse, symmetric positive-definite linear systems, spaND -- sparsified Nested Dissection. It is based on nested dissection, sparsification and low-rank compression. After eliminating all interiors at a given level of the elimination tree, the algorithm sparsifies all separators corresponding to the interiors. This operation reduces the size of the separators by eliminating some degrees of freedom but without introducing any fill-in. This is done at the expense of a small and controllable approximation error. The result is an approximate factorization that can be used as an efficient preconditioner. We then perform several numerical experiments to evaluate this algorithm. We demonstrate that a version using orthogonal factorization and block-diagonal scaling takes less CG iterations to converge than previous similar algorithms on various kinds of problems. Furthermore, this algorithm is provably guaranteed to never break down and the matrix stays symmetric positive-definite throughout the process. We evaluate the algorithm on some large problems show it exhibits near-linear scaling. The factorization time is roughly O(N) and the number of iterations grows slowly with N.
- [18] arXiv:1901.02972 [pdf, ps, other]
-
Title: A sequential update algorithm for computing the stationary distribution vector in upper block-Hessenberg Markov chainsAuthors: Hiroyuki MasuyamaComments: Accepted for publication in Queueing Systems, 2019Subjects: Probability (math.PR)
This paper proposes a new algorithm for computing the stationary distribution vector in continuous-time upper block-Hessenberg Markov chains. To this end, we consider the last-block-column-linearly-augmented (LBCL-augmented) truncation of the (infinitesimal) generator of the upper block-Hessenberg Markov chain. The LBCL-augmented truncation is a linearly-augmented truncation such that the augmentation distribution has its probability masses only on the last block column. We first derive an upper bound for the total variation distance between the respective stationary distribution vectors of the original generator and its LBCL-augmented truncation. Based on the upper bound, we then establish a series of linear fractional programming (LFP) problems to obtain augmentation distribution vectors such that the bound converges to zero. Using the optimal solutions of the LFP problems, we construct a matrix-infinite-product (MIP) form of the original (i.e., not approximate) stationary distribution vector and develop a sequential update algorithm for computing the MIP from. Finally, we demonstrate the applicability of our algorithm to BMAP/M/$\infty$ queues and M/M/$s$ retrial queues.
- [19] arXiv:1901.02973 [pdf, ps, other]
-
Title: Existence of a unique solution and invariant measures for the stochastic Landau--Lifshitz--Bloch equationSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Probability (math.PR)
The Landau--Lifshitz--Bloch equation perturbed by a space-dependent noise was proposed in Garanin 1991 as a model for evolution of spins in ferromagnatic materials at the full range of temperatures, including the temperatures higher than the Curie temperature. In the case of a ferromagnet filling a bounded domain $D\subset \mathbb R^d$, $d=1,2,3$, we show the existence of strong (in the sense of PDEs) martingale solutions. Furthermore, in cases $d=1,2$ we prove uniqueness of pathwise solutions and the existence of invariant measures.
- [20] arXiv:1901.02974 [pdf, other]
-
Title: Mixed-mode oscillations and chaotic dynamics near singular Hopf bifurcation in a two time-scale ecosystemAuthors: Susmita SadhuSubjects: Dynamical Systems (math.DS)
A two-trophic ecosystem comprising of two species of predators competing for their common prey with explicit interference competition is considered. With a proper rescaling, the model is portrayed as a system of singularly perturbed equations with one-fast (prey dynamics) and two-slow variables (dynamics of the predators). The model exhibits variety of rich and complex dynamics including mixed-mode oscillations (MMOs) featuring concatenation of small and large amplitude oscillations, depending on the value of a control parameter. In a parameter regime near the so-called `folded saddle-node of type II' (FSN II) bifurcation point or the `singular-Hopf point' (such points generically occur in one parameter families of singularly perturbed systems with two slow variables), the system exhibits a bistable behavior. In this regime, chaotic MMOs in the form of a strange attractor coexists with a periodic attractor born out of a supercritical Hopf bifurcation. The bistable regime is analyzed by computing basins of attraction of the two attractors and studying a suitable Poincar\'e map. The emergence of MMOs in this regime is attributed to the `generalized canard phenomenon'. To elucidate our findings, the model is reduced to a normal form near the FSN II point, which is an organizing center for the MMOs. The normal form possess a `Shil'nikov-type equilibrium' and exhibits MMOs that have unbounded number of small amplitude oscillations in their signatures, suggesting that it realizes a `suitably modified' Shil'nikov mechanism.
- [21] arXiv:1901.02976 [pdf, ps, other]
-
Title: The square root rule for adaptive importance samplingSubjects: Statistics Theory (math.ST); Computation (stat.CO)
In adaptive importance sampling, and other contexts, we have unbiased and uncorrelated estimates of a common quantity $\mu$ and the variance of the $k$'th estimate is thought to decay like $k^{-y}$ for an unknown rate parameter $y\in [0,1]$. If we combine the estimates as though $y=1/2$, then the resulting estimate attains the optimal variance rate with a constant that is too large by at most $9/8$ for any $0\le y\le 1$ and any number $K$ of estimates.
- [22] arXiv:1901.02977 [pdf, other]
-
Title: Sharing Energy Storage Between Transmission and DistributionAuthors: Ryan Elliott, Ricardo Fernandez-Blanco, Kelly Kozdras, Josh Kaplan, Brian Lockyear, Jason Zyskowski, Daniel S. KirschenComments: 11 pages, 7 figures, 10 tablesSubjects: Optimization and Control (math.OC)
This paper addresses the problem of how best to coordinate, or `stack,' energy storage services in systems that lack centralized markets. Specifically, its focus is on how to coordinate transmission-level congestion relief with local, distribution-level objectives. We describe and demonstrate a unified communication and optimization framework for performing this coordination. The congestion relief problem formulation employs a weighted $\ell_{1}$-norm objective. This approach determines a set of corrective actions, i.e., energy storage injections and conventional generation adjustments, that minimize the required deviations from a planned schedule. To exercise this coordination framework, we present two case studies. The first is based on a 3-bus test system, and the second on a realistic representation of the Pacific Northwest region of the United States. The results indicate that the scheduling methodology provides congestion relief, cost savings, and improved renewable energy integration. The large-scale case study informed the design of a live demonstration carried out in partnership with the University of Washington, Doosan GridTech, Snohomish County PUD, and the Bonneville Power Administration. The goal of the demonstration was to test the feasibility of the scheduling framework in a production environment with real-world energy storage assets. The demonstration results were consistent with computational simulations.
- [23] arXiv:1901.02982 [pdf, ps, other]
-
Title: The isometry group of phylogenetic tree space is $S_n$Authors: Gillian GrindstaffComments: 7 pages, 1 figureSubjects: Combinatorics (math.CO); Metric Geometry (math.MG); Populations and Evolution (q-bio.PE)
A phylogenetic tree is an acyclic graph with distinctly labeled leaves, whose internal edges have a positive weight. Given a set of n leaves, the collection of all phylogenetic trees with this leaf set can be assembled into a metric cube complex known as phylogenetic tree space, or Billera-Holmes-Vogtmann tree space. In this largely combinatorial paper, we show that the isometry group of this space is the symmetric group on n elements. This fact is relevant to distance-based analyses of phylogenetic tree sets.
- [24] arXiv:1901.02983 [pdf, ps, other]
-
Title: Non-Existence of Geometric Minimal Foliations in Hyperbolic Three-ManifoldsComments: Commentarii Mathematici Helvetici, to appearSubjects: Geometric Topology (math.GT); Differential Geometry (math.DG)
In this paper we show that every three-dimensional closed hyperbolic manifold admits no locally geometric $1$-parameter family of closed minimal surfaces.
- [25] arXiv:1901.02984 [pdf, ps, other]
-
Title: Local limit theorems for smoothed Bernoulli and other convolutionsComments: 20 pagesSubjects: Probability (math.PR)
We explore an asymptotic behavior of densities of sums of independent random variables that are convoluted with a small continuous noise.
- [26] arXiv:1901.02990 [pdf, ps, other]
-
Title: Equivariant quantum differential equation, Stokes bases, and K-theory for a projective spaceComments: Latex, 19 pagesSubjects: Algebraic Geometry (math.AG); Mathematical Physics (math-ph); Quantum Algebra (math.QA)
We consider the equivariant quantum differential equation for the projective space $P^{n-1}$. We prove an equivariant gamma theorem for $P^{n-1}$, which describes the asymptotics of the differential equation at its regular singular point in terms of the equivariant characteristic gamma class of the tangent bundle of $P^{n-1}$. We describe the Stokes bases of the differential equation at its irregular singular point in terms of the exceptional bases of the equivariant K-theory algebra of $P^{n-1}$ and a suitable braid group action on the set of exceptional bases.
Our results are an equivariant version of the well-know results of B. Dubrovin and D. Guzzetti. - [27] arXiv:1901.03000 [pdf, other]
-
Title: Capacity of Distributed Storage Systems with Clusters and Separate NodesSubjects: Information Theory (cs.IT); Distributed, Parallel, and Cluster Computing (cs.DC)
In distributed storage systems (DSSs), the optimal tradeoff between node storage and repair bandwidth is an important issue for designing distributed coding strategies to ensure large scale data reliability. The capacity of DSSs is obtained as a function of node storage and repair bandwidth parameters, characterizing the tradeoff. There are lots of works on DSSs with clusters (racks) where the repair bandwidths from intra-cluster and cross-cluster are differentiated. However, separate nodes are also prevalent in the realistic DSSs, but the works on DSSs with clusters and separate nodes (CSN-DSSs) are insufficient. In this paper, we formulate the capacity of CSN-DSSs with one separate node for the first time where the bandwidth to repair a separate node is of cross-cluster. Consequently, the optimal tradeoff between node storage and repair bandwidth are derived and compared with cluster DSSs. A regenerating code instance is constructed based on the tradeoff. Furthermore, the influence of adding a separate node is analyzed and formulated theoretically. We prove that when each cluster contains R nodes and any k nodes suffice to recover the original file (MDS property), adding an extra separate node will keep the capacity if R|k, and reduce the capacity otherwise.
- [28] arXiv:1901.03002 [pdf, ps, other]
-
Title: On the least common multiple of several random~integersComments: 18 pagesSubjects: Probability (math.PR); Number Theory (math.NT)
Let $L_n(k)$ denote the least common multiple of $k$ independent random integers uniformly chosen in $\{1,2,\ldots ,n\}$. In this note, using a purely probabilistic approach, we derive a criterion for the convergence in distribution as $n\to\infty$ of $\frac{f(L_n(k))}{n^{rk}}$ for a wide class of multiplicative arithmetic functions~$f$ with polynomial growth $r>-1$. Furthermore, we identify the limit as an infinite product of independent random variables indexed by prime numbers. Along the way, we compute the generating function of a trimmed sum of independent geometric laws, occurring in the above infinite product. This generating function is rational; we relate it to the generating function of a certain max-type Diophantine equation, of which we solve a generalized version. Our results extend theorems by Erd\H{o}s and Wintner (1939), Fern\'{a}ndez and Fern\'{a}ndez (2013) and Hilberdink and T\'{o}th (2016).
- [29] arXiv:1901.03005 [pdf, other]
-
Title: A reaction network approach to the theory of acoustic wave turbulenceSubjects: Mathematical Physics (math-ph); Applied Physics (physics.app-ph)
We propose a new approach to study the long time dynamics of the wave kinetic equation in the statistical description of acoustic turbulence. The approach is based on rewriting the discrete version of the wave kinetic equation in the form of a chemical reaction network, then employing techniques used to study the Global Attractor Conjecture to investigate the long time dynamics of the newly obtained chemical system. We show that the solution of the chemical system converges to an equilibrium exponentially in time. In addition, a resonance broadening modification of the acoustic wave kinetic equation is also studied with the same technique. For the near-resonance equation, if the resonance broadening frequency is larger than a threshold, the solution of the system goes to infinity as time evolves.
- [30] arXiv:1901.03007 [pdf, ps, other]
-
Title: Asymptotic analysis of the mean squared displacement under fractional memory kernelsSubjects: Probability (math.PR)
The generalized Langevin equation (GLE) is a universal model for particle velocity in a viscoelastic medium. In this paper, we consider the GLE family with fractional memory kernels. We show that, in the critical regime where the memory kernel decays like $1/t$ for large $t$, the mean squared displacement (MSD) of particle motion grows linearly in time up to a slowly varying (logarithm) term. Moreover, we establish the well-posedness of the GLE in this regime. This solves an open question from [Mckinley 2018 Anomalous] and completes the answer to the conjecture put forward in [Morgado 2002 Relation] on the relationship between memory kernel decay and anomalously diffusive behavior. Under slightly stronger assumptions on the memory kernel, we construct an Abelian-Tauberian framework that leads to robust bounds on the deviation of the MSD around its asymptotic trend. This bridges the gap between the GLE memory kernel and the spectral density of anomalously diffusive particle motion characterized in [Didier 2017 Asymptotic].
- [31] arXiv:1901.03008 [pdf, ps, other]
-
Title: Mean Curvature Flow with BoundaryAuthors: Brian WhiteComments: 28 pagesSubjects: Differential Geometry (math.DG)
We develop a theory of surfaces with boundary moving by mean curvature flow. In particular, we prove a general existence theorem by elliptic regularization, and we prove boundary regularity at all positive times under rather mild hypotheses.
- [32] arXiv:1901.03009 [pdf, other]
-
Title: Online Ramsey theory for a triangle on $F$-free graphsComments: 20 pages, 10 pagesSubjects: Combinatorics (math.CO)
Given a class $\mathcal{C}$ of graphs and a fixed graph $H$, the online Ramsey game for $H$ on $\mathcal C$ is a game between two players Builder and Painter as follows: an unbounded set of vertices is given as an initial state, and on each turn Builder introduces a new edge with the constraint that the resulting graph must be in $\mathcal C$, and Painter colors the new edge either red or blue. Builder wins the game if Painter is forced to make a monochromatic copy of $H$ at some point in the game. Otherwise, Painter can avoid creating a monochromatic copy of $H$ forever, and we say Painter wins the game.
We initiate the study of characterizing the graphs $F$ such that for a given graph $H$, Painter wins the online Ramsey game for $H$ on $F$-free graphs. We characterize all graphs $F$ such that Painter wins the online Ramsey game for $C_3$ on the class of $F$-free graphs, except when $F$ is one particular graph. We also show that Painter wins the online Ramsey game for $C_3$ on the class of $K_4$-minor-free graphs, extending a result by Grytczuk, Ha{\l}uszczak, and Kierstead. - [33] arXiv:1901.03013 [pdf, ps, other]
-
Title: The approximation of Lyapunov exponents by horseshoes for $C^1$-diffeomorphisms with dominated splittingSubjects: Dynamical Systems (math.DS)
Let $f$ be a $C^1$-diffeomorphism and $\mu$ be a hyperbolic ergodic $f$-invariant Borel probability measure with positive measure-theoretic entropy. Assume that the Oseledec splitting $$T_xM=E_1(x) \oplus\cdots\oplus E_s(x) \oplus E_{s+1}(x) \oplus\cdots\oplus E_l(x) $$ is dominated on the Oseledec basin $\Gamma$. We give extensions of Katok's Horseshoes construction. Moreover there is a dominated splitting corresponding to Oseledec subspace on horseshoes.
- [34] arXiv:1901.03014 [pdf, ps, other]
-
Title: EGL formula for DT/PT theory of local curvesAuthors: A. OblomkovComments: 17 pages, no figures. Comments are welcome!Subjects: Algebraic Geometry (math.AG); Mathematical Physics (math-ph)
In this note we prove an integral formula for the bare one-leg PT vertex with descendents.
The formula follows from the PT version of Ellingsrud-G\"ottsche-Lehn formula that is explained here. We apply the integral formula to obtain an elementary proof of rationality of one-leg capped PT vertex with descendents.
We also obtain an integral formula for degree zero DT invariants with descendents. Finally we propose an explicit non-equivariant DT/PT correspondence as well as one descendent insertion fully-equivariant DT/PT formula. - [35] arXiv:1901.03020 [pdf, other]
-
Title: Minimizing The Age of Information: NOMA or OMA?Subjects: Information Theory (cs.IT)
In this paper, we examine the potentials of Non- Orthogonal Multiple Access (NOMA), currently rivaling Orthogonal Multiple Access (OMA) in 3rd Generation Partnership Project (3GPP) standardization for future 5G networks Machine Type Communications (MTC), in the framework of minimizing the average Age of Information (AoI). By leveraging the notion of Stochastic Hybrid Systems (SHS), we find the total average AoI of the network in simple NOMA and conventional OMA environments. Armed with this, we provide a comparison between the two schemes in terms of average AoI. Interestingly, it will be shown that even when NOMA achieves better spectral efficiency in comparison to OMA, this does not necessarily translates into a lower average AoI in the network.
- [36] arXiv:1901.03022 [pdf, other]
-
Title: An Introduction to Partial Differential EquationsAuthors: Per Kristen JakobsenComments: 225 pages, 67 figuresSubjects: History and Overview (math.HO); Analysis of PDEs (math.AP)
The field of partial differential equations (PDEs) is vast in size and diversity. The basic reason for this is that essentially all fundamental laws of physics are formulated in terms of PDEs. In addition, approximations to these fundamental laws, that form a patchwork of mathematical models covering the range from the smallest to the largest observable space-time scales, are also formulated in terms of PDEs. The diverse applications of PDEs in science and technology testify to the flexibility and expressiveness of the language of PDEs, but it also makes it a hard topic to teach right. Exactly because of the diversity of applications, there are just so many different points of view when it comes to PDEs. These lecture notes view the subject through the lens of applied mathematics. From this point of view, the physical context for basic equations like the heat equation, the wave equation and the Laplace equation are introduced early on, and the focus of the lecture notes are on methods, rather than precise mathematical definitions and proofs. With respect to methods, both analytical and numerical approaches are discussed.
These lecture notes has been succesfully used as the text for a master class in partial differential equations for several years. The students attending this class are assumed to have previously attended a standard beginners class in ordinary differential equations and a standard beginners class in numerical methods. It is also assumed that they are familiar with programming at the level of a beginners class in informatics at the university level. - [37] arXiv:1901.03024 [pdf, other]
-
Title: On Computation of Koopman Operator from Sparse DataSubjects: Dynamical Systems (math.DS)
In this paper we propose a novel approach to compute the Koopman operator from sparse time series data. In recent years there has been considerable interests in operator theoretic methods for data-driven analysis of dynamical systems. Existing techniques for the approximation of the Koopman operator require sufficiently large data sets, but in many applications, the data set may not be large enough to approximate the operators to acceptable limits. In this paper, using ideas from robust optimization, we propose an algorithm to compute the Koopman operator from sparse data. We enrich the sparse data set with artificial data points, generated by adding bounded artificial noise and and formulate the noisy robust learning problem as a robust optimization problem and show that the optimal solution is the Koopman operator with smallest error. We illustrate the efficiency of our proposed approach in three different dynamical systems, namely, a linear system, a nonlinear system and a dynamical system governed by a partial differential equation.
- [38] arXiv:1901.03028 [pdf, ps, other]
-
Title: Generalized localization for spherical partial sums of multiple Fourier seriesAuthors: Ravshan AshurovComments: 6 pagesSubjects: Analysis of PDEs (math.AP)
In this paper the generalized localization principle for the spherical partial sums of the multiple Fourier series in the $L_2$ - class is proved, that is, if $f\in L_2(T^N)$ and $f=0$ on an open set $\Omega \subset T^N$, then it is shown that the spherical partial sums of this function converge to zero almost - everywhere on $\Omega$. It has been previously known that the generalized localization is not valid in $L_p(T^N)$ when $1\leq p<2$. Thus the problem of generalized localization for the spherical partial sums is completely solved in $L_p(T^N)$, $p\geq 1$: if $p\geq2$ then we have the generalized localization and if $p<2$, then the generalized localization fails.
- [39] arXiv:1901.03036 [pdf, other]
-
Title: Nonparametric Multiple Change Point Detection for Non-Stationary Times SeriesSubjects: Statistics Theory (math.ST)
This article considers a nonparametric method for detecting change points in non-stationary time series. The proposed method will divide the time series into several segments so that between two adjacent segments, the normalized spectral density functions are different. The theory is based on the assumption that within each segment, time series is a linear process, which means that our method works not only for classic time series models, e.g., causal and invertible ARMA process, but also preserves good performance for non-invertible moving average process. We show that our estimations for change points are consistent. Also, a Bayesian information criterion is applied to estimate the member of change points consistently. Simulation results as well as empirical results will be presented.
- [40] arXiv:1901.03038 [pdf, other]
-
Title: A complete characterization of the blow-up solutions to discrete $p$-Laplacian parabolic equations with $q$-reaction under the mixed boundary conditionsAuthors: Jaeho HwangComments: 29 pages, 13 figuresSubjects: Analysis of PDEs (math.AP)
In this paper, we consider discrete $p$-Laplacian parabolic equations with $q$-reaction term under the mixed boundary condition and the initial condition as follows: \begin{equation*} \begin{cases} u_{t}\left(x,t\right) = \Delta_{p,\omega} u\left(x,t\right) +\lambda \left\vert u\left(x,t\right) \right\vert^{q-1} u\left(x,t\right), &\left(x,t\right) \in S \times \left(0,\infty\right), \\ \mu(z)\frac{\partial u}{\partial_{p} n}(z)+\sigma(z)\vert u(z)\vert^{p-2}u(z)=0, &\left(x,t\right) \in \partial S \times \left[0,\infty\right), \\ u\left(x,0\right) = u_{0}(x) \geq 0, &x \in \overline{S}. \end{cases} \end{equation*} where $p>1$, $q>0$, $\lambda>0$ and $\mu,\sigma$ are nonnegative functions on the boundary $\partial S$ of a network $S$, with $\mu(z)+\sigma(z)>0$, $z\in\partial S$. Here, $\Delta_{p,\omega}$ and $\frac{\partial \phi}{\partial_{p} n}$ denote the discrete $p$-Laplace operator and the $p$-normal derivative, respectively. The parameters $p>1$ and $q>0$ are completely characterized to see when the solution blows up, vanishes, or exists globally. Indeed, the blow-up rates when blow-up does occur are derived. Also, we give some numerical illustrations which explain the main results.
- [41] arXiv:1901.03039 [pdf, ps, other]
-
Title: On the Distance Between the Rumor Source and Its Optimal Estimate on a Regular TreeComments: 15 pages, 2 figures, a short version of this paper has been submitted to the 2019 IEEE International Symposium on Information Theory (ISIT2019)Subjects: Information Theory (cs.IT); Social and Information Networks (cs.SI); Statistics Theory (math.ST)
This paper addresses the rumor source identification problem, where the goal is to find the origin node of a rumor in a network among a given set of nodes with the rumor. In this paper, we focus on a network represented by a regular tree which does not have any cycle, and all nodes have the same number of edges connected to a node. For this network, we clarify that, with quite high probability, the origin node is within the distance 3 from the node selected by the optimal estimator, where the distance is the number of edges of the unique path connecting two nodes. This is clarified by the probability distribution of the distance between the origin and the selected node.
- [42] arXiv:1901.03041 [pdf, ps, other]
-
Title: A Unified Framework of State Evolution for Message-Passing AlgorithmsAuthors: Keigo TakeuchiComments: Submitted to ISIT2019. The proof of Theorem 1 will be added shortlySubjects: Information Theory (cs.IT)
This paper presents a unified framework to understand the dynamics of message-passing algorithms in compressed sensing. State evolution is rigorously analyzed for a general error model that contains the error model of approximate message-passing (AMP), as well as that of orthogonal AMP. As a by-product, AMP is proved to converge asymptotically if the sensing matrix is orthogonally invariant and if the moment sequence of its asymptotic singular-value distribution coincide with that of the Marchenko-Pastur distribution up to the order that is at most twice as large as the maximum number of iterations.
- [43] arXiv:1901.03044 [pdf, ps, other]
-
Title: Rigid Levi degenerate hypersurfaces with vanishing CR-curvatureAuthors: Alexander IsaevComments: arXiv admin note: text overlap with arXiv:1809.03029Subjects: Complex Variables (math.CV); Differential Geometry (math.DG)
We continue our study, initiated in an earlier article, of a class of rigid hypersurfaces in ${\mathbb C}^3$ that are 2-nondegenerate and uniformly Levi degenerate of rank 1, having zero CR-curvature. We drop the restrictive assumptions of the earlier paper and give a complete description of the class. Surprisingly, the answer is expressed in terms of solutions of several well-known differential equations, in particular, the equation characterizing conformal metrics with constant negative curvature and a nonlinear $\bar\partial$-equation.
- [44] arXiv:1901.03059 [pdf, ps, other]
-
Title: Conditional independence ideals with hidden variablesComments: 17 pages, 2 figuresSubjects: Commutative Algebra (math.AC); Statistics Theory (math.ST)
We study a class of determinantal ideals that are related to conditional independence (CI) statements with hidden variables. Such CI statements correspond to determinantal conditions on flattenings of marginals of the tensor of joint probabilities of the observed random variables. We focus on an example that generalizes the CI ideals of the intersection axiom. In this example, the minimal primes are again determinantal ideals, which is not true in general.
- [45] arXiv:1901.03069 [pdf, other]
-
Title: On approximating the nearest Ω-stable matrixComments: 14 pages, 3 figuresSubjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
In this paper, we consider the problem of approximating a given matrix with a matrix whose eigenvalues lie in some specific region \Omega, within the complex plane. More precisely, we consider three types of regions and their intersections: conic sectors, vertical strips and disks. We refer to this problem as the nearest \Omega-stable matrix problem. This includes as special cases the stable matrices for continuous and discrete time linear time-invariant systems. In order to achieve this goal, we parametrize this problem using dissipative Hamiltonian matrices and linear matrix inequalities. This leads to a reformulation of the problem with a convex feasible set. By applying a block coordinate descent method on this reformulation, we are able to compute solutions to the approximation problem, which is illustrated on some examples.
- [46] arXiv:1901.03070 [pdf, ps, other]
-
Title: On a group functor describing invariants of algebraic surfacesComments: 13 pagesSubjects: Group Theory (math.GR)
Liedtke (2008) has introduced group functors $K$ and $\tilde K$, which are used in the context of describing certain invariants for complex algebraic surfaces. He proved that these functors are connected to the theory of central extensions and Schur multipliers. In this work we relate $K$ and $\tilde K$ to a group functor $\tau$ arising in the construction of the non-abelian exterior square of a group. In contrast to $\tilde K$, there exist efficient algorithms for constructing $\tau$, especially for polycyclic groups. Supported by computations with the computer algebra system GAP, we investigate when $K(G,3)$ is a quotient of $\tau(G)$, and when $\tau(G)$ and $\tilde K(G,3)$ are isomorphic.
- [47] arXiv:1901.03075 [pdf, ps, other]
-
Title: A Condition for Blow-up solutions to Discrete $p$-Laplacian Parabolic Equations under the mixed boundary conditions on NetworksComments: 22 pages. arXiv admin note: substantial text overlap with arXiv:1706.03494Subjects: Analysis of PDEs (math.AP)
The purpose of this paper is to investigate a condition
\begin{equation*}
(C_{p}) \hspace{1cm} \alpha \int_{0}^{u}f(s)ds \leq uf(u)+\beta u^{p}+\gamma,\,\,u>0
\end{equation*}
for some $\alpha>2$, $\gamma>0$, and $0\leq\beta\leq\frac{\left(\alpha-p\right)\lambda_{p,0}}{p}$, where $p>1$ and $\lambda_{p,0}$ is the first eigenvalue of the discrete $p$-Laplacian $\Delta_{p,\omega}$. Using the above condition, we obtain blow-up solutions to discrete $p$-Laplacian parabolic equations
\begin{equation*}
\begin{cases}
u_{t}\left(x,t\right)=\Delta_{p,\omega}u\left(x,t\right)+f(u(x,t)), & \left(x,t\right)\in S\times\left(0,+\infty\right),
\mu(z)\frac{\partial u}{\partial_{p} n}(x,t)+\sigma(z)|u(x,t)|^{p-2}u(x,t)=0, & \left(x,t\right)\in\partial S\times\left[0,+\infty\right),
u\left(x,0\right)=u_{0}\geq0(nontrivial), & x\in S,
\end{cases}
\end{equation*}
on a discrete network $S$, where $\frac{\partial u}{\partial_{p}n}$ denotes the discrete $p$-normal derivative. Here, $\mu$ and $\sigma$ are nonnegative functions on the boundary $\partial S$ of $S$, with $\mu(z)+\sigma(z)>0$, $z\in \partial S$. In fact, it will be seen that the condition $(C_{p})$, the generalized version of the condition $(C)$, improves the conditions known so far. - [48] arXiv:1901.03076 [pdf, other]
-
Title: The weak Frenet frame of non-smooth curves with finite total curvature and absolute torsionComments: 18 pages, 2 figuresSubjects: Differential Geometry (math.DG)
We deal with a notion of weak binormal and weak principal normal for non-smooth curves of the Euclidean space with finite total curvature and total absolute torsion. By means of piecewise linear methods, we first introduce the analogous notation for polygonal curves, where the polarity property is exploited, and then make use of a density argument. Both our weak binormal and normal are rectifiable curves which naturally live in the projective plane. In particular, the length of the weak binormal agrees with the total absolute torsion of the given curve. Moreover, the weak normal is the vector product of suitable parameterizations of the tangent indicatrix and of the weak binormal. In the case of smooth curves with positive curvature, the weak binormal and normal yield (up to a lifting) the classical notions of binormal and normal.
- [49] arXiv:1901.03078 [pdf, ps, other]
-
Title: Primitive rational points on expanding horospheres in the modular surfaceSubjects: Dynamical Systems (math.DS); Number Theory (math.NT)
We prove effective equidistribution of primitive rational points along long horocycle orbits in the torus and in the modular surface. This answers a question posed in joint work by the first and the last named author with Shahar Mozes and Uri Shapira.
- [50] arXiv:1901.03079 [pdf, ps, other]
-
Title: Vertex algebras and Teichmüller modular formsAuthors: Giulio CodogniComments: Comments are welcomeSubjects: Algebraic Geometry (math.AG); High Energy Physics - Theory (hep-th); Representation Theory (math.RT)
We associate to any holomorphic vertex algebra a collection of Teichm\"{u}ller modular forms, one in each genus. In genus one we obtain the character of the vertex algebra, and we thus reprove Zhu's modularity result. We propose applications to the Schottky problem, to the study of the slope of the effective cone of the moduli space of curves, and to the classification of holomorphic vertex algebras.
- [51] arXiv:1901.03080 [pdf, ps, other]
-
Title: Negative $K$-theory and Chow group of monoid algebrasComments: 27 pagesSubjects: Algebraic Geometry (math.AG)
We show, for a finitely generated partially cancellative torsion-free commutative monoid $M$, that $K_i(R) \cong K_i(R[M])$ whenever $i \le -d$ and $R$ is a quasi-excellent $\Q$-algebra of Krull dimension $d \ge 1$. In particular, $K_i(R[M]) = 0$ for $i < -d$. This is a generalization of Weibel's $K$-dimension conjecture to monoid algebras. We show that this generalization fails for $X[M]$ if $X$ is not an affine scheme. We also show that the Levine-Weibel Chow group of 0-cycles $\CH^{LW}_0(k[M])$ vanishes for any finitely generated commutative partially cancellative monoid $M$ if $k$ is an algebraically closed field.
- [52] arXiv:1901.03084 [pdf, other]
-
Title: Iterative Programming of Noisy Memory CellsComments: 10 pages, 2 figuresSubjects: Information Theory (cs.IT)
In this paper, we study a model, which was first presented by Bunte and Lapidoth, that mimics the programming operation of memory cells. Under this paradigm we assume that cells are programmed sequentially and individually. The programming process is modeled as transmission over a channel, while it is possible to read the cell state in order to determine its programming success, and in case of programming failure, to reprogram the cell again. Reprogramming a cell can reduce the bit error rate, however this comes with the price of increasing the overall programming time and thereby affecting the writing speed of the memory. An iterative programming scheme is an algorithm which specifies the number of attempts to program each cell. Given the programming channel and constraints on the average and maximum number of attempts to program a cell, we study programming schemes which maximize the number of bits that can be reliably stored in the memory. We extend the results by Bunte and Lapidoth and study this problem when the programming channel is either the BSC, BEC, or $Z$ channel. For the BSC and the BEC our analysis is also extended for the case where the error probabilities on consecutive writes are not necessarily the same. Lastly, we also study a related model which is motivated by the synthesis process of DNA molecules.
- [53] arXiv:1901.03087 [pdf, ps, other]
-
Title: On Hom-Lie antialgebraComments: 24pages, no figuresSubjects: Rings and Algebras (math.RA)
In this paper, we introduced the notion of Hom-Lie antialgebras.The representations and cohomology theory of Hom-Lie antialgebras are investigated. We prove that the equivalent classes of abelian extensions of Hom-Lie antialgeras are in one-to-one correspondence to elements of the second cohomology group. We also prove that 1-parameter infinitesimal deformation of a Hom-Lie antialgebra corresponds to a Hom-Lie antialgebra of deformation type and a 2-cocycle of Hom-Lie antialgebra related to the adjoint representation. The notion of Nijenhuis operators of Hom-Lie antialgebra is introduced to describe trivial deformations.
- [54] arXiv:1901.03097 [pdf, ps, other]
-
Title: Optimal Channel Estimation for Reciprocity-Based Backscattering with a Full-Duplex MIMO ReaderComments: accepted for publication in IEEE Transactions on Signal Processing, 16 pages, 15 figures, 1 tableSubjects: Information Theory (cs.IT)
Backscatter communication (BSC) technology can enable ubiquitous deployment of low-cost sustainable wireless devices. In this work we investigate the efficacy of a full-duplex multiple-input-multiple-output (MIMO) reader for enhancing the limited communication range of monostatic BSC systems. As this performance is strongly influenced by the channel estimation (CE) quality, we first derive a novel least-squares estimator for the forward and backward links between the reader and the tag, assuming that reciprocity holds and K orthogonal pilots are transmitted from the first K antennas of an N antenna reader. We also obtain the corresponding linear minimum-mean square-error estimate for the backscattered channel. After defining the transceiver design at the reader using these estimates, we jointly optimize the number of orthogonal pilots and energy allocation for the CE and information decoding phases to maximize the average backscattered signal-to-noise ratio (SNR) for efficiently decoding the tag's messages. The unimodality of this SNR in optimization variables along with a tight analytical approximation for the jointly global optimal design is also discoursed. Lastly, the selected numerical results validate the proposed analysis, present key insights into the optimal resource utilization at reader, and quantify the achievable gains over the benchmark schemes.
- [55] arXiv:1901.03098 [pdf, ps, other]
-
Title: Congruences for sporadic sequences and modular forms for non-congruence subgroupsAuthors: Matija KazalickiComments: 9 pagesSubjects: Number Theory (math.NT)
In the course of the proof of the irrationality of zeta(2) R. Apery introduced numbers b_n = \sum_{k=0}^n {n \choose k}^2{n+k \choose k}. Stienstra and Beukers showed that for the prime p > 3 Apery numbers satisfy congruence b((p-1)/2) = 4a^2-2p mod p, if p = a^2+b^2 (where a is odd). Later, Zagier found some generalizations of Apery numbers, so called sporadic sequences, and recently Osburn and Straub proved similar congruences for all but one of the six Zagier's sporadic sequences (three cases were already known to be true) and conjectured the congruence for the sixth sequence.
In this paper we prove that remaining congruence by studying Atkin and Swinnerton-Dyer congruences between Fourier coefficients of certain cusp form for non-congurence subgroup. - [56] arXiv:1901.03100 [pdf, other]
-
Title: A Geometric Characterization of the Symmetrized BidiscComments: 45 pages, 1 figure, with index. To appear in J. Math. Anal. ApplicSubjects: Complex Variables (math.CV)
The symmetrized bidisc \[ G \stackrel{\rm{def}}{=}\{(z+w,zw):|z|<1,\ |w|<1\} \] has interesting geometric properties. While it has a plentiful supply of complex geodesics and of automorphisms, there is nevertheless a unique complex geodesic $\mathcal{R}$ in $G$ that is invariant under all automorphisms of $G$. Moreover, $G$ is foliated by those complex geodesics that meet $\mathcal{R}$ in one point and have nontrivial stabilizer.
We prove that these properties, together with two further geometric hypotheses on the action of the automorphism group of $G$, characterize the symmetrized bidisc in the class of complex manifolds. - [57] arXiv:1901.03101 [pdf, ps, other]
-
Title: Pro-$p$ groups of positive rank gradient and Hausdorff dimensionComments: 23 pagesSubjects: Group Theory (math.GR)
Let $G$ be a finitely generated pro-$p$ group of positive rank gradient. We show that finitely generated closed subgroups of infinite index in $G$ never contain any infinite normal subgroups of $G$. This pro-$p$ version of a well-known theorem of Greenberg generalises similar assertions that were known to hold for non-abelian free pro-$p$ groups and non-soluble Demushkin pro-$p$ groups. Our result is reminiscent of Gaboriau's theorem for countable groups with positive first $\ell^2$-Betti number.
The approach we take uses the notion of Hausdorff dimension in pro-$p$ groups. Building on it, we show that every finitely generated pro-$p$ group $G$ of positive rank gradient has full Hausdorff spectrum $\text{hspec}^\mathcal{F}(G) = [0,1]$ with respect to the Frattini series $\mathcal{F}$. Using different, Lie-theoretic techniques we also prove that every finitely generated non-abelian free pro-$p$ group $F$ has full Hausdorff spectrum $\text{hspec}^\mathcal{Z}(F) = [0,1]$ with respect to the Zassenhaus series $\mathcal{Z}$. This resolves a long-standing problem in the subject of Hausdorff dimensions in pro-$p$ groups.
In fact, the results about full Hausdorff spectra hold more generally for finite direct products of finitely generated pro-$p$ groups of positive rank gradient and non-abelian free pro-$p$ groups, respectively. The results with respect to the Frattini series generalise further to Hausdorff dimension functions with respect to arbitrary iterated verbal filtrations, for finite direct products of finitely generated non-abelian free pro-$p$ groups and non-soluble Demushkin pro-$p$ groups.
We also determine the normal Hausdorff spectra of such direct products. - [58] arXiv:1901.03102 [pdf, ps, other]
-
Title: Solutions of Darboux Equations, its Degeneration and Painlevé VI EquationsSubjects: Classical Analysis and ODEs (math.CA)
In this paper, we study the Darboux equations in both classical and system form, which give the elliptic Painlev\'e VI equations by the isomonodromy deformation method. Then we establish the full correspondence between the special Darboux equations and the special Painlev\'e VI equations. Instead of the system form, we especially focus on the Darboux equation in a scalar form, which is the generalization of the classical Lam\'{e} equation. We introduce a new infinite series expansion (in terms of the compositions of hypergeometric functions and Jacobi elliptic functions) %around each of the four regular singular points of the for the solutions of the Darboux equations and regard special solutions of the Darboux equations as those terminating series. The Darboux equations characterized in this manner have an almost (but not completely) full correspondence to the special types of the Painlev\'e VI equations. Finally, we discuss the convergence of these infinite series expansions.
- [59] arXiv:1901.03109 [pdf, ps, other]
-
Title: On inequivalences of sequences of charactersAuthors: Tom SandersComments: 9 ppSubjects: Classical Analysis and ODEs (math.CA)
We establish various results including the following: if $1<p<\infty$ and $\sigma$ is a bijection between the trigonometric functions on $[0,1)$ and the Walsh functions on $[0,1)$. Then $\sigma$ does not extend to an isomorphism $L_p[0,1) \rightarrow L_p[0,1)$.
- [60] arXiv:1901.03112 [pdf, other]
-
Title: Homomorphisms of Cayley graphs and Cycle Double CoversSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
We study the following conjecture of Matt DeVos: If there is a graph homomorphism from Cayley graph Cay(M, B) to another Cayley graph Cay(M', B') then every graph with an (M, B)-flow has an (M', B')-flow. This conjecture was originally motivated by the flow-tension duality. We show that a natural strengthening of this conjecture does not hold in all cases but we conjecture that it still holds for an interesting subclass of them and we prove a partial result in this direction. We also show that the original conjecture implies the existence of an oriented cycle double cover with a small number of cycles.
- [61] arXiv:1901.03113 [pdf, ps, other]
-
Title: Topologies of continuity for Carathéodory delay differential equations with applications in non-autonomous dynamicsComments: 31 pagesSubjects: Dynamical Systems (math.DS)
We study some already introduced and some new strong and weak topologies of integral type to provide continuous dependence on continuous initial data for the solutions of non-autonomous Carath\'eodory delay differential equations. As a consequence, we obtain new families of continuous skew-product semiflows generated by delay differential equations whose vector fields belong to such metric topological vector spaces of Lipschitz Carath\'eodory functions. Sufficient conditions for the equivalence of all or some of the considered strong or weak topologies are also given. Finally, we also provide results of continuous dependence of the solutions as well as of continuity of the skew-product semiflows generated by Carath\'eodory delay differential equations when the considered phase space is a Sobolev space.
- [62] arXiv:1901.03115 [pdf, other]
-
Title: Revenue maximization with access and information pricing schemes in a partially-observable queueing gameSubjects: Optimization and Control (math.OC); Computer Science and Game Theory (cs.GT)
Today's queueing network systems are more rapidly evolving and more complex than those of even a few years ago. The goal of this paper is to study customers' behavior in an unobservable Markovian M/M/1 queue where consumers have to choose between two strategic decisions about information acquisition before joining or not the queue. According to their decision, customers decide to give up the service (balk the system) or to join the queue. We study the Nash equilibrium strategies: we compute the equilibrium and we prove its existence and uniqueness. Based on this result, we consider the problem of revenue maximization where the provider has to choose between two charging mechanisms: to charge the access to the system or to charge the queue length information to new incoming customers. We propose an heuristic algorithm to solve the considered problem and numerical experiments have been conducted in order to illustrate the result. We show that, depending on the sensitivity of customers to their waiting time, the provider will change the pricing policy used. Particularly, when customers are more sensitive then the provider will charge the information instead of the access.
- [63] arXiv:1901.03117 [pdf, ps, other]
-
Title: Ergodic decomposition for inverse Wishart measures on infinite positive-definite matricesAuthors: Theodoros AssiotisSubjects: Mathematical Physics (math-ph); Dynamical Systems (math.DS); Probability (math.PR)
The ergodic unitarily invariant measures on the space of infinite Hermitian matrices have been classified by Pickrell and Olshanski-Vershik. The much-studied complex inverse Wishart measures form a projective family, thus giving rise to a unitarily invariant measure on infinite positive-definite matrices. In this paper we completely solve the corresponding problem of ergodic decomposition for this measure.
- [64] arXiv:1901.03123 [pdf, other]
-
Title: Finite Blocklength Analysis on Covert Communication over AWGN ChannelsSubjects: Information Theory (cs.IT)
Covert communication over an additive white Gaussian noise (AWGN) channel with finite block length is investigated in this paper. The attention is on the covert criterion, which has not been considered in finite block length circumstance. As an accurate quantity metric of discrimination, the variation distance with given finite block length n and signal-noise ratio (snr) is obtained. We give both its analytic solution and expansions which can be easily evaluated. It is shown that K-L distance, which is frequently adopted as the metric of discrimination at the adversary in asymptotic regime, is not convincing in finite block length regime compared with the total variation distance. Moreover, the convergence rate of the total variation with different snr is analyzed when the block length tends to infinity. The results will be very helpful for understanding the behavior of the total variation distance and practical covert communication.
- [65] arXiv:1901.03128 [pdf, other]
-
Title: Reduce Transmission Delay for Cache-Aided Two-Layer NetworkSubjects: Information Theory (cs.IT)
In this paper, we consider a two-layer caching-aided network, where a single server consisting a library of N files connects with multiple relays through a shared noiseless link, and each relay connects with multiple users through a shared noiseless link. Each relay and user are equipped with a cache memory of M1 and M2 files, respectively. We design a caching scheme that exploits the spared transmission time resource by allowing the concurrent transmission between the two layers. It is shown that the caching scheme is order optimal and can further reduce the transmission delay compared to the previously known caching scheme. Also, we show that for the two-relay case, if each relay's caching size M1 equals to 0.382N, our scheme achieves the same delay as M1 = N, which implies that increasing M1 will not always reduce the transmission delay.
- [66] arXiv:1901.03129 [pdf, ps, other]
-
Title: A note on projectively induced Ricci-flat Kaehler metricsAuthors: Michela ZeddaComments: 7 pagesSubjects: Differential Geometry (math.DG); Complex Variables (math.CV)
This paper supports a conjecture on nonexistence of projectively induced Ricci-flat K\"ahler metrics appeared in [5], by verifying it for the complete Ricci-flat K\"ahler metrics constructed by Lee in [4] on the complexification of $\mathbb C{\rm P}^n$ and $\mathbb H{\rm P}^n$.
- [67] arXiv:1901.03133 [pdf, ps, other]
-
Title: Typical differentiability within an exceptionally small setAuthors: Michael DymondComments: 33 pages, Appendix 6 pagesSubjects: Functional Analysis (math.FA); Classical Analysis and ODEs (math.CA)
We verify the existence of a purely unrectifiable set in which the typical Lipschitz function has a large set of full differentiability points. The example arises from a construction, due to Cs\"ornyei, Preiss and Ti\v{s}er, of a universal differentiability set in which a certain Lipschitz function has only a purely unrectifiable set of differentiability points.
- [68] arXiv:1901.03139 [pdf, ps, other]
-
Title: Strong solution for Korteweg system in bmo$^{-1}(\mathbb{R}^N)$ with initial density in $L^\infty$Authors: Boris HaspotSubjects: Analysis of PDEs (math.AP)
In this paper we investigate the question of the local existence of strong solution for the Korteweg system in critical spaces in dimension $N\geq 1$ provided that the initial data are small. More precisely the initial momentum $\rho_0 u_0$ belongs to $\mbox{bmo}_{T}^{-1}(\mathbb{R}^N)$ for $T>0$ and the initial density $\rho_0$ is in $L^\infty(\mathbb{R}^N)$ and far away from the vacuum. This result extends the so called Koch-Tataru Theorem for the incompressible Navier-Stokes equations to the case of the Korteweg system. It is also interesting to observe that any initial shock on the density is instantaneously regularized inasmuch as the density becomes Lipschitz for any $\rho(t,\cdot)$ with $t>0$. We also prove the existence of global strong solution for small initial data $(\rho_0-1,\rho_0u_0)$ in the homogeneous Besov spaces $(\dot{B}^{\frac{N}{2}-1}_{2,\infty} (\mathbb{R}^N) \cap \dot{B}^{\frac{N}{2}}_{2,\infty} (\mathbb{R}^N) \cap L^\infty(\mathbb{R}^N)) \times (\dot{B}^{\frac{N}{2}-1}_{2,\infty} (\mathbb{R}^N))^N$. This result allows in particular to extend in dimension $N=2$ the notion of Oseen solutions defined for incompressible Navier-Stokes equations to the case of the Korteweg system when the vorticity of the momentum $\rho_0 u_0$ is a Dirac mass $\alpha\delta_0$ with $\alpha$ sufficiently small.
- [69] arXiv:1901.03142 [pdf, ps, other]
-
Title: An Improved Cooperative Repair Scheme for Reed-Solomon CodesComments: submitted to ISIT2019Subjects: Information Theory (cs.IT)
Dau et al. recently extend Guruswami and Wootters' scheme (STOC'2016) to cooperatively repair two or three erasures in Reed-Solomon (RS) codes. However, their scheme restricts to either the case that the characteristic of $F$ divides the extension degree $[F\!:\!B]$ or some special failure patterns, where $F$ is the base field of the RS code and $B$ is the subfield of the repair symbols. In this paper, we derive an improved cooperative repair scheme that removes all these restrictions. That is, our scheme applies to any characteristic of $F$ and can repair all failure patterns of two or three erasures.
- [70] arXiv:1901.03143 [pdf, ps, other]
-
Title: Global bmo$^{-1}(\mathbb{R}^N)$ radially symmetric solution for compressible Navier-Stokes equations with initial density in $L^\infty(\mathbb{R}^N)$Authors: Boris HaspotSubjects: Analysis of PDEs (math.AP)
In this paper we investigate the question of the existence of global weak solution for the compressible Navier Stokes equations provided that the initial momentum $\rho_0 u_0$ belongs to $\mbox{bmo}^{-1}(\mathbb{R}^N)$ with $N= 2,3$ and is radially symmetric. More precisely we deal with the so called viscous shallow water system when the viscosity coefficients verify $\mu(\rho)=\mu\rho$, $\lambda(\rho)=0$ with $\mu>0$. We prove then a equivalent of the so called Koch-Tataru theorem for the compressible Navier-Stokes equations. In addition we assume that the initial density $\rho_0$ is only bounded in $L^\infty(\mathbb{R}^N)$, it allows us in particular to consider initial density admitting shocks. Furthermore we show that if the coupling between the density and the velocity is sufficiently strong, then the initial density which admits initially shocks is instantaneously regularizing inasmuch as the density becomes Lipschitz. This coupling is expressed via the regularity of the so called effective velocity $v=u+2\mu\nabla\ln\rho$. In our case $v_0$ belongs to $L^2(\mathbb{R}^N)\cap L^\infty(\mathbb{R}^N)$, it is important to point out that this choice on the initial data implies that we work in a setting of infinite energy on the initial data $(\rho_0,u_0)$, it extends in particular the results of \cite{V}. In a similar way, we consider also the case of the dimension $N=1$ where the momentum $\rho_0 u_0$ belongs to $bmo^{-1}(\mathbb{R})$ without any geometric restriction.\\ To finish we prove the global existence of strong solution for large initial data provided that the initial data are radially symmetric and sufficiently regular in dimension $N=2,3$ for $\gamma$ law pressure.
- [71] arXiv:1901.03144 [pdf, ps, other]
-
Title: Accounting for model error in Tempered Ensemble Transform Particle Filter and its application to non-additive model errorSubjects: Optimization and Control (math.OC); Methodology (stat.ME)
In this paper, we trivially extend Tempered (Localized) Ensemble Transform Particle Filter---T(L)ETPF---to account for model error. We examine T(L)ETPF performance for non-additive model error in a low-dimensional and a high-dimensional test problem. The former one is a nonlinear toy model, where uncertain parameters are non-Gaussian distributed but model error is Gaussian distributed. The latter one is a steady-state single-phase Darcy flow model, where uncertain parameters are Gaussian distributed but model error is non-Gaussian distributed. The source of model error in the Darcy flow problem is uncertain boundary conditions. We comapare T(L)ETPF to a Regularized (Localized) Ensemble Kalman Filter---R(L)EnKF. We show that T(L)ETPF outperforms R(L)EnKF for both the low-dimensional and the high-dimensional problem. This holds even when ensemble size of TLETPF is 100 while ensemble size of R(L)EnKF is greater than 6000. As a side note, we show that TLETPF takes less iterations than TETPF, which decreases computational costs; while RLEnKF takes more iterations than REnKF, which incerases computational costs. This is due to an influence of localization on a tempering and a regularizing parameter.
- [72] arXiv:1901.03149 [pdf, ps, other]
-
Title: The Complete Hierarchical Locality of the Punctured Simplex CodeSubjects: Information Theory (cs.IT); Combinatorics (math.CO)
This paper presents a new alphabet-dependent bound for codes with hierarchical locality. Then, the complete list of possible localities is derived for a class of codes obtained by deleting specific columns from a Simplex code. This list is used to show that these codes are optimal codes with hierarchical locality.
- [73] arXiv:1901.03150 [pdf, ps, other]
-
Title: Vortex solutions for the compressible Navier-Stokes equations with general viscosity coefficients in 1D: regularizing effects or not on the densityAuthors: Boris HaspotSubjects: Analysis of PDEs (math.AP)
We consider Navier-Stokes equations for compressible viscous fluids in the one-dimensional case with general viscosity coefficients. We prove the existence of global weak solution when the initial momentum $\rho_0 u_0$ belongs to the set of the finite measure ${\cal M}(\mathbb{R})$ and when the initial density $\rho_0$ is in the set of bounded variation functions $BV(\mathbb{R})$. In particular it allows to deal with initial momentum which are Dirac masses and initial density which admit shocks. We can observe in particular that this type of initial data have infinite energy. Furthermore we show that if the coupling between the density and the velocity is sufficiently strong then the initial density which admits initially shocks is instantaneously regularized and becomes continuous. This coupling is expressed via the regularity of the so called effective velocity $v=u+\frac{\mu(\rho)}{\rho^2}\partial_x \rho$ with $\mu(\rho)$ the viscosity coefficient. Inversely if the coupling between the initial density and the initial velocity is too weak (typically $\rho_0 v_0\in{\cal M}(\mathbb{R})$) then we prove the existence of weak energy solution in finite time but the density remains a priori discontinuous on the time interval of existence.
- [74] arXiv:1901.03152 [pdf, ps, other]
-
Title: Realisability problem in arrow categoriesComments: 20 pagesSubjects: Algebraic Topology (math.AT); Combinatorics (math.CO); Representation Theory (math.RT)
In this paper we raise the realisability problem in arrow categories. Namely, for a fixed category $\mathcal{C}$ and for arbitrary groups $H\le G_1\times G_2$, is there an object $\phi \colon A_1 \rightarrow A_2$ in $\operatorname{Arr}(\mathcal{C})$ such that $\operatorname{Aut}_{\operatorname{Arr}(\mathcal{C})}(\phi) = H$, $\operatorname{Aut}_{\mathcal{C}}(A_1) = G_1$ and $\operatorname{Aut}_{\mathcal{C}}(A_2) = G_2$? We are interested in solving this problem when $\mathcal C =\mathcal{H}oTop_*$, the homotopy category of pointed topological spaces. To that purpose, we first settle that question in the positive when $\mathcal C = \mathcal{G}raphs$.
Then, we construct an almost fully faithful functor from $\mathcal{G}raphs$ to $\operatorname{CDGA}$, the category of commutative differential graded algebras, that provides among other things, a positive answer to our question when $\mathcal C = \operatorname{CDGA}$ and, as long as we work with finite groups, when $\mathcal C =\mathcal{H}oTop_*$. Some results on representability of concrete categories are also obtained. - [75] arXiv:1901.03153 [pdf, ps, other]
-
Title: Optimal mean value estimates beyond Vinogradov's mean value theoremSubjects: Number Theory (math.NT)
We establish sharp mean value estimates associated with the number of integer solutions of certain systems of diagonal equations. This is the first occasion on which bounds of this quality have been attained for Diophantine systems not of Vinogradov type. As a consequence of this progress, whenever $u \ge 3v$ we obtain the Hasse principle for systems consisting of $v$ cubic and $u$ quadratic diagonal equations in $6v+4u+1$ variables, thus attaining the convexity barrier for this problem.
- [76] arXiv:1901.03157 [pdf, ps, other]
-
Title: On the Convergence of the Elastic Flow in the Hyperbolic PlaneComments: 41 pages, 3 figuresSubjects: Analysis of PDEs (math.AP)
We examine the L^2-gradient flow of Euler's elastic energy for closed curves in hyperbolic space and prove convergence to the global minimizer for initial curves with elastic energy bounded by 16. We show the sharpness of this bound by constructing a class of curves whose lengths blow up in infinite time. The convergence results follow from a constrained sharp Reilly-type inequality.
- [77] arXiv:1901.03159 [pdf, ps, other]
-
Title: A discretization of Caputo derivatives with application to time fractional SDEs and gradient flowsSubjects: Numerical Analysis (math.NA)
We consider a discretization of Caputo derivatives resulted from deconvolving a scheme for the corresponding Volterra integral. Some important properties of this discretization are proved by its linkage to Volterra integrals with completely monotone kernels. We then analyze discretization of some time fractional dissipative problems and obtain some interesting results using the backward scheme for this discretization. In particular, we show that the overdamped generalized Langevin equation with fractional noise has a unique limiting measure for strongly convex potentials and establish the convergence of numerical solutions to the strong solutions of time fractional gradient flows.
- [78] arXiv:1901.03167 [pdf]
-
Title: Enhance Power System Oscillation Damping Using Data-Driven Online OptimizationSubjects: Optimization and Control (math.OC)
This paper reports a preliminary work on power system oscillation damping improvement using a data-driven online optimization method. An online oscillation damping optimization model is proposed and formulated in a form solvable by a da-ta-driven method. Key issues in the online optimization procedures, including the damping sensitivity identification method, its compatibility with the dispatch plans, as well as other practical issues in large-scale systems are discussed. Simulation results based on a 2-area 4-machine system, an 8-machine 36-bus system and NETS-NYPS 68-bus system verify the feasibility and efficiency of the proposed method. The results also show the capability of the proposed method to bridge the gap between online data analysis and complex optimization for power system dynamics.
- [79] arXiv:1901.03168 [pdf, ps, other]
-
Title: Tilting modules and tilting torsion pairs - filtrations induced by tilting modulesSubjects: Rings and Algebras (math.RA); Representation Theory (math.RT)
Tilting modules, generalising the notion of progenerator, furnish equivalences between pieces of module categories. This paper is dedicated to study how much these pieces say about the whole category. We will survey the existing results in the literature, introducing also some new insights.
- [80] arXiv:1901.03171 [pdf]
-
Title: Homology, equilibrium, and conservation laws I: Discrete systems of pointsAuthors: D. H. DelphenichComments: 74 pages, 7 figuresSubjects: Mathematical Physics (math-ph)
The methods of abstract simplicial homology and cohomology are reviewed and applied to the topology of electrical networks. Kirchhoffs laws of electrical circuits are shown to be manifestly homological in their origins. Since they are based in conservation laws, the geometric realization of abstract simplicial complexes is then reviewed and applied to the case of mechanical networks. The equilibrium condition for statics, the conservation laws for closed systems, and the balance principles for open systems are then shown to admit homological formulations.
- [81] arXiv:1901.03173 [pdf, ps, other]
-
Title: Data-driven Voltage Regulation in Radial Power Distribution SystemsComments: arXiv admin note: text overlap with arXiv:1711.04159Subjects: Optimization and Control (math.OC)
In this paper, we develop a data-driven voltage regulation framework for distributed energy resources (DERs) in a balanced radial power distribution system. The objective is to determine optimal DER power injections that minimize the voltage deviations from a desirable voltage range without knowing a complete power distribution system model a priori. The nonlinear relationship between the voltage magnitudes and the power injections in the power distribution system is approximated by a linear model, the parameters of which---referred to as the voltage sensitivities---can be computed directly using information on the topology and the line parameters. Assuming the knowledge of feasible topology configurations and distribution line resistance-to-reactance ratios, the true topology configuration and corresponding line parameters can be estimated effectively using a few sets of measurements on voltage magnitudes and power injections. Using the estimated voltage sensitivities, the optimal DER power injections can be readily determined by solving a convex optimization problem. The proposed framework is intrinsically adaptive to changes in system conditions such as unknown topology reconfiguration due to its data-driven nature. The effectiveness and efficiency of the proposed framework is validated via numerical simulations on the IEEE 123-bus distribution test feeder.
- [82] arXiv:1901.03174 [pdf, ps, other]
-
Title: Feuilletages convexes de degré cinq du plan projectif complexeComments: in French. arXiv admin note: substantial text overlap with arXiv:1811.07735, arXiv:1607.00877, arXiv:1712.03895Subjects: Dynamical Systems (math.DS); Complex Variables (math.CV); Differential Geometry (math.DG)
We show that up to automorphisms of $\mathbb P^2_{\mathbb C}$ there are $14$ homogeneous convex foliations of degree five on~$\mathbb P^2_{\mathbb C}.$ Using this result, we give a partial answer to a question posed in $2013$ by D. \textsc{Mar\'in} and J. \textsc{Pereira} about the classification of reduced convex foliations on~$\mathbb P^2_{\mathbb C}.$
- [83] arXiv:1901.03176 [pdf, ps, other]
-
Title: Existence of solutions of semilinear systems with gradient dependence via eigenvalue criteriaAuthors: Filomena CianciarusoSubjects: Functional Analysis (math.FA)
In this paper new criteria are established for the existence of positive radial solutions of a semilinear elliptic system depending on the gradient. These criteria are determined by some relationships between the upper and lower bounds on suitable stripes of $\mathbb R^n$ of the nonlinearities of the system and the principal characteristic values of some associated linear Hammerstein integral operators. Moreover, using smoothing tools, the totality of the involved cone is established.
- [84] arXiv:1901.03177 [pdf, other]
-
Title: Non intrusive method for parametric model order reduction using a bi-calibrated interpolation on the Grassmann manifoldComments: 25 pagesSubjects: Numerical Analysis (math.NA); Fluid Dynamics (physics.flu-dyn)
Approximating solutions of non-linear parametrized physical problems by interpolation presents a major challenge in terms of accuracy. In fact, pointwise interpolation of such solutions is rarely efficient and leads generally to incorrect results. However, instead of using a straight forward interpolation on solutions, reduced order models can be interpolated. More particularly, Amsallem and Farhat proposed an efficient POD reduced order model interpolation technique based on differential geometry tools. This approach, named in this paper ITSGM (Interpolation On a Tangent Space of the Grassmann Manifold), allows through the passage to the tangent space of the Grassmann manifold, to approximate accurately the reduced order basis associated to a new untrained parameter. This basis is used afterwards to build the interpolated ROM describing the temporal dynamics by performing the Galerkin projection on the high fidelity model. Such Galerkin ROMs require to access to the underlying high fidelity model, leading by that to intrusive ROMs. In this paper, and contrary to the ITSGM/Galerkin approach, we propose a non-intrusive reduced order modeling method which is independent of the governing equations. This method is named through this paper Bi-CITSGM (Bi-Calibrated ITSGM). It consists first to interpolate the spatial and temporal POD sampling bases considered as representatives of points on Grassmann manifolds, by the ITSGM method. Then, the resulting bases modes are reclassified by introducing two orthogonal matrices. These calibration matrices are determined as analytical solutions of two optimization problems. Results on the flow problem past a circular cylinder where the parameter of interpolation is the Reynolds number, show that for new untrained Reynolds number values, the developed approach produces satisfyingly accurate solutions in a real computational time.
- [85] arXiv:1901.03178 [pdf, ps, other]
-
Title: Locally bounded approximate diagonal modulo an ideal of Frechet algebrasComments: arXiv admin note: text overlap with arXiv:1901.02180Subjects: Functional Analysis (math.FA)
For a Banach algebra A and a closed ideal I, the notion of bounded approximate diagonal modulo I has been studied and investigated. In this paper we define the notion of locally bounded approximate diagonal modulo an ideal I for a Frechet algebra A and obtain the relation between amenability modulo an ideal I and the existence of locally bounded approximate diagonals modulo I.
- [86] arXiv:1901.03183 [pdf, other]
-
Title: Solving a 1-D inverse medium scattering problem using a new multi-frequency globally strictly convex objective functionalComments: 30 pagesSubjects: Numerical Analysis (math.NA)
We propose a new approach to constructing globally strictly convex objective functional in a 1-D inverse medium scattering problem using multi-frequency backscattering data. The global convexity of the proposed objective functional is proved using a Carleman estimate. Due to its convexity, no good first guess is required in minimizing this objective functional. We also prove the global convergence of the gradient projection algorithm and derive an error estimate for the reconstructed coefficient. Numerical results show reasonable reconstruction accuracy for simulated data.
- [87] arXiv:1901.03186 [pdf, other]
-
Title: Knot theory and quantum computingSubjects: Geometric Topology (math.GT); History and Overview (math.HO); Quantum Physics (quant-ph)
This paper explores the interactions between knot theory and quantum computing. On one side, knot theory has been used to create models of quantum computing, and on the other, it is a source of computational problems. Knot theory is often used to introduce topological idea to people without a formal mathematical background, and we are building on this tradition to discuss some of the deeper ideas of quantum computing.
- [88] arXiv:1901.03187 [pdf, ps, other]
-
Title: Berestycki-Lions conditions on ground state solutions for Kirchhoff-type problems with variable potentialsComments: This paper was submitted to Journal on April 18, 2018. arXiv admin note: substantial text overlap with arXiv:1803.01130Subjects: Analysis of PDEs (math.AP)
By introducing some new tricks, we prove that the nonlinear problem of Kirchhoff-type \begin{equation*} \left\{
\begin{array}{ll}
-\left(a+b\int_{\R^3}|\nabla u|^2\mathrm{d}x\right)\triangle u+V(x)u=f(u), & x\in \R^3;
u\in H^1(\R^3),
\end{array} \right. \end{equation*} admits two class of ground state solutions under the general "Berestycki-Lions assumptions" on the nonlinearity $f$ which are almost necessary conditions, as well as some weak assumptions on the potential $V$. Moreover, we also give a simple minimax characterization of the ground state energy. Our results improve and complement previous ones in the literature. - [89] arXiv:1901.03188 [pdf, ps, other]
-
Title: An Optimal Linear Error Correcting Delivery Scheme for Coded Caching with Shared CachesSubjects: Information Theory (cs.IT)
Classical coded caching setting avails each user to have one dedicated cache. This is generalized to a more general shared cache scheme and the exact expression for the worst case rate was derived in [E. Parrinello, A. Unsal, P. Elia, "Fundamental Limits of Caching in Heterogeneous Networks with Uncoded Prefetching," available on arXiv:1811.06247 [cs.IT], Nov. 2018]. For this case, an optimal linear error correcting delivery scheme is proposed and an expression for the peak rate is established for the same. Furthermore, a new delivery scheme is proposed, which gives an improved rate for the case when the demands are not distinct.
- [90] arXiv:1901.03189 [pdf, ps, other]
-
Title: Strong Convergence of the Linear Implicit Euler Method for the Finite Element Discretization of Semilinear non-Autonomous SPDEs Driven by Multiplicative or Additive NoiseSubjects: Numerical Analysis (math.NA)
This paper aims to investigate the numerical approximation of semilinear non-autonomous stochastic partial differential equations (SPDEs) driven by multiplicative or additive noise. Such equations are more realistic than autonomous SPDEs while modeling real world phenomena. Numerical approximations for autonomous SPDEs are thoroughly investigated in the literature, while the non-autonomous case is not yet well understood. The non-autonomous SPDE is discretized in space by the finite element method and in time by the linear implicit Euler method. We break the complexity in the analysis of the time depending, not necessarily self-adjoint linear operators with the corresponding semi group and provide the strong convergence result of the fully discrete scheme toward the exact solution in the root-mean-square $L^2$ norm. The results indicate how the converge order depends on the regularity of the initial solution and the noise. In particular, for multiplicative trace class noise we achieve convergence order $\mathcal{O}(h^{2-\epsilon}+\Delta t^{1/2})$ and for additive noise with trace class, we achieve convergence order $\mathcal{O}(h^{2-\epsilon}+\Delta t^{1-\epsilon})$, for an arbitrarily small $\epsilon>0$. Numerical experiments to sustain our theoretical results are provided.
- [91] arXiv:1901.03194 [pdf, ps, other]
-
Title: Fractional matching preclusion for generalized augmented cubesComments: 21 pages; 1 figuresSubjects: Combinatorics (math.CO)
The \emph{matching preclusion number} of a graph is the minimum number of edges whose deletion results in a graph that has neither perfect matchings nor almost perfect matchings. As a generalization, Liu and Liu recently introduced the concept of fractional matching preclusion number. The \emph{fractional matching preclusion number} of $G$ is the minimum number of edges whose deletion leaves the resulting graph without a fractional perfect matching. The \emph{fractional strong matching preclusion number} of $G$ is the minimum number of vertices and edges whose deletion leaves the resulting graph without a fractional perfect matching. In this paper, we obtain the fractional matching preclusion number and the fractional strong matching preclusion number for generalized augmented cubes. In addition, all the optimal fractional strong matching preclusion sets of these graphs are categorized.
- [92] arXiv:1901.03196 [pdf, ps, other]
-
Title: Analogs of certain quasi-analiticity results on Riemannian symmetric spaces of noncompact typeComments: arXiv admin note: text overlap with arXiv:1808.09710Subjects: Functional Analysis (math.FA)
An $L^2$ version of the celebrated Denjoy-Carleman theorem regarding quasi-analytic functions was proved by Chernoff \cite{CR} on $\mathbb R^d$ using iterates of the Laplacian. In $1934$ Ingham \cite{I} used the classical Denjoy-Carleman theorem to relate the decay of Fourier transform and quasi-analyticity of integrable functions on $\mathbb R$. In this paper we extend both these theorems to Riemannian symmetric spaces of noncompact type and show that the theorem of Ingham follows from that of Chernoff.
- [93] arXiv:1901.03197 [pdf, ps, other]
-
Title: Right subdirectly irreducible completely 0-simple semigroups and uniform acts over rectangular bandsComments: 10 pagesSubjects: Rings and Algebras (math.RA)
The aim of this paper is characterizing right subdirectly irreducible completely 0-simple semigroups. We prove that such semigroups are indeed groups with least nontrivial subgroups. On the other hand we prove that right irreducible completely 0-simple semigroups are groups for which nontrivial subgroups have nontrivial intersection. Ultimately, we characterize the class of uniform acts as an overclass of subdirectly irreducible acts over rectangular bands.
- [94] arXiv:1901.03204 [pdf, ps, other]
-
Title: First exit and Dirichlet problem for the nonisotropic tempered $α$-stable processesComments: 23 pages, 5 figuresSubjects: Probability (math.PR)
This paper discusses the first exit and Dirichlet problems of the nonisotropic tempered $\alpha$-stable process $X_t$. The upper bounds of all moments of the first exit position $\left|X_{\tau_D}\right|$ and the first exit time $\tau_D$ are firstly obtained. It is found that the probability density function of $\left|X_{\tau_D}\right|$ or $\tau_D$ exponentially decays with the increase of $\left|X_{\tau_D}\right|$ or $\tau_D$, and $\mathrm{E}\left[\tau_D\right]\sim \left|\mathrm{E}\left[X_{\tau_D}\right]\right|$,\ $\mathrm{E}\left[\tau_D\right]\sim\mathrm{E}\left[\left|X_{\tau_D}-\mathrm{E}\left[X_{\tau_D}\right]\right|^2\right] $. Since $\mathrm{\Delta}^{\alpha/2,\lambda}_m$ is the infinitesimal generator of the anisotropic tempered stable process, we obtain the Feynman-Kac representation of the Dirichlet problem with the operator $\mathrm{\Delta}^{\alpha/2,\lambda}_m$. Therefore, averaging the generated trajectories of the stochastic process leads to the solution of the Dirichlet problem, which is also verified by numerical experiments.
- [95] arXiv:1901.03207 [pdf, ps, other]
-
Title: Unique continuation for many-body Schrödinger operators and the Hohenberg-Kohn theorem. II. The Pauli HamiltonianAuthors: Louis GarrigueSubjects: Mathematical Physics (math-ph); Analysis of PDEs (math.AP); Quantum Physics (quant-ph)
We prove the strong unique continuation property for many-body Pauli operators with external potentials, interaction potentials and magnetic fields in $L^p_{\rm loc}(\mathbb{R}^d)$, and with magnetic potentials in $L^q_{\rm loc}(\mathbb{R}^d)$, where $p > \max(2d/3,2)$ and $q > 2d$. For this purpose, we prove a singular Carleman estimate involving fractional Laplacian operators. Consequently, we obtain the Hohenberg-Kohn theorem for the Maxwell-Schr\"odinger model.
- [96] arXiv:1901.03211 [pdf, other]
-
Title: Stability and Sustainability of Resource Consumption NetworksComments: 22 pages, 5 figuresSubjects: Optimization and Control (math.OC)
In this paper, we examine both stability and sustainability of a network-based model of natural resource consumption. Stability is studied from a dynamical systems perspective, though we argue that sustainability is a fundamentally different notion from stability in social-ecological systems. Accordingly, we also present a criterion for sustainability that is guided by the existing literature on sustainable development. Assuming a generic social network of consuming agents' interactions, we derive sufficient conditions for both the stability and sustainability of the model as constraints on the network structure itself. We complement these analytical results with numerical simulations and discuss the implications of our findings for policy-making for sustainable resource governance.
- [97] arXiv:1901.03216 [pdf, other]
-
Title: On Secure Capacity of Multiple Unicast Traffic over Two-Layer NetworksComments: Submitted for ISITSubjects: Information Theory (cs.IT)
This paper studies the problem of secure communication over two-layer networks, where a source is connected to a set of relays via direct edges. These relays are then connected to $m$ destinations, such that each destination has direct connections to a subset of relays. In multiple unicast traffic, the source wishes to transmit independent information to each of the $m$ destinations. This work studies the secure capacity region for this traffic over the defined two-layer networks, under the assumption of perfect information theoretic security criterion from an adversary who can access any $K$ edges of the network. In particular, the secure capacity region is characterized when either $K=1$ or $m=3$. Moreover, conditions sufficient to characterize the secure capacity region are provided for arbitrary values of $K$ and $m$.
- [98] arXiv:1901.03218 [pdf, ps, other]
-
Title: On well-covered direct productsSubjects: Combinatorics (math.CO)
A graph $G$ is well-covered if all maximal independent sets of $G$ have the same cardinality. In 1992 Topp and Volkmann investigated the structure of well-covered graphs that have nontrivial factorizations with respect to some of the standard graph products. In particular, they showed that both factors of a well-covered direct product are also well-covered and proved that the direct product of two complete graphs (respectively, two cycles) is well-covered precisely when they have the same order (respectively, both have order 3 or 4). Furthermore, they proved that the direct product of two well-covered graphs with independence number one-half their order is well-covered. We initiate a characterization of nontrivial, connected well-covered graphs $G$ and $H$, whose independence numbers are strictly less than one-half their orders, such that their direct product $G \times H$ is well-covered. In particular, we show that in this case both $G$ and $H$ have girth 3 and we present several infinite families of such well-covered direct products. Moreover, we show that if $G$ is a factor of any well-covered direct product, then $G$ is a complete graph unless it is possible to create an isolated vertex by removing the closed neighborhood of some independent set of vertices in $G$.
- [99] arXiv:1901.03224 [pdf, ps, other]
-
Title: The Batalin-Vilkovisky structure on the Tate-Hochschild cohomology ring of a group algebraComments: 36 pages, to appear in International Mathematics Research Notices (IMRN)Subjects: Group Theory (math.GR); K-Theory and Homology (math.KT); Representation Theory (math.RT)
We determine the Batalin-Vilkovisky structure on the Tate-Hochschild cohomology of the group algebra $kG$ of a finite group $G$ in terms of the additive decomposition. In particular, we show that the Tate cohomology of $G$ is a Batalin-Vilkovisky subalgebra of the Tate-Hochschild cohomology of the group algebra $kG$, and that the Tate cochain complex of $G$ is a cyclic $A_{\infty}$-subalgebra of the Tate-Hochschild cochain complex of $kG$.
- [100] arXiv:1901.03226 [pdf, ps, other]
-
Title: A low-rank approximation of tensors and the topological group structure of invertible matricesComments: 8 pages, the extended report at the conference "Probability Theory and Mathematical Statistics" (November 7--10, 2017, Kazan, Russian Federation)Subjects: Functional Analysis (math.FA)
By a tensor we mean an element of a tensor product of vector spaces over a field. Up to a choice of bases in factors of tensor products, every tensor may be coordinatized, that is, represented as an array consisting of numbers. This note is concerned with properties of the~tensor rank that is a natural generalization of the matrix rank. The topological group structure of invertible matrices is involved in this study. The multilinear matrix multiplication is discussed from a viewpoint of transformation groups. We treat a low-rank tensor approximation in finite-dimensional tensor products. It is shown that the problem on determining a best rank-$n$ approximation for a tensor of size $n\times n \times 2$ has no a solution.To this end, we make use of an~approximation by matrices with simple spectra.
- [101] arXiv:1901.03233 [pdf, ps, other]
-
Title: The largest $(k, \ell)$-sum-free sets in compact abelian groupsAuthors: Noah KravitzSubjects: Combinatorics (math.CO); Group Theory (math.GR); Number Theory (math.NT)
A subset $A$ of a finite abelian group is called $(k,\ell)$-sum-free if $kA \cap \ell A=\emptyset.$ In thie paper, we extend this concept to compact abelian groups and study the question of how large a measurable $(k,\ell)$-sum-free set can be. For integers $1 \leq k <\ell$ and a compact abelian group $G$, let $$\lambda_{k,\ell}(G)=\sup\{ \mu(A): kA \cap \ell A =\emptyset \}$$ be the maximum possible size of a $(k,\ell)$-sum-free subset of $G$. We prove that if $G=\mathbb{I} \times M$ is the direct product of the identity component of $G$ and a finite group, then $$\max \left\{ \lambda_{k, \ell}(M), \lambda_{k, \ell}(\mathbb{I}) \right\} \leq \lambda_{k, \ell}(G) \leq \max \left\{ \lambda_{k, \ell}(M), \frac{1}{k+\ell} \right\}.$$ Moreover, the upper bound is an equality if $G$ admits a surjective measurable homomorphism onto the circle group $\mathbb{T}$. Finally, we discuss how this problem motivates a new framework for studying $(k,\ell)$-sum-free sets in finite groups.
- [102] arXiv:1901.03238 [pdf, ps, other]
-
Title: On a conjecture about the comparability of parallel systems with respect to convex transform orderSubjects: Probability (math.PR)
In this paper we prove that two heterogeneous parallel systems with independent exponentially distributed components are comparable via the star transform order while the comparison via the convex transform fails. The latter conclusion provides a partial answer to a problem that remained open for a decade.
- [103] arXiv:1901.03240 [pdf, other]
-
Title: A Reduced-Complexity Projection Algorithm for ADMM-based LP DecodingSubjects: Information Theory (cs.IT)
The Alternating Direction Method of Multipliers has recently been adapted for Linear Programming Decoding of Low-Density Parity-Check codes. The computation of the projection onto the parity polytope is the core of this algorithm and usually involves a sorting operation, which is the main effort of the projection.
In this paper, we present an algorithm with low complexity to compute this projection. The algorithm relies on new findings in the recursive structure of the parity polytope and iteratively fixes selected components. It requires up to 37% less arithmetical operations compared to state-of-the-art projections. Additionally, it does not involve a sorting operation, which is needed in all exact state-of-the-art projection algorithms. These two benefits make it appealing for efficient hard- and software implementations. - [104] arXiv:1901.03242 [pdf, ps, other]
-
Title: On closed finite gap curves in spaceforms IIComments: 21 pagesSubjects: Differential Geometry (math.DG); Dynamical Systems (math.DS)
We prove that the set of closed finite gap curves in hyperbolic 3-space $\mathbb{H}^3$ is $W^{2,2}$-dense in the Sobolev space of all closed $W^{2,2}$-curves in $\mathbb{H}^3$. We also show that the set of closed finite gap curves in any 2-dimensional space form $\mathbb{E}^2$ is $W^{2,2}$-dense in the Sobolev space of all closed $W^{2,2}$-curves in $\mathbb{E}^2$.
- [105] arXiv:1901.03243 [pdf, other]
-
Title: The adjoint braid arrangement as a combinatorial Lie algebra via the Steinmann relationsSubjects: Combinatorics (math.CO)
We study the dual action of Lie elements on faces of the adjoint braid arrangement, interpreted as the discrete differentiation of functions on faces across hyperplanes. We encode flags of faces with layered binary trees, allowing for the representation of Lie elements by antisymmetrized layered binary forests. This induces an action of layered binary forests on functions by discrete differentiation, which we call the forest derivative. The forest derivative has antisymmetry and satisfies the Jacobi identity. We show that the restriction of the forest derivative to functions which satisfy the Steinmann relations is additionally delayered, and thus forms a left comodule of the Lie cooperad. Dually, this endows the adjoint braid arrangement modulo the Steinmann relations with the structure of a Lie algebra internal to the category of linear species.
- [106] arXiv:1901.03244 [pdf, other]
-
Title: Auxin transport model for leaf venationSubjects: Dynamical Systems (math.DS); Analysis of PDEs (math.AP); Numerical Analysis (math.NA)
The plant hormone auxin is regulating many aspects of plant development and one striking dynamical feature is the self-organisation of leaf venation patterns driven by high auxin within vein cells and a facilitated transport of auxin mediated by specialised membrane-localised proteins. Highly important for correct venation patterns are polarly localised efflux-mediator proteins of the PIN family. Here, we investigate a model of auxin transport with a positive feedback between auxin fluxes and transport capacities that are not necessarily polar, adapted from a recently proposed model for transport networks. We show global existence and nonnegativity of solutions to the model, and demonstrate the validity of Murray's law for the steady states of the model. In the numerical simulations, we further show the ability of the model to connect an auxin source-sink pair with a mid-vein and that it can also produce a branching vein pattern. In addition, we derive and analyse a macroscopic formulation of the model which can be extended to include network growth.
- [107] arXiv:1901.03245 [pdf, ps, other]
-
Title: Inexact Newton method for minimization of convex piecewise quadratic functionsComments: 16 pagesSubjects: Optimization and Control (math.OC)
An inexact Newton type method for numerical minimization of convex piecewise quadratic functions is considered and its convergence is analyzed. Earlier, a similar method was successfully applied to optimizaton problems arising in numerical grid generation. The method can be applied for computing a minimum norm nonnegative solution of underdetermined system of linear equations or for finding the distance between two convex polyhedra. The performance of the method is tested using sample data from NETLIB family of the University of Florida sparse matrix collection as well as quasirandom data.
- [108] arXiv:1901.03246 [pdf, ps, other]
-
Title: Long Time Existence of Solutions to an Elastic Flow of NetworksSubjects: Analysis of PDEs (math.AP)
The $L^2$--gradient flow of the elastic energy of networks leads to a Willmore type evolution law with nontrivial nonlinear boundary conditions. We show local in time existence and uniqueness for this elastic flow of networks in a Sobolev space setting under natural boundary conditions. In addition we show a regularisation property and geometric existence and uniqueness. The main result is a long time existence result using energy methods.
- [109] arXiv:1901.03247 [pdf, ps, other]
-
Title: Reduced word enumeration, complexity, and randomizationComments: 23 pagesSubjects: Combinatorics (math.CO)
A reduced word of a permutation w is a minimal length expression of w as a product of simple transpositions. We examine the computational complexity, formulas and (randomized) algorithms for their enumeration. In particular, we prove that the Edelman-Greene statistic, defined by S. Billey-B. Pawlowski, has exponentially growing expectation. This is established by a formal run-time analysis of A. Lascoux-M.-P. Sch\"utzenberger's transition algorithm. The more general problem of Hecke word enumeration, and its closely related question of counting set-valued standard Young tableaux, is also investigated. The latter enumeration problem is further motivated by work on Brill-Noether varieties due to M. Chan-N. Pflueger and D. Anderson-L. Chen-N. Tarasca.
- [110] arXiv:1901.03248 [pdf, ps, other]
-
Title: Gaussian lower bounds for the density via Malliavin calculusAuthors: Nguyen Tien DungComments: 10 pagesSubjects: Probability (math.PR)
The problem of obtaining a lower bound for the density is always a challenge to solve. In this paper, based on a known formula, we use a simple idea to get a new representation for the density of Malliavin differentiable random variables. This new representation is particularly useful for finding lower bounds for the density.
- [111] arXiv:1901.03249 [pdf, other]
-
Title: Robust Optimal-Complexity Multilevel ILU for Predominantly Symmetric SystemsSubjects: Numerical Analysis (math.NA)
Incomplete factorization is a powerful preconditioner for Krylov subspace methods for solving large-scale sparse linear systems. Existing incomplete factorization techniques, including incomplete Cholesky and incomplete LU factorizations, are typically designed for symmetric or nonsymmetric matrices. For some numerical discretizations of partial differential equations, the linear systems are often nonsymmetric but predominantly symmetric, in that they have a large symmetric block. In this work, we propose a multilevel incomplete LU factorization technique, called PS-MILU, which can take advantage of predominant symmetry to reduce the factorization time by up to half. PS-MILU delivers robustness for ill-conditioned linear systems by utilizing diagonal pivoting and deferred factorization. We take special care in its data structures and its updating and pivoting steps to ensure optimal time complexity in input size under some reasonable assumptions. We present numerical results with PS-MILU as a preconditioner for GMRES for a collection of predominantly symmetric linear systems from numerical PDEs with unstructured and structured meshes in 2D and 3D, and show that PS-MILU can speed up factorization by about a factor of 1.6 for most systems. In addition, we compare PS-MILU against the multilevel ILU in ILUPACK and the supernodal ILU in SuperLU to demonstrate its robustness and lower time complexity.
- [112] arXiv:1901.03261 [pdf, ps, other]
-
Title: The Capacity of Count-Constrained ICI-Free SystemsComments: Long version of paper submitted to ISIT 2019Subjects: Information Theory (cs.IT)
A Markov chain approach is applied to determine the capacity of a general class of q-ary ICI-free constrained systems that satisfy an arbitrary count constraint.
- [113] arXiv:1901.03263 [pdf, other]
-
Title: A quasi-robust discretization error estimate for discontinuous Galerkin Isogeometric AnalysisAuthors: Stefan TakacsSubjects: Numerical Analysis (math.NA)
Isogeometric Analysis is a spline-based discretization method to partial differential equations which shows the approximation power of a high-order method. The number of degrees of freedom, however, is as small as the number of degrees of freedom of a low-order method. This does not come for free as the original formulation of Isogeometric Analysis requires a global geometry function. Since this is too restrictive for many kinds of applications, the domain is usually decomposed into patches, where each patch is parameterized with its own geometry function. In simpler cases, the patches can be combined in a conforming way. However, for non-matching discretizations or for varying coefficients, a non-conforming discretization is desired. An symmetric interior penalty discontinuous Galerkin (SIPG) method for Isogeometric Analysis has been previously introduced. In the present paper, we give error estimates that only depend poly-logarithmically on the spline degree. This opens the door towards the construction and the analysis of fast linear solvers, particularly multigrid solvers for non-conforming multipatch Isogeometric Analysis.
- [114] arXiv:1901.03264 [pdf, ps, other]
-
Title: Capacity Achieving Distribution for the Amplitude Constrained Additive Gaussian Channel: An Upper Bound on the Number of Mass PointsComments: Keywords: Amplitude constraint, power constraint, additive vector Gaussian noise cha nel, capacity, discrete distributionsSubjects: Information Theory (cs.IT)
This paper studies an $n$-dimensional additive Gaussian noise channel with a peak-power-constrained input.
It is well known that, in this case, the capacity-achieving input distribution is supported on finitely many concentric shells. However, due to the previous proof technique, neither the exact number of shells of the optimal input distribution nor a bound on it was available.
This paper provides an alternative proof of the finiteness of the number shells of the capacity-achieving input distribution and produces the first firm upper bound on the number of shells, paving an alternative way for approaching many such problems. In particular, for every dimension $n$, it is shown that the number of shells is given by $O(\mathsf{A}^2)$ where $\mathsf{A}$ is the constraint on the input amplitude. Moreover, this paper also provides bounds on the number of points for the case of $n=1$ with an additional power constraint. - [115] arXiv:1901.03266 [pdf, other]
-
Title: Categories of Two-Colored Pair Partitions, Part II: Categories Indexed by SemigroupsComments: 37 pagesSubjects: Combinatorics (math.CO); Quantum Algebra (math.QA)
Within the framework of unitary easy quantum groups, we study an analogue of Brauer's Schur-Weyl approach to the representation theory of the orthogonal group. We consider concrete combinatorial categories whose morphisms are formed by partitions of finite sets into disjoint subsets of cardinality two; the points of these sets are colored black or white. These categories correspond to "half-liberated easy" interpolations between the unitary group and Wang's quantum counterpart. We complete the classification of all such categories demonstrating that the subcategories of a certain natural halfway point are equivalent to additive subsemigroups of the natural numbers; the categories above this halfway point have been classified in a preceding article. We achieve this using combinatorial means exclusively. Our work reveals that the half-liberation procedure is quite different from what was previously known from the orthogonal case.
- [116] arXiv:1901.03269 [pdf, other]
-
Title: Smoothing Spline Semiparametric Density ModelsSubjects: Statistics Theory (math.ST)
Density estimation plays a fundamental role in many areas of statistics and machine learning. Parametric, nonparametric and semiparametric density estimation methods have been proposed in the literature. Semiparametric density models are flexible in incorporating domain knowledge and uncertainty regarding the shape of the density function. Existing literature on semiparametric density models is scattered and lacks a systematic framework. In this paper, we consider a unified framework based on the reproducing kernel Hilbert space for modeling, estimation, computation and theory. We propose general semiparametric density models for both a single sample and multiple samples which include many existing semiparametric density models as special cases. We develop penalized likelihood based estimation methods and computational methods under different situations. We establish joint consistency and derive convergence rates of the proposed estimators for both the finite dimensional Euclidean parameters and an infinite-dimensional functional parameter. We validate our estimation methods empirically through simulations and an application.
- [117] arXiv:1901.03273 [pdf, ps, other]
-
Title: Fractals and the monadic second order theory of one successorSubjects: Logic (math.LO)
Let $X \subseteq \mathbb{R}^n$ be closed. If the $C^k$-smooth points of $X$ are not dense in $X$ for some $k \geq 0$, then $(\mathbb{R},<,+,0,X)$ interprets the monadic second order theory of $(\mathbb{N},+1)$. The same conclusion holds if the Hausdorff dimension of $X$ is strictly greater than the topological dimension of $X$ and $X$ has no affine points. Thus, if $X$ is virtually any fractal subset of $\mathbb{R}^n$, then $(\mathbb{R},<,+,0,X)$ interprets the monadic second order theory of $(\mathbb{N},+1)$.
- [118] arXiv:1901.03274 [pdf, ps, other]
-
Title: Towards an Algebraic Network Information Theory: Simultaneous Joint Typicality DecodingComments: 24 pages, 5 figures, submitted to IEEE Transactions on Information TheorySubjects: Information Theory (cs.IT)
Consider a receiver in a multi-user network that wishes to decode several messages. Simultaneous joint typicality decoding is one of the most powerful techniques for determining the fundamental limits at which reliable decoding is possible. This technique has historically been used in conjunction with random i.i.d. codebooks to establish achievable rate regions for networks. Recently, it has been shown that, in certain scenarios, nested linear codebooks in conjunction with "single-user" or sequential decoding can yield better achievable rates. For instance, the compute-forward problem examines the scenario of recovering $L \le K$ linear combinations of transmitted codewords over a $K$-user multiple-access channel (MAC), and it is well established that linear codebooks can yield higher rates. Here, we develop bounds for simultaneous joint typicality decoding used in conjunction with nested linear codebooks, and apply them to obtain a larger achievable region for compute-forward over a $K$-user discrete memoryless MAC. The key technical challenge is that competing codeword tuples that are linearly dependent on the true codeword tuple introduce statistical dependencies, which requires careful partitioning of the associated error events.
- [119] arXiv:1901.03285 [pdf, ps, other]
-
Title: Protograph-Based LDPC Code Design for Probabilistic Shaping with On-Off KeyingComments: Invited Paper for CISS 2019Subjects: Information Theory (cs.IT)
This work investigates protograph-based LDPC codes for the AWGN channel with OOK modulation. A non-uniform distribution of the OOK modulation symbols is considered to improve the power efficiency especially for low SNRs. To this end, a specific transmitter architecture based on time sharing is proposed that allows probabilistic shaping of (some) OOK modulation symbols. Tailored protograph-based LDPC code designs outperform standard schemes with uniform signaling and off-the-shelf codes by 1.1 dB for a transmission rate of 0.25 bits/channel use.
- [120] arXiv:1901.03290 [pdf, ps, other]
-
Title: Tautological relations for stable maps to a target varietyAuthors: Younghan BaeComments: 15 pagesSubjects: Algebraic Geometry (math.AG)
We define tautological relations for the moduli space of stable maps to a target variety. Using the double ramification cycle formula for target varieties of Janda-Pandharipande-Pixton-Zvonkine, we construct nontrivial tautological relations parallel to Pixton's double ramification cycle relations for the moduli of curves. Examples and applications are discussed.
- [121] arXiv:1901.03291 [pdf, ps, other]
-
Title: Monomial multiplicities in explicit formAuthors: Guillermo AlesandroniSubjects: Commutative Algebra (math.AC)
Denote by S a polynomial ring over a field, and let M=(m_1,...,m_q) be a monomial ideal of S. In this article we describe the multiplicities of all codimension 1 monomial ideals; more specifically, we prove that if codim(S/M)=1, then e(S/M)=deg(gcd(m_1,...,m_q)). We also introduce a new class of ideals that extends the family of monomial complete intersections, and give a formula for their multiplicities, as well as a visual interpretation of this invariant. For every ideal studied in this work, we show that the upper bound of the multiplicity conjecture holds.
- [122] arXiv:1901.03300 [pdf, other]
-
Title: On Emergence and Complexity of Ergodic DecompositionsComments: 49 pages, 4 figuresSubjects: Dynamical Systems (math.DS)
A concept of emergence was recently introduced in [Berger] in order to quantify the richness of possible statistical behaviors of orbits of a given dynamical system. In this paper, we elaborate on this concept and provide several new definitions, results, and examples. We introduce the notion of topological emergence of a dynamical system, which essentially evaluates how big the set of all its invariant probability measures is. On the other hand, the metric emergence of a particular reference measure (usually Lebesgue) quantifies how non-ergodic this measure is. We prove fundamental properties of these two emergences, relating them with classical concepts such as Kolmogorov's $\epsilon$-entropy of metric spaces and quantization of measures. We also relate the two types of emergences by means of a variational principle. Furthermore, we provide several examples of dynamics with high emergence. First, we show that the topological emergence of some standard classes of hyperbolic dynamical systems is essentially the maximal one allowed by the ambient. Secondly, we construct examples of smooth area-preserving diffeomorphisms that are extremely non-ergodic in the sense that the metric emergence of Lebesgue measure is essentially maximal. These examples confirm that super-polynomial emergence indeed exist, as conjectured in [Berger]. Finally, we prove that such examples are locally generic among smooth diffeomorphisms.
- [123] arXiv:1901.03301 [pdf, other]
-
Title: Joint Power Splitting and Relay Selection for Cooperative Energy-Harvesting CommunicationsComments: 30 pagesJournal-ref: IEEE Transactions on Communications (under review), 2018Subjects: Information Theory (cs.IT)
In this paper, we consider an energy-harvesting (EH) relay system consisting of a source, a destination, and multiple EH decode-and-forward (DF) relays that can harvest the energy from their received radio signals. A power-splitting ratio is employed at an EH DF relay to characterize a trade-off between an energy used for decoding the source signal received at the relay and the remaining energy harvested for retransmitting the decode outcome. We propose an optimal power splitting and relay selection (OPS-RS) framework and also consider the conventional equal power splitting and relay selection (EPS-RS) for comparison purposes. We derive closed-form expressions of outage probability for both the OPS-RS and EPS-RS approaches and characterize their diversity gains through an asymptotic outage analysis in the high signal-to-noise ratio region. We further examine an extension of our OPS-RS framework to an energy-harvesting battery (EHB) enabled cooperative relay scenario, where the EH relays are equipped with batteries used to store their harvested energies. We propose an amplify-and-forward (AF) based EHB-OPS-RS and a DF based EHB-OPS-RS schemes for AF and DF relay networks, respectively. Numerical results show that the proposed OPS-RS always outperforms the EPS-RS in terms of outage probability. Moreover, the outage probabilities of AF and DF based EHB-OPS-RS schemes are much smaller than that of OPS-RS and EPS-RS methods, demonstrating the benefit of exploiting the batteries in EH relays. Additionally, the DF based EHB-OPS-RS substantially outperforms the AF based EHB-OPS-RS and such an outage advantage becomes more significant, as the number of EH relays increases.
- [124] arXiv:1901.03303 [pdf, ps, other]
-
Title: Stability and Controllability of a 1D Timoshenko systemSubjects: Analysis of PDEs (math.AP)
In this paper, we study the indirect boundary stability and exact controllability of a one-dimensional Timoshenko system. In the first part of the paper, we consider the Timoshenko system with only one boundary fractional damping. We first show that the system is strongly stable but not uniformly stable. Hence, we look for a polynomial decay rate for smooth initial data. Using frequency domain arguments combined with the multiplier method, we prove that the energy decay rate depends on coefficients appearing in the PDE and on the order of the fractional damping. Moreover, under the equal speed propagation condition, we obtain the optimal polynomial energy decay rate. In the second part of this paper, we study the indirect boundary exact controllability of the Timoshenko system with mixed Dirichlet-Neumann boundary conditions and boundary control. Using non-harmonic analysis, we first establish a weak observability inequality, which depends on the ratio of the waves propagation speeds. Next, using the HUM method, we prove that the system is exactly controllable in appropriate spaces and that the control time can be small.
- [125] arXiv:1901.03305 [pdf, ps, other]
-
Title: On the Finiteness Problem for classes of modular latticesAuthors: Christian HerrmannSubjects: Logic (math.LO)
The Finiteness Problem is shown to be unsolvable for any sufficiently large class of modular lattices.
- [126] arXiv:1901.03306 [pdf, ps, other]
-
Title: Almost Interior Points in Ordered Banach Spaces and the Long--Term Behaviour of Strongly Positive Operator SemigroupsComments: 23 pagesSubjects: Functional Analysis (math.FA)
The first part of this article is a brief survey of the properties of so-called almost interior points in ordered Banach spaces. Those vectors can be seen as a generalization of `functions which are strictly positive almost everywhere' on $L^p$-spaces and of `quasi-interior points' in Banach lattices. Almost interior points appear in numerous articles and monographs, but many of their properties are scattered throughout the literature. Here we gather an overview of their basic properties, their relations to other concepts and their appearance in an operator theoretic context as well as a discussion of several examples and an open problem which we consider to be central to their theory.
In the second part we study the long--term behaviour of strongly positive operator semigroups on ordered Banach spaces; these are semigroups which, in a sense, map every non-zero positive vector to an almost interior point. Using the Jacobs--de Leeuw--Glicksberg decomposition together with the theory presented in the first part of the paper we deduce sufficiency criteria for such semigroups to converge (strongly or in operator norm) as time tends to infinity. This generalises known results for semigroups on Banach lattices as well as on normally ordered Banach spaces with unit. - [127] arXiv:1901.03308 [pdf, ps, other]
-
Title: Lower bounds for rainbow Turán numbers of paths and other treesSubjects: Combinatorics (math.CO)
For a fixed graph $F$, we would like to determine the maximum number of edges in a properly edge-colored graph on $n$ vertices which does not contain a rainbow copy of $F$, that is, a copy of $F$ all of whose edges receive a different color. This maximum, denoted by $ex^*(n, F)$, is the rainbow Tur\'{a}n number of $F$. We show that $ex^*(n,P_k)\geq \frac{k}{2}n + O(1)$ where $P_k$ is a path on $k\geq 3$ edges, generalizing a result by Maamoun and Meyniel and by Johnston, Palmer and Sarkar. We show similar bounds for brooms on $2^s-1$ edges and diameter $\leq 10$ and a few other caterpillars of small diameter.
- [128] arXiv:1901.03314 [pdf, ps, other]
-
Title: Uniformly perfect finitely generated simple left orderable groupsComments: 20 pagesSubjects: Group Theory (math.GR)
We show that the finitely generated simple left orderable groups $G_{\rho}$ constructed by the first two authors in arXiv:1807.06478 are uniformly perfect - each element in the group can be expressed as a product of three commutators of elements in the group. This implies that the group does not admit any homogeneous quasimorphism, and that any nontrivial action of the group on the circle admits a fixed point. Most strikingly, it follows that the groups are examples of left orderable monsters, which means that any faithful action on the real line without a global fixed point is globally contracting. This answers Question 4 from the 2018 ICM proceedings article of the third author. (This question has also been answered simultaneously and independently, using completely different methods, by Matte Bon and Triestino in arXiv:1811.12256.) To prove our results, we provide a certain characterisation of elements of the group $G_{\rho}$ which is a useful new tool in the study of these examples.
- [129] arXiv:1901.03316 [pdf, ps, other]
-
Title: Compactification of the space of Hamiltonian stationary Lagrangian submanifolds with bounded total extrinsic curvature and volumeComments: 27 pagesSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
For a sequence of immersed connected closed Hamiltonian stationary Lagrangian submaniolds in $\mathbb{C}^{n}$ with uniform bounds on their volumes and the total extrinsic curvatures, we prove that a subsequence converges either to a point or to a Hamiltonian stationary Lagrangian $n$-varifold locally uniformly in $C^{k}$ for any nonnegative integer $k$ away from a finite set of points, and the limit is Hamiltonian stationary in ${\mathbb{C}}^{n}$. We also obtain a theorem on extending Hamiltonian stationary Lagrangian submanifolds $L$ across a compact set $N$ of Hausdorff codimension at least 2 that is locally noncollapsing in volumes matching its Hausdorff dimension, provided the mean curvature of $L$ is in $L^{n}$ and a condition on local volume of $L$ near $N$ is satisfied.
- [130] arXiv:1901.03323 [pdf, other]
-
Title: Comparing the geometry of the basins of attraction, the speed and the efficiency of several numerical methodsComments: Published in International Journal of Applied and Computational Mathematics (IACM). arXiv admin note: text overlap with arXiv:1806.11414Journal-ref: IACM, vol. 4, 105 (2018)Subjects: Numerical Analysis (math.NA); Chaotic Dynamics (nlin.CD)
We use simple equations in order to compare the basins of attraction on the complex plane, corresponding to a large collection of numerical methods, of several order. Two cases are considered, regarding the total number of the roots, which act as numerical attractors. For both cases we use the iterative schemes for performing a thorough and systematic classification of the nodes on the complex plane. The distributions of the required iterations as well as the probability and their correlations with the corresponding basins of convergence are also discussed. Our numerical calculations suggest that most of the iterative schemes provide relatively similar convergence structures on the complex plane. In addition, several aspects of the numerical methods are compared in an attempt to obtain general conclusions regarding their speed and efficiency. Moreover, we try to determine how the complexity of the each case influences the main characteristics of the numerical methods.
Cross-lists for Fri, 11 Jan 19
- [131] arXiv:1702.06844 (cross-list from cs.CC) [pdf, ps, other]
-
Title: Parameterized Shifted Combinatorial OptimizationSubjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO); Optimization and Control (math.OC)
Shifted combinatorial optimization is a new nonlinear optimization framework which is a broad extension of standard combinatorial optimization, involving the choice of several feasible solutions at a time. This framework captures well studied and diverse problems ranging from so-called vulnerability problems to sharing and partitioning problems. In particular, every standard combinatorial optimization problem has its shifted counterpart, which is typically much harder. Already with explicitly given input set the shifted problem may be NP-hard. In this article we initiate a study of the parameterized complexity of this framework. First we show that shifting over an explicitly given set with its cardinality as the parameter may be in XP, FPT or P, depending on the objective function. Second, we study the shifted problem over sets definable in MSO logic (which includes, e.g., the well known MSO partitioning problems). Our main results here are that shifted combinatorial optimization over MSO definable sets is in XP with respect to the MSO formula and the treewidth (or more generally clique-width) of the input graph, and is W[1]-hard even under further severe restrictions.
- [132] arXiv:1811.05281 (cross-list from math-ph) [pdf, other]
-
Title: Twisted IBL-infinity-algebra and string topology: First look and examplesAuthors: Pavel HajekComments: New version from January, 2019: a general vanishing result for the Maurer-Cartan element due to a tricky Green kernel modification from "A. Cattaneo, P. Mnev, Remarks on Chern-Simons theory"; more precise formulation of the string topology conjecture; other minor changesSubjects: Mathematical Physics (math-ph); Symplectic Geometry (math.SG)
We study the application of IBL-infinity-algebras to string topology and explicitly compute the case of spheres. This involves finding a Green kernel and computing integrals associated to trivalent ribbon graphs, which are similar to integrals from perturbative Chern-Simons theory. We generalize the computation and show that the twisted IBL-infinity-structure in question is in many cases trivial.
- [133] arXiv:1901.02881 (cross-list from physics.space-ph) [pdf]
-
Title: Multi-Revolution Low-Thrust Trajectory Optimization Using Symplectic MethodsSubjects: Space Physics (physics.space-ph); Earth and Planetary Astrophysics (astro-ph.EP); Instrumentation and Methods for Astrophysics (astro-ph.IM); Optimization and Control (math.OC)
Optimization of low-thrust trajectories that involve a larger number of orbit revolutions is considered a challenging problem. This paper describes a high-precision symplectic method and optimization techniques to solve the minimum-energy low-thrust multi-revolution orbit transfer problem. First, the optimal orbit transfer problem is posed as a constrained nonlinear optimal control problem. Then, the constrained nonlinear optimal control problem is converted into an equivalent linear quadratic form near a reference solution. The reference solution is updated iteratively by solving a sequence of linear-quadratic optimal control sub-problems, until convergence. Each sub-problem is solved via a symplectic method in discrete form. To facilitate the convergence of the algorithm, the spacecraft dynamics are expressed via modified equinoctial elements. Interpolating the non-singular equinoctial orbital elements and the spacecraft mass between the initial point and end point is proven beneficial to accelerate the convergence process. Numerical examples reveal that the proposed method displays high accuracy and efficiency.
- [134] arXiv:1901.03010 (cross-list from hep-th) [pdf, other]
-
Title: On Grassmannian Heterotic Sigma ModelComments: 21 pages, 6 figuresSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Exactly Solvable and Integrable Systems (nlin.SI)
We study the non-minimal supersymmetric heterotically deformed $\mathcal{N}=(0,2)$ sigma model with the Grassmannian target space $\mathcal{G}_{M,N}$. To develop the appropriate superfield formalism, we begin with a simplified model with flat target space, find its beta function up to two loops, and prove a non-renormalization theorem. Then we generalize the results to the full model with the Grassmannian target space. Using the geometric formulation, we calculate the beta functions and discuss the 't Hooft and Veneziano limits.
- [135] arXiv:1901.03021 (cross-list from q-fin.MF) [pdf, ps, other]
-
Title: On the bail-out dividend problem for spectrally negative Markov additive modelsComments: Keywords: Refracted-reflected spectrally negative L\'evy process, capital injection, absolutely continuous constraint, regime-switching, fixed pointSubjects: Mathematical Finance (q-fin.MF); Optimization and Control (math.OC)
This paper studies the bail-out optimal dividend problem with regime switching under the constraint that the cumulative dividend strategy is absolutely continuous. We confirm the optimality of the regime-modulated refraction-reflection strategy when the underlying risk model follows a general spectrally negative Markov additive process. To verify the conjecture of a barrier type optimal control, we first introduce and study an auxiliary problem with the final payoff at an exponential terminal time and characterize the optimal threshold explicitly using fluctuation identities of the refracted-reflected Levy process. Second, we transform the problem with regime-switching into an equivalent local optimization problem with a final payoff up to the first regime switching time. The refraction-reflection strategy with regime-modulated thresholds can be shown as optimal by using results in the first step and some fixed point arguments for auxiliary recursive iterations.
- [136] arXiv:1901.03030 (cross-list from q-fin.PM) [pdf, ps, other]
-
Title: Mean-variance portfolio selection under partial information with drift uncertaintyComments: 1 figureSubjects: Portfolio Management (q-fin.PM); Optimization and Control (math.OC); Probability (math.PR)
This paper studies a mean-variance portfolio selection problem under partial information with drift uncertainty. It is proved that all the contingent claims in this model are attainable in the sense of Xiong and Zhou. Further, we propose a numerical scheme to approximate the optimal portfolio. Malliavin calculus and the strong law of large numbers play important roles in this scheme.
- [137] arXiv:1901.03032 (cross-list from cond-mat.soft) [pdf, other]
-
Title: Buckling sheets open a door to understanding self-organization in soft matterAuthors: Shankar C. VenkataramaniComments: 3 Pages, 1 figureSubjects: Soft Condensed Matter (cond-mat.soft); Analysis of PDEs (math.AP); Adaptation and Self-Organizing Systems (nlin.AO)
This is an invited commentary on "Geometrically incompatible confinement of solids", B. Davidovitch, Y. Sun and G. M. Grason (PNAS, doi:10.1073/pnas.1815507116 , arxiv:1809.06919).
- [138] arXiv:1901.03040 (cross-list from cs.LG) [pdf, other]
-
Title: Quantized Epoch-SGD for Communication-Efficient Distributed LearningSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
Due to its efficiency and ease to implement, stochastic gradient descent (SGD) has been widely used in machine learning. In particular, SGD is one of the most popular optimization methods for distributed learning. Recently, quantized SGD (QSGD), which adopts quantization to reduce the communication cost in SGD-based distributed learning, has attracted much attention. Although several QSGD methods have been proposed, some of them are heuristic without theoretical guarantee, and others have high quantization variance which makes the convergence become slow. In this paper, we propose a new method, called Quantized Epoch-SGD (QESGD), for communication-efficient distributed learning. QESGD compresses (quantizes) the parameter with variance reduction, so that it can get almost the same performance as that of SGD with less communication cost. QESGD is implemented on the Parameter Server framework, and empirical results on distributed deep learning show that QESGD can outperform other state-of-the-art quantization methods to achieve the best performance.
- [139] arXiv:1901.03048 (cross-list from cs.CG) [pdf, other]
-
Title: Understanding the Topology and the Geometry of the Persistence Diagram Space via Optimal Partial TransportSubjects: Computational Geometry (cs.CG); Geometric Topology (math.GT)
We consider a generalization of persistence diagrams, namely Radon measures supported on the upper half plane for which we define natural extensions of Wasserstein and bottleneck distances between persistence diagrams. Such measures naturally appear in topological data analysis when considering continuous representations of persistence diagrams (e.g. persistence surfaces) but also as limits for laws of large numbers on persistence diagrams or as expectations of probability distributions on the persistence diagrams space. Introducing a formalism originating from the theory of optimal partial transport, we build a convenient framework to prove topological properties of this new space, which will also hold for the closed subspace of persistence diagrams. New results include a characterization of convergence with respect to Wasserstein metrics, and the existence of barycenters (Fr{\'e}chet means) for any distribution of diagrams. We also showcase the strength of this framework by providing several statistical results made meaningful thanks to this new formalism.
- [140] arXiv:1901.03137 (cross-list from cs.NI) [pdf, ps, other]
-
Title: Online Energy-Efficient Scheduling for Timely Information Downloads in Mobile NetworksComments: 9 pages, technical report for the ISIT 2019 submissionSubjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
We consider a mobile network where a mobile device is running an application that requires timely information. The information at the device can be updated by downloading the latest information through neighboring access points. The freshness of the information at the device is characterized by the recently proposed age of information. However, minimizing the age of information by frequent downloading increases power consumption of the device. In this context, an energy-efficient scheduling algorithm for timely information downloads is critical, especially for power-limited mobile devices. Moreover, unpredictable movement of the mobile device causes uncertainty of the channel dynamics, which is even non-stationary within a finite amount of time for running the application. Thus, in this paper we devise a randomized online scheduling algorithm for mobile devices, which can move arbitrarily and run the application for any amount of time. We show that the expected total cost incurred by the proposed algorithm, including an age cost and a downloading cost, is (asymptotically) at most e/(e-1) ~ 1.58 times the minimum total cost achieved by an optimal offline scheduling algorithm.
- [141] arXiv:1901.03155 (cross-list from cs.DS) [pdf, ps, other]
-
Title: Entropy Bounds for Grammar-Based Tree CompressorsSubjects: Data Structures and Algorithms (cs.DS); Information Theory (cs.IT)
The definition of $k^{th}$-order empirical entropy of strings is extended to node labelled binary trees. A suitable binary encoding of tree straight-line programs (that have been used for grammar-based tree compression before) is shown to yield binary tree encodings of size bounded by the $k^{th}$-order empirical entropy plus some lower order terms. This generalizes recent results for grammar-based string compression to grammar-based tree compression.
- [142] arXiv:1901.03161 (cross-list from cs.DC) [pdf, other]
-
Title: Harnessing the Power of Serverless Runtimes for Large-Scale OptimizationComments: 9 pages, double column, 9 figuresSubjects: Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
The event-driven and elastic nature of serverless runtimes makes them a very efficient and cost-effective alternative for scaling up computations. So far, they have mostly been used for stateless, data parallel and ephemeral computations. In this work, we propose using serverless runtimes to solve generic, large-scale optimization problems. Specifically, we build a master-worker setup using AWS Lambda as the source of our workers, implement a parallel optimization algorithm to solve a regularized logistic regression problem, and show that relative speedups up to 256 workers and efficiencies above 70% up to 64 workers can be expected. We also identify possible algorithmic and system-level bottlenecks, propose improvements, and discuss the limitations and challenges in realizing these improvements.
- [143] arXiv:1901.03254 (cross-list from cs.DS) [pdf, other]
-
Title: Quantum-inspired classical sublinear-time algorithm for solving low-rank semidefinite programming via sampling approachesComments: 35 pages, 1 figureSubjects: Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG); Optimization and Control (math.OC); Quantum Physics (quant-ph)
Semidefinite programming (SDP) is a central topic in mathematical optimization with extensive studies on its efficient solvers. Recently, quantum algorithms with superpolynomial speedups for solving SDPs have been proposed assuming access to its constraint matrices in quantum superposition. Mutually inspired by both classical and quantum SDP solvers, in this paper we present a sublinear classical algorithm for solving low-rank SDPs which is asymptotically as good as existing quantum algorithms. Specifically, given an SDP with $m$ constraint matrices, each of dimension $n$ and rank $\mathrm{poly}(\log n)$, our algorithm gives a succinct description and any entry of the solution matrix in time $O(m\cdot\mathrm{poly}(\log n,1/\varepsilon))$ given access to a sample-based low-overhead data structure of the constraint matrices, where $\varepsilon$ is the precision of the solution. In addition, we apply our algorithm to a quantum state learning task as an application.
Technically, our approach aligns with both the SDP solvers based on the matrix multiplicative weight (MMW) framework and the recent studies of quantum-inspired machine learning algorithms. The cost of solving SDPs by MMW mainly comes from the exponentiation of Hermitian matrices, and we propose two new technical ingredients (compared to previous sample-based algorithms) for this task that may be of independent interest:
$\bullet$ Weighted sampling: assuming sampling access to each individual constraint matrix $A_{1},\ldots,A_{\tau}$, we propose a procedure that gives a good approximation of $A=A_{1}+\cdots+A_{\tau}$.
$\bullet$ Symmetric approximation: we propose a sampling procedure that gives low-rank spectral decomposition of a Hermitian matrix $A$. This improves upon previous sampling procedures that only give low-rank singular value decompositions, losing the signs of eigenvalues. - [144] arXiv:1901.03283 (cross-list from stat.CO) [pdf, other]
-
Title: Bayesian calibration and sensitivity analysis for a karst aquifer model using active subspacesComments: 23 pages, 5 figures, 2 tablesSubjects: Computation (stat.CO); Numerical Analysis (math.NA)
In this article, we perform a parameter study for a recently developed model in karst hydrology. The study consists of a high-dimensional Bayesian inverse problem and a global sensitivity analysis. For the first time in karst hydrology. we use the active subspace method to find directions in the parameter space that drive the update from the prior to the posterior distribution in order to effectively reduce the dimension of the problem and for computational efficiency. Additionally, the calculated active subspace can be exploited to construct sensitivity metrics on each of the individual parameters. The model consists of 21 parameters to reproduce the hydrological behavior of spring discharge in a karst aquifer located in the Kerschbaum spring recharge area at Waidhofen a.d. Ybbs in Austria. The experimental spatial and time series data for the inference process were collected by the water works in Waidhofen. We show that this particular real world scenario has implicit low-dimensionality, and we run an adjusted Markov chain Monte Carlo algorithm in a low-dimensional subspace to construct samples of the posterior distribution. The results are visualized and verified by plots of the posterior's push-forward distribution displaying the uncertainty in predicting discharge values due to the experimental noise in the data. Finally, a discussion provides hydrological interpretation of these results for the Kerschbaum area.
- [145] arXiv:1901.03292 (cross-list from hep-th) [pdf, ps, other]
-
Title: Spinning Toroidal Brane Cosmology; A Classical and Quantum SurveySubjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
We construct a cosmological model based on a free particle model which is constrained on an embedded toroidal brane, with a general rotation around a specific axis in the bulk space. Some related issues such as the rotation axis of the brane, the presence of gravitomagnetic background and its relation to the general angular velocity of the brane, and its quantum mechanics and related issues such as minimal length and minimal momentum of the quantum model in the $\mathbb{T}^3$ brane are studied. Also, some cosmological features such as the constraint which is imposed upon the toroidal universe by the isotropy and homogeneity conditions, the corresponding Hubble law, and accelerating expansion for the spinning toroidal model without considering a cosmological constant are also studied.
- [146] arXiv:1901.03313 (cross-list from cs.LO) [pdf, other]
-
Title: Mechanization of Separation in Generic ExtensionsComments: 23 pages, 1 figureSubjects: Logic in Computer Science (cs.LO); Logic (math.LO)
We mechanize, in the proof assistant Isabelle, a proof of the axiom-scheme of Separation in generic extensions of models of set theory by using the fundamental theorems of forcing. We also formalize the satisfaction of the axioms of Extensionality, Foundation, Union, and Powerset. The axiom of Infinity is likewise treated, under additional assumptions on the ground model. In order to achieve these goals, we extended Paulson's library on constructibility with renaming of variables for internalized formulas, improved results on definitions by recursion on well-founded relations, and sharpened hypotheses in his development of relativization and absoluteness.
- [147] arXiv:1901.03315 (cross-list from cs.SY) [pdf, other]
-
Title: Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear SystemsAuthors: Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo ZulianiComments: 12 pages, 4 figures, 4 tablesSubjects: Systems and Control (cs.SY); Symbolic Computation (cs.SC); Dynamical Systems (math.DS); Optimization and Control (math.OC)
We present a new method for the automated synthesis of digital controllers with formal safety guarantees for systems with nonlinear dynamics, noisy output measurements, and stochastic disturbances. Our method derives digital controllers such that the corresponding closed-loop system, modeled as a sampled-data stochastic control system, satisfies a safety specification with probability above a given threshold. The proposed synthesis method alternates between two steps: generation of a candidate controller pc, and verification of the candidate. pc is found by maximizing a Monte Carlo estimate of the safety probability, and by using a non-validated ODE solver for simulating the system. Such a candidate is therefore sub-optimal but can be generated very rapidly. To rule out unstable candidate controllers, we prove and utilize Lyapunov's indirect method for instability of sampled-data nonlinear systems. In the subsequent verification step, we use a validated solver based on SMT (Satisfiability Modulo Theories) to compute a numerically and statistically valid confidence interval for the safety probability of pc. If the probability so obtained is not above the threshold, we expand the search space for candidates by increasing the controller degree. We evaluate our technique on three case studies: an artificial pancreas model, a powertrain control model, and a quadruple-tank process.
- [148] arXiv:1901.03317 (cross-list from cs.LG) [pdf, other]
-
Title: Accelerated Flow for Probability distributionsSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
This paper presents a methodology and numerical algorithms for constructing accelerated gradient flows on the space of probability distributions. In particular, we extend the recent variational formulation of accelerated gradient methods in (wibisono, et. al. 2016) from vector valued variables to probability distributions. The variational problem is modeled as a mean-field optimal control problem. The maximum principle of optimal control theory is used to derive Hamilton's equations for the optimal gradient flow. The Hamilton's equation are shown to achieve the accelerated form of density transport from any initial probability distribution to a target probability distribution. A quantitative estimate on the asymptotic convergence rate is provided based on a Lyapunov function construction, when the objective functional is displacement convex. Two numerical approximations are presented to implement the Hamilton's equations as a system of $N$ interacting particles. The continuous limit of the Nesterov's algorithm is shown to be a special case with $N=1$. The algorithm is illustrated with numerical examples.
Replacements for Fri, 11 Jan 19
- [149] arXiv:1106.0791 (replaced) [src]
-
Title: Optimality Conditions for Bilevel Programming Problem in Asplund SpacesAuthors: Suvendu PattanaikComments: not correctSubjects: Optimization and Control (math.OC)
- [150] arXiv:1311.0934 (replaced) [pdf, ps, other]
-
Title: The two-dimensional Euler equations in Yudovich type space and $\mathrm{\textbf{bmo}}$-type spaceComments: 39pages. Thanks Philippe Serfati for providing us with his paper: Pertes de r\'egularit\'e le laplacien et l'\'equation d'Euler sui $\mathbb R^n$, priprint.15,pp., 1994."Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
- [151] arXiv:1402.0293 (replaced) [src]
-
Title: Sufficiency Condition for KKT Points in Non-smooth AnalysisAuthors: S R PattanaikComments: But there are some errors in the main results. Therefore article is withdrawnSubjects: Optimization and Control (math.OC)
- [152] arXiv:1504.08056 (replaced) [pdf, ps, other]
-
Title: Primitive stable representations in higher rank semisimple Lie groupsComments: We add Corollary 1.6, Lemma 3.2 and Corollary 3.3 and update the referencesSubjects: Geometric Topology (math.GT); Group Theory (math.GR)
- [153] arXiv:1505.04914 (replaced) [pdf, ps, other]
-
Title: A pricing formula for delayed claims: Appreciating the past to value the futureSubjects: Pricing of Securities (q-fin.PR); Probability (math.PR)
- [154] arXiv:1602.01892 (replaced) [pdf, other]
-
Title: Structural stability of Supersonic solutions to the Euler-Poisson systemComments: The paper was revised substantially in this new version. In particular, we constructed the new multiplier under general conditions on the background solutionsSubjects: Analysis of PDEs (math.AP)
- [155] arXiv:1607.00271 (replaced) [pdf, ps, other]
-
Title: A cluster realization of $U_q(\mathfrak{sl_n})$ from quantum character varietiesComments: 42 pages; v3: main result was strengthened, see Proposition 4.10, introduction and section 1 were rewritten, section 5 was added, some proofs were simplified, some more referenced were addedSubjects: Quantum Algebra (math.QA); Mathematical Physics (math-ph); Combinatorics (math.CO); Representation Theory (math.RT)
- [156] arXiv:1608.04301 (replaced) [pdf, ps, other]
-
Title: Validity and Entailment in Modal and Propositional Dependence LogicsAuthors: Miika HannulaSubjects: Logic in Computer Science (cs.LO); Logic (math.LO)
- [157] arXiv:1609.05139 (replaced) [pdf, other]
-
Title: Existence of weak solutions for a general porous medium equation with nonlocal pressureComments: 42 pages, 8 figures. To appear in Archive for Rational Mechanics and Analysis. Minor typos corrected. This version additionally includes more details in the proofs of some results of the paperSubjects: Analysis of PDEs (math.AP)
- [158] arXiv:1612.07560 (replaced) [pdf, ps, other]
-
Title: Amenability, definable groups, and automorphism groupsSubjects: Logic (math.LO); Dynamical Systems (math.DS); General Topology (math.GN)
- [159] arXiv:1701.06416 (replaced) [pdf, ps, other]
-
Title: On the Binary Lossless Many-Help-One Problem with Independently Degraded HelpersAuthors: Albrecht Wolf, Diana Cristina González, Meik Dörpinghaus, José Cândido Silveira Santos Filho, Gerhard FettweisComments: Rate region of binary many-help-one problem in v1 is incorrect. v2: Bound of this region for helpers degraded through symmetric channelsSubjects: Information Theory (cs.IT)
- [160] arXiv:1702.04620 (replaced) [pdf, ps, other]
-
Title: On the non commutative Iwasawa main conjecture for abelian varieties over function fieldsComments: Revised version, 44 pages. One of the two possible constructions of the normic section functor has disappearedSubjects: Number Theory (math.NT)
- [161] arXiv:1702.04678 (replaced) [pdf, ps, other]
-
Title: The constant term of tempered functions on a real spherical spaceComments: Polished and more detailed exposition. New introductionSubjects: Representation Theory (math.RT)
- [162] arXiv:1703.07226 (replaced) [pdf, ps, other]
-
Title: Sur les paquets d'Arthur des groupes classiques réelsComments: 53 pages, in french. V3 minor mistakes correctedSubjects: Representation Theory (math.RT)
- [163] arXiv:1705.00488 (replaced) [pdf, ps, other]
-
Title: Transversal Intersection of Monomial IdealsComments: arXiv admin note: text overlap with arXiv:1611.04732Journal-ref: Proceedings - Mathematical Sciences 2019Subjects: Commutative Algebra (math.AC)
- [164] arXiv:1705.01419 (replaced) [pdf, ps, other]
-
Title: Topological Noetherianity of polynomial functorsAuthors: Jan DraismaComments: Numerous minor and major improvements, 16 pagesSubjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG); Representation Theory (math.RT)
- [165] arXiv:1705.06393 (replaced) [pdf, ps, other]
-
Title: The shape of cubic fieldsAuthors: Robert HoughComments: Corrects the description of the Fourier Transform of the non-maximal set. The resulting error bound is improvedSubjects: Number Theory (math.NT)
- [166] arXiv:1705.07837 (replaced) [pdf, other]
-
Title: Size Matters: Cardinality-Constrained Clustering and Outlier Detection via Conic OptimizationSubjects: Optimization and Control (math.OC); Machine Learning (stat.ML)
- [167] arXiv:1705.09911 (replaced) [pdf, ps, other]
-
Title: Elasticity $\mathscr{M}$-tensors and the Strong Ellipticity ConditionComments: arXiv admin note: text overlap with arXiv:1705.05081Subjects: Mathematical Physics (math-ph)
- [168] arXiv:1706.05882 (replaced) [pdf, other]
-
Title: Lyapunov Exponents of Two Stochastic Lorenz 63 SystemsComments: 15 pages, 6 figures, fourth version, comments always welcome!Subjects: Dynamical Systems (math.DS); Fluid Dynamics (physics.flu-dyn)
- [169] arXiv:1707.04627 (replaced) [pdf, ps, other]
-
Title: Lacunary Eta-quotients Modulo Powers of PrimesSubjects: Number Theory (math.NT)
- [170] arXiv:1707.07751 (replaced) [pdf, other]
-
Title: Harmonic Dirichlet Functions on Planar GraphsAuthors: Tom HutchcroftComments: V2: Revised in accordance with referees' comments: errors eradicated, exposition expanded, corollaries contributed. Accepted version. To appear in Discrete and Computational GeometrySubjects: Probability (math.PR); Metric Geometry (math.MG)
- [171] arXiv:1707.09953 (replaced) [pdf, ps, other]
-
Title: Consistency of the Local Density Approximation and Generalized Quantum Corrections for Time Dependent Closed Quantum SystemsAuthors: Joseph W.JeromeComments: 23 pages, no figuresSubjects: Analysis of PDEs (math.AP)
- [172] arXiv:1708.06716 (replaced) [pdf, other]
-
Title: What caused what? A quantitative account of actual causation using dynamical causal networksComments: 43 pages, 16 figures, supplementary discussion, supplementary methods, supplementary proofsSubjects: Artificial Intelligence (cs.AI); Statistics Theory (math.ST)
- [173] arXiv:1709.03112 (replaced) [pdf, ps, other]
-
Title: Bounded Projective Functions and Hyperbolic Metrics with Isolated SingularitiesComments: 14 pages. We revised the old version greatly. In particular, we changed the title a little bit, generalized the main theorem to general Riemann surface, added a complex analytical definition for cone/cusp singularity of hyperbolic metric and Example 1.1Subjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP); Complex Variables (math.CV)
- [174] arXiv:1711.04420 (replaced) [pdf, ps, other]
-
Title: On semiregularity of mappingsComments: 28 pagesSubjects: Optimization and Control (math.OC)
- [175] arXiv:1711.07713 (replaced) [pdf, other]
-
Title: Invariant measures of discrete interacting particle systems: Algebraic aspectsSubjects: Probability (math.PR)
- [176] arXiv:1712.02490 (replaced) [pdf, ps, other]
-
Title: Strong submeasures and several applicationsAuthors: Tuyen Trung TruongComments: 43 pages. Exposition improved, typos fixed, many new results addedSubjects: Dynamical Systems (math.DS); Complex Variables (math.CV); Probability (math.PR)
- [177] arXiv:1712.03913 (replaced) [pdf, other]
-
Title: A Non-Cooperative Game Approach to Autonomous RacingComments: 14 pages, 5 figuersSubjects: Optimization and Control (math.OC); Robotics (cs.RO); Systems and Control (cs.SY)
- [178] arXiv:1712.04911 (replaced) [pdf, ps, other]
-
Title: Statistical physics on a product of treesAuthors: Tom HutchcroftComments: 11 pages. V2: Minor revisions. Accepted version. To appear in AIHPSubjects: Probability (math.PR); Mathematical Physics (math-ph)
- [179] arXiv:1712.06371 (replaced) [pdf, ps, other]
-
Title: A new class of uniformly accurate numerical schemes for highly oscillatory evolution equationsSubjects: Numerical Analysis (math.NA)
- [180] arXiv:1712.06377 (replaced) [pdf, ps, other]
-
Title: Wegner estimate for discrete Schrödinger operators with Gaussian random potentialsAuthors: Martin TautenhahnSubjects: Mathematical Physics (math-ph)
- [181] arXiv:1712.07867 (replaced) [pdf, other]
-
Title: Smallest snarks with oddness 4 and cyclic connectivity 4 have order 44Comments: 21 pagesSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
- [182] arXiv:1712.08551 (replaced) [pdf, other]
-
Title: Internal magnetic field distribution in plasmasComments: 13 pages, 1 figureSubjects: Soft Condensed Matter (cond-mat.soft); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
- [183] arXiv:1712.09084 (replaced) [pdf, other]
-
Title: Concentration of eigenfunctions of the Laplacian on a closed Riemannian manifoldComments: 11 pagesSubjects: Differential Geometry (math.DG); Metric Geometry (math.MG)
- [184] arXiv:1712.09498 (replaced) [pdf, ps, other]
-
Title: A single potential governing convergence of conjugate gradient, accelerated gradient and geometric descentSubjects: Optimization and Control (math.OC)
- [185] arXiv:1801.03054 (replaced) [pdf, ps, other]
-
Title: Betti numbers of Bresinsky's curves in $\mathbb{A}^{4}$Journal-ref: Journal of Algebra and its Applications 2018Subjects: Commutative Algebra (math.AC)
- [186] arXiv:1801.07025 (replaced) [pdf, other]
-
Title: Spanning trees without adjacent vertices of degree 2Subjects: Combinatorics (math.CO)
- [187] arXiv:1801.07032 (replaced) [pdf, ps, other]
-
Title: On closed finite gap curves in spaceforms IComments: 25 pages. In the second version of this paper, we also show that the total torsion of the curve can be held constant in the approximation with finite gap curvesSubjects: Differential Geometry (math.DG); Dynamical Systems (math.DS)
- [188] arXiv:1801.08759 (replaced) [pdf, other]
-
Title: Toward free-surface flow simulations with correct energy evolution: an isogeometric level-set approach with monolithic time-integrationComments: Accepted in Computers and FluidsSubjects: Numerical Analysis (math.NA)
- [189] arXiv:1802.02420 (replaced) [pdf, ps, other]
-
Title: A group-theoretical interpretation of the word problem for free idempotent generated semigroupsComments: 36 pages; accepted by Advances in MathematicsSubjects: Group Theory (math.GR)
- [190] arXiv:1802.02564 (replaced) [pdf, ps, other]
-
Title: Numerical Semigroups Generated by Concatenation of Arithmetic SequencesSubjects: Commutative Algebra (math.AC)
- [191] arXiv:1802.04863 (replaced) [pdf, ps, other]
-
Title: The order of dominance of a monomial idealAuthors: Guillermo AlesandroniSubjects: Commutative Algebra (math.AC)
- [192] arXiv:1802.05923 (replaced) [pdf, ps, other]
-
Title: Small totally $p$-adic algebraic numbersAuthors: Lukas PottmeyerComments: There was a slight error in the citation of a result mentioned in the introduction. The strengthening of the lower bound in equation (1) does not read $\frac{1}{2}\sum_{p\in S} \frac{\log(p)}{p-1}$ but $\frac{1}{2}\sum_{p\in S} \frac{p\log(p)}{p^2-1}$. Moreover, this result is not due to P. Fili alone but due to P. Fili and C. PetscheJournal-ref: Int. J. Number Theory 14 (2018), no. 10, 2687-2697Subjects: Number Theory (math.NT)
- [193] arXiv:1802.08999 (replaced) [pdf, ps, other]
-
Title: Contragredient representations over local fields of positive characteristicAuthors: Wen-Wei LiComments: 42 pages. Various improvements and clean-upsSubjects: Representation Theory (math.RT); Number Theory (math.NT)
- [194] arXiv:1802.09766 (replaced) [pdf, other]
-
Title: Learning Representations for Neural Network-Based Classification Using the Information Bottleneck PrincipleComments: 15 pages, submitted for possible publication to the IEEE Trans. Pattern Analysis and Machine IntelligenceSubjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Information Theory (cs.IT)
- [195] arXiv:1803.03551 (replaced) [pdf, other]
-
Title: An iterative method for elliptic problems with rapidly oscillating coefficientsComments: 20 pagesSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
- [196] arXiv:1803.04273 (replaced) [pdf, ps, other]
-
Title: Morse index of multiplicity one min-max minimal hypersurfacesComments: 53 pages. We have added an Addendum to reflect the solution by X. Zhou of our Multiplicity One Conjecture 1.2. We have extended our Main Theorem 1.3 to obtain, in light of Zhou's paper, the precise characterization of the Morse index of min-max minimal hypersurfaces for generic metrics. This finishes the Morse-theoretic program proposed by the authors for the area functional (Theorem 8.4)Subjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
- [197] arXiv:1803.04726 (replaced) [pdf, other]
-
Title: Generalized SART Methods for Tomographic ImagingAuthors: Simon MaretzkeSubjects: Numerical Analysis (math.NA); Medical Physics (physics.med-ph)
- [198] arXiv:1803.05454 (replaced) [pdf, ps, other]
-
Title: Homological criteria for minimal multiplicityAuthors: John MyersComments: Final version; minor changes made according to the referee report; to appear in the Journal of AlgebraSubjects: Commutative Algebra (math.AC); Rings and Algebras (math.RA)
- [199] arXiv:1804.02265 (replaced) [pdf, ps, other]
-
Title: A Categorical Reconstruction of Quantum TheoryAuthors: Sean TullComments: Minor changes to wording throughout. Fixed incorrect characterisation of pure exclusionSubjects: Quantum Physics (quant-ph); Category Theory (math.CT)
- [200] arXiv:1804.06575 (replaced) [pdf, ps, other]
-
Title: Wiman-Valiron theory for a polynomial series based on the Wilson operatorAuthors: Kam Hang ChengComments: 36 pagesJournal-ref: Journal of Approximation Theory (2018)Subjects: Complex Variables (math.CV)
- [201] arXiv:1804.10243 (replaced) [pdf, other]
-
Title: Sparse Inverse Problems Over Measures: Equivalence of the Conditional Gradient and Exchange MethodsSubjects: Optimization and Control (math.OC)
- [202] arXiv:1805.04076 (replaced) [pdf, ps, other]
-
Title: Stable Higgs Bundles on ruled surfacesAuthors: Snehajit MisraComments: In this revised version, the base field has been changed to field with characteristic 0 from the field of complex numbers. Hence, the results and proofs are improved accordinglySubjects: Algebraic Geometry (math.AG)
- [203] arXiv:1805.04488 (replaced) [pdf, ps, other]
-
Title: Standard Triples for Algebraic Linearizations of Matrix PolynomialsComments: 18 pagesSubjects: Numerical Analysis (math.NA)
- [204] arXiv:1805.07668 (replaced) [pdf, ps, other]
-
Title: An a priori bound of rational functions on the Berkovich projective lineAuthors: Yûsuke OkuyamaComments: 10 pages. (v2) The complex counterpart is separated and the title is shortenedSubjects: Dynamical Systems (math.DS); Complex Variables (math.CV); Number Theory (math.NT)
- [205] arXiv:1805.07741 (replaced) [pdf, other]
-
Title: 100% of the zeros of the Riemann zeta-function are on the critical lineComments: 33 pages, 1 figureSubjects: General Mathematics (math.GM)
- [206] arXiv:1805.08382 (replaced) [pdf, ps, other]
-
Title: Geometric and integrability properties of Kahan's methodComments: 8 pagesSubjects: Numerical Analysis (math.NA)
- [207] arXiv:1805.09490 (replaced) [pdf, ps, other]
-
Title: Richardson extrapolation allows truncation of higher order digital nets and sequencesAuthors: Takashi GodaSubjects: Numerical Analysis (math.NA)
- [208] arXiv:1805.09666 (replaced) [pdf, ps, other]
-
Title: On non-autonomously forced Burgers equation with periodic and Dirichlet boundary conditionsSubjects: Analysis of PDEs (math.AP)
- [209] arXiv:1806.06442 (replaced) [pdf, ps, other]
-
Title: Hölder Error Bounds and Hölder Calmness with Applications to Convex Semi-Infinite OptimizationComments: 25 pagesSubjects: Optimization and Control (math.OC)
- [210] arXiv:1806.08500 (replaced) [pdf, ps, other]
-
Title: On the relative strengths of fragments of collectionAuthors: Zachiri McKenzieComments: 22 pagesSubjects: Logic (math.LO)
- [211] arXiv:1807.04860 (replaced) [pdf, ps, other]
-
Title: Large deviations and continuity estimates for the derivative of a random model of $\log |ζ|$ on the critical lineComments: 7 pages, 0 figureJournal-ref: J. Math. Anal. Appl. 472 (2019), no. 1, 687-695Subjects: Probability (math.PR); Number Theory (math.NT)
- [212] arXiv:1807.04909 (replaced) [pdf, ps, other]
-
Title: Moh's example of algebroid space curvesSubjects: Commutative Algebra (math.AC)
- [213] arXiv:1807.07600 (replaced) [src]
-
Title: Relative Amenability and Relative SoficityComments: Error in proof of Theorem 3.15Subjects: Group Theory (math.GR)
- [214] arXiv:1807.07790 (replaced) [pdf, other]
-
Title: A Reduced Basis approach for PDEs on parametrized geometries based on the Shifted Boundary Finite Element Method and application to a Stokes FlowJournal-ref: Puplished in Computer Methods in Applied Mechanics and Engineering (CMAME), (2018)Subjects: Numerical Analysis (math.NA)
- [215] arXiv:1808.00932 (replaced) [pdf, ps, other]
-
Title: Mass equidistribution for random polynomialsAuthors: Turgay BayraktarComments: V3: Substantial revisions. Statement of the main result (now Theorem 1.1) is generalized for subgaussian coefficientsSubjects: Complex Variables (math.CV); Probability (math.PR)
- [216] arXiv:1808.02018 (replaced) [pdf, ps, other]
-
Title: A Note on the Equitable Choosability of Complete Bipartite GraphsComments: 9 pagesSubjects: Combinatorics (math.CO)
- [217] arXiv:1808.02247 (replaced) [pdf, ps, other]
-
Title: Extending some results on the second neighborhood conjectureComments: 23 pages, 2 figuresSubjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
- [218] arXiv:1808.02469 (replaced) [pdf, ps, other]
-
Title: Multiplicity and Hölder regularity of solutions for a nonlocal elliptic PDE involving singularityComments: 42 pagesSubjects: Analysis of PDEs (math.AP)
- [219] arXiv:1809.00761 (replaced) [pdf, ps, other]
-
Title: Adaptive Douglas-Rachford Splitting Algorithm for the Sum of Two OperatorsSubjects: Optimization and Control (math.OC)
- [220] arXiv:1809.00810 (replaced) [pdf, other]
-
Title: Localization of eigenvector centrality in networks with a cut vertexAuthors: Kieran J. SharkeyJournal-ref: Phys. Rev. E 99, 012315 (2019)Subjects: Physics and Society (physics.soc-ph); Spectral Theory (math.SP)
- [221] arXiv:1809.01298 (replaced) [pdf, ps, other]
-
Title: Damping estimates for oscillatory integral operators with real-analytic phases and its applicationsComments: 30 pagesSubjects: Classical Analysis and ODEs (math.CA)
- [222] arXiv:1809.07379 (replaced) [pdf, ps, other]
-
Title: Critical groups of iterated conesComments: 4 pages; to appear in Linear Algebra and its Applications; an example is added in version 2Subjects: Combinatorics (math.CO)
- [223] arXiv:1810.05592 (replaced) [pdf, other]
-
Title: Uniform Lipschitz functions on the triangular lattice have logarithmic variationsComments: Compared to v1: Theorem 1.3 (uniqueness of the Gibbs measure) is added; proof of Theorem 3.2 (delocalization) is significantly shortened; more details added in Section 4 (proof of the dichotomy theorem)Subjects: Probability (math.PR); Mathematical Physics (math-ph); Combinatorics (math.CO)
- [224] arXiv:1810.06319 (replaced) [pdf, other]
-
Title: Inverse problems for a fractional conductivity equationAuthors: Giovanni CoviComments: 28 pages, 0 figuresSubjects: Analysis of PDEs (math.AP)
- [225] arXiv:1810.09020 (replaced) [pdf, ps, other]
-
Title: Locally conformally flat metrics on surfaces of general typeComments: Important typo in the statement of the main theorem is fixed. Section 3 is modified. 11 pagesSubjects: Differential Geometry (math.DG); Geometric Topology (math.GT)
- [226] arXiv:1810.11080 (replaced) [pdf, other]
-
Title: An Efficient Sweep-based Solver for the $S_{N}$ Equations on High-Order MeshesSubjects: Numerical Analysis (math.NA)
- [227] arXiv:1810.11302 (replaced) [pdf, other]
-
Title: Exponential decay in the loop $O(n)$ model: $n> 1$, $x<\tfrac{1}{\sqrt{3}}+\varepsilon(n)$Comments: Compared to v1: references added, typos correctedSubjects: Probability (math.PR); Mathematical Physics (math-ph)
- [228] arXiv:1810.13400 (replaced) [pdf, other]
-
Title: Differentiable MPC for End-to-end Planning and ControlComments: NeurIPS 2018Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Optimization and Control (math.OC); Machine Learning (stat.ML)
- [229] arXiv:1811.03427 (replaced) [pdf, other]
-
Title: Dual Circumference and Collinear SetsComments: Revision fixes missed case in the original proof of Theorem 1 and updates to figuresSubjects: Combinatorics (math.CO)
- [230] arXiv:1811.03573 (replaced) [pdf, other]
-
Title: Scale-variant Topological Information for Characterizing Complex NetworksComments: 6 pages, 3 figures (for main text); 16 pages, 8 figures (for supplementary)Subjects: Social and Information Networks (cs.SI); Algebraic Topology (math.AT); Physics and Society (physics.soc-ph)
- [231] arXiv:1811.05281 (replaced) [pdf, other]
-
Title: Twisted IBL-infinity-algebra and string topology: First look and examplesAuthors: Pavel HajekComments: New version from January, 2019: a general vanishing result for the Maurer-Cartan element due to a tricky Green kernel modification from "A. Cattaneo, P. Mnev, Remarks on Chern-Simons theory"; more precise formulation of the string topology conjecture; other minor changesSubjects: Mathematical Physics (math-ph); Symplectic Geometry (math.SG)
- [232] arXiv:1812.05707 (replaced) [pdf, other]
-
Title: The polylog quotient and the Goncharov quotient in computational Chabauty-Kim theory IComments: Comments welcome!Subjects: Number Theory (math.NT)
- [233] arXiv:1812.06305 (replaced) [pdf, other]
-
Title: Geometric Functionals of fractal percolationComments: 36 pages, 6 figuresSubjects: Probability (math.PR); Mathematical Physics (math-ph); Metric Geometry (math.MG)
- [234] arXiv:1812.07349 (replaced) [pdf, ps, other]
-
Title: The Monge-Ampere operator of some singular (1,1) currents coming from pseudo-isomorphisms in dimension $3$Authors: Tuyen Trung TruongComments: 22 pages. Typos fixed, discussion about intersection of non-positive closed currents expandedSubjects: Complex Variables (math.CV); Dynamical Systems (math.DS)
- [235] arXiv:1812.09150 (replaced) [pdf, other]
-
Title: Asymptotic distribution and convergence rates of stochastic algorithms for entropic optimal transportation between probability measuresSubjects: Statistics Theory (math.ST)
- [236] arXiv:1812.09672 (replaced) [pdf, other]
-
Title: A Distributional Framework for Moving-Horizon Estimation: Stability and Privacy GuaranteesSubjects: Optimization and Control (math.OC)
- [237] arXiv:1812.10163 (replaced) [pdf, ps, other]
-
Title: Large deviations of the long term distribution of a non Markov processAuthors: Anatolii A. PuhalskiiSubjects: Probability (math.PR)
- [238] arXiv:1812.10880 (replaced) [pdf, ps, other]
-
Title: On edge-primitive and 2-arc-transitive graphsAuthors: Zaiping LuSubjects: Combinatorics (math.CO)
- [239] arXiv:1812.10944 (replaced) [pdf, ps, other]
-
Title: N-continuous Aided GFDM SignalingComments: 19 pages, 9 figures, 1 tables. arXiv admin note: text overlap with arXiv:1608.00661Subjects: Signal Processing (eess.SP); Information Theory (cs.IT)
- [240] arXiv:1901.01417 (replaced) [pdf, other]
-
Title: Antichain SimplicesSubjects: Combinatorics (math.CO); Commutative Algebra (math.AC); Number Theory (math.NT)
- [241] arXiv:1901.01507 (replaced) [pdf, ps, other]
-
Title: Some remarks on weak generalizations of minima and quasi efficiencyAuthors: Triloki NathComments: 9 pages, forum paperSubjects: Optimization and Control (math.OC)
- [242] arXiv:1901.02033 (replaced) [pdf, ps, other]
-
Title: The Effect of Introducing Redundancy in a Probabilistic Forwarding ProtocolComments: Appears in the Proceedings of the 2018 National Conference on Communications (NCC 2018)Subjects: Information Theory (cs.IT)
- [243] arXiv:1901.02599 (replaced) [pdf, ps, other]
-
Title: Stability and uniqueness of generalized traveling waves of lattice Fisher-KPP equations in heterogeneous mediaComments: 27 pagesSubjects: Dynamical Systems (math.DS)
- [244] arXiv:1901.02617 (replaced) [pdf, ps, other]
-
Title: Stability of Ferromagnetism in Hubbard Models with Nearly-Flat BandsAuthors: Hal TasakiComments: This is my very old paper, but I am submitting it for the readers' convenience. 91 pages, 9 figures. The figures did not appear in the version 1. I hope it is ok nowJournal-ref: J. Stat. Phys. 84, 535-653 (1996)Subjects: Strongly Correlated Electrons (cond-mat.str-el); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
- [245] arXiv:1901.02765 (replaced) [pdf, ps, other]
-
Title: Spectral properties of nonassociative algebras and breaking regularity for nonlinear elliptic type PDEsAuthors: Vladimir G. TkachevComments: Fixed some typos and references are updated; 22 pages, submitted to Algebra and Analysis (St. Petersburg Mathematical Journal)Subjects: Analysis of PDEs (math.AP); Rings and Algebras (math.RA)
- [246] arXiv:1901.02796 (replaced) [pdf, ps, other]
-
Title: The pseudo-differential calculus in a Bargmann settingComments: 34 pages. This is the first version. It is expected that several changes will be performed in future version(s). The second version has the same mathematical content as the first one. The only changes are that two margin comments have been removedSubjects: Functional Analysis (math.FA)
- [247] arXiv:1901.02808 (replaced) [pdf, ps, other]
-
Title: Bounding the minimal number of generators of groups of cellular automataComments: 12 pagesSubjects: Group Theory (math.GR); Formal Languages and Automata Theory (cs.FL)
- [248] arXiv:1901.02870 (replaced) [pdf, ps, other]
-
Title: Fine Deligne-Lusztig varieties and Arithmetic Fundamental LemmasComments: A minor compilation error in the previous version is correctedSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG); Representation Theory (math.RT)
[ showing up to 2000 entries per page: fewer | more ]
Disable MathJax (What is MathJax?)
