Showing 1–42 of 42 results for author: Cáceres, M

The sequence of pseudo-equilibria describes the long-time behaviour of the NNLIF model with large delay

Authors: María J. Cáceres, José A. Cañizo, Alejandro Ramos-Lora

Abstract: There is a wide range of mathematical models that describe populations of large numbers of neurons. In this article, we focus on nonlinear noisy leaky integrate and fire (NNLIF) models that describe neuronal activity at the level of the membrane potential of neurons. We introduce a set of novel states, which we call "pseudo-equilibria", and give evidence of their defining role in the behaviour of… ▽ More There is a wide range of mathematical models that describe populations of large numbers of neurons. In this article, we focus on nonlinear noisy leaky integrate and fire (NNLIF) models that describe neuronal activity at the level of the membrane potential of neurons. We introduce a set of novel states, which we call "pseudo-equilibria", and give evidence of their defining role in the behaviour of the NNLIF system when a significant synaptic delay is considered. The advantage is that these states are determined solely by the system's parameters and are derived from a sequence of firing rates that result from solving a recurrence equation. We propose a new strategy to show convergence to an equilibrium for a weakly connected system with large transmission delay, based on following the sequence of pseudo-equilibria. Unlike with the direct entropy dissipation method, this technique allows us to see how a large delay favours convergence. We also present a detailed numerical study to support our results. This study explores the overall behaviour of the NNLIF system and helps us understand, among other phenomena, periodic solutions in strongly inhibitory networks. △ Less

Submitted 3 June, 2024; v1 submitted 1 March, 2024; originally announced March 2024.

Interference Mitigation in LEO Constellations with Limited Radio Environment Information

Authors: Fernando Moya Caceres, Akram Al-Hourani, Saman Atapattu, Michael Aygur, Sithamparanathan Kandeepan, **g Fu, Ke Wang, Wayne S. T. Rowe, Mark Bowyer, Zarko Krusevac, Edward Arbon

Abstract: This research paper delves into interference mitigation within Low Earth Orbit (LEO) satellite constellations, particularly when operating under constraints of limited radio environment information. Leveraging cognitive capabilities facilitated by the Radio Environment Map (REM), we explore strategies to mitigate the impact of both intentional and unintentional interference using planar antenna ar… ▽ More This research paper delves into interference mitigation within Low Earth Orbit (LEO) satellite constellations, particularly when operating under constraints of limited radio environment information. Leveraging cognitive capabilities facilitated by the Radio Environment Map (REM), we explore strategies to mitigate the impact of both intentional and unintentional interference using planar antenna array (PAA) beamforming techniques. We address the complexities encountered in the design of beamforming weights, a challenge exacerbated by the array size and the increasing number of directions of interest and avoidance. Furthermore, we conduct an extensive analysis of beamforming performance from various perspectives associated with limited REM information: static versus dynamic, partial versus full, and perfect versus imperfect. To substantiate our findings, we provide simulation results and offer conclusions based on the outcomes of our investigation. △ Less

Submitted 19 February, 2024; originally announced February 2024.

Comments: 6 pages, 12 figures, IEEE ICC 2024

On the asymptotic behavior of the NNLIF neuron model for general connectivity strength

Authors: María J. Cáceres, José A. Cañizo, Alejandro Ramos-Lora

Abstract: We prove new results on the asymptotic behavior of the nonlinear integrate-and-fire neuron model. Among them, we give a criterion for the linearized stability or instability of equilibria, without restriction on the connectivity parameter, which provides a proof of stability or instability in some cases. In all cases, this criterion can be checked numerically, allowing us to give a full picture of… ▽ More We prove new results on the asymptotic behavior of the nonlinear integrate-and-fire neuron model. Among them, we give a criterion for the linearized stability or instability of equilibria, without restriction on the connectivity parameter, which provides a proof of stability or instability in some cases. In all cases, this criterion can be checked numerically, allowing us to give a full picture of the stable and unstable equilibria depending on the connectivity parameter and transmission delay. We also give further spectral results on the associated linear equation, and use them to give improved results on the nonlinear stability of equilibria for weak connectivity, and on the link between linearized and nonlinear stability. △ Less

Submitted 24 January, 2024; originally announced January 2024.

Minimum Path Cover: The Power of Parameterization

Authors: Manuel Cáceres, Brendan Mumey, Santeri Toivonen, Alexandru I. Tomescu

