-
Fractional Volterra-type operator induced by radial weight acting on Hardy space
Authors:
Carlo Bellavita,
Álvaro Miguel Moreno,
Georgios Nikolaidis,
José Ángel Peláez
Abstract:
Given a radial doubling weight $μ$ on the unit disc $\mathbb{D}$ of the complex plane and its odd moments $μ_{2n+1}=\int_0^1 s^{2n+1}μ(s)\, ds$, we consider the fractional derivative
$$
D^μ(f)(z)=\sum_{n=0}^{\infty} \frac{\widehat{f}(n)}{μ_{2n+1}}z^n,
$$
of a function $ f(z)=\sum_{n=0}^{\infty}\widehat{f}(n)z^n$ analytic in $\mathbb{D}$. We also consider the fractional integral operator…
▽ More
Given a radial doubling weight $μ$ on the unit disc $\mathbb{D}$ of the complex plane and its odd moments $μ_{2n+1}=\int_0^1 s^{2n+1}μ(s)\, ds$, we consider the fractional derivative
$$
D^μ(f)(z)=\sum_{n=0}^{\infty} \frac{\widehat{f}(n)}{μ_{2n+1}}z^n,
$$
of a function $ f(z)=\sum_{n=0}^{\infty}\widehat{f}(n)z^n$ analytic in $\mathbb{D}$. We also consider the fractional integral operator $I^μ(f)(z)=\sum_{n=0}^{\infty} μ_{2n+1}\widehat{f}(n)z^n$, and the fractional Volterra-type operator
$$
V_{μ,g}(f)(z)= I^μ(f\cdot D^μ(g))(z),\quad f\in\mathcal{H}(\mathbb{D}),
$$
for any fixed $g\in\mathcal{H}(\mathbb{D})$. We prove that $V_{μ,g}$ is bounded (compact) on a Hardy space $H^p$, $0<p<\infty$, if and only if $g$ belongs to $\text{BMOA}$ ($\text{VMOA}$). Moreover, if $\int_0^1 \frac{\left(\int_r^1 μ(s)\, ds\right)^p}{(1-r)^2}\,dr=+\infty$, we prove that $V_{μ,g}$ belongs to the Schatten class $S_p(H^2)$ if and only if $g=0$. On the other hand, if $\frac{\left(\int_r^1 μ(s)\, ds\right)^p}{(1-r)^2}$ is a radial doubling weight it is proved that $V_{μ,g} \in S_p(H^2)$ if and only if $g$ belongs to the Besov space $B_p$. En route, we obtain descriptions of $H^p$, $\text{BMOA}$, $\text{VMOA}$ and $B_p$ in terms of the fractional derivative $D^μ$.
△ Less
Submitted 24 June, 2025; v1 submitted 22 June, 2025;
originally announced June 2025.
-
On absence of embedded eigenvalues and stability of BGK waves
Authors:
Mahir Hadzic,
Matias Moreno
Abstract:
We consider space-periodic and inhomogeneous steady states of the one-dimensional electrostatic Vlasov-Poisson system, known as the Bernstein-Greene-Kruskal (BGK) waves. We prove that there exists a large class of fixed background ion densities and spatial periods, so that the corresponding linearised operator around the associated BGK-equilibria has no embedded eigenvalues inside the essential sp…
▽ More
We consider space-periodic and inhomogeneous steady states of the one-dimensional electrostatic Vlasov-Poisson system, known as the Bernstein-Greene-Kruskal (BGK) waves. We prove that there exists a large class of fixed background ion densities and spatial periods, so that the corresponding linearised operator around the associated BGK-equilibria has no embedded eigenvalues inside the essential spectrum. As a consequence we conclude a nonquantitative version of Landau damping around a subclass of such equilibria with monotone dependence on particle energy.
The BGK equilibria under investigation feature trapped electrons which lead to presence of both elliptic and hyperbolic critical points in the characteristic phase-space diagram. They also feature a small parameter, which roughly speaking governs the size of the trapped zone - also referred to as electron hole. Our argument uses action-angle variables and a careful analysis of the associated period function. To exclude embedded eigenvalues we develop an energy-based approach which deals with resonant interactions between the energy (action)-space and the angle frequencies; their singular structure and summability properties are the key technical challenge. Our approach is robust and applicable to other spectral problems featuring elliptic and hyperbolic critical points.
△ Less
Submitted 9 December, 2024;
originally announced December 2024.
-
Bergman projection induced by radial weight acting on growth spaces
Authors:
Álvaro Miguel Moreno,
José Ángel Peláez,
Jari Taskinen
Abstract:
Let $ω$ be a radial weight on the unit disc of the complex plane $\mathbb{D}$ and denote $ω_x =\int_0^1 s^x ω(s)\,ds$, $x\ge 0$, for the moments of $ω$ and $\widehatω(r)=\int_r^1 ω(s)\,ds$ for the tail integrals. A radial weight $ω$ belongs to the class $\widehat{\mathcal{D}}$ if satisfies the upper doubling condition…
▽ More
Let $ω$ be a radial weight on the unit disc of the complex plane $\mathbb{D}$ and denote $ω_x =\int_0^1 s^x ω(s)\,ds$, $x\ge 0$, for the moments of $ω$ and $\widehatω(r)=\int_r^1 ω(s)\,ds$ for the tail integrals. A radial weight $ω$ belongs to the class $\widehat{\mathcal{D}}$ if satisfies the upper doubling condition $$\sup_{0<r<1}\frac{\widehatω(r)}{\widehatω\left(\frac{1+r}{2}\right)}<\infty.$$
If $ν$ or $ω$ belongs to $\widehat{\mathcal{D}}$, it is described the boundedness of the Bergman projection $P_ω$ induced by $ω$ on the growth space $L^\infty_{\widehatν} =\{ f: \|f\|_{\infty,v}={ esssup}_{z\in\mathbb{D}} |f(z)|\widehatν(z)<\infty\}$ in terms of neat conditions on the moments and/or the tail integrals of $ω$ and $ν$. Moreover, it is solved the analogous problem for $P_ω$ from $L^\infty_{\widehatν}$ to the Bloch type space $B^\infty_{\widehatν}$ of analytic functions such that $\sup_{z\in \mathbb{D}}(1-|z|)\widehatν(z) |f'(z)|<\infty.$ We also study similar questions for exponentially decreasing radial weights.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
MetaCURL: Non-stationary Concave Utility Reinforcement Learning
Authors:
Bianca Marin Moreno,
Margaux Brégère,
Pierre Gaillard,
Nadia Oudjane
Abstract:
We explore online learning in episodic loop-free Markov decision processes on non-stationary environments (changing losses and probability transitions). Our focus is on the Concave Utility Reinforcement Learning problem (CURL), an extension of classical RL for handling convex performance criteria in state-action distributions induced by agent policies. While various machine learning problems can b…
▽ More
We explore online learning in episodic loop-free Markov decision processes on non-stationary environments (changing losses and probability transitions). Our focus is on the Concave Utility Reinforcement Learning problem (CURL), an extension of classical RL for handling convex performance criteria in state-action distributions induced by agent policies. While various machine learning problems can be written as CURL, its non-linearity invalidates traditional Bellman equations. Despite recent solutions to classical CURL, none address non-stationary MDPs. This paper introduces MetaCURL, the first CURL algorithm for non-stationary MDPs. It employs a meta-algorithm running multiple black-box algorithms instances over different intervals, aggregating outputs via a sleeping expert framework. The key hurdle is partial information due to MDP uncertainty. Under partial information on the probability transitions (uncertainty and non-stationarity coming only from external noise, independent of agent state-action pairs), we achieve optimal dynamic regret without prior knowledge of MDP changes. Unlike approaches for RL, MetaCURL handles full adversarial losses, not just stochastic ones. We believe our approach for managing non-stationarity with experts can be of interest to the RL community.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
On the geometry and topology of Da Vinci domes
Authors:
Nicolé Geyssel,
María José Moreno,
Andrés Navas
Abstract:
We study the famous Leonardo Da Vinci's domes, as well as the variations invented by Rinus Roelofs, from a mathematical viewpoint. In particular, we consider the problem of closing the dome in order to produce a spherical structure. We explain why this problem is related to subtle geometric and topological considerations. This is in contrast with the 1-dimensional analog structure, namely Da Vinci…
▽ More
We study the famous Leonardo Da Vinci's domes, as well as the variations invented by Rinus Roelofs, from a mathematical viewpoint. In particular, we consider the problem of closing the dome in order to produce a spherical structure. We explain why this problem is related to subtle geometric and topological considerations. This is in contrast with the 1-dimensional analog structure, namely Da Vinci's bridge, that can be easily closed up to make a circular shape.
△ Less
Submitted 30 December, 2023;
originally announced January 2024.
-
Efficient Model-Based Concave Utility Reinforcement Learning through Greedy Mirror Descent
Authors:
Bianca Marin Moreno,
Margaux Brégère,
Pierre Gaillard,
Nadia Oudjane
Abstract:
Many machine learning tasks can be solved by minimizing a convex function of an occupancy measure over the policies that generate them. These include reinforcement learning, imitation learning, among others. This more general paradigm is called the Concave Utility Reinforcement Learning problem (CURL). Since CURL invalidates classical Bellman equations, it requires new algorithms. We introduce MD-…
▽ More
Many machine learning tasks can be solved by minimizing a convex function of an occupancy measure over the policies that generate them. These include reinforcement learning, imitation learning, among others. This more general paradigm is called the Concave Utility Reinforcement Learning problem (CURL). Since CURL invalidates classical Bellman equations, it requires new algorithms. We introduce MD-CURL, a new algorithm for CURL in a finite horizon Markov decision process. MD-CURL is inspired by mirror descent and uses a non-standard regularization to achieve convergence guarantees and a simple closed-form solution, eliminating the need for computationally expensive projection steps typically found in mirror descent approaches. We then extend CURL to an online learning scenario and present Greedy MD-CURL, a new method adapting MD-CURL to an online, episode-based setting with partially unknown dynamics. Like MD-CURL, the online version Greedy MD-CURL benefits from low computational complexity, while guaranteeing sub-linear or even logarithmic regret, depending on the level of information available on the underlying dynamics.
△ Less
Submitted 30 November, 2023;
originally announced November 2023.
-
Note on power hypergraphs with equal domination and matching numbers
Authors:
María José Chávez de Diego,
Pablo Montero Moreno,
María Trinidad Villar-Liñán
Abstract:
We present some examples that refute two recent results in the literature concerning the equality of the domination and matching numbers for power and generalized power hypergraphs. In this note we pinpoint the flaws in the proofs and suggest how they may be mended.
We present some examples that refute two recent results in the literature concerning the equality of the domination and matching numbers for power and generalized power hypergraphs. In this note we pinpoint the flaws in the proofs and suggest how they may be mended.
△ Less
Submitted 27 October, 2023;
originally announced October 2023.
-
Existence and stability of steady states solutions of Flat Vlasov-Poisson system with a central mass density
Authors:
Matias Moreno
Abstract:
We study a Newtonian model which allows us to describe some extremely flat objects in galactic dynamics. This model is described by a partial differential equation system called Vlasov-Poisson, whose solutions describe the temporal evolution of a collisionless particle system in the phase space, subject to a self interacting gravitational potential. We treat the Flat VlasovPoisson system with an e…
▽ More
We study a Newtonian model which allows us to describe some extremely flat objects in galactic dynamics. This model is described by a partial differential equation system called Vlasov-Poisson, whose solutions describe the temporal evolution of a collisionless particle system in the phase space, subject to a self interacting gravitational potential. We treat the Flat VlasovPoisson system with an external gravitational potential induced by a fixed mass density. The aim of this article is the study of the existence, regularity, and stability of steady states solutions of the Flat Vlasov-Poisson system in this case. We solved a variational problem to find minimizers for the Casimir-Energy functional in a suitable set of functions. The minimization problem is solved through a reduction of the original optimization problem with a scheme used in [FR06], but instead of a concentration-compactness argument, we use a symmetrization argument to construct a spherically symmetric solution for the reduced problem. It was proven that this minimizer induces a solution for the original minimization problem. The regularity of the gravitational potential was also obtained, implying that the solutions are steady states of the Flat Vlasov-Poisson system. The minimization problem also works as a key to give us a similar non-linear stability result.
△ Less
Submitted 13 October, 2023;
originally announced October 2023.
-
Shelah's Main Gap and the generalized Borel-reducibility
Authors:
Miguel Moreno
Abstract:
We answer one of the main questions in generalized descriptive set theory, the Friedman-Hyttinen-Kulikov conjecture on the Borel reducibility of the Main Gap. We show a correlation between Shelah's Main Gap and generalized Borel reducibility notions of complexity. For any $κ$ satisfying $κ=λ^+=2^λ$ and $2^{\mathfrak{c}}\leqλ=λ^{ω_1}$, we show that if $T$ is a classifiable theory and $T'$ is a non-…
▽ More
We answer one of the main questions in generalized descriptive set theory, the Friedman-Hyttinen-Kulikov conjecture on the Borel reducibility of the Main Gap. We show a correlation between Shelah's Main Gap and generalized Borel reducibility notions of complexity. For any $κ$ satisfying $κ=λ^+=2^λ$ and $2^{\mathfrak{c}}\leqλ=λ^{ω_1}$, we show that if $T$ is a classifiable theory and $T'$ is a non-classifiable theory, then the isomorphism of models of $T'$ is strictly above the isomorphism of models of $T$ with respect to Borel-reducibility.
We also show that the following can be forced: for any countable first-order theory in a countable vocabulary, $T$, the isomorphism of models of $T$ is either analytic co-analytic, or analytically-complete.
△ Less
Submitted 1 October, 2024; v1 submitted 14 August, 2023;
originally announced August 2023.
-
Fractional derivative description of the Bloch space
Authors:
Álvaro Miguel Moreno,
José Ángel Peláez,
Elena de la Rosa
Abstract:
We establish new characterizations of the Bloch space $\mathcal{B}$ which include
descriptions in terms of classical fractional derivatives.
Being precise, for an analytic function $f(z)=\sum_{n=0}^\infty \widehat{f}(n) z^n$ in the unit disc $\mathbb{D}$,
we define the fractional derivative
$
D^μ(f)(z)=\sum\limits_{n=0}^{\infty} \frac{\widehat{f}(n)}{μ_{2n+1}} z^n
$ induced by a radial…
▽ More
We establish new characterizations of the Bloch space $\mathcal{B}$ which include
descriptions in terms of classical fractional derivatives.
Being precise, for an analytic function $f(z)=\sum_{n=0}^\infty \widehat{f}(n) z^n$ in the unit disc $\mathbb{D}$,
we define the fractional derivative
$
D^μ(f)(z)=\sum\limits_{n=0}^{\infty} \frac{\widehat{f}(n)}{μ_{2n+1}} z^n
$ induced by a radial weight $μ$,
where $μ_{2n+1}=\int_0^1 r^{2n+1}μ(r)\,dr$ are the odd moments of $μ$. Then, we consider
the space $
\mathcal{B}^μ$ of analytic functions $f$ in $\mathbb{D}$ such that $\|f\|_{\mathcal{B}^μ}=\sup_{z\in \mathbb{D}} \widehatμ(z)|D^μ(f)(z)|<\infty$, where $\widehatμ(z)=\int_{|z|}^1 μ(s)\,ds$.
We prove that $\mathcal{B}^μ$ is continously embedded in $\mathcal{B}$ for any radial weight $μ$, and $\mathcal{B}=\mathcal{B}^μ$ if and only if $μ\in \mathcal{D}=\widehat{\mathcal{D}}\cap\check{\mathcal{D}}$. A radial weight $μ\in \widehat{\mathcal{D}}$ if $\sup_{0\le r <1}\frac{\widehatμ(r)}{\widehatμ\left(\frac{1+r}{2}\right)}<\infty$ and a radial weight $μ\in \check{\mathcal{D}}$ if there exist $K=K(μ)>1$ such that $\inf_{0\le r<1}\frac{\widehatμ(r)}{ \widehatμ\left(1-\frac{1-r}{K}\right)}>1.$
△ Less
Submitted 31 July, 2023;
originally announced July 2023.
-
Spectrum of the linearized Vlasov--Poisson equation around steady states from galactic dynamics
Authors:
Matias Moreno,
Paola Rioseco,
Hanne Van Den Bosch
Abstract:
We study the linearized Vlasov-Poisson equation in the gravitational case around steady states that are decreasing and continuous functions of the energy. We identify the absolutely continuous spectrum and give criteria for the existence of oscillating modes and estimate their number. Our method allows us to take into account an attractive external potential.
We study the linearized Vlasov-Poisson equation in the gravitational case around steady states that are decreasing and continuous functions of the energy. We identify the absolutely continuous spectrum and give criteria for the existence of oscillating modes and estimate their number. Our method allows us to take into account an attractive external potential.
△ Less
Submitted 11 April, 2024; v1 submitted 9 May, 2023;
originally announced May 2023.
-
Reimagining Demand-Side Management with Mean Field Learning
Authors:
Bianca Marin Moreno,
Margaux Brégère,
Pierre Gaillard,
Nadia Oudjane
Abstract:
Integrating renewable energy into the power grid while balancing supply and demand is a complex issue, given its intermittent nature. Demand side management (DSM) offers solutions to this challenge. We propose a new method for DSM, in particular the problem of controlling a large population of electrical devices to follow a desired consumption signal. We model it as a finite horizon Markovian mean…
▽ More
Integrating renewable energy into the power grid while balancing supply and demand is a complex issue, given its intermittent nature. Demand side management (DSM) offers solutions to this challenge. We propose a new method for DSM, in particular the problem of controlling a large population of electrical devices to follow a desired consumption signal. We model it as a finite horizon Markovian mean field control problem. We develop a new algorithm, MD-MFC, which provides theoretical guarantees for convex and Lipschitz objective functions. What distinguishes MD-MFC from the existing load control literature is its effectiveness in directly solving the target tracking problem without resorting to regularization techniques on the main problem. A non-standard Bregman divergence on a mirror descent scheme allows dynamic programming to be used to obtain simple closed-form solutions. In addition, we show that general mean-field game algorithms can be applied to this problem, which expands the possibilities for addressing load control problems. We illustrate our claims with experiments on a realistic data set.
△ Less
Submitted 25 May, 2023; v1 submitted 16 February, 2023;
originally announced February 2023.
-
On unsuperstable theories in GDST
Authors:
Miguel Moreno
Abstract:
We study the $κ$-Borel-reducibility of isomorphism relations of complete first order theories by using coloured trees. Under some cardinality assumptions, we show the following: For all theories T and T', if T is classifiable and T' is unsuperstable, then the isomorphism of models of T' is strictly above the isomorphism of models of T with respect to $κ$-Borel-reducibility.
We study the $κ$-Borel-reducibility of isomorphism relations of complete first order theories by using coloured trees. Under some cardinality assumptions, we show the following: For all theories T and T', if T is classifiable and T' is unsuperstable, then the isomorphism of models of T' is strictly above the isomorphism of models of T with respect to $κ$-Borel-reducibility.
△ Less
Submitted 27 March, 2022;
originally announced March 2022.
-
Mixing in an anharmonic potential well
Authors:
Matías Moreno,
Paola Rioseco,
Hanne Van Den Bosch
Abstract:
We prove phase-space mixing for solutions to Liouville's equation for integrable systems. Under a natural non-harmonicity condition, we obtain weak convergence of the distribution function with rate $\langle \mathrm{time} \rangle^{-1}$. In one dimension, we also study the case where this condition fails at a certain energy, showing that mixing still holds but with a slower rate. When the condition…
▽ More
We prove phase-space mixing for solutions to Liouville's equation for integrable systems. Under a natural non-harmonicity condition, we obtain weak convergence of the distribution function with rate $\langle \mathrm{time} \rangle^{-1}$. In one dimension, we also study the case where this condition fails at a certain energy, showing that mixing still holds but with a slower rate. When the condition holds and functions have higher regularity, the rate can be faster.
△ Less
Submitted 10 March, 2022; v1 submitted 18 January, 2022;
originally announced January 2022.
-
Fake reflection
Authors:
Gabriel Fernandes,
Miguel Moreno,
Assaf Rinot
Abstract:
We introduce a generalization of stationary set reflection which we call "filter reflection", and show it is compatible with the axiom of constructibility as well as with strong forcing axioms.
We prove the independence of filter reflection from ZFC, and present applications of filter reflection to the study of canonical equivalence relations of the higher Cantor and Baire spaces.
We introduce a generalization of stationary set reflection which we call "filter reflection", and show it is compatible with the axiom of constructibility as well as with strong forcing axioms.
We prove the independence of filter reflection from ZFC, and present applications of filter reflection to the study of canonical equivalence relations of the higher Cantor and Baire spaces.
△ Less
Submitted 18 March, 2020;
originally announced March 2020.
-
On analytic functions in an ordered field with an infinite rank valuation
Authors:
Héctor M. Moreno
Abstract:
Let K be the scalar field of the first orthomodular (or Form Hilbert) space, described by H. Keller in 1980. It has a non-Archimedean order, an infinite rank valuation compatible with the order as well as an explicitly defined ultrametric, all of which induce the same topology. We study analytic functions defined on valued field K, and we will establish an invertibility local theorem for these fun…
▽ More
Let K be the scalar field of the first orthomodular (or Form Hilbert) space, described by H. Keller in 1980. It has a non-Archimedean order, an infinite rank valuation compatible with the order as well as an explicitly defined ultrametric, all of which induce the same topology. We study analytic functions defined on valued field K, and we will establish an invertibility local theorem for these functions as an application of Banach fixed point theorem.
△ Less
Submitted 2 April, 2020; v1 submitted 11 December, 2019;
originally announced December 2019.
-
Inclusion modulo nonstationary
Authors:
Gabriel Fernandes,
Miguel Moreno,
Assaf Rinot
Abstract:
A classical theorem of Hechler asserts that the structure $\left(ω^ω,\le^*\right)$ is universal in the sense that for any $σ$-directed poset P with no maximal element, there is a ccc forcing extension in which $\left(ω^ω,\le^*\right)$ contains a cofinal order-isomorphic copy of P.
In this paper, we prove a consistency result concerning the universality of the higher analogue…
▽ More
A classical theorem of Hechler asserts that the structure $\left(ω^ω,\le^*\right)$ is universal in the sense that for any $σ$-directed poset P with no maximal element, there is a ccc forcing extension in which $\left(ω^ω,\le^*\right)$ contains a cofinal order-isomorphic copy of P.
In this paper, we prove a consistency result concerning the universality of the higher analogue $\left(κ^κ,\le^S\right)$:
Theorem. Assume GCH. For every regular uncountable cardinal $κ$, there is a cofinality-preserving GCH-preserving forcing extension in which for every analytic quasi-order Q over $κ^κ$ and every stationary subset S of $κ$, there is a Lipschitz map reducing Q to $(κ^κ,\le^S)$.
△ Less
Submitted 19 April, 2020; v1 submitted 24 June, 2019;
originally announced June 2019.
-
Matemáticas, Espacios Públicos e Integración Vecinal. El caso de Cuernavaca (México)
Authors:
Igor Barahona,
Lucía López de Medrano,
Barbara Martínez Moreno,
Beatríz Limón Gutiérrez
Abstract:
We investigate the impact of mathematics on improving neighbourhood integration and perception of security. The main square of Chamilpa colony in Cuernavaca, México is take as study case. This city is featured by its precarious recreational and leisurial infrastructure. Chamilpa is among the top of social outcast levels in the city. Data was collected through a questionnaire applied among attendee…
▽ More
We investigate the impact of mathematics on improving neighbourhood integration and perception of security. The main square of Chamilpa colony in Cuernavaca, México is take as study case. This city is featured by its precarious recreational and leisurial infrastructure. Chamilpa is among the top of social outcast levels in the city. Data was collected through a questionnaire applied among attendees of the ARTEMAT festival. Results provide empirical evidence for supporting that performing mathematics activities on public spaces, increases the perception of security and improve the social cohesion.
△ Less
Submitted 28 November, 2018; v1 submitted 23 November, 2018;
originally announced November 2018.
-
On $Σ_1^1$-completeness of quasi-orders on $κ^κ$
Authors:
Tapani Hyttinen,
Vadim Kulikov,
Miguel Moreno
Abstract:
We prove under $V=L$ that the inclusion modulo the non-stationary ideal is a $Σ_1^1$-complete quasi-order in the generalized Borel-reducibility hierarchy ($κ>ω$). This improvement to known results in $L$ has many new consequences concerning the $Σ_1^1$-completeness of quasi-orders and equivalence relations such as the embeddability of dense linear orders as well as the equivalence modulo various v…
▽ More
We prove under $V=L$ that the inclusion modulo the non-stationary ideal is a $Σ_1^1$-complete quasi-order in the generalized Borel-reducibility hierarchy ($κ>ω$). This improvement to known results in $L$ has many new consequences concerning the $Σ_1^1$-completeness of quasi-orders and equivalence relations such as the embeddability of dense linear orders as well as the equivalence modulo various versions of the non-stationary ideal. This serves as a partial or complete answer to several open problems stated in literature. Additionally the theorem is applied to prove a dichotomy in $L$: If the isomorphism of a countable first-order theory (not necessarily complete) is not $Δ_1^1$, then it is $Σ_1^1$-complete.
We also study the case $V\ne L$ and prove $Σ_1^1$-completeness results for weakly ineffable and weakly compact $κ$.
△ Less
Submitted 8 December, 2019; v1 submitted 6 April, 2018;
originally announced April 2018.
-
The isomorphism relation of theories with S-DOP in generalized Baire spaces
Authors:
Miguel Moreno
Abstract:
We study the Borel-reducibility of isomorphism relations in the generalized Baire space $κ^κ$. In the main result we show for inaccessible $κ$, that if $T$ is a classifiable theory and $T'$ is superstable with the strong dimensional order property (S-DOP), then the isomorphism of models of $T$ is Borel reducible to the isomorphism of models of $T'$. In fact we show the consistency of the following…
▽ More
We study the Borel-reducibility of isomorphism relations in the generalized Baire space $κ^κ$. In the main result we show for inaccessible $κ$, that if $T$ is a classifiable theory and $T'$ is superstable with the strong dimensional order property (S-DOP), then the isomorphism of models of $T$ is Borel reducible to the isomorphism of models of $T'$. In fact we show the consistency of the following: If $κ$ is inaccessible and $T$ is a superstable theory with S-DOP, then the isomorphism of models of $T$ is $Σ_1^1$-complete.
△ Less
Submitted 27 September, 2021; v1 submitted 21 March, 2018;
originally announced March 2018.
-
On large cardinals and generalized Baire spaces
Authors:
David Asperó,
Tapani Hyttinen,
Vadim Kulikov,
Miguel Moreno
Abstract:
Working under large cardinal assumptions, we study the Borel-reducibility between equivalence relations modulo restrictions of the non-stationary ideal on some fixed cardinal $κ$. We show the consistency of $E^{λ^{++},λ^{++}}_{λ\text{-club}}$, the relation of equivalence modulo the non-stationary ideal restricted to $S^{λ^{++}}_λ$ in the space $(λ^{++})^{λ^{++}}$, being continuously reducible to…
▽ More
Working under large cardinal assumptions, we study the Borel-reducibility between equivalence relations modulo restrictions of the non-stationary ideal on some fixed cardinal $κ$. We show the consistency of $E^{λ^{++},λ^{++}}_{λ\text{-club}}$, the relation of equivalence modulo the non-stationary ideal restricted to $S^{λ^{++}}_λ$ in the space $(λ^{++})^{λ^{++}}$, being continuously reducible to $E^{2,λ^{++}}_{λ^+\text{-club}}$, the relation of equivalence modulo the non-stationary ideal restricted to $S^{λ^{++}}_{λ^+}$ in the space $2^{λ^{++}}$. Then we show the consistency of $E^{2,κ}_{reg}$, the relation of equivalence modulo the non-stationary ideal restricted to regular cardinals in the space $2^κ$, being $Σ_1^1$-complete. We finish by showing, for $Π_2^1$-indescribable $κ$, that the isomorphism relation between dense linear orders of cardinality $κ$ is $Σ_1^1$-complete.
△ Less
Submitted 9 August, 2017;
originally announced August 2017.
-
A Borel-reducibility Counterpart of Shelah's Main Gap Theorem
Authors:
Tapani Hyttinen,
Vadim Kulikov,
Miguel Moreno
Abstract:
We study the Borel-reducibility of isomorphism relations of complete first order theories and show the consistency of the following: For all such theories T and T', if T is classifiable and T' is not, then the isomorphism of models of T' is strictly above the isomorphism of models of T with respect to Borel-reducibility. In fact, we can also ensure that a range of equivalence relations modulo vari…
▽ More
We study the Borel-reducibility of isomorphism relations of complete first order theories and show the consistency of the following: For all such theories T and T', if T is classifiable and T' is not, then the isomorphism of models of T' is strictly above the isomorphism of models of T with respect to Borel-reducibility. In fact, we can also ensure that a range of equivalence relations modulo various non-stationary ideals are strictly between those isomorphism relations. The isomorphism relations are considered on models of some fixed uncountable cardinality obeying certain restrictions.
△ Less
Submitted 1 February, 2016;
originally announced February 2016.
-
On the reducibility of isomorphism relations
Authors:
Tapani Hyttinen,
Miguel Moreno
Abstract:
We study the Borel reducibility of isomorphism relations in the generalized Baire space $κ^κ$. In the main result we show for inaccessible $κ$, that if $T$ is a classifiable theory and $T'$ is stable with OCP, then the isomorphism of models of $T$ is Borel reducible to the isomorphism of models of $T'$.
We study the Borel reducibility of isomorphism relations in the generalized Baire space $κ^κ$. In the main result we show for inaccessible $κ$, that if $T$ is a classifiable theory and $T'$ is stable with OCP, then the isomorphism of models of $T$ is Borel reducible to the isomorphism of models of $T'$.
△ Less
Submitted 17 September, 2015;
originally announced September 2015.
-
An approximate treatment of gravitational collapse
Authors:
Yago Ascasibar,
Rafael Granero-Belinchón,
José Manuel Moreno
Abstract:
This work studies a simplified model of the gravitational instability of an initially homogeneous infinite medium, represented by $\TT^d$, based on the approximation that the mean fluid velocity is always proportional to the local acceleration. It is shown that, mathematically, this assumption leads to the restricted Patlak-Keller-Segel model considered by Jäger and Luckhaus or, equivalently, the…
▽ More
This work studies a simplified model of the gravitational instability of an initially homogeneous infinite medium, represented by $\TT^d$, based on the approximation that the mean fluid velocity is always proportional to the local acceleration. It is shown that, mathematically, this assumption leads to the restricted Patlak-Keller-Segel model considered by Jäger and Luckhaus or, equivalently, the Smoluchowski equation describing the motion of self-gravitating Brownian particles, coupled to the modified Newtonian potential that is appropriate for an infinite mass distribution. We discuss some of the fundamental properties of a non-local generalization of this model where the effective pressure force is given by a fractional Laplacian with $0<α<2$, and illustrate them by means of numerical simulations. Local well-posedness in Sobolev spaces is proven, and we show the smoothing effect of our equation, as well as a \emph{Beale-Kato-Majda}-type criterion in terms of $\rhomax$. It is also shown that the problem is ill-posed in Sobolev spaces when it is considered backward in time. Finally, we prove that, in the critical case (one conservative and one dissipative derivative), $\rhomax(t)$ is uniformly bounded in terms of the initial data for sufficiently large pressure forces.
△ Less
Submitted 30 August, 2013; v1 submitted 22 November, 2012;
originally announced November 2012.
-
Nonstable $K$-theory for graph algebras
Authors:
P. Ara,
M. A. Moreno,
E. Pardo
Abstract:
We compute the monoid $V(L_K(E))$ of isomorphism classes of finitely generated projective modules over certain graph algebras $L_K(E)$, and we show that this monoid satisfies the refinement property and separative cancellation. We also show that there is a natural isomorphism between the lattice of graded ideals of $L_K(E)$ and the lattice of order-ideals of $V(L_K(E))$. When $K$ is the field…
▽ More
We compute the monoid $V(L_K(E))$ of isomorphism classes of finitely generated projective modules over certain graph algebras $L_K(E)$, and we show that this monoid satisfies the refinement property and separative cancellation. We also show that there is a natural isomorphism between the lattice of graded ideals of $L_K(E)$ and the lattice of order-ideals of $V(L_K(E))$. When $K$ is the field $\mathbb C$ of complex numbers, the algebra $L_{\mathbb C}(E)$ is a dense subalgebra of the graph $C^*$-algebra $C^*(E)$, and we show that the inclusion map induces an isomorphism between the corresponding monoids. As a consequence, the graph C*-algebra of any row-finite graph turns out to satisfy the stable weak cancellation property.
△ Less
Submitted 8 October, 2006; v1 submitted 13 December, 2004;
originally announced December 2004.
