Math Soc Research Articles

Metric compatibility and determination in complete metric spaces

AbstractThe local slope operator was introduced in De Giorgi et al. (Atti Accad Naz Lincei Rend Cl Sci Fis Mat Nat 68:180–187, 1980) to study gradient flow dynamics in metric spaces. This tool has now become a cornerstone in metric evolution equations (see, e.g., Ambrosio et al. (Gradient flows in metric spaces and in the space of probability measures, Lectures in Mathematics. Birkhauser, 2008). Very recently, in Daniilidis and Salas (Proc Am Math Soc 150:4325–4333, 2022), it was established that Lipschitz inf-compact functions are uniquely determined by their local slope and critical values. Compactness played a paramount role in this result, ensuring in particular the existence of critical points. We hereby emancipate from this restriction and establish a determination result for merely bounded from below functions, by adding an assumption controlling the asymptotic behavior. This assumption is trivially fulfilled if f is inf-compact. In addition, our result is not only valid for the (De Giorgi) local slope, but also for the main paradigms of average descent operators as well as for the global slope, case in which the asymptotic assumption becomes superfluous. Therefore, the present work extends simultaneously the metric determination results of Daniilidis and Salas (Proc Am Math Soc 150:4325–4333, 2022) and Thibault and Zagrodny (Commun Contemp Math 25(7):2250014, 2023).

Banach lattices with upper p-estimates: free and injective objects

AbstractWe study the free Banach lattice $$\textrm{FBL}^{(p,\infty )}[E]$$ FBL ( p , ∞ ) [ E ] with upper p-estimates generated by a Banach space E. Using a classical result of Pisier on factorization through $$L^{p,\infty }(\mu )$$ L p , ∞ ( μ ) together with a finite dimensional reduction, it is shown that the spaces $$\ell ^{p,\infty }(n)$$ ℓ p , ∞ ( n ) witness the universal property of $$\textrm{FBL}^{(p,\infty )}[E]$$ FBL ( p , ∞ ) [ E ] isomorphically. As a consequence, we obtain a functional representation for $$\textrm{FBL}^{(p,\infty )}[E]$$ FBL ( p , ∞ ) [ E ] , answering a question from Oikhberg et al. [Free Banach lattices. J Eur Math Soc (JEMS), 2024]. More generally, our proof allows us to identify the norm of any free Banach lattice over E associated with a rearrangement invariant function space. After obtaining the above functional representation, we take the first steps towards analyzing the fine structure of $$\textrm{FBL}^{(p,\infty )}[E]$$ FBL ( p , ∞ ) [ E ] . Notably, we prove that the norm for $$\textrm{FBL}^{(p,\infty )}[E]$$ FBL ( p , ∞ ) [ E ] cannot be isometrically witnessed by $$L^{p,\infty }(\mu )$$ L p , ∞ ( μ ) and settle the question of characterizing when an embedding between Banach spaces extends to a lattice embedding between the corresponding free Banach lattices with upper p-estimates. To prove this latter result, we introduce a novel push-out argument, which when combined with the injectivity of $$\ell ^p$$ ℓ p allows us to give an alternative proof of the subspace problem for free p-convex Banach lattices. On the other hand, we prove that $$\ell ^{p,\infty }$$ ℓ p , ∞ is not injective in the class of Banach lattices with upper p-estimates, elucidating one of many difficulties arising in the study of $$\textrm{FBL}^{(p,\infty )}[E]$$ FBL ( p , ∞ ) [ E ] .

Hunter Self-Similar Implosion Profiles for the Gravitational Euler–Poisson System

Our result is a construction of infinitely many radial self-similar implosion profiles for the gravitational Euler–Poisson system. The problem can be expressed as solving a system of non-autonomous non-linear ODEs. The first rigorous existence result for a non-trivial solution to these ODEs is due to Guo et al. (Commun Math Phys 386(3):1551–1601, 2021), in which they construct a solution found numerically by Larson (Mon Not R Astron Soc 145(3):271–295, 1969) and Penston (Mon Not R Astron Soc 144(4):425–448, 1969) independently. The solutions we construct belong to a different regime and correspond to a strict subset of the family of profiles discovered numerically by Hunter (Astrophys J 218:834, 1977). Our proof adapts a technique developed by Collot et al. (Mem Am Math Soc 260(1255):v+97, 2019), in which they study blowup for a family of energy-supercritical focusing semilinear heat equations. In our case, the quasilinearity presents complications, most severely near the sonic point where the system degenerates.

Theorem of the alternative for a system of mappings in generalized complete metric spaces

AbstractThe aim of the paper is to establish some theorems of the alternative for a system of mappings in generalized complete metric spaces. Our results extend and generalize the well-known results of Daiz and Margolis (Bull Am Math Soc 74:305–309, 1968), Matkowski (Bull Acad Polon Sci Sér Sci Math Astron Phys 21:323–324, 1973), Jleli and Samet (J Inequal Appl 38:8, 2014), and many others. We also present some illustrative examples to validate our results.

On the Support of Anomalous Dissipation Measures

By means of a unifying measure-theoretic approach, we establish lower bounds on the Hausdorff dimension of the space-time set which can support anomalous dissipation for weak solutions of fluid equations, both in the presence or absence of a physical boundary. Boundary dissipation, which can occur at both the time and the spatial boundary, is analyzed by suitably modifying the Duchon & Robert interior distributional approach. One implication of our results is that any bounded Euler solution (compressible or incompressible) arising as a zero viscosity limit of Navier–Stokes solutions cannot have anomalous dissipation supported on a set of dimension smaller than that of the space. This result is sharp, as demonstrated by entropy-producing shock solutions of compressible Euler (Drivas and Eyink in Commun Math Phys 359(2):733–763, 2018. https://doi.org/10.1007/s00220-017-3078-4; Majda in Am Math Soc 43(281):93, 1983. https://doi.org/10.1090/memo/0281) and by recent constructions of dissipative incompressible Euler solutions (Brue and De Lellis in Commun Math Phys 400(3):1507–1533, 2023. https://doi.org/10.1007/s00220-022-04626-0 624; Brue et al. in Commun Pure App Anal, 2023), as well as passive scalars (Colombo et al. in Ann PDE 9(2):21–48, 2023. https://doi.org/10.1007/s40818-023-00162-9; Drivas et al. in Arch Ration Mech Anal 243(3):1151–1180, 2022. https://doi.org/10.1007/s00205-021-01736-2). For LtqLxr\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$L^q_tL^r_x$$\\end{document} suitable Leray–Hopf solutions of the d-\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$d-$$\\end{document}dimensional Navier–Stokes equation we prove a bound of the dissipation in terms of the Parabolic Hausdorff measure Ps\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathcal {P}^{s}$$\\end{document}, which gives s=d-2\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$s=d-2$$\\end{document} as soon as the solution lies in the Prodi–Serrin class. In the three-dimensional case, this matches with the Caffarelli–Kohn–Nirenberg partial regularity.

On locally Lipschitz convex functions defined on subsets with empty interior of locally convex spaces

The generic Fréchet and/or Gateaux differentiability of a continuous convex function on an open convex subset of a Banach space is well studied and has important theoretical implications. An example of Rainwater [Yet more on the differentiability of convex functions. Proc Amer Math Soc. 1988;103(3):773–778] shows that similar results are not true when the openness of the domain is not ensured, but such properties can be obtained if the respective convex function is assumed to be locally Lipschitz, as shown by Verona [More on the differentiability of convex functions. Proc Amer Math Soc. 1988;103(1):137–140]; Rainwater [Yet more on the differentiability of convex functions. Proc Amer Math Soc. 1988;103(3):773–778]; Noll [Generic Gâteaux-differentiability of convex functions on small sets. J Math Anal Appl. 1990;147(2):531–544] and others. It is our aim to extend such results for convex functions defined on (not necessarily open) convex subsets of locally convex spaces. In the same framework we extend Gale's duality theorem (1967), as well as a result of H. Ergin & T. Sarver on the unique dual representation of a convex function (2010). Moreover, a detailed study of the Rainwater example is done.

The Liouville current of holomorphic quadratic differential metrics

In this paper we study the Liouville current of flat cone metrics coming from a holomorphic quadratic differential. Anja Bankovic and Christopher J. Leininger proved in Bankovic and Leininger (Trans Am Math Soc 370:1867–1884, 2018) that for a fixed closed surface, there is an injection map from the space of flat cone metrics to the space of geodesic currents. We manage to show that metrics coming from holomorphic quadratic differentials can be distinguished from other flat metrics by just looking at the geodesic currents. The key idea is to analyze the support of Liouville current, which is a topological invariant independent of the metric, and get information about cone angles and holonomy. The holonomy part involves some subtlety of relationship between singular foliation and geodesic lamination. We also obtain a new proof of a classical result that almost all simple geodesics of a quadratic differential metric will be dense in the surface. Furthermore, for other flat cone metrics, there is no simple dense geodesic.

An exceptional property of the one-dimensional Bianchi–Egnell inequality

In this paper, for d≥1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$d \\ge 1$$\\end{document} and s∈(0,d2)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$s \\in (0,\\frac{d}{2})$$\\end{document}, we study the Bianchi–Egnell quotient Q(f)=inff∈H˙s(Rd)\\B‖(-Δ)s/2f‖L2(Rd)2-Sd,s‖f‖L2dd-2s(Rd)2distH˙s(Rd)(f,B)2,f∈H˙s(Rd)\\B,\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\begin{aligned} {\\mathcal {Q}}(f) = \\inf _{f \\in \\dot{H}^s({\\mathbb {R}}^d) \\setminus {\\mathcal {B}}} \\frac{\\Vert (-\\Delta )^{s/2} f\\Vert _{L^2({\\mathbb {R}}^d)}^2 - S_{d,s} \\Vert f\\Vert _{L^{\\frac{2d}{d-2s}}(\\mathbb R^d)}^2}{\ ext {dist}_{\\dot{H}^s({\\mathbb {R}}^d)}(f, {\\mathcal {B}})^2}, \\qquad f \\in \\dot{H}^s({\\mathbb {R}}^d) \\setminus {\\mathcal {B}}, \\end{aligned}$$\\end{document}where Sd,s\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$S_{d,s}$$\\end{document} is the best Sobolev constant and B\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${\\mathcal {B}}$$\\end{document} is the manifold of Sobolev optimizers. By a fine asymptotic analysis, we prove that when d=1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$d = 1$$\\end{document}, there is a neighborhood of B\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${\\mathcal {B}}$$\\end{document} on which the quotient Q(f)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${\\mathcal {Q}}(f)$$\\end{document} is larger than the lowest value attainable by sequences converging to B\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${\\mathcal {B}}$$\\end{document}. This behavior is surprising because it is contrary to the situation in dimension d≥2\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$d \\ge 2$$\\end{document} described recently in König (Bull Lond Math Soc 55(4):2070–2075, 2023). This leads us to conjecture that for d=1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$d = 1$$\\end{document}, Q(f)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${\\mathcal {Q}}(f)$$\\end{document} has no minimizer on H˙s(Rd)\\B\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\dot{H}^s({\\mathbb {R}}^d) \\setminus {\\mathcal {B}}$$\\end{document}, which again would be contrary to the situation in d≥2\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$d \\ge 2$$\\end{document}. As a complement of the above, we study a family of test functions which interpolates between one and two Talenti bubbles, for every d≥1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$d \\ge 1$$\\end{document}. For d≥2\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$d \\ge 2$$\\end{document}, this family yields an alternative proof of the main result of König (Bull Lond Math Soc 55(4):2070–2075, 2023). For d=1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$d =1$$\\end{document} we make some numerical observations which support the conjecture stated above.

A note on Ambarzumian’s theorem for quantum graphs

Based on the main result presented in Bifulco and Kerner (Proc Am Math Soc 152:295–306, 2024), we derive Ambarzumian–type theorems for Schrödinger operators defined on quantum graphs.

Growth of meromorphic solution related to linear difference equations and value sharing

In this paper, we consider the growth of meromorphic solutions of complex linear difference equations of certain types and derive some results, which improve the results of Chiang and Feng [On the Nevanlinna characteristic of f ( z + η ) and difference equations in the complex plane. Ramanujan J. 2008;16(1):105–129; On the growth of logarithmic differences, difference quotients and logarithmic derivatives of meromorphic functions. Trans Am Math Soc. 2009;361:3767–3791] and Chen [Growth and zeros of meromorphic solution of some linear difference equations. J Math Anal Appl. 2011;373:235–241]. Also in this paper, we consider the sharing value problems of entire functions with their difference operators and obtain a result which improves the result of Li, Yang and Yi [Entire functions sharing an entire function of smaller order with their shifts. Proc Jpn Acad. 89 (A) (2013), 34–39]. Moreover, we show by illustrating a number of examples that our results are best possible in certain senses.

Pickl’s proof of the quantum mean-field limit and quantum Klimontovich solutions

This paper discusses the mean-field limit for the quantum dynamics of N identical bosons in R3\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${\ extbf{R}}^3$$\\end{document} interacting via a binary potential with Coulomb-type singularity. Our approach is based on the theory of quantum Klimontovich solutions defined in Golse and Paul (Commun Math Phys 369:1021–1053, 2019) . Our first main result is a definition of the interaction nonlinearity in the equation governing the dynamics of quantum Klimontovich solutions for a class of interaction potentials slightly less general than those considered in Kato (Trans Am Math Soc 70:195–211, 1951). Our second main result is a new operator inequality satisfied by the quantum Klimontovich solution in the case of an interaction potential with Coulomb-type singularity. When evaluated on an initial bosonic pure state, this operator inequality reduces to a Gronwall inequality for a functional introduced in Pickl (Lett Math Phys 97:151-164, 2011), resulting in a convergence rate estimate for the quantum mean-field limit leading to the time-dependent Hartree equation.

Free boundary problems of the incompressible Navier–Stokes equations with non-flat initial surface in the critical Besov space

Global well-posedness of the Navier–Stokes equations with a free boundary condition is considered in the scaling critical homogeneous Besov spaces B˙p,1-1+n/p(R+n)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${\\dot{B}}_{p,1}^{-1+n/p}({\\mathbb {R}}^n_+)$$\\end{document} with n-1<p<2n-1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$n-1< p< 2n-1$$\\end{document}. To show the global well-posedness, we establish end-point maximal L1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$L^1$$\\end{document}-regularity for the initial-boundary value problem of the Stokes equations. Such an estimate is obtained via related estimate for the initial-boundary value problem of the heat equation with the inhomogeneous Neumann data as well as the pressure estimate in the critical Besov space framework. The proof heavily depends on the explicit expression of the fundamental integral kernel of the Lagrange transformed linearized Stokes equations and the almost orthogonal estimates with the space-time Littlewood–Paley dyadic decompositions. Our result here improves the initial space and boundary state than previous results by Danchin–Hieber–Mucha–Tolksdorf (Free boundary problems via Da Prato–Grisvard theory. arXiv:2011.07918v2) and ourselves (Ogawa and Shimizu in J Evol Equ 22(30):67, 2022; Ogawa and Shimizu in J Math Soc Jpn. arXiv:2211.06952v3).

Around accumulation points and maximal sequences of indiscernibles

Answering a question of Mitchell (Trans Am Math Soc 329(2):507–530, 1992) we show that a limit of accumulation points can be singular in K\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${\\mathcal {K}}$$\\end{document}. Some additional constructions are presented.

Collective or individual rationality in the Nash bargaining solution: efficiency-free characterizations

AbstractIn the classical bargaining problem, we propose a very mild axiom of individual rationality, which we call possibility of utility gain. This requires that for at least one bargaining problem, there exists at least one player who reaches a higher utility level than their disagreement utility. This paper shows that the Nash solution (Nash in Econometrica 18(2):155–162, 1950) is characterized by possibility of utility gain and continuity with respect to feasible sets together with Nash’s axioms except weak Pareto optimality. We also show that in Nash’s theorem, weak Pareto optimality can be replaced by conflict-freeness (introduced by Rachmilevitch in Math Soc Sci 76(C):107–109, 2015). This demands that when the agreement most preferred by all players is feasible, this should be chosen. Furthermore, we provide alternative and unified proofs for other efficiency-free characterizations of the Nash solution. This clarifies the role of each axiom in the related results.

Distance spectral radius and fractional matching in t-connected graphs

A fractional matching of a graph G is a function f assigning each edge a number in [ 0 , 1 ] so that ∑ e ∈ Γ ( v ) f ( e ) ≤ 1 for each v ∈ V ( G ) , where Γ ( v ) is the set of edges incident to v. The fractional matching number is the maximum of ∑ e ∈ Γ ( v ) f ( e ) over all fractional matchings. Motivated by progress in the study of relations between eigenvalues and matchings of graphs, in this paper, we characterize graphs with the minimum distance spectral radius among all t-connected graphs with n vertices and fractional matching number at most n − k 2 for 1 ≤ k ≤ n − 2 . Our characterization generalizes a result of Li, Miao, and Zhang [On the size, spectral radius, distance spectral radius and fractional matchings in graphs. Bull Aust Math Soc. 2023;187–199.], giving a distance spectral condition for the existence of a fractional perfect matching in a connected graph.

Multi-part cross-intersecting families

Let A⊆[n]a\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${\\mathcal {A}}\\subseteq {[n]\\atopwithdelims ()a}$$\\end{document} and B⊆[n]b\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${\\mathcal {B}}\\subseteq {[n]\\atopwithdelims ()b}$$\\end{document} be two families of subsets of [n], we say A\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${\\mathcal {A}}$$\\end{document} and B\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${\\mathcal {B}}$$\\end{document} are cross-intersecting if A∩B≠∅\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$A\\cap B\ e \\emptyset $$\\end{document} for all A∈A\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$A\\in {\\mathcal {A}}$$\\end{document}, B∈B\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$B\\in {\\mathcal {B}}$$\\end{document}. In this paper, we study cross-intersecting families in the multi-part setting. By characterizing the independent sets of vertex-transitive graphs and their direct products, we determine the sizes and structures of maximum-sized multi-part cross-intersecting families. This generalizes the results of Hilton’s (J Lond Math Soc 15(2):369–376, 1977) and Frankl–Tohushige’s (J Comb Theory Ser A 61(1):87–97, 1992) on cross-intersecting families in the single-part setting.

Divisibility among power matrices associated with multiplicative functions

Let a, b and n be positive integers and let S = { x 1 , … , x n } be a set of n distinct positive integers. For x ∈ S , one defines G S ( x ) = { y ∈ S : y < x , y | x and ( y | z | x , z ∈ S ) ⇒ z ∈ { y , x } } . For any arithmetic function f and any positive integer x, we define the power arithmetic function f a by f a ( x ) = ( f ( x ) ) a . We denote by ( f a [ S ] ) the n × n power matrix having f a evaluated at the least common multiple of x i and x j as its ( i , j ) -entry. Denote by lcm ( S ) the least common multiple of all the elements of S and by | T | the number of elements of any finite set T. In this paper, we show that if a | b , S is gcd closed (i.e. gcd ( x i , x j ) ∈ S for all integers i and j with 1 ≤ i , j ≤ n ) with max x ∈ S { | G S ( x ) | } = 1 and f is a multiplicative function such that ( f a ] S ] ) is nonsingular and ( f ∗ μ ) ( d ) ∈ Z whenever d | lcm ( S ) and f ( y ) | f ( x ) whenever y | x and y , x ∈ S , where f ∗ μ is the Dirichlet convolution of f and the Möbius function μ, then the ath power matrix ( f a [ S ] ) divides the bth power matrix ( f b [ S ] ) in the ring of n × n matrices over the integers. Our result extend a theorem of S.F. Hong [Divisibility properties of power GCD matrices and power LCM matrices. Linear Algebra Appl. 2008;428:1001–1008] and that of G.Y. Zhu and M. Li [On the divisibility among power LCM matrices on gcd-closed sets. Bull Aust Math Soc. 2023;107:31–39].

Sequential licensing with several competing technologies

We assume a multistage oligopoly wherein a given number of innovators compete by selling their substitutive technologies. Each innovator sequentially and independently chooses how many licenses to sell, and subsequently, all licensees compete à la Cournot in the product market. We show that, in equilibrium, the total number of licensees grows exponentially with the number of innovators. In addition, this sequential outcome is also obtained as a subgame perfect Nash equilibrium in pure strategies of a game with endogenous timing. Interestingly, by extending the duopoly model of Badia et al. (Math Soc Sci 108:8–13, 2020) to the case of more than two innovators and exploring pure strategy equilibria instead of mixed strategy equilibria, we derive drastically different policy implications, in terms of patent regulations. Our results suggest that more competition in the upstream market (e.g., by relaxing patent protection against the appearance of similar technologies) tends to increase downstream competition and welfare instead of discouraging or delaying technology adoption. In addition, our analysis is extended to explore the strategic role of public investment in basic R &D.

On anisotropic parabolic equation with nonstandard growth order

ABSTRACT In this paper, the existence and the uniqueness of an evolutionary anisotropic p i ( x ) -Laplacian equation with a damping term are studied. If the damping term is with a subcritical index, by the Di Giorgi iteration technique, the L ∞ -estimate of the weak solutions can be obtained. The existence of weak solution is proved by the renormalized solution method, and how the anisotropic characteristic of the considered equation affect the L ∞ -estimate of the weak solutions is revealed. The uniqueness is true strongly depending on subcritical index of the damping term, and this result goes beyond previous efforts in the literature (Bertsch M, Dal Passo R, Ughi M: Discontinuous viscosity solutions of a degenerate parabolic equation. Trans Amer Math Soc. 1990;320:779–798; Li Z, Yan B, Gao W. Existence of solutions to a parabolic p ( x ) − Laplace equation with convection term via L ∞ − Estimates. Electron J Differ Equ. 2015;46:1–21; Zhang Q, Shi P. Global solutions and self-similar solutions of semilinear parabolic equations with nonlinear gradient terms. Nonlinear Anal. 2010;72:2744–2752; Zhou W, Cai S. The continuity of the viscosity of the Cauchy problem of a degenerate parabolic equation not in divergence form. J Jilin University (Natural Sci.). 2004;42:341–345), etc.

