-
Filamentation near monotone zonal vortex caps
Authors:
Gian Marco Marin,
Emeric Roulley
Abstract:
We study the Euler equations on a rotating unit sphere, focusing on the dynamics of vortex caps. Leveraging the $L^1$-stability of monotone, longitude-independent profiles, we demonstrate that certain ill-prepared initial data within the vortex cap class exhibit an instability characterized by the growth of the interface perimeter. These configurations are nearly equivalent in area to a zonal vort…
▽ More
We study the Euler equations on a rotating unit sphere, focusing on the dynamics of vortex caps. Leveraging the $L^1$-stability of monotone, longitude-independent profiles, we demonstrate that certain ill-prepared initial data within the vortex cap class exhibit an instability characterized by the growth of the interface perimeter. These configurations are nearly equivalent in area to a zonal vortex cap but are perturbed by a localized latitudinal bump. By comparing the longitudinal flows at points along the zonal interface and within the bump region, we track the induced stretching and capture the underlying instability mechanism.
△ Less
Submitted 17 May, 2025;
originally announced May 2025.
-
Limit Theorems for the Symbolic Correlation Integral and the Renyi-2 Entropy under Short-range Dependence
Authors:
Alexander Schnurr,
Angelika Silbernagel,
Manuel Ruiz Marin
Abstract:
The symbolic correlation integral provides a way to measure the complexity of time series and dynamical systems. In the present article we prove limit results for an estimator of this quantity which is based on U-statistics under the assumption of short-range dependence. To this end, we slightly generalize classical limit results in the framework of 1-approximating functionals. Furthermore, we car…
▽ More
The symbolic correlation integral provides a way to measure the complexity of time series and dynamical systems. In the present article we prove limit results for an estimator of this quantity which is based on U-statistics under the assumption of short-range dependence. To this end, we slightly generalize classical limit results in the framework of 1-approximating functionals. Furthermore, we carefully analyze the limit variance. A simulation study with ARMA and ARCH time series as well as a real world data example are also provided. In the latter we show how our method could be used to analyze EEG data in the context of epileptic seizures.
△ Less
Submitted 15 May, 2025; v1 submitted 24 October, 2024;
originally announced October 2024.
-
A structural description of Zykov and Blanche Descartes graphs
Authors:
Malory Marin,
Stéphan Thomassé,
Nicolas Trotignon,
Rémi Watrigant
Abstract:
In 1949, Zykov proposed the first explicit construction of triangle-free graphs with arbitrarily large chromatic number. We define a Zykov graph as any induced subgraph of a graph created using Zykov's construction. We give a structural characterization of Zykov graphs based on a specific type of stable set, that we call splitting stable set. It implies that recognizing this class is NP-complete,…
▽ More
In 1949, Zykov proposed the first explicit construction of triangle-free graphs with arbitrarily large chromatic number. We define a Zykov graph as any induced subgraph of a graph created using Zykov's construction. We give a structural characterization of Zykov graphs based on a specific type of stable set, that we call splitting stable set. It implies that recognizing this class is NP-complete, while being FPT in the treewidth of the input graph. We provide similar results for the Blanche Descartes construction.
△ Less
Submitted 9 October, 2024;
originally announced October 2024.
-
Beyond recognizing well-covered graphs
Authors:
Carl Feghali,
Malory Marin,
Rémi Watrigant
Abstract:
We prove a number of results related to the computational complexity of recognizing well-covered graphs. Let $k$ and $s$ be positive integers and let $G$ be a graph. Then $G$ is said
- $\mathbf{W_k}$ if for any $k$ pairwise disjoint independent vertex sets $A_1, \dots, A_k$ in $G$, there exist $k$ pairwise disjoint maximum independent sets $S_1, \dots,S_k$ in $G$ such that $A_i \subseteq S_i$ fo…
▽ More
We prove a number of results related to the computational complexity of recognizing well-covered graphs. Let $k$ and $s$ be positive integers and let $G$ be a graph. Then $G$ is said
- $\mathbf{W_k}$ if for any $k$ pairwise disjoint independent vertex sets $A_1, \dots, A_k$ in $G$, there exist $k$ pairwise disjoint maximum independent sets $S_1, \dots,S_k$ in $G$ such that $A_i \subseteq S_i$ for $i \in [k]$.
- $\mathbf{E_s}$ if every independent set in $G$ of size at most $s$ is contained in a maximum independent set in $G$.
Chvátal and Slater (1993) and Sankaranarayana and Stewart (1992) famously showed that recognizing $\mathbf{W_1}$ graphs or, equivalently, well-covered graphs is coNP-complete. We extend this result by showing that recognizing $\mathbf{W_{k+1}}$ graphs in either $\mathbf{W_k}$ or $\mathbf{E_s}$ graphs is coNP-complete. This answers a question of Levit and Tankus (2023) and strengthens a theorem of Feghali and Marin (2024). We also show that recognizing $\mathbf{E_{s+1}}$ graphs is $Θ_2^p$-complete even in $\mathbf{E_s}$ graphs, where $Θ_2^p = \text{P}^{\text{NP}[\log]}$ is the class of problems solvable in polynomial time using a logarithmic number of calls to a SAT oracle. This strengthens a theorem of Bergé, Busson, Feghali and Watrigant (2023). We also obtain the complete picture of the complexity of recognizing chordal $\mathbf{W_k}$ and $\mathbf{E_s}$ graphs which, in particular, simplifies and generalizes a result of Dettlaff, Henning and Topp (2023).
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
Analiticity of the Lyapunov exponents of perturbed toral automorphisms
Authors:
Gian Marco Marin,
Federico Bonetto,
Livia Corsi
Abstract:
We consider a dynamical system generated by an analytic perturbation $A_\varepsilon$ of an analytic Anosov diffeomorphism $A_0$ of $\TTT^d$. We show that, if $A_0$ admit a splitting of $\mathrm T\mathds T^d$ in $k$ invariant subspaces, there exists a {\it partial conjugation} $\mathcal H_\e$ of $dA_\e$ and $dA_0$ that preserves the splitting and is analytic in $\e$. This show that the splitting ca…
▽ More
We consider a dynamical system generated by an analytic perturbation $A_\varepsilon$ of an analytic Anosov diffeomorphism $A_0$ of $\TTT^d$. We show that, if $A_0$ admit a splitting of $\mathrm T\mathds T^d$ in $k$ invariant subspaces, there exists a {\it partial conjugation} $\mathcal H_\e$ of $dA_\e$ and $dA_0$ that preserves the splitting and is analytic in $\e$. This show that the splitting can be extended to $A_\e$. As an application of this results, we obtain that the Lyapunov exponents, if non degenerate, are analytic functions of the perturbation.
△ Less
Submitted 18 November, 2024; v1 submitted 9 August, 2023;
originally announced August 2023.
-
Three remarks on $\mathbf{W_2}$ graphs
Authors:
Carl Feghali,
Malory Marin
Abstract:
Let $k \geq 1$. A graph $G$ is $\mathbf{W_k}$ if for any $k$ pairwise disjoint independent vertex subsets $A_1, \dots, A_k$ in $G$, there exist $k$ pairwise disjoint maximum independent sets $S_1, \dots, S_k$ in $G$ such that $A_i \subseteq S_i$ for $i \in [k]$. Recognizing $\mathbf{W_1}$ graphs is co-NP-hard, as shown by Chvátal and Slater (1993) and, independently, by Sankaranarayana and Stewart…
▽ More
Let $k \geq 1$. A graph $G$ is $\mathbf{W_k}$ if for any $k$ pairwise disjoint independent vertex subsets $A_1, \dots, A_k$ in $G$, there exist $k$ pairwise disjoint maximum independent sets $S_1, \dots, S_k$ in $G$ such that $A_i \subseteq S_i$ for $i \in [k]$. Recognizing $\mathbf{W_1}$ graphs is co-NP-hard, as shown by Chvátal and Slater (1993) and, independently, by Sankaranarayana and Stewart (1992). Extending this result and answering a recent question of Levit and Tankus, we show that recognizing $\mathbf{W_k}$ graphs is co-NP-hard for $k \geq 2$. On the positive side, we show that recognizing $\mathbf{W_k}$ graphs is, for each $k\geq 2$, FPT parameterized by clique-width and by tree-width. Finally, we construct graphs $G$ that are not $\mathbf{W_2}$ such that, for every vertex $v$ in $G$ and every maximal independent set $S$ in $G - N[v]$, the largest independent set in $N(v) \setminus S$ consists of a single vertex, thereby refuting a conjecture of Levit and Tankus.
△ Less
Submitted 15 November, 2023; v1 submitted 28 July, 2023;
originally announced July 2023.
-
On the period of Pell-Narayana sequence in some groups
Authors:
Bahar Kuloğlu,
Engin Özkan,
Marin Marin
Abstract:
In this paper, the Pell-Narayana sequence modulo m is studied. The paper outlines the definition of Pell-Narayana numbers and some of their combinatorial links with Eulerian, Catalan and Delannoy numbers and other special functions. From the definition, the Pell-Narayana orbit of a 2-generator group for a generating pair $(x, y) \in G$ is defined, so that the lengths of the period of the Pell-Nara…
▽ More
In this paper, the Pell-Narayana sequence modulo m is studied. The paper outlines the definition of Pell-Narayana numbers and some of their combinatorial links with Eulerian, Catalan and Delannoy numbers and other special functions. From the definition, the Pell-Narayana orbit of a 2-generator group for a generating pair $(x, y) \in G$ is defined, so that the lengths of the period of the Pell-Narayana orbit can be examined. These yield in turn the Pell-Narayana lengths of the polyhedral group and the binary polyhedral group for the generating pair $(x,y)$ and associated properties. Also, the period of the Pell-Narayana orbit of the groups $Q_8$, $Q_8 \times\mathbb{Z}_{2m} $ and $Q_8 \times_φ\mathbb{Z}_{2m} $ for $m \geq 3$ were obtained.
△ Less
Submitted 27 April, 2023;
originally announced May 2023.
-
Interactive Particle Systems on Hypergraphs, Drift Analysis and the WalkSAT algorithm
Authors:
Gabriel Istrate,
Cosmin Bonchis,
Mircea Marin
Abstract:
We analyze the expected running time of WalkSAT, a well-known local search procedure for satisfiability solving, on satisfiable instances of the k-XOR SAT problem. We obtain estimates of this expected running time by reducing the problem to a setting amenable to classical techniques from drift analysis.
A crucial ingredient of this reduction is the definition of (new, explosive) hypergraph versi…
▽ More
We analyze the expected running time of WalkSAT, a well-known local search procedure for satisfiability solving, on satisfiable instances of the k-XOR SAT problem. We obtain estimates of this expected running time by reducing the problem to a setting amenable to classical techniques from drift analysis.
A crucial ingredient of this reduction is the definition of (new, explosive) hypergraph versions of interacting particle systems, notably of coalescing and annihilating random walks as well as the voter model. The use of these tools allows to show that the expected running time of WalkSAT depends on structural parameter (we call odd Cheeger drift) of the dual of the formula hypergraph.
△ Less
Submitted 26 September, 2019;
originally announced September 2019.
-
From a dynamical system of the knee to natural jet geometrical objects
Authors:
Mircea Neagu,
Mihaela Maria Marin
Abstract:
In this paper we construct some natural geometrical objects on the 1-jet space J^1(R,R^3), like a nonlinear connection, a Cartan linear connection (together with its d-torsions and d-curvatures), a jet "electromagnetic" d-field and its geometric "electromagnetic" Yang-Mills energy, starting from a given dynamical system governing the three-dimensional motion of the knee in the mathematical model i…
▽ More
In this paper we construct some natural geometrical objects on the 1-jet space J^1(R,R^3), like a nonlinear connection, a Cartan linear connection (together with its d-torsions and d-curvatures), a jet "electromagnetic" d-field and its geometric "electromagnetic" Yang-Mills energy, starting from a given dynamical system governing the three-dimensional motion of the knee in the mathematical model introduced by Grood and Suntay. The corresponding Yang-Mills energetic surfaces of constant level (produced by this knee dynamical system) are studied.
△ Less
Submitted 17 November, 2011;
originally announced November 2011.
-
Subgroup separability in integral group rings
Authors:
Á. del Río,
M. Ruiz Marín,
P. Zalesski
Abstract:
We give a list of finite groups containing all finite groups $G$ such that the group of units $\Z G^*$ of the integral group ring $\Z G$ is subgroup separable. There are only two types of these groups $G$ for which we cannot decide wether $ZG^*$ is subgroup separable, namely the central product $Q_8 Y D_8$ and $Q_8\times C_p{with} p \text{prime and} p\equiv -1 \mod (8)$.
We give a list of finite groups containing all finite groups $G$ such that the group of units $\Z G^*$ of the integral group ring $\Z G$ is subgroup separable. There are only two types of these groups $G$ for which we cannot decide wether $ZG^*$ is subgroup separable, namely the central product $Q_8 Y D_8$ and $Q_8\times C_p{with} p \text{prime and} p\equiv -1 \mod (8)$.
△ Less
Submitted 14 March, 2011; v1 submitted 13 December, 2010;
originally announced December 2010.
-
On the Frobenius Number of Fibonacci Numerical Semigroups
Authors:
J. M. Marin,
J. Ramirez Alfonsin,
M. P. Revuelta
Abstract:
In this paper we compute the Frobenius number of certain {\em Fibonacci numerical semigroups}, that is, numerical semigroups generated by a set of Fibonacci numbers, in terms of Fibonacci numbers.
In this paper we compute the Frobenius number of certain {\em Fibonacci numerical semigroups}, that is, numerical semigroups generated by a set of Fibonacci numbers, in terms of Fibonacci numbers.
△ Less
Submitted 28 June, 2006;
originally announced June 2006.
-
Matroid Theory and Chern-Simons
Authors:
J. A. Nieto,
M. C. Marin
Abstract:
It is shown that matroid theory may provide a natural mathematical framework for a duality symmetries not only for quantum Yang-Mills physics, but also for M-theory. Our discussion is focused in an action consisting purely of the Chern-Simons term, but in principle the main ideas can be applied beyond such an action. In our treatment the theorem due to Thistlethwaite, which gives a relationship…
▽ More
It is shown that matroid theory may provide a natural mathematical framework for a duality symmetries not only for quantum Yang-Mills physics, but also for M-theory. Our discussion is focused in an action consisting purely of the Chern-Simons term, but in principle the main ideas can be applied beyond such an action. In our treatment the theorem due to Thistlethwaite, which gives a relationship between the Tutte polynomial for graphs and Jones polynomial for alternating knots and links, plays a central role. Before addressing this question we briefly mention some important aspects of matroid theory and we point out a connection between the Fano matroid and D=11 supergravity. Our approach also seems to be related to loop solutions of quantum gravity based in Ashtekar formalism.
△ Less
Submitted 12 May, 2000;
originally announced May 2000.