Abstract: Computing a minimum path cover (MPC) of a directed acyclic graph (DAG) is a fundamental problem with a myriad of applications, including reachability. Although it is known how to solve the problem by a simple reduction to minimum flow, recent theoretical advances exploit this idea to obtain algorithms parameterized by the number of paths of an MPC, known as the width. These results obtain fast [Mä… ▽ More Computing a minimum path cover (MPC) of a directed acyclic graph (DAG) is a fundamental problem with a myriad of applications, including reachability. Although it is known how to solve the problem by a simple reduction to minimum flow, recent theoretical advances exploit this idea to obtain algorithms parameterized by the number of paths of an MPC, known as the width. These results obtain fast [Mäkinen et al., TALG] and even linear time [Cáceres et al., SODA 2022] algorithms in the small-width regime. In this paper, we present the first publicly available high-performance implementation of state-of-the-art MPC algorithms, including the parameterized approaches. Our experiments on random DAGs show that parameterized algorithms are orders-of-magnitude faster on dense graphs. Additionally, we present new pre-processing heuristics based on transitive edge sparsification. We show that our heuristics improve MPC-solvers by orders-of-magnitude. △ Less

Submitted 17 August, 2023; originally announced August 2023.

Finding Maximal Exact Matches in Graphs

Authors: Nicola Rizzo, Manuel Cáceres, Veli Mäkinen

Abstract: We study the problem of finding maximal exact matches (MEMs) between a query string $Q$ and a labeled graph $G$. MEMs are an important class of seeds, often used in seed-chain-extend type of practical alignment methods because of their strong connections to classical metrics. A principled way to speed up chaining is to limit the number of MEMs by considering only MEMs of length at least $κ$ ($κ$-M… ▽ More We study the problem of finding maximal exact matches (MEMs) between a query string $Q$ and a labeled graph $G$. MEMs are an important class of seeds, often used in seed-chain-extend type of practical alignment methods because of their strong connections to classical metrics. A principled way to speed up chaining is to limit the number of MEMs by considering only MEMs of length at least $κ$ ($κ$-MEMs). However, on arbitrary input graphs, the problem of finding MEMs cannot be solved in truly sub-quadratic time under SETH (Equi et al., ICALP 2019) even on acyclic graphs. In this paper we show an $O(n\cdot L \cdot d^{L-1} + m + M_{κ,L})$-time algorithm finding all $κ$-MEMs between $Q$ and $G$ spanning exactly $L$ nodes in $G$, where $n$ is the total length of node labels, $d$ is the maximum degree of a node in $G$, $m = |Q|$, and $M_{κ,L}$ is the number of output MEMs. We use this algorithm to develop a $κ$-MEM finding solution on indexable Elastic Founder Graphs (Equi et al., Algorithmica 2022) running in time $O(nH^2 + m + M_κ)$, where $H$ is the maximum number of nodes in a block, and $M_κ$ is the total number of $κ$-MEMs. Our results generalize to the analysis of multiple query strings (MEMs between $G$ and any of the strings). Additionally, we provide some preliminary experimental results showing that the number of graph MEMs is an order of magnitude smaller than the number of string MEMs of the corresponding concatenated collection. △ Less

Submitted 3 July, 2023; v1 submitted 16 May, 2023; originally announced May 2023.

Comments: 21 pages, 3 figures. To be published in the proceedings of WABI 2023. This article supersedes part of arXiv:2302.01748

Sorting Finite Automata via Partition Refinement

Authors: Ruben Becker, Manuel Cáceres, Davide Cenzato, Sung-Hwan Kim, Bojana Kodric, Francisco Olivares, Nicola Prezza

Abstract: Wheeler nondeterministic finite automata (WNFAs) were introduced as a generalization of prefix sorting from strings to labeled graphs. WNFAs admit optimal solutions to classic hard problems on labeled graphs and languages. The problem of deciding whether a given NFA is Wheeler is known to be NP-complete. Recently, however, Alanko et al. showed how to side-step this complexity by switching to preor… ▽ More Wheeler nondeterministic finite automata (WNFAs) were introduced as a generalization of prefix sorting from strings to labeled graphs. WNFAs admit optimal solutions to classic hard problems on labeled graphs and languages. The problem of deciding whether a given NFA is Wheeler is known to be NP-complete. Recently, however, Alanko et al. showed how to side-step this complexity by switching to preorders: letting $Q$ be the set of states, $E$ the set of transitions, $|Q|=n$, and $|E|=m$, they provided a $O(mn^2)$-time algorithm computing a totally-ordered partition of the WNFA's states such that (1) equivalent states recognize the same regular language, and (2) the order of non-equivalent states is consistent with any Wheeler order, when one exists. Then, the output is a preorder of the states as useful for pattern matching as standard Wheeler orders. Further research generalized these concepts to arbitrary NFAs by introducing co-lex partial preorders: any NFA admits a partial preorder of its states reflecting the co-lex order of their accepted strings; the smaller the width of such preorder is, the faster regular expression matching queries can be performed. To date, the fastest algorithm for computing the smallest-width partial preorder on NFAs runs in $O(m^2+n^{5/2})$ time, while on DFAs the same can be done in $O(\min(n^2\log n,mn))$ time. In this paper, we provide much more efficient solutions to the problem above. Our results are achieved by extending a classic algorithm for the relational coarsest partition refinement problem to work with ordered partitions. Specifically, we provide a $O(m\log n)$-time algorithm computing a co-lex total preorder when the input is a WNFA, and an algorithm with the same time complexity computing the smallest-width co-lex partial order of any DFA. Also, we present implementations of our algorithms and show that they are very efficient in practice. △ Less

Submitted 18 December, 2023; v1 submitted 8 May, 2023; originally announced May 2023.

Minimum Chain Cover in Almost Linear Time

Authors: Manuel Caceres

Abstract: A minimum chain cover (MCC) of a $k$-width directed acyclic graph (DAG) $G = (V, E)$ is a set of $k$ chains (paths in the transitive closure) of $G$ such that every vertex appears in at least one chain in the cover. The state-of-the-art solutions for MCC run in time $\tilde{O}(k(|V|+|E|))$ [Mäkinen et at., TALG], $O(T_{MF}(|E|) + k|V|)$, $O(k^2|V| + |E|)$ [Cáceres et al., SODA 2022],… ▽ More A minimum chain cover (MCC) of a $k$-width directed acyclic graph (DAG) $G = (V, E)$ is a set of $k$ chains (paths in the transitive closure) of $G$ such that every vertex appears in at least one chain in the cover. The state-of-the-art solutions for MCC run in time $\tilde{O}(k(|V|+|E|))$ [Mäkinen et at., TALG], $O(T_{MF}(|E|) + k|V|)$, $O(k^2|V| + |E|)$ [Cáceres et al., SODA 2022], $\tilde{O}(|V|^{3/2} + |E|)$ [Kogan and Parter, ICALP 2022] and $\tilde{O}(T_{MCF}(|E|) + \sqrt{k}|V|)$ [Kogan and Parter, SODA 2023], where $T_{MF}(|E|)$ and $T_{MCF}(|E|)$ are the running times for solving maximum flow (MF) and minimum-cost flow (MCF), respectively. In this work we present an algorithm running in time $O(T_{MF}(|E|) + (|V|+|E|)\log{k})$. By considering the recent result for solving MF [Chen et al., FOCS 2022] our algorithm is the first running in almost linear time. Moreover, our techniques are deterministic and derive a deterministic near-linear time algorithm for MCC if the same is provided for MF. At the core of our solution we use a modified version of the mergeable dictionaries [Farach and Thorup, Algorithmica], [Iacono and Özkan, ICALP 2010] data structure boosted with the SIZE-SPLIT operation and answering queries in amortized logarithmic time, which can be of independent interest. △ Less

Submitted 3 May, 2023; originally announced May 2023.

Online estimation methods for irregular autoregressive models

Authors: Felipe Elorrieta, Lucas Osses, Matias Cáceres, Susana Eyheramendy, Wilfredo Palma

Abstract: In the last decades, due to the huge technological growth observed, it has become increasingly common that a collection of temporal data rapidly accumulates in vast amounts. This provides an opportunity for extracting valuable information through the estimation of increasingly precise models. But at the same time it imposes the challenge of continuously updating the models as new data become avail… ▽ More In the last decades, due to the huge technological growth observed, it has become increasingly common that a collection of temporal data rapidly accumulates in vast amounts. This provides an opportunity for extracting valuable information through the estimation of increasingly precise models. But at the same time it imposes the challenge of continuously updating the models as new data become available. Currently available methods for addressing this problem, the so-called online learning methods, use current parameter estimations and novel data to update the estimators. These approaches avoid using the full raw data and speeding up the computations. In this work we consider three online learning algorithms for parameters estimation in the context of time series models. In particular, the methods implemented are: gradient descent, Newton-step and Kalman filter recursions. These algorithms are applied to the recently developed irregularly observed autoregressive (iAR) model. The estimation accuracy of the proposed methods is assessed by means of Monte Carlo experiments. The results obtained show that the proposed online estimation methods allow for a precise estimation of the parameters that generate the data both for the regularly and irregularly observed time series. These online approaches are numerically efficient, allowing substantial computational time savings. Moreover, we show that the proposed methods are able to adapt the parameter estimates quickly when the time series behavior changes, unlike batch estimation methods. △ Less

Submitted 31 January, 2023; originally announced February 2023.

Comments: Accepted paper to Contributions to Statistics, Springer (ITISE 2022). 16 pages, 5 figures, 2 tables

Chaining of Maximal Exact Matches in Graphs

Authors: Nicola Rizzo, Manuel Cáceres, Veli Mäkinen

Abstract: We show how to chain maximal exact matches (MEMs) between a query string $Q$ and a labeled directed acyclic graph (DAG) $G=(V,E)$ to solve the longest common subsequence (LCS) problem between $Q$ and $G$. We obtain our result via a new symmetric formulation of chaining in DAGs that we solve in $O(m+n+k^2|V| + |E| + kN\log N)$ time, where $m=|Q|$, $n$ is the total length of node labels, $k$ is the… ▽ More We show how to chain maximal exact matches (MEMs) between a query string $Q$ and a labeled directed acyclic graph (DAG) $G=(V,E)$ to solve the longest common subsequence (LCS) problem between $Q$ and $G$. We obtain our result via a new symmetric formulation of chaining in DAGs that we solve in $O(m+n+k^2|V| + |E| + kN\log N)$ time, where $m=|Q|$, $n$ is the total length of node labels, $k$ is the minimum number of paths covering the nodes of $G$ and $N$ is the number of MEMs between $Q$ and node labels, which we show encode full MEMs. △ Less

Submitted 5 July, 2023; v1 submitted 3 February, 2023; originally announced February 2023.

Comments: 17 pages, 2 figures

A Safety Framework for Flow Decomposition Problems via Integer Linear Programming

Authors: Fernando H. C. Dias, Manuel Caceres, Lucia Williams, Brendan Mumey, Alexandru I. Tomescu

Abstract: Many important problems in Bioinformatics (e.g., assembly or multi-assembly) admit multiple solutions, while the final objective is to report only one. A common approach to deal with this uncertainty is finding safe partial solutions (e.g., contigs) which are common to all solutions. Previous research on safety has focused on polynomially-time solvable problems, whereas many successful and natural… ▽ More Many important problems in Bioinformatics (e.g., assembly or multi-assembly) admit multiple solutions, while the final objective is to report only one. A common approach to deal with this uncertainty is finding safe partial solutions (e.g., contigs) which are common to all solutions. Previous research on safety has focused on polynomially-time solvable problems, whereas many successful and natural models are NP-hard to solve, leaving a lack of "safety tools" for such problems. We propose the first method for computing all safe solutions for an NP-hard problem, minimum flow decomposition. We obtain our results by develo** a "safety test" for paths based on a general Integer Linear Programming (ILP) formulation. Moreover, we provide implementations with practical optimizations aimed to reduce the total ILP time, the most efficient of these being based on a recursive group-testing procedure. Results: Experimental results on the transcriptome datasets of Shao and Kingsford (TCBB, 2017) show that all safe paths for minimum flow decompositions correctly recover up to 90% of the full RNA transcripts, which is at least 25% more than previously known safe paths, such as (Caceres et al. TCBB, 2021), (Zheng et al., RECOMB 2021), (Khan et al., RECOMB 2022, ESA 2022). Moreover, despite the NP-hardness of the problem, we can report all safe paths for 99.8% of the over 27,000 non-trivial graphs of this dataset in only 1.5 hours. Our results suggest that, on perfect data, there is less ambiguity than thought in the notoriously hard RNA assembly problem. Availability: https://github.com/algbio/mfd-safety △ Less

Submitted 30 January, 2023; originally announced January 2023.

Parameterized Algorithms for String Matching to DAGs: Funnels and Beyond

Authors: Manuel Caceres

Abstract: The problem of String Matching to Labeled Graphs (SMLG) asks to find all the paths in a labeled graph $G = (V, E)$ whose spellings match that of an input string $S \in Σ^m$. SMLG can be solved in quadratic $O(m|E|)$ time [Amir et al., JALG], which was proven to be optimal by a recent lower bound conditioned on SETH [Equi et al., ICALP 2019]. The lower bound states that no strongly subquadratic tim… ▽ More The problem of String Matching to Labeled Graphs (SMLG) asks to find all the paths in a labeled graph $G = (V, E)$ whose spellings match that of an input string $S \in Σ^m$. SMLG can be solved in quadratic $O(m|E|)$ time [Amir et al., JALG], which was proven to be optimal by a recent lower bound conditioned on SETH [Equi et al., ICALP 2019]. The lower bound states that no strongly subquadratic time algorithm exists, even if restricted to directed acyclic graphs (DAGs). In this work we present the first parameterized algorithms for SMLG in DAGs. Our parameters capture the topological structure of $G$. All our results are derived from a generalization of the Knuth-Morris-Pratt algorithm [Park and Kim, CPM 1995] optimized to work in time proportional to the number of prefix-incomparable matches. To obtain the parameterization in the topological structure of $G$, we first study a special class of DAGs called funnels [Millani et al., JCO] and generalize them to $k$-funnels and the class $ST_k$. We present several novel characterizations and algorithmic contributions on both funnels and their generalizations. △ Less

Submitted 2 February, 2023; v1 submitted 15 December, 2022; originally announced December 2022.

Minimum Path Cover in Parameterized Linear Time

Authors: Manuel Caceres, Massimo Cairo, Brendan Mumey, Romeo Rizzi, Alexandru I. Tomescu

Abstract: A minimum path cover (MPC) of a directed acyclic graph (DAG) $G = (V,E)$ is a minimum-size set of paths that together cover all the vertices of the DAG. Computing an MPC is a basic polynomial problem, dating back to Dilworth's and Fulkerson's results in the 1950s. Since the size $k$ of an MPC (also known as the width) can be small in practical applications, research has also studied algorithms who… ▽ More A minimum path cover (MPC) of a directed acyclic graph (DAG) $G = (V,E)$ is a minimum-size set of paths that together cover all the vertices of the DAG. Computing an MPC is a basic polynomial problem, dating back to Dilworth's and Fulkerson's results in the 1950s. Since the size $k$ of an MPC (also known as the width) can be small in practical applications, research has also studied algorithms whose running time is parameterized on $k$. We obtain a new MPC parameterized algorithm for DAGs running in time $O(k^2|V| + |E|)$. Our algorithm is the first solving the problem in parameterized linear time. Additionally, we obtain an edge sparsification algorithm preserving the width of a DAG but reducing $|E|$ to less than $2|V|$. This algorithm runs in time $O(k^2|V|)$ and requires an MPC of a DAG as input, thus its total running time is the same as the running time of our MPC algorithm. △ Less

Submitted 17 November, 2022; originally announced November 2022.

Comments: arXiv admin note: substantial text overlap with arXiv:2107.05717

Width Helps and Hinders Splitting Flows

Authors: Manuel Cáceres, Massimo Cairo, Andreas Grigorjew, Shahbaz Khan, Brendan Mumey, Romeo Rizzi, Alexandru I. Tomescu, Lucia Williams

Abstract: Minimum flow decomposition (MFD) is the NP-hard problem of finding a smallest decomposition of a network flow/circulation $X$ on a directed graph $G$ into weighted source-to-sink paths whose superposition equals $X$. We show that, for acyclic graphs, considering the \emph{width} of the graph (the minimum number of paths needed to cover all of its edges) yields advances in our understanding of its… ▽ More Minimum flow decomposition (MFD) is the NP-hard problem of finding a smallest decomposition of a network flow/circulation $X$ on a directed graph $G$ into weighted source-to-sink paths whose superposition equals $X$. We show that, for acyclic graphs, considering the \emph{width} of the graph (the minimum number of paths needed to cover all of its edges) yields advances in our understanding of its approximability. For the version of the problem that uses only non-negative weights, we identify and characterise a new class of \emph{width-stable} graphs, for which a popular heuristic is a \gwsimple-approximation ($|X|$ being the total flow of $X$), and strengthen its worst-case approximation ratio from $Ω(\sqrt{m})$ to $Ω(m / \log m)$ for sparse graphs, where $m$ is the number of edges in the graph. We also study a new problem on graphs with cycles, Minimum Cost Circulation Decomposition (MCCD), and show that it generalises MFD through a simple reduction. For the version allowing also negative weights, we give a $(\lceil \log \Vert X \Vert \rceil +1)$-approximation ($\Vert X \Vert$ being the maximum absolute value of $X$ on any edge) using a power-of-two approach, combined with parity fixing arguments and a decomposition of unitary circulations ($\Vert X \Vert \leq 1$), using a generalised notion of width for this problem. Finally, we disprove a conjecture about the linear independence of minimum (non-negative) flow decompositions posed by Kloster et al. [ALENEX 2018], but show that its useful implication (polynomial-time assignments of weights to a given set of paths to decompose a flow) holds for the negative version. △ Less

Submitted 9 May, 2023; v1 submitted 5 July, 2022; originally announced July 2022.

Comments: A preliminary version was submitted to ESA 2022

Safety and Completeness in Flow Decompositions for RNA Assembly

Authors: Shahbaz Khan, Milla Kortelainen, Manuel Cáceres, Lucia Williams, Alexandru I. Tomescu

Abstract: Decomposing a network flow into weighted paths has numerous applications. Some applications require any decomposition that is optimal w.r.t. some property such as number of paths, robustness, or length. Many bioinformatic applications require a specific decomposition where the paths correspond to some underlying data that generated the flow. For real inputs, no optimization criteria guarantees to… ▽ More Decomposing a network flow into weighted paths has numerous applications. Some applications require any decomposition that is optimal w.r.t. some property such as number of paths, robustness, or length. Many bioinformatic applications require a specific decomposition where the paths correspond to some underlying data that generated the flow. For real inputs, no optimization criteria guarantees to uniquely identify the correct decomposition. Therefore, we propose to report safe paths, i.e., subpaths of at least one path in every flow decomposition. Ma, Zheng, and Kingsford [WABI 2020] addressed the existence of multiple optimal solutions in a probabilistic framework, i.e., non-identifiability. Later [RECOMB 2021], they gave a quadratic-time algorithm based on a global criterion for solving a problem called AND-Quant, which generalizes the problem of reporting whether a given path is safe. We give the first local characterization of safe paths for flow decompositions in directed acyclic graphs (DAGs), leading to a practical algorithm for finding the complete set of safe paths. We evaluated our algorithms against the trivial safe algorithms (unitigs, extended unitigs) and the popularly used heuristic (greedy-width) for flow decomposition on RNA transcripts datasets. Despite maintaining perfect precision our algorithm reports significantly higher coverage ($\approx 50\%$ more) than trivial safe algorithms. The greedy-width algorithm though reporting a better coverage, has significantly lower precision on complex graphs. Overall, our algorithm outperforms (by $\approx 20\%$) greedy-width on a unified metric (F-Score) when the dataset has significant number of complex graphs. Moreover, it has superior time ($3-5\times$) and space efficiency ($1.2-2.2\times$), resulting in a better and more practical approach for bioinformatics applications of flow decomposition. △ Less

Submitted 25 January, 2022; originally announced January 2022.

Comments: RECOMB 2022. arXiv admin note: text overlap with arXiv:2102.06480

Sparsifying, Shrinking and Splicing for Minimum Path Cover in Parameterized Linear Time

Authors: Manuel Cáceres, Massimo Cairo, Brendan Mumey, Romeo Rizzi, Alexandru I. Tomescu

Abstract: A minimum path cover (MPC) of a directed acyclic graph (DAG) $G = (V,E)$ is a minimum-size set of paths that together cover all the vertices of the DAG. Computing an MPC is a basic polynomial problem, dating back to Dilworth's and Fulkerson's results in the 1950s. Since the size $k$ of an MPC (also known as the width) can be small in practical applications, research has also studied algorithms who… ▽ More A minimum path cover (MPC) of a directed acyclic graph (DAG) $G = (V,E)$ is a minimum-size set of paths that together cover all the vertices of the DAG. Computing an MPC is a basic polynomial problem, dating back to Dilworth's and Fulkerson's results in the 1950s. Since the size $k$ of an MPC (also known as the width) can be small in practical applications, research has also studied algorithms whose complexity is parameterized on $k$. We obtain two new MPC parameterized algorithms for DAGs running in time $O(k^2|V|\log{|V|} + |E|)$ and $O(k^3|V| + |E|)$. We also obtain a parallel algorithm running in $O(k^2|V| + |E|)$ parallel steps and using $O(\log{|V|})$ processors (in the PRAM model). Our latter two algorithms are the first solving the problem in parameterized linear time. Finally, we present an algorithm running in time $O(k^2|V|)$ for transforming any MPC to another MPC using less than $2|V|$ distinct edges, which we prove to be asymptotically tight. As such, we also obtain edge sparsification algorithms preserving the width of the DAG with the same running time as our MPC algorithms. At the core of all our algorithms we interleave the usage of three techniques: transitive sparsification, shrinking of a path cover, and the splicing of a set of paths along a given path. △ Less

Submitted 12 July, 2021; originally announced July 2021.

An elapsed time model for strongly coupled inhibitory and excitatory neural networks

Authors: Maria Caceres, Benoît Perthame, Delphine Salort, Nicolas Torres

Abstract: The elapsed time model has been widely studied in the context of mathematical neuroscience with many open questions left. The model consists of an age-structured equation that describes the dynamics of interacting neurons structured by the elapsed time since their last discharge. Our interest lies in highly connected networks leading to strong nonlinearities where perturbation methods do not apply… ▽ More The elapsed time model has been widely studied in the context of mathematical neuroscience with many open questions left. The model consists of an age-structured equation that describes the dynamics of interacting neurons structured by the elapsed time since their last discharge. Our interest lies in highly connected networks leading to strong nonlinearities where perturbation methods do not apply. To deal with this problem, we choose a particular case which can be reduced to delay equations. We prove a general convergence result to a stationary state in the inhibitory and the weakly excitatory cases. Moreover, we prove the existence of particular periodic solutions with jump discontinuities in the strongly excitatory case. Finally, we present some numerical simulations which ilustrate various behaviors, which are consistent with the theoretical results. △ Less

Submitted 19 March, 2021; originally announced March 2021.

An understanding of the physical solutions and the blow-up phenomenon for Nonlinear Noisy Leaky Integrate and Fire neuronal models

Authors: María J. Cáceres, Alejandro Ramos-Lora

Abstract: The Nonlinear Noisy Leaky Integrate and Fire neuronal models are mathematical models that describe the activity of neural networks. These models have been studied at a microscopic level, using Stochastic Differential Equations, and at a mesoscopic/macroscopic level, through the mean field limits using Fokker-Planck type equations. The aim of this paper is to improve their understanding, using a nu… ▽ More The Nonlinear Noisy Leaky Integrate and Fire neuronal models are mathematical models that describe the activity of neural networks. These models have been studied at a microscopic level, using Stochastic Differential Equations, and at a mesoscopic/macroscopic level, through the mean field limits using Fokker-Planck type equations. The aim of this paper is to improve their understanding, using a numerical study of their particle systems. We analyse in depth the behaviour of the classical and physical solutions of the Stochastic Differential Equations and, we compare it with what is already known about the Fokker-Planck equation. This allows us to better understand what happens in the neural network when an explosion occurs in finite time. After firing all neurons at the same time, if the system is weakly connected, the neural network converges towards its unique steady state. Otherwise, its behaviour is more complex, because it can tend towards a stationary state or a "plateau" distribution. △ Less

Submitted 27 October, 2020; originally announced November 2020.

Identification of Tree Species in Japanese Forests based on Aerial Photography and Deep Learning

Authors: Sarah Kentsch, Savvas Karatsiolis, Andreas Kamilaris, Luca Tomhave, Maximo Larry Lopez Caceres

Abstract: Natural forests are complex ecosystems whose tree species distribution and their ecosystem functions are still not well understood. Sustainable management of these forests is of high importance because of their significant role in climate regulation, biodiversity, soil erosion and disaster prevention among many other ecosystem services they provide. In Japan particularly, natural forests are mainl… ▽ More Natural forests are complex ecosystems whose tree species distribution and their ecosystem functions are still not well understood. Sustainable management of these forests is of high importance because of their significant role in climate regulation, biodiversity, soil erosion and disaster prevention among many other ecosystem services they provide. In Japan particularly, natural forests are mainly located in steep mountains, hence the use of aerial imagery in combination with computer vision are important modern tools that can be applied to forest research. Thus, this study constitutes a preliminary research in this field, aiming at classifying tree species in Japanese mixed forests using UAV images and deep learning in two different mixed forest types: a black pine (Pinus thunbergii)-black locust (Robinia pseudoacacia) and a larch (Larix kaempferi)-oak (Quercus mongolica) mixed forest. Our results indicate that it is possible to identify black locust trees with 62.6 % True Positives (TP) and 98.1% True Negatives (TN), while lower precision was reached for larch trees (37.4% TP and 97.7% TN). △ Less

Submitted 17 July, 2020; originally announced July 2020.

Comments: Proc. of EnviroInfo 2020, Nicosia, Cyprus, September 2020

A linear-time parameterized algorithm for computing the width of a DAG

Authors: Manuel Cáceres, Massimo Cairo, Brendan Mumey, Romeo Rizzi, Alexandru I. Tomescu

Abstract: The width $k$ of a directed acyclic graph (DAG) $G = (V, E)$ equals the largest number of pairwise non-reachable vertices. Computing the width dates back to Dilworth's and Fulkerson's results in the 1950s, and is doable in quadratic time in the worst case. Since $k$ can be small in practical applications, research has also studied algorithms whose complexity is parameterized on $k$. Despite these… ▽ More The width $k$ of a directed acyclic graph (DAG) $G = (V, E)$ equals the largest number of pairwise non-reachable vertices. Computing the width dates back to Dilworth's and Fulkerson's results in the 1950s, and is doable in quadratic time in the worst case. Since $k$ can be small in practical applications, research has also studied algorithms whose complexity is parameterized on $k$. Despite these efforts, it is still open whether there exists a linear-time $O(f(k)(|V| + |E|))$ parameterized algorithm computing the width. We answer this question affirmatively by presenting an $O(k^24^k|V| + k2^k|E|)$ time algorithm, based on a new notion of frontier antichains. As we process the vertices in a topological order, all frontier antichains can be maintained with the help of several combinatorial properties, paying only $f(k)$ along the way. The fact that the width can be computed by a single $f(k)$-sweep of the DAG is a new surprising insight into this classical problem. Our algorithm also allows deciding whether the DAG has width at most $w$ in time $O(f(\min(w,k))(|V|+|E|))$. △ Less

Submitted 24 June, 2021; v1 submitted 15 July, 2020; originally announced July 2020.

Fast Indexes for Gapped Pattern Matching

Authors: Manuel Cáceres, Simon J. Puglisi, Bella Zhukova

Abstract: We describe indexes for searching large data sets for variable-length-gapped (VLG) patterns. VLG patterns are composed of two or more subpatterns, between each adjacent pair of which is a gap-constraint specifying upper and lower bounds on the distance allowed between subpatterns. VLG patterns have numerous applications in computational biology (motif search), information retrieval (e.g., for lang… ▽ More We describe indexes for searching large data sets for variable-length-gapped (VLG) patterns. VLG patterns are composed of two or more subpatterns, between each adjacent pair of which is a gap-constraint specifying upper and lower bounds on the distance allowed between subpatterns. VLG patterns have numerous applications in computational biology (motif search), information retrieval (e.g., for language models, snippet generation, machine translation) and capture a useful subclass of the regular expressions commonly used in practice for searching source code. Our best approach provides search speeds several times faster than prior art across a broad range of patterns and texts. △ Less

Submitted 28 February, 2020; originally announced February 2020.

Comments: This research is supported by Academy of Finland through grant 319454 and has received funding from the European Union's Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie Actions H2020-MSCA-RISE-2015 BIRDS GA No. 690941

Journal ref: SOFSEM 2020: Theory and Practice of Computer Science

Faster Repetition-Aware Compressed Suffix Trees based on Block Trees

Authors: Manuel Cáceres, Gonzalo Navarro

Abstract: Suffix trees are a fundamental data structure in stringology, but their space usage, though linear, is an important problem for its applications. We design and implement a new compressed suffix tree targeted to highly repetitive texts, such as large genomic collections of the same species. Our suffix tree tree builds on Block Trees, a recent Lempel-Ziv-bounded data structure that captures the repe… ▽ More Suffix trees are a fundamental data structure in stringology, but their space usage, though linear, is an important problem for its applications. We design and implement a new compressed suffix tree targeted to highly repetitive texts, such as large genomic collections of the same species. Our suffix tree tree builds on Block Trees, a recent Lempel-Ziv-bounded data structure that captures the repetitiveness of its input. We use Block Trees to compress the topology of the suffix tree, and augment the Block Tree nodes with data that speeds up suffix tree navigation. Our compressed suffix tree is slightly larger than previous repetition-aware suffix trees based on grammars, but outperforms them in time, often by orders of magnitude. The component that represents the tree topology achieves a speed comparable to that of general-purpose compressed trees, while using 2.3--10 times less space, and might be of interest in other scenarios. △ Less

Submitted 8 February, 2019; originally announced February 2019.

ACM Class: E.1; E.4; H.3

The Archive and Package (arcp) URI scheme

Authors: Stian Soiland-Reyes, Marcos Cáceres

Abstract: The arcp URI scheme is introduced for location-independent identifiers to consume or reference hypermedia and linked data resources bundled inside a file archive, as well as to resolve archived resources within programmatic frameworks for Research Objects. The Research Object for this article is available at http://s11.no/2018/arcp.html#ro The arcp URI scheme is introduced for location-independent identifiers to consume or reference hypermedia and linked data resources bundled inside a file archive, as well as to resolve archived resources within programmatic frameworks for Research Objects. The Research Object for this article is available at http://s11.no/2018/arcp.html#ro △ Less

Submitted 18 September, 2018; originally announced September 2018.

Comments: Accepted for Workshop on Research Objects (RO2018); to appear in 2018 IEEE 14th International Conference on e-Science (e-Science)

Journal ref: 2018 IEEE 14th International Conference on e-Science (e-Science)

Global-in-time classical solutions and qualitative properties for the NNLIF neuron model with synaptic delay

Authors: María J. Cáceres, Pierre Roux, Delphine Salort, Ricarda Schneider

Abstract: The Nonlinear Noisy Leaky Integrate and Fire (NNLIF) model is widely used to describe the dynamics of neural networks after a diffusive approximation of the mean-field limit of a stochastic differential equation system. When the total activity of the network has an instantaneous effect on the network, in the average-excitatory case, a blow-up phenomenon occurs. This article is devoted to the theor… ▽ More The Nonlinear Noisy Leaky Integrate and Fire (NNLIF) model is widely used to describe the dynamics of neural networks after a diffusive approximation of the mean-field limit of a stochastic differential equation system. When the total activity of the network has an instantaneous effect on the network, in the average-excitatory case, a blow-up phenomenon occurs. This article is devoted to the theoretical study of the NNLIF model in the case where a delay in the effect of the total activity on the neurons is added. We first prove global-in-time existence and uniqueness of classical solutions, independently of the sign of the connectivity parameter, that is, for both cases: excitatory and inhibitory. Secondly, we prove some qualitative properties of solutions: asymptotic convergence to the stationary state for weak interconnections and a non-existence result for periodic solutions if the connectivity parameter is large enough. The proofs are mainly based on an appropriate change of variables to rewrite the NNLIF equation as a Stefan-like free boundary problem, constructions of universal super-solutions, the entropy dissipation method and Poincaré's inequality. △ Less

Submitted 4 June, 2018; originally announced June 2018.

First passage time for superstatistical Fokker-Planck models

Authors: Adrián A. Budini, Manuel O. Cáceres

Abstract: The first passage time (FPT) problem is studied for superstatistical models assuming that the mesoscopic system dynamics is described by a Fokker-Planck equation. We show that all moments of the random intensive parameter associated to the superstatistical approach can be put in one-to-one correspondence with the moments of the FPT. For systems subjected to an additional uncorrelated external forc… ▽ More The first passage time (FPT) problem is studied for superstatistical models assuming that the mesoscopic system dynamics is described by a Fokker-Planck equation. We show that all moments of the random intensive parameter associated to the superstatistical approach can be put in one-to-one correspondence with the moments of the FPT. For systems subjected to an additional uncorrelated external force, the same statistical information is obtained from the dependence of the FPT-moments on the external force. These results provide an alternative technique for checking the validity of superstatistical models. As an example, we characterize the mean FPT for a forced Brownian particle. △ Less

Submitted 13 December, 2017; originally announced December 2017.

Comments: 9 pages, 1 figure

Journal ref: Phys. Rev. E 97, 012137 (2018)

Bath-induced correlations in an infinite-dimensional Hilbert space

Authors: Marco Nizama, Manuel O. Cáceres

Abstract: Quantum correlations between two free spinless dissipative distinguishable particles (interacting with a thermal bath) are studied analytically using the quantum master equation and tools of quantum information. Bath-induced coherence and correlations in an infinite-dimensional Hilbert space are shown. We show that for temperature T > 0 the time-evolution of the reduced density matrix cannot be wr… ▽ More Quantum correlations between two free spinless dissipative distinguishable particles (interacting with a thermal bath) are studied analytically using the quantum master equation and tools of quantum information. Bath-induced coherence and correlations in an infinite-dimensional Hilbert space are shown. We show that for temperature T > 0 the time-evolution of the reduced density matrix cannot be written as the direct product of two independent particles. We have found a time-scale that characterizes the time when the bath-induced coherence is maximum before being wiped out by dissipation (purity, relative entropy, spatial dispersion, and mirror correlations are studied). The Wigner function associated to the Wannier lattice (where the dissipative quantum walks move) is studied as an indirect measure of the induced correlations among particles. We have supported the quantum character of the correlations by analyzing the geometric quantum discord. △ Less

Submitted 15 September, 2017; originally announced November 2017.

Comments: 13 pages, 5 figures. arXiv admin note: substantial text overlap with arXiv:1512.08700

Journal ref: Eur. Phys. J. B, 90, 164 (2017)

Towards a realistic NNLIF model: Analysis and numerical solver for excitatory-inhibitory networks with delay and refractory periods

Authors: María J. Cáceres, Ricarda Schneider

Abstract: The Network of Noisy Leaky Integrate and Fire (NNLIF) model describes the behavior of a neural network at mesoscopic level. It is one of the simplest self-contained mean-field models considered for that purpose. Even so, to study the mathematical properties of the model some simplifications were necessary Cáceres-Carrillo-Perthame(2011), Cáceres-Perthame(2014), Cáceres-Schneider(2017), which disre… ▽ More The Network of Noisy Leaky Integrate and Fire (NNLIF) model describes the behavior of a neural network at mesoscopic level. It is one of the simplest self-contained mean-field models considered for that purpose. Even so, to study the mathematical properties of the model some simplifications were necessary Cáceres-Carrillo-Perthame(2011), Cáceres-Perthame(2014), Cáceres-Schneider(2017), which disregard crucial phenomena. In this work we deal with the general NNLIF model without simplifications. It involves a network with two populations (excitatory and inhibitory), with transmission delays between the neurons and where the neurons remain in a refractory state for a certain time. We have studied the number of steady states in terms of the model parameters, the long time behaviour via the entropy method and Poincaré's inequality, blow-up phenomena, and the importance of transmission delays between excitatory neurons to prevent blow-up and to give rise to synchronous solutions. Besides analytical results, we have presented a numerical resolutor for this model, based on high order flux-splitting WENO schemes and an explicit third order TVD Runge-Kutta method, in order to describe the wide range of phenomena exhibited by the network: blow-up, asynchronous/synchronous solutions and instability/stability of the steady states; the solver also allows us to observe the time evolution of the firing rates, refractory states and the probability distributions of the excitatory and inhibitory populations. △ Less

Submitted 14 June, 2017; v1 submitted 5 May, 2017; originally announced May 2017.

Close-to-equilibrium behaviour of quadratic reaction-diffusion systems with detailed balance

Authors: María J. Cáceres, José A. Cañizo

Abstract: We study general quadratic reaction-diffusion systems with detailed balance, in space dimension $d \leq 4$. We show that close-to-equilibrium solutions (in an $L^2$ sense) are regular for all times, and that they relax to equilibrium exponentially in a strong sense. That is: all detailed balance equilibria are exponentially asymptotically stable in all $L^p$ norms, at least in dimension… ▽ More We study general quadratic reaction-diffusion systems with detailed balance, in space dimension $d \leq 4$. We show that close-to-equilibrium solutions (in an $L^2$ sense) are regular for all times, and that they relax to equilibrium exponentially in a strong sense. That is: all detailed balance equilibria are exponentially asymptotically stable in all $L^p$ norms, at least in dimension $d \leq 4$. The results are given in detail for the four-species reaction-diffusion system, where the involved constants can be estimated explicitly. The main novelty is the regularity result and exponential relaxation in $L^p$ norms for $p > 1$, which up to our knowledge is new in dimensions 3 and 4. △ Less

Submitted 25 March, 2017; v1 submitted 12 December, 2016; originally announced December 2016.

Journal ref: Nonlinear Analysis 159:62-84, 2017

Blow-up, steady states and long time behaviour of excitatory-inhibitory nonlinear neuron models

Authors: María J. Cáceres, Ricarda Schneider

Abstract: Excitatory and inhibitory nonlinear noisy leaky integrate and fire models are often used to describe neural networks. Recently, new mathematical results have provided a better understanding of them. It has been proved that a fully excitatory network can blow-up in finite time, while a fully inhibitory network has a global in time solution for any initial data. A general description of the steady s… ▽ More Excitatory and inhibitory nonlinear noisy leaky integrate and fire models are often used to describe neural networks. Recently, new mathematical results have provided a better understanding of them. It has been proved that a fully excitatory network can blow-up in finite time, while a fully inhibitory network has a global in time solution for any initial data. A general description of the steady states of a purely excitatory or inhibitory network has been also given. We extend this study to the system composed of an excitatory population and an inhibitory one. We prove that this system can also blow-up in finite time and analyse its steady states and long time behaviour. Besides, we illustrate our analytical description with some numerical results. The main tools used to reach our aims are: the control of an exponential moment for the blow-up results, a more complicate strategy than that considered in Cáceres, Carrillo and Perthame (2011), for studying the number of steady states, entropy methods combined with Poincaré inequalities for the long time behaviour and, finally, high order numerical schemes together with parallel computation techniques in order to obtain our numerical results. △ Less

Submitted 6 September, 2016; v1 submitted 12 February, 2016; originally announced February 2016.

Comments: 22 pages, 24 figures

MSC Class: 35K60; 35Q92; 82C31; 92B20

Quantum correlations and coherence between two particles interacting with a thermal bath

Authors: Marco Nizama, Manuel O. Cáceres

Abstract: Quantum correlations and coherence generated between two free spinless particles in the lattice, interacting with a common quantum phonon bath, are studied. The reduced density matrix is solved using the Markov approach. We show that the bath induces correlations between the particles. The coherence induced by the bath is studied, calculating off-diagonal elements of the density matrix, spatiotemp… ▽ More Quantum correlations and coherence generated between two free spinless particles in the lattice, interacting with a common quantum phonon bath, are studied. The reduced density matrix is solved using the Markov approach. We show that the bath induces correlations between the particles. The coherence induced by the bath is studied, calculating off-diagonal elements of the density matrix, spatiotemporal dispersion, purity and quantum mutual information. We find a characteristic time-scale pointing out when this coherence is maximum. In addition, a Wigner-like distribution in the phase-space (lattice) is introduced as an indirect indicator of the quantumness of total correlations and coherence induced by the thermal bath. The negative volume of the Wigner function also shows a behavior which is in agreement with the time-scale that we have found. A Gaussian distribution for the profile of particles is not obtained, and interference patterns are observed as the result of bath-induced coherence. As the temperature of the bath vanishes, the ballistic behavior of the tight-binding model is recovered. The geometric quantum discord is calculated, to characterize the nature of the correlations. △ Less

Submitted 9 May, 2017; v1 submitted 29 December, 2015; originally announced December 2015.

Comments: 30 pages, 10 figures

Journal ref: J. Phys. A: Math. Theor. 50, 215208 (2017)

Microscopic approach of a time elapsed neural model

Authors: Julien Chevallier, Maria J. Caceres, Marie Doumic, Patricia Reynaud-Bouret

Abstract: The spike trains are the main components of the information processing in the brain. To model spike trains several point processes have been investigated in the literature. And more macroscopic approaches have also been studied, using partial differential equation models. The main aim of the present article is to build a bridge between several point processes models (Poisson, Wold, Hawkes) that ha… ▽ More The spike trains are the main components of the information processing in the brain. To model spike trains several point processes have been investigated in the literature. And more macroscopic approaches have also been studied, using partial differential equation models. The main aim of the present article is to build a bridge between several point processes models (Poisson, Wold, Hawkes) that have been proved to statistically fit real spike trains data and age-structured partial differential equations as introduced by Pakdaman, Perthame and Salort. △ Less

Submitted 8 June, 2015; originally announced June 2015.

Non-equilibrium transition from dissipative quantum walk to classical random walk

Authors: Marco Nizama, Manuel O. Cáceres

Abstract: We have investigated the time-evolution of a free particle in interaction with a phonon thermal bath, using the tight-binding approach. A dissipative quantum walk can be defined and many important non-equilibrium decoherence properties can be investigated analytically. The non-equilibrium statistics of a pure initial state have been studied. Our theoretical results indicate that the evolving wave-… ▽ More We have investigated the time-evolution of a free particle in interaction with a phonon thermal bath, using the tight-binding approach. A dissipative quantum walk can be defined and many important non-equilibrium decoherence properties can be investigated analytically. The non-equilibrium statistics of a pure initial state have been studied. Our theoretical results indicate that the evolving wave-packet shows the suppression of Anderson's boundaries (ballistic peaks) by the presence of dissipation. Many important relaxation properties can be studied quantitatively, such as von Neumann's entropy and quantum purity. In addition, we have studied Wigner's function. The time-dependent behavior of the quantum entanglement between a free particle -in the lattice- and the phonon bath has been characterized analytically. This result strongly suggests the non-trivial time-dependence of the off-diagonal elements of the reduced density matrix of the system. We have established a connection between the quantum decoherence and the dissipative parameter arising from interaction with the phonon bath. The time-dependent behavior of quantum correlations has also been pointed out, showing continuous transition from quantum random walk to classical random walk, when dissipation increases. △ Less

Submitted 26 June, 2012; originally announced June 2012.

Comments: Submitted for publication. 17 pages, 6 figures

The quantum Levy walk

Authors: Manuel O. Cáceres, Marco Nizama

Abstract: We introduce the quantum Levy walk to study transport and decoherence in a quantum random model. We have derived from second order perturbation theory the quantum master equation for a \textit{Levy-like particle}that moves along a lattice through hop** scale-free while interacting with a thermal bath of oscillators. The general evolution of the quantum Levy particle has been solved for different… ▽ More We introduce the quantum Levy walk to study transport and decoherence in a quantum random model. We have derived from second order perturbation theory the quantum master equation for a \textit{Levy-like particle}that moves along a lattice through hop** scale-free while interacting with a thermal bath of oscillators. The general evolution of the quantum Levy particle has been solved for different preparations of the system. We examine the evolution of the quantum purity, the localized correlation, and the probability to be in a lattice site, all them leading to important conclusions concerning quantum irreversibility and decoherence features. We prove that the quantum thermal mean-square displacement is finite under a constraint that is different when compared to the classical Weierstrass random walk. We prove that when the mean-square displacement is infinite the density of state has a complex null-set inside the Brillouin zone. We show the existence of a critical behavior in the continuous eigenenergy which is related to its non-differentiability and self-affine characteristics. In general our approach allows to study analytically quantum fluctuations and decoherence in a long-range hop** model. △ Less

Submitted 16 December, 2011; originally announced December 2011.

Comments: 26 pages, 6 figures

Journal ref: J. Phys. A: Math. Theor. 43, (2010) 455306

Rate of convergence to self-similarity for the fragmentation equation in L^1 spaces

Authors: María J. Cáceres, José A. Cañizo, Stéphane Mischler

Abstract: In a recent result by the authors (ref. [1]) it was proved that solutions of the self-similar fragmentation equation converge to equilibrium exponentially fast. This was done by showing a spectral gap in weighted $L^2$ spaces of the operator defining the time evolution. In the present work we prove that there is also a spectral gap in weighted $L^1$ spaces, thus extending exponential convergence t… ▽ More In a recent result by the authors (ref. [1]) it was proved that solutions of the self-similar fragmentation equation converge to equilibrium exponentially fast. This was done by showing a spectral gap in weighted $L^2$ spaces of the operator defining the time evolution. In the present work we prove that there is also a spectral gap in weighted $L^1$ spaces, thus extending exponential convergence to a larger set of initial conditions. The main tool is an extension result in ref. [4]. △ Less

Submitted 17 February, 2011; originally announced February 2011.

Journal ref: Communications in Applied and Industrial Mathematics, Vol. 1, No. 2, pp. 299-308 (2011)

Rate of convergence to an asymptotic profile for the self-similar fragmentation and growth-fragmentation equations

Authors: María J. Cáceres, José A. Cañizo, Stéphane Mischler

Abstract: We study the asymptotic behavior of linear evolution equations of the type \partial_t g = Dg + Lg - λg, where L is the fragmentation operator, D is a differential operator, and λ is the largest eigenvalue of the operator Dg + Lg. In the case Dg = -\partial_x g, this equation is a rescaling of the growth-fragmentation equation, a model for cellular growth; in the case Dg = -x \partial_x g, it is kn… ▽ More We study the asymptotic behavior of linear evolution equations of the type \partial_t g = Dg + Lg - λg, where L is the fragmentation operator, D is a differential operator, and λ is the largest eigenvalue of the operator Dg + Lg. In the case Dg = -\partial_x g, this equation is a rescaling of the growth-fragmentation equation, a model for cellular growth; in the case Dg = -x \partial_x g, it is known that λ = 2 and the equation is the self-similar fragmentation equation, closely related to the self-similar behavior of solutions of the fragmentation equation \partial_t f = Lf. By means of entropy-entropy dissipation inequalities, we give general conditions for g to converge exponentially fast to the steady state G of the linear evolution equation, suitably normalized. In both cases mentioned above we show these conditions are met for a wide range of fragmentation coefficients, so the exponential convergence holds. △ Less

Submitted 25 January, 2011; v1 submitted 26 October, 2010; originally announced October 2010.

Journal ref: Journal de Mathémathiques Pures et Appliquées, Vol. 96, No. 4, pp. 334-362 (2011)

Analysis of Nonlinear Noisy Integrate\&Fire Neuron Models: blow-up and steady states

Authors: María J. Cáceres, José A. Carrillo, Benoît Perthame

Abstract: Nonlinear Noisy Leaky Integrate and Fire (NNLIF) models for neurons networks can be written as Fokker-Planck-Kolmogorov equations on the probability density of neurons, the main parameters in the model being the connectivity of the network and the noise. We analyse several aspects of the NNLIF model: the number of steady states, a priori estimates, blow-up issues and convergence toward equilibrium… ▽ More Nonlinear Noisy Leaky Integrate and Fire (NNLIF) models for neurons networks can be written as Fokker-Planck-Kolmogorov equations on the probability density of neurons, the main parameters in the model being the connectivity of the network and the noise. We analyse several aspects of the NNLIF model: the number of steady states, a priori estimates, blow-up issues and convergence toward equilibrium in the linear case. In particular, for excitatory networks, blow-up always occurs for initial data concentrated close to the firing potential. These results show how critical is the balance between noise and excitatory/inhibitory interactions to the connectivity parameter. △ Less

Submitted 22 October, 2010; originally announced October 2010.

MSC Class: 35K60; 82C31; 92B20

Observing the evaporation transition in vibro-fluidized granular matter

Authors: Jorge E. Fiscina, Manuel O. Caceres

Abstract: By shaking a sand box the grains on the top start to jump giving the picture of evaporating a sand bulk, and a gaseous transition starts at the surface granular matter (GM) bed. Moreover the mixture of the grains in the whole bed starts to move in a cooperative way which is far away from a Brownian description. In a previous work we have shown that the key element to describe the statistics of t… ▽ More By shaking a sand box the grains on the top start to jump giving the picture of evaporating a sand bulk, and a gaseous transition starts at the surface granular matter (GM) bed. Moreover the mixture of the grains in the whole bed starts to move in a cooperative way which is far away from a Brownian description. In a previous work we have shown that the key element to describe the statistics of this behavior is the exclusion of volume principle, whereby the system obeys a Fermi configurational approach. Even though the experiment involves an archetypal non-equilibrium system, we succeeded in defining a global temperature, as the quantity associated to the Lagrange parameter in a maximum entropic statistical description. In fact in order to close our approach we had to generalize the equipartition theorem for dissipative systems. Therefore we postulated, found and measured a fundamental dissipative parameter, written in terms of pum** and gravitational energies, linking the configurational entropy to the collective response for the expansion of the centre of mass (c.m.) of the granular bed. Here we present a kinetic approach to describe the experimental velocity distribution function (VDF) of this non-Maxwellian gas of macroscopic Fermi-like particles (mFp). The evaporation transition occurs mainly by jum** balls governed by the excluded volume principle. Surprisingly in the whole range of low temperatures that we measured this description reveals a lattice-gas, leading to a packing factor, which is independent of the external parameters. In addition we measure the mean free path, as a function of the driving frequency, and corroborate our prediction from the present kinetic theory. △ Less

Submitted 5 September, 2006; originally announced September 2006.

Comments: 6 pages, 4 figures, submitted for publication September 1st, 2006

Journal ref: Europhysics Letters (80) 14007-p1 - 14007-p5 (2007)

On the spectrum behavior of vibrated granular matter

Authors: Jorge E. Fiscina, Manuel O. Caceres, Frank Muecklich

Abstract: A laser facility based on a linear image sensor with a sampling period of 100microseconds allows to investigate the dissipative dynamics of a vibrated granular matter under gravity. The laser reveals the vertical movement of an individual Zirconia-Ytria stabilized 2mm ball at the surface of a weakly excited 3D granular matter bed. The stochastic realizations are measured from the top of the cont… ▽ More A laser facility based on a linear image sensor with a sampling period of 100microseconds allows to investigate the dissipative dynamics of a vibrated granular matter under gravity. The laser reveals the vertical movement of an individual Zirconia-Ytria stabilized 2mm ball at the surface of a weakly excited 3D granular matter bed. The stochastic realizations are measured from the top of the container. Then, power spectra measurements reveal the different cooperative dynamics of the fluidized gap. We also carried out measurements for one steel ball and many balls in 1D and 3D systems. We fit the measured different regimes with generalized Langevin pictures. We introduce a fractional temporal operator to characterize the ensemble of dissipative particles which cannot be represented by a single Langevin particle in a complex fluid. △ Less

Submitted 9 March, 2005; originally announced March 2005.

Comments: 4 pages, 3 figures. to be published in spring 2005 by J.of Phys. Cond. Matt

Journal ref: J. Phys.: Condens. Matter (17) S1237-S1243 (2005)

Fermi-like behavior of weakly vibrated granular matter

Authors: J. E. Fiscina, M. O. Caceres

Abstract: Vertical movement of zirconia-yttria stabilized 2 mm balls is measured by a laser facility at the surface of a vibrated 3D granular matter under gravity. Realizations z(t) are measured from the top of the container by tuning the fluidized gap with a 1D measurement window in the direction of the gravity. The statistics obeys a Fermi-like configurational approach which is tested by the relation be… ▽ More Vertical movement of zirconia-yttria stabilized 2 mm balls is measured by a laser facility at the surface of a vibrated 3D granular matter under gravity. Realizations z(t) are measured from the top of the container by tuning the fluidized gap with a 1D measurement window in the direction of the gravity. The statistics obeys a Fermi-like configurational approach which is tested by the relation between the dispersions in amplitude and velocity. We introduce a generalized equipartition law to characterize the ensemble of particles which cannot be described in terms of a Brownian motion. The relation between global granular temperature and the external excitation frequency is established. △ Less

Submitted 10 August, 2005; v1 submitted 15 January, 2005; originally announced January 2005.

Comments: 4 pages Phys. Rev., 3 figures

Journal ref: Phys. Rev. Lett. 95, 108003 (2005)

Functional characterization of generalized Langevin equations

Authors: A. A. Budini, M. O. Caceres

Abstract: We present an exact functional formalism to deal with linear Langevin equations with arbitrary memory kernels and driven by any noise structure characterized through its characteristic functional. No others hypothesis are assumed over the noise, neither the fluctuation dissipation theorem. We found that the characteristic functional of the linear process can be expressed in terms of noise's func… ▽ More We present an exact functional formalism to deal with linear Langevin equations with arbitrary memory kernels and driven by any noise structure characterized through its characteristic functional. No others hypothesis are assumed over the noise, neither the fluctuation dissipation theorem. We found that the characteristic functional of the linear process can be expressed in terms of noise's functional and the Green function of the deterministic (memory-like) dissipative dynamics. This object allow us to get a procedure to calculate all the Kolmogorov hierarchy of the non-Markov process. As examples we have characterized through the 1-time probability a noise-induced interplay between the dissipative dynamics and the structure of different noises. Conditions that lead to non-Gaussian statistics and distributions with long tails are analyzed. The introduction of arbitrary fluctuations in fractional Langevin equations have also been pointed out. △ Less

Submitted 11 February, 2004; originally announced February 2004.

Multifractal spectra of mean first-passage time distributions in disordered chains

Authors: Pedro A. Pury, Manuel O. Caceres

Abstract: The multifractal characterization of the distribution over disorder of the mean first-passage time in a finite chain is revisited. Both, absorbing-absorbing and reflecting-absorbing boundaries are considered. Two models of dichotomic disorder are compared and our analysis clarifies the origin of the multifractality. The phenomenon is only present when the diffusion is anomalous. The multifractal characterization of the distribution over disorder of the mean first-passage time in a finite chain is revisited. Both, absorbing-absorbing and reflecting-absorbing boundaries are considered. Two models of dichotomic disorder are compared and our analysis clarifies the origin of the multifractality. The phenomenon is only present when the diffusion is anomalous. △ Less

Submitted 8 May, 2003; originally announced May 2003.

Comments: 8 pages, 12 figures, RevTeX4

Journal ref: Phys. Rev. E 67, 061106 (2003)

Mean first-passage and residence times of random walks on asymmetric disordered chains

Authors: Pedro A. Pury, Manuel O. Caceres

Abstract: An algebraic derivation is presented which yields the exact solution of the mean first-passage and mean residence times of a one-dimensional asymmetric random walk for quenched disorder. Two models of disorder are analytically treated. Both, absorbing-absorbing and reflecting-absorbing boundaries are considered. Particularly, the interplay between asymmetry and disorder is studied. An algebraic derivation is presented which yields the exact solution of the mean first-passage and mean residence times of a one-dimensional asymmetric random walk for quenched disorder. Two models of disorder are analytically treated. Both, absorbing-absorbing and reflecting-absorbing boundaries are considered. Particularly, the interplay between asymmetry and disorder is studied. △ Less

Submitted 20 February, 2003; originally announced February 2003.

Comments: 13 pages, 2 figures, LaTeX (iopart)

Journal ref: J. Phys. A 36, 2695 (2003)

Survival and residence times in disordered chains with bias

Authors: Pedro A. Pury, Manuel O. Caceres

Abstract: We present a unified framework for first-passage time and residence time of random walks in finite one-dimensional disordered biased systems. The derivation is based on exact expansion of the backward master equation in cumulants. The dependence on initial condition, system size, and bias strength is explicitly studied for models with weak and strong disorder. Application to thermally activated… ▽ More We present a unified framework for first-passage time and residence time of random walks in finite one-dimensional disordered biased systems. The derivation is based on exact expansion of the backward master equation in cumulants. The dependence on initial condition, system size, and bias strength is explicitly studied for models with weak and strong disorder. Application to thermally activated processes is also developed. △ Less

Submitted 27 August, 2002; v1 submitted 27 June, 2002; originally announced June 2002.

Comments: 13 pages with 2 figures, RevTeX4; v2:minor grammatical changes, typos corrected

Journal ref: Phys. Rev. E 66, 021112 (2002)