1,471 results
Search Results
2. Local Restrictions from the Furst-Saxe-Sipser Paper
- Author
-
Osamu Watanabe and Suguru Tamaki
- Subjects
Discrete mathematics ,Computational complexity theory ,Parity function ,True quantified Boolean formula ,Boolean circuit ,010102 general mathematics ,0102 computer and information sciences ,01 natural sciences ,Theoretical Computer Science ,Combinatorics ,Computational Theory and Mathematics ,010201 computation theory & mathematics ,Bounded function ,Theory of computation ,Isomorphism ,0101 mathematics ,Boolean satisfiability problem ,Mathematics - Abstract
In their celebrated paper (Furst et al., Math. Syst. Theory 17(1), 13---27 (12)), Furst, Saxe, and Sipser used random restrictions to reveal the weakness of Boolean circuits of bounded depth, establishing that constant-depth and polynomial-size circuits cannot compute the parity function. Such local restrictions have played important roles and have found many applications in complexity analysis and algorithm design over the past three decades. In this article, we give a brief overview of two intriguing applications of local restrictions: the first one is for the Isomorphism Conjecture and the second one is for moderately exponential time algorithms for the Boolean formula satisfiability problem.
- Published
- 2016
3. On D.Y. Gao and X. Lu paper 'On the extrema of a nonconvex functional with double-well potential in 1D'
- Author
-
Constantin Zălinescu
- Subjects
021103 operations research ,Applied Mathematics ,General Mathematics ,0211 other engineering and technologies ,General Physics and Astronomy ,Double-well potential ,02 engineering and technology ,Space (mathematics) ,01 natural sciences ,010101 applied mathematics ,Combinatorics ,Maxima and minima ,35J20, 35J60, 74G65, 74S30 ,Optimization and Control (math.OC) ,FOS: Mathematics ,Preprint ,0101 mathematics ,Constant (mathematics) ,Mathematics - Optimization and Control ,Subspace topology ,Mathematics - Abstract
The aim of this paper is to discuss the main result in the paper by D.Y. Gao and X. Lu [On the extrema of a nonconvex functional with double-well potential in 1D, Z. Angew. Math. Phys. (2016) 67:62]. More precisely we provide a detailed study of the problem considered in that paper, pointing out the importance of the norm on the space $C^{1}[a,b]$; because no norm (topology) is mentioned on $C^{1}[a,b]$ we look at it as being a subspace of $W^{1,p}(a,b)$ for $p\in [1,\infty]$ endowed with its usual norm. We show that the objective function has not local extrema with the mentioned constraints for $p\in [1,4)$, and has (up to an additive constant) only a local maximizer for $p=\infty$, unlike the conclusion of the main result of the discussed paper where it is mentioned that there are (up to additive constants) two local minimizers and a local maximizer. We also show that the same conclusions are valid for the similar problem treated in the preprint by X. Lu and D.Y. Gao [On the extrema of a nonconvex functional with double-well potential in higher dimensions, arXiv:1607.03995]., 12 pages; in this version we added the forgotten condition $F(x) \ne 0$ for $x\in (a,b)$ on page 3
- Published
- 2017
4. A Question from a Famous Paper of Erdős
- Author
-
Edgardo Roldán-Pensado and Imre Bárány
- Subjects
010102 general mathematics ,Convex curve ,Regular polygon ,01 natural sciences ,Upper and lower bounds ,Theoretical Computer Science ,Combinatorics ,Computational Theory and Mathematics ,Discrete Mathematics and Combinatorics ,Convex body ,Point (geometry) ,Geometry and Topology ,0101 mathematics ,Mathematics - Abstract
Given a convex body $$K$$K, consider the smallest number $$N$$N so that there is a point $$P\in \partial K$$PźźK such that every circle centred at $$P$$P intersects $$\partial K$$źK in at most $$N$$N points. In 1946 Erdźs conjectured that $$N=2$$N=2 for all $$K$$K, but there are convex bodies for which this is not the case. As far as we know there is no known global upper bound. We show that no convex body has $$N=\infty $$N=ź and that there are convex bodies for which $$N = 6$$N=6.
- Published
- 2013
5. Short-Time Heat Content Asymptotics via the Wave and Eikonal Equations
- Author
-
Nathanael Schilling
- Subjects
Eikonal equation ,010102 general mathematics ,Short paper ,Boundary (topology) ,Function (mathematics) ,01 natural sciences ,ddc ,Combinatorics ,Mathematics - Analysis of PDEs ,Differential geometry ,0103 physical sciences ,Content (measure theory) ,FOS: Mathematics ,010307 mathematical physics ,Geometry and Topology ,0101 mathematics ,Analysis of PDEs (math.AP) ,Mathematics - Abstract
In this short paper, we derive an alternative proof for some known (van den Berg & Gilkey 2015) short-time asymptotics of the heat content in a compact full-dimensional submanifolds S with smooth boundary. This includes formulae like $$\begin{aligned} \int _{S} \exp (t\Delta ) (f \mathbb {1}_{S}) \,\mathrm {d}V= \int _S f \,\mathrm {d}V- \sqrt{\frac{t}{\pi }} \int _{\partial S} f \,\mathrm {d}A+ o(\sqrt{t}),\quad t \rightarrow 0^+, \end{aligned}$$ ∫ S exp ( t Δ ) ( f 1 S ) d V = ∫ S f d V - t π ∫ ∂ S f d A + o ( t ) , t → 0 + , and explicit expressions for similar expansions involving other powers of $$\sqrt{t}$$ t . By the same method, we also obtain short-time asymptotics of $$\int _S \exp (t^m\Delta ^m)(f \mathbb {1}_S)\,\mathrm {d}V$$ ∫ S exp ( t m Δ m ) ( f 1 S ) d V , $$m \in \mathbb N$$ m ∈ N , and more generally for one-parameter families of operators $$t \mapsto k(\sqrt{-t\Delta })$$ t ↦ k ( - t Δ ) defined by an even Schwartz function k.
- Published
- 2020
6. d-Hermite rings and skew $$\textit{PBW}$$ PBW extensions
- Author
-
Oswaldo Lezama and Claudia Gallego
- Subjects
Hermite polynomials ,Rank (linear algebra) ,General Mathematics ,010102 general mathematics ,Short paper ,Skew ,010103 numerical & computational mathematics ,01 natural sciences ,Combinatorics ,symbols.namesake ,Computational Theory and Mathematics ,Kronecker delta ,symbols ,Kronecker's theorem ,Finitely-generated abelian group ,0101 mathematics ,Statistics, Probability and Uncertainty ,Mathematics - Abstract
In this short paper we study the d-Hermite condition about stably free modules for skew $$\textit{PBW}$$ extensions. For this purpose, we estimate the stable rank of these non-commutative rings. In addition, and closely related with these questions, we will prove Kronecker’s theorem about the radical of finitely generated ideals for some particular types of skew $$\textit{PBW}$$ extensions.
- Published
- 2015
7. Maximal families of nodal varieties with defect
- Author
-
REMKE NANNE KLOOSTERMAN
- Subjects
Surface (mathematics) ,Double cover ,Degree (graph theory) ,Plane (geometry) ,General Mathematics ,010102 general mathematics ,01 natural sciences ,Combinatorics ,Mathematics - Algebraic Geometry ,Hypersurface ,0103 physical sciences ,FOS: Mathematics ,010307 mathematical physics ,0101 mathematics ,NODAL ,Algebraic Geometry (math.AG) ,Mathematics - Abstract
In this paper we prove that a nodal hypersurface in P^4 with defect has at least (d-1)^2 nodes, and if it has at most 2(d-2)(d-1) nodes and d>6 then it contains either a plane or a quadric surface. Furthermore, we prove that a nodal double cover of P^3 ramified along a surface of degree 2d with defect has at least d(2d-1) nodes. We construct the largest dimensional family of nodal degree d hypersurfaces in P^(2n+2) with defect for d sufficiently large., v2: A proof for the Ciliberto-Di Gennaro conjecture is added (Section 5); Some minor corrections in the other sections. v3: some minor corrections in the abstract v4: The proof for the Ciliberto-Di Gennaro conjecture has been modified; The paper is split into two parts, the complete intersection case will be discussed in a different paper
- Published
- 2021
8. A matrix-less method to approximate the spectrum and the spectral function of Toeplitz matrices with real eigenvalues
- Author
-
Sven-Erik Ekström and P. Vassalos
- Subjects
Beräkningsmatematik ,Applied Mathematics ,010102 general mathematics ,Generating function ,Order (ring theory) ,Asymptotic expansion ,Spectral analysis ,Numerical Analysis (math.NA) ,010103 numerical & computational mathematics ,Function (mathematics) ,Type (model theory) ,01 natural sciences ,Toeplitz matrix ,Combinatorics ,Computational Mathematics ,Matrix (mathematics) ,Toeplitz matrices ,FOS: Mathematics ,Mathematics - Numerical Analysis ,0101 mathematics ,Structured matrices ,Eigenvalues and eigenvectors ,Mathematics - Abstract
It is known that the generating function f of a sequence of Toeplitz matrices {Tn(f)}n may not describe the asymptotic distribution of the eigenvalues of Tn(f) if f is not real. In this paper, we assume as a working hypothesis that, if the eigenvalues of Tn(f) are real for all n, then they admit an asymptotic expansion of the same type as considered in previous works, where the first function, called the eigenvalue symbol $\mathfrak {f}$ f , appearing in this expansion is real and describes the asymptotic distribution of the eigenvalues of Tn(f). This eigenvalue symbol $\mathfrak {f}$ f is in general not known in closed form. After validating this working hypothesis through a number of numerical experiments, we propose a matrix-less algorithm in order to approximate the eigenvalue distribution function $\mathfrak {f}$ f . The proposed algorithm, which opposed to previous versions, does not need any information about neither f nor $\mathfrak {f}$ f is tested on a wide range of numerical examples; in some cases, we are even able to find the analytical expression of $\mathfrak {f}$ f . Future research directions are outlined at the end of the paper.
- Published
- 2021
9. Slice Fueter-Regular Functions
- Author
-
Riccardo Ghiloni
- Subjects
Fueter-regular functions ,Laurent series ,Dirac operators ,Holomorphic function ,01 natural sciences ,Axially monogenic functions ,Combinatorics ,0103 physical sciences ,FOS: Mathematics ,Slice functions ,Slice regular functions ,Vekua systems ,Complex Variables (math.CV) ,0101 mathematics ,Cauchy's integral formula ,Mathematics ,Degree (graph theory) ,Mathematics - Complex Variables ,Mathematics::Complex Variables ,010102 general mathematics ,Subalgebra ,Zero (complex analysis) ,Order (ring theory) ,30G35 (Primary) 32A30, 30E20, 30C80, 17A35 (Secondary) ,Maximum modulus principle ,010307 mathematical physics ,Geometry and Topology - Abstract
Slice Fueter-regular functions, originally called slice Dirac-regular functions, are generalized holomorphic functions defined over the octonion algebra $\mathbb{O}$, recently introduced by M. Jin, G. Ren and I. Sabadini. A function $f:\Omega_D\subset\mathbb{O}\to\mathbb{O}$ is called (quaternionic) slice Fueter-regular if, given any quaternionic subalgebra $\mathbb{H}_\mathbb{I}$ of $\mathbb{O}$ generated by a pair $\mathbb{I}=(I,J)$ of orthogonal imaginary units $I$ and $J$ ($\mathbb{H}_\mathbb{I}$ is a `quaternionic slice' of $\mathbb{O}$), the restriction of $f$ to $\Omega_D\cap\mathbb{H}_\mathbb{I}$ belongs to the kernel of the corresponding Cauchy-Riemann-Fueter operator $\frac{\partial}{\partial x_0}+I\frac{\partial}{\partial x_1}+J\frac{\partial}{\partial x_2}+(IJ)\frac{\partial}{\partial x_3}$. The goal of this paper is to show that slice Fueter-regular functions are standard (complex) slice functions, whose stem functions satisfy a Vekua system having exactly the same form of the one characterizing axially monogenic functions of degree zero. The mentioned standard sliceness of slice Fueter-regular functions is able to reveal their `holomorphic nature': slice Fueter-regular functions have Cauchy integral formulas, Taylor and Laurent series expansions, and a version of Maximum Modulus Principle, and each of these properties is global in the sense that it is true on genuine $8$-dimesional domains of $\mathbb{O}$. Slice Fueter-regular functions are real analytic. Furthermore, we introduce the global concepts of spherical Dirac operator $\Gamma$ and of slice Fueter operator $\bar{\vartheta}_F$ over octonions, which allow to characterize slice Fueter-regular functions as the $\mathscr{C}^2$-functions in the kernel of $\bar{\vartheta}_F$ satisfying a second order differential system associated with $\Gamma$. The paper contains eight open problems., Comment: 33 pages
- Published
- 2021
10. Combinatorial invariants for nets of conics in $$\mathrm {PG}(2,q)$$
- Author
-
Tomasz Popiel, John Sheekey, and Michel Lavrauw
- Subjects
Quadric ,Distribution (number theory) ,Applied Mathematics ,010102 general mathematics ,0102 computer and information sciences ,Rank (differential topology) ,Net (mathematics) ,01 natural sciences ,Computer Science Applications ,Combinatorics ,Finite field ,010201 computation theory & mathematics ,Conic section ,Projective plane ,0101 mathematics ,Orbit (control theory) ,Mathematics - Abstract
The problem of classifying linear systems of conics in projective planes dates back at least to Jordan, who classified pencils (one-dimensional systems) of conics over $${\mathbb {C}}$$ C and $$\mathbb {R}$$ R in 1906–1907. The analogous problem for finite fields $$\mathbb {F}_q$$ F q with q odd was solved by Dickson in 1908. In 1914, Wilson attempted to classify nets (two-dimensional systems) of conics over finite fields of odd characteristic, but his classification was incomplete and contained some inaccuracies. In a recent article, we completed Wilson’s classification (for q odd) of nets of rank one, namely those containing a repeated line. The aim of the present paper is to introduce and calculate certain combinatorial invariants of these nets, which we expect will be of use in various applications. Our approach is geometric in the sense that we view a net of rank one as a plane in $$\mathrm {PG}(5,q)$$ PG ( 5 , q ) , q odd, that meets the quadric Veronesean in at least one point; two such nets are then equivalent if and only if the corresponding planes belong to the same orbit under the induced action of $$\mathrm {PGL}(3,q)$$ PGL ( 3 , q ) viewed as a subgroup of $$\mathrm {PGL}(6,q)$$ PGL ( 6 , q ) . Since q is odd, the orbits of lines in $$\mathrm {PG}(5,q)$$ PG ( 5 , q ) under this action correspond to the aforementioned pencils of conics in $$\mathrm {PG}(2,q)$$ PG ( 2 , q ) . The main contribution of this paper is to determine the line-orbit distribution of a plane $$\pi $$ π corresponding to a net of rank one, namely, the number of lines in $$\pi $$ π belonging to each line orbit. It turns out that this list of invariants completely determines the orbit of $$\pi $$ π , and we will use this fact in forthcoming work to develop an efficient algorithm for calculating the orbit of a given net of rank one. As a more immediate application, we also determine the stabilisers of nets of rank one in $$\mathrm {PGL}(3,q)$$ PGL ( 3 , q ) , and hence the orbit sizes.
- Published
- 2021
11. On the size of subsets of $$\mathbb{F}_p^n$$ without p distinct elements summing to zero
- Author
-
Lisa Sauermann
- Subjects
Mathematics - Number Theory ,General Mathematics ,media_common.quotation_subject ,010102 general mathematics ,Zero (complex analysis) ,Lattice (group) ,0102 computer and information sciences ,Infinity ,01 natural sciences ,Upper and lower bounds ,Prime (order theory) ,Combinatorics ,Integer ,010201 computation theory & mathematics ,FOS: Mathematics ,Mathematics - Combinatorics ,Maximum size ,Combinatorics (math.CO) ,Number Theory (math.NT) ,0101 mathematics ,Constant (mathematics) ,media_common ,Mathematics - Abstract
Let us fix a prime $p$. The Erd\H{o}s-Ginzburg-Ziv problem asks for the minimum integer $s$ such that any collection of $s$ points in the lattice $\mathbb{Z}^n$ contains $p$ points whose centroid is also a lattice point in $\mathbb{Z}^n$. For large $n$, this is essentially equivalent to asking for the maximum size of a subset of $\mathbb{F}_p^n$ without $p$ distinct elements summing to zero. In this paper, we give a new upper bound for this problem for any fixed prime $p\geq 5$ and large $n$. In particular, we prove that any subset of $\mathbb{F}_p^n$ without $p$ distinct elements summing to zero has size at most $C_p\cdot \left(2\sqrt{p}\right)^n$, where $C_p$ is a constant only depending on $p$. For $p$ and $n$ going to infinity, our bound is of the form $p^{(1/2)\cdot (1+o(1))n}$, whereas all previously known upper bounds were of the form $p^{(1-o(1))n}$ (with $p^n$ being a trivial bound). Our proof uses the so-called multi-colored sum-free theorem which is a consequence of the Croot-Lev-Pach polynomial method. This method and its consequences were already applied by Naslund as well as by Fox and the author to prove bounds for the problem studied in this paper. However, using some key new ideas, we significantly improve their bounds., Comment: 11 pages
- Published
- 2021
12. Approximations in $$L^1$$ with convergent Fourier series
- Author
-
Michael Ruzhansky, Zhirayr Avetisyan, and M. G. Grigoryan
- Subjects
Measurable function ,General Mathematics ,010102 general mathematics ,Hausdorff space ,Second-countable space ,Space (mathematics) ,01 natural sciences ,Functional Analysis (math.FA) ,Separable space ,Mathematics - Functional Analysis ,010101 applied mathematics ,Combinatorics ,Mathematics and Statistics ,Bounded function ,41A99, 43A15, 43A50, 43A85, 46E30 ,Homogeneous space ,FOS: Mathematics ,Orthonormal basis ,0101 mathematics ,Mathematics - Abstract
For a separable finite diffuse measure space $${\mathcal {M}}$$ M and an orthonormal basis $$\{\varphi _n\}$$ { φ n } of $$L^2({\mathcal {M}})$$ L 2 ( M ) consisting of bounded functions $$\varphi _n\in L^\infty ({\mathcal {M}})$$ φ n ∈ L ∞ ( M ) , we find a measurable subset $$E\subset {\mathcal {M}}$$ E ⊂ M of arbitrarily small complement $$|{\mathcal {M}}{\setminus } E| | M \ E | < ϵ , such that every measurable function $$f\in L^1({\mathcal {M}})$$ f ∈ L 1 ( M ) has an approximant $$g\in L^1({\mathcal {M}})$$ g ∈ L 1 ( M ) with $$g=f$$ g = f on E and the Fourier series of g converges to g, and a few further properties. The subset E is universal in the sense that it does not depend on the function f to be approximated. Further in the paper this result is adapted to the case of $${\mathcal {M}}=G/H$$ M = G / H being a homogeneous space of an infinite compact second countable Hausdorff group. As a useful illustration the case of n-spheres with spherical harmonics is discussed. The construction of the subset E and approximant g is sketched briefly at the end of the paper.
- Published
- 2021
13. High perturbations of quasilinear problems with double criticality
- Author
-
Prashanta Garain, Vicenţiu D. Rădulescu, Claudianor O. Alves, Universidade Federal de Campina Grande, Department of Mathematics and Systems Analysis, AGH University of Science and Technology, Aalto-yliopisto, and Aalto University
- Subjects
General Mathematics ,010102 general mathematics ,01 natural sciences ,Omega ,010101 applied mathematics ,Combinatorics ,Qualitative analysis ,Variational methods ,Domain (ring theory) ,Musielak–Sobolev space ,Nabla symbol ,0101 mathematics ,Quasilinear problems ,Mathematics - Abstract
This paper is concerned with the qualitative analysis of solutions to the following class of quasilinear problems $$\begin{aligned} \left\{ \begin{array}{ll} -\Delta _{\Phi }u=f(x,u) &{}\quad \text {in } \Omega ,\\ u=0 &{}\quad \text {on }\partial \Omega , \end{array} \right. \end{aligned}$$ - Δ Φ u = f ( x , u ) in Ω , u = 0 on ∂ Ω , where $$\Delta _{\Phi }u=\mathrm{div}\,(\varphi (x,|\nabla u|)\nabla u)$$ Δ Φ u = div ( φ ( x , | ∇ u | ) ∇ u ) and $$\Phi (x,t)=\int _{0}^{|t|}\varphi (x,s)s\,ds$$ Φ ( x , t ) = ∫ 0 | t | φ ( x , s ) s d s is a generalized N-function. We assume that $$\Omega \subset {\mathbb {R}}^N$$ Ω ⊂ R N is a smooth bounded domain that contains two open regions $$\Omega _N,\Omega _p$$ Ω N , Ω p with $${\overline{\Omega }}_N \cap {\overline{\Omega }}_p=\emptyset $$ Ω ¯ N ∩ Ω ¯ p = ∅ . The features of this paper are that $$-\Delta _{\Phi }u$$ - Δ Φ u behaves like $$-\Delta _N u $$ - Δ N u on $$\Omega _N$$ Ω N and $$-\Delta _p u $$ - Δ p u on $$\Omega _p$$ Ω p , and that the growth of $$f:\Omega \times {\mathbb {R}} \rightarrow {\mathbb {R}}$$ f : Ω × R → R is like that of $$e^{\alpha |t|^{\frac{N}{N-1}}}$$ e α | t | N N - 1 on $$\Omega _N$$ Ω N and as $$|t|^{p^{*}-2}t$$ | t | p ∗ - 2 t on $$\Omega _p$$ Ω p when |t| is large enough. The main result establishes the existence of solutions in a suitable Musielak–Sobolev space in the case of high perturbations with respect to the values of a positive parameter.
- Published
- 2021
14. The Scaling Limit of the Directed Polymer with Power-Law Tail Disorder
- Author
-
Hubert Lacoin, Quentin Berger, Laboratoire de Probabilités, Statistiques et Modélisations (LPSM (UMR_8001)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université de Paris (UP), Sorbonne Université (SU), Instituto Nacional de Matemática Pura e Aplicada (IMPA), and Instituto Nacional de matematica pura e aplicada
- Subjects
Physics ,Probability (math.PR) ,010102 general mathematics ,FOS: Physical sciences ,Statistical and Nonlinear Physics ,Field (mathematics) ,Mathematical Physics (math-ph) ,Random walk ,01 natural sciences ,60K35, 82B44, 60G57 ,[MATH.MATH-PR]Mathematics [math]/Probability [math.PR] ,Combinatorics ,Distribution (mathematics) ,Scaling limit ,[MATH.MATH-MP]Mathematics [math]/Mathematical Physics [math-ph] ,Product (mathematics) ,0103 physical sciences ,FOS: Mathematics ,010307 mathematical physics ,Continuum (set theory) ,0101 mathematics ,Random variable ,Mathematics - Probability ,Mathematical Physics ,Intensity (heat transfer) - Abstract
In this paper, we study the so-called intermediate disorder regime for a directed polymer in a random environment with heavy-tail. Consider a simple symmetric random walk $(S_n)_{n\geq 0}$ on $\mathbb{Z}^d$, with $d\geq 1$, and modify its law using Gibbs weights in the product form $\prod_{n=1}^{N} (1+\beta\eta_{n,S_n})$, where $(\eta_{n,x})_{n\ge 0, x\in \mathbb{Z}^d}$ is a field of i.i.d. random variables whose distribution satisfies $\mathbb{P}(\eta>z) \sim z^{-\alpha}$ as $z\to\infty$, for some $\alpha\in(0,2)$. We prove that if $\alpha< \min(1+\frac{2}{d},2)$, when sending $N$ to infinity and rescaling the disorder intensity by taking $\beta=\beta_N \sim N^{-\gamma}$ with $\gamma =\frac{d}{2\alpha}(1+\frac{2}{d}-\alpha)$, the distribution of the trajectory under diffusive scaling converges in law towards a random limit, which is the continuum polymer with L\'evy $\alpha$-stable noise constructed in the companion paper arXiv:2007.06484., Comment: 48 pages, comments are welcome
- Published
- 2021
15. On the pair correlations of powers of real numbers
- Author
-
Christoph Aistleitner and Simon Baker
- Subjects
11K06, 11K60 ,General Mathematics ,Modulo ,FOS: Physical sciences ,0102 computer and information sciences ,Lebesgue integration ,01 natural sciences ,Combinatorics ,symbols.namesake ,Pair correlation ,FOS: Mathematics ,Number Theory (math.NT) ,0101 mathematics ,Algebra over a field ,Classical theorem ,Mathematical Physics ,Real number ,Mathematics ,Sequence ,Mathematics - Number Theory ,Probability (math.PR) ,010102 general mathematics ,Mathematical Physics (math-ph) ,010201 computation theory & mathematics ,symbols ,Martingale (probability theory) ,Mathematics - Probability - Abstract
A classical theorem of Koksma states that for Lebesgue almost every $x>1$ the sequence $(x^n)_{n=1}^{\infty}$ is uniformly distributed modulo one. In the present paper we extend Koksma's theorem to the pair correlation setting. More precisely, we show that for Lebesgue almost every $x>1$ the pair correlations of the fractional parts of $(x^n)_{n=1}^{\infty}$ are asymptotically Poissonian. The proof is based on a martingale approximation method., Version 2: some minor changes. The paper will appear in the Israel Journal of Mathematics
- Published
- 2021
16. Simpson filtration and oper stratum conjecture
- Author
-
Zhi Hu and Pengfei Huang
- Subjects
Mathematics::Dynamical Systems ,Conjecture ,Mathematics::Commutative Algebra ,General Mathematics ,010102 general mathematics ,Dimension (graph theory) ,Vector bundle ,Algebraic geometry ,01 natural sciences ,Moduli space ,Combinatorics ,Mathematics - Algebraic Geometry ,Mathematics::Algebraic Geometry ,Number theory ,0103 physical sciences ,FOS: Mathematics ,Filtration (mathematics) ,010307 mathematical physics ,0101 mathematics ,Algebraic Geometry (math.AG) ,Mathematics::Symplectic Geometry ,Mathematics ,Stratum - Abstract
In this paper, we prove that for the oper stratification of the de Rham moduli space $M_{\mathrm{dR}}(X,r)$, the closed oper stratum is the unique minimal stratum with dimension $r^2(g-1)+g+1$, and the open dense stratum consisting of irreducible flat bundles with stable underlying vector bundles is the unique maximal stratum., Comment: This paper comes from the last section of arXiv:1905.10765v1 as an independent paper. Comments are welcome! To appear in manuscripta mathematica
- Published
- 2021
17. Crystallization to the Square Lattice for a Two-Body Potential
- Author
-
Mircea Petrache, Laurent Bétermin, and Lucia De Luca
- Subjects
crystallization ,FOS: Physical sciences ,82B21, 74G65, 74N05 ,01 natural sciences ,law.invention ,Combinatorics ,Mathematics - Analysis of PDEs ,Mathematics (miscellaneous) ,Mathematics - Metric Geometry ,law ,FOS: Mathematics ,0101 mathematics ,Crystallization ,Mathematical Physics ,Physics ,Pairwise interaction ,Mechanical Engineering ,010102 general mathematics ,Metric Geometry (math.MG) ,Mathematical Physics (math-ph) ,Interaction energy ,Point energy ,Square lattice ,010101 applied mathematics ,Ground state ,Analysis ,Energy (signal processing) ,Analysis of PDEs (math.AP) - Abstract
We consider two-dimensional zero-temperature systems of $N$ particles to which we associate an energy of the form $$ \mathcal{E}[V](X):=\sum_{1\le i\sqrt{2}$, in which case ${\bar{\mathcal E}_{\mathrm{sq}}[V]}=-4$. To the best of our knowledge, this is the first proof of crystallization to the square lattice for a two-body interaction energy., Comment: 58 pages, 8 figures. Clarified proofs throughout the paper, added appendix with list of notation. Submitted version of the paper
- Published
- 2021
18. Generalisations of the Harer–Zagier recursion for 1-point functions
- Author
-
Norman Do and Anupam Chaudhuri
- Subjects
Surface (mathematics) ,Class (set theory) ,Mathematics::Combinatorics ,Algebra and Number Theory ,Recursion ,Conjecture ,010102 general mathematics ,0102 computer and information sciences ,Function (mathematics) ,01 natural sciences ,Moduli space ,Combinatorics ,Monotone polygon ,010201 computation theory & mathematics ,Genus (mathematics) ,Discrete Mathematics and Combinatorics ,0101 mathematics ,Mathematics - Abstract
Harer and Zagier proved a recursion to enumerate gluings of a 2d-gon that result in an orientable genus g surface, in their work on Euler characteristics of moduli spaces of curves. Analogous results have been discovered for other enumerative problems, so it is natural to pose the following question: how large is the family of problems for which these so-called 1-point recursions exist? In this paper, we prove the existence of 1-point recursions for a class of enumerative problems that have Schur function expansions. In particular, we recover the Harer–Zagier recursion, but our methodology also applies to the enumeration of dessins d’enfant, to Bousquet-Melou–Schaeffer numbers, to monotone Hurwitz numbers, and more. On the other hand, we prove that there is no 1-point recursion that governs single Hurwitz numbers. Our results are effective in the sense that one can explicitly compute particular instances of 1-point recursions, and we provide several examples. We conclude the paper with a brief discussion and a conjecture relating 1-point recursions to the theory of topological recursion.
- Published
- 2021
19. Fractional Matchings, Component-Factors and Edge-Chromatic Critical Graphs
- Author
-
Antje Klopp and Eckhard Steffen
- Subjects
FOS: Computer and information sciences ,Discrete Mathematics (cs.DM) ,Critical graph ,Matching (graph theory) ,010102 general mathematics ,0102 computer and information sciences ,Edge (geometry) ,01 natural sciences ,Graph ,Theoretical Computer Science ,Combinatorics ,010201 computation theory & mathematics ,Bounded function ,FOS: Mathematics ,Mathematics - Combinatorics ,Discrete Mathematics and Combinatorics ,Component (group theory) ,Combinatorics (math.CO) ,0101 mathematics ,Computer Science - Discrete Mathematics ,Mathematics - Abstract
The first part of the paper studies star-cycle factors of graphs. It characterizes star-cycle factors of a graph $G$ and proves upper bounds for the minimum number of $K_{1,2}$-components in a $\{K_{1,1}, K_{1,2}, C_n\colon n\ge 3\}$-factor of a graph $G$. Furthermore, it shows where these components are located with respect to the Gallai-Edmonds decomposition of $G$ and it characterizes the edges which are not contained in any $\{K_{1,1}, K_{1,2}, C_n\colon n\ge 3\}$-factor of $G$. The second part of the paper proves that every edge-chromatic critical graph $G$ has a $\{K_{1,1}, K_{1,2}, C_n\colon n\ge 3\}$-factor, and the number of $K_{1,2}$-components is bounded in terms of its fractional matching number. Furthermore, it shows that for every edge $e$ of $G$, there is a $\{K_{1,1}, K_{1,2}, C_n\colon n\ge 3\}$-factor $F$ with $e \in E(F)$. Consequences of these results for Vizing's critical graph conjectures are discussed., final version, 23 pages
- Published
- 2021
20. Khintchine-type theorems for values of subhomogeneous functions at integer points
- Author
-
Mishel Skenderi and Dmitry Kleinbock
- Subjects
Mathematics - Number Theory ,010505 oceanography ,General Mathematics ,010102 general mathematics ,Second moment of area ,Function (mathematics) ,Type (model theory) ,01 natural sciences ,Minimax approximation algorithm ,Combinatorics ,Integer ,FOS: Mathematics ,11J25, 11J54, 11J83, 11H06, 11H60, 37A17 ,Number Theory (math.NT) ,0101 mathematics ,Element (category theory) ,Axiom ,0105 earth and related environmental sciences ,Mathematics - Abstract
This work has been motivated by recent papers that quantify the density of values of generic quadratic forms and other polynomials at integer points, in particular ones that use Rogers' second moment estimates. In this paper we establish such results in a very general framework. Given any subhomogeneous function (a notion to be defined) $f: \mathbb{R}^n \to \mathbb{R}$, we derive a necessary and sufficient condition on the approximating function $\psi$ for guaranteeing that a generic element $f\circ g$ in the $G$-orbit of $f$ is $\psi$-approximable; that is, $|f\circ g(\mathbf{v})| \le \psi(\|\mathbf{v}\|)$ for infinitely many $\mathbf{v} \in \mathbb{Z}^n$. We also deduce a sufficient condition in the case of uniform approximation. Here, $G$ can be any closed subgroup of $\rm{ASL}_n(\mathbb{R})$ satisfying certain axioms that allow for the use of Rogers-type estimates., Comment: 26 pages; misprints corrected, concluding remarks added
- Published
- 2021
21. A Flower-Shape Geometry and Nonlinear Problems on Strip-Like Domains
- Author
-
Giuseppe Devillanova, Raffaella Servadei, and Giovanni Molica Bisci
- Subjects
Laplace equation · Variational methods · Critical points theory · Principle of Symmetric Criticality · Radial and non-radial solutions ,Sublinear function ,010102 general mathematics ,Order (ring theory) ,Disjoint sets ,01 natural sciences ,Linear subspace ,Domain (mathematical analysis) ,010101 applied mathematics ,Symmetric function ,Combinatorics ,Orthogonal group ,Geometry and Topology ,0101 mathematics ,Lp space ,Mathematics - Abstract
In the present paper, we show how to define suitable subgroups of the orthogonal group$${O}(d-m)$$O(d-m)related to the unbounded part of a strip-like domain$$\omega \times {\mathbb {R}}^{d-m}$$ω×Rd-mwith$$d\ge m+2$$d≥m+2, in order to get “mutually disjoint” nontrivial subspaces of partially symmetric functions of$$H^1_0(\omega \times {\mathbb {R}}^{d-m})$$H01(ω×Rd-m)which are compactly embedded in the associated Lebesgue spaces. As an application of the introduced geometrical structure, we prove (existence and) multiplicity results for semilinear elliptic problems set in a strip-like domain, in the presence of a nonlinearity which either satisfies the classical Ambrosetti–Rabinowitz condition or has a sublinear growth at infinity. The main theorems of this paper may be seen as an extension of existence and multiplicity results, already appeared in the literature, for nonlinear problems set in the entire space$${\mathbb {R}}^d$$Rd, as for instance, the ones due to Bartsch and Willem. The techniques used here are new.
- Published
- 2020
22. Quantum $$ SL _2$$, infinite curvature and Pitman’s 2M-X theorem
- Author
-
Reda Chhaibi and Francois Chapon
- Subjects
Statistics and Probability ,Curvature ,01 natural sciences ,Representation theory ,Combinatorics ,010104 statistics & probability ,Mathematics::Probability ,Mathematics - Quantum Algebra ,FOS: Mathematics ,Quantum Algebra (math.QA) ,Quantum walk ,Representation Theory (math.RT) ,0101 mathematics ,Mathematics ,Quantum group ,Hyperbolic space ,Probability (math.PR) ,010102 general mathematics ,Order (ring theory) ,Random walk ,Infimum and supremum ,Mathematics - Symplectic Geometry ,58B32, 60B99 ,Symplectic Geometry (math.SG) ,Statistics, Probability and Uncertainty ,Mathematics - Probability ,Mathematics - Representation Theory ,Analysis - Abstract
The classical theorem by Pitman states that a Brownian motion minus twice its running infimum enjoys the Markov property. On the one hand, Biane understood that Pitman's theorem is intimately related to the representation theory of the quantum group $\mathcal{U}_q\left( \mathfrak{sl}_2 \right)$, in the so-called crystal regime $q \rightarrow 0$. On the other hand, Bougerol and Jeulin showed the appearance of exactly the same Pitman transform in the infinite curvature limit $r \rightarrow \infty$ of a Brownian motion on the hyperbolic space $\mathbb{H}^3 = SL_2(\mathbb{C})/SU_2$. This paper aims at understanding this phenomenon by giving a unifying point of view. In order to do so, we exhibit a presentation $\mathcal{U}_q^\hbar\left( \mathfrak{sl}_2 \right)$ of the Jimbo-Drinfeld quantum group which isolates the role of curvature $r$ and that of the Planck constant $\hbar$. The simple relationship between parameters is $q=e^{-r}$. The semi-classical limits $\hbar \rightarrow 0$ are the Poisson-Lie groups dual to $SL_2(\mathbb{C})$ with varying curvatures $r \in \mathbb{R}_+$. We also construct classical and quantum random walks, drawing a full picture which includes Biane's quantum walks and the construction of Bougerol-Jeulin. Taking the curvature parameter $r$ to infinity leads indeed to the crystal regime at the level of representation theory ($\hbar>0$) and to the Bougerol-Jeulin construction in the classical world ($\hbar=0$). All these results are neatly in accordance with the philosophy of Kirillov's orbit method., 41 pages, 6 figures ; v1: Draft version. v2: Greatly expanded version of the paper and presentation has been reworked out. v3: Minor changes. v4: Journal version
- Published
- 2020
23. Fractional Local Dimension
- Author
-
Heather C. Smith and William T. Trotter
- Subjects
Vertex (graph theory) ,Algebra and Number Theory ,Generalization ,media_common.quotation_subject ,010102 general mathematics ,Dimension (graph theory) ,Value (computer science) ,Comparability graph ,0102 computer and information sciences ,Infinity ,01 natural sciences ,Combinatorics ,Linear programming relaxation ,Computational Theory and Mathematics ,010201 computation theory & mathematics ,06A07, 05C35, 05D10 ,FOS: Mathematics ,Mathematics - Combinatorics ,Combinatorics (math.CO) ,Geometry and Topology ,0101 mathematics ,Partially ordered set ,Mathematics ,media_common - Abstract
The original notion of dimension for posets was introduced by Dushnik and Miller in 1941 and has been studied extensively in the literature. In 1992, Brightwell and Scheinerman developed the notion of fractional dimension as the natural linear programming relaxation of the Dushnik-Miller concept. In 2016, Ueckerdt introduced the concept of local dimension, and in just three years, several research papers studying this new parameter have been published. In this paper, we introduce and study fractional local dimension. As suggested by the terminology, our parameter is a common generalization of fractional dimension and local dimension. For a pair (n, d) with 2 ≤ d < n, we consider the poset P(1, d; n) consisting of all 1-element and d-element subsets of $\{1,\dots ,n\}$ partially ordered by inclusion. This poset has fractional dimension d + 1, but for fixed d ≥ 2, its local dimension goes to infinity with n. On the other hand, we show that as n tends to infinity, the fractional local dimension of P(1,d; n) tends to a value FLD(d) which we will be able to determine exactly. For all d ≥ 2, FLD(d) is strictly less than d + 1, and for large d, $\text{FLD} (d)\sim d/(\log d-\log \log d-o(1))$ . As an immediate corollary, we show that if P is a poset, and d is the maximum degree of a vertex in the comparability graph of P, then the fractional local dimension of P, is at most 2 + FLD(d). Our arguments use both discrete and continuous methods.
- Published
- 2020
24. On the fill-in of nonnegative scalar curvature metrics
- Author
-
Wenlong Wang, Guodong Wei, Jintian Zhu, and Yuguang Shi
- Subjects
Combinatorics ,Conjecture ,Mean curvature ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,Invariant (mathematics) ,01 natural sciences ,Mathematics ,Scalar curvature - Abstract
In the first part of this paper, we consider the problem of fill-in of nonnegative scalar curvature (NNSC) metrics for a triple of Bartnik data $$(\varSigma ,\gamma ,H)$$ . We prove that given a metric $$\gamma $$ on $${{\mathbf {S}}}^{n-1}$$ ( $$3\le n\le 7$$ ), $$({{\mathbf {S}}}^{n-1},\gamma ,H)$$ admits no fill-in of NNSC metrics provided the prescribed mean curvature H is large enough (Theorem 4). Moreover, we prove that if $$\gamma $$ is a positive scalar curvature (PSC) metric isotopic to the standard metric on $${{\mathbf {S}}}^{n-1}$$ , then the much weaker condition that the total mean curvature $$\int _{{{\mathbf {S}}}^{n-1}}H\,{{\mathrm {d}}}\mu _\gamma $$ is large enough rules out NNSC fill-ins, giving an partially affirmative answer to a conjecture by Gromov (Four lectures on scalar curvature, 2019, see P. 23). In the second part of this paper, we investigate the $$\theta $$ -invariant of Bartnik data and obtain some sufficient conditions for the existence of PSC fill-ins.
- Published
- 2020
25. On toric ideals arising from signed graphs
- Author
-
Boram Park, Sangwook Kim, and JiSun Huh
- Subjects
Algebra and Number Theory ,Mathematics::Commutative Algebra ,010102 general mathematics ,Complete intersection ,Digraph ,0102 computer and information sciences ,01 natural sciences ,Graph ,Combinatorics ,010201 computation theory & mathematics ,FOS: Mathematics ,Mathematics - Combinatorics ,Discrete Mathematics and Combinatorics ,Combinatorics (math.CO) ,0101 mathematics ,Signed graph ,Mathematics - Abstract
A signed graph is a pair $$(G,\tau )$$ of a graph G and its sign $$\tau $$ , where a sign $$\tau $$ is a function from $$\{ (e,v)\mid e\in E(G),v\in V(G), v\in e\}$$ to $$\{1,-1\}$$ . Note that graphs or digraphs are special cases of signed graphs. In this paper, we study the toric ideal $$I_{(G,\tau )}$$ associated with a signed graph $$(G,\tau )$$ , and the results of the paper give a unified idea to explain some known results on the toric ideals of a graph or a digraph. We characterize all primitive binomials of $$I_{(G,\tau )}$$ and then focus on the complete intersection property. More precisely, we find a complete list of graphs G such that $$I_{(G,\tau )}$$ is a complete intersection for every sign $$\tau $$ .
- Published
- 2020
26. Low dimensional orders of finite representation type
- Author
-
Daniel Chan and Colin Ingalls
- Subjects
Ring (mathematics) ,Plane curve ,Root of unity ,General Mathematics ,010102 general mathematics ,14E16 ,Local ring ,Order (ring theory) ,Mathematics - Rings and Algebras ,Type (model theory) ,01 natural sciences ,Noncommutative geometry ,Combinatorics ,Minimal model program ,Mathematics - Algebraic Geometry ,Rings and Algebras (math.RA) ,Mathematics - Quantum Algebra ,0103 physical sciences ,FOS: Mathematics ,Quantum Algebra (math.QA) ,010307 mathematical physics ,0101 mathematics ,Algebraic Geometry (math.AG) ,Mathematics - Abstract
In this paper, we study noncommutative surface singularities arising from orders. The singularities we study are mild in the sense that they have finite representation type or, equivalently, are log terminal in the sense of the Mori minimal model program for orders (Chan and Ingalls in Invent Math 161(2):427–452, 2005). These were classified independently by Artin (in terms of ramification data) and Reiten–Van den Bergh (in terms of their AR-quivers). The first main goal of this paper is to connect these two classifications, by going through the finite subgroups $$G \subset {{{\,\mathrm{GL}\,}}_2}$$ , explicitly computing $$H^2(G,k^*)$$ , and then matching these up with Artin’s list of ramification data and Reiten–Van den Bergh’s AR-quivers. This provides a semi-independent proof of their classifications and extends the study of canonical orders in Chan et al. (Proc Lond Math Soc (3) 98(1):83–115, 2009) to the case of log terminal orders. A secondary goal of this paper is to study noncommutative analogues of plane curves which arise as follows. Let $$B = k_{\zeta } \llbracket x,y \rrbracket $$ be the skew power series ring where $$\zeta $$ is a root of unity, or more generally a terminal order over a complete local ring. We consider rings of the form $$A = B/(f)$$ where $$f \in Z(B)$$ which we interpret to be the ring of functions on a noncommutative plane curve. We classify those noncommutative plane curves which are of finite representation type and compute their AR-quivers.
- Published
- 2020
27. Packing colorings of subcubic outerplanar graphs
- Author
-
Nicolas Gastineau, Olivier Togni, Boštjan Brešar, Faculty of Natural Sciences and Mathematics [Maribor], University of Maribor, Laboratoire d'Informatique de Bourgogne [Dijon] (LIB), Université de Bourgogne (UB), and Togni, Olivier
- Subjects
05C15, 05C12, 05C70 ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,010103 numerical & computational mathematics ,[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM] ,01 natural sciences ,Graph ,[MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO] ,Combinatorics ,[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM] ,Integer ,Outerplanar graph ,Bounded function ,[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO] ,FOS: Mathematics ,Bipartite graph ,Mathematics - Combinatorics ,Discrete Mathematics and Combinatorics ,Combinatorics (math.CO) ,0101 mathematics ,Invariant (mathematics) ,ComputingMilieux_MISCELLANEOUS ,Mathematics - Abstract
Given a graph $G$ and a nondecreasing sequence $S=(s_1,\ldots,s_k)$ of positive integers, the mapping $c:V(G)\longrightarrow \{1,\ldots,k\}$ is called an $S$-packing coloring of $G$ if for any two distinct vertices $x$ and $y$ in $c^{-1}(i)$, the distance between $x$ and $y$ is greater than $s_i$. The smallest integer $k$ such that there exists a $(1,2,\ldots,k)$-packing coloring of a graph $G$ is called the packing chromatic number of $G$, denoted $\chi_{\rho}(G)$. The question of boundedness of the packing chromatic number in the class of subcubic (planar) graphs was investigated in several earlier papers; recently it was established that the invariant is unbounded in the class of all subcubic graphs. In this paper, we prove that the packing chromatic number of any 2-connected bipartite subcubic outerplanar graph is bounded by $7$. Furthermore, we prove that every subcubic triangle-free outerplanar graph has a $(1,2,2,2)$-packing coloring, and that there exists a subcubic outerplanar graph with a triangle that does not admit a $(1,2,2,2)$-packing coloring. In addition, there exists a subcubic triangle-free outerplanar graph that does not admit a $(1,2,2,3)$-packing coloring. A similar dichotomy is shown for bipartite outerplanar graphs: every such graph admits an $S$-packing coloring for $S=(1,3,\ldots,3)$, where $3$ appears $\Delta$ times ($\Delta$ being the maximum degree of vertices), and this property does not hold if one of the integers $3$ is replaced by $4$ in the sequence $S$., Comment: 24 pages
- Published
- 2020
28. Convergence of linking Baskakov-type operators
- Author
-
Ulrich Abel, Margareta Heilmann, and Vitaliy Kushnirevych
- Subjects
010101 applied mathematics ,Combinatorics ,Pointwise ,Polynomial (hyperelastic model) ,General Mathematics ,Uniform convergence ,010102 general mathematics ,Convergence (routing) ,0101 mathematics ,Type (model theory) ,01 natural sciences ,Complex plane ,Mathematics - Abstract
In this paper we consider a link $$B_{n,\rho }$$Bn,ρ between Baskakov type operators $$B_{n,\infty }$$Bn,∞ and genuine Baskakov–Durrmeyer type operators $$ B_{n,1}$$Bn,1 depending on a positive real parameter $$\rho $$ρ. The topic of the present paper is the pointwise limit relation $$\left( B_{n,\rho }f\right) \left( x\right) \rightarrow \left( B_{n,\infty }f\right) \left( x\right) $$Bn,ρfx→Bn,∞fx as $$\rho \rightarrow \infty $$ρ→∞ for $$x\ge 0.$$x≥0. As a main result we derive uniform convergence on each compact subinterval of the positive real axis for all continuous functions f of polynomial growth.
- Published
- 2020
29. Number of 1-Factorizations of Regular High-Degree Graphs
- Author
-
Asaf Ferber, Vishesh Jain, and Benny Sudakov
- Subjects
Conjecture ,010102 general mathematics ,0102 computer and information sciences ,01 natural sciences ,Graph ,Combinatorics ,Computational Mathematics ,010201 computation theory & mathematics ,FOS: Mathematics ,Mathematics - Combinatorics ,Discrete Mathematics and Combinatorics ,Partition (number theory) ,Combinatorics (math.CO) ,0101 mathematics ,Mathematics - Abstract
A $1$-factor in an $n$-vertex graph $G$ is a collection of $\frac{n}{2}$ vertex-disjoint edges and a $1$-factorization of $G$ is a partition of its edges into edge-disjoint $1$-factors. Clearly, a $1$-factorization of $G$ cannot exist unless $n$ is even and $G$ is regular (that is, all vertices are of the same degree). The problem of finding $1$-factorizations in graphs goes back to a paper of Kirkman in 1847 and has been extensively studied since then. Deciding whether a graph has a $1$-factorization is usually a very difficult question. For example, it took more than 60 years and an impressive tour de force of Csaba, K\"uhn, Lo, Osthus and Treglown to prove an old conjecture of Dirac from the 1950s, which says that every $d$-regular graph on $n$ vertices contains a $1$-factorization, provided that $n$ is even and $d\geq 2\lceil \frac{n}{4}\rceil-1$. In this paper we address the natural question of estimating $F(n,d)$, the number of $1$-factorizations in $d$-regular graphs on an even number of vertices, provided that $d\geq \frac{n}{2}+\varepsilon n$. Improving upon a recent result of Ferber and Jain, which itself improved upon a result of Cameron from the 1970s, we show that $F(n,d)\geq \left((1+o(1))\frac{d}{e^2}\right)^{nd/2}$, which is asymptotically best possible., Comment: Final version, incorporating comments by referees. To appear in Combinatorica
- Published
- 2020
30. Nikolskii constants for polynomials on the unit sphere
- Author
-
Feng Dai, Sergey Tikhonov, and Dmitry Gorbachev
- Subjects
Combinatorics ,Unit sphere ,Degree (graph theory) ,Functional analysis ,General Mathematics ,Entire function ,010102 general mathematics ,010103 numerical & computational mathematics ,0101 mathematics ,01 natural sciences ,Analysis ,Exponential type ,Mathematics - Abstract
This paper studies the asymptotic behavior of the exact constants of the Nikolskii inequalities for the space $$\Pi _n^d$$ of spherical polynomials of degree at most n on the unit sphere $$\mathbb{S}{^d} \subset {^{d + 1}}$$ as n → ∞. It is shown that for 0 < p < ∞, $$\mathop {\lim }\limits_{x \to \infty } \sup \left\{ {\frac{{{{\left\| P \right\|}_{{L^\infty }({\mathbb{S}^d})}}}}{{{n^{\tfrac{d}{p}}}{{\left\| P \right\|}_{{L^p}({\mathbb{S}^d})}}}}:P \in \Pi _n^d} \right\} = \sup \left\{ {\frac{{{{\left\| f \right\|}_{{L^\infty }({\mathbb{R}^d})}}}}{{{{\left\| f \right\|}_{{L^p}({\mathbb{R}^d})}}}}:f \in \varepsilon _p^d} \right\},$$ where $$\varepsilon _p^d$$ denotes the space of all entire functions of spherical exponential type at most 1 whose restrictions to ℝd belong to the space Lp(ℝd), and it is agreed that 0/0 = 0. It is also proved that for 0 < p < q < ∞, $$\liminf _{n \rightarrow \infty} \sup \left\{\frac{\|P\|_{L^{q}\left(\mathbb{S}^{d}\right)}}{n^{d(1 / p-1 / q)}\|P\|_{L^{p}\left(\mathbb{S}^{d}\right)}}: P \in \Pi_{n}^{d}\right\} \geq \sup \left\{\frac{\|f\|_{L^{q}\left(\mathbb{R}^{d}\right)}}{\|f\|_{L^{p}\left(\mathbb{R}^{d}\right)}}: f \in \mathcal{E}_{p}^{d}\right\}.$$ These results extend the recent results of Levin and Lubinsky for trigonometric polynomials on the unit circle. The paper also determines the exact value of the Nikolskii constant for nonnegative functions with p = 1 and q = ∞: $$\lim _{n \rightarrow \infty} \sup _{0 \leq P \in \Pi_{n}^{d}} \frac{\|P\|_{L^{\infty}\left(\mathbb{S}^{d}\right)}}{\|P\|_{L^{1}\left(\mathbb{S}^{d}\right)}}=\sup _{0 \leq f \in \mathcal{E}_{1}^{d}} \frac{\|f\|_{L^{\infty}\left(\mathbb{R}^{d}\right)}}{\|f\|_{L^{1} \mathbb{R}^{d}}}=\frac{1}{4^{d} \pi^{d / 2} \Gamma(d / 2+1)}.$$
- Published
- 2020
31. On Tetravalent Vertex-Transitive Bi-Circulants
- Author
-
Sha Qiao and Jin-Xin Zhou
- Subjects
Transitive relation ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Cyclic group ,0102 computer and information sciences ,Automorphism ,01 natural sciences ,Graph ,Vertex (geometry) ,Combinatorics ,010201 computation theory & mathematics ,0101 mathematics ,Mathematics - Abstract
A graph Γ is called a bi-circulant if it admits a cyclic group as a group of automorphisms acting semiregularly on the vertices of Γ with two orbits. The characterization of tetravalent edgetransitive bi-circulants was given in several recent papers. In this paper, a classification is given of connected tetravalent vertex-transitive bi-circulants of order twice an odd integer.
- Published
- 2020
32. Structures of Opposition and Comparisons: Boolean and Gradual Cases
- Author
-
Henri Prade, Didier Dubois, Agnès Rico, Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), Entrepôts, Représentation et Ingénierie des Connaissances (ERIC), Université Lumière - Lyon 2 (UL2)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon, and ANR-11-LABX-0040,CIMI,Centre International de Mathématiques et d'Informatique (de Toulouse)(2011)
- Subjects
Logic ,ordered weighted min ,difference ,Opposition (politics) ,Analogy ,Square of opposition ,Mathematics Subject Classification (2010). Primary 68T30 ,Disjoint sets ,0603 philosophy, ethics and religion ,01 natural sciences ,Fuzzy logic ,Combinatorics ,03B05 ,0101 mathematics ,similarity ,preferences ,Mathematics ,hexagon of opposition ,cube of opposition ,Applied Mathematics ,010102 general mathematics ,[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] ,06 humanities and the arts ,68T37 Square of opposition ,partition ,analogy ,comparison ,060302 philosophy ,Secondary 03A05 ,Cube - Abstract
International audience; This paper first investigates logical characterizations of different structures of opposition that extend the square of opposition in a way or in another. Blanché's hexagon of opposition is based on three disjoint sets. There are at least two meaningful cubes of opposition, proposed respectively by two of the authors and by Moretti, and pioneered by philosophers such as J. N. Keynes, W. E. Johnson, for the former, and H. Reichenbach for the latter. These cubes exhibit four and six squares of opposition respectively. We clarify the differences between these two cubes, and discuss their gradual extensions, as well as the one of the hexagon when vertices are no longer two-valued. The second part of the paper is dedicated to the use of these structures of opposition (hexagon, cubes) for discussing the comparison of two items. Comparing two items (objects, images) usually involves a set of relevant attributes whose values are compared, and may be expressed in terms of different modalities such as identity, similarity, difference, opposition, analogy. Recently, J.-Y. Béziau has proposed an "analogical hexagon" that organizes the relations linking these modalities. Elementary comparisons may be a matter of degree, attributes may not have the same importance. The paper studies in which ways the structure of the hexagon may be preserved in such gradual extensions. As another illustration of the graded hexagon, we start with the hexagon of equality and inequality due to R. Blanché and extend it with fuzzy equality and fuzzy inequality. Besides, the cube induced by a tetra-partition can account for the comparison of two items in terms of preference, reversed preference, indifference and non-comparability even if these notions are a matter of degree. The other cube, which organizes the relations between the different weighted qualitative aggregation modes, is more relevant for the attribute-based comparison of items in terms of similarity.
- Published
- 2020
33. A trichotomy for rectangles inscribed in Jordan loops
- Author
-
Richard Evan Schwartz
- Subjects
Hyperbolic geometry ,Mathematics::Rings and Algebras ,Mathematics::History and Overview ,010102 general mathematics ,Metric Geometry (math.MG) ,Algebraic geometry ,Computer Science::Computational Geometry ,01 natural sciences ,Combinatorics ,Corollary ,Mathematics - Metric Geometry ,Differential geometry ,0103 physical sciences ,FOS: Mathematics ,Mathematics::Metric Geometry ,010307 mathematical physics ,Geometry and Topology ,Rectangle ,0101 mathematics ,Trichotomy (mathematics) ,Inscribed figure ,Mathematics ,Projective geometry - Abstract
Let g be an arbitrary Jordan loop and let G denote the space of rectangles R which are inscribed in g in such a way that the cyclic order of the vertices of R is the same whether it is induced by R or by g. We prove that G contains a connected set S satisfying one of three properties: 1. S consists of rectangles of uniformly large area, including a square, and every point of g is the vertex of a rectangle in S. 2. S consists of rectangles having all possible aspect ratios, and all but at most 4 points of g are vertices of rectangles in S. 3. S contains rectangles of every sufficiently small diameter, and all but at most 2 points of g are vertices of rectangles in S., Comment: 32 pages. This paper is a revision of the first version, inspired in part by comments from an anonymous referee. The current version of the paper will probably appear in Geometriae Dedicata
- Published
- 2020
34. Normalized Solutions of Nonautonomous Kirchhoff Equations: Sub- and Super-critical Cases
- Author
-
Vicenţiu D. Rădulescu, Xianhua Tang, and Sitong Chen
- Subjects
010101 applied mathematics ,Combinatorics ,Control and Optimization ,Applied Mathematics ,010102 general mathematics ,Order (ring theory) ,Nabla symbol ,0101 mathematics ,01 natural sciences ,Kirchhoff equations ,Mathematics - Abstract
In this paper, we establish the existence of normalized solutions to the following Kirchhoff-type equation $$\begin{aligned} \left\{ \begin{array}{ll} -\left( a+b\int _{{\mathbb {R}}^3}|\nabla u|^2{\mathrm {d}}x\right) \Delta u-\lambda u=K(x)f(u), &{} x\in {\mathbb {R}}^3; \\ u\in H^1({\mathbb {R}}^3), \end{array} \right. \end{aligned}$$ - a + b ∫ R 3 | ∇ u | 2 d x Δ u - λ u = K ( x ) f ( u ) , x ∈ R 3 ; u ∈ H 1 ( R 3 ) , where $$a, b> 0$$ a , b > 0 , $$\lambda $$ λ is unknown and appears as a Lagrange multiplier, $$K\in {\mathcal {C}}({\mathbb {R}}^3, {\mathbb {R}}^+)$$ K ∈ C ( R 3 , R + ) with $$0 0 < lim | y | → ∞ K ( y ) ≤ inf R 3 K , and $$f\in {\mathcal {C}}({\mathbb {R}},{\mathbb {R}})$$ f ∈ C ( R , R ) satisfies general $$L^2$$ L 2 -supercritical or $$L^2$$ L 2 -subcritical conditions. We introduce some new analytical techniques in order to exclude the vanishing and the dichotomy cases of minimizing sequences due to the presence of the potential K and the lack of the homogeneity of the nonlinearity f. This paper extends to the nonautonomous case previous results on prescribed $$L^2$$ L 2 -norm solutions of Kirchhoff problems.
- Published
- 2020
35. Familiarizing Students with Definition of Lebesgue Outer Measure Using Mathematica: Some Examples of Calculation Directly from Its Definition
- Author
-
Jan Krupa, Włodzimierz Wojas, and Jarosław L. Bojarski
- Subjects
Physics ,Applied Mathematics ,010102 general mathematics ,0102 computer and information sciences ,Lebesgue integration ,01 natural sciences ,Combinatorics ,Computational Mathematics ,symbols.namesake ,Computational Theory and Mathematics ,010201 computation theory & mathematics ,symbols ,Countable set ,Outer measure ,Rectangle ,0101 mathematics - Abstract
In this paper we present some examples of calculation the Lebesgue outer measure of some subsets of $$\mathbb {R}^2$$R2 directly from definition 1. We will consider the following subsets of $$\mathbb {R}^2$$R2: $$\displaystyle \{(x, y)\in \mathbb {R}^2: 0\le y \le x^2, x\in [0, 1]\}$${(x,y)∈R2:0≤y≤x2,x∈[0,1]}, $$\displaystyle \{(x, y)\in \mathbb {R}^2: 0\le y \le \exp (-x), x\ge 0\}$${(x,y)∈R2:0≤y≤exp(-x),x≥0}, $$\big \{ (x,y) \in \mathbb {R}^2: \ln x \le y \le 0, x\in (0, 1]\big \}$${(x,y)∈R2:lnx≤y≤0,x∈(0,1]}, $$\big \{ (x,y) \in \mathbb {R}^2: 0\le y \le 1/x, x\ge 1\big \}$${(x,y)∈R2:0≤y≤1/x,x≥1}, $$\displaystyle \{(x, y)\in \mathbb {R}^2: 0\le y \le \sin x, x\in [0, \pi /2]\}$${(x,y)∈R2:0≤y≤sinx,x∈[0,π/2]}, $$\displaystyle \{(x, y)\in \mathbb {R}^2: 0\le y \le \exp (x), x\in [0, 1]\}$${(x,y)∈R2:0≤y≤exp(x),x∈[0,1]}, $$\displaystyle \{(x, y)\in \mathbb {R}^2: 0\le y \le \ln (1-2r \cos x+r^2), x \in [0, \pi ]\}$${(x,y)∈R2:0≤y≤ln(1-2rcosx+r2),x∈[0,π]}, $$r>1$$r>1 and some others. We could not find any analogical examples in available literature (except for rectangle and countable sets), so this paper is an attempt to fill this gap. We calculate sums, limits and plot graphs and dynamic plots of needed sets and unions of rectangles sums of which volumes approximate Lebesgue outer measure of the sets, using Mathematica. We also show how to calculate the needed sums and limits by hand (without CAS). The title of this paper is very similar to the title of author’s article (Wojas and Krupa in Math Comput Sci 11:363–381, 2017) which deals with definition of Lebesgue integral but this paper deals with definition of Lebesgue outer measure instead.
- Published
- 2019
36. Tangent categories of algebras over operads
- Author
-
Joost Nuiten, Matan Prasma, Yonatan Harpaz, Laboratoire Analyse, Géométrie et Applications (LAGA), Université Paris 8 Vincennes-Saint-Denis (UP8)-Centre National de la Recherche Scientifique (CNRS)-Institut Galilée-Université Paris 13 (UP13), and Harpaz, Yonatan
- Subjects
Model category ,General Mathematics ,Parameterized complexity ,[MATH] Mathematics [math] ,[MATH.MATH-AT] Mathematics [math]/Algebraic Topology [math.AT] ,0102 computer and information sciences ,Mathematics::Algebraic Topology ,01 natural sciences ,Spectrum (topology) ,Combinatorics ,Mathematics::Category Theory ,FOS: Mathematics ,Algebraic Topology (math.AT) ,Cotangent complex ,Mathematics - Algebraic Topology ,[MATH]Mathematics [math] ,0101 mathematics ,Algebra over a field ,Mathematics ,010102 general mathematics ,Tangent ,55P42, 18G55, 18D50 ,16. Peace & justice ,Cohomology ,010201 computation theory & mathematics ,[MATH.MATH-AT]Mathematics [math]/Algebraic Topology [math.AT] - Abstract
Associated to a presentable $\infty$-category $\mathcal{C}$ and an object $X \in \mathcal{C}$ is the tangent $\infty$-category $\mathcal{T}_X\mathcal{C}$, consisting of parameterized spectrum objects over $X$. This gives rise to a cohomology theory, called Quillen cohomology, whose category of coefficients is $\mathcal{T}_X\mathcal{C}$. When $\mathcal{C}$ consists of algebras over a nice $\infty$-operad in a stable $\infty$-category, $\mathcal{T}_X\mathcal{C}$ is equivalent to the $\infty$-category of operadic modules, by work of Basterra--Mandell, Schwede and Lurie. In this paper we develop the model-categorical counterpart of this identification and extend it to the case of algebras over an enriched operad, taking values in a model category which is not necessarily stable. This extended comparison can be used, for example, to identify the cotangent complex of enriched categories, an application we take up in a subsequent paper., Comment: The section concerning stabilization of model categories was separated into an independent paper, appearing now as arXiv:1802.08031
- Published
- 2019
37. Quotients of the Hermitian curve from subgroups of $$\mathrm{PGU}(3,q)$$ without fixed points or triangles
- Author
-
Giovanni Zini and Maria Montanucci
- Subjects
Automorphism group ,Hermitian curve ,Maximal curves ,Quotient curves ,Unitary groups ,Algebra and Number Theory ,010102 general mathematics ,0102 computer and information sciences ,Fixed point ,01 natural sciences ,Hermitian matrix ,Combinatorics ,010201 computation theory & mathematics ,Discrete Mathematics and Combinatorics ,0101 mathematics ,Invariant (mathematics) ,Quotient ,Mathematics - Abstract
In this paper, we deal with the problem of classifying the genera of quotient curves $${\mathcal {H}}_q/G$$ , where $${\mathcal {H}}_q$$ is the $${\mathbb {F}}_{q^2}$$ -maximal Hermitian curve and G is an automorphism group of $${\mathcal {H}}_q$$ . The groups G considered in the literature fix either a point or a triangle in the plane $$\mathrm{PG}(2,q^6)$$ . In this paper, we give a complete list of genera of quotients $${\mathcal {H}}_q/G$$ , when $$G \le \mathrm{Aut}({\mathcal {H}}_q) \cong \mathrm{PGU}(3,q)$$ does not leave invariant any point or triangle in the plane. Also, the classification of subgroups G of $$\mathrm{PGU}(3,q)$$ satisfying this property is given up to isomorphism.
- Published
- 2019
38. Smoothness of Orlicz function spaces equipped with the p-Amemiya norm
- Author
-
Yunan Cui, Xiaoyan Li, and Marek Wisła
- Subjects
Algebra and Number Theory ,Smoothness (probability theory) ,Functional analysis ,Function space ,010102 general mathematics ,Regular polygon ,Interval (mathematics) ,Operator theory ,01 natural sciences ,010101 applied mathematics ,Combinatorics ,0101 mathematics ,Analysis ,Mathematics - Abstract
In this paper, we will use the convex modular $$\rho ^{*}(f)$$ ρ ∗ ( f ) to investigate $$\Vert f\Vert _{\Psi ,q}^{*}$$ ‖ f ‖ Ψ , q ∗ on $$(L_{\Phi })^{*}$$ ( L Φ ) ∗ defined by the formula $$\Vert f\Vert _{\Psi ,q}^{*}=\inf _{k>0}\frac{1}{k}s_{q}(\rho ^{*}(kf))$$ ‖ f ‖ Ψ , q ∗ = inf k > 0 1 k s q ( ρ ∗ ( k f ) ) , which is the norm formula in Orlicz dual spaces equipped with p-Amemiya norm. The attainable points of dual norm $$\Vert f\Vert _{\Psi ,q}^{*}$$ ‖ f ‖ Ψ , q ∗ are discussed, the interval for dual norm $$\Vert f\Vert _{\Psi ,q}^{*}$$ ‖ f ‖ Ψ , q ∗ attainability is described. By presenting the explicit form of supporting functional, we get sufficient and necessary conditions for smooth points. As a result, criteria for smoothness of $$L_{\Phi ,p}~(1\le p\le \infty )$$ L Φ , p ( 1 ≤ p ≤ ∞ ) is also obtained. The obtained results unify, complete and extended as well the results presented by a number of paper devoted to studying the smoothness of Orlicz spaces endowed with the Luxemburg norm and the Orlicz norm separately.
- Published
- 2021
39. On connectivity of the facet graphs of simplicial complexes
- Author
-
Ilan Newman and Yuri Rabinovich
- Subjects
Combinatorics ,Connected component ,010201 computation theory & mathematics ,General Mathematics ,010102 general mathematics ,0102 computer and information sciences ,0101 mathematics ,01 natural sciences ,Graph ,Mathematics - Abstract
The paper studies the connectivity properties of facet graphs of simplicial complexes of combinatorial interest. In particular, it is shown that the facet graphs of d-cycles, d-hypertrees and d-hypercuts are, respectively, (d +1)-, d-and (n − d − 1)-vertex-connected. It is also shown that the facet graph of a d-cycle cannot be split into more than s connected components by removing at most s vertices. In addition, the paper discusses various related issues, as well as an extension to cell-complexes.
- Published
- 2019
40. The Low-Energy TQFT of the Generalized Double Semion Model
- Author
-
Arun Debray
- Subjects
High Energy Physics - Theory ,Toric code ,Physics::Medical Physics ,Crystal system ,Complex system ,FOS: Physical sciences ,01 natural sciences ,Combinatorics ,Condensed Matter - Strongly Correlated Electrons ,symbols.namesake ,Low energy ,0103 physical sciences ,FOS: Mathematics ,Algebraic Topology (math.AT) ,Mathematics - Algebraic Topology ,0101 mathematics ,Mathematics::Symplectic Geometry ,Mathematical Physics ,Mathematics ,Topological quantum field theory ,Strongly Correlated Electrons (cond-mat.str-el) ,010102 general mathematics ,Statistical and Nonlinear Physics ,Mathematical Physics (math-ph) ,Mapping class group ,High Energy Physics - Theory (hep-th) ,symbols ,010307 mathematical physics ,Isomorphism ,Hamiltonian (quantum mechanics) ,81T27 (Primary), 57R56 (Secondary) - Abstract
The generalized double semion (GDS) model, introduced by Freedman and Hastings, is a lattice system similar to the toric code, with a gapped Hamiltonian whose definition depends on a triangulation of the ambient manifold $M$, but whose space of ground states does not depend on the triangulation, but only on the underlying manifold. In this paper, we use topological quantum field theory (TQFT) to investigate the low-energy limit of the GDS model. We define and study a functorial TQFT $Z_{\mathrm{GDS}}$ in every dimension $n$ such that for every closed $(n - 1)$-manifold $M$, $Z_{\mathrm{GDS}}(M)$ is isomorphic to the space of ground states of the GDS model on $M$; the isomorphism can be chosen to intertwine the actions of the mapping class group of $M$ that arise on both sides. Throughout this paper, we compare our constructions and results with their known analogues for the toric code.
- Published
- 2019
41. On Connected Preimages of Simply-Connected Domains Under Entire Functions
- Author
-
Dave Sixsmith and Lasse Rempe-Gillen
- Subjects
Mathematics - Complex Variables ,Entire function ,010102 general mathematics ,30D20 (Primary), 30D05, 37F10, 30D30 (Secondary) ,Dynamical Systems (math.DS) ,Disjoint sets ,01 natural sciences ,010101 applied mathematics ,Combinatorics ,Singular value ,Bounded function ,Simply connected space ,FOS: Mathematics ,Geometry and Topology ,Transcendental number ,Mathematics - Dynamical Systems ,Complex Variables (math.CV) ,0101 mathematics ,Invariant (mathematics) ,Analysis ,Mathematics ,Meromorphic function - Abstract
Let $f$ be a transcendental entire function, and let $U,V\subset\mathbb{C}$ be disjoint simply-connected domains. Must one of $f^{-1}(U)$ and $f^{-1}(V)$ be disconnected? In 1970, Baker implicitly gave a positive answer to this question, in order to prove that a transcendental entire function cannot have two disjoint completely invariant domains. (A domain $U\subset \mathbb{C}$ is completely invariant under $f$ if $f^{-1}(U)=U$.) It was recently observed by Julien Duval that there is a flaw in Baker's argument (which has also been used in later generalisations and extensions of Baker's result). We show that the answer to the above question is negative; so this flaw cannot be repaired. Indeed, for the function $f(z)= e^z+z$, there is a collection of infinitely many pairwise disjoint simply-connected domains, each with connected preimage. We also answer a long-standing question of Eremenko by giving an example of a transcendental entire function, with infinitely many poles, which has the same property. Furthermore, we show that there exists a function $f$ with the above properties such that additionally the set of singular values $S(f)$ is bounded; in other words, $f$ belongs to the Eremenko-Lyubich class. On the other hand, if $S(f)$ is finite (or if certain additional hypotheses are imposed), many of the original results do hold. For the convenience of the research community, we also include a description of the error in the proof of Baker's paper, and a summary of other papers that are affected., Comment: 35 pages, 8 figures. V3: Accepted manuscript, to appear in Geometric and Functional Analysis. Revisions and corrections were made throughout; in particular the auxiliary Propositions 3.1 and 7.2 were incorrectly stated in V2. These have been corrected; further discussion and a figure have been added in Section 7. The statement of Proposition 8.6 has also been strengthened
- Published
- 2019
42. Liouville quantum gravity and the Brownian map I: the $$\mathrm{QLE}(8/3,0)$$ metric
- Author
-
Scott Sheffield and Jason Miller
- Subjects
Sequence ,Series (mathematics) ,Triangle inequality ,General Mathematics ,Open problem ,010102 general mathematics ,Surface (topology) ,01 natural sciences ,Measure (mathematics) ,Combinatorics ,Metric space ,0103 physical sciences ,Quantum gravity ,010307 mathematical physics ,0101 mathematics ,Mathematics - Abstract
Liouville quantum gravity (LQG) and the Brownian map (TBM) are two distinct models of measure-endowed random surfaces. LQG is defined in terms of a real parameter $$\gamma $$, and it has long been believed that when $$\gamma = \sqrt{8/3}$$, the LQG sphere should be equivalent (in some sense) to TBM. However, the LQG sphere comes equipped with a conformal structure, and TBM comes equipped with a metric space structure, and endowing either one with the other’s structure has been an open problem for some time. This paper is the first in a three-part series that unifies LQG and TBM by endowing each object with the other’s structure and showing that the resulting laws agree. The present work considers a growth process called quantum Loewner evolution (QLE) on a $$\sqrt{8/3}$$-LQG surface $${\mathcal {S}}$$ and defines $$d_{{\mathcal {Q}}}(x,y)$$ to be the amount of time it takes QLE to grow from $$x \in {\mathcal {S}}$$ to $$y \in {\mathcal {S}}$$. We show that $$d_{{\mathcal {Q}}}(x,y)$$ is a.s. determined by the triple $$({\mathcal {S}},x,y)$$ (which is far from clear from the definition of QLE) and that $$d_{{\mathcal {Q}}}$$ a.s. satisfies symmetry (i.e., $$d_{{\mathcal {Q}}}(x,y) = d_{{\mathcal {Q}}}(y,x)$$) for a.a. (x, y) pairs and the triangle inequality for a.a. triples. This implies that $$d_{{\mathcal {Q}}}$$ is a.s. a metric on any countable sequence sampled i.i.d. from the area measure on $${\mathcal {S}}$$. We establish several facts about the law of this metric, which are in agreement with similar facts known for TBM. The subsequent papers will show that this metric a.s. extends uniquely and continuously to the entire $$\sqrt{8/3}$$-LQG surface and that the resulting measure-endowed metric space is TBM.
- Published
- 2019
43. On the strong separation conjecture
- Author
-
Daniel Schaub, Mark Spivakovsky, and François Lucas
- Subjects
Polynomial ,Ring (mathematics) ,Algebra and Number Theory ,Conjecture ,Social connectedness ,Applied Mathematics ,Polynomial ring ,010102 general mathematics ,Dimension (graph theory) ,01 natural sciences ,010101 applied mathematics ,Combinatorics ,Computational Mathematics ,Real closed field ,8. Economic growth ,Geometry and Topology ,Ideal (ring theory) ,0101 mathematics ,Analysis ,Mathematics - Abstract
This paper contains a partial result on the Pierce–Birkhoff conjecture on piece-wise polynomial functions defined by a finite collection {f 1 ,. .. , f r } of polynomials. In the nineteen eighties, generalizing the problem from the polynomial ring to an artibtrary ring Σ, J. Madden proved that the Pierce–Birkhoff conjecture for Σ is equivalent to a statement about an arbitrary pair of points α, β ∈ Sper Σ and their separating ideal ; we refer to this statement as the local Pierce-Birkhoff conjecture at α, β. In [8] we introduced a slightly stronger conjecture, also stated for a pair of points α, β ∈ Sper Σ and the separating ideal , called the Connectedness conjecture, about a finite collection of elements {f 1 , . . . , fr} ⊂ Σ. In the paper [10] we introduced a new conjecture, called the Strong Connectedness conjecture, and proved that the Strong Connectedness conjecture in dimension n−1 implies the Strong Connectedness conjecture in dimension n in the case when ht( ) ≤ n − 1. The Pierce-Birkhoff Conjecture for r = 2 is equivalent to the Connectedness Conjecture for r = 1; this conjecture is called the Separation Conjecture. The Strong Connectedness Conjecture for r = 1 is called the Strong Separation Conjecture. In the present paper, we fix a polynomial f ∈ R[x, z] where R is a real closed field and x = (x1, . . . , xn), z are n + 1 independent variables. We define the notion of two points α, β ∈ Sper R[x, z] being in good position with respect to f. The main result of this paper is a proof of the Strong Separation Conjecture in the case when α and β are in good position with respect to f.
- Published
- 2019
44. Depth functions of symbolic powers of homogeneous ideals
- Author
-
Hop D. Nguyen and Ngo Viet Trung
- Subjects
Noetherian ,Monomial ,Mathematics::Commutative Algebra ,General Mathematics ,Polynomial ring ,010102 general mathematics ,Dimension (graph theory) ,Monomial ideal ,Square-free integer ,01 natural sciences ,Combinatorics ,Homogeneous ,0103 physical sciences ,010307 mathematical physics ,Ideal (ring theory) ,0101 mathematics ,Mathematics - Abstract
This paper addresses the problem of comparing minimal free resolutions of symbolic powers of an ideal. Our investigation is focused on the behavior of the function $${{\,\mathrm{depth}\,}}R/I^{(t)} = \dim R -{{\,\mathrm{pd}\,}}I^{(t)} - 1$$ , where $$I^{(t)}$$ denotes the t-th symbolic power of a homogeneous ideal I in a noetherian polynomial ring R and $${{\,\mathrm{pd}\,}}$$ denotes the projective dimension. It has been an open question whether the function $${{\,\mathrm{depth}\,}}R/I^{(t)}$$ is non-increasing if I is a squarefree monomial ideal. We show that $${{\,\mathrm{depth}\,}}R/I^{(t)}$$ is almost non-increasing in the sense that $${{\,\mathrm{depth}\,}}R/I^{(s)} \ge {{\,\mathrm{depth}\,}}R/I^{(t)}$$ for all $$s \ge 1$$ and $$t \in E(s)$$ , where $$\begin{aligned} E(s) = \bigcup _{i \ge 1}\{t \in {\mathbb {N}}|\ i(s-1)+1 \le t \le is\} \end{aligned}$$ (which contains all integers $$t \ge (s-1)^2+1$$ ). The range E(s) is the best possible since we can find squarefree monomial ideals I such that $${{\,\mathrm{depth}\,}}R/I^{(s)} < {{\,\mathrm{depth}\,}}R/I^{(t)}$$ for $$t \not \in E(s)$$ , which gives a negative answer to the above question. Another open question asks whether the function $${{\,\mathrm{depth}\,}}R/I^{(t)}$$ is always constant for $$t \gg 0$$ . We are able to construct counter-examples to this question by monomial ideals. On the other hand, we show that if I is a monomial ideal such that $$I^{(t)}$$ is integrally closed for $$t \gg 0$$ (e.g. if I is a squarefree monomial ideal), then $${{\,\mathrm{depth}\,}}R/I^{(t)}$$ is constant for $$t \gg 0$$ with $$\begin{aligned} \lim _{t \rightarrow \infty }{{\,\mathrm{depth}\,}}R/I^{(t)} = \dim R - \dim \oplus _{t \ge 0}I^{(t)}/{\mathfrak {m}}I^{(t)}. \end{aligned}$$ Our last result (which is the main contribution of this paper) shows that for any positive numerical function $$\phi (t)$$ which is periodic for $$t \gg 0$$ , there exist a polynomial ring R and a homogeneous ideal I such that $${{\,\mathrm{depth}\,}}R/I^{(t)} = \phi (t)$$ for all $$t \ge 1$$ . As a consequence, for any non-negative numerical function $$\psi (t)$$ which is periodic for $$t \gg 0$$ , there is a homogeneous ideal I and a number c such that $${{\,\mathrm{pd}\,}}I^{(t)} = \psi (t) + c$$ for all $$t \ge 1$$ .
- Published
- 2019
45. Density of Monochromatic Infinite Subgraphs
- Author
-
Paul McKenney and Louis DeBiasio
- Subjects
Existential quantification ,010102 general mathematics ,Ramsey theory ,Complete graph ,0102 computer and information sciences ,01 natural sciences ,Graph ,Vertex (geometry) ,Combinatorics ,Computational Mathematics ,010201 computation theory & mathematics ,FOS: Mathematics ,Mathematics - Combinatorics ,Discrete Mathematics and Combinatorics ,Countable set ,Combinatorics (math.CO) ,Monochromatic color ,0101 mathematics ,Mathematics - Abstract
For any countably infinite graph $G$, Ramsey's theorem guarantees an infinite monochromatic copy of $G$ in any $r$-coloring of the edges of the countably infinite complete graph $K_\mathbb{N}$. Taking this a step further, it is natural to wonder how "large" of a monochromatic copy of $G$ we can find with respect to some measure -- for instance, the density (or upper density) of the vertex set of $G$ in the positive integers. Unlike finite Ramsey theory, where this question has been studied extensively, the analogous problem for infinite graphs has been mostly overlooked. In one of the few results in the area, Erd\H{o}s and Galvin proved that in every 2-coloring of $K_\mathbb{N}$, there exists a monochromatic path whose vertex set has upper density at least $2/3$, but it is not possible to do better than $8/9$. They also showed that for some sequence $\epsilon_n\to 0$, there exists a monochromatic path $P$ such that for infinitely many $n$, the set $\{1,2,...,n\}$ contains the first $(\frac{1}{3+\sqrt{3}}-\epsilon_n)n$ vertices of $P$, but it is not possible to do better than $2n/3$. We improve both results, in the former case achieving an upper density at least $3/4$ and in the latter case obtaining a tight bound of $2/3$. We also consider related problems for directed paths, trees (connected subgraphs), and a more general result which includes locally finite graphs for instance., Comment: 24 pages, 4 figures, to appear in Combinatorica. We discovered that Theorem 6.2 from version 2 of this paper contained an irreparable error. As Theorem 6.2 was independent of the rest of the paper, we have simply removed Subsection 6.1 (which contained Theorem 6.2) from the final version
- Published
- 2019
46. A spectral characterization of isomorphisms on $$C^\star $$-algebras
- Author
-
Rudi Brits, F. Schulz, and C. Touré
- Subjects
General Mathematics ,Star (game theory) ,010102 general mathematics ,Spectrum (functional analysis) ,Characterization (mathematics) ,01 natural sciences ,Surjective function ,Combinatorics ,0103 physical sciences ,010307 mathematical physics ,Isomorphism ,0101 mathematics ,Algebra over a field ,Commutative property ,Banach *-algebra ,Mathematics - Abstract
Following a result of Hatori et al. (J Math Anal Appl 326:281–296, 2007), we give here a spectral characterization of an isomorphism from a $$C^\star $$ -algebra onto a Banach algebra. We then use this result to show that a $$C^\star $$ -algebra A is isomorphic to a Banach algebra B if and only if there exists a surjective function $$\phi :A\rightarrow B$$ satisfying (i) $$\sigma \left( \phi (x)\phi (y)\phi (z)\right) =\sigma \left( xyz\right) $$ for all $$x,y,z\in A$$ (where $$\sigma $$ denotes the spectrum), and (ii) $$\phi $$ is continuous at $$\mathbf 1$$ . In particular, if (in addition to (i) and (ii)) $$\phi (\mathbf 1)=\mathbf 1$$ , then $$\phi $$ is an isomorphism. An example shows that (i) cannot be relaxed to products of two elements, as is the case with commutative Banach algebras. The results presented here also elaborate on a paper of Bresar and Spenko (J Math Anal Appl 393:144–150, 2012), and a paper of Bourhim et al. (Arch Math 107:609–621, 2016).
- Published
- 2019
47. Tame Galois module structure revisited
- Author
-
Fabio Ferri and Cornelius Greither
- Subjects
Class (set theory) ,Mathematics - Number Theory ,Group (mathematics) ,Applied Mathematics ,010102 general mathematics ,Structure (category theory) ,Field (mathematics) ,Basis (universal algebra) ,Algebraic number field ,Galois module ,01 natural sciences ,Combinatorics ,0103 physical sciences ,FOS: Mathematics ,Number Theory (math.NT) ,010307 mathematical physics ,0101 mathematics ,Abelian group ,Mathematics - Abstract
A number field $K$ is Hilbert-Speiser if all of its tame abelian extensions $L/K$ admit NIB (normal integral basis). It is known that $\mathbb{Q}$ is the only such field, but when we restrict $\text{Gal}(L/K)$ to be a given group $G$, the classification of $G$-Hilbert-Speiser fields is far from complete. In this paper, we present new results on so-called $G$-Leopoldt fields. In their definition, NIB is replaced by ``weak NIB'' (defined below). Most of our results are negative, in the sense that they strongly limit the class of $G$-Leopoldt fields for some particular groups $G$, sometimes even leading to an exhaustive list of such fields or at least to a finiteness result. In particular we are able to correct a small oversight in a recent article by Ichimura concerning Hilbert-Speiser fields., 16 pages. Same version as the published paper
- Published
- 2019
48. On the averages of generalized Hasse–Witt invariants of pointed stable curves in positive characteristic
- Author
-
Yu Yang
- Subjects
Fundamental group ,Stable curve ,General Mathematics ,010102 general mathematics ,01 natural sciences ,Upper and lower bounds ,Combinatorics ,Anabelian geometry ,0103 physical sciences ,010307 mathematical physics ,Isomorphism class ,0101 mathematics ,Abelian group ,Algebraically closed field ,Invariant (mathematics) ,Mathematics - Abstract
In the present paper, we study fundamental groups of curves in positive characteristic. Let $$X^{\bullet }$$ be a pointed stable curve of type $$(g_{X}, n_{X})$$ over an algebraically closed field of characteristic $$p>0$$, $$\Gamma _{X^{\bullet }}$$ the dual semi-graph of $$X^{\bullet }$$, and $$\Pi _{X^{\bullet }}$$ the admissible fundamental group of $$X^{\bullet }$$. In the present paper, we study a kind of group-theoretical invariant $$\text {Avr}_{p}(\Pi _{X^{\bullet }})$$ associated to the isomorphism class of $$\Pi _{X^{\bullet }}$$ called the limit of p-averages of $$\Pi _{X^{\bullet }}$$, which plays a central role in the theory of anabelian geometry of curves over algebraically closed fields of positive characteristic. Without any assumptions concerning $$\Gamma _{X^{\bullet }}$$, we give a lower bound and a upper bound of $$\text {Avr}_{p}(\Pi _{X^{\bullet }})$$. In particular, we prove an explicit formula for $$\text {Avr}_{p}(\Pi _{X^{\bullet }})$$ under a certain assumption concerning $$\Gamma _{X^{\bullet }}$$ which generalizes a formula for $$\text {Avr}_{p}(\Pi _{X^{\bullet }})$$ obtained by Tamagawa. Moreover, if $$X^{\bullet }$$ is a component-generic pointed stable curve, we prove an explicit formula for $$\text {Avr}_{p}(\Pi _{X^{\bullet }})$$ without any assumptions concerning $$\Gamma _{X^{\bullet }}$$, which can be regarded as an averaged analogue of the results of Nakajima, Zhang, and Ozman–Pries concerning p-rank of abelian etale coverings of projective generic curves for admissible coverings of component-generic pointed stable curves.
- Published
- 2019
49. Optimal quantization for the Cantor distribution generated by infinite similutudes
- Author
-
Mrinal Kanti Roychowdhury
- Subjects
General Mathematics ,Quantization (signal processing) ,010102 general mathematics ,Dynamical Systems (math.DS) ,0102 computer and information sciences ,01 natural sciences ,Probability vector ,Combinatorics ,Cantor set ,60Exx, 28A80, 94A34 ,010201 computation theory & mathematics ,FOS: Mathematics ,Mathematics - Dynamical Systems ,0101 mathematics ,Cantor distribution ,Borel probability measure ,Mathematics - Abstract
Let P be a Borel probability measure on ℝ generated by an infinite system of similarity mappings {Sj : j ∈ ℕ} such that $$P=\Sigma_{j=1}^{\infty}\frac{1}{2^{j}}P\circ{S}_j^{-1}$$ , where for each j ∈ ℕ and x ∈ ℝ, $$S_j(x)=\frac{1}{3^j}x+1-\frac{1}{3^{j-1}}$$ . Then, the support of P is the dyadic Cantor set C generated by the similarity mappings f1, f2 : ℝ → ℝ such that f1(x) = 1/3x and f2(x) = 1/3x+ 2/3 for all x ∈ ℝ. In this paper, using the infinite system of similarity mappings {Sj : j ∈ ℕ} associated with the probability vector $$(\frac{1}{2},\frac{1}{{{2^2}}},...)$$ , for all n ∈ ℕ, we determine the optimal sets of n-means and the nth quantization errors for the infinite self-similar measure P. The technique obtained in this paper can be utilized to determine the optimal sets of n-means and the nth quantization errors for more general infinite self-similar measures.
- Published
- 2019
50. Counting non-uniform lattices
- Author
-
Mikhail Belolipetsky and Alexander Lubotzky
- Subjects
Conjecture ,Mathematics - Number Theory ,22E40 (Primary), 11N45, 20G30 (Secondary) ,Rank (linear algebra) ,General Mathematics ,Simple Lie group ,010102 general mathematics ,Group Theory (math.GR) ,0102 computer and information sciences ,01 natural sciences ,Combinatorics ,Conjugacy class ,010201 computation theory & mathematics ,Log-log plot ,FOS: Mathematics ,Number Theory (math.NT) ,0101 mathematics ,Algebra over a field ,Constant (mathematics) ,Mathematics - Group Theory ,Mathematics - Abstract
In [BGLM] and [GLNP] it was conjectured that if $H$ is a simple Lie group of real rank at least 2, then the number of conjugacy classes of (arithmetic) lattices in $H$ of covolume at most $x$ is $x^{(\gamma(H)+o(1))\log x/\log\log x}$ where $\gamma(H)$ is an explicit constant computable from the (absolute) root system of $H$. In [BLu] we disproved this conjecture. In this paper we prove that for most groups $H$ the conjecture is actually true if we restrict to counting only non-uniform lattices., Comment: 23 pages, revised following referee's comments. Dedicated to Aner Shalev on his 60th birthday. This paper is related to our previous work arXiv:0905.1841 with which it shares some preliminaries
- Published
- 2019
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.