We gratefully acknowledge support from
the Simons Foundation
and member institutions

Mathematics

New submissions

[ total of 207 entries: 1-207 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Fri, 22 Jun 18

[1]  arXiv:1806.07877 [pdf, other]
Title: Packing spanning rigid subgraphs with restricted degrees
Comments: arXiv admin note: text overlap with arXiv:1806.00135
Subjects: Combinatorics (math.CO)

Let $G$ be a graph and let $l$ be an integer-valued function on subsets of $V(G)$. The graph $G$ is said to be $l$-partition-connected, if for every partition $P$ of $V(G)$, $e_G(P)\ge \sum_{A\in P} l(A)-l(V(G))$, where $e_G(P)$ denotes the number of edges of $G$ joining different parts of $P$. We say that $G$ is $l$-rigid, if it contains a spanning $l$-partition-connected subgraph $H$ with $|E(H)|=\sum_{v\in V(H)} l(v)-l(V(H))$. In this paper, we investigate decomposition of graphs into spanning partition-connected and spanning rigid subgraphs. As a consequence, we improve a recent result due to Gu (2017) by proving that every $(4kp-2p+2m)$-connected graph $G$ with $k\ge 2$ has a spanning subgraph $H$ containing a packing of $m$ spanning trees and $p$ spanning $(2k-1)$-edge-connected subgraphs $H_1,\ldots, H_p$ such that for each vertex $v$, every $H_i-v$ remains $(k-1)$-edge-connected and also $d_H(v)\le \lceil \frac{d_G(v)}{2}\rceil +2kp-p+m$. From this result, we refine a result on arc-connected orientations of graphs.

[2]  arXiv:1806.07880 [pdf, other]
Title: On the uncertainty product of spherical functions
Comments: 22 pages
Subjects: Classical Analysis and ODEs (math.CA); Mathematical Physics (math-ph)

The uncertainty product of a function is a quantity that measures the trade-off between the space and the frequency localization of the function. Its boundedness from below is the content of various uncertainty principles. In the present paper, functions over the $n$-dimensional sphere are considered. A formula is derived that expresses the uncertainty product of a continuous function in terms of its Fourier coefficients. It is applied to a directional derivative of a zonal wavelet, and the behavior of the uncertainty product of this function is discussed.

[3]  arXiv:1806.07881 [pdf, ps, other]
Title: A continuous spherical wavelet transform for~$\mathcal C(\mathcal S^n)$
Comments: 8 pages
Subjects: Classical Analysis and ODEs (math.CA); Mathematical Physics (math-ph); Functional Analysis (math.FA)

In the present paper, a wavelet family over the $n$-dimensional sphere is constructed such that for each scale the wavelet is a polynomial and the inverse wavelet transform of a continuous function converges in the supremum norm.

[4]  arXiv:1806.07882 [pdf, ps, other]
Title: Uncertainty product of the spherical Gauss-Weierstrass wavelet
Comments: 13 pages
Subjects: Classical Analysis and ODEs (math.CA)

In this paper, asymptotic behavior of the uncertainty product of Gauss-Weierstrass wavelet is investigated. It is shown that the uncertainty product is bounded from above, a feature that distinguishes Gauss-Weierstrass wavelet among other wavelet families.

[5]  arXiv:1806.07883 [pdf, ps, other]
Title: Uncertainty product of the spherical Abel-Poisson wavelet
Comments: 7 pages
Subjects: Classical Analysis and ODEs (math.CA)

In the present paper, the variances in the space and momentum domains of the spherical Abel-Poisson wavelet, as well as the limit of the uncertainty product for $\rho\to0$, where $\rho$ is the scale parameter, are computed. The values of these quantities coincide with a certain accuracy with those of the spherical Poisson wavelet with $\tfrac{1}{2}$ substituted for the order parameter.

[6]  arXiv:1806.07885 [pdf, ps, other]
Title: Almost cyclic elements in cross characteristic representations of finite groups of Lie type
Subjects: Group Theory (math.GR)

This paper is a significant contribution to a general program aimed to classify all projective irreducible representations of finite simple groups over an algebraically closed field, in which the image of at least one element is represented by an almost cyclic matrix (that is, a square matrix $M$ of size $n$ over a field $F$ with the property that there exists $\alpha\in F$ such that $M$ is similar to $diag(\alpha\cdot Id_k, M_1)$, where $M_1$ is cyclic and $0\leq k\leq n$). While a previous paper dealt with the Weil representations of finite classical groups, which play a key role in the general picture, the present paper provides a conclusive answer for all cross-characteristic projective irreducible representations of the finite quasi-simple groups of Lie type and their automorphism groups.

[7]  arXiv:1806.07887 [pdf, ps, other]
Title: Massey products and the Golod property for simplicially resolvable rings
Comments: 27 pages; comments welcome. arXiv admin note: text overlap with arXiv:1612.02737
Subjects: Algebraic Topology (math.AT); Commutative Algebra (math.AC); Rings and Algebras (math.RA)

We apply algebraic Morse theory to the Taylor resolution of a monomial ring $R = S/I$ to obtain an $A_{\infty}$-structure on the minimal free resolution of $R$. Using this structure we describe the vanishing of higher Massey products in case the minimal free resolution is simplicial. Under this assumption, we show that R is Golod if and only if the product on $\text{Tor}^S(R, k)$ vanishes. Lastly, we give two combinatorial characterizations of the Golod property in this case.

[8]  arXiv:1806.07888 [pdf, ps, other]
Title: Some Rapidly Converging Series for $ζ(2n+1)$ from Abstract Operators
Authors: Guang-Qing Bi
Comments: 19 pages. arXiv admin note: text overlap with arXiv:1008.5046
Subjects: Number Theory (math.NT)

The author derives new family of series representations for the values of the Riemann Zeta function $\zeta(s)$ at positive odd integers. For $n\in\mathbb{N}$, each of these series representing $\zeta(2n+1)$ converges remarkably rapidly with its general term having the order estimate: $$O(m^{-2k}\cdot k^{-2n+1})\qquad(k\rightarrow\infty;\quad m=3,4,6).$$ The method is based on the mapping relationships between analytic functions and periodic functions using the abstract operators $\cos(h\partial_x)$ and $\sin(h\partial_x)$, including the mapping relationships between power series and trigonometric series, if each coefficient of a power series is respectively equal to that of a trigonometric series. Thus we obtain a general method to find the sum of the Dirichlet series of integer variables. By defining the Zeta function in an abstract operators form, we have further generalized these results on the whole complex plane.

[9]  arXiv:1806.07926 [pdf, other]
Title: Resource Allocation in SWIPT Networks under a Non-Linear Energy Harvesting Model: Power Efficiency, User Fairness, and Channel Non-Reciprocity
Comments: This paper has been accepted for publication in IEEE Transactions on Vehicular Technology
Subjects: Information Theory (cs.IT)

This paper considers a multi-user simultaneous wireless information and power transfer (SWIPT) system with a non-linear energy harvesting model, in which a multi-antenna base station (BS) estimates the downlink channel state information (CSI) via uplink pilots. Each single-antenna user is equipped with a power splitter. Three crucial issues on resource management for this system include: (i) power-efficient improvement, (ii) user-fairness guarantee, and (iii) non-ideal channel reciprocity effect mitigation. Potentially, a resource allocation scheme to address jointly such issues can be devised by using the framework of multi-objective optimization. However, the resulting problem might be complex to solve since the three issues hold different characteristics. Therefore, we propose a novel method to design the resource allocation scheme. In particular, the principle of our method relies on structuralizing mathematically the issues into a cross-layer multi-level optimization problem. On this basis, we then devise solving algorithms and closed-form solutions. Moreover, to instantly adapt the CSI changes in practice while reducing computational burdens, we propose a closed-form suboptimal solution to tackle the problem. Finally, we provide numerical results to show the achievable performance gains using the optimal and suboptimal solutions, and then validate the proposed resource allocation scheme.

[10]  arXiv:1806.07927 [pdf, ps, other]
Title: Li-Yorke chaos for ultragraph shift spaces
Subjects: Dynamical Systems (math.DS); Operator Algebras (math.OA)

Recently, in connection with C*-algebra theory, the first author and Danilo Royer introduced ultragraph shift spaces. In this paper we define a family of metrics for the topology in such spaces, and use these metrics to study the existence of chaos in the shift. In particular we characterize all ultragraph shift spaces that have Li-Yorke chaos (an uncountable scrambled set), and prove that such property implies the existence of a perfect and scrambled set in the ultragraph shift space. Furthermore, this scrambled set can be chosen compact, what is not the case for a labelled edge shift (with the product topology) of an infinite graph.

[11]  arXiv:1806.07929 [pdf, ps, other]
Title: All lattices of subracks are complemented
Authors: A. Saki, D. Kiani
Subjects: Combinatorics (math.CO); Commutative Algebra (math.AC); Algebraic Topology (math.AT); Group Theory (math.GR)

A rack is a set together with a self-distributive bijective binary operation. In this paper, a question due to Heckenberger, Shareshian and Welker is answered. In fact, we show that the lattice of subracks of every finite rack is complemented. Moreover, we characterize finite modular lattices of subracks in terms of complements of subracks. Further, we show that being a Boolean algebra, pseudocomplemented and uniquely complemented as well as distributivity are equivalent for the lattice of subracks of a finite rack. Next, we introduce a certain class of racks including all groups with the conjugation operation, called G-racks, and we study some of their properties. In particular, we show that a finite G-rack has the homotopy type of a sphere.

[12]  arXiv:1806.07931 [pdf, ps, other]
Title: Characterizations of Pseudoconvex Functions
Comments: 9 pages, 1 figure
Subjects: Optimization and Control (math.OC)

A differentiable function is pseudoconvex if and only if its restrictions over straight lines are pseudoconvex. A differentiable function depending on one variable, defined on some closed interval $[a,b]$ is pseudoconvex if and only if there exist some numbers $\alpha$ and $\beta$ such that $a\le\alpha\le\beta\le b$ and the function is strictly monotone decreasing on $[a,\alpha]$, it is constant on $[\alpha,\beta]$, the function is strictly monotone increasing on $[\beta,b]$ and there is no stationary points outside $[\alpha,\beta]$. This property is very simple. In this paper, we show that a similar result holds for lower semicontinuous functions, which are pseudoconvex with respect to the lower Dini derivative. We prove that a function, defined on some interval, is pseudoconvex if and only if its domain can be split into three parts such that the function is strictly monotone decreasing in the first part, constant in the second one, strictly monotone increasing in the third part, and every stationary point is a global minimizer. Each one or two of these parts may be empty or degenerate into a single point. Some applications are derived.

[13]  arXiv:1806.07933 [pdf, other]
Title: Optimal quasi-diagonal preconditioners for pseudodifferential operators of order minus two
Subjects: Numerical Analysis (math.NA)

We present quasi-diagonal preconditioners for piecewise polynomial discretizations of pseudodifferential operators of order minus two in any space dimension. Here, quasi-diagonal means diagonal up to a sparse transformation. Considering shape regular simplicial meshes and arbitrary fixed polynomial degrees, we prove, for dimensions larger than one, that our preconditioners are asymptotically optimal. Numerical experiments in two, three and four dimensions confirm our results. For each dimension, we report on condition numbers for piecewise constant and piecewise linear polynomials.

[14]  arXiv:1806.07939 [pdf, ps, other]
Title: On the Conformal change of a Douglas space of second kind with special $(α, β)$-metric
Comments: 13 pages
Subjects: Differential Geometry (math.DG)

The notion of a Douglas space of second kind of a Finsler space with $(\alpha, \beta)$-metric was introduced by I. Y. Lee [9]. Since then, so many geometers have studied this topic e. g., [14]. In this paper, we prove that a Douglas space of second kind with special $% (\alpha, \beta)$-metric $\alpha +\epsilon \beta + k \frac{\beta^2}{\alpha }$ is conformally transformed to a Douglas space of second kind. Further, we obtain some results which prove that a Douglas space of second kind with certain $(\alpha, \beta)$-metrics such as Randers metric, Kropina metric, first approximate Matsumoto metric and Finsler space with square metric is conformally transformed to a Douglas space of second kind.

[15]  arXiv:1806.07943 [pdf, ps, other]
Title: On Schauder basis in normed spaces
Comments: 9
Subjects: Functional Analysis (math.FA)

In this work, we prove the criterion of Banach-Grunblum and the principle of selection of Bessaga-Pe\l{}czy\'nski for normed spaces. Given these results, it can be shown that in infinite dimension spaces (not necessarily complete) there is an infinite-dimension subspaces with an essential Schauder basis.

[16]  arXiv:1806.07945 [pdf, ps, other]
Title: Rectifiability and finite variation
Subjects: Classical Analysis and ODEs (math.CA); Logic (math.LO)

We show that the length of a path in $ \mathbf{R}^2 $ can be computed if and only if its variation in every direction can.

[17]  arXiv:1806.07946 [pdf, ps, other]
Title: On a convexity problem
Authors: Bogdan Gavrea
Subjects: Classical Analysis and ODEs (math.CA)

This work is a continuation of what was done in a previous paper and strongly connected to the recent work of U. Abel and I. Rasa [arXiv:1707.00127]

[18]  arXiv:1806.07947 [pdf, ps, other]
Title: Simply improved averaging for coupled oscillators and weakly nonlinear waves
Authors: Molei Tao
Comments: Comments are welcomed
Subjects: Classical Analysis and ODEs (math.CA); Computational Physics (physics.comp-ph)

The long time effect of nonlinear perturbation to oscillatory linear systems can be characterized by the averaging method, and we consider first-order averaging for its simplest applicability to high-dimensional problems. Instead of the classical approach, in which one uses the pullback of linear flow to isolate slow variables and then approximate the effective dynamics by averaging, we propose an alternative coordinate transform that better approximates the mean of oscillations. This leads to a simple improvement of the averaged system, which will be shown both theoretically and numerically to provide a more accurate approximation. Three examples are then provided: in the first, a new device for wireless energy transfer modeled by two coupled oscillators was analyzed, and the results provide design guidance and performance quantification for the device; the second is a classical coupled oscillator problem (Fermi-Pasta-Ulam), for which we numerically observed improved accuracy beyond the theoretically justified timescale; the third is a nonlinearly perturbed first-order wave equation, which demonstrates the efficacy of improved averaging in an infinite dimensional setting.

[19]  arXiv:1806.07948 [pdf, ps, other]
Title: Analytic computations of digamma function using some new identities
Comments: 9
Subjects: Classical Analysis and ODEs (math.CA)

Motivated by rigorous development in the theory of digamma functions, we have first derived some new identities for the digamma function, and then computed the values of digamma function for the fractional orders using these identities conveniently.

[20]  arXiv:1806.07949 [pdf, ps, other]
Title: Some summation theorems for Clausen's hypergeometric functions with unit argument
Comments: 10
Subjects: Classical Analysis and ODEs (math.CA)

Motivated by the work on hypergeometric summation theorems (recorded in the table III of Prudnikov et al. pp. 541-546), we have established some new summation theorems for Clausen's hypergeometric functions with unit argument in terms of $\pi$ and natural logarithms of some rational and irrational numbers. Also, we have given some modified summation theorems for Clausen's hypergeometric functions.

[21]  arXiv:1806.07953 [pdf, ps, other]
Title: A Trace theorem for Martinet--type vector fields
Subjects: Classical Analysis and ODEs (math.CA); Analysis of PDEs (math.AP); Metric Geometry (math.MG)

In $\mathbb{R}^3$ we consider the vector fields \[
X_1 =\frac{ \partial }{\partial x},\qquad
X_2 =\frac{ \partial }{\partial y}+ |x|^\alpha \frac{ \partial }{\partial z}, \]
where $\alpha\in\left[1,+\infty\right[$. Let $\mathbb{R}^3_+ =\{(x,y,z)\in\mathbb{R}^3: z\geq 0\}$ be the (closed) upper half-space and let $f\in C^1 ( \mathbb{R} ^3_+ )$ be a function such that $X_1f, X_2f \in L^ p(\mathbb{R}^3_+)$ for some $p>1$. In this paper, we prove that the restriction of $f$ to the plane $z=0$ belongs to a suitable Besov space that is defined using the Carnot-Carath\'eodory metric associated with $X_1$ and $X_2$ and the related perimeter measure.

[22]  arXiv:1806.07954 [pdf, ps, other]
Title: On the relationships between Stieltjes type integrals of Young, Dushnik and Kurzweil
Subjects: Classical Analysis and ODEs (math.CA)

Integral equations of the form $$ x(t)=x(t_0)+\int_{t_0}^t d[A]\,x=f(t)-f(t_0)$$ are natural generalizations of systems of linear differential equations. Their main goal is that they admit solutions which need not be absolutely continuous. Up to now such equations have been considered by several authors starting with J. Kurzweil and T.H. Hildebrandt. These authors worked with several different concepts of the Stieltjes type integral like Young's (Hildebrandt), Kurzweil's (Kurzweil, Schwabik and Tvrd\'{y}), Dushnik's (H\"{o}nig) or Lebesgue's (Ashordia, Meng and Zhang). Thus an interesting question arises: what are the relationships between all these concepts?
Our aim is to give an answer to this question. In addition, we present also convergence results that are new for the Young and Dushnik integrals. Let us emphasize that the proofs of all the assertions presented in this paper are based on rather elementary tools.

[23]  arXiv:1806.07957 [pdf, ps, other]
Title: Loading Monotonicity of Weighted Premiums, and Total Positivity Properties of Weight Functions
Subjects: Classical Analysis and ODEs (math.CA); Functional Analysis (math.FA)

We consider the construction of insurance premiums that are monotonically increasing with respect to a loading parameter. By introducing weight functions that are totally positive of higher order, we derive higher monotonicity properties of weighted transformed premiums. We deduce that the greater the degree of randomness of insured risks, the higher the order of total positivity that should be required for the chosen weight functions. We examine seven classes of weight functions that have appeared in the literature, and we ascertain the higher order total positivity properties of those functions.

[24]  arXiv:1806.07958 [pdf, other]
Title: Analyzing stability of a delay differential equation involving two delays
Authors: Sachin Bhalekar
Comments: 10 pages, 7 figures
Subjects: Classical Analysis and ODEs (math.CA)

Analysis of the systems involving delay is a popular topic among applied scientists. In the present work, we analyze the generalized equation $D^{\alpha} x(t) = g\left(x(t-\tau_1), x(t-\tau_2)\right)$ involving two delays viz. $\tau_1\geq 0$ and $\tau_2\geq 0$. We use the the stability conditions to propose the critical values of delays. Using examples, we show that the chaotic oscillations are observed in the unstable region only. We also propose a numerical scheme to solve such equations.

[25]  arXiv:1806.07960 [pdf]
Title: Series solutions of Heun-type equation in terms of orthogonal polynomials
Authors: A. D. Alhaidari
Comments: 15 Pages, 3 Tables
Subjects: Classical Analysis and ODEs (math.CA); Mathematical Physics (math-ph); Quantum Physics (quant-ph)

We introduce a nine-parameter Heun-type differential equation and obtain three classes of its solutions as series of square integrable functions written in terms of the Jacobi polynomial. The expansion coefficients of the series satisfy three-term recursion relations, which are solved in terms of orthogonal polynomials with continuous and/or discrete spectra. Some of these are well-known polynomials while others are either new or modified versions of known ones.

[26]  arXiv:1806.07961 [pdf, ps, other]
Title: Generalized Matrix Spectral Factorization and Quasi-tight Framelets with Minimum Number of Generators
Authors: Chenzhe Diao, Bin Han
Subjects: Classical Analysis and ODEs (math.CA); Information Theory (cs.IT)

As a generalization of orthonormal wavelets in $L_2(R)$, tight framelets (also called tight wavelet frames) are of importance in wavelet analysis and applied sciences due to their many desirable properties in applications such as image processing and numerical algorithms. Tight framelets are often derived from particular refinable functions satisfying certain stringent conditions. Consequently, a large family of refinable functions cannot be used to construct tight framelets. This motivates us to introduce the notion of a quasi-tight framelet, which is a dual framelet but behaves almost like a tight framelet. It turns out that the study of quasi-tight framelets is intrinsically linked to the problem of the generalized matrix spectral factorization for matrices of Laurent polynomials. In this paper, we provide a systematic investigation on the generalized matrix spectral factorization problem and compactly supported quasi-tight framelets. As an application of our results on generalized matrix spectral factorization for matrices of Laurent polynomials, we prove in this paper that from any arbitrary compactly supported refinable function in $L_2(R)$, we can always construct a compactly supported one-dimensional quasi-tight framelet having the minimum number of generators and the highest possible order of vanishing moments. Our proofs are constructive and supplemented by step-by-step algorithms. Several examples of quasi-tight framelets will be provided to illustrate the theoretical results and algorithms developed in this paper.

[27]  arXiv:1806.07962 [pdf, ps, other]
Title: Generalizations of Russell-style integrals
Authors: Mark W. Coffey
Comments: 13 pages, no figures
Subjects: Classical Analysis and ODEs (math.CA); Mathematical Physics (math-ph)

First some definite integrals of W. H. L. Russell, almost all with trigonometric function integrands, are derived, and many generalized. Then a list is given in Russell-style of generalizations of integral identities of Amdeberhan and Moll. We conclude with a brief and noncomprehensive description of directions for further investigation, including the significant generalization to elliptic functions.

[28]  arXiv:1806.07964 [pdf, ps, other]
Title: Riemann's Xi-function: A GGC representation
Subjects: Classical Analysis and ODEs (math.CA)

A GGC (Generalized Gamma Convolution) representation of Riemann's Xi-function and its reciprocal are constructed.

[29]  arXiv:1806.07980 [pdf, other]
Title: Fractional Gray-Scott Model: Well-posedness, Discretization, and Simulations
Comments: 24 pages, 8 figures
Subjects: Numerical Analysis (math.NA)

The Gray-Scott (GS) model represents the dynamics and steady state pattern formation in reaction-diffusion systems and has been extensively studied in the past. In this paper, we consider the effects of anomalous diffusion on pattern formation by introducing the fractional Laplacian into the GS model. First, we prove that the continuous solutions of the fractional GS model are unique. We then introduce the Crank-Nicolson (C-N) scheme for time discretization and weighted shifted Gr\"unwald difference operator for spatial discretization. We perform stability analysis for the time semi-discrete numerical scheme, and furthermore, we analyze numerically the errors with benchmark solutions that show second-order convergence both in time and space. We also employ the spectral collocation method in space and C-N scheme in time to solve the GS model in order to verify the accuracy of our numerical solutions. We observe the formation of different patterns at different values of the fractional order, which are quite different than the patterns of the corresponding integer-order GS model, and quantify them by using the radial distribution function (RDF). Finally, we discover the scaling law for steady patterns of the RDFs in terms of the fractional order $1<\alpha \leq 2 $.

[30]  arXiv:1806.07981 [pdf, other]
Title: When are Multiples of Polygonal Numbers again Polygonal Numbers?
Comments: 17 pages, 1 figure
Subjects: Number Theory (math.NT)

Euler showed that there are infinitely many triangular numbers that are three times another triangular number. In general, as we prove, it is an easy consequence of the Pell equation that for a given square-free m > 1, the relation D = mD' is satisfied by infinitely many pairs of triangular numbers D, D'. However, due to the erratic behavior of the fundamental solution to the Pell equation, this problem is more difficult for more general polygonal numbers. We will show that if one solution exists, then infinitely many exist. We give an example, however, showing that there are cases where no solution exists. Finally, we also show in this paper that, given m > n > 1 with obvious exceptions, the simultaneous relations P = mP', P = nP" has only finitely many possibilities not just for triangular numbers, but for triplets P, P', P" of polygonal numbers.

[31]  arXiv:1806.07982 [pdf, ps, other]
Title: On convex mappings
Subjects: Complex Variables (math.CV)

We establish new characterizations for a holomorphic mapping of the unit disk $\D$ to be convex. We show from this that, with the exception of a parallel strip or a halfplane, the level sets of the Poincar\'e density of a convex domain are strictly convex.

[32]  arXiv:1806.07988 [pdf, other]
Title: Optimal Scheduling of Water Distribution Systems
Subjects: Optimization and Control (math.OC)

With dynamic electricity pricing, the operation of water distribution systems (WDS) is expected to become more variable. The pumps moving water from reservoirs to tanks and consumers can serve as energy storage alternatives if properly operated. Nevertheless, the optimal scheduling of WDS is challenged by the hydraulic law for which the pressure along a pipe drops proportionally to its squared water flow. The optimal water flow (OWF) task is formulated here as a mixed-integer non-convex problem incorporating flow and pressure constraints, critical for the operation of fixed-speed pumps, tanks, reservoirs, and pipes. The hydraulic constraints of the OWF problem are subsequently relaxed to second-order cone constraints, and a penalty term is appended to its objective to promote solutions feasible for the water network. The modified problem can be solved as a mixed-integer second-order cone program, which is analytically shown to yield WDS-feasible minimizers under certain sufficient conditions. By weighting the penalty in the objective of the relaxed problem, its minimizers can attain arbitrarily small optimality gaps, thus providing OWF solutions. Numerical tests using real-world demands and prices on benchmark systems demonstrate the relaxation to be exact for several cases, including setups where the sufficient conditions are not met.

[33]  arXiv:1806.07992 [pdf, ps, other]
Title: Equivariant Morita-Takeuchi Theory
Authors: Bastian Seifert
Comments: 17 pages
Subjects: Representation Theory (math.RT); Rings and Algebras (math.RA)

We introduce the notion of H-equivariant Morita-Takeuchi theory for coalgebras with symmetries given by a Hopf algebra H. A cohomology theory is introduced which classifies the possible lifts of coactions on coalgebras to corresponding comodules. An equivariant Picard groupoid is defined and its connection to the developed cohomology theory investigated.

[34]  arXiv:1806.08000 [pdf, ps, other]
Title: Normal Closure of Disk Braid Group in Torus Braid Group
Authors: Liming Pang
Subjects: Geometric Topology (math.GT)

Combining the results by Birman and Goldberg, it was proved the normal closure of the pure braid group of the disk $P_n(D)$ in the pure braid group of the torus $P_n(T)$ is the commutator subgroup $[P_n(T),P_n(T)]$. In this paper we are going to study the case for full braid groups: i.e. the normal closure of $B_n(D)$ in $B_n(T)$, which turns out to have an interesting geometric description.

[35]  arXiv:1806.08003 [pdf, other]
Title: Quantum moment maps and symmetric bounded domains quantizations
Subjects: Quantum Algebra (math.QA); Mathematical Physics (math-ph)

We introduce an explicit construction for realizing of the space of invariant deformation quantizations on an arbitrary symmetric bounded domain.

[36]  arXiv:1806.08004 [pdf, other]
Title: A short proof that sweeping is always possible for a spatial discretization with regular triangles and no hanging nodes
Subjects: Numerical Analysis (math.NA)

Sweeping is a commonly used procedure to explicitly solve the discrete ordinates equation, which itself is a common approximation of the neutron transport equation. To sweep through the computational domain, an ordering of the spatial cells is required that obeys the flow of information. We show that this ordering can always be found, assuming a discretization of the spatial domain with regular triangles with no hanging nodes.

[37]  arXiv:1806.08006 [pdf, other]
Title: Private Information Retrieval from Coded Storage Systems with Colluding, Byzantine, and Unresponsive Servers
Subjects: Information Theory (cs.IT)

The problem of Private Information Retrieval (PIR) from coded storage systems with colluding, byzantine, and unresponsive servers is considered. An explicit scheme using an $[n,k]$ Reed-Solomon storage code is designed, protecting against $t$-collusion and handling up to $b$ byzantine and $r$ unresponsive servers, when $n>k+t+2b+r-1$. %, for some integer $\nu \geq 1$. This scheme achieves a PIR rate of $\frac{n-r-(k+2b+t-1)}{n-r}$. In the case where the capacity is known, namely when $k=1$, it is asymptotically capacity-achieving as the number of files grows. Lastly, the scheme is adapted to symmetric PIR.

[38]  arXiv:1806.08020 [pdf, other]
Title: Polynomial Preconditioned Arnoldi
Comments: 25 pages
Subjects: Numerical Analysis (math.NA); Spectral Theory (math.SP)

Polynomial preconditioning can improve the convergence of the Arnoldi method for computing eigenvalues. Such preconditioning significantly reduces the cost of orthogonalization; for difficult problems, it can also reduce the number of matrix-vector products. Parallel computations can particularly benefit from the reduction of communication-intensive operations. The GMRES algorithm provides a simple and effective way of generating the preconditioning polynomial. For some problems high degree polynomials are especially effective, but they can lead to stability problems that must be mitigated. A two-level "double polynomial preconditioning" strategy provides an effective way to generate high-degree preconditioners.

[39]  arXiv:1806.08021 [pdf, ps, other]
Title: Note on the Modifed Augmented Lagrangian Method for Minimization of Functions with Large Quadratic Penalties
Subjects: Numerical Analysis (math.NA)

In a recent work (arXiv-DOI: 1804.08072v1) we introduced the Modified Augmented Lagrangian Method (MALM) for the efficient minimization of objective functions with large quadratic penalty terms. From MALM there results an optimality equation system that is related to that of the original objective function. But, it is numerically better behaved, as the large penalty factor is replaced by a milder factor.
In our original work, we formulated MALM with an inner iteration that applies a Quasi-Newton iteration to compute the root of a multi-variate function. In this note we show that this formulation of the scheme with a Newton iteration can be replaced conveniently by formulating a well-scaled unconstrained minimization problem.
In this note, we briefly review the Augmented Lagrangian Method (ALM) for minimizing equality-constrained problems. Then we motivate and derive the new proposed formulation of MALM for minimizing unconstrained problems with large quadratic penalties. Eventually, we discuss relations between MALM and ALM.

[40]  arXiv:1806.08026 [pdf, ps, other]
Title: Linear systems on semisimple Lie groups: the solution, stability, conjugacy, and an application on the 3-dimensional case
Comments: 12 pages
Subjects: Dynamical Systems (math.DS)

Our main is to study linear systems on real, connected, semisimple Lie groups. We present the solution of linear systems and from this, we work with stability at the origin and construct a conjugacy by homomorphism of ones. Furthermore, we explicit solutions on 3-dimensional real, connected, semisimple Lie groups.

[41]  arXiv:1806.08027 [pdf, ps, other]
Title: Physical-Layer Security in Cache-Enabled Cooperative Small Cell Networks Against Randomly Distributed Eavesdroppers
Comments: 14 pages, 10 figures, accepted for publication on IEEE Transactions on Wireless Communications
Subjects: Information Theory (cs.IT)

This paper explores the physical-layer security in a small cell network (SCN) with cooperative cache-enabled small base stations (SBSs) in the presence of randomly distributed eavesdroppers. We propose a joint design on the caching placement and the physical-layer transmission to improve the secure content delivery probability (SCDP). We first put forward a hybrid caching placement strategy in which a proportion of the cache unit in each SBS is assigned to store the most popular files (MPFs), while the remaining is used to cache the disjoint subfiles (DSFs) of the less popular files in different SBSs as a means to enhance transmission secrecy and content diversity. We then introduce two coordinated multi-point (CoMP) techniques, namely, joint transmission (JT) and orthogonal transmission (OT), to deliver the MPFs and DSFs, respectively. We derive analytical expressions for the SCDP in each transmission scheme, considering both non-colluding and colluding eavesdropping scenarios. Based on the obtained analytical results, we jointly design the optimal transmission rates and the optimal caching assignment for maximizing the overall SCDP. Various insights into the optimal transmission and caching designs are further provided. Numerical results are also presented to verify our theoretical findings and to demonstrate the superiority of the proposed caching and transmission strategies.

[42]  arXiv:1806.08029 [pdf, ps, other]
Title: Notes on Loewy series of centers of $p$-blocks
Comments: 7 pages
Subjects: Representation Theory (math.RT); Group Theory (math.GR)

The present paper describes some results on the Loewy series of the center of a modular group algebra in order to solve a problem on the number of irreducible ordinary characters. For instance, we prove that a $p$-block of a finite group has at least $p+2$ characters if its defect group contains non-elementary center.

[43]  arXiv:1806.08030 [pdf, ps, other]
Title: Stability analysis of random nonlinear systems with time-varying delay and its application
Subjects: Optimization and Control (math.OC)

This paper studies a class of random nonlinear systems with time-varying delay, in which the $r$-order moment ($r\geq1$) of the random disturbance is finite. Firstly, some general conditions are proposed to guarantee the existence and uniqueness of the global solution to random nonlinear time-delay systems. Secondly, some definitions and criteria on noise-to-state stability in the moment sense and in probability sense are given by Lyapunov method respectively. Finally, two regulation controllers are constructed respectively for two corresponding random nonlinear time-delay systems and the effectiveness of two proposed recursive procedures are demonstrated by two simulation examples.

[44]  arXiv:1806.08036 [pdf, ps, other]
Title: Diagonal Minkowski classes, zonoid equivalence, and stable laws
Comments: 19 pages
Subjects: Metric Geometry (math.MG); Probability (math.PR)

We consider the family of convex bodies obtained as transformations of a convex body $K$ by diagonal matrices, their Minkowski sums, and limits of them in the Hausdorff metric. We fix $K$ and consider these sums and their limits as an integral transform of measures on the family of diagonal matrices, equivalently, on Euclidean space, which we call $K$-transform. In the special case, if $K$ is a segment not lying on any coordinate hyperplane, one obtains the family of zonoids and the cosine transform. In this case two facts are known: the vector space generated by support functions of zonoids is dense in the family of support functions of symmetric convex bodies; and the cosine transform is injective. We show that these two properties are equivalent for general $K$.
For $K$ being a generalised zonoid, we determine conditions that ensure the injectivity of the $K$-transform. Relations to mixed volumes and to a geometric description of one-sided stable laws are discussed. The later probabilistic application gives rise to a family of convex bodies obtained as limits of sums of diagonally scaled $\ell_p$-balls.

[45]  arXiv:1806.08038 [pdf, ps, other]
Title: Indexed type theories
Authors: Valery Isaev
Comments: 53 pages
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Algebraic Topology (math.AT); Logic (math.LO)

In this paper, we define indexed type theories which are related to indexed ($\infty$-)categories in the same way as (homotopy) type theories are related to ($\infty$-)categories. We define several standard constructions for such theories including finite (co)limits, arbitrary (co)products, exponents, object classifiers, and orthogonal factorization systems. We also prove that these constructions are equivalent to their type theoretic counterparts such as $\Sigma$-types, unit types, identity types, finite higher inductive types, $\Pi$-types, univalent universes, and higher modalities.

[46]  arXiv:1806.08045 [pdf, ps, other]
Title: A moving lemma for relative $0$-cycles
Comments: v1: 42 pages. An earlier version of this article was part of arXiv:1504.08181, entitled "Algebraic cycles and crystalline cohomology" from Section 5 to Section 11. It is completely rewritten, reorganized, generalized, and with numerous fixed. A generalization of the remaining part of arXiv:1504.08181 will be posted as a replacement of arXiv:1504.08181 sometime in a near future
Subjects: Algebraic Geometry (math.AG); K-Theory and Homology (math.KT)

We prove a moving lemma for the additive and ordinary higher Chow groups of relative $0$-cycles of regular semi-local $k$-schemes essentially of finite type over an infinite perfect field. From this, we show that the cycle classes can be represented by cycles that possess certain finiteness, surjectivity, and smoothness properties. It plays a key role in showing that the crystalline cohomology of smooth varieties can be expressed in terms of algebraic cycles.

[47]  arXiv:1806.08048 [pdf, ps, other]
Title: Weighted Sobolev regularity and rate of approximation of the obstacle problem for the integral fractional Laplacian
Subjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)

We obtain regularity results in weighted Sobolev spaces for the solution of the obstacle problem for the integral fractional Laplacian. The weight is a power of the distance to the boundary. These bounds then serve us as a guide in the design and analysis of an optimal finite element scheme over graded meshes.

[48]  arXiv:1806.08051 [pdf, ps, other]
Title: Decay of conical averages of the Fourier transform
Comments: 20 pages
Subjects: Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA)

Some improved $L^2$ fractal-type inequalities are obtained for the wave equation, using the analogue of the Du-Zhang method for the Schr\"odinger equation. These improve the known decay rates of conical averages for the Fourier transform of measures, in dimensions $d \geq 4$.

[49]  arXiv:1806.08075 [pdf, other]
Title: Embedding fractals in Banach, Hilbert or Euclidean spaces
Comments: 20 pages
Subjects: Metric Geometry (math.MG); General Topology (math.GN)

By a metric fractal we understand a compact metric space $K$ endowed with a finite family $\mathcal F$ of contracting self-maps of $K$ such that $K=\bigcup_{f\in\mathcal F}f(K)$. If $K$ is a subset of a metric space $X$ and each $f\in\mathcal F$ extends to a contracting self-map of $X$, then we say that $(K,\mathcal F)$ is a fractal in $X$. We prove that each metric fractal $(K,\mathcal F)$ is
$\bullet$ isometrically equivalent to a fractal in the Banach spaces $C[0,1]$ and $\ell_\infty$;
$\bullet$ bi-Lipschitz equivalent to a fractal in the Banach space $c_0$;
$\bullet$ isometrically equivalent to a fractal in the Hilbert space $\ell_2$ if $K$ is an ultrametric space.
We prove that for a metric fractal $(K,\mathcal F)$ with the doubling property there exists $k\in\mathbb N$ such that the metric fractal $(K,\mathcal F^{\circ k})$ endowed with the fractal structure $\mathcal F^{\circ k}=\{f_1\circ\dots\circ f_k:f_1,\dots,f_k\in\mathcal F\}$ is equi-H\"older equivalent to a fractal in a Euclidean space $\mathbb R^d$. This result is used to prove our main result saying that each finite-dimensional compact metrizable space $K$ containing an open uncountable zero-dimensional space $Z$ is homeomorphic to a fractal in a Euclidean space $\mathbb R^d$. For $Z$, being a copy of the Cantor set, this embedding result was proved by Duvall and Husch in 1992.

[50]  arXiv:1806.08091 [pdf, other]
Title: Blind Deconvolutional Phase Retrieval via Convex Programming
Subjects: Information Theory (cs.IT)

We consider the task of recovering two real or complex $m$-vectors from phaseless Fourier measurements of their circular convolution. Our method is a novel convex relaxation that is based on a lifted matrix recovery formulation that allows a nontrivial convex relaxation of the bilinear measurements from convolution. We prove that if the two signals belong to known random subspaces of dimensions $k$ and $n$, then they can be recovered up to the inherent scaling ambiguity with $m >> (k+n) \log^2 m$ phaseless measurements. Our method provides the first theoretical recovery guarantee for this problem by a computationally efficient algorithm and does not require a solution estimate to be computed for initialization. Our proof is based Rademacher complexity estimates. Additionally, we provide an ADMM implementation of the method and provide numerical experiments that verify the theory.

[51]  arXiv:1806.08102 [pdf, other]
Title: Fluctuation identities for omega-killed Markov additive processes and dividend problem
Subjects: Probability (math.PR)

In this paper we solve the exit problems for an one-sided Markov additive process (MAP) which is exponentially killed with a bivariate killing intensity $\omega(\cdot,\cdot)$ dependent on the present level of the process and the present state of the environment. Moreover, we analyze respective resolvents. All identities are given in terms of new generalizations of classical scale matrices for the MAP. We also remark on a number of applications of the obtained identities to (controlled) insurance risk processes. In particular, we show that our results can be applied to the so-called Omega model, where bankruptcy occurs at rate $\omega(\cdot,\cdot)$ when the surplus process becomes negative. Finally, we consider the Markov modulated Brownian motion (MMBM) and present the results for the particular choice of piecewise intensity function $\omega(\cdot,\cdot)$.

[52]  arXiv:1806.08105 [pdf, ps, other]
Title: Fourier series of Jacobi-Sobolev polynomial
Subjects: Functional Analysis (math.FA)

\langle f,g\rangle_{\alpha,\beta,m}=\sum_{k=0}^m \int_{-1}^{1}f^{(k)}(x)g^{(k)}(x)\, dw_{\alpha+k,\beta+k}(x), \quad \alpha,\beta>-1, \quad m\ge 1, \end{equation*} where $dw_{a,b}(x)=(1-x)^{a}(1+x)^b\, dx$. We obtain necessary and sufficient conditions for the uniform boundedness of the partial sum operators related to this sequence of polynomials in the Sobolev space $W_{\alpha,\beta}^{p,m}$. As a consequence we deduce the convergence of such partial sums in the norm of $W_{\alpha,\beta}^{p,m}$.

[53]  arXiv:1806.08124 [pdf, other]
Title: A Lagrange Multiplier Method for Semilinear Elliptic State Constrained Optimal Control Problems
Subjects: Optimization and Control (math.OC)

In this paper we apply an augmented Lagrange method to a class of semilinear elliptic optimal control problems with pointwise state constraints. We show strong convergence of subsequences of the primal variables to a local solution of the original problem as well as weak convergence of the adjoint states and weak* convergence of the multipliers associated to the state constraint. Moreover, we show existence of stationary points in arbitrary small neighborhoods of local solutions of the original problem. Additionally, various numerical results are presented.

[54]  arXiv:1806.08125 [pdf, ps, other]
Title: Flow-independent Anisotropic space, and perturbation of resonances
Subjects: Spectral Theory (math.SP)

Given an Anosov vector field $X_0$, all sufficiently close vector fields also are of Anosov type. In this note, we check that one can choose the so-called "Faure-Sj\"ostrand" anistropic spaces to be adapted to any vector field sufficiently close to $X_0$ in $C^1$ norm. It follows that finite families of resonances depend smoothly on the vector field with the usual caveats.

[55]  arXiv:1806.08138 [pdf, ps, other]
Title: Short time existence for a general backward-forward parabolic system arising from Mean-Field Games
Subjects: Analysis of PDEs (math.AP)

We study the local in time existence of a regular solution of a nonlinear parabolic backward-forward system arising from the theory of Mean-Field Games (briefly MFG). The proof is based on a contraction argument in a suitable space that takes account of the peculiar structure of the system, which involves also a coupling at the final horizon. We apply the result to obtain existence to very general MFG models, including also congestion problems.

[56]  arXiv:1806.08140 [pdf, other]
Title: Singularities of Gauss maps of wave fronts with non-degenerate singular points
Authors: Keisuke Teramoto
Comments: 19 pages, 12 figures
Subjects: Differential Geometry (math.DG)

We study singularities of Gauss maps of fronts and give characterizations of types of singularities of Gauss maps by geometric properties of fronts which are related to behavior of bounded principal curvatures. Moreover, we investigate relation between a kind of boundedness of Gaussian curvatures near cuspidal edges and types of singularities of Gauss maps of cuspidal edges. Further, we consider extended height functions on fronts with non-degenerate singular points.

[57]  arXiv:1806.08142 [pdf, ps, other]
Title: Deformation of algebroid bracket of differential forms and Poisson manifold
Comments: 31 pages
Subjects: Mathematical Physics (math-ph); Differential Geometry (math.DG); Dynamical Systems (math.DS)

We construct the family of algebroid brackets $[\cdot,\cdot]_{c,v}$ on the tangent bundle $T^*M$ to a Poisson manifold $(M,\pi)$ starting from an algebroid bracket of differential forms. We use these brackets to generate Poisson structures on the tangent bundle $TM$. Next, in the case when $M$ is equipped with a bi-Hamiltonian structure $(M,\pi_1, \pi_2)$ we show how to construct another family of Poisson structures. Moreover we present how to find Casimir functions for those structures and we discuss some particular examples.

[58]  arXiv:1806.08154 [pdf, ps, other]
Title: Bounds on Erd{ő}s - Faber - Lovász Conjecture - the Uniform and Regular Cases
Comments: 5 pages
Subjects: Combinatorics (math.CO)

We consider the Erd{\H{o}}s - Faber - Lov\'{a}sz (EFL) conjecture for hypergraphs. This paper proves that the conjecture is true for $r (r\ge4)$ regular case and in the case of $3$ regular the chromatic number is $\leq 1.281n$.

[59]  arXiv:1806.08160 [pdf, ps, other]
Title: Sharp large deviations for the drift parameter of the explosive Cox-Ingersoll-Ross process
Subjects: Probability (math.PR); Statistics Theory (math.ST)

We consider a non-stationary Cox-Ingersoll-Ross process. We establish a sharp large deviation principle for the maximum likelihood estimator of its drift parameter.

[60]  arXiv:1806.08161 [pdf, other]
Title: Explicit Asymptotics on First Passage Times of Diffusion Processes
Comments: 31 pages, 16 figures
Subjects: Probability (math.PR); Numerical Analysis (math.NA); Mathematical Finance (q-fin.MF)

We introduce a unified framework for solving first passage times of time-homogeneous diffusion processes. According to the killed version potential theory and the perturbation theory, we are able to deduce closed-form solutions for probability densities of single-sided level crossing problem. The framework is applicable to diffusion processes with continuous drift functions, and a recursive system in the frequency domain has been provided. Besides, we derive a probabilistic representation for error estimation. The representation can be used to evaluate deviations in perturbed density functions. In the present paper, we apply the framework to Ornstein-Uhlenbeck and Bessel processes to find closed-form approximations for their first passage times; another successful application is given by the exponential-Shiryaev process. Numerical results are provided at the end of this paper.

[61]  arXiv:1806.08165 [pdf, ps, other]
Title: Interlacing Polynomials and the Veronese Construction for Rational Formal Power Series
Authors: Philip B. Zhang
Comments: 18 pages
Subjects: Combinatorics (math.CO)

Fixing a positive integer $r$ and $0 \le k \le r-1$, define $f^{\langle r,k \rangle}$ for every formal power series $f$ as $ f(x) = f^{\langle r,0 \rangle}(x^r)+xf^{\langle r,1 \rangle}(x^r)+ \cdots +x^{r-1}f^{\langle r,r-1 \rangle}(x^r).$ Jochemko recently showed that the polynomial $U^{n}_{r,k}\, h(x) := \left( (1+x+\cdots+x^{r-1})^{n} h(x) \right)^{\langle r,k \rangle}$ has only nonpositive zeros for any $r \ge \deg h(x) -k$ and any positive integer $n$. As a consequence, Jochemko confirmed a conjecture of Beck and Stapledon on the Ehrhart polynomial $h(x)$ of a lattice polytope of dimension $n$, which states that $U^{n}_{r,0}\,h(x)$ has only negative, real zeros whenever $r\ge n$. In this paper, we provide an alternative approach to Beck and Stapledon's conjecture by proving the following general result: if the polynomial sequence $\left( h^{\langle r,r-i \rangle}(x)\right)_{1\le i \le r}$ is interlacing, so is $\left( U^{n}_{r,r-i}\, h(x) \right)_{1\le i \le r}$. Our result has many other interesting applications. In particular, this enables us to give a new proof of Savage and Visontai's result on the interlacing property of some refinements of the descent generating functions for colored permutations. Besides, we derive a Carlitz identity for refined colored permutations.

[62]  arXiv:1806.08176 [pdf, ps, other]
Title: Regular globally hyperbolic maximal anti-de Sitter structures
Comments: 29 pages, 1 figure. Comments are welcome!
Subjects: Differential Geometry (math.DG); Geometric Topology (math.GT)

Let $\Sigma$ be a connected, oriented surface with punctures and negative Euler characteristic. We introduce regular globally hyperbolic anti-de Sitter structures on $\Sigma \times \mathbb{R}$ and provide two parameterisations of their deformation space: as an enhanced product of two copies of the Fricke space of $\Sigma$ and as the bundle over the Teichm\"uller space of $\Sigma$ whose fibre consists of meromorphic quadratic differentials with poles of order at most $2$ at the punctures.

[63]  arXiv:1806.08183 [pdf, ps, other]
Title: M-Polynomial Revisited: Bethe Cacti and an Extension of Gutman's Approach
Subjects: Combinatorics (math.CO)

The $M$-polynomial of a graph $G$ is defined as $\sum_{i\le j} m_{ij}(G)x^iy^j$, where $m_{ij}(G)$, $i,j\ge 1$, is the number of edges $uv$ of $G$ such that $\{d_v(G), d_u(G)\} = \{i,j\}$. Knowing the $M$-polynomial, formulas for degree-based topological indices can be obtained by means of specific operators defined on differentiable functions in two variables. This is illustrated on three infinite families of Bethe cacti. Gutman's approach for the computation of the coefficients of the $M$-polynomial is also recalled and an extension of it is given. This extension is used to determine the $M$-polynomial of a two parametric infinite family of lattice graphs.

[64]  arXiv:1806.08184 [pdf, ps, other]
Title: Multi-Rees Algebras and Toric Dynamical Systems
Comments: 11 pages. Comments are welcome!
Subjects: Commutative Algebra (math.AC)

This paper explores the relation between multi-Rees algebras and ideals that arise in the study of toric dynamical systems from the theory of chemical reaction networks.

[65]  arXiv:1806.08189 [pdf, ps, other]
Title: A rigidity theorem for Hénon maps
Comments: 19 pages
Subjects: Dynamical Systems (math.DS); Complex Variables (math.CV)

The purpose of this note is two fold. First, we study the relation between a pair of H\'{e}non maps that share the same forward and backward non-escaping sets. Second, it is shown that there exists a continuum of $Short-\mathbb{C}^2$'s that are biholomorphically inequivalent and finally, we provide examples of $Short-\mathbb{C}^2$'s that are neither Reinhardt nor biholomorphic to Reinhardt domains.

[66]  arXiv:1806.08192 [pdf, ps, other]
Title: Quadratic Points on Modular Curves
Comments: 23 pages. Any comments are welcome
Subjects: Number Theory (math.NT)

In this paper we determine the quadratic points on the modular curves X_0(N), where the curve is non-hyperelliptic, the genus is 3, 4 or 5, and the Mordell--Weil group of J_0(N) is finite. The values of N are 34, 38, 42, 44, 45, 51, 52, 54, 55, 56, 63, 64, 72, 75, 81.
As well as determining the non-cuspidal quadratic points, we give the j-invariants of the elliptic curves parametrized by those points, and determine if they have complex multiplication or are quadratic \Q-curves.

[67]  arXiv:1806.08196 [pdf, other]
Title: Revisiting Leighton's Theorem with the Haar Measure
Comments: 9 pages, 2 figures
Subjects: Group Theory (math.GR); Geometric Topology (math.GT)

Leighton's graph covering theorem states that a pair of finite graphs with isomorphic universal covers have a common finite cover. We provide a new proof of Leighton's Theorem that allows generalizations; we prove the corresponding theorem for graphs with fins. As a corollary we obtain quasi-isometric rigidity results for free groups with line patterns, building on the work of Cashen-Macura and Hagen-Touikan.

[68]  arXiv:1806.08197 [pdf, ps, other]
Title: Flows revisited: the model category structure and its left determinedness
Authors: Philippe Gaucher
Comments: 9 pages
Subjects: Category Theory (math.CT); Algebraic Topology (math.AT)

Flows are a topological model of concurrency which enables to encode the notion of refinement of observation and to understand the homological properties of branchings and mergings of execution paths. Roughly speaking, they are Grandis' $d$-spaces without an underlying topological space. They just have an underlying homotopy type. This note is twofold. First, we give a new construction of the model category structure of flows which is more conceptual thanks to Isaev's results. It avoids the use of delicate topological arguments. Secondly, we prove that this model category is left determined by adapting an argument due to Olschok. The introduction contains some speculations about what we expect to find out by localizing this minimal model category structure.

[69]  arXiv:1806.08201 [pdf, ps, other]
Title: A note on log-concave random graphs
Subjects: Combinatorics (math.CO)

We establish a threshold for the connectivity of certain random graphs whose (dependent) edges are determined by the uniform distributions on generalized Orlicz balls, crucially using their negative correlation properties. We also show the existence of a unique giant component for such random graphs.

[70]  arXiv:1806.08227 [pdf, ps, other]
Title: The assumption of the Hilbert lattice in the case of a two-dimensional system
Authors: Arkady Bolotin
Comments: 8 pages
Subjects: Logic (math.LO); Quantum Physics (quant-ph)

As it is known, the set of all closed linear subspaces of a Hilbert space together with a binary relation over the set represents the logic of the quantum propositions. It is also known that the lattices of the closed linear subspaces on a Hilbert space of dimension 3 or greater do not have a prime filter, hence those lattices do not allow a valuation map. In contrast to that, for qubits it is easy to find prime filters in the Hilbert lattice. This begs the question: What assumption(s) related to the lattices of the closed linear subspaces should be added or altered to preclude the bivaluation map in the two-dimensional case? The presented paper offers the answer to this question.

[71]  arXiv:1806.08230 [pdf, other]
Title: Throughput Maximization in Cloud-Radio Access Networks using Rate-Aware Network Coding
Comments: 13 pages, 10 figuers. arXiv admin note: text overlap with arXiv:1801.05104
Subjects: Information Theory (cs.IT)

One of the most promising techniques for network-wide interference management necessitates a redesign of the network architecture known as cloud radio access network (CRAN). The cloud is responsible for coordinating multiple Remote Radio Heads (RRHs) and scheduling users to their radio resources blocks (RRBs). The transmit frame of each RRH consists of several orthogonal RRBs each maintained at a certain power level (PL). While previous works considered a vanilla version in which each RRB can serve a single user, this paper proposes mixing the flows of multiple users using instantly decodable network coding (IDNC). As such, the total throughput is maximized. The joint user scheduling and power adaptation problem is solved by designing, for each RRB, a subgraph in which each vertex represents potential user-RRH associations, encoded files, transmission rates, and PLs for one specific RRB. It is shown that the original problem is equivalent to a maximum-weight clique problem over the union of all subgraphs, called herein the CRAN-IDNCgraph. Extensive simulation results are provided to attest the effectiveness of the proposed solution against state of the art algorithms. In particular, the presented simulation results reveal that the method achieves substantial performance gains for all system configurations which collaborates the theoretical findings.

[72]  arXiv:1806.08248 [pdf, ps, other]
Title: $K$-invariant cusp forms for reductive symmetric spaces of split rank one
Comments: 12 pages
Subjects: Representation Theory (math.RT)

Let $G/H$ be a reductive symmetric space of split rank $1$ and let $K$ be a maximal compact subgroup of $G$. In a previous article the first two authors introduced a notion of cusp forms for $G/H$. We show that the space of cusp forms coincides with the closure of the $K$-finite generalized matrix coefficients of discrete series representations if and only if there exist no $K$-spherical discrete series representations. Moreover, we prove that every $K$-spherical discrete series representation occurs with multiplicity $1$ in the Plancherel decomposition of $G/H$.

[73]  arXiv:1806.08253 [pdf, ps, other]
Title: type III representations and modular spectral triples for the noncommutative torus
Comments: Journal of Functional Analysis, to appear
Subjects: Operator Algebras (math.OA)

It is well known that for any irrational rotation number $\a$, the noncommutative torus $\ba_\a$ must have representations $\pi$ such that the generated von Neumann algebra $\pi(\ba_\a)"$ is of type $\ty{III}$. Therefore, it could be of interest to exhibit and investigate such kind of representations, together with the associated spectral triples whose twist of the Dirac operator and the corresponding derivation arises from the Tomita modular operator.
In the present paper, we show that this program can be carried out, at least when $\a$ is a Liouville number satisfying a faster approximation property by rationals. In this case, we exhibit several type $\ty{II_\infty}$ and $\ty{III_\l}$, $\l\in[0,1]$, factor representations and modular spectral triples.
The method developed in the present paper can be generalised to CCR algebras based on a locally compact abelian group equipped with a symplectic form.

[74]  arXiv:1806.08261 [pdf, ps, other]
Title: Pancyclic zero divisor graph over the ring $\mathbb{Z}_n[i]$
Subjects: Combinatorics (math.CO)

Let $\Gamma(\mathbb{Z}_n[i])$ be the zero divisor graph over the ring $\mathbb{Z}_n[i]$. In this article, we study pancyclic properties of $\Gamma(\mathbb{Z}_n[i])$ and $\overline{\Gamma(\mathbb{Z}_n[i])}$ for different $n$. Also, we prove some results in which $L(\Gamma(\mathbb{Z}_n[i]))$ and $\overline{L(\Gamma(\mathbb{Z}_n[i]))}$ to be pancyclic for different values of $n$.

[75]  arXiv:1806.08262 [pdf, ps, other]
Title: Lower Lipschitz Bounds for Phase Retrieval from Locally Supported Measurements
Subjects: Numerical Analysis (math.NA)

In this short note, we consider the worst case noise robustness of any phase retrieval algorithm which aims to reconstruct all nonvanishing vectors $\mathbf{x} \in \mathbb{C}^d$ (up to a single global phase multiple) from the magnitudes of an arbitrary collection of local correlation measurements. Examples of such measurements include both spectrogram measurements of $\mathbf{x}$ using locally supported windows and masked Fourier transform intensity measurements of $\mathbf{x}$ using bandlimited masks. As a result, the robustness results considered herein apply to a wide range of both ptychographic and Fourier ptychographic imaging scenarios. In particular, the main results imply that the accurate recovery of high-resolution images of extremely large samples using highly localized probes is likely to require an extremely large number of measurements in order to be robust to worst case measurement noise, independent of the recovery algorithm employed. Furthermore, recent pushes to achieve high-speed and high-resolution ptychographic imaging of integrated circuits for process verification and failure analysis will likely need to carefully balance probe design (e.g., their effective time-frequency support) against the total number of measurements acquired in order for their imaging techniques to be stable to measurement noise, no matter what reconstruction algorithms are applied.

[76]  arXiv:1806.08264 [pdf, ps, other]
Title: Equilibrium States, Phase Transitions and Dynamics in Quantum Anharmonic Crystals
Authors: Yuri Kozitsky
Comments: to appear in Stochastic Partial Differential Equations and Related Fields In Honor of Michael Roeckner SPDERF, Bielefeld, Germany, October 10 -14, 2016
Subjects: Mathematical Physics (math-ph)

The basic elements of the mathematical theory of states of thermal equilibrium of infinite systems of quantum anharmonic oscillators (quantum crystals) are outlined. The main concept of this theory is to describe the states of finite portions of the whole system (local states) in terms of stochastically positive KMS systems and path measures. The global states are constructed as Gibbs path measures satisfying the corresponding DLR equation. The multiplicity of such measures is then treated as the existence of phase transitions. This effect can be established by analyzing the properties of the Matsubara functions corresponding to the global states. The equilibrium dynamics of finite subsystems can also be described by means of these functions. Then three basic results of this theory are presented and discussed: (a) a sufficient condition for a phase transition to occur at some temperature; (b) a sufficient condition for the suppression of phase transitions at all temperatures (quantum stabilization); (c) a statement showing how the phase transition can affect the local equilibrium dynamics.

[77]  arXiv:1806.08266 [pdf, ps, other]
Title: Beyond RAID 6 --- an Efficient Systematic Code Protecting Against Multiple Errors, Erasures, and Silent Data Corruption
Comments: 51 pages, Intellectual Property
Subjects: Information Theory (cs.IT); Distributed, Parallel, and Cluster Computing (cs.DC)

We describe a replacement for RAID 6, based on a new linear, systematic code, which detects and corrects any combination of $E$ errors (unknown location) and $Z$ erasures (known location) provided that $Z+2E \leq 4$. We investigate some scenarios for error correction beyond the code's minimum distance, using list decoding. We describe a decoding algorithm with quasi-logarithmic time complexity, when parallel processing is used: $\approx O(\log N)$ where $N$ is the number of disks in the array (similar to RAID 6).
By comparison, the error correcting code implemented by RAID 6 allows error detection and correction only when $(E,Z)=(1,0)$, $(0,1)$, or $(0,2)$. Hence, when in degraded mode (i.e when $Z \geq 1$), RAID 6 loses its ability for detecting and correcting random errors (i.e $E=0$, which is known as a silent data corruption). In contrast, the proposed code does not experience silent data corruption unless $Z \geq 3$.
These properties, the relative simplicity of implementation, vastly improvement data protection, and low computational complexity of the decoding algorithm, make this code a natural successor to RAID 6. As our proposed code is based on the use of quintuple parity, then this justifies our proposal to call it PentaRAID.

[78]  arXiv:1806.08275 [pdf, ps, other]
Title: Addendum to "BMO: Oscillations, Self Improvement, Gagliardo Coordinate Spaces and Reverse Hardy Inequalities"
Authors: Mario Milman
Comments: 12 pages
Subjects: Functional Analysis (math.FA)

We provide a precise statement and self contained proof of a Sobolev inequality (cf. [A, page 236 and page 237]) stated in the original paper. Higher order and fractional inequalities are treated as well.

[79]  arXiv:1806.08277 [pdf, other]
Title: A Hennings type invariant of $3$-manifolds from a topological Hopf superalgebra
Authors: Ngoc Phu Ha
Subjects: Quantum Algebra (math.QA); Geometric Topology (math.GT)

We prove the unrolled superalgebra $\mathcal{U}_{\xi}^{H}\mathfrak{sl}(2|1)$ has a completion which is a ribbon superalgebra in a topological sense where $\xi$ is a root of unity of odd order. Using this ribbon superalgebra we construct its universal invariant of links. We use it to construct an invariant of $3$-manifolds of Hennings type.

[80]  arXiv:1806.08281 [pdf, ps, other]
Title: Equivariant exceptional collections on smooth toric stacks
Comments: 29 pages
Subjects: Algebraic Geometry (math.AG)

We study the bounded derived categories of torus-equivariant coherent sheaves on smooth toric varieties and Deligne-Mumford stacks. We construct and describe full exceptional collections in these categories. We also observe that these categories depend only on the PL homeomorphism type of the corresponding simplicial complex.

[81]  arXiv:1806.08284 [pdf, ps, other]
Title: Motives of moduli spaces on K3 surfaces and of special cubic fourfolds
Comments: 15 pages
Subjects: Algebraic Geometry (math.AG)

For any smooth projective moduli space $M$ of Gieseker stable sheaves on a complex projective K3 surface (or an abelian surface) S, we prove that the Chow motive $\mathfrak{h}(M)$ becomes a direct summand of a motive $\bigoplus \mathfrak{h}(S^{k_i})(n_i)$ with $k_i\leq \dim(M)$. The result implies that finite dimensionality of $\mathfrak{h}(M)$ follows from finite dimensionality of $\mathfrak{h}(S)$. The technique also applies to moduli spaces of twisted sheaves and to moduli spaces of stable objects in ${\rm D}^{\rm b}(S,\alpha)$ for a Brauer class $\alpha\in{\rm Br}(S)$. In a similar vein, we investigate the relation between the Chow motives of a K3 surface $S$ and a cubic fourfold $X$ when there exists an isometry $\widetilde H(S,\alpha,\mathbb{Z}) \simeq \widetilde H({\cal A}_X,\mathbb{Z})$. In this case, we prove that there is an isomorphism of transcendental Chow motives $\mathfrak{t}(S)(1) \simeq \mathfrak{t}(X)$.

[82]  arXiv:1806.08286 [pdf, ps, other]
Title: Clipping Noise and Power Allocation for OFDM-Based Optical Wireless Communication Using Photon Detection
Subjects: Information Theory (cs.IT)

The clipping noise of the photon-level detector for both direct current-biased optical OFDM (DCO-OFDM) and asymmetrically clipped optical OFDM (ACO-OFDM) is investigated. Based on Bussgang theorem and central limit theorem (CLT), we obtain the approximate closed-form SNR of each subcarrier, based on which we further formulate the power allocation among the subcarriers. Numerical results show that the SNR obtained from theoretical analysis can well approximate that obtained from simulation results, and uniform power allocation suffices to perform close to the optimized power allocation from Genetic Algorithm (GA) with significantly reduced computational complexity.

[83]  arXiv:1806.08288 [pdf, other]
Title: Remarks on some simple $C^*$-algebras admitting a unique lower semicontinuous $2$-quasitrace
Authors: Jacopo Bassi
Subjects: Operator Algebras (math.OA)

Using the different descriptions of the Cuntz semigroup, we derive some properties of simple, $\sigma$-unital $C^*$-algebras with almost unperforated Cuntz semigroup, a unique lower semicontinuous $2$-quasitrace and for which the stabilization has almost stable rank $1$.

[84]  arXiv:1806.08303 [pdf, other]
Title: Notes on Spreads of Degrees in Graphs
Subjects: Combinatorics (math.CO)

Perhaps the very first elementary exercise one encounters in graph theory is the result that any graph on at least two vertices must have at least two vertices with the same degree. There are various ways in which this result can be non-trivially generalised. For example, one can interpret this result as saying that in any graph $G$ on at least two vertices there is a set $B$ of at least two vertices such that the difference between the largest and the smallest degrees (in $G$) of the vertices of $B$ is zero. In this vein we make the following definition. For any $B\subset V(G)$, let the spread $sp(B)$ of $B$ be defined to be the difference between the largest and the smallest of the degrees of the vertices in $B$. For any $k\geq 0$, let $sp(G,k)$ be the largest cardinality of a set of vertices $B$ such that $sp(B)\leq k$. Therefore the first elementary result in graph theory says that, for any graph $G$ on at least two vertices, $sp(G,0)\geq 2$.
In this paper we first give a proof of a result of Erd\" os, Chen, Rousseau and Schelp which generalises the above to $sp(G,k)\geq k+2$ for any graph on at least $k+2$ vertices. Our proof is short and elementary and does not use the famous Erd\" os-Gallai Theorem on vertex degrees. We then develop lower bounds for $sp(G,k)$ in terms of the order of $G$ and its minimum, maximum and average degree. We then use these results to give lower bounds on $sp(G,k)$ for trees and maximal outerplanar graphs, most of which we show to be sharp.

[85]  arXiv:1806.08304 [pdf, ps, other]
Title: Hypergraph Categories
Comments: 36 pages
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)

Hypergraph categories have been rediscovered at least five times, under various names, including well-supported compact closed categories, dgs-monoidal categories, and dungeon categories. Perhaps the reason they keep being reinvented is two-fold: there are many applications---including to automata, databases, circuits, linear relations, graph rewriting, and belief propagation---and yet the standard definition is so involved and ornate as to be difficult to find in the literature. Indeed, a hypergraph category is, roughly speaking, a "symmetric monoidal category in which each object is equipped with the structure of a special commutative Frobenius monoid, satisfying certain coherence conditions".
Fortunately, this description can be simplified a great deal: a hypergraph category is simply a "cospan-algebra". The goal of this paper is to remove the scare-quotes and make the previous statement precise.
We prove two main theorems. First is a coherence theorem for hypergraph categories, which says that every hypergraph category is equivalent to an objectwise-free hypergraph category. In doing so, we identify a new unit coherence axiom, which seems to have been overlooked in the literature, but which is necessary for the hypergraph strictification result and hence we contend should be included in the definition. Second, we prove that the category of objectwise-free hypergraph categories is equivalent to the category of cospan-algebras.

[86]  arXiv:1806.08306 [pdf, ps, other]
Title: Multiple Lie Derivatives and Forests
Comments: 27 pages
Subjects: Differential Geometry (math.DG); Combinatorics (math.CO)

We obtain a complete time expansion of the pull-back operator generated by a real analytic flow of real analytic automorphisms acting on analytic tensor sections of a manifold. Our expansion is given in terms of multiple Lie derivatives. Motivated by this expansion, we provide a rather simple and explicit estimate for higher order covariant derivatives of multiple Lie derivatives acting on smooth endomorphism sections of the tangent bundle of a manifold. We assume the covariant derivative to be torsion free. The estimate is given in terms of Dyck polynomials. The proof uses a new result on the combinatorics of rooted labeled ordered forests and Dyck polynomials.

[87]  arXiv:1806.08307 [pdf, other]
Title: WIKS: A general Bayesian nonparametric index for quantifying differences between two populations
Subjects: Statistics Theory (math.ST)

The problem of deciding whether two samples arise from the same distribution is often the question of interest in many research investigations. Numerous statistical methods have been devoted to this issue, but only few of them have considered a Bayesian nonparametric approach. We propose a nonparametric Bayesian index (WIKS) which has the goal of quantifying the difference between two populations $P_1$ and $P_2$ based on samples from them. The WIKS index is defined by a weighted posterior expectation of the Kolmogorov-Smirnov distance between $P_1$ and $P_2$ and, differently from most existing approaches, can be easily computed using any prior distribution over $(P_1,P_2)$. Moreover, WIKS is fast to compute and can be justified under a Bayesian decision-theoretic framework. We present a simulation study that indicates that the WIKS method is more powerful than competing approaches in several settings, even in multivariate settings. We also prove that WIKS is a consistent procedure and controls the level of significance uniformly over the null hypothesis. Finally, we apply WIKS to a data set of scale measurements of three different groups of patients submitted to a questionnaire for Alzheimer diagnostic.

[88]  arXiv:1806.08311 [pdf, ps, other]
Title: Cohen-Macaulay Du Bois singularities with a torus action of complexity one
Comments: 16 pages
Subjects: Algebraic Geometry (math.AG)

Using Altmann-Hausen-S\"u\ss\ description of T-varieties via divisorial fans and K\'ovacs-Schwede-Smith characterization of Du Bois singularities we prove that any rational T-variety of complexity one which is Cohen-Macaulay and Du Bois has rational singularities. In higher complexity, we prove an analogous result in the case where the Chow quotient of the T-variety has Picard rank one and trivial geometric genus.

[89]  arXiv:1806.08319 [pdf, other]
Title: Geometry of the random walk range conditioned on survival among Bernoulli obstacles
Comments: 42 pages, 3 figures
Subjects: Probability (math.PR)

We consider a discrete time simple symmetric random walk among Bernoulli obstacles on $\mathbb{Z}^d$, $d\geq 2$, where the walk is killed when it hits an obstacle. It is known that conditioned on survival up to time $N$, the random walk range is asymptotically contained in a ball of radius $\varrho_N=C N^{1/(d+2)}$ for any $d\geq 2$. For $d=2$, it is also known that the range asymptotically contains a ball of radius $(1-\epsilon)\varrho_N$ for any $\epsilon>0$, while the case $d\geq 3$ remains open. We complete the picture by showing that for any $d\geq 2$, the random walk range asymptotically contains a ball of radius $\varrho_N-\varrho_N^\epsilon$ for some $\epsilon \in (0,1)$. Furthermore, we show that its boundary is of size at most $\varrho_N^{d-1}(\log \varrho_N)^a$ for some $a>0$.

[90]  arXiv:1806.08323 [pdf, ps, other]
Title: On equiangular lines in 17 dimensions and the characteristic polynomial of a Seidel matrix
Comments: 23 pages
Subjects: Combinatorics (math.CO)

For positive integers $e$, we find restrictions modulo $2^e$ on the coefficients of the characteristic polynomial $\chi_S(x)$ of a Seidel matrix $S$. We show that, for a Seidel matrix of order $n$ even (resp. odd), there are at most $2^{\binom{e-2}{2}}$ (resp. $2^{\binom{e-2}{2}+1}$) possibilities for the congruence class of $\chi_S(x)$ modulo $2^e\mathbb Z[x]$. As an application of these results we obtain an improvement to the upper bound for the number of equiangular lines in $\mathbb R^{17}$.

[91]  arXiv:1806.08328 [pdf, ps, other]
Title: Recursive axiomatizations for representable posets
Authors: Rob Egrot
Comments: 14 pages
Subjects: Logic (math.LO)

We use model theoretic techniques to construct explicit first-order axiomatizations for the classes of posets that can be represented as systems of sets, where the order relation is given by inclusion, and existing meets and joins of specified countable cardinalities correspond to intersections and unions respectively.

[92]  arXiv:1806.08329 [pdf, other]
Title: A rigorous computer aided estimation for Gelfond exponent of weighted Thue-Morse sequences
Comments: 22 pages, 7 Figures, 4 Tables
Subjects: Dynamical Systems (math.DS)

In this paper, we will provide a mathematically rigorous computer aided estimation for the exact values and robustness for Gelfond exponent of weighted Thue-Morse sequences. This result improves previous discussions on Gelfond exponent by Gelfond, Devenport, Mauduit, Rivat, S\'{a}rk\"{o}zy and Fan et. al.

[93]  arXiv:1806.08335 [pdf, other]
Title: Four New Generalized Fibonacci Number Summation Identities
Authors: M.J. Kronenburg
Subjects: Number Theory (math.NT); Combinatorics (math.CO)

Two new generalized Fibonacci number summation identities are stated and proved, and two other new generalized Fibonacci number summation identities are derived from these, of which two special cases are already known in literature.

[94]  arXiv:1806.08336 [pdf, ps, other]
Title: Stability of $ψ$-Hilfer Impulsive Fractional Differential Equations
Comments: 9 pages
Subjects: Classical Analysis and ODEs (math.CA)

In this paper, we investigate the sufficient conditions for existence and uniqueness of solutions and {\delta}-Ulam-Hyers-Rassias stability of an impulsive fractional differential equation involving $\psi$-Hilfer fractional derivative. Fixed point approach is used to obtain our main results.

[95]  arXiv:1806.08344 [pdf, other]
Title: Irregular conformal blocks and connection formulae for Painlevé V functions
Comments: 26 pages, 1 figure
Subjects: Mathematical Physics (math-ph)

We prove a Fredholm determinant and short-distance series representation of the Painlev\'e V tau function $\tau(t)$ associated to generic monodromy data. Using a relation of $\tau(t)$ to two different types of irregular $c=1$ Virasoro conformal blocks and the confluence from Painlev\'e VI equation, connection formulas between the parameters of asymptotic expansions at $0$ and $i\infty$ are conjectured. Explicit evaluations of the connection constants relating the tau function asymptotics as $t\to 0,+\infty,i\infty$ are obtained. We also show that irregular conformal blocks of rank 1, for arbitrary central charge, are obtained as confluent limits of the regular conformal blocks.

[96]  arXiv:1806.08345 [pdf, other]
Title: Galois closures of non-commutative rings and an application to Hermitian representations
Comments: 20 pages, comments welcome!
Subjects: Algebraic Geometry (math.AG); Rings and Algebras (math.RA); Representation Theory (math.RT)

Galois closures of commutative rank n ring extensions were introduced by Bhargava and the second author. In this paper, we generalize the construction to the case of non-commutative rings. We show that non-commutative Galois closures commute with base change and satisfy a product formula. As an application, we give a uniform construction of many of the representations arising in arithmetic invariant theory, including many Vinberg representations.

[97]  arXiv:1806.08348 [pdf, other]
Title: Smoothing the Bartnik boundary conditions and other results on Bartnik's quasi-local mass
Comments: 25 pages, 3 figures
Subjects: Differential Geometry (math.DG); General Relativity and Quantum Cosmology (gr-qc)

Quite a number of distinct versions of Bartnik's definition of quasi-local mass appear in the literature, and it is not a priori clear that any of them produce the same value in general. In this paper we make progress on reconciling these definitions. The source of discrepancies is two-fold: the choice of boundary conditions (of which there are three variants) and the non-degeneracy or "no-horizon" condition (at least six variants). To address the boundary conditions, we show that given a 3-dimensional region $\Omega$ of nonnegative scalar curvature ($R \geq 0$) extended in a Lipschitz fashion across $\partial \Omega$ to an asymptotically flat 3-manifold with $R \geq 0$ (also holding distributionally along $\partial \Omega$), there exists a smoothing, arbitrarily small in $C^0$ norm, such that $R \geq 0$ and the geometry of $\Omega$ are preserved, and the ADM mass changes only by a small amount. With this we are able to show that the three boundary conditions yield equivalent Bartnik masses for two reasonable non-degeneracy conditions. We also discuss subtleties pertaining to the various non-degeneracy conditions and produce a nontrivial inequality between a no-horizon version of the Bartnik mass and Bray's replacement of this with the outward-minimizing condition.

[98]  arXiv:1806.08351 [pdf, other]
Title: On the Twelve-Point Theorem for $\ell$-Reflexive Polygons
Comments: 62 pages, 14 figures, and 15 tables
Subjects: Combinatorics (math.CO); Algebraic Geometry (math.AG)

It is known that, adding the number of lattice points lying on the boundary of a reflexive polygon and the number of lattice points lying on the boundary of its polar, always yields 12. Generalising appropriately the notion of reflexivity, one shows that this remains true for "$\ell$-reflexive polygons". In particular, there exist (for this reason) infinitely many (lattice inequivalent) lattice polygons with the same property. The first proof of this fact is due to Kasprzyk and Nill. The present paper contains a second proof (which uses tools only from toric geometry) as well as the description of complementary properties of these polygons and of the invariants of the corresponding toric log del Pezzo surfaces.

[99]  arXiv:1806.08352 [pdf, ps, other]
Title: Cohomology groups of Fermat curves via ray class fields of cyclotomic fields
Subjects: Number Theory (math.NT)

The absolute Galois group of the cyclotomic field $K={\mathbb Q}(\zeta_p)$ acts on the \'etale homology of the Fermat curve $X$ of exponent $p$. We study a Galois cohomology group which is valuable for measuring an obstruction for $K$-rational points on $X$. The information needed for measuring this obstruction factors through a $2$-nilpotent extension of $K$. By studying Heisenberg extensions of $K$, we determine a large subquotient of this Galois cohomology group. For $p=3$, we perform a Magma computation with ray class fields, group cohomology, and Galois cohomology which determines it completely.

Cross-lists for Fri, 22 Jun 18

[100]  arXiv:1806.05992 (cross-list from hep-th) [pdf, ps, other]
Title: A Unique Connection for Born Geometry
Comments: 47 pages
Subjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Differential Geometry (math.DG)

It has been known for a while that the effective geometrical description of compactified strings on $d$-dimensional target spaces implies a generalization of geometry with a doubling of the sets of tangent space directions. This generalized geometry involves an $O(d,d)$ pairing $\eta$ and an $O(2d)$ generalized metric $\mathcal{H}$. More recently it has been shown that in order to include T-duality as an effective symmetry, the generalized geometry also needs to carry a phase space structure or more generally a para-Hermitian structure encoded into a skew-symmetric pairing $\omega$. The consistency of string dynamics requires this geometry to satisfy a set of compatibility relations that form what we call a Born geometry. In this work we prove an analogue of the fundamental theorem of Riemannian geometry for Born geometry. We show that there exists a unique connection which preserves the Born structure $(\eta,\omega,\mathcal{H})$ and which is torsionless in a generalized sense. This resolves a fundamental ambiguity that is present in the double field theory formulation of effective string dynamics.

[101]  arXiv:1806.06772 (cross-list from cs.CG) [pdf, ps, other]
Title: Fractal Scaling of Population Counts Over Time Spans
Comments: 6 pages, 4 figures
Subjects: Computational Geometry (cs.CG); Probability (math.PR)

Attributes which are infrequently expressed in a population can require weeks or months of counting to reach statistical significance. But replacement in a stable population increases long-term counts to a degree determined by the probability distribution of lifetimes.
If the lifetimes are in a Pareto distribution with shape factor $1-r$ between 0 and 1, then the expected counts for a stable population are proportional to time raised to the $r$ power. Thus $r$ is the fractal dimension of counts versus time for this population.
Furthermore, the counts from a series of consecutive measurement intervals can be combined using the $L^p$-norm where $p=1/r$ to approximate the population count over the combined time span.
Data from digital advertising support these assertions and find that the largest reachable fraction of an audience over a long time span is about $1-r$.

[102]  arXiv:1806.08022 (cross-list from physics.comp-ph) [pdf, other]
Title: A space-time smooth artificial viscosity method with wavelet noise indicator and shock collision scheme, Part 2: the 2-D case
Comments: 42 pages, 21 figures
Subjects: Computational Physics (physics.comp-ph); Numerical Analysis (math.NA)

This is the second part to our companion paper [13]. Herein, we generalize to two space dimensions the C-method developed in [14,13] for adding localized, space-time smooth artificial viscosity to nonlinear systems of conservation laws that propagate shock waves, rarefaction waves, and contact discontinuities. For gas dynamics, the C-method couples the Euler equations to scalar reaction-diffusion equations, which we call C-equations, whose solutions serve as space-time smooth artificial viscosity indicators for shocks and contacts.
We develop a high-order numerical algorithm for gas dynamics in 2-D which can accurately simulate the Rayleigh-Taylor (RT) instability with Kelvin-Helmholtz (KH) roll-up of the contact discontinuity, as well as shock collision and bounce-back. Solutions to our C-equations not only indicate the location of the shocks and contacts, but also track the geometry of the evolving fronts. This allows us to implement both directionally isotropic and anisotropic artificial viscosity schemes, the latter adding diffusion only in directions tangential to the evolving front.
We additionally produce a novel shock collision indicator function, which naturally activates during shock collision, and then smoothly deactivates. Moreover, we implement a high-frequency 2-D wavelet-based noise detector together with an efficient and localized noise removal algorithm.
To test the methodology, we use a highly simplified WENO-based discretization scheme, devoid of any approximate Riemann solvers. We provide numerical results for some classical 2-D test problems, including the RT problem, the Noh problem, a circular explosion problem from the Liska and Wendroff [9] review paper, and a shock-wall collision problem.

[103]  arXiv:1806.08023 (cross-list from physics.comp-ph) [pdf, ps, other]
Title: A space-time smooth artificial viscosity method with wavelet noise indicator and shock collision scheme, Part 1: the 1-D case
Comments: 42 pages, 20 figures
Subjects: Computational Physics (physics.comp-ph); Numerical Analysis (math.NA)

In this first part of two papers, we extend the C-method developed in [30] for adding localized, space-time smooth artificial viscosity to nonlinear systems of conservation laws that propagate shock waves, rarefaction waves, and contact discontinuities in one space dimension. For gas dynamics, the C-method couples the Euler equations to a scalar reaction-diffusion equation, whose solution C serves as a space-time smooth artificial viscosity indicator.
The purpose of this paper is the development of a high-order numerical algorithm for shock-wall collision and bounce-back. Specifically, we generalize the original C-method by adding a new collision indicator, which naturally activates during shock-wall collision. Additionally, we implement a new high-frequency wavelet-based noise detector together with an efficient and localized noise removal algorithm. To test the methodology, we use a highly simplified WENO-based discretization scheme, devoid of any approximate Riemann solvers. We show that our scheme improves the order of accuracy of our WENO algorithm, handles extremely strong discontinuities (ranging up to ten orders of magnitude), allows for shock collision and bounce back, and removes high frequency noise. The well-known "wall heating" phenomenon is also explained. This method is generalized to two space dimensions in the second part of this work [31].

[104]  arXiv:1806.08121 (cross-list from cs.SC) [pdf, ps, other]
Title: Real root finding for equivariant semi-algebraic systems
Authors: Cordian Riener (UiT), Mohab Safey El Din (PolSys)
Journal-ref: Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2018, New-York, United States
Subjects: Symbolic Computation (cs.SC); Algebraic Geometry (math.AG)

Let $R$ be a real closed field. We consider basic semi-algebraic sets defined by $n$-variate equations/inequalities of $s$ symmetric polynomials and an equivariant family of polynomials, all of them of degree bounded by $2d < n$. Such a semi-algebraic set is invariant by the action of the symmetric group. We show that such a set is either empty or it contains a point with at most $2d-1$ distinct coordinates. Combining this geometric result with efficient algorithms for real root finding (based on the critical point method), one can decide the emptiness of basic semi-algebraic sets defined by $s$ polynomials of degree $d$ in time $(sn)^{O(d)}$. This improves the state-of-the-art which is exponential in $n$. When the variables $x_1, \ldots, x_n$ are quantified and the coefficients of the input system depend on parameters $y_1, \ldots, y_t$, one also demonstrates that the corresponding one-block quantifier elimination problem can be solved in time $(sn)^{O(dt)}$.

[105]  arXiv:1806.08136 (cross-list from cs.DM) [pdf, ps, other]
Title: Coloring of the dth power of the face-centered cubic grid
Authors: Nicolas Gastineau (Le2i), Olivier Togni (Le2i)
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)

The face-centered cubic grid is a three dimensional 12-regular infinite grid. This graph represents an optimal way to pack spheres in the three-dimensional space. In this grid, the vertices represent the spheres and the edges represent the contact between spheres. We give lower and upper bounds on the chromatic number of the d th power of the face-centered cubic grid. In particular, in the case d = 2 we prove that the chromatic number of this grid is 13. We also determine sharper bounds for d = 3 and for subgraphs of of the face-centered cubic grid.

[106]  arXiv:1806.08254 (cross-list from hep-ph) [pdf, ps, other]
Title: Analyticity domain of a Quantum Field Theory and Accelero-summation
Comments: 6 pages
Subjects: High Energy Physics - Phenomenology (hep-ph); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

From 't Hooft's argument, one expects that the analyticity domain of an asymptotically free quantum field theory is horned shaped. In the usual Borel summation, the function is obtained through a Laplace transform and thus has a much larger analyticity domain. However, if the summation process goes through the process called acceleration by Ecalle, one obtains such a horn shaped analyticity domain. We therefore argue that acceleration, which allows to go beyond standard Borel summation, must be an integral part of the toolkit for the study of exactly renormalisable quantum field theories. We sketch how this procedure is working and what are its consequences.

[107]  arXiv:1806.08270 (cross-list from hep-th) [pdf, other]
Title: Opers, surface defects, and Yang-Yang functional
Comments: 93 pages, 8 figures
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

We explore the non-perturbative Dyson-Schwinger equations obeyed by the partition functions of the $\Omega$-deformed $\mathcal{N}=2, d=4$ supersymmetric linear quiver gauge theories in the presence of surface defects. We demonstrate that the partition functions of different types of defects (orbifold or vortex strings) are related by analytic continuation. We introduce Darboux coordinates on a patch of the moduli space of $SL(N)$-flat connections on a sphere with special punctures, which generalize the NRS coordinates defined in the $SL(2)$ case. Finally, we compare the generating function of the Lagrangian variety of opers in these Darboux coordinates with the effective twisted superpotential of the linear quiver theory in the two-dimensional $\Omega$-background, thereby proving the NRS conjecture and its generalization to the $SL(3)$ case.

[108]  arXiv:1806.08291 (cross-list from cs.DS) [pdf, other]
Title: Shortest Reconfiguration Sequence for Sliding Tokens on Spiders
Comments: 21 pages, 15 figures
Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

Suppose that two independent sets $I$ and $J$ of a graph with $\vert I \vert = \vert J \vert$ are given, and a token is placed on each vertex in $I$. The Sliding Token problem is to determine whether there exists a sequence of independent sets which transforms $I$ into $J$ so that each independent set in the sequence results from the previous one by sliding exactly one token along an edge in the graph. It is one of the representative reconfiguration problems that attract the attention from the viewpoint of theoretical computer science. For a yes-instance of a reconfiguration problem, finding a shortest reconfiguration sequence has a different aspect. In general, even if it is polynomial time solvable to decide whether two instances are reconfigured with each other, it can be $\mathsf{NP}$-hard to find a shortest sequence between them. In this paper, we show that the problem for finding a shortest sequence between two independent sets is polynomial time solvable for spiders (i.e., trees having exactly one vertex of degree at least three).

[109]  arXiv:1806.08296 (cross-list from cs.CV) [pdf, other]
Title: Are good local minima wide in sparse recovery?
Subjects: Computer Vision and Pattern Recognition (cs.CV); Optimization and Control (math.OC)

The idea of compressed sensing is to exploit representations in suitable (overcomplete) dictionaries that allow to recover signals far beyond the Nyquist rate provided that they admit a sparse representation in the respective dictionary. The latter gives rise to the sparse recovery problem of finding the best sparse linear approximation of given data in a given generating system. In this paper we analyze the iterative hard thresholding (IHT) algorithm as one of the most popular greedy methods for solving the sparse recovery problem, and demonstrate that systematically perturbing the IHT algorithm by adding noise to intermediate iterates yields improved results. Further improvements can be obtained by entirely rephrasing the problem as a parametric deep-learning-type of optimization problem. By introducing perturbations via dropout, we demonstrate to significantly outperform the classical IHT algorithm, obtaining $3$ to $6$ times lower average objective errors.

[110]  arXiv:1806.08301 (cross-list from stat.ML) [pdf, ps, other]
Title: Online Saddle Point Problem with Applications to Constrained Online Convex Optimization
Subjects: Machine Learning (stat.ML); Learning (cs.LG); Optimization and Control (math.OC)

We study an online saddle point problem where at each iteration a pair of actions need to be chosen without knowledge of the future (convex-concave) payoff functions. The objective is to minimize the gap between the cumulative payoffs and the saddle point value of the aggregate payoff function, which we measure using a metric called "SP-regret". The problem generalizes the online convex optimization framework and can be interpreted as finding the Nash equilibrium for the aggregate of a sequence of two-player zero-sum games. We propose an algorithm that achieves $\tilde{O}(\sqrt{T})$ SP-regret in the general case, and $O(\log T)$ SP-regret for the strongly convex-concave case. We then consider a constrained online convex optimization problem motivated by a variety of applications in dynamic pricing, auctions, and crowdsourcing. We relate this problem to an online saddle point problem and establish $O(\sqrt{T})$ regret using a primal-dual algorithm.

[111]  arXiv:1806.08302 (cross-list from eess.SP) [pdf]
Title: Non-Orthogonal Multi-band CAP for Highly Spectrally Efficient VLC Systems
Comments: 6 pages, 5 figures
Subjects: Signal Processing (eess.SP); Information Theory (cs.IT)

In this work we propose and experimentally demonstrate a novel non-orthogonal multi-band carrier-less amplitude and phase (NM-CAP) scheme for bandlimited visible light communication systems in order to increase the spectral efficiency. We show that a bandwidth saving up to 30% can be achieved thus resulting in 44% improvement in the measured spectral efficiency with no further bit error rate performance degradation compared to the traditional m-CAP scheme. We also show that higher order systems can provide higher bandwidth compression than low order systems. Furthermore, with no additional functional blocks at the transmitter or the receiver the proposed scheme introduces no extra computational complexity.

Replacements for Fri, 22 Jun 18

[112]  arXiv:0903.4546 (replaced) [pdf, ps, other]
Title: Dynamics of riemannian 1-foliations on $3$-manifolds
Comments: 11pages, minor corrections, to appear in Taiwanese J. Math
Subjects: Dynamical Systems (math.DS); Algebraic Geometry (math.AG)
[113]  arXiv:1011.4583 (replaced) [pdf, ps, other]
Title: On the zeros of Weng zeta functions for Chevalley groups
Comments: minor typo corrections in Introduction
Journal-ref: Manuscripta Math. 148 (2015), 119-176
Subjects: Number Theory (math.NT); Representation Theory (math.RT)
[114]  arXiv:1105.2454 (replaced) [pdf, other]
Title: High-dimensional instrumental variables regression and confidence sets
Authors: Eric Gautier (TSE), Alexandre Tsybakov (CREST, ENSAE ParisTech), Christiern Rose
Subjects: Statistics Theory (math.ST)
[115]  arXiv:1108.4042 (replaced) [pdf, other]
Title: Penrose-type inequalities with a Euclidean background
Comments: 15 pages
Journal-ref: Ann. Global Anal. Geom., 2018
Subjects: Differential Geometry (math.DG)
[116]  arXiv:1201.0741 (replaced) [pdf, ps, other]
Title: Moduli of flat connections in positive characteristic
Comments: New version corrects Theorem 3.2 and Proposition 3.15
Subjects: Algebraic Geometry (math.AG)
[117]  arXiv:1202.6392 (replaced) [pdf, other]
Title: The Metric Completion of Outer Space
Authors: Yael Algom-Kfir
Comments: Thoroughly revised version. Section 1 is completely new. Fixed some mistakes in other sections
Subjects: Group Theory (math.GR)
[118]  arXiv:1506.01412 (replaced) [pdf, ps, other]
Title: Planar graphs have two-coloring number at most 8
Subjects: Combinatorics (math.CO)
[119]  arXiv:1508.03663 (replaced) [pdf, ps, other]
Title: Planar Graphs of Girth at least Five are Square $(Δ+ 2)$-Choosable
Comments: 22 pages, 7 figures; this version incorporates reviewer feedback: fixed and rewrote proof of Lemma 3.5, expanded Section 4; to appear in J. Combin. Theory Ser. B
Subjects: Combinatorics (math.CO)
[120]  arXiv:1509.05250 (replaced) [pdf, ps, other]
Title: Orthogonal and symplectic n-level densities
Subjects: Number Theory (math.NT)
[121]  arXiv:1510.02650 (replaced) [pdf, other]
Title: On the analogy between the representations of a reductive Lie group and those of its Cartan motion group
Comments: 54 pages; 3 figures. Version 2 is a major revision and includes new results
Subjects: Representation Theory (math.RT); Group Theory (math.GR)
[122]  arXiv:1510.09019 (replaced) [pdf, ps, other]
Title: Enumeration of Hypermaps of a Given Genus
Comments: 42 pages
Journal-ref: ARS MATHEMATICA CONTEMPORANEA, Volume 15, Issue 1, 20 June 2018, Pages 225-266
Subjects: Combinatorics (math.CO)
[123]  arXiv:1511.00176 (replaced) [pdf, other]
Title: Irregular Hodge theory
Authors: Claude Sabbah
Comments: V3: 69 pages. An error in Section 7.b corrected and Section 7.b rewritten. Appendix B added. Various improvements. V4: 126 pages, Major revision: (1) title changed; (2) A simplification suggested by T. Mochizuki; (3) Chapter 3 added, written in collaboration with Jeng-Daw Yu; (4) various other improvements; V5: Final version to be published in Mem. SMF vol. 156
Subjects: Algebraic Geometry (math.AG)
[124]  arXiv:1512.04592 (replaced) [pdf, ps, other]
Title: Partial regularity of viscosity solutions for a class of Kolmogorov equations arising from mathematical finance
Subjects: Probability (math.PR); Analysis of PDEs (math.AP)
[125]  arXiv:1604.00577 (replaced) [pdf, ps, other]
Title: Symmetric (not Complete Intersection) Semigroups Generated by Five Elements
Authors: Leonid Fel
Comments: 7 pages, 2 Tables
Subjects: Commutative Algebra (math.AC)
[126]  arXiv:1605.04780 (replaced) [pdf, ps, other]
Title: The Local $h$-Polynomials of Cluster Subdivisions Have Only Real Zeros
Authors: Philip B. Zhang
Comments: 9 pages
Subjects: Combinatorics (math.CO)
[127]  arXiv:1606.03275 (replaced) [pdf, other]
Title: Analysis of the maximal posterior partition in the Dirichlet Process Gaussian Mixture Model
Comments: 50 pages, 7 figures
Subjects: Statistics Theory (math.ST)
[128]  arXiv:1606.06321 (replaced) [pdf, ps, other]
Title: Path-dependent SDEs in Hilbert spaces
Subjects: Probability (math.PR); Dynamical Systems (math.DS)
[129]  arXiv:1606.06326 (replaced) [pdf, ps, other]
Title: Functional Itō calculus in Hilbert spaces and application to path-dependent Kolmogorov equations
Subjects: Probability (math.PR); Analysis of PDEs (math.AP)
[130]  arXiv:1606.06340 (replaced) [pdf, ps, other]
Title: A note on stochastic Fubini's theorem and stochastic convolution
Subjects: Probability (math.PR); Functional Analysis (math.FA)
[131]  arXiv:1607.02242 (replaced) [pdf, other]
Title: Global topology of Weyl semimetals and Fermi arcs
Comments: 9 pages, 4 figures, JPhysA Highlight in 2017, Free access in 2018
Journal-ref: J.Phys.A: Math.Theor.(Letter) vol.50 (2017) 11LT01 (11pp)
Subjects: Mesoscale and Nanoscale Physics (cond-mat.mes-hall); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
[132]  arXiv:1607.07593 (replaced) [pdf, ps, other]
Title: On polynomially integrable planar outer billiards and curves with symmetry property
Comments: To appear in Mathematische Annalen. 26 pages. Minor improvement of presentation
Subjects: Dynamical Systems (math.DS); Algebraic Geometry (math.AG)
[133]  arXiv:1607.08717 (replaced) [pdf, ps, other]
Title: Stochastic invariance of closed sets with non-Lipschitz coefficients
Authors: Eduardo Abi Jaber (CEREMADE), Bruno Bouchard (CEREMADE), Camille Illand, Eduardo Jaber
Subjects: Probability (math.PR)
[134]  arXiv:1608.04722 (replaced) [pdf, other]
Title: Pretty Good State Transfer in Qubit Chains - The Heisenberg Hamiltonian
Comments: The first version of this paper made available on Arxiv contained the false claim that pretty good state transfer occurs between end vertices in a path of length $n$ where $n$ is a prime congruent to $1$ modulo $4$. This claim has been corrected in this version
Subjects: Quantum Physics (quant-ph); Combinatorics (math.CO)
[135]  arXiv:1609.05410 (replaced) [pdf, other]
Title: A new integrable equation valued on a Cayley-Dickson algebra
Comments: 21 pages. In this version we generalize the previous system using effectively the structure of the Cayley-Dickson algebra, adding an additional term to the previous one system. We also obtain one and two soliton solutions, in the octonionic case, from the B\"acklund transformation and give the associated Lax pair for the new general resulting system. We add some references
Subjects: Mathematical Physics (math-ph)
[136]  arXiv:1610.00545 (replaced) [pdf, ps, other]
Title: Various 3x3 Nonnegative Matrices with Prescribed Eigenvalues and Diagonal Entries
Comments: 32 pages
Journal-ref: Linear Algebra and its Applications 554(2018) 15-48
Subjects: Spectral Theory (math.SP); Rings and Algebras (math.RA)
[137]  arXiv:1610.01524 (replaced) [pdf, other]
Title: The argmin process of random walks, Brownian motion and Lévy processes
Comments: 36 pages, 4 figures and 1 table. This paper is published by this https URL
Journal-ref: Electro. J. Probab 23 (2018) no.60, 1-35
Subjects: Probability (math.PR)
[138]  arXiv:1610.05869 (replaced) [pdf, ps, other]
Title: The argmin process of random walks and Lévy processes
Comments: 12 pages. The paper is merged into arXiv:1610.01524
Subjects: Probability (math.PR)
[139]  arXiv:1612.00692 (replaced) [pdf, ps, other]
Title: Extremes of Multi-type Branching Random Walks: Heaviest Tail Wins
Subjects: Probability (math.PR)
[140]  arXiv:1612.08837 (replaced) [pdf, ps, other]
Title: Codes in the Space of Multisets---Coding for Permutation Channels with Impairments
Comments: 14 pages, 5 figures. v1: conference version (ISIT'17). v5: extended version (IEEE Trans. Inf. Theory), includes parts of arXiv:1409.5276
Journal-ref: IEEE Trans. Inf. Theory, vol. 64, no. 7, pp. 5156-5169, Jul. 2018
Subjects: Information Theory (cs.IT); Discrete Mathematics (cs.DM)
[141]  arXiv:1703.05930 (replaced) [pdf, other]
Title: An estimation for the lengths of reduction sequences of the $λμρθ$-calculus
Subjects: Logic (math.LO)
[142]  arXiv:1703.09460 (replaced) [pdf, ps, other]
Title: On Navier-Stokes-Korteweg and Euler-Korteweg Systems: Application to Quantum Fluids Models
Authors: Didier Bresch (LAMA), Marguerite Gisclon (LAMA), Ingrid Lacroix-Violet (LPP, RAPSODI)
Subjects: Analysis of PDEs (math.AP)
[143]  arXiv:1704.03535 (replaced) [pdf, other]
Title: On the Pervasiveness of Difference-Convexity in Optimization and Statistics
Subjects: Optimization and Control (math.OC)
[144]  arXiv:1704.04821 (replaced) [pdf, other]
Title: A second order equation for Schrödinger bridges with applications to the hot gas experiment and entropic transportation cost
Comments: to appear in Probability Theory and Related Fields
Subjects: Probability (math.PR); Functional Analysis (math.FA)
[145]  arXiv:1704.05342 (replaced) [pdf, ps, other]
Title: Self-similar minimizers of a branched transport functional
Authors: Michael Goldman (LJLL)
Comments: Indiana University Mathematics Journal, Indiana University Mathematics Journal, In press
Subjects: Analysis of PDEs (math.AP)
[146]  arXiv:1704.06733 (replaced) [pdf, ps, other]
Title: A fast second-order implicit difference method for time-space fractional advection-diffusion equation
Comments: 31 pages,12 tables,8 figures. arXiv admin note: text overlap with arXiv:1510.05089 by other authors
Subjects: Numerical Analysis (math.NA)
[147]  arXiv:1705.06060 (replaced) [pdf, ps, other]
Title: A metric version of Schlichting's Theorem
Subjects: Logic (math.LO)
[148]  arXiv:1706.03435 (replaced) [pdf, ps, other]
Title: The Number of Monodromy Representations of Abelian Varieties of Low $p$-Rank
Authors: Brett Frankel
Comments: Final version, now 17 pages. Corrected a sign error in the application of Theorem 1 to the case $n=k=2$. This computation has also been worked out explicitly, as an example of how to apply the theorem. Other minor changes. To appear in J. of Algebra
Subjects: Algebraic Geometry (math.AG); Group Theory (math.GR); Number Theory (math.NT)
[149]  arXiv:1706.04546 (replaced) [pdf, other]
Title: Reinforcement Learning with Budget-Constrained Nonparametric Function Approximation for Opportunistic Spectrum Access
Comments: 6 pages, submitted
Subjects: Information Theory (cs.IT); Learning (cs.LG); Machine Learning (stat.ML)
[150]  arXiv:1707.03430 (replaced) [pdf, ps, other]
Title: Résolution du $\partial\bar\partial$ pour les courants prolongeables définis dans un anneau
Comments: 8 pages, in French
Subjects: Complex Variables (math.CV)
[151]  arXiv:1707.05037 (replaced) [pdf, ps, other]
Title: The PSLQ Algorithm for Empirical Data
Comments: 23 pages; Math. Comp
Subjects: Symbolic Computation (cs.SC); Number Theory (math.NT)
[152]  arXiv:1707.06623 (replaced) [pdf, ps, other]
Title: On equivariant Serre problem for principal bundles
Comments: To appear in the International Journal of Mathematics
Subjects: Algebraic Geometry (math.AG); Complex Variables (math.CV)
[153]  arXiv:1707.07468 (replaced) [pdf, ps, other]
Title: Finite presheaves and $A$-finite generation of unstable algebras mod nilpotents
Authors: Geoffrey Powell
Comments: Slightly streamlined version, now 24 pages
Subjects: Algebraic Topology (math.AT)
[154]  arXiv:1707.07915 (replaced) [pdf, ps, other]
Title: Malliavin and dirichlet structures for independent random variables
Authors: Laurent Decreusefond (LTCI), Hélène Halconruy (LTCI)
Subjects: Probability (math.PR)
[155]  arXiv:1708.05452 (replaced) [pdf, ps, other]
Title: On the $K(π, 1)$-problem for restrictions of complex reflection arrangements
Comments: 20 pages; v2: small changes and further references added, in particular [AMR18], where examples of K(pi,1) arrangements are exhibited which admit restrictions that are not K(pi,1)
Subjects: Algebraic Topology (math.AT); Algebraic Geometry (math.AG); Group Theory (math.GR)
[156]  arXiv:1708.05881 (replaced) [pdf, ps, other]
Title: Virtual immersions and minimal hypersurfaces in compact symmetric spaces
Comments: New title, 18 pages, comments are welcome
Subjects: Differential Geometry (math.DG)
[157]  arXiv:1708.08049 (replaced) [pdf, ps, other]
Title: Martin's maximum and the non-stationary ideal
Subjects: Logic (math.LO)
[158]  arXiv:1709.08552 (replaced) [pdf, ps, other]
Title: Conic bundles and iterated root stacks
Authors: Jakob Oesinghaus
Comments: 9 pages. To be published in European Journal of Mathematics
Subjects: Algebraic Geometry (math.AG)
[159]  arXiv:1710.03259 (replaced) [pdf, ps, other]
Title: On complements of Kazhdan projections in semisimple groups
Comments: To appear in Studia Mathematica
Subjects: Group Theory (math.GR); Functional Analysis (math.FA); Operator Algebras (math.OA)
[160]  arXiv:1710.03989 (replaced) [pdf, other]
Title: Locally Lipschitz Vector Optimization Problems: Second-order Constraint Qualifications, Regularity Condition and KKT Necessary Optimality Conditions
Comments: 23 pages
Subjects: Optimization and Control (math.OC)
[161]  arXiv:1710.06491 (replaced) [pdf, ps, other]
Title: Open maps: small and large holes with unusual properties
Comments: 15 pages, no figures
Subjects: Dynamical Systems (math.DS)
[162]  arXiv:1710.09927 (replaced) [pdf, ps, other]
Title: T-duality of singular spacetime compactifications in an H-flux
Authors: Andrew Linshaw (1), Varghese Mathai (2) ((1) Denver, (2) Adelaide)
Comments: 13 pages. Free access in 2018
Journal-ref: J. Geom. Phys., vol. 129, no. 7 (2018) 269-278
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Differential Geometry (math.DG)
[163]  arXiv:1710.10353 (replaced) [pdf, ps, other]
Title: A Novikov fundamental group
Comments: 39 pages, 4 drawings (inkscape) Added a discussion of an Hurewicz morphism and examples
Subjects: Geometric Topology (math.GT); Differential Geometry (math.DG); Symplectic Geometry (math.SG)
[164]  arXiv:1711.03973 (replaced) [pdf, other]
Title: Punctures and Dynamical Systems
Comments: v2: 52 pages, 7 figures, clarifications and references added
Subjects: High Energy Physics - Theory (hep-th); Dynamical Systems (math.DS)
[165]  arXiv:1711.06015 (replaced) [pdf, ps, other]
Title: Semiconductor Boltzmann-Dirac-Benney equation with BGK-type collision operator: existence of solutions vs. ill-posedness
Authors: Marcel Braukhoff
Subjects: Analysis of PDEs (math.AP)
[166]  arXiv:1711.09132 (replaced) [pdf, other]
Title: Multiparameter Gaussian Quantum Metrology
Comments: 14 pages, 3 figures; expanded and updated; to appear in Physical Review A
Subjects: Quantum Physics (quant-ph); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Instrumentation and Detectors (physics.ins-det); Optics (physics.optics)
[167]  arXiv:1711.09170 (replaced) [pdf, other]
Title: Local unitary periods and relative discrete series
Comments: 30 pages, to appear in the Pacific Journal of Mathematics. In version 2: Section 5.4 added; Proposition 5.12 improved; some results in Section 5.3 renumbered; bibliography updated; several typos corrected. This work extends the results of arXiv:1703.03450 via similar methods
Subjects: Representation Theory (math.RT)
[168]  arXiv:1711.09990 (replaced) [pdf, ps, other]
Title: Identification of Strong Edges in AMP Chain Graphs
Authors: Jose M. Peña
Comments: arXiv admin note: text overlap with arXiv:1303.0691
Journal-ref: UAI 2018
Subjects: Combinatorics (math.CO); Artificial Intelligence (cs.AI)
[169]  arXiv:1712.01016 (replaced) [pdf, ps, other]
Title: On data recovery with restraints on the spectrum range and the process range
Subjects: Information Theory (cs.IT)
[170]  arXiv:1712.06182 (replaced) [pdf, ps, other]
Title: Multiscale analysis of singularly perturbed finite dimensional gradient flows: the minimizing movement approach
Subjects: Analysis of PDEs (math.AP)
[171]  arXiv:1712.07098 (replaced) [pdf, ps, other]
Title: Extending the Double Ramification Cycle using Jacobians
Comments: 13 pages. Final version
Journal-ref: Holmes, D., Kass, J.L. & Pagani, N. European Journal of Mathematics (2018)
Subjects: Algebraic Geometry (math.AG)
[172]  arXiv:1712.08564 (replaced) [pdf, other]
Title: Minimal surfaces from infinitesimal deformations of circle packings
Authors: Wai Yeung Lam
Comments: 15 pages
Subjects: Complex Variables (math.CV); Differential Geometry (math.DG); Metric Geometry (math.MG)
[173]  arXiv:1801.00396 (replaced) [pdf, ps, other]
Title: Towards multifractional calculus
Comments: 10 pages; v2: small clarifications and references added
Journal-ref: Front. Phys. 6 (2018) 58
Subjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th)
[174]  arXiv:1801.01265 (replaced) [pdf, other]
Title: Improved Bounds on Lossless Source Coding and Guessing Moments via Rényi Measures
Comments: This paper was published in the IEEE Trans. on Information Theory, vol. 64, no. 6, pp. 4323-4346, June 2018. The current version is a post-print which includes few corrections of printing typos
Subjects: Information Theory (cs.IT)
[175]  arXiv:1801.04504 (replaced) [pdf, other]
Title: Non-Orthogonal Multiple Access for mmWave Drone Networks with Limited Feedback
Subjects: Information Theory (cs.IT)
[176]  arXiv:1801.08619 (replaced) [pdf, ps, other]
Title: Local extension property for finite height spaces
Comments: 16 pages, no figures
Subjects: Functional Analysis (math.FA)
[177]  arXiv:1802.06054 (replaced) [pdf, other]
Title: Learning Patterns for Detection with Multiscale Scan Statistics
Authors: James Sharpnack
Subjects: Statistics Theory (math.ST); Information Theory (cs.IT); Methodology (stat.ME)
[178]  arXiv:1802.10300 (replaced) [pdf, other]
Title: Edge Partitions of Optimal $2$-plane and $3$-plane Graphs
Subjects: Combinatorics (math.CO)
[179]  arXiv:1803.00393 (replaced) [pdf, ps, other]
Title: Lifespan of Solution to MHD Boundary Layer Equations with Analytic Perturbation of General Shear Flow
Authors: Feng Xie, Tong Yang
Comments: 25 pages
Subjects: Analysis of PDEs (math.AP)
[180]  arXiv:1803.02615 (replaced) [pdf, other]
Title: A Novel Canonical Duality Theory for Solving 3-D Topology Optimization Problems
Comments: 32 pages, 11 figures, 10 tables
Subjects: Optimization and Control (math.OC)
[181]  arXiv:1803.04326 (replaced) [pdf, ps, other]
Title: Geometric Brauer residue via root stacks
Authors: Jakob Oesinghaus
Comments: 9 pages. Published in Res. Math. Sci
Journal-ref: Res Math Sci (2018) 5: 28
Subjects: Algebraic Geometry (math.AG)
[182]  arXiv:1803.07099 (replaced) [pdf, ps, other]
Title: Varieties of coarse spaces
Authors: Igor Protasov
Comments: coarse structure,coarse space, ballean, varieties of coarse spaces
Subjects: General Topology (math.GN)
[183]  arXiv:1803.07319 (replaced) [pdf, ps, other]
Title: Wigner measures and effective mass theorems
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
[184]  arXiv:1803.11120 (replaced) [pdf, other]
Title: Hyperbolic vortices and Dirac fields in 2+1 dimensions
Comments: 27 pages, 5 figures, J Phys A accepted version
Subjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
[185]  arXiv:1804.04106 (replaced) [pdf, ps, other]
Title: On skew braces and their ideals
Comments: 15 pages. Accepted for publication in Experimental Mathematics
Subjects: Rings and Algebras (math.RA); Group Theory (math.GR); Quantum Algebra (math.QA)
[186]  arXiv:1804.07146 (replaced) [pdf, ps, other]
Title: On the distribution of random words in a compact Lie group
Comments: 10 pages
Subjects: Probability (math.PR)
[187]  arXiv:1804.10407 (replaced) [pdf, ps, other]
Title: Characterization of half-radial matrices
Comments: 17 pages
Subjects: Numerical Analysis (math.NA)
[188]  arXiv:1804.11010 (replaced) [pdf, ps, other]
Title: A Matrix Gaussian Distribution
Authors: Shane Barratt
Comments: 4 pages
Subjects: Probability (math.PR)
[189]  arXiv:1805.02607 (replaced) [pdf, other]
Title: Pointwise ergodic theorem for locally countable quasi-pmp graphs
Authors: Anush Tserunyan
Comments: Added to the introduction a discussion of existing results about pointwise ergodic theorems for quasi-actions
Subjects: Dynamical Systems (math.DS); Logic (math.LO)
[190]  arXiv:1805.02624 (replaced) [pdf, other]
Title: On constrictions of phase-lock areas in model of overdamped Josephson effect and transition matrix of double confluent Heun equation
Authors: Alexey Glutsyuk
Comments: To appear in the Journal of Dynamical and Control Systems; 39 pages, 9 figures. Minor improvements, new bibliographic references
Subjects: Dynamical Systems (math.DS)
[191]  arXiv:1805.03963 (replaced) [pdf, ps, other]
Title: Monotone Learning with Rectified Wire Networks
Comments: 37 pages, 19 figures, improved section 3
Subjects: Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC); Machine Learning (stat.ML)
[192]  arXiv:1805.06996 (replaced) [pdf, ps, other]
Title: Finite groups in integral group rings
Authors: Ángel del Río
Comments: 22 pages. Notes used for a course held in 2016 in the School of Advances in Group Theory and Applications and for some lectures given in 2018 for the students of the Master in Mathematics of the Vrije Universiteit Brussels. We revise some problems on the study of finite subgroups of the group of units of integral group rings of finite groups and some techniques to attack them
Subjects: Rings and Algebras (math.RA)
[193]  arXiv:1805.08830 (replaced) [pdf, ps, other]
Title: A note on Stein's method on the third and fourth Wiener chaoses
Authors: Robert E. Gaunt
Comments: 14 pages
Subjects: Probability (math.PR)
[194]  arXiv:1805.09506 (replaced) [pdf, other]
Title: A descriptive construction of trees and Stallings' theorem
Authors: Anush Tserunyan
Comments: Cosmetic changes
Subjects: Group Theory (math.GR); Dynamical Systems (math.DS); Logic (math.LO)
[195]  arXiv:1805.09671 (replaced) [pdf, other]
Title: Computing the ideal class monoid of an order
Comments: 22 pages, 3 figures, added Section "Algorithms", added reference for Thm 8.1
Subjects: Number Theory (math.NT)
[196]  arXiv:1806.00725 (replaced) [pdf, other]
Title: Integrated Tempering Enhanced Sampling Method as the Infinite Switching Limit of Simulated Tempering
Comments: 9 pages, 3 figures
Subjects: Numerical Analysis (math.NA); Chemical Physics (physics.chem-ph); Computational Physics (physics.comp-ph)
[197]  arXiv:1806.00876 (replaced) [pdf, ps, other]
Title: A modular-invariant modified Weierstrass sigma-function as a building block for lowest-Landau-level wavefunctions on the torus
Authors: F. D. M. Haldane
Comments: 5 pages, no figures. Revised to reference and describe a connection to Eisenstein's "periodic completion"of the Weierstrass zeta function
Subjects: Mathematical Physics (math-ph); Strongly Correlated Electrons (cond-mat.str-el)
[198]  arXiv:1806.02735 (replaced) [pdf, ps, other]
Title: Supercongruences concerning truncated hypergeometric series
Authors: Chen Wang, Hao Pan
Comments: This is a preliminary manuscript. Theorem 1.2 is added
Subjects: Number Theory (math.NT); Combinatorics (math.CO)
[199]  arXiv:1806.04901 (replaced) [pdf, other]
Title: Finsler Hardy inequalities
Comments: 31 pages. We add "Note added to Proof" in Introduction and several references
Subjects: Analysis of PDEs (math.AP)
[200]  arXiv:1806.05175 (replaced) [pdf, ps, other]
Title: A Cesàro Average of generalised Hardy-Littlewood numbers
Comments: submitted. One reference updated. arXiv admin note: substantial text overlap with arXiv:1206.0255, arXiv:1806.04930
Subjects: Number Theory (math.NT)
[201]  arXiv:1806.05373 (replaced) [pdf, ps, other]
Title: Short intervals asymptotic formulae for binary problems with prime powers
Comments: Accepted (Nov. 2017) for publication in Journal de Theorie des Nombres de Bordeaux. Two references updated
Subjects: Number Theory (math.NT)
[202]  arXiv:1806.05399 (replaced) [pdf, ps, other]
Title: Non-Gaussian Random Matrix Models for Two-faced Families of Random Variables Having Bi-free Central Limit Distributions
Authors: Mingchu Gao
Comments: 12 pages
Subjects: Operator Algebras (math.OA)
[203]  arXiv:1806.05416 (replaced) [pdf, ps, other]
Title: An Identity for the Partition Function Involving Parts of k Different Magnitudes
Authors: Saud Hussein
Subjects: Number Theory (math.NT)
[204]  arXiv:1806.06289 (replaced) [pdf, other]
Title: A database of nonhyperelliptic genus 3 curves over Q
Comments: minor corrections to section 5; 12 pages
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
[205]  arXiv:1806.07040 (replaced) [pdf, ps, other]
Title: Defective and Clustered Colouring of Sparse Graphs
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
[206]  arXiv:1806.07652 (replaced) [pdf, ps, other]
Title: Borderline regularity for fully nonlinear equations in Dini domains
Comments: a few typos corrected
Subjects: Analysis of PDEs (math.AP)
[207]  arXiv:1806.07795 (replaced) [pdf, ps, other]
Title: Sedimentation of particles in Stokes flow
Authors: Amina Mecherbet
Subjects: Analysis of PDEs (math.AP)
[ total of 207 entries: 1-207 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)