-
Orlicz-Sobolev embeddings and heat kernel based Besov classes
Authors:
Patricia Alonso Ruiz,
Fabrice Baudoin
Abstract:
This paper investigates functional inequalities involving Besov spaces and functions of bounded variation, when the underlying metric measure space displays different local and global structures. Particular focus is put on the $L^1$ theory and its applications to sets of finite perimeter and isoperimetric inequalities, which can now capture such structural differences.
This paper investigates functional inequalities involving Besov spaces and functions of bounded variation, when the underlying metric measure space displays different local and global structures. Particular focus is put on the $L^1$ theory and its applications to sets of finite perimeter and isoperimetric inequalities, which can now capture such structural differences.
△ Less
Submitted 14 May, 2025;
originally announced May 2025.
-
Iterative methods fail to solve NLS below the Sobolev embedding threshold on the Sierpinski gasket
Authors:
Patricia Alonso Ruiz,
Gigliola Staffilani
Abstract:
We show that the nonlinear Schrödinger equation on the Sierpinski gasket with a power nonlinearity of order $2k{+}1$ is not locally well-posed for initial data just below the regularity threshold for the Sobolev embedding $H^s\subseteq L^\infty$. More precisely, the flow map fails to be $C^{2k+1}$-continuous in any Sobolev space $H^s$ below that threshold, and the threshold is independent of the p…
▽ More
We show that the nonlinear Schrödinger equation on the Sierpinski gasket with a power nonlinearity of order $2k{+}1$ is not locally well-posed for initial data just below the regularity threshold for the Sobolev embedding $H^s\subseteq L^\infty$. More precisely, the flow map fails to be $C^{2k+1}$-continuous in any Sobolev space $H^s$ below that threshold, and the threshold is independent of the power nonlinearity. This novel behavior significantly differs from other compact spaces such as the torus or the sphere, and it is directly connected to the existence of localized eigenfunctions.
△ Less
Submitted 7 May, 2025;
originally announced May 2025.
-
Solvable Structures for Hamiltonian Systems
Authors:
Sasa Kresic-Juric,
Concepcion Muriel,
Adrian Ruiz
Abstract:
In this paper, we investigate solvable structures associated to Hamiltonian equations. For a completely integrable Hamiltonian system with $n$ degrees of freedom, we construct a canonical solvable structure consisting of $2n$ Hamiltonian vector fields. We derive explicit expressions for the corresponding Pfaffian forms, whose integration provides solutions to the Hamiltonian equations. We show tha…
▽ More
In this paper, we investigate solvable structures associated to Hamiltonian equations. For a completely integrable Hamiltonian system with $n$ degrees of freedom, we construct a canonical solvable structure consisting of $2n$ Hamiltonian vector fields. We derive explicit expressions for the corresponding Pfaffian forms, whose integration provides solutions to the Hamiltonian equations. We show that the upper $n$ forms give the action varibles, while the lower $n$ forms yield the angle variables of the system. This offers a novel interpretation of the Arnold--Liouville theorem in terms of solvable structures. We ilustrate the theory by deriving explicit solutions and action--angle variables for $n$ harmonic oscillators and the Calogero--Moser system.
△ Less
Submitted 2 April, 2025;
originally announced April 2025.
-
A new graph-directed construction of nonlocal energies on the unit interval
Authors:
Anna Aboud,
Patricia Alonso Ruiz,
Mary Vaughan
Abstract:
We present an analytic construction of nonlocal energies on the unit interval. The energies are defined using a new graph-directed construction of discrete energies on dyadic approximations of the interval. When the discrete jump kernels are comparable to the kernel of the fractional discrete Laplacian, we prove that the discrete energies Mosco converge and the limiting energy is equivalent to the…
▽ More
We present an analytic construction of nonlocal energies on the unit interval. The energies are defined using a new graph-directed construction of discrete energies on dyadic approximations of the interval. When the discrete jump kernels are comparable to the kernel of the fractional discrete Laplacian, we prove that the discrete energies Mosco converge and the limiting energy is equivalent to the fractional Gagliardo seminorm.
△ Less
Submitted 13 March, 2025;
originally announced March 2025.
-
A priori estimates of Mizohata-Takeuchi type for the Navier-Lamé operator
Authors:
Juan Antonio Barceló,
Alberto Ruiz,
Mari Cruz Vilela,
Jim Wright
Abstract:
The Mizohata-Takeuchi conjecture for the resolvent of the Navier-Lamé equation is a weighted estimate with weights in the so-called Mizohata-Takeuchi class for this operator when one approaches the spectrum (Limiting Absorption Principles). We prove this conjecture in dimensions 2 and 3 for weights with a radial majorant in the Mizohata-Takeuchi class. This result can be seen as an extension of th…
▽ More
The Mizohata-Takeuchi conjecture for the resolvent of the Navier-Lamé equation is a weighted estimate with weights in the so-called Mizohata-Takeuchi class for this operator when one approaches the spectrum (Limiting Absorption Principles). We prove this conjecture in dimensions 2 and 3 for weights with a radial majorant in the Mizohata-Takeuchi class. This result can be seen as an extension of the analogue for the Laplacian given in [8]. We also prove that radial weights in this class are not invariant for the Hardy-Littlewood maximal function, hence the methods in [6] used to extend estimates for the Laplacian to the Navier-Lamé case, do not work.
△ Less
Submitted 17 January, 2025;
originally announced January 2025.
-
Fractional Sobolev embeddings and algebra property: A dyadic view
Authors:
Patricia Alonso Ruiz,
Valentia Fragkiadaki
Abstract:
This paper revisits classical fractional Sobolev embedding theorems and the algebra property of the fractional Sobolev space $H^s(\mathbb{R})$ by means of Haar functions and dyadic decompositions. The aim is to provide an alternative, hands-on approach without Fourier transform that may be transferred to settings where the latter is not available. Explicit counterexamples are constructed to show t…
▽ More
This paper revisits classical fractional Sobolev embedding theorems and the algebra property of the fractional Sobolev space $H^s(\mathbb{R})$ by means of Haar functions and dyadic decompositions. The aim is to provide an alternative, hands-on approach without Fourier transform that may be transferred to settings where the latter is not available. Explicit counterexamples are constructed to show the failure of the algebra property in the low-regularity regime.
△ Less
Submitted 16 December, 2024;
originally announced December 2024.
-
Classification of traveling wave solutions of the modified Zakharov--Kuznetsov equation
Authors:
A. J. Pan-Collantes,
C. Muriel,
A. Ruiz
Abstract:
The $\mathcal{C}^{\infty}$-structure-based method of integration of distributions of vector fields is used to classify all the traveling wave solutions of the modified Zakharov--Kuznetsov equation. This work unifies and generalizes the particular results obtained in the recent literature by using specific ansatz-based methods.
The $\mathcal{C}^{\infty}$-structure-based method of integration of distributions of vector fields is used to classify all the traveling wave solutions of the modified Zakharov--Kuznetsov equation. This work unifies and generalizes the particular results obtained in the recent literature by using specific ansatz-based methods.
△ Less
Submitted 21 November, 2024;
originally announced November 2024.
-
Homogenization on parallelizable Riemannian manifolds
Authors:
Daniel Faraco,
Luis Guijarro,
Yaroslav Kurylev,
Alberto Ruiz
Abstract:
We consider the problem of finding the homogenization limit of oscillating linear elliptic equations on an arbitrary parallelizable manifold $(M,g,Γ)$. We replicate the concept of two-scale convergence by pulling back tensors $T$ defined on the torus bundle $\mathbb{T}M$ to $M$. The process consist of two steps: localization in the slow variable through Voronoi domains, and inducing local periodic…
▽ More
We consider the problem of finding the homogenization limit of oscillating linear elliptic equations on an arbitrary parallelizable manifold $(M,g,Γ)$. We replicate the concept of two-scale convergence by pulling back tensors $T$ defined on the torus bundle $\mathbb{T}M$ to $M$. The process consist of two steps: localization in the slow variable through Voronoi domains, and inducing local periodicity in the fast variable from the local exponential map in combination with the geometry of the torus bundle. The procedure yields explicit cell formulae for the homogenization limit and as a byproduct a theory of two-scale convergence of tensors of arbitrary order.
△ Less
Submitted 18 April, 2024;
originally announced April 2024.
-
Fisher-Riemann geometry for nonparametric probability densities
Authors:
Hugo Aimar,
Aníbal Chicco Ruiz,
Ivana Gómez
Abstract:
In this article we aim to obtain the Fisher Riemann geodesics for nonparametric families of probability densities as a weak limit of the parametric case with increasing number of parameters.
In this article we aim to obtain the Fisher Riemann geodesics for nonparametric families of probability densities as a weak limit of the parametric case with increasing number of parameters.
△ Less
Submitted 16 February, 2024;
originally announced February 2024.
-
Korevaar-Schoen $p$-energies and their $Γ$-limits on Cheeger spaces
Authors:
Patricia Alonso Ruiz,
Fabrice Baudoin
Abstract:
This paper studies properties of $Γ$-limits of Korevaar-Schoen $p$-energies on a Cheeger space. When $p>1$, this kind of limit provides a natural $p$-energy form that can be used to define a $p$-Laplacian, and whose domain is the Newtonian Sobolev space $N^{1,p}$. When $p=1$, the limit can be interpreted as a total variation functional whose domain is the space of BV functions. When the underlying…
▽ More
This paper studies properties of $Γ$-limits of Korevaar-Schoen $p$-energies on a Cheeger space. When $p>1$, this kind of limit provides a natural $p$-energy form that can be used to define a $p$-Laplacian, and whose domain is the Newtonian Sobolev space $N^{1,p}$. When $p=1$, the limit can be interpreted as a total variation functional whose domain is the space of BV functions. When the underlying space is compact, the $Γ$-convergence of the $p$-energies is improved to Mosco convergence for every $p \ge 1$.
△ Less
Submitted 28 January, 2024;
originally announced January 2024.
-
Decay properties of Vlasov fields on non-trapping asymptotically hyperbolic manifolds
Authors:
Anibal Velozo Ruiz,
Renato Velozo Ruiz
Abstract:
In this paper, we study pointwise decay estimates in time for Vlasov fields on non-trapping asymptotically hyperbolic manifolds. We prove optimal decay estimates in time for the spatial density induced by Vlasov fields on these geometric backgrounds in dimension two. First, we show exponential decay for Vlasov fields on hyperbolic space supported away from the zero velocity set. In contrast, we ob…
▽ More
In this paper, we study pointwise decay estimates in time for Vlasov fields on non-trapping asymptotically hyperbolic manifolds. We prove optimal decay estimates in time for the spatial density induced by Vlasov fields on these geometric backgrounds in dimension two. First, we show exponential decay for Vlasov fields on hyperbolic space supported away from the zero velocity set. In contrast, we obtain inverse polynomial decay for general Vlasov fields on hyperbolic space. In the second part of the article, we prove exponential decay for Vlasov fields on non-trapping asymptotically hyperbolic manifolds supported away from the zero velocity set. The proofs are obtained through a commuting vector field approach. We exploit the hyperbolicity of the geodesic flow in these geometric backgrounds, by making use of a commuting vector field in the unstable invariant distribution of phase space.
△ Less
Submitted 20 December, 2023;
originally announced December 2023.
-
Modified scattering of small data solutions to the Vlasov-Poisson system with a trapping potential
Authors:
Léo Bigorgne,
Anibal Velozo Ruiz,
Renato Velozo Ruiz
Abstract:
In this paper, we study small data solutions to the Vlasov-Poisson system with the simplest external potential, for which unstable trapping holds for the associated Hamiltonian flow. First, we provide a new proof of global existence for small data solutions to the Vlasov-Poisson system with the trapping potential $\frac{-|x|^2}{2}$ in dimension two. We exploit the uniform hyperbolicity of the Hami…
▽ More
In this paper, we study small data solutions to the Vlasov-Poisson system with the simplest external potential, for which unstable trapping holds for the associated Hamiltonian flow. First, we provide a new proof of global existence for small data solutions to the Vlasov-Poisson system with the trapping potential $\frac{-|x|^2}{2}$ in dimension two. We exploit the uniform hyperbolicity of the Hamiltonian flow, by making use of the commuting vector fields contained in the stable and unstable invariant distributions of phase space for the linearized system. In contrast with the proof in \cite{VV23}, we do not use modified vector field techniques. Moreover, we obtain small data modified scattering for this non-linear system. We show that the distribution function converges to a new regular distribution function along modifications to the characteristics of the linearized problem. We define the linearly growing corrections to the characteristic system, in terms of a precise effective asymptotic force field. We make use of the scattering state to obtain the late-time asymptotic behavior of the spatial density. Finally, we prove that the distribution function (up to normalization) converges weakly to a Dirac mass on the unstable manifold of the origin.
△ Less
Submitted 26 October, 2023;
originally announced October 2023.
-
Integration of differential equations by $\mathcal{C}^{\infty}$-structures
Authors:
A. J. Pan-Collantes,
C. Muriel,
A. Ruiz
Abstract:
Several integrability problems of differential equations are addressed by using the concept of $\mathcal{C}^{\infty}$-structure, a recent generalization of the notion of solvable structure. Specifically, the integration procedure associated with $\mathcal{C}^{\infty}$-structures is used to integrate to a Lotka-Volterra model and several differential equations that lack sufficient Lie point symmetr…
▽ More
Several integrability problems of differential equations are addressed by using the concept of $\mathcal{C}^{\infty}$-structure, a recent generalization of the notion of solvable structure. Specifically, the integration procedure associated with $\mathcal{C}^{\infty}$-structures is used to integrate to a Lotka-Volterra model and several differential equations that lack sufficient Lie point symmetries and cannot be solved using conventional methods.
△ Less
Submitted 28 August, 2023;
originally announced August 2023.
-
$\mathcal{C}^{\infty}$-structures in the integration of involutive distributions
Authors:
A. J. Pan-Collantes,
C. Muriel,
A. Ruiz,
J. L. Romero
Abstract:
For a system of ordinary differential equations (ODEs) or, more generally, an involutive distribution of vector fields, the problem of its integration is considered. Among the many approaches to this problem, solvable structures provide a systematic procedure of integration via Pfaffian equations that are integrable by quadratures. In this paper structures more general than solvable structures (na…
▽ More
For a system of ordinary differential equations (ODEs) or, more generally, an involutive distribution of vector fields, the problem of its integration is considered. Among the many approaches to this problem, solvable structures provide a systematic procedure of integration via Pfaffian equations that are integrable by quadratures. In this paper structures more general than solvable structures (named cinf-structures) are considered. The symmetry condition in the concept of solvable structure is weakened for cinf-structures by requiring their vector fields be just cinf-symmetries. For cinf-structures there is also an integration procedure, but the corresponding Pfaffian equations, although completely integrable, are not necessarily integrable by quadratures. The well-known result on the relationship between integrating factors and Lie point symmetries for first-order ODEs is generalized for cinf-structures and involutive distributions of arbitrary corank by introducing symmetrizing factors. The role of these symmetrizing factors on the integrability by quadratures of the Pfaffian equations associated with the \cinf-structure is also established. Some examples that show how these objects and results can be applied in practice are also presented.
△ Less
Submitted 12 May, 2023;
originally announced May 2023.
-
Small data solutions for the Vlasov-Poisson system with a trapping potential
Authors:
Anibal Velozo Ruiz,
Renato Velozo Ruiz
Abstract:
In this paper, we study small data solutions for the Vlasov-Poisson system with the simplest external potential, for which unstable trapping holds for the associated Hamiltonian flow. We prove sharp decay estimates in space and time for small data solutions to the Vlasov-Poisson system with the unstable trapping potential $\frac{-|x|^2}{2}$ in dimension two or higher. The proofs are obtained throu…
▽ More
In this paper, we study small data solutions for the Vlasov-Poisson system with the simplest external potential, for which unstable trapping holds for the associated Hamiltonian flow. We prove sharp decay estimates in space and time for small data solutions to the Vlasov-Poisson system with the unstable trapping potential $\frac{-|x|^2}{2}$ in dimension two or higher. The proofs are obtained through a commuting vector field approach. We exploit the uniform hyperbolicity of the Hamiltonian flow, by making use of the commuting vector fields contained in the stable and unstable invariant distributions of phase space for the linearized system. In dimension two, we make use of modified vector field techniques due to the slow decay estimates in time. Moreover, we show an explicit teleological construction of the trapped set in terms of the non-linear evolution of the force field.
△ Less
Submitted 24 April, 2023;
originally announced April 2023.
-
An inverse problem for data-driven prediction in quantum mechanics
Authors:
Pedro Caro,
Alberto Ruiz
Abstract:
Data-driven prediction in quantum mechanics consists in providing an approximative description of the motion of any particles at any given time, from data that have been previously collected for a certain number of particles under the influence of the same Hamiltonian. The difficulty of this problem comes from the ignorance of the exact Hamiltonian ruling the dynamic. In order to address this prob…
▽ More
Data-driven prediction in quantum mechanics consists in providing an approximative description of the motion of any particles at any given time, from data that have been previously collected for a certain number of particles under the influence of the same Hamiltonian. The difficulty of this problem comes from the ignorance of the exact Hamiltonian ruling the dynamic. In order to address this problem, we formulate an inverse problem consisting in determining the Hamiltonian of a quantum system from the knowledge of the state at some fixed finite time for each initial state. We focus on the simplest case where the Hamiltonian is given by $-Δ+ V$, where the potential $V = V(\mathrm{t}, \mathrm{x})$ is non-compactly supported. Our main result is a uniqueness theorem, which establishes that the Hamiltonian ruling the dynamic of all quantum particles is determined by the prescription of the initial and final states of each particle. As a consequence, one expects to be able to know the state of any particle at any given time, without an a priori knowledge of the Hamiltonian just from the data consisting of the initial and final state of each particle.
△ Less
Submitted 21 February, 2023;
originally announced February 2023.
-
Dirichlet forms on metric measure spaces as Mosco limits of Korevaar-Schoen energies
Authors:
Patrica Alonso Ruiz,
Fabrice Baudoin
Abstract:
This paper establishes sufficient general conditions for the existence of Mosco limits of Korevaar-Schoen $L^2$ energies, first in the context of Cheeger spaces and then in the context of fractal-like spaces with walk dimension greater than 2. Among the ingredients, a new Rellich-Kondrachov type theorem for Korevaar-Schoen-Sobolev spaces is of independent interest.
This paper establishes sufficient general conditions for the existence of Mosco limits of Korevaar-Schoen $L^2$ energies, first in the context of Cheeger spaces and then in the context of fractal-like spaces with walk dimension greater than 2. Among the ingredients, a new Rellich-Kondrachov type theorem for Korevaar-Schoen-Sobolev spaces is of independent interest.
△ Less
Submitted 21 April, 2023; v1 submitted 19 January, 2023;
originally announced January 2023.
-
A Lucas analogue of Eulerian numbers
Authors:
José Agapito Ruiz
Abstract:
The generalized Lucas numbers are polynomials in two variables with nonnegative integer coefficients. Lucas versions of some combinatorial numbers with known formulas in terms of quotient and products of nonnegative integers have been recently given by replacing the integers in those formulas with their corresponding Lucas analogues. We instead use a recursive approach. In this sense, we give a re…
▽ More
The generalized Lucas numbers are polynomials in two variables with nonnegative integer coefficients. Lucas versions of some combinatorial numbers with known formulas in terms of quotient and products of nonnegative integers have been recently given by replacing the integers in those formulas with their corresponding Lucas analogues. We instead use a recursive approach. In this sense, we give a recursive formula for Lucas-Narayana numbers derived from a recent formula in terms of Lucasnomials (the explicit Lucas version of binomial numbers). We propose a recursive definition for a Lucas analogue of the classical Eulerian numbers, which shows immediately that they are polynomials in two variables with nonnegative integer coefficients. We prove that they are palindromic like their standard counterparts. The recursive approach allows us to give Lucas analogues of many relevant combinatorial constants. In particular, Lucas versions for both Stirling numbers of the second kind and Motzkin numbers are presented.
△ Less
Submitted 12 January, 2023;
originally announced January 2023.
-
Two-body Coulomb problem and $g^{(2)}$ algebra (once again about the Hydrogen atom)
Authors:
Alexander V Turbiner,
Adrian M Escobar Ruiz
Abstract:
Taking the Hydrogen atom as an example it is shown that if the symmetry of a three-dimensional system is $O(2) \oplus Z_2$, the variables $(r, ρ, \varphi)$ allow a separation of the variable $\varphi$, and the eigenfunctions define a new family of orthogonal polynomials in two variables, $(r, ρ^2)$. These polynomials are related to the finite-dimensional representations of the algebra…
▽ More
Taking the Hydrogen atom as an example it is shown that if the symmetry of a three-dimensional system is $O(2) \oplus Z_2$, the variables $(r, ρ, \varphi)$ allow a separation of the variable $\varphi$, and the eigenfunctions define a new family of orthogonal polynomials in two variables, $(r, ρ^2)$. These polynomials are related to the finite-dimensional representations of the algebra $gl(2) \ltimes {\it R}^3 \in g^{(2)}$ (discovered by S Lie around 1880 which went almost unnoticed), which occurs as the hidden algebra of the $G_2$ rational integrable system of 3 bodies on the line with 2- and 3-body interactions (the Wolfes model). Namely, those polynomials occur intrinsically in the study of the Zeeman effect on Hydrogen atom. It is shown that in the variables $(r, ρ, \varphi)$ in the quasi-exactly-solvable, generalized Coulomb problem new polynomial eigenfunctions in $(r, ρ^2)$-variables are found.
△ Less
Submitted 30 January, 2023; v1 submitted 2 December, 2022;
originally announced December 2022.
-
$\mathcal{C}^{\infty}$-symmetries of distributions and integrability
Authors:
A. J. Pan-Collantes,
A. Ruiz,
C. Muriel,
J. L. Romero
Abstract:
An extension of the notion of solvable structure for involutive distributions of vector fields is introduced. The new structures are based on a generalization of the concept of symmetry of a distribution of vector fields, inspired in the extension of Lie point symmetries to $\mathcal{C}^{\infty}$-symmetries for ODEs developed in the recent years.
These new objects, named $\mathcal{C}^{\infty}$-s…
▽ More
An extension of the notion of solvable structure for involutive distributions of vector fields is introduced. The new structures are based on a generalization of the concept of symmetry of a distribution of vector fields, inspired in the extension of Lie point symmetries to $\mathcal{C}^{\infty}$-symmetries for ODEs developed in the recent years.
These new objects, named $\mathcal{C}^{\infty}$-structures, play a fundamental role in the integrability of the distribution: the knowledge of a $\mathcal{C}^{\infty}$-structure for a corank $k$ involutive distribution permits to find its integral manifolds by solving $k$ successive completely integrable Pfaffian equations. These results have important consequences for the integrability of differential equations. In particular, we derive a new procedure to integrate an $m$th-order ordinary differential equation by splitting the problem into $m$ completely integrable Pfaffian equations. This step-by-step integration procedure is applied to integrate completely several equations that cannot be solved by standard procedures.
△ Less
Submitted 18 June, 2023; v1 submitted 23 June, 2022;
originally announced June 2022.
-
Oscillations of BV measures on nested fractals
Authors:
Patricia Alonso Ruiz,
Fabrice Baudoin
Abstract:
Motivated by recent developments in the theory of bounded variation functions on nested fractals, this paper studies the exact asymptotics of functionals related to the total variation measure associated with unions of $n$-complexes. The oscillatory behavior observed implies the non-uniqueness of BV measures in this setting.
Motivated by recent developments in the theory of bounded variation functions on nested fractals, this paper studies the exact asymptotics of functionals related to the total variation measure associated with unions of $n$-complexes. The oscillatory behavior observed implies the non-uniqueness of BV measures in this setting.
△ Less
Submitted 18 February, 2024; v1 submitted 28 January, 2022;
originally announced January 2022.
-
Minimal gap in the spectrum of the Sierpinski gasket
Authors:
Patricia Alonso Ruiz
Abstract:
This paper studies the size of the minimal gap between any two consecutive eigenvalues in the Dirichlet and in the Neumann spectrum of the standard Laplace operator on the Sierpinski gasket. The main result shows the remarkable fact that this minimal gap is achieved and coincides with the spectral gap. The Dirichlet case is more challenging and requires some key observations in the behavior of the…
▽ More
This paper studies the size of the minimal gap between any two consecutive eigenvalues in the Dirichlet and in the Neumann spectrum of the standard Laplace operator on the Sierpinski gasket. The main result shows the remarkable fact that this minimal gap is achieved and coincides with the spectral gap. The Dirichlet case is more challenging and requires some key observations in the behavior of the dynamical system that describes the spectrum.
△ Less
Submitted 30 April, 2021;
originally announced May 2021.
-
Realizability and tameness of fusion systems
Authors:
Carles Broto,
Jesper Møller,
Bob Oliver,
Albert Ruiz
Abstract:
A saturated fusion system over a finite $p$-group $S$ is a category whose objects are the subgroups of $S$ and whose morphisms are injective homomorphisms between the subgroups satisfying certain axioms. A fusion system over $S$ is realized by a finite group $G$ if $S$ is a Sylow $p$-subgroup of $G$ and morphisms in the category are those induced by conjugation in $G$. One recurrent question in th…
▽ More
A saturated fusion system over a finite $p$-group $S$ is a category whose objects are the subgroups of $S$ and whose morphisms are injective homomorphisms between the subgroups satisfying certain axioms. A fusion system over $S$ is realized by a finite group $G$ if $S$ is a Sylow $p$-subgroup of $G$ and morphisms in the category are those induced by conjugation in $G$. One recurrent question in this subject is to find criteria as to whether a given saturated fusion system is realizable or not.
One main result in this paper is that a saturated fusion system is realizable if all of its components (in the sense of Aschbacher) are realizable. Another result is that all realizable fusion systems are tame: a finer condition on realizable fusion systems that involves describing automorphisms of a fusion system in terms of those of some group that realizes it. Stated in this way, these results depend on the classification of finite simple groups, but we also give more precise formulations whose proof is independent of the classification.
△ Less
Submitted 12 July, 2023; v1 submitted 16 February, 2021;
originally announced February 2021.
-
Yet another heat semigroup characterization of BV functions on Riemannian manifolds
Authors:
Patricia Alonso Ruiz,
Fabrice Baudoin
Abstract:
This paper provides a characterization of functions of bounded variation (BV) in a compact Riemannian manifold in terms of the short time behavior of the heat semigroup. In particular, the main result proves that the total variation of a function equals the limit characterizing the space BV. The proof is carried out following two fully independent approaches, a probabilistic and an analytic one. E…
▽ More
This paper provides a characterization of functions of bounded variation (BV) in a compact Riemannian manifold in terms of the short time behavior of the heat semigroup. In particular, the main result proves that the total variation of a function equals the limit characterizing the space BV. The proof is carried out following two fully independent approaches, a probabilistic and an analytic one. Each method presents different advantages.
△ Less
Submitted 22 October, 2020;
originally announced October 2020.
-
Stability estimates for the magnetic Schrödinger operator with partial measurements
Authors:
L. Potenciano-Machado,
A. Ruiz,
L. Tzou
Abstract:
In this article, we study stability estimates when recovering magnetic fields and electric potentials in a simply connected open subset in $R^n$ with $n \geq 3$, from measurements on open subsets of its boundary. This inverse problem is associated with a magnetic Schrödinger operator. Our estimates are quantitative versions of the uniqueness results obtained by D. Dos Santos Ferreira, C. E. Kenig,…
▽ More
In this article, we study stability estimates when recovering magnetic fields and electric potentials in a simply connected open subset in $R^n$ with $n \geq 3$, from measurements on open subsets of its boundary. This inverse problem is associated with a magnetic Schrödinger operator. Our estimates are quantitative versions of the uniqueness results obtained by D. Dos Santos Ferreira, C. E. Kenig, J. Sjöstrand and G. Uhlmann in [13]. The moduli of continuity are of logarithmic type.
△ Less
Submitted 27 September, 2020;
originally announced September 2020.
-
Simplicity of fusion systems of finite simple groups
Authors:
Bob Oliver,
Albert Ruiz
Abstract:
We determine for which known finite simple groups $G$ and which primes $p$ the $p$-fusion system of $G$ is simple. This means first collecting together the results that were already known (and correcting two errors made in an earlier study of this question), and then handling the remaining cases. At the same time, we develop some new tools to use when determining $O^{p'}(\mathcal{F})$ for arbitrar…
▽ More
We determine for which known finite simple groups $G$ and which primes $p$ the $p$-fusion system of $G$ is simple. This means first collecting together the results that were already known (and correcting two errors made in an earlier study of this question), and then handling the remaining cases. At the same time, we develop some new tools to use when determining $O^{p'}(\mathcal{F})$ for arbitrary saturated fusion systems.
△ Less
Submitted 12 December, 2020; v1 submitted 15 July, 2020;
originally announced July 2020.
-
Solving singular evolution problems in sub-Riemannian groups via deterministic games
Authors:
Pablo Ochoa,
Julio Alejo Ruiz
Abstract:
In this manuscript, we prove existence of viscosity solutions to singular parabolic equations in Carnot groups. We develop the analysis by constructing appropriate deterministic games adapted to the algebraic and differential structures of Carnot groups. We point out that the proof of existence does not require comparison and it is based on an Arzela-Ascoli-type theorem.
In this manuscript, we prove existence of viscosity solutions to singular parabolic equations in Carnot groups. We develop the analysis by constructing appropriate deterministic games adapted to the algebraic and differential structures of Carnot groups. We point out that the proof of existence does not require comparison and it is based on an Arzela-Ascoli-type theorem.
△ Less
Submitted 14 April, 2020;
originally announced April 2020.
-
Local extrema for Procustes problems in the set of positive definite matrices
Authors:
Pablo Calderón,
Noelia B. Rios,
Mariano A. Ruiz
Abstract:
Given two positive definite matrices $A$ and $B$, a well known result by Gelfand, Naimark and Lidskii establishes a relationship between the eigenvalues of $A$ and $B$ and those of $AB$ by means of majorization inequalities. In this work we make a local study focused in the spectrum of the matrices that achieve the equality in those inequalities. As an application, we complete some previous result…
▽ More
Given two positive definite matrices $A$ and $B$, a well known result by Gelfand, Naimark and Lidskii establishes a relationship between the eigenvalues of $A$ and $B$ and those of $AB$ by means of majorization inequalities. In this work we make a local study focused in the spectrum of the matrices that achieve the equality in those inequalities. As an application, we complete some previous results concerning Procustes problems for unitarily invariant norms in the manifold of positive definite matrices.
△ Less
Submitted 7 February, 2020;
originally announced February 2020.
-
Gagliardo-Nirenberg, Trudinger-Moser and Morrey inequalities on Dirichlet spaces
Authors:
Patricia Alonso Ruiz,
Fabrice Baudoin
Abstract:
With a view towards Riemannian or sub-Riemannian manifolds, RCD metric spaces and specially fractals, this paper makes a step further in the development of a theory of heat semigroup based $(1,p)$ Sobolev spaces in the general framework of Dirichlet spaces. Under suitable assumptions that are verified in a variety of settings, the tools developed by D. Bakry, T. Coulhon, M. Ledoux and L. Saloff-Co…
▽ More
With a view towards Riemannian or sub-Riemannian manifolds, RCD metric spaces and specially fractals, this paper makes a step further in the development of a theory of heat semigroup based $(1,p)$ Sobolev spaces in the general framework of Dirichlet spaces. Under suitable assumptions that are verified in a variety of settings, the tools developed by D. Bakry, T. Coulhon, M. Ledoux and L. Saloff-Coste in the paper "Sobolev inequalities in disguise" allow us to obtain the whole family of Gagliardo-Nirenberg and Trudinger-Moser inequalities with optimal exponents. The latter depend not only on the Hausdorff and walk dimensions of the space but also on other invariants. In addition, we prove Morrey type inequalities and apply them to study the infimum of the exponents that ensure continuity of Sobolev functions. The results are illustrated for fractals using the Vicsek set, whereas several conjectures are made for nested fractals and the Sierpinski carpet.
△ Less
Submitted 16 January, 2020;
originally announced January 2020.
-
BV functions and fractional Laplacians on Dirichlet spaces
Authors:
Patricia Alonso Ruiz,
Fabrice Baudoin,
Li Chen,
Luke Rogers,
Nageswari Shanmugalingam,
Alexander Teplyaev
Abstract:
We study $L^p$ Besov critical exponents and isoperimetric and Sobolev inequalities associated with fractional Laplacians on metric measure spaces. The main tool is the theory of heat semigroup based Besov classes in Dirichlet spaces that was introduced by the authors in previous works.
We study $L^p$ Besov critical exponents and isoperimetric and Sobolev inequalities associated with fractional Laplacians on metric measure spaces. The main tool is the theory of heat semigroup based Besov classes in Dirichlet spaces that was introduced by the authors in previous works.
△ Less
Submitted 28 October, 2019;
originally announced October 2019.
-
Heat kernel analysis on diamond fractals
Authors:
Patricia Alonso Ruiz
Abstract:
This paper presents a detailed analysis of the heat kernel on an $(\mathbb{N}\times\mathbb{N})$-parameter family of compact metric measure spaces, which do not satisfy the volume doubling property. In particular, uniform bounds of the heat kernel and its Lipschitz continuity, as well as the continuity of the corresponding heat semigroup are studied; a specific example is presented revealing a loga…
▽ More
This paper presents a detailed analysis of the heat kernel on an $(\mathbb{N}\times\mathbb{N})$-parameter family of compact metric measure spaces, which do not satisfy the volume doubling property. In particular, uniform bounds of the heat kernel and its Lipschitz continuity, as well as the continuity of the corresponding heat semigroup are studied; a specific example is presented revealing a logarithmic correction. The estimates are further applied to derive several functional inequalities of interest in describing the convergence to equilibrium of the diffusion process.
△ Less
Submitted 5 March, 2020; v1 submitted 14 June, 2019;
originally announced June 2019.
-
Uniqueness for the inverse fixed angle scattering problem
Authors:
Juan A. Barceló,
Carlos Castro,
Teresa Luque,
Cristóbal J. Meroño,
Alberto Ruiz,
María de la Cruz Vilela
Abstract:
We present a uniqueness result in dimensions $2$ and $3$ for the inverse fixed angle scattering problem associated to the Schrödinger operator $-Δ+q$, where $q$ is a small real valued potential with compact support in the Sobolev space $W^{β,2}$ with $β>0.$
This result improves the known result, due to Stefanov, in the sense that almost no regularity is required for the potential.
The uniquene…
▽ More
We present a uniqueness result in dimensions $2$ and $3$ for the inverse fixed angle scattering problem associated to the Schrödinger operator $-Δ+q$, where $q$ is a small real valued potential with compact support in the Sobolev space $W^{β,2}$ with $β>0.$
This result improves the known result, due to Stefanov, in the sense that almost no regularity is required for the potential.
The uniqueness result still holds in dimension $4$, but for more regular potentials in $W^{β,2}$ with $β>2/3$.
△ Less
Submitted 18 March, 2019; v1 submitted 8 November, 2018;
originally announced November 2018.
-
Realization Spaces of Uniform Phased Matroids
Authors:
Amanda Ruiz
Abstract:
A phased matroid is a matroid with additional structure which plays the same role for complex vector arrangements that oriented matroids play for real vector arrangements.
The realization space of an oriented (resp., phased) matroid is the space of vector arrangements in $\mathbb R^n$ (resp., $\mathbb C^n$) that correspond to oriented (resp., phased) matroid, modulo a change of coordinates. Acco…
▽ More
A phased matroid is a matroid with additional structure which plays the same role for complex vector arrangements that oriented matroids play for real vector arrangements.
The realization space of an oriented (resp., phased) matroid is the space of vector arrangements in $\mathbb R^n$ (resp., $\mathbb C^n$) that correspond to oriented (resp., phased) matroid, modulo a change of coordinates. According to Mnëv's Universality Theorem, the realization spaces of uniform oriented matroids with rank greater than or equal to $3$ can be as complicated as any open semi-algebraic variety.
In contrast, uniform phased matroids which are not essentially oriented have remarkably simple realization spaces if they are uniform.
We also present a criterion for realizability of uniform phased matroids that are not essentially oriented.
△ Less
Submitted 19 July, 2018;
originally announced July 2018.
-
Analysis on hybrid fractals
Authors:
Patricia Alonso Ruiz,
Yuming Chen,
Haotian Gu,
Robert S. Strichartz,
Zirui Zhou
Abstract:
We introduce hybrid fractals as a class of fractals constructed by gluing several fractal pieces in a specific manner and study energy forms and Laplacians on them. We consider in particular a hybrid based on the $3$-level Sierpinski gasket, for which we construct explicitly an energy form with the property that it does not "capture" the $3$-level Sierpinski gasket structure. This characteristic t…
▽ More
We introduce hybrid fractals as a class of fractals constructed by gluing several fractal pieces in a specific manner and study energy forms and Laplacians on them. We consider in particular a hybrid based on the $3$-level Sierpinski gasket, for which we construct explicitly an energy form with the property that it does not "capture" the $3$-level Sierpinski gasket structure. This characteristic type of energy forms that "miss" parts of the structure of the underlying space are investigated in the more general framework of finitely ramified cell structures. The spectrum of the associated Laplacian and its asymptotic behavior in two different hybrids is analyzed theoretically and numerically. A website with further numerical data analysis is available at http://www.math.cornell.edu/~harry970804/.
△ Less
Submitted 15 April, 2018;
originally announced April 2018.
-
Explicit formulas for heat kernels on diamond fractals
Authors:
Patricia Alonso Ruiz
Abstract:
This paper provides explicit pointwise formulas for the heat kernel on compact metric measure spaces that belong to a $(\mathbb{N}\times\mathbb{N})$-parameter family of fractals which are regarded as projective limits of metric measure graphs and do not satisfy the volume doubling property. The formulas are applied to obtain uniform continuity estimates of the heat kernel and to derive an expressi…
▽ More
This paper provides explicit pointwise formulas for the heat kernel on compact metric measure spaces that belong to a $(\mathbb{N}\times\mathbb{N})$-parameter family of fractals which are regarded as projective limits of metric measure graphs and do not satisfy the volume doubling property. The formulas are applied to obtain uniform continuity estimates of the heat kernel and to derive an expression of the fundamental solution of the free Schrödinger equation. The results also open up the possibility to approach infinite dimensional spaces based on this model.
△ Less
Submitted 19 July, 2018; v1 submitted 1 December, 2017;
originally announced December 2017.
-
Symbolic computation of Lyapunov coefficients in a planar Bautin bifurcation
Authors:
E. Chan López,
H. Argote Morales,
A. Martín Ruiz
Abstract:
Often in the study the periodic orbits in dynamical systems, the computation of the Lyapunov Coeficients is needed. In this paper, the calculations of this coeficients were done via complex variable transformation in order to obtain the complex normal form for a planar Bautin bifurcation. Some examples are given in order to verify the consistency of the algorithms.
Often in the study the periodic orbits in dynamical systems, the computation of the Lyapunov Coeficients is needed. In this paper, the calculations of this coeficients were done via complex variable transformation in order to obtain the complex normal form for a planar Bautin bifurcation. Some examples are given in order to verify the consistency of the algorithms.
△ Less
Submitted 19 September, 2017; v1 submitted 10 September, 2017;
originally announced September 2017.
-
Reduced fusion systems over $p$-groups with abelian subgroup of index $p$: III
Authors:
Bob Oliver,
Albert Ruiz
Abstract:
We finish the classification, begun in two earlier papers, of all simple fusion systems over finite nonabelian $p$-groups with an abelian subgroup of index $p$. In particular, this gives many new examples illustrating the enormous variety of exotic examples that can arise. In addition, we classify all simple fusion systems over infinite nonabelian discrete $p$-toral groups with an abelian subgroup…
▽ More
We finish the classification, begun in two earlier papers, of all simple fusion systems over finite nonabelian $p$-groups with an abelian subgroup of index $p$. In particular, this gives many new examples illustrating the enormous variety of exotic examples that can arise. In addition, we classify all simple fusion systems over infinite nonabelian discrete $p$-toral groups with an abelian subgroup of index $p$. In all of these cases (finite or infinite), we reduce the problem to one of listing all $\mathbb{F}_pG$-modules (for $G$ finite) satisfying certain conditions: a problem which was solved in the earlier paper by Craven, Oliver, and Semeraro using the classification of finite simple groups.
△ Less
Submitted 14 December, 2017; v1 submitted 29 August, 2017;
originally announced August 2017.
-
Completely Symmetric Resistance Forms on the Stretched Sierpinski Gasket
Authors:
Patricia Alonso Ruiz,
Uta Freiberg,
Jun Kigami
Abstract:
The stretched Sierpinski gasket, SSG for short, is the space obtained by replacing every branching point of the Sierpinski gasket by an interval. It has also been called "deformed Sierpinski gasket" or "Hanoi attractor". As a result, it is the closure of a countable union of intervals and one might expect that a diffusion on SSG is essentially a kind of gluing of the Brownian motions on the interv…
▽ More
The stretched Sierpinski gasket, SSG for short, is the space obtained by replacing every branching point of the Sierpinski gasket by an interval. It has also been called "deformed Sierpinski gasket" or "Hanoi attractor". As a result, it is the closure of a countable union of intervals and one might expect that a diffusion on SSG is essentially a kind of gluing of the Brownian motions on the intervals. In fact, there have been several works in this direction. There still remains, however, "reminiscence" of the Sierpinski gasket in the geometric structure of SSG and the same should therefore be expected for diffusions. This paper shows that this is the case. In this work, we identify all the completely symmetric resistance forms on SSG. A completely symmetric resistance form is a resistance form whose restriction to every contractive copy of SSG in itself is invariant under all geometrical symmetries of the copy, which constitute the symmetry group of the triangle. We prove that completely symmetric resistance forms on SSG can be sums of the Dirichlet integrals on the intervals with some particular weights, or a linear combination of a resistance form of the former kind and the standard resistance form on the Sierpinski gasket.
△ Less
Submitted 17 May, 2018; v1 submitted 28 June, 2016;
originally announced June 2016.
-
$λ-$Symmetries and integrability by quadratures
Authors:
C. Muriel,
J. L. Romero,
A. Ruiz
Abstract:
It is investigated how two (standard or generalized) $λ-$symmetries of a given second-order ordinary differential equation can be used to solve the equation by quadratures. The method is based on the construction of two commuting generalized symmetries for this equation by using both $λ-$symmetries. The functions used in that construction are related with integrating factors of the reduced and aux…
▽ More
It is investigated how two (standard or generalized) $λ-$symmetries of a given second-order ordinary differential equation can be used to solve the equation by quadratures. The method is based on the construction of two commuting generalized symmetries for this equation by using both $λ-$symmetries. The functions used in that construction are related with integrating factors of the reduced and auxiliary equations associated to the $λ-$symmetries. These functions can also be used to derive a Jacobi last multiplier and two integrating factors for the given equation.
Some examples illustrate the method; one of them is included in the XXVII case of the Painlevé-Gambier classification. An explicit expression of its general solution in terms of two fundamental sets of solutions for two related second-order linear equations is also obtained.
△ Less
Submitted 25 May, 2016;
originally announced May 2016.
-
Some new examples of simple $p$-local compact groups
Authors:
Alex Gonzalez,
Toni Lozano,
Albert Ruiz
Abstract:
In this paper we present new examples of simple $p$-local compact groups for all odd primes. We also develop the necessary tools to show saturation, simpleness and the non-realizability as $p$-compact groups or compact Lie groups, which can be applied in a more general framework.
In this paper we present new examples of simple $p$-local compact groups for all odd primes. We also develop the necessary tools to show saturation, simpleness and the non-realizability as $p$-compact groups or compact Lie groups, which can be applied in a more general framework.
△ Less
Submitted 6 December, 2017; v1 submitted 1 December, 2015;
originally announced December 2015.
-
Solvable Structures Associated to the Nonsolvable Symmetry Algebra $\mathfrak{sl}(2,\mathbb{R})$
Authors:
Adrián Ruiz,
Concepción Muriel
Abstract:
Third-order ordinary differential equations with Lie symmetry algebras isomorphic to the nonsolvable algebra $\mathfrak{sl}(2,\mathbb{R})$ admit solvable structures. These solvable structures can be constructed by using the basis elements of these algebras. Once the solvable structures are known, the given equation can be integrated by quadratures as in the case of solvable symmetry algebras.
Third-order ordinary differential equations with Lie symmetry algebras isomorphic to the nonsolvable algebra $\mathfrak{sl}(2,\mathbb{R})$ admit solvable structures. These solvable structures can be constructed by using the basis elements of these algebras. Once the solvable structures are known, the given equation can be integrated by quadratures as in the case of solvable symmetry algebras.
△ Less
Submitted 8 August, 2016; v1 submitted 10 November, 2015;
originally announced November 2015.
-
Discrete Envy-free Division of Necklaces and Maps
Authors:
Roberto Barrera,
Kathryn Nyman,
Amanda Ruiz,
Francis Edward Su,
Yan X. Zhang
Abstract:
We study the discrete variation of the classical cake-cutting problem where n players divide a 1-dimensional cake with exactly (n-1) cuts, replacing the continuous, infinitely divisible "cake" with a necklace of discrete, indivisible "beads." We focus specifically on envy-free divisions, exploring different constraints on player-preferences. We show we usually cannot guarantee an envy-free divisio…
▽ More
We study the discrete variation of the classical cake-cutting problem where n players divide a 1-dimensional cake with exactly (n-1) cuts, replacing the continuous, infinitely divisible "cake" with a necklace of discrete, indivisible "beads." We focus specifically on envy-free divisions, exploring different constraints on player-preferences. We show we usually cannot guarantee an envy-free division and consider situations where we can obtain an envy-free division for relatively small. We also prove a 2-dimensional result with a grid of indivisible objects. This may be viewed as a way to divide a state with indivisible districts among a set of constituents, producing somewhat gerrymandered regions that form an envy-free division of the state.
△ Less
Submitted 12 October, 2017; v1 submitted 7 October, 2015;
originally announced October 2015.
-
The limit theorem for maximum of partial sums of exchangeable random variables
Authors:
Patricia Alonso Ruiz,
Alexander S. Rakitko
Abstract:
We obtain the analogue of the classical result by Erdös and Kac on the limiting distribution of the maximum of partial sums for exchangeable random variables with zero mean and variance one. We show that, if the conditions of the central limit theorem of Blum et al. hold, the limit coincides with the classical one. Under more general assumptions, the probability of the random variables having cond…
▽ More
We obtain the analogue of the classical result by Erdös and Kac on the limiting distribution of the maximum of partial sums for exchangeable random variables with zero mean and variance one. We show that, if the conditions of the central limit theorem of Blum et al. hold, the limit coincides with the classical one. Under more general assumptions, the probability of the random variables having conditional negative drift appears in the limiting distribution.
△ Less
Submitted 18 September, 2016; v1 submitted 30 June, 2015;
originally announced June 2015.
-
Obstructions to the existence of limiting Carleman weights
Authors:
Pablo Angulo-Ardoy,
Daniel Faraco,
Luis Guijarro,
Alberto Ruiz
Abstract:
We give a necessary condition for a Riemannian manifold to admit limiting Carleman weights in terms of the Weyl tensor (in dimensions 4 and higher) and the Cotton-York tensor in dimension 3. As an application we provide explicit examples of manifolds without limiting Carleman weights and show that the set of such metrics on a given manifold contains an open and dense set.
We give a necessary condition for a Riemannian manifold to admit limiting Carleman weights in terms of the Weyl tensor (in dimensions 4 and higher) and the Cotton-York tensor in dimension 3. As an application we provide explicit examples of manifolds without limiting Carleman weights and show that the set of such metrics on a given manifold contains an open and dense set.
△ Less
Submitted 10 June, 2015; v1 submitted 18 November, 2014;
originally announced November 2014.
-
Crossing numbers of complete tripartite and balanced complete multipartite graphs
Authors:
Ellen Gethner,
Leslie Hogben,
Bernard Lidický,
Florian Pfender,
Amanda Ruiz,
Michael Young
Abstract:
The crossing number cr(G) of a graph G is the minimum number of crossings in a nondegenerate planar drawing of G. The rectilinear crossing number cr'(G) of G is the minimum number of crossings in a rectilinear nondegenerate planar drawing (with edges as straight line segments) of G. Zarankiewicz proved in 1952 that cr'(K_{n_1,n_2})\le Z(n_1,n_2):= n_1/2*(n_1-1)/2*n_2/2*(n_2-1)/2. We define an anal…
▽ More
The crossing number cr(G) of a graph G is the minimum number of crossings in a nondegenerate planar drawing of G. The rectilinear crossing number cr'(G) of G is the minimum number of crossings in a rectilinear nondegenerate planar drawing (with edges as straight line segments) of G. Zarankiewicz proved in 1952 that cr'(K_{n_1,n_2})\le Z(n_1,n_2):= n_1/2*(n_1-1)/2*n_2/2*(n_2-1)/2. We define an analogous bound A(n_1,n_2,n_3) for the complete tripartite graph K_{n_1,n_2,n_3}, and prove that cr'(K_{n_1,n_2,n_3})\le A({n_1,n_2,n_3}). We also show that for n large enough, 0.973 A(n,n,n) \le cr'(K_{n,n,n}) and 0.666 A(n,n,n)\le cr(K_{n,n,n}), with the tighter rectilinear lower bound established through the use of flag algebras. A complete multipartite graph is balanced if the partite sets all have the same cardinality. We study asymptotic behavior of the crossing number of the balanced complete r-partite graph. Richter and Thomassen proved in 1997 that the limit as n\to\infty of cr(K_{n,n}) over the maximum number of crossings in a drawing of K_{n,n} exists and is at most 1/4. We define z(r)=3(r^2-r)/8(r^2+r-3) and show that for a fixed r and the balanced complete r-partite graph, z(r) is an upper bound to the limit superior of the crossing number divided by the maximum number of crossings in a drawing.
△ Less
Submitted 2 October, 2014;
originally announced October 2014.
-
Energy and Laplacian on Hanoi-type fractal quantum graphs
Authors:
Patricia Alonso Ruiz,
Daniel J. Kelleher,
Alexander Teplyaev
Abstract:
This article studies potential theory and spectral analysis on compact metric spaces, which we refer to as fractal quantum graphs. These spaces can be represented as a (possibly infinite) union of 1-dimensional intervals and a totally disconnected (possibly uncountable) compact set, which roughly speaking represents the set of junction points. Classical quantum graphs and fractal spaces such as th…
▽ More
This article studies potential theory and spectral analysis on compact metric spaces, which we refer to as fractal quantum graphs. These spaces can be represented as a (possibly infinite) union of 1-dimensional intervals and a totally disconnected (possibly uncountable) compact set, which roughly speaking represents the set of junction points. Classical quantum graphs and fractal spaces such as the Hanoi attractor are included among them. We begin with proving the existence of a resistance form on the Hanoi attractor, and go on to establish heat kernel estimates and upper and lower bounds on the eigenvalue counting function of Laplacians corresponding to weakly self-similar measures on the Hanoi attractor. These estimates and bounds rely heavily on the relation between the length and volume scaling factors of the fractal. We then state and prove a necessary and sufficient condition for the existence of a resistance form on a general fractal quantum graph. Finally, we extend our spectral results to a large class of weakly self-similar fractal quantum graphs.
△ Less
Submitted 31 July, 2015; v1 submitted 20 August, 2014;
originally announced August 2014.
-
Parking functions, Shi arrangements, and mixed graphs
Authors:
Matthias Beck,
Ana Berrizbeitia,
Michael Dairyko,
Claudia Rodriguez,
Amanda Ruiz,
Schuyler Veeneman
Abstract:
The \emph{Shi arrangement} is the set of all hyperplanes in $\mathbb R^n$ of the form $x_j - x_k = 0$ or $1$ for $1 \le j < k \le n$. Shi observed in 1986 that the number of regions (i.e., connected components of the complement) of this arrangement is $(n+1)^{n-1}$. An unrelated combinatorial concept is that of a \emph{parking function}, i.e., a sequence $(x_1, x_2, ..., x_n)$ of positive integers…
▽ More
The \emph{Shi arrangement} is the set of all hyperplanes in $\mathbb R^n$ of the form $x_j - x_k = 0$ or $1$ for $1 \le j < k \le n$. Shi observed in 1986 that the number of regions (i.e., connected components of the complement) of this arrangement is $(n+1)^{n-1}$. An unrelated combinatorial concept is that of a \emph{parking function}, i.e., a sequence $(x_1, x_2, ..., x_n)$ of positive integers that, when rearranged from smallest to largest, satisfies $x_k \le k$. (There is an illustrative reason for the term \emph{parking function}.) It turns out that the number of parking functions of length $n$ also equals $(n+1)^{n-1}$, a result due to Konheim and Weiss from 1966. A natural problem consists of finding a bijection between the $n$-dimensional Shi arragnement and the parking functions of length $n$. Stanley and Pak (1996) and Athanasiadis and Linusson 1999) gave such (quite different) bijections. We will shed new light on the former bijection by taking a scenic route through certain mixed graphs.
△ Less
Submitted 7 September, 2014; v1 submitted 21 May, 2014;
originally announced May 2014.
-
Multiplicative Lidskii's inequalities and optimal perturbations of frames
Authors:
Pedro G. Massey,
Mariano A. Ruiz,
Demetrio Stojanoff
Abstract:
In this paper we study two design problems in frame theory: on the one hand, given a fixed finite frame $\cF$ for $\hil\cong\C^d$ we compute those dual frames $\cG$ of $\cF$ that are optimal perturbations of the canonical dual frame for $\cF$ under certain restrictions on the norms of the elements of $\cG$. On the other hand, for a fixed finite frame $\cF=\{f_j\}_{j\in\In}$ for $\hil$ we compute t…
▽ More
In this paper we study two design problems in frame theory: on the one hand, given a fixed finite frame $\cF$ for $\hil\cong\C^d$ we compute those dual frames $\cG$ of $\cF$ that are optimal perturbations of the canonical dual frame for $\cF$ under certain restrictions on the norms of the elements of $\cG$. On the other hand, for a fixed finite frame $\cF=\{f_j\}_{j\in\In}$ for $\hil$ we compute those invertible operators $V$ such that $V^*V$ is a perturbation of the identity and such that the frame $V\cdot \cF=\{V\,f_j\}_{j\in\In}$ - which is equivalent to $\cF$ - is optimal among such perturbations of $\cF$. In both cases, optimality is measured with respect to submajorization of the eigenvalues of the frame operators. Hence, our optimal designs are minimizers of a family of convex potentials that include the frame potential and the mean squared error. The key tool for these results is a multiplicative analogue of Lidskii's inequality in terms of log-majorization and a characterization of the case of equality.
△ Less
Submitted 16 May, 2014;
originally announced May 2014.
-
Stability estimates for the Calderón problem with partial data
Authors:
David Dos Santos Ferreira,
Pedro Caro,
Alberto Ruiz
Abstract:
This is a follow-up of a previous article where we proved local stability estimates for a potential in a Schrödinger equation on an open bounded set in dimension $n=3$ from the Dirichlet-to-Neumann map with partial data. The region under control was the penumbra delimited by a source of light outside of the convex hull of the open set. These local estimates provided stability of log-log type corre…
▽ More
This is a follow-up of a previous article where we proved local stability estimates for a potential in a Schrödinger equation on an open bounded set in dimension $n=3$ from the Dirichlet-to-Neumann map with partial data. The region under control was the penumbra delimited by a source of light outside of the convex hull of the open set. These local estimates provided stability of log-log type corresponding to the uniqueness results in Calderón's inverse problem with partial data proved by Kenig, Sjöstrand and Uhlmann. In this article, we prove the corresponding global estimates in all dimensions higher than three. The estimates are based on the construction of solutions of the Schrödinger equation by complex geometrical optics developed in the anisotropic setting by Dos Santos Ferreira, Kenig, Salo and Uhlmann to solve the Calderón problem in certain admissible geometries.
△ Less
Submitted 6 May, 2014;
originally announced May 2014.
-
G-Convergence, Dirichlet to Neumann maps and invisibility
Authors:
Daniel Faraco,
Yaroslav Kurylev,
Alberto Ruiz
Abstract:
We establish optimal conditions under which the G-convergence of linear elliptic operators implies the convergence of the corresponding Dirichlet to Neumann maps. As an application we show that the approximate cloaking isotropic materials from [ Greenleaf, A.; Kurylev, Y.; Lassas, M.; Uhlmann, G. Approximate quantum and acoustic cloaking. J. Spectr. Theory (2011), no. 1, 27--80.] are independent o…
▽ More
We establish optimal conditions under which the G-convergence of linear elliptic operators implies the convergence of the corresponding Dirichlet to Neumann maps. As an application we show that the approximate cloaking isotropic materials from [ Greenleaf, A.; Kurylev, Y.; Lassas, M.; Uhlmann, G. Approximate quantum and acoustic cloaking. J. Spectr. Theory (2011), no. 1, 27--80.] are independent of the source.
△ Less
Submitted 21 November, 2013;
originally announced November 2013.
