-
Scaling limits of the Bouchaud and Dean trap model on Parisi's tree in ergodic and aging time scales
Authors:
Luiz Renato Fontes,
Andrea Hernández
Abstract:
We take scaling limits of the Bouchaud and Dean trap model on Parisi's tree in time scales where the dynamics is either ergodic (close to equilibrium) or aging (far from equilibrium). These results follow from a continuity theorem formulated for a certain kind of process on trees, which we call a cascading jump evolution, defined in terms of a collection of jump functions, with a cascading structu…
▽ More
We take scaling limits of the Bouchaud and Dean trap model on Parisi's tree in time scales where the dynamics is either ergodic (close to equilibrium) or aging (far from equilibrium). These results follow from a continuity theorem formulated for a certain kind of process on trees, which we call a cascading jump evolution, defined in terms of a collection of jump functions, with a cascading structure given by the tree.
△ Less
Submitted 26 May, 2025;
originally announced May 2025.
-
A large multi-agent system with noise both in position and control
Authors:
Giuseppe D'Onofrio,
Anderson Melchor Hernandez
Abstract:
In this work, we consider a multi-population system where the dynamics of each agent evolve according to a system of stochastic differential equations in a general functional setup, determined by the global state of the system. Each agent is associated with a probability measure, that assigns the label accounting for the population to which the agent belongs. We do not assume any prior knowledge o…
▽ More
In this work, we consider a multi-population system where the dynamics of each agent evolve according to a system of stochastic differential equations in a general functional setup, determined by the global state of the system. Each agent is associated with a probability measure, that assigns the label accounting for the population to which the agent belongs. We do not assume any prior knowledge of the label of a single agent, and we allow that it can change as a consequence of the interaction among the agents. Furthermore, the system is affected by noise both in the agent's position and labels. First, we study the well-posedness of such a system and then a mean-field limit, as the number of agents diverges, is investigated together with the analysis of the properties of the limit distribution both with Eulerian and Lagrangian perspectives. As an application, we consider a large network of interacting neurons with random synaptic weights, introducing resets in the dynamics.
△ Less
Submitted 13 March, 2025;
originally announced March 2025.
-
Scaling limit of the Aldous-Broder chain on regular graphs: the transient regime
Authors:
Osvaldo Angtuncio Hernández,
Gabriel Berzunza Ojeda,
Anita Winter
Abstract:
The continuum random tree is the scaling limit of the uniform spanning tree on the complete graph with $N$ vertices. The Aldous-Broder chain on a graph $G=(V,E)$ is a discrete-time stochastic process with values in the space of rooted trees whose vertex set is a subset of $V$ which is stationary under the uniform distribution on the space of rooted trees spanning $G$. In Evans, Pitman and Winter (…
▽ More
The continuum random tree is the scaling limit of the uniform spanning tree on the complete graph with $N$ vertices. The Aldous-Broder chain on a graph $G=(V,E)$ is a discrete-time stochastic process with values in the space of rooted trees whose vertex set is a subset of $V$ which is stationary under the uniform distribution on the space of rooted trees spanning $G$. In Evans, Pitman and Winter (2006) the so-called root growth with re-grafting process (RGRG) was constructed. Further it was shown that the suitable rescaled Aldous-Broder chain converges to the RGRG weakly with respect to the Gromov-Hausdorff topology. It was shown in Peres and Revelle (2005) that (up to a dimension depending constant factor) the continuum random tree is, with respect to the Gromov-weak topology, the scaling limit of the uniform spanning tree on $\mathbb{Z}_N^d$, $d\ge 5$. This result was recently strengthens in Archer, Nachmias and Shalev (2024) to convergence with respect to the Gromov-Hausdorff-weak topology, and therefore also with respect to the Gromov-Hausdorff topology. In the present paper we show that also the suitable rescaled Aldous-Broder chain converges to the RGRG weakly with respect to the Gromov-Hausdorff topology when initially started in the trivial rooted tree. We give conditions on the increasing graph sequence under which the result extends to regular graphs and give probabilistic expressions scales at which time has to be speed up and edge lengths have to be scaled down.
△ Less
Submitted 10 February, 2025;
originally announced February 2025.
-
The coalescent structure of multitype continuous-time Galton-Watson trees
Authors:
Osvaldo Angtuncio Hernández,
Simon Harris,
Juan Carlos Pardo
Abstract:
We investigate the genealogy of a sample of $k\geq1$ particles chosen uniformly without replacement from a population alive at large times in a critical continuous-time multitype Galton-Watson process with finite second moment. We will show that subject to a deterministic time-change, the sample genealogy always converges to the same universal genealogical structure; it has the same tree topology…
▽ More
We investigate the genealogy of a sample of $k\geq1$ particles chosen uniformly without replacement from a population alive at large times in a critical continuous-time multitype Galton-Watson process with finite second moment. We will show that subject to a deterministic time-change, the sample genealogy always converges to the same universal genealogical structure; it has the same tree topology as Kingman's coalescent, when the types are discarded, and the coalescent times of the $k-1$ pairwise mergers look like a mixture of independent identically distributed times. We show that such an ancestral lineage in the limit, strongly depends on the multitype offspring distribution, which differs from the single type case Harris, Johnston, and Roberts [Annals of Applied Probability, 2020]. Our approach uses $k$ distinguished 'spine' particles and a suitable change of measure under which (a) the spines form a uniform sample without replacement that depend on the colours but additionally (b) there is $k$-size biasing and discounting according to the population size. Our work substantially extends the spine techniques developed in Harris, Johnston, and Roberts [Annals of Applied Probability, 2020] for genealogies of uniform samples of size $k$ in critical, continuous-time, single-type Galton-Watson processes. We generalize these methods to the multi-type setting and provide a comprehensive analysis of how functionals of the spines are influenced by the types. While the single-type case exhibits a more homogeneous structure with simpler dependency patterns, the multi-type case introduces interactions between different types, leading to a more intricate dependency structure where functionals must account for type-specific behaviours and inter-type relationships.
△ Less
Submitted 6 February, 2025;
originally announced February 2025.
-
Multitype Lévy trees as scaling limits of multitype Bienaymé-Galton-Watson trees
Authors:
Osvaldo Angtuncio Hernández,
David Clancy Jr
Abstract:
We establish sufficient mild conditions for a sequence of multitype Bienaymé-Galton-Watson trees, conditioned in some sense to be large, to converge to a limiting compact metric space which we call a \emph{multitype Lévy tree}. More precisely, we condition on the size of the maximal subtree of vertices of the same type generated by the root to be large. Although under a different conditioning, our…
▽ More
We establish sufficient mild conditions for a sequence of multitype Bienaymé-Galton-Watson trees, conditioned in some sense to be large, to converge to a limiting compact metric space which we call a \emph{multitype Lévy tree}. More precisely, we condition on the size of the maximal subtree of vertices of the same type generated by the root to be large. Although under a different conditioning, our result can be seen as a generalization to the multitype setting of the continuum random trees defined by Aldous, Duquesne and Le Gall in [Ald91a,Ald91b,Ald93,DLG02]. Our main result is an invariance principle for the convergence of such trees, by gluing single-type Lévy trees together in a method determined by the limiting spectrally positive additive Lévy field, as constructed by Chaumont and Marolleau [CM21].
Our approach is a particular case of a more general result about the convergence in the Gromov-Hausdorff-Prohorov topology, of compact marked metric spaces equipped with vector-valued measures, and then glued via an iterative operation. To analyze the gluing operation, we extend the techniques developed by Sénizergues [Sen19,Sen22] to the multitype setting. While the single-type case exhibits a more homogeneous structure with simpler dependency patterns, the multitype case introduces interactions between different types, leading to a more intricate dependency structure where functionals must account for type-specific behaviors and inter-type relationships.
△ Less
Submitted 14 April, 2025; v1 submitted 6 February, 2025;
originally announced February 2025.
-
Mean-field limit from general mixtures of experts to quantum neural networks
Authors:
Anderson Melchor Hernandez,
Davide Pastorello,
Giacomo De Palma
Abstract:
In this work, we study the asymptotic behavior of Mixture of Experts (MoE) trained via gradient flow on supervised learning problems. Our main result establishes the propagation of chaos for a MoE as the number of experts diverges. We demonstrate that the corresponding empirical measure of their parameters is close to a probability measure that solves a nonlinear continuity equation, and we provid…
▽ More
In this work, we study the asymptotic behavior of Mixture of Experts (MoE) trained via gradient flow on supervised learning problems. Our main result establishes the propagation of chaos for a MoE as the number of experts diverges. We demonstrate that the corresponding empirical measure of their parameters is close to a probability measure that solves a nonlinear continuity equation, and we provide an explicit convergence rate that depends solely on the number of experts. We apply our results to a MoE generated by a quantum neural network.
△ Less
Submitted 24 January, 2025;
originally announced January 2025.
-
Evaluation of Rail Decarbonization Alternatives: Framework and Application
Authors:
Adrian Hernandez,
Max TM Ng,
Nazib Siddique,
Pablo L. Durango-Cohen,
Amgad Elgowainy,
Hani S. Mahmassani,
Michael Wang,
Yan Zhou
Abstract:
The Northwestern University Freight Rail Infrastructure and Energy Network Decarbonization (NUFRIEND) framework is a comprehensive industry-oriented tool for simulating the deployment of new energy technologies including biofuels, e-fuels, battery-electric, and hydrogen locomotives. By classifying fuel types into two categories based on deployment requirements, the associated optimal charging/fuel…
▽ More
The Northwestern University Freight Rail Infrastructure and Energy Network Decarbonization (NUFRIEND) framework is a comprehensive industry-oriented tool for simulating the deployment of new energy technologies including biofuels, e-fuels, battery-electric, and hydrogen locomotives. By classifying fuel types into two categories based on deployment requirements, the associated optimal charging/fueling facility location and sizing problem are solved with a five-step framework. Life cycle analyses (LCA) and techno-economic analyses (TEA) are used to estimate carbon reduction, capital investments, cost of carbon reduction, and operational impacts, enabling sensitivity analysis with operational and technological parameters. The framework is illustrated on lower-carbon drop-in fuels as well as battery-electric technology deployments for US Eastern and Western Class I railroad networks. Drop-in fuel deployments are modeled as admixtures with diesel in existing locomotives, while battery-electric deployments are shown for varying technology penetration levels and locomotive ranges. When mixed in a 50 percent ratio with diesel, results show biodiesel's capacity to reduce emissions at 36 percent with a cost of 0.13 USD per kilogram of CO2 reduced, while e-fuels offer a 50 percent emissions reduction potential at a cost of 0.22 USD per kilogram of CO2 reduced. Battery-electric results for 50 percent deployment over all ton-miles highlight the value of future innovations in battery energy densities as scenarios assuming 800-mile range locomotives show an estimated emissions reduction of 46 percent with a cost of 0.06 USD per kilogram of CO2 reduced, compared to 16 percent emissions reduction at a cost of 0.11 USD per kilogram of CO2 reduced for 400-mile range locomotives.
△ Less
Submitted 2 January, 2025;
originally announced January 2025.
-
Trading Off Energy Storage and Payload -- An Analytical Model for Freight Train Configuration
Authors:
Max T. M. Ng,
Adrian Hernandez,
Pablo L. Durango-Cohen,
Hani S. Mahmassani
Abstract:
To support planning of alternative fuel technology (e.g., battery-electric locomotives) deployment for decarbonizing non-electrified freight rail, we develop a convex optimization formulation with a closed-form solution to determine the optimal number of energy storage tender cars in a train. The formulation shares a similar structure to an Economic Order Quantity (EOQ) model. For given market cha…
▽ More
To support planning of alternative fuel technology (e.g., battery-electric locomotives) deployment for decarbonizing non-electrified freight rail, we develop a convex optimization formulation with a closed-form solution to determine the optimal number of energy storage tender cars in a train. The formulation shares a similar structure to an Economic Order Quantity (EOQ) model. For given market characteristics, cost forecasts, and technology parameters, our model captures the trade-offs between inventory carrying costs associated with trip times (including delays due to charging/refueling) and ordering costs associated with train dispatch and operation (energy, amortized equipment, and labor costs). To illustrate the framework, we find the optimal number of battery-electric energy tender cars in 22,501 freight markets (origin-destination pairs and commodities) for U.S. Class I railroads. The results display heterogeneity in optimal configurations with lighter, yet more time-sensitive shipments (e.g., intermodal) utilizing more battery tender cars. For heavier commodities (e.g., coal) with lower holding costs, single battery tender car configurations are generally optimal. The results also show that the optimal train configurations are sensitive to delays associated with recharging or swapping tender cars.
△ Less
Submitted 27 December, 2024;
originally announced December 2024.
-
Relaxation for a degenerate functional with linear growth in the onedimensional case
Authors:
Valeria Chiadò Piat,
Virginia De Cicco,
Anderson Melchor Hernandez
Abstract:
In this work, we study the relaxation of a degenerate functional with linear growth, depending on a weight $w$ that does not exhibit doubling or Muckenhoupt-type conditions. In order to obtain an explicit representation of the relaxed functional and its domain, our main tools for are Sobolev inequalities with double weight.
In this work, we study the relaxation of a degenerate functional with linear growth, depending on a weight $w$ that does not exhibit doubling or Muckenhoupt-type conditions. In order to obtain an explicit representation of the relaxed functional and its domain, our main tools for are Sobolev inequalities with double weight.
△ Less
Submitted 4 December, 2024;
originally announced December 2024.
-
Quantitative convergence of trained quantum neural networks to a Gaussian process
Authors:
Anderson Melchor Hernandez,
Filippo Girardi,
Davide Pastorello,
Giacomo De Palma
Abstract:
We study quantum neural networks where the generated function is the expectation value of the sum of single-qubit observables across all qubits. In [Girardi \emph{et al.}, arXiv:2402.08726], it is proven that the probability distributions of such generated functions converge in distribution to a Gaussian process in the limit of infinite width for both untrained networks with randomly initialized p…
▽ More
We study quantum neural networks where the generated function is the expectation value of the sum of single-qubit observables across all qubits. In [Girardi \emph{et al.}, arXiv:2402.08726], it is proven that the probability distributions of such generated functions converge in distribution to a Gaussian process in the limit of infinite width for both untrained networks with randomly initialized parameters and trained networks. In this paper, we provide a quantitative proof of this convergence in terms of the Wasserstein distance of order $1$. First, we establish an upper bound on the distance between the probability distribution of the function generated by any untrained network with finite width and the Gaussian process with the same covariance. This proof utilizes Stein's method to estimate the Wasserstein distance of order $1$. Next, we analyze the training dynamics of the network via gradient flow, proving an upper bound on the distance between the probability distribution of the function generated by the trained network and the corresponding Gaussian process. This proof is based on a quantitative upper bound on the maximum variation of a parameter during training. This bound implies that for sufficiently large widths, training occurs in the lazy regime, \emph{i.e.}, each parameter changes only by a small amount. While the convergence result of [Girardi \emph{et al.}, arXiv:2402.08726] holds at a fixed training time, our upper bounds are uniform in time and hold even as $t \to \infty$.
△ Less
Submitted 4 December, 2024;
originally announced December 2024.
-
La curva de Fargues--Fontaine: Una motivación al estudio de la teoría de representaciones de Galois $p$-ádicas
Authors:
Jorge Alberto Robles Hernández,
J. Rogelio Pérez-Buendía
Abstract:
This article, written in Spanish, provides a comprehensive review of the Fargues-Fontaine curve, a cornerstone in $p$-adic Hodge theory, and its pivotal role in classifying $p$-adic Galois representations. We synthesize key developments surrounding this curve, emphasizing its connection between advanced concepts in arithmetic geometry and the practical theory of representations. We offer a detaile…
▽ More
This article, written in Spanish, provides a comprehensive review of the Fargues-Fontaine curve, a cornerstone in $p$-adic Hodge theory, and its pivotal role in classifying $p$-adic Galois representations. We synthesize key developments surrounding this curve, emphasizing its connection between advanced concepts in arithmetic geometry and the practical theory of representations. We offer a detailed analysis of the Fontaine period rings ($B_{cris}, B_{st}, B_{dR}$), exploring their crucial algebraic and arithmetic properties and their contribution to the curve's construction and definition. Furthermore, we delve into the theory of admissible $p$-adic Galois representations, discussing how the curve, once defined, integrates with Harder-Narasimhan theory.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
New variances for various kappa coefficients based on the unbiased estimator of the expected index of agreements
Authors:
Antonio Martín Andrés,
María Álvarez Hernández
Abstract:
Recently Martín Andrés and Álvarez Hernández (2024) have proposed new estimators of various kappa coefficients. These estimators are based on the unbiased estimator of the expected index of agreement of each population coefficient. In their article, these authors propose variance formulas based on the univariate delta method. Here new formulas are proposed that are based on the multivariate delta…
▽ More
Recently Martín Andrés and Álvarez Hernández (2024) have proposed new estimators of various kappa coefficients. These estimators are based on the unbiased estimator of the expected index of agreement of each population coefficient. In their article, these authors propose variance formulas based on the univariate delta method. Here new formulas are proposed that are based on the multivariate delta method.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Relaxation for degenerate nonlinear functionals in the onedimensional case
Authors:
Valeria Chiadò Piat,
Virginia De Cicco,
Anderson Melchor Hernandez
Abstract:
In this study, we approach the analysis of a degenerate nonlinear functional in one dimension, accommodating a degenerate weight $w$. Our investigation focuses on establishing an explicit relaxation formula for a functional exhibiting $p$-growth for $1< p<+\infty$. We adopt the approach developed in [6], where some assumptions like doubling or Muckenhoupt conditions are dropped. Our main tools con…
▽ More
In this study, we approach the analysis of a degenerate nonlinear functional in one dimension, accommodating a degenerate weight $w$. Our investigation focuses on establishing an explicit relaxation formula for a functional exhibiting $p$-growth for $1< p<+\infty$. We adopt the approach developed in [6], where some assumptions like doubling or Muckenhoupt conditions are dropped. Our main tools consist of proving the validity of a weighted Poincaré inequality involving an auxiliary weight.
△ Less
Submitted 26 January, 2025; v1 submitted 28 March, 2024;
originally announced April 2024.
-
Investigating HLB control strategies using Genetic Algorithms: A two-orchard model approach with ACP Dispersal
Authors:
Andrés Anzo Hernández,
Uvencio José Giménez Mujica,
Carlos Hernández Gracidas,
José Jacobo Oliveros Oliveros
Abstract:
This study focuses on the use of genetic algorithms to optimize control parameters in two potential strategies called mechanical and chemical control, for mitigating the spread of Huanglongbing (HLB) in citrus orchards. By developing a two-orchard model that incorporates the dispersal of the Asian Citrus Psyllid (ACP), the cost functions and objective function are explored to assess the effectiven…
▽ More
This study focuses on the use of genetic algorithms to optimize control parameters in two potential strategies called mechanical and chemical control, for mitigating the spread of Huanglongbing (HLB) in citrus orchards. By developing a two-orchard model that incorporates the dispersal of the Asian Citrus Psyllid (ACP), the cost functions and objective function are explored to assess the effectiveness of the proposed control strategies. The mobility of ACP is also taken into account to capture the disease dynamics more realistically. Additionally, a mathematical expression for the global reproduction number ($R_{0}$) is derived, allowing for sensitivity analysis of the model parameters when ACP mobility is present. Furthermore, we mathematically express the cost function and efficiency of the strategy in terms of the final size and individual $R_{0}$ of each patch (i.e., when ACP mobility is absent). The results obtained through the genetic algorithms reveal optimal parameters for each control strategy, providing valuable insights for decision-making in implementing effective control measures against HLB in citrus orchards. This study highlights the importance of optimizing control parameters in disease management in agriculture and provides a solid foundation for future research in developing disease control strategies based on genetic algorithms.
△ Less
Submitted 14 September, 2023;
originally announced September 2023.
-
Isometries of Almost-Riemannian structures on nonnilpotent, solvable 3D Lie groups
Authors:
Victor Ayala,
Adriano Da Silva,
Danilo A. Garcia Hernández
Abstract:
In this paper we prove that automorphisms are the only isometries between rank two Almost-Riemannian Structures on the class of nonnilpotent, solvable, connected 3D Lie groups. As a consequence, a classification result for rank two ARSs on the groups in question is obtained.
In this paper we prove that automorphisms are the only isometries between rank two Almost-Riemannian Structures on the class of nonnilpotent, solvable, connected 3D Lie groups. As a consequence, a classification result for rank two ARSs on the groups in question is obtained.
△ Less
Submitted 4 September, 2023;
originally announced September 2023.
-
CECM: A continuous empirical cubature method with application to the dimensional hyperreduction of parameterized finite element models
Authors:
J. A. Hernandez,
J. R. Bravo,
S. Ares de Parga
Abstract:
We present the Continuous Empirical Cubature Method (CECM), a novel algorithm for empirically devising efficient integration rules. The CECM aims to improve existing cubature methods by producing rules that are close to the optimal, featuring far less points than the number of functions to integrate.
The CECM consists on a two-stage strategy. First, a point selection strategy is applied for obta…
▽ More
We present the Continuous Empirical Cubature Method (CECM), a novel algorithm for empirically devising efficient integration rules. The CECM aims to improve existing cubature methods by producing rules that are close to the optimal, featuring far less points than the number of functions to integrate.
The CECM consists on a two-stage strategy. First, a point selection strategy is applied for obtaining an initial approximation to the cubature rule, featuring as many points as functions to integrate. The second stage consists in a sparsification strategy in which, alongside the indexes and corresponding weights, the spatial coordinates of the points are also considered as design variables. The positions of the initially selected points are changed to render their associated weights to zero, and in this way, the minimum number of points is achieved.
Although originally conceived within the framework of hyper-reduced order models (HROMs), we present the method's formulation in terms of generic vector-valued functions, thereby accentuating its versatility across various problem domains. To demonstrate the extensive applicability of the method, we conduct numerical validations using univariate and multivariate Lagrange polynomials. In these cases, we show the method's capacity to retrieve the optimal Gaussian rule. We also asses the method for an arbitrary exponential-sinusoidal function in a 3D domain, and finally consider an example of the application of the method to the hyperreduction of a multiscale finite element model, showcasing notable computational performance gains.
A secondary contribution of the current paper is the Sequential Randomized SVD (SRSVD) approach for computing the Singular Value Decomposition (SVD) in a column-partitioned format. The SRSVD is particularly advantageous when matrix sizes approach memory limitations.
△ Less
Submitted 7 August, 2023;
originally announced August 2023.
-
The differential on Graph Operator R(G)
Authors:
Ludwin A. Hernández,
Jesús Leaños,
Omar Rosario,
José M. Sigarreta
Abstract:
Let $G=(V(G), E(G))$ be a simple graph with vertex set $V(G)$ and edge set $E(G)$. Let $S$ be a subset of $V(G)$, and let $B(S)$ be the set of neighbours of $S$ in $V(G) \setminus S$. The differential $\partial(S)$ of $S$ is the number $|B(S)|-|S|$. The maximum value of $\partial(S)$ taken over all subsets $S\subseteq V(G)$ is the differential $\partial(G)$ of $G$. The graph $R{G}$ is defined as t…
▽ More
Let $G=(V(G), E(G))$ be a simple graph with vertex set $V(G)$ and edge set $E(G)$. Let $S$ be a subset of $V(G)$, and let $B(S)$ be the set of neighbours of $S$ in $V(G) \setminus S$. The differential $\partial(S)$ of $S$ is the number $|B(S)|-|S|$. The maximum value of $\partial(S)$ taken over all subsets $S\subseteq V(G)$ is the differential $\partial(G)$ of $G$. The graph $R{G}$ is defined as the graph obtained from $G$ by adding a new vertex $v_e$ for each $e\in E(G)$, and by joining $v_e$ to the end vertices of $e$. In this paper we study the relationship between $\partial(G)$ and $\partial(R(G))$, and give tight asymptotic bounds for $\partial(R(G))$. We also exhibit some relationships between certain vertex sets of $G$ and $R(G)$ which involve well known graph theoretical parameters.
△ Less
Submitted 3 August, 2023;
originally announced August 2023.
-
$Γ$-convergence of discrete energies modeling self-aggregation of stochastic particles
Authors:
Luca Lussardi,
Anderson Melchor Hernandez,
Marco Morandotti
Abstract:
In this work, we demonstrate that a functional modeling the self-aggregation of stochastically distributed lipid molecules can be obtained as the $Γ$-limit of a family of discrete energies driven by a sequence of independent and identically distributed random variables. These random variables are intended to describe the asymptotic behavior of lipid molecules that satisfy an incompressibility cond…
▽ More
In this work, we demonstrate that a functional modeling the self-aggregation of stochastically distributed lipid molecules can be obtained as the $Γ$-limit of a family of discrete energies driven by a sequence of independent and identically distributed random variables. These random variables are intended to describe the asymptotic behavior of lipid molecules that satisfy an incompressibility condition. The discrete energy keeps into account the interactions between particles. We resort to transportation maps to compare functionals defined on discrete and continuous domains, and we prove that, under suitable conditions on the scaling of these maps as the number of random variables increases, the limit functional features an interfacial term with a Wasserstein-type penalization.
△ Less
Submitted 9 May, 2023;
originally announced May 2023.
-
Justification logic and the epistemic contribution of deduction
Authors:
Nancy Abigail Nuñez Hernández,
Francisco Hernández Quiroz
Abstract:
Accounting for the epistemic contribution of deduction has been a pervasive problem for logicians interested in deduction, such as, among others, Jakko Hintikka. The problem arises because the conclusion validly deduced from a set of premises is said to be "contained" in that set; because of this containment relation, the conclusion would be known from the moment the premises are known. Assuming t…
▽ More
Accounting for the epistemic contribution of deduction has been a pervasive problem for logicians interested in deduction, such as, among others, Jakko Hintikka. The problem arises because the conclusion validly deduced from a set of premises is said to be "contained" in that set; because of this containment relation, the conclusion would be known from the moment the premises are known. Assuming this, it is problematic to explain how we can gain knowledge by deducing a logical consequence implied in a set of known premises. To address this problem, we offer an alternative account of the epistemic contribution of deduction as the process required to deduce a conclusion or a theorem, understanding such process not only in terms of the number of steps in the derivation but, more importantly, the reason for or justification for every step. That is, we do not know a proposition unless we have a justification or proof to hold that proposition. With this goal in mind, we develop a justification logic system which exhibits the epistemic contribution of a deductive derivation as the resulting justified formula.
△ Less
Submitted 29 December, 2022;
originally announced December 2022.
-
An Itô-Wentzell formula for rough paths
Authors:
Rafael A. Castrequini,
Pedro J. Catuogno,
Alvaro E. Machado Hernandez
Abstract:
This article shows an Itô-Wentzell type formula adapted to rough paths with $α$-Hölder regularity $α\in (\frac{1}{3},\frac{1}{2}]$. We improve previous results of R. Castrequini and P. Catuogno for the Young integral and C. Keller and J. Zhang for rough paths.
This article shows an Itô-Wentzell type formula adapted to rough paths with $α$-Hölder regularity $α\in (\frac{1}{3},\frac{1}{2}]$. We improve previous results of R. Castrequini and P. Catuogno for the Young integral and C. Keller and J. Zhang for rough paths.
△ Less
Submitted 20 June, 2022;
originally announced June 2022.
-
On non-counital Frobenius algebras
Authors:
Amanda Hernandez,
Chelsea Walton,
Harshit Yadav
Abstract:
A Frobenius algebra is a finite-dimensional algebra $A$ which comes equipped with a coassociative, counital comultiplication map $Δ$ that is an $A$-bimodule map. Here, we examine comultiplication maps for generalizations of Frobenius algebras: finite-dimensional self-injective (quasi-Frobenius) algebras. We show that large classes of such algebras, including finite-dimensional weak Hopf algebras,…
▽ More
A Frobenius algebra is a finite-dimensional algebra $A$ which comes equipped with a coassociative, counital comultiplication map $Δ$ that is an $A$-bimodule map. Here, we examine comultiplication maps for generalizations of Frobenius algebras: finite-dimensional self-injective (quasi-Frobenius) algebras. We show that large classes of such algebras, including finite-dimensional weak Hopf algebras, come equipped with a nonzero map $Δ$ as above that is not necessarily counital. We also conjecture that this comultiplicative structure holds for self-injective algebras in general.
△ Less
Submitted 8 May, 2023; v1 submitted 29 April, 2022;
originally announced April 2022.
-
Almost-Riemannian Structures on nonnilpotent, solvable 3D Lie groups
Authors:
Victor Ayala,
Danilo A. García Hernández,
Adriano Da Silva
Abstract:
In this paper we study Almost-Riemannian Structures (ARS) on the class of nonnilpotent, solvable, conneted 3D Lie groups. The nice structures present in such groups allow us to show that the singular locus of ARSs on such groups are always embedded submanifolds.
In this paper we study Almost-Riemannian Structures (ARS) on the class of nonnilpotent, solvable, conneted 3D Lie groups. The nice structures present in such groups allow us to show that the singular locus of ARSs on such groups are always embedded submanifolds.
△ Less
Submitted 15 April, 2023; v1 submitted 17 January, 2022;
originally announced January 2022.
-
Trapping of Planar Brownian Motion: Full First Passage Time Distributions by Kinetic Monte-Carlo, Asymptotic and Boundary Integral Methods
Authors:
Jake Cherry,
Alan E. Lindsay,
Adrian Navarro Hernandez,
Bryan Quaife
Abstract:
We consider the problem of determining the arrival statistics of unbiased planar random walkers to complex target configurations. In contrast to problems posed in finite domains, simple moments of the distribution, such as the mean (MFPT) and variance, are not defined and it is necessary to obtain the full arrival statistics. We describe several methods to obtain these distributions and other asso…
▽ More
We consider the problem of determining the arrival statistics of unbiased planar random walkers to complex target configurations. In contrast to problems posed in finite domains, simple moments of the distribution, such as the mean (MFPT) and variance, are not defined and it is necessary to obtain the full arrival statistics. We describe several methods to obtain these distributions and other associated quantities such as splitting probabilities. One approach combines a Laplace transform of the underlying parabolic equation with matched asymptotic analysis followed by numerical transform inversion. The second approach is similar, but uses a boundary integral equation method to solve for the Laplace transformed variable. To validate the results of this theory, and to obtain the arrival time statistics in very general configurations of absorbers, we introduce an efficient Kinetic Monte Carlo (KMC) method that describes trajectories as a combination of large but exactly solvable projection steps. The effectiveness of these methodologies is demonstrated on a variety of challenging examples highlighting the applicability of these methods to a variety of practical scenarios, such as source inference. A particularly useful finding arising from these results is that homogenization theories, in which complex configurations are replaced by equivalent simple ones, are remarkably effective at describing arrival time statistics.
△ Less
Submitted 13 December, 2021;
originally announced December 2021.
-
Variants of a multiplier theorem of Kislyakov
Authors:
Andreas Defant,
Mieczysław Mastyło,
Antonio Pérez Hernández
Abstract:
We prove stronger variants of a multiplier theorem of Kislyakov. The key ingredients are based on ideas of Kislaykov and the Kahane-Salem-Zygmund inequality. As a by-product we show various multiplier theorems for spaces of trigonometric polynomials on the $n$-dimensional torus $\mathbb{T}^n$ or Boolean cubes $\{-1,1\}^N$. Our more abstract approach based on local Banach space theory has the advan…
▽ More
We prove stronger variants of a multiplier theorem of Kislyakov. The key ingredients are based on ideas of Kislaykov and the Kahane-Salem-Zygmund inequality. As a by-product we show various multiplier theorems for spaces of trigonometric polynomials on the $n$-dimensional torus $\mathbb{T}^n$ or Boolean cubes $\{-1,1\}^N$. Our more abstract approach based on local Banach space theory has the advantage that it allows to consider more general compact abelian groups instead of only the multidimensional torus. As an application we show that various recent $\ell_1$-multiplier theorems for trigonometric polynomials in several variables or ordinary Dirichlet series may be proved without the Kahane-Salem-Zygmund inequality.
△ Less
Submitted 21 July, 2021;
originally announced July 2021.
-
On a generalized Central Limit Theorem and Large Deviations for Homogeneous Open Quantum Walks
Authors:
Raffaella Carbone,
Federico Girotti,
Anderson Melchor Hernandez
Abstract:
We consider homogeneous open quantum random walks on a lattice with finite dimensional local Hilbert space and we study in particular the position process of the quantum trajectories of the walk. We prove that the properly rescaled position process asymptotically approaches a mixture of Gaussian measures. We can generalize the existing central limit type results and give more explicit expressions…
▽ More
We consider homogeneous open quantum random walks on a lattice with finite dimensional local Hilbert space and we study in particular the position process of the quantum trajectories of the walk. We prove that the properly rescaled position process asymptotically approaches a mixture of Gaussian measures. We can generalize the existing central limit type results and give more explicit expressions for the involved asymptotic quantities, dropping any additional condition on the walk. We use deformation and spectral techniques, together with reducibility properties of the local channel associated with the open quantum walk. Further, we can provide a large deviations' principle in the case of a fast recurrent local channel and at least lower and upper bounds in the general case.
△ Less
Submitted 8 July, 2021;
originally announced July 2021.
-
Estimation of first-order sensitivity indices based on symmetric reflected Vietoris-Rips complexes areas
Authors:
Alberto J Hernández,
Maikol Solís,
Ronald A. Zúñiga-Rojas
Abstract:
In this paper we estimate the first-order sensitivity index of random variables within a model by reconstructing the embedding manifold of a two-dimensional cloud point. The model assumed has p predictors and a continuous outcome Y . Our method gauges the manifold through a Vietoris-Rips complex with a fixed radius for each variable. With this object, and using the area and its symmetric reflectio…
▽ More
In this paper we estimate the first-order sensitivity index of random variables within a model by reconstructing the embedding manifold of a two-dimensional cloud point. The model assumed has p predictors and a continuous outcome Y . Our method gauges the manifold through a Vietoris-Rips complex with a fixed radius for each variable. With this object, and using the area and its symmetric reflection, we can estimate an index of relevance for each predictor. The index reveals the geometric nature of the data points. Also, given the method used, we can decide whether a pair of non-correlated random variables have some structural pattern in their interaction.
△ Less
Submitted 9 December, 2020;
originally announced December 2020.
-
Weighted heat kernel estimates: rate of convergence in Kolmogorov distance
Authors:
Anderson Melchor Hernandez
Abstract:
This paper is concerned about random walks on random environments in the lattice $\mathbb{Z}^d$. This model is analyzed through ergodicity in the form of the logarithmic Sobolev inequality. We assume that the environments are random variables being independent and identically distributed. Here, we give heat kernel estimates for non-diagonal random matrices leading in dimension $d\geq 3$ a Berry-Es…
▽ More
This paper is concerned about random walks on random environments in the lattice $\mathbb{Z}^d$. This model is analyzed through ergodicity in the form of the logarithmic Sobolev inequality. We assume that the environments are random variables being independent and identically distributed. Here, we give heat kernel estimates for non-diagonal random matrices leading in dimension $d\geq 3$ a Berry-Esseen upper bound with a rate of convergence $t^{-\frac{1}{10}}$.
△ Less
Submitted 16 August, 2021; v1 submitted 4 August, 2020;
originally announced August 2020.
-
Weighted Meyers estimates in perforated domains
Authors:
Anderson M. Hernandez
Abstract:
The present work aims to provide Meyers estimates throughout a finer inner regularity theory in perforated domains. We also provide a hypercontractivity property on correctors whenever the perforations are controlled with a uniformly bounded random variable and the underlying probability space admits a weaker form of ergodicity which we called coarsened logarithmic Sobolev inequality.
The present work aims to provide Meyers estimates throughout a finer inner regularity theory in perforated domains. We also provide a hypercontractivity property on correctors whenever the perforations are controlled with a uniformly bounded random variable and the underlying probability space admits a weaker form of ergodicity which we called coarsened logarithmic Sobolev inequality.
△ Less
Submitted 16 August, 2021; v1 submitted 22 July, 2020;
originally announced July 2020.
-
Coarsen entropy inequalities and its applications in quantitative stochastic homogenization
Authors:
Anderson M. Hernandez
Abstract:
In this work, we study the validity of Entropy inequalities under decorrelation assumptions at large-scales, and also we study the problem of Weighted Meyers estimate in perforated domains. As a consequence, we obtain the hypercontractivity of correctors with Neumann boundary conditions.
In this work, we study the validity of Entropy inequalities under decorrelation assumptions at large-scales, and also we study the problem of Weighted Meyers estimate in perforated domains. As a consequence, we obtain the hypercontractivity of correctors with Neumann boundary conditions.
△ Less
Submitted 16 August, 2021; v1 submitted 17 July, 2020;
originally announced July 2020.
-
Angular asymptotics for random walks
Authors:
Alejandro López Hernández,
Andrew R. Wade
Abstract:
We study the set of directions asymptotically explored by a spatially homogeneous random walk in $d$-dimensional Euclidean space. We survey some pertinent results of Kesten and Erickson, make some further observations, and present some examples. We also explore links to the asymptotics of one-dimensional projections, and to the growth of the convex hull of the random walk.
We study the set of directions asymptotically explored by a spatially homogeneous random walk in $d$-dimensional Euclidean space. We survey some pertinent results of Kesten and Erickson, make some further observations, and present some examples. We also explore links to the asymptotics of one-dimensional projections, and to the growth of the convex hull of the random walk.
△ Less
Submitted 18 March, 2021; v1 submitted 18 March, 2020;
originally announced March 2020.
-
On Multitype Random Forests with a Given Degree Sequence, the Total Population of Branching Forests and Enumerations of Multitype Forests
Authors:
Osvaldo Angtuncio Hernández
Abstract:
The degree sequence $(N_{i,j}(k),1\leq i,j\leq d,k\geq 0)$ of a multitype forest with $d$ types, is the number of individuals type $i$, having $k$ children type $j$. We construct a multitype forest sampled uniformly from all multitype forest with a given degree sequence (MFGDS). For this, we use an extension of the Ballot Theorem by (Chaumont and Liu, 2016), and generalize the Vervaat transform (V…
▽ More
The degree sequence $(N_{i,j}(k),1\leq i,j\leq d,k\geq 0)$ of a multitype forest with $d$ types, is the number of individuals type $i$, having $k$ children type $j$. We construct a multitype forest sampled uniformly from all multitype forest with a given degree sequence (MFGDS). For this, we use an extension of the Ballot Theorem by (Chaumont and Liu, 2016), and generalize the Vervaat transform (Vervaat, 1979) to multidimensional discrete exchangeable increment processes. We prove that MFGDS are extensions of multitype Galton-Watson (MGW) forests, since mixing the laws of the former, one obtains MGW forests with fixed sizes by type (CMGW). We also obtain the law of the total population by types in a MGW forest, generalizing Otter-Dwass formula (Otter 1949, Dwass 1969). We apply this to obtain enumerations of plane, labeled and binary multitype forests having fixed roots and individuals by types. We give an algorithm to simulate certain CMGW forests, generalizing the unitype case of (Devroye, 2012).
△ Less
Submitted 8 April, 2021; v1 submitted 6 March, 2020;
originally announced March 2020.
-
Differentiable programming and its applications to dynamical systems
Authors:
Adrián Hernández,
José M. Amigó
Abstract:
Differentiable programming is the combination of classical neural networks modules with algorithmic ones in an end-to-end differentiable model. These new models, that use automatic differentiation to calculate gradients, have new learning capabilities (reasoning, attention and memory). In this tutorial, aimed at researchers in nonlinear systems with prior knowledge of deep learning, we present thi…
▽ More
Differentiable programming is the combination of classical neural networks modules with algorithmic ones in an end-to-end differentiable model. These new models, that use automatic differentiation to calculate gradients, have new learning capabilities (reasoning, attention and memory). In this tutorial, aimed at researchers in nonlinear systems with prior knowledge of deep learning, we present this new programming paradigm, describe some of its new features such as attention mechanisms, and highlight the benefits they bring. Then, we analyse the uses and limitations of traditional deep learning models in the modeling and prediction of dynamical systems. Here, a dynamical system is meant to be a set of state variables that evolve in time under general internal and external interactions. Finally, we review the advantages and applications of differentiable programming to dynamical systems.
△ Less
Submitted 2 May, 2020; v1 submitted 17 December, 2019;
originally announced December 2019.
-
A two-patch epidemic model with nonlinear reinfection
Authors:
Juan G. Calvo,
Alberto Hernández,
Mason A. Porter,
Fabio Sanchez
Abstract:
The propagation of infectious diseases and its impact on individuals play a major role in disease dynamics, and it is important to incorporate population heterogeneity into efforts to study diseases. As a simplistic but illustrative example, we examine interactions between urban and rural populations in the dynamics of disease spreading. Using a compartmental framework of susceptible--infected--su…
▽ More
The propagation of infectious diseases and its impact on individuals play a major role in disease dynamics, and it is important to incorporate population heterogeneity into efforts to study diseases. As a simplistic but illustrative example, we examine interactions between urban and rural populations in the dynamics of disease spreading. Using a compartmental framework of susceptible--infected--susceptible ($\mathrm{SI\widetilde{S}}$) dynamics with some level of immunity, we formulate a model that allows nonlinear reinfection. We investigate the effects of population movement in the simplest scenario: a case with two patches, which allows us to model movement between urban and rural areas. To study the dynamics of the system, we compute a basic reproduction number for each population (urban and rural). We also compute steady states, determine the local stability of the disease-free steady state, and identify conditions for the existence of endemic steady states. From our analysis and computational experiments, we illustrate that population movement plays an important role in disease dynamics. In some cases, it can be rather beneficial, as it can enlarge the region of stability of a disease-free steady state.
△ Less
Submitted 20 July, 2019;
originally announced July 2019.
-
Multidimensional random walks conditioned to stay ordered via generalized ladder height functions
Authors:
Osvaldo Angtuncio Hernández
Abstract:
Random walks conditioned to stay positive are a prominent topic in fluctuation theory. One way to construct them is as a random walk conditioned to stay positive up to time $n$, and let $n$ tend to infinity. A second method is conditioning instead to stay positive up to an independent geometric time, and send its parameter to zero. The multidimensional case (condition the components of a $d$-dimen…
▽ More
Random walks conditioned to stay positive are a prominent topic in fluctuation theory. One way to construct them is as a random walk conditioned to stay positive up to time $n$, and let $n$ tend to infinity. A second method is conditioning instead to stay positive up to an independent geometric time, and send its parameter to zero. The multidimensional case (condition the components of a $d$-dimensional random walk to be ordered) was solved in [EK08] using the first approach, but some moment conditions need to be imposed. Our approach is based on the second method, which has the advantage to require a minimal restriction, needed only for the finiteness of the $h$-transform in certain cases. We also characterize when the limit is Markovian or sub-Markovian, and give several reexpresions of the $h$-function. Under some conditions given in [Ign18], it can be proved that our $h$-function is the only harmonic function which is zero outside the Weyl chamber $\{x=(x_1,\ldots, x_d)\in \mathbb{R}^d: x_1<\cdots < x_d\}$.
△ Less
Submitted 9 March, 2020; v1 submitted 14 May, 2019;
originally announced May 2019.
-
Dini derivatives for Exchangeable Increment processes and applications
Authors:
Osvaldo Angtuncio Hernández,
Gerónimo Uribe Bravo
Abstract:
Let $X$ be an exchangeable increment (EI) process whose sample paths are of infinite variation. We prove that, for any fixed $t$ almost surely, \[ \limsup_{h\to 0 \pm} (X_{t+h}-X_t)/h=\infty \quad\text{and}\quad \liminf_{h\to 0\pm} (X_{t+h}-X_t)/h=-\infty. \]This extends a celebrated result of Rogozin (1968) for Lévy processes, and completes the known picture for finite-variation EI processes. App…
▽ More
Let $X$ be an exchangeable increment (EI) process whose sample paths are of infinite variation. We prove that, for any fixed $t$ almost surely, \[ \limsup_{h\to 0 \pm} (X_{t+h}-X_t)/h=\infty \quad\text{and}\quad \liminf_{h\to 0\pm} (X_{t+h}-X_t)/h=-\infty. \]This extends a celebrated result of Rogozin (1968) for Lévy processes, and completes the known picture for finite-variation EI processes. Applications are numerous. For example, we deduce that both half-lines $(-\infty, 0)$ and $(0,\infty)$ are visited immediately for infinite variation EI processes (called upward and downward regularity). We also generalize the zero-one law of Millar (1977) for Lévy processes by showing continuity of $X$ when it reaches its minimum in the infinite variation EI case; an analogous result for all EI processes links right and left continuity at the minimum with upward and downward regularity. We also consider results of Durrett, Iglehart and Miller (1977) on the weak convergence of conditioned Brownian bridges to the normalized Brownian excursion, and broadened to a subclass of Lévy processes and EI processes by Uribe Bravo (2014) and Chaumont and Uribe Bravo (2015). We prove it here for all infinite variation EI processes. We furthermore obtain a description of the convex minorant for non-piecewise linear EI processes, the case of Lévy processes given by Pitman and Uribe Bravo (2012). Our main tool to study the Dini derivatives is a change of measure for EI processes which extends the Esscher transform for Lévy processes.
△ Less
Submitted 14 March, 2019; v1 submitted 12 March, 2019;
originally announced March 2019.
-
A numerical approach for the filtered generalized Cech complex
Authors:
Jesus F. Espinoza,
Rosalia Hernandez-Amador,
Hector A. Hernandez,
Beatriz Ramonetti-Valencia
Abstract:
In this paper, we present an algorithm to compute the filtered generalized Čech complex for a finite collection of disks in the plane, which don't necessarily have the same radius.
The key step behind the algorithm is to calculate the minimum scale factor needed to ensure rescaled disks have a nonempty intersection, through a numerical approach, whose convergence is guaranteed by a generalizatio…
▽ More
In this paper, we present an algorithm to compute the filtered generalized Čech complex for a finite collection of disks in the plane, which don't necessarily have the same radius.
The key step behind the algorithm is to calculate the minimum scale factor needed to ensure rescaled disks have a nonempty intersection, through a numerical approach, whose convergence is guaranteed by a generalization of the well-known Vietoris-Rips Lemma, which we also prove in an alternative way, using elementary geometric arguments.
We present two applications of our main results. We give an algorithm for computing the 2-dimensional filtered generalized Čech complex of a finite collection of $d$-dimensional disks in $\mathbb{R}^d$. In addition, we show how the algorithm yields the minimal enclosing ball for a finite set of points in the plane.
△ Less
Submitted 12 April, 2019; v1 submitted 21 September, 2018;
originally announced September 2018.
-
Collapsibility and homological properties of $\mathfrak{I}$-contractible transformations
Authors:
Jesus F. Espinoza,
Martín-Eduardo Frías-Armenta,
Héctor A. Hernández
Abstract:
The family of $\mathfrak{I}$-contractible graphs and contractible transformations was defined by A. Ivashchenko in the mid-90's. In this paper we study the collapsibility and homological properties of the clique complex associated to $\mathfrak{I}$-contractible graphs. We show that for any graph in a special subfamily of the $\mathfrak{I}$-contractible graphs (the strong $\mathfrak{I}$-contractibl…
▽ More
The family of $\mathfrak{I}$-contractible graphs and contractible transformations was defined by A. Ivashchenko in the mid-90's. In this paper we study the collapsibility and homological properties of the clique complex associated to $\mathfrak{I}$-contractible graphs. We show that for any graph in a special subfamily of the $\mathfrak{I}$-contractible graphs (the strong $\mathfrak{I}$-contractible ones) its clique complex is collapsible. Moreover, we present an algorithm that allows us to verify if any graph is strong $\mathfrak{I}$-contractible, as well as an algorithm to delete those vertices whose open neighborhood is also strong $\mathfrak{I}$-contractible. Finally, we show how to use these algorithms to compute the persistent homology of an arbitrary Vietoris-Rips complex for applications in topological data analysis.
△ Less
Submitted 27 April, 2022; v1 submitted 22 August, 2018;
originally announced August 2018.
-
Nondegeneracy and the Jacobi fields of rotationally symmetric solutions to the Cahn-Hillard equation
Authors:
Álvaro Hernández,
Michal Kowalczyk
Abstract:
In this paper we study rotationally symmetric solutions of the Cahn-Hilliard equation in $\mathbb R^3$ constructed by the authors. These solutions form a one parameter family analog to the family of Delaunay surfaces and in fact the zero level sets of their blowdowns approach these surfaces. Presently we go a step further and show that their stability properties are inherited from the stability pr…
▽ More
In this paper we study rotationally symmetric solutions of the Cahn-Hilliard equation in $\mathbb R^3$ constructed by the authors. These solutions form a one parameter family analog to the family of Delaunay surfaces and in fact the zero level sets of their blowdowns approach these surfaces. Presently we go a step further and show that their stability properties are inherited from the stability properties of the Delaunay surfaces. Our main result states that the rotationally symmetric solutions are non degenerate and that they have exactly $6$ Jacobi fields of temperate growth coming from the natural invariances of the problem (3 translations and 2 rotations) and the variation of the Delaunay parameter.
△ Less
Submitted 26 May, 2017; v1 submitted 10 May, 2017;
originally announced May 2017.
-
A quantum subgroup depth
Authors:
Alberto Hernandez,
Lars Kadison,
Samuel A. Lopes
Abstract:
The Green ring of the half quantum group $H=U_n(q)$ is computed in [Chen, Van Oystaeyen, Zhang]. The tensor product formulas between indecomposables may be used for a generalized subgroup depth computation in the setting of quantum groups -- to compute depth of the Hopf subalgebra $H$ in its Drinfeld double $D(H)$. In this paper the Hopf subalgebra quotient module $Q$ (a generalization of the perm…
▽ More
The Green ring of the half quantum group $H=U_n(q)$ is computed in [Chen, Van Oystaeyen, Zhang]. The tensor product formulas between indecomposables may be used for a generalized subgroup depth computation in the setting of quantum groups -- to compute depth of the Hopf subalgebra $H$ in its Drinfeld double $D(H)$. In this paper the Hopf subalgebra quotient module $Q$ (a generalization of the permutation module of cosets for a group extension) is computed and, as $H$-modules, $Q$ and its second tensor power are decomposed into a direct sum of indecomposables. We note that the least power $n$, referred to as depth, for which $Q^{\otimes (n)}$ has the same indecomposable constituents as $Q^{\otimes (n+1)}$ is $n = 2$, since $ Q^{\otimes (2)}$ contains all $H$-module indecomposables, which determines the minimum even depth $d_{ev}(H,D(H)) = 6$.
△ Less
Submitted 4 October, 2016;
originally announced October 2016.
-
Rotationally symmetric solutions to the Cahn-Hilliard equation
Authors:
Michal Kowalczyk,
Álvaro Hérnandez
Abstract:
This paper is devoted to construction of new solutions to the Cahn-Hilliard equation in $\mathbb R^d$. Staring from a Delaunay unduloid $D_τ$ with parameter $τ\in (0,τ^*)$ we find for each sufficiently small $\varepsilon$ a solution $u$ of this equation which is periodic in the direction of the $x_d$ axis and rotationally symmetric with respect to rotations about this axis. The zero level set of…
▽ More
This paper is devoted to construction of new solutions to the Cahn-Hilliard equation in $\mathbb R^d$. Staring from a Delaunay unduloid $D_τ$ with parameter $τ\in (0,τ^*)$ we find for each sufficiently small $\varepsilon$ a solution $u$ of this equation which is periodic in the direction of the $x_d$ axis and rotationally symmetric with respect to rotations about this axis. The zero level set of $u$ approaches as $\varepsilon\to 0$ the surface $D_τ$. We use a refined version of the Lyapunov-Schmidt reduction method which simplifies very technical aspects of previous constructions for similar problems.
△ Less
Submitted 16 November, 2015; v1 submitted 15 May, 2015;
originally announced May 2015.
-
Subgroup depth and twisted coefficients
Authors:
Alberto Hernandez,
Lars Kadison,
Marcin Szamotulski
Abstract:
Danz computes the depth of certain twisted group algebra extensions in Comm. Alg. (2011), which are less than the values of the depths of the corresponding untwisted group algebra extensions in Burciu et al, I.E.J.A. (2011). In this paper, we show that the closely related h-depth of any group crossed product algebra extension is less than or equal to the h-depth of the corresponding (finite rank)…
▽ More
Danz computes the depth of certain twisted group algebra extensions in Comm. Alg. (2011), which are less than the values of the depths of the corresponding untwisted group algebra extensions in Burciu et al, I.E.J.A. (2011). In this paper, we show that the closely related h-depth of any group crossed product algebra extension is less than or equal to the h-depth of the corresponding (finite rank) group algebra extension. A convenient theoretical underpinning to do so is provided by the entwining structure of a right $H$-comodule algebra A and a right H-module coalgebra C for a Hopf algebra H. Then A tensor C is an A-coring, where corings have a notion of depth extending h-depth. This coring is Galois in certain cases where C is the quotient module Q of a coideal subalgebra R < H. We note that this applies for the group crossed product algebra extension, so that the depth of this Galois coring is less than the h-depth of H in G. Along the way, we show that subgroup depth behaves exactly like combinatorial depth with respect to the core of a subgroup, and extend results in Kadison J.Pure Appl.Alg. (2014) to coideal subalgebras of finite dimension.
△ Less
Submitted 28 November, 2014; v1 submitted 3 October, 2014;
originally announced October 2014.
-
Algebraic quotient modules and subgroup depth
Authors:
A. Hernandez,
L. Kadison,
C. J. Young
Abstract:
In arXiv:1210.3178 it was shown that subgroup depth may be computed from the permutation module of the left or right cosets: this holds more generally for a Hopf subalgebra, from which we note in this paper that finite depth of a Hopf subalgebra R < H is equivalent to the H-module coalgebra Q = H/R^+H representing an algebraic element in the Green ring of H or R. This approach shows that subgroup…
▽ More
In arXiv:1210.3178 it was shown that subgroup depth may be computed from the permutation module of the left or right cosets: this holds more generally for a Hopf subalgebra, from which we note in this paper that finite depth of a Hopf subalgebra R < H is equivalent to the H-module coalgebra Q = H/R^+H representing an algebraic element in the Green ring of H or R. This approach shows that subgroup depth and the subgroup depth of the corefree quotient lie in the same closed interval of length one. We also establish a previous claim that the problem of determining if R has finite depth in H is equivalent to determining if H has finite depth in its cross product Q* # H. A necessary condition is obtained for finite depth from stabilization of a descending chain of annihilator ideals of tensor powers of Q. As an application of these topics to a centerless finite group G, we prove that the minimum depth of its group complex algebra in the Drinfeld double D(G) is an odd integer, which determines the least tensor power of the adjoint representation Q that is a faithful complex G-module.
△ Less
Submitted 25 May, 2014; v1 submitted 4 June, 2013;
originally announced June 2013.
-
Explicit Spectral Decimation for a Class of Self--Similar Fractals
Authors:
Sergio A. Hernandez,
Federico Menendez-Conde
Abstract:
The method of spectral decimation is applied to an infinite collection of self--similar fractals. The sets considered belong to the class of nested fractals, and are thus very symmetric. An explicit construction is given to obtain formulas for the eigenvalues of the Laplace operator acting on these fractals.
The method of spectral decimation is applied to an infinite collection of self--similar fractals. The sets considered belong to the class of nested fractals, and are thus very symmetric. An explicit construction is given to obtain formulas for the eigenvalues of the Laplace operator acting on these fractals.
△ Less
Submitted 14 January, 2013; v1 submitted 7 September, 2012;
originally announced September 2012.
-
Linear systems associated to unicuspidal rational plane curves
Authors:
Daniel Daigle,
Alejandro Melle Hernández
Abstract:
A curve C in the projective plane is called non-negative if the self-intersection number of C after the minimal resolution of singularities of C is non-negative. Given a unicuspidal rational plane curve C with singular point P, we study the unique pencil Lambda_C on the projective plane satisfying C is in Lambda_C and P is its unique base point. We show that the general member of Lambda_C is a rat…
▽ More
A curve C in the projective plane is called non-negative if the self-intersection number of C after the minimal resolution of singularities of C is non-negative. Given a unicuspidal rational plane curve C with singular point P, we study the unique pencil Lambda_C on the projective plane satisfying C is in Lambda_C and P is its unique base point. We show that the general member of Lambda_C is a rational curve if and only if the curve C is non-negative. We also show that in such a case then Lambda_C has a dicritical of degree 1. Note that all currently known unicuspidal rational curves C in the projective plane are non-negative.
△ Less
Submitted 28 February, 2012;
originally announced February 2012.
-
Linear systems of rational curves on rational surfaces
Authors:
Daniel Daigle,
Alejandro Melle Hernandez
Abstract:
Given a curve C on a projective nonsingular rational surface S, over an algebraically closed field of characteristic zero, we are interested in the set Omega_C of linear systems Lambda on S satisfying C is in Lambda, dim Lambda > 0, and the general member of Lambda is a rational curve. The main result of the paper gives a complete description of Omega_C and, in particular, characterizes the curves…
▽ More
Given a curve C on a projective nonsingular rational surface S, over an algebraically closed field of characteristic zero, we are interested in the set Omega_C of linear systems Lambda on S satisfying C is in Lambda, dim Lambda > 0, and the general member of Lambda is a rational curve. The main result of the paper gives a complete description of Omega_C and, in particular, characterizes the curves C for which Omega_C is non empty.
△ Less
Submitted 27 February, 2012;
originally announced February 2012.
-
On the pre-lambda ring structure on the Grothendieck ring of stacks and the power structures over it
Authors:
S. M. Gusein-Zade,
I. Luengo,
A. Melle Hernandez
Abstract:
In this note we discuss a generalization ("extension") of the pre-lambda structure on the Grothendieck ring of quasi-projective varieties and of the corresponding power structure over it to the Grothendieck ring of stacks, discuss some of their properties and give some explicit formulae for the Kapranov zeta function for some stacks.
In this note we discuss a generalization ("extension") of the pre-lambda structure on the Grothendieck ring of quasi-projective varieties and of the corresponding power structure over it to the Grothendieck ring of stacks, discuss some of their properties and give some explicit formulae for the Kapranov zeta function for some stacks.
△ Less
Submitted 9 March, 2011; v1 submitted 30 August, 2010;
originally announced August 2010.
-
Non-Commutative Harmonic and Subharmonic Polynomials
Authors:
J. William Helton,
Daniel P. McAllaster,
Joshua A. Hernandez
Abstract:
The paper introduces a notion of the Laplace operator of a polynomial p in noncommutative variables x=(x_1,...,x_g). The Laplacian Lap[p,h] of p is a polynomial in x and in a noncommuting variable h. When all variables commute we have Lap[p,h]=h^2Δ_x p where Δ_x p is the usual Laplacian. A symmetric polynomial in symmetric variables will be called harmonic if Lap[p,h]=0 and subharmonic if the po…
▽ More
The paper introduces a notion of the Laplace operator of a polynomial p in noncommutative variables x=(x_1,...,x_g). The Laplacian Lap[p,h] of p is a polynomial in x and in a noncommuting variable h. When all variables commute we have Lap[p,h]=h^2Δ_x p where Δ_x p is the usual Laplacian. A symmetric polynomial in symmetric variables will be called harmonic if Lap[p,h]=0 and subharmonic if the polynomial q(x,h):=Lap[p,h] takes positive semidefinite matrix values whenever matrices X_1,..., X_g, H are substituted for the variables x_1,...,x_g, h. In this paper we classify all homogeneous symmetric harmonic and subharmonic polynomials in two symmetric variables. We find there are not many of them: for example, the span of all such subharmonics of any degree higher than 4 has dimension 2 (if odd degree) and 3 (if even degree). Hopefully, the approach here will suggest ways of defining and analyzing other partial differential equations and inequalities.
△ Less
Submitted 26 September, 2009;
originally announced September 2009.
-
On generating series of classes of equivariant Hilbert schemes of fat points
Authors:
S. M. Gusein-Zade,
I. Luengo,
A. Melle Hernandez
Abstract:
In previous papers the authors gave formulae for generating series of classes (in the Grothendieck ring of complex quasi-projective varieties) of Hilbert schemes of zero-dimensional subschemes on smooth varieties and on orbifolds in terms of certain local data and the, so called, power structure over the corresponding ring. Here we give an analogue of these formulae for equivariant (with respect…
▽ More
In previous papers the authors gave formulae for generating series of classes (in the Grothendieck ring of complex quasi-projective varieties) of Hilbert schemes of zero-dimensional subschemes on smooth varieties and on orbifolds in terms of certain local data and the, so called, power structure over the corresponding ring. Here we give an analogue of these formulae for equivariant (with respect to an action of a finite group on a smooth variety) Hilbert schemes of zero-dimensional subschemes and compute some local generating series for an action of the cyclic group on a smooth surface.
△ Less
Submitted 12 May, 2009;
originally announced May 2009.
-
An equivariant version of the monodromy zeta function
Authors:
S. M. Gusein-Zade,
I. Luengo,
A. Melle Hernandez
Abstract:
We offer an equivariant version of the classical monodromy zeta function of a singularity as a series with coefficients from the Grothendieck ring of finite G-sets tensored by the field of rational numbers. Main two ingredients of the definition are equivariant Lefschetz numbers and the lambda-structure on the Grothendieck ring of finite G-sets. We give an A'Campo type formula for the equivarian…
▽ More
We offer an equivariant version of the classical monodromy zeta function of a singularity as a series with coefficients from the Grothendieck ring of finite G-sets tensored by the field of rational numbers. Main two ingredients of the definition are equivariant Lefschetz numbers and the lambda-structure on the Grothendieck ring of finite G-sets. We give an A'Campo type formula for the equivariant zeta function.
△ Less
Submitted 26 March, 2008;
originally announced March 2008.
-
Quasi-ordinary power series and their zeta functions
Authors:
E. Artal Bartolo,
Pi. Cassou-Noguès,
I. Luengo,
A. Melle Hernández
Abstract:
The main objective of this paper is to prove the monodromy conjecture for the local Igusa zeta function of a quasi-ordinary polynomial of arbitrary dimension defined over a number field. In order to do it, we compute the local Denef-Loeser motivic zeta function $Z_{\text{DL}}(h,T)$ of a quasi-ordinary power series $h$ of arbitrary dimension over an algebraically closed field of characteristic ze…
▽ More
The main objective of this paper is to prove the monodromy conjecture for the local Igusa zeta function of a quasi-ordinary polynomial of arbitrary dimension defined over a number field. In order to do it, we compute the local Denef-Loeser motivic zeta function $Z_{\text{DL}}(h,T)$ of a quasi-ordinary power series $h$ of arbitrary dimension over an algebraically closed field of characteristic zero from its characteristic exponents without using embedded resolution of singularities. This allows us to effectively represent $Z_{\text{DL}}(h,T)=P(T)/Q(T)$ such that almost all the candidate poles given by $Q(T)$ are poles. Anyway, these candidate poles give eigenvalues of the monodromy action of the complex of nearby cycles on $h^{-1}(0).$ In particular we prove in this case the monodromy conjecture made by Denef-Loeser for the local motivic zeta function and the local topological zeta function. As a consequence, if $h$ is a quasi-ordinary polynomial defined over a number field we prove the Igusa monodromy conjecture for its local Igusa zeta function.
△ Less
Submitted 17 June, 2003;
originally announced June 2003.