Refined Universality for Critical KCM: Upper Bounds

We study a general class of interacting particle systems called kinetically constrained models (KCM) in two dimensions. They are tightly linked to the monotone cellular automata called bootstrap percolation. Among the three classes of such models (Bollobás et al. in Combin Probab Comput 24(4):687–722, 2015), the critical ones are the most studied. Together with the companion paper by Marêché and the author (Hartarsky and Marêché in Combin Probab Comput 31(5):879–906, 2022), our work determines the logarithm of the infection time up to a constant factor for all critical KCM. This was previously known only up to logarithmic corrections (Hartarsky et al. in Probab Theory Relat Fields 178(1):289–326, 2020, Ann Probab 49(5):2141–2174, 2021, Martinelli et al. in Commun Math Phys 369(2):761–809, 2019). We establish that on this level of precision critical KCM have to be classified into seven categories. This refines the two classes present in bootstrap percolation (Bollobás et al. in Proc Lond Math Soc (3) 126(2):620–703, 2023) and the two in previous rougher results (Hartarsky et al. in Probab Theory Relat Fields 178(1):289–326, 2020, Ann Probab 49(5):2141–2174, 2021, Martinelli et al. in Commun Math Phys 369(2):761–809, 2019). In the present work we establish the upper bounds for the novel five categories and thus complete the universality program for equilibrium critical KCM. Our main innovations are the identification of the dominant relaxation mechanisms and a more sophisticated and robust version of techniques recently developed for the study of the Fredrickson-Andersen 2-spin facilitated model (Hartarsky et al. in Probab Theory Relat Fields 185(3):993–1037, 2023).