-
Degree conditions for spanning expansion hypertrees
Authors:
Mengjiao Rao,
Nicolás Sanhueza-Matamala,
Lin Sun,
Guanghui Wang,
Wenling Zhou
Abstract:
The $k$-expansion of a graph $G$ is the $k$-uniform hypergraph obtained from $G$ by adding $k-2$ new vertices to every edge. We determine, for all $k > d \geq 1$, asymptotically optimal $d$-degree conditions that ensure the existence of all spanning $k$-expansions of bounded-degree trees, in terms of the corresponding conditions for loose Hamilton cycles. This refutes a conjecture by Pehova and Pe…
▽ More
The $k$-expansion of a graph $G$ is the $k$-uniform hypergraph obtained from $G$ by adding $k-2$ new vertices to every edge. We determine, for all $k > d \geq 1$, asymptotically optimal $d$-degree conditions that ensure the existence of all spanning $k$-expansions of bounded-degree trees, in terms of the corresponding conditions for loose Hamilton cycles. This refutes a conjecture by Pehova and Petrova, who conjectured that a lower threshold should have sufficed. The reason why the answer is off from the conjectured value is an unexpected `parity obstruction': all spanning $k$-expansions of trees with only odd degree vertices require larger degree conditions to embed. We also show that if the tree has at least one even-degree vertex, the codegree conditions for embedding its $k$-expansion become substantially smaller.
△ Less
Submitted 11 July, 2025;
originally announced July 2025.
-
A simple algorithm for the simple bilevel programming (SBP) problem
Authors:
Stephan Dempe,
Joydeep Duta,
Tanushree Pandit,
K. S. Mallikarjuna Rao
Abstract:
In this article we intend to develop a simple and implementable algorithm for minimizing a convex function over the solution set of another convex optimization problem. Such a problem is often referred to as a simple bilevel programming (SBP) problem. One of the key features of our algorithm is that we make no assumption on the diferentiability of the upper level objective, though we will assume t…
▽ More
In this article we intend to develop a simple and implementable algorithm for minimizing a convex function over the solution set of another convex optimization problem. Such a problem is often referred to as a simple bilevel programming (SBP) problem. One of the key features of our algorithm is that we make no assumption on the diferentiability of the upper level objective, though we will assume that the lower level objective is smooth. Another key feature of the algorithm is that it does not assume that the lower level objective has a Lipschitz gradient, which is a standard assumption in most of the well-known algorithms for this class of problems. We present the convergence analysis and also some numerical experiments demonstrating the efectiveness of the algorithm.
△ Less
Submitted 16 April, 2025;
originally announced April 2025.
-
Recovery of cyclic words by their subwords
Authors:
Sergey Luchinin,
Svetlana Puzynina,
Michaël Rao
Abstract:
A problem of reconstructing words from their subwords involves determining the minimum amount of information needed, such as multisets of scattered subwords of a specific length or the frequency of scattered subwords from a given set, in order to uniquely identify a word. In this paper we show that a cyclic word on a binary alphabet can be reconstructed by its scattered subwords of length…
▽ More
A problem of reconstructing words from their subwords involves determining the minimum amount of information needed, such as multisets of scattered subwords of a specific length or the frequency of scattered subwords from a given set, in order to uniquely identify a word. In this paper we show that a cyclic word on a binary alphabet can be reconstructed by its scattered subwords of length $\frac34n+4$, and for each $n$ one can find two cyclic words of length $n$ which have the same set of scattered subwords of length $\frac34n-\frac32$.
△ Less
Submitted 4 December, 2024;
originally announced December 2024.
-
An El-Zahar Type Theorem in $3$-graphs under Codegree Condition
Authors:
Yangyang Cheng,
Mengjiao Rao,
Guanghui Wang,
Yuqi Zhao
Abstract:
A $3$-uniform loose cycle, denoted by $C_t$, is a $3$-graph on $t$ vertices whose vertices can be arranged cyclically so that each hyperedge consists of three consecutive vertices, and any two consecutive hyperedges share exactly one vertex. The length of $C_t$ is the number of its hyperedges. We prove that for any $η>0$, there exists an $n_0=n_0(η)$ such that for any $n\geq n_0$ the following hol…
▽ More
A $3$-uniform loose cycle, denoted by $C_t$, is a $3$-graph on $t$ vertices whose vertices can be arranged cyclically so that each hyperedge consists of three consecutive vertices, and any two consecutive hyperedges share exactly one vertex. The length of $C_t$ is the number of its hyperedges. We prove that for any $η>0$, there exists an $n_0=n_0(η)$ such that for any $n\geq n_0$ the following holds. Let $\mathcal{C}$ be a $3$-graph consisting of vertex-disjoint loose cycles $C_{n_1}, C_{n_2}, \ldots, C_{n_r}$ such that $\sum_{i=1}^{r}n_i=n$. Let $k$ be the number of loose cycles with odd lengths in $\mathcal{C}$. If $\mathcal{H}$ is a $3$-graph on $n$ vertices with minimum codegree at least $(n+2k)/4+ηn$, then $\mathcal{H}$ contains $\mathcal{C}$ as a spanning subhypergraph. The degree condition is approximately tight. This generalizes the result of Kühn and Osthus for loose Hamilton cycle and the result of Mycroft for loose cycle factors in $3$-graphs. Our proof relies on the regularity lemma and a transversal blow-up lemma recently developed by the first author and Staden.
△ Less
Submitted 18 May, 2025; v1 submitted 30 September, 2024;
originally announced September 2024.
-
Multi-Level Power Series Solution for Large Surface and Volume Electric Field Integral Equation
Authors:
Y. K. Negi,
N. Balakrishnan,
S. M. Rao
Abstract:
In this paper, we propose a new multilevel power series solution method for solving a large surface and volume electric field integral equation based H-Matrix. The proposed solution method converges in a fixed number of iterations and is solved at each level of the H-Matrix computation.The solution method avoids the computation of a full matrix, as it can be solved independently at each level, sta…
▽ More
In this paper, we propose a new multilevel power series solution method for solving a large surface and volume electric field integral equation based H-Matrix. The proposed solution method converges in a fixed number of iterations and is solved at each level of the H-Matrix computation.The solution method avoids the computation of a full matrix, as it can be solved independently at each level, starting from the leaf level. Solution at each level can be used as the final solution, thus saving the matrix computation time for full H-Matrix. The paper shows that the leaf level matrix computation and solution with power series gives an accurate results as full H-Matrix iterative solver method. The method results in considerable time and memory savings compared to the H-Matrix iterative solver. Further, the proposed method retains the O(NlogN) solution complexity
△ Less
Submitted 8 July, 2023;
originally announced July 2023.
-
Adaptive Super-Twisting Controller Design for Accurate Trajectory Tracking Performance of Unmanned Aerial Vehicles
Authors:
D. M. K. K. Venkateswara Rao,
Hamed Habibi,
Jose Luis Sanchez-Lopez,
Prathyush P. Menon,
Christopher Edwards,
Holger Voos
Abstract:
In this paper, an adaptive super-twisting controller is designed for an agile maneuvering quadrotor unmanned aerial vehicle to achieve accurate trajectory tracking in the presence of external disturbances. A cascaded control architecture is designed to determine the desired accelerations using the proposed controller and subsequently used to compute the desired orientation and angular rates. The f…
▽ More
In this paper, an adaptive super-twisting controller is designed for an agile maneuvering quadrotor unmanned aerial vehicle to achieve accurate trajectory tracking in the presence of external disturbances. A cascaded control architecture is designed to determine the desired accelerations using the proposed controller and subsequently used to compute the desired orientation and angular rates. The finite-time convergence of sliding functions and closed-loop system stability are analytically proven. Furthermore, the restrictive assumption on the maximum variation of the disturbance is relaxed by designing a gain adaptation law and low-pass filtering of the estimated equivalent control. The proper selection of design parameters is discussed in detail. Finally, the effectiveness of the proposed method is evaluated by high-fidelity software-in-the-loop simulations and validated by experimental studies.
△ Less
Submitted 14 September, 2023; v1 submitted 21 March, 2023;
originally announced March 2023.
-
Symmetric Near-Field Schur Complement Preconditioner for Hierarchal Electric Field Integral Equation Solve
Authors:
Yoginder Kumar Negi,
N. Balakrishnan,
Sadasiva M. Rao
Abstract:
In this paper, a robust and effective preconditioner for the fast Method of Moments(MoM) based Hierarchal Electric Field Integral Equation(EFIE) solver is proposed using symmetric near-field Schur's complement method. In this preconditioner, near-field blocks are scaled to a diagonal block matrix and these near-field blocks are replaced with the scaled diagonal block matrix which reduces the near-…
▽ More
In this paper, a robust and effective preconditioner for the fast Method of Moments(MoM) based Hierarchal Electric Field Integral Equation(EFIE) solver is proposed using symmetric near-field Schur's complement method. In this preconditioner, near-field blocks are scaled to a diagonal block matrix and these near-field blocks are replaced with the scaled diagonal block matrix which reduces the near-field storage memory and the overall matrix vector product time. Scaled diagonal block matrix is further used as a preconditioner and due to the block diagonal form of the final preconditioner, no additional fill-ins are introduced in its inverse. The symmetric property of the near-field blocks is exploited to reduce the preconditioner setup time. Near linear complexity of preconditioner set up and solve times is achieved by near-field block ordering, using graph bandwidth reduction algorithms and compressing the fill-in blocks in preconditioner computation. Preconditioner set up time is reduced to half by using the symmetric property and near-field block ordering. It has been shown using a complexity analysis that the cost of preconditioner construction in terms of computation and memory is linear. Numerical experiments demonstrate an average of 1.5-2.3x speed-up in the iterative solution time over Null-Field based preconditioners.
△ Less
Submitted 26 November, 2021;
originally announced November 2021.
-
Fast Power Series Solution of Large 3-D Electrodynamic Integral Equation for PEC Scatterers
Authors:
Yoginder Kumar Negi,
N. Balakrishnan,
Sadasiva M. Rao
Abstract:
This paper presents a new fast power series solution method to solve the Hierarchal Method of Moment(MoM) matrix for a large complex,perfectly electric conducting (PEC) 3D structures. The proposed power series solution converges in just two iterations which is faster than the conventional fast solver-based iterative solution. The method is purely algebraic in nature and, as such applicable to exis…
▽ More
This paper presents a new fast power series solution method to solve the Hierarchal Method of Moment(MoM) matrix for a large complex,perfectly electric conducting (PEC) 3D structures. The proposed power series solution converges in just two iterations which is faster than the conventional fast solver-based iterative solution. The method is purely algebraic in nature and, as such applicable to existing conventional methods. The method uses regular fast solver Hierarchal Matrix (H-Matrix) and can also be applied to Multilevel Fast Multipole Method Algorithm(MLFMA). In the proposed method, we use the scaling of the symmetric near-field matrix to develop a diagonally dominant overall matrix to enable a power series solution. Left and right block scaling coefficients are required for scaling near-field blocks to diagonal blocks using Schur's complement method. However,only the right-hand scaling coefficients are computed for symmetric near-field matrix leading to saving of computation time and memory. Due to symmetric property, the left side-block scaling coefficients are just the transpose of the right-scaling blocks. Next, the near-field blocks are replaced by scaled near-field diagonal blocks. Now the scaled near-field blocks in combination with far-field and scaling coefficients are subjected to power series solution terminating after only two terms. As all the operations are performed on the near-field blocks, the complexity of scaling coefficient computation is retained as O(N). The power series solution only involves the matrix-vector product of the far-field, scaling coefficients blocks, and inverse of scaled near-field blocks. Hence, the solution cost remains O(NlogN). Several numerical results are presented to validate the efficiency and robustness of the proposed numerical method.
△ Less
Submitted 15 September, 2021; v1 submitted 9 September, 2021;
originally announced September 2021.
-
Decentralized optimization over noisy, rate-constrained networks: Achieving consensus by communicating differences
Authors:
Rajarshi Saha,
Stefano Rini,
Milind Rao,
Andrea Goldsmith
Abstract:
In decentralized optimization, multiple nodes in a network collaborate to minimize the sum of their local loss functions. The information exchange between nodes required for this task, is often limited by network connectivity. We consider a setting in which communication between nodes is hindered by both (i) a finite rate-constraint on the signal transmitted by any node, and (ii) additive noise co…
▽ More
In decentralized optimization, multiple nodes in a network collaborate to minimize the sum of their local loss functions. The information exchange between nodes required for this task, is often limited by network connectivity. We consider a setting in which communication between nodes is hindered by both (i) a finite rate-constraint on the signal transmitted by any node, and (ii) additive noise corrupting the signal received by any node. We propose a novel algorithm for this scenario: Decentralized Lazy Mirror Descent with Differential Exchanges (DLMD-DiffEx), which guarantees convergence of the local estimates to the optimal solution under the given communication constraints. A salient feature of DLMD-DiffEx is the introduction of additional proxy variables that are maintained by the nodes to account for the disagreement in their estimates due to channel noise and rate-constraints. Convergence to the optimal solution is attained by having nodes iteratively exchange these disagreement terms until consensus is achieved. In order to prevent noise accumulation during this exchange, DLMD-DiffEx relies on two sequences; one controlling the power of the transmitted signal, and the other determining the consensus rate. We provide clear insights on the design of these two sequences which highlights the interplay between consensus rate and noise amplification. We investigate the performance of DLMD-DiffEx both from a theoretical perspective as well as through numerical evaluations.
△ Less
Submitted 6 October, 2021; v1 submitted 21 October, 2020;
originally announced October 2020.
-
DP-3-coloring of planar graphs without certain cycles
Authors:
Mengjiao Rao,
Tao Wang
Abstract:
DP-coloring is a generalization of list coloring, which was introduced by Dvořák and Postle [J. Combin. Theory Ser. B 129 (2018) 38--54]. Zhang [Inform. Process. Lett. 113 (9) (2013) 354--356] showed that every planar graph with neither adjacent triangles nor 5-, 6-, 9-cycles is 3-choosable. Liu et al. [Discrete Math. 342 (2019) 178--189] showed that every planar graph without 4-, 5-, 6- and 9-cyc…
▽ More
DP-coloring is a generalization of list coloring, which was introduced by Dvořák and Postle [J. Combin. Theory Ser. B 129 (2018) 38--54]. Zhang [Inform. Process. Lett. 113 (9) (2013) 354--356] showed that every planar graph with neither adjacent triangles nor 5-, 6-, 9-cycles is 3-choosable. Liu et al. [Discrete Math. 342 (2019) 178--189] showed that every planar graph without 4-, 5-, 6- and 9-cycles is DP-3-colorable. In this paper, we show that every planar graph with neither adjacent triangles nor 5-, 6-, 9-cycles is DP-3-colorable, which generalizes these results. Yu et al. gave three Bordeaux-type results by showing that (i) every planar graph with the distance of triangles at least three and no 4-, 5-cycles is DP-3-colorable; (ii) every planar graph with the distance of triangles at least two and no 4-, 5-, 6-cycles is DP-3-colorable; (iii) every planar graph with the distance of triangles at least two and no 5-, 6-, 7-cycles is DP-3-colorable. We also give two Bordeaux-type results in the last section: (i) every plane graph with neither 5-, 6-, 8-cycles nor triangles at distance less than two is DP-3-colorable; (ii) every plane graph with neither 4-, 5-, 7-cycles nor triangles at distance less than two is DP-3-colorable.
△ Less
Submitted 22 March, 2021; v1 submitted 1 January, 2020;
originally announced January 2020.
-
Planar graphs without normally adjacent short cycles
Authors:
Fangyao Lu,
Mengjiao Rao,
Qianqian Wang,
Tao Wang
Abstract:
Let $\mathscr{G}$ be the class of plane graphs without triangles normally adjacent to $8^{-}$-cycles, without $4$-cycles normally adjacent to $6^{-}$-cycles, and without normally adjacent $5$-cycles. In this paper, it is shown that every graph in $\mathscr{G}$ is $3$-choosable. Instead of proving this result, we directly prove a stronger result in the form of ``weakly'' DP-$3$-coloring. The main t…
▽ More
Let $\mathscr{G}$ be the class of plane graphs without triangles normally adjacent to $8^{-}$-cycles, without $4$-cycles normally adjacent to $6^{-}$-cycles, and without normally adjacent $5$-cycles. In this paper, it is shown that every graph in $\mathscr{G}$ is $3$-choosable. Instead of proving this result, we directly prove a stronger result in the form of ``weakly'' DP-$3$-coloring. The main theorem improves the results in [J. Combin. Theory Ser. B 129 (2018) 38--54; European J. Combin. 82 (2019) 102995]. Consequently, every planar graph without $4$-, $6$-, $8$-cycles is $3$-choosable, and every planar graph without $4$-, $5$-, $7$-, $8$-cycles is $3$-choosable. In the third section, using almost the same technique, we prove that the vertex set of every graph in $\mathscr{G}$ can be partitioned into an independent set and a set that induces a forest, which strengthens the result in [Discrete Appl. Math. 284 (2020) 626--630]. In the final section, tightness is discussed.
△ Less
Submitted 10 June, 2022; v1 submitted 13 August, 2019;
originally announced August 2019.
-
The 2-domination and Roman domination numbers of grid graphs
Authors:
Michaël Rao,
Alexandre Talon
Abstract:
We investigate the 2-domination number for grid graphs, that is the size of a smallest set $D$ of vertices of the grid such that each vertex of the grid belongs to $D$ or has at least two neighbours in $D$. We give a closed formula giving the 2-domination number of any $n \!\times\! m$ grid, hereby confirming the results found by Lu and Xu, and Shaheen et al. for $n \leq 4$ and slightly correct th…
▽ More
We investigate the 2-domination number for grid graphs, that is the size of a smallest set $D$ of vertices of the grid such that each vertex of the grid belongs to $D$ or has at least two neighbours in $D$. We give a closed formula giving the 2-domination number of any $n \!\times\! m$ grid, hereby confirming the results found by Lu and Xu, and Shaheen et al. for $n \leq 4$ and slightly correct the value of Shaheen et al. for $n = 5$. The proof relies on some dynamic programming algorithms, using transfer matrices in (min,+)-algebra. We also apply the method to solve the Roman domination problem on grid graphs.
△ Less
Submitted 17 May, 2019; v1 submitted 30 October, 2018;
originally announced October 2018.
-
Exhaustive search of convex pentagons which tile the plane
Authors:
Michael Rao
Abstract:
We present an exhaustive search of all families of convex pentagons which tile the plane. This research shows that there are no more than the already 15 known families. In particular, this implies that there is no convex polygon which allows only non-periodic tilings.
We present an exhaustive search of all families of convex pentagons which tile the plane. This research shows that there are no more than the already 15 known families. In particular, this implies that there is no convex polygon which allows only non-periodic tilings.
△ Less
Submitted 1 August, 2017;
originally announced August 2017.
-
Minor stars in plane graphs with minimum degree five
Authors:
Yangfan Li,
Mengjiao Rao,
Tao Wang
Abstract:
The weight of a subgraph $H$ in $G$ is the sum of the degrees in $G$ of vertices of $H$. The {\em height} of a subgraph $H$ in $G$ is the maximum degree of vertices of $H$ in $G$. A star in a given graph is minor if its center has degree at most five in the given graph. Lebesgue (1940) gave an approximate description of minor $5$-stars in the class of normal plane maps with minimum degree five. In…
▽ More
The weight of a subgraph $H$ in $G$ is the sum of the degrees in $G$ of vertices of $H$. The {\em height} of a subgraph $H$ in $G$ is the maximum degree of vertices of $H$ in $G$. A star in a given graph is minor if its center has degree at most five in the given graph. Lebesgue (1940) gave an approximate description of minor $5$-stars in the class of normal plane maps with minimum degree five. In this paper, we give two descriptions of minor $5$-stars in plane graphs with minimum degree five. By these descriptions, we can extend several results and give some new results on the weight and height for some special plane graphs with minimum degree five.
△ Less
Submitted 17 November, 2018; v1 submitted 8 June, 2017;
originally announced June 2017.
-
Evolutionary Stability of Polymorphic Population States in Continuous Games
Authors:
Dharini Hingu,
K. S. Mallikarjuna Rao,
A. J. Shaiju
Abstract:
In games with continuous strategy spaces, if a rest point of the replicator dynamics is asymptotically stable then the rest point must be finitely supported (van Veelen, M., Spreij, P., 2009. Evolution in games with a continuous action space. Econom. Theory 39 (3), 355-376). In this article, we address the converse question that is, we prove that a finitely supported population state is asymptotic…
▽ More
In games with continuous strategy spaces, if a rest point of the replicator dynamics is asymptotically stable then the rest point must be finitely supported (van Veelen, M., Spreij, P., 2009. Evolution in games with a continuous action space. Econom. Theory 39 (3), 355-376). In this article, we address the converse question that is, we prove that a finitely supported population state is asymptotically stable with respect to the variational norm when it is strongly uninvadable.
△ Less
Submitted 24 May, 2016;
originally announced May 2016.
-
On cardinalities of $k$-abelian equivalence classes
Authors:
Juhani Karhumäki,
Svetlana Puzynina,
Michaël Rao,
Markus A. Whiteland
Abstract:
Two words $u$ and $v$ are $k$-abelian equivalent if, for each word $x$ of length at most $k$, $x$ occurs equally many times as a factor in both $u$ and $v$. The notion of $k$-abelian equivalence is an intermediate notion between the abelian equivalence and the equality of words. In this paper, we study the equivalence classes induced by the $k$-abelian equivalence, mainly focusing on the cardinali…
▽ More
Two words $u$ and $v$ are $k$-abelian equivalent if, for each word $x$ of length at most $k$, $x$ occurs equally many times as a factor in both $u$ and $v$. The notion of $k$-abelian equivalence is an intermediate notion between the abelian equivalence and the equality of words. In this paper, we study the equivalence classes induced by the $k$-abelian equivalence, mainly focusing on the cardinalities of the classes. In particular, we are interested in the number of singleton $k$-abelian classes, i.e., classes containing only one element. We find a connection between the singleton classes and cycle decompositions of the de Bruijn graph. We show that the number of classes of words of length $n$ containing one single element is of order $\mathcal O(n^{N_m(k-1)-1})$, where $N_m(l) = \tfrac{1}{l}\sum_{d\mid l} \varphi(d)m^{l/d}$ is the number of necklaces of length $l$ over an $m$-ary alphabet. We conjecture that the upper bound is sharp. We also remark that, for $k$ even and $m = 2$, the lower bound $Ω(n^{N_m(k-1)-1})$ follows from an old conjecture on the existence of Gray codes for necklaces of odd length. We verify this conjecture for necklaces of length up to 15.
△ Less
Submitted 11 May, 2016;
originally announced May 2016.
-
Characterization of maximum hands-off control
Authors:
Debasish Chatterjee,
Masaaki Nagahara,
Daniel Quevedo,
K. S. Mallikarjuna Rao
Abstract:
Maximum hands-off control aims to maximize the length of time over which zero actuator values are applied to a system when executing specified control tasks. To tackle such problems, recent literature has investigated optimal control problems which penalize the size of the support of the control function and thereby lead to desired sparsity properties. This article gives the exact set of necessary…
▽ More
Maximum hands-off control aims to maximize the length of time over which zero actuator values are applied to a system when executing specified control tasks. To tackle such problems, recent literature has investigated optimal control problems which penalize the size of the support of the control function and thereby lead to desired sparsity properties. This article gives the exact set of necessary conditions for a maximum hands-off optimal control problem using an $L_0$-(semi)norm, and also provides sufficient conditions for the optimality of such controls. Numerical example illustrates that adopting an $L_0$ cost leads to a sparse control, whereas an $L_1$-relaxation in singular problems leads to a non-sparse solution.
△ Less
Submitted 29 February, 2016;
originally announced February 2016.
-
Avoiding two consecutive blocks of same size and same sum over $\mathbb{Z}^2$
Authors:
Michaël Rao,
Matthieu Rosenfeld
Abstract:
A long standing question asks whether $\mathbb{Z}$ is uniformly 2-repetitive [Justin 1972, Pirillo and Varricchio, 1994], that is, whether there is an infinite sequence over a finite subset of $\mathbb{Z}$ avoiding two consecutive blocks of same size and same sum or not. Cassaigne \emph{et al.} [2014] showed that $\mathbb{Z}$ is not uniformly 3-repetitive. We show that $\mathbb{Z}^2$ is not unifor…
▽ More
A long standing question asks whether $\mathbb{Z}$ is uniformly 2-repetitive [Justin 1972, Pirillo and Varricchio, 1994], that is, whether there is an infinite sequence over a finite subset of $\mathbb{Z}$ avoiding two consecutive blocks of same size and same sum or not. Cassaigne \emph{et al.} [2014] showed that $\mathbb{Z}$ is not uniformly 3-repetitive. We show that $\mathbb{Z}^2$ is not uniformly 2-repetitive. Moreover, this problem is related to a question from Mäkelä in combinatorics on words and we answer to a weak version of it.
△ Less
Submitted 30 September, 2016; v1 submitted 18 November, 2015;
originally announced November 2015.
-
Avoidability of long $k$-abelian repetitions
Authors:
Michaël Rao,
Matthieu Rosenfeld
Abstract:
We study the avoidability of long $k$-abelian-squares and $k$-abelian-cubes on binary and ternary alphabets. For $k=1$, these are Mäkelä's questions. We show that one cannot avoid abelian-cubes of abelian period at least $2$ in infinite binary words, and therefore answering negatively one question from Mäkelä. Then we show that one can avoid $3$-abelian-squares of period at least $3$ in infinite b…
▽ More
We study the avoidability of long $k$-abelian-squares and $k$-abelian-cubes on binary and ternary alphabets. For $k=1$, these are Mäkelä's questions. We show that one cannot avoid abelian-cubes of abelian period at least $2$ in infinite binary words, and therefore answering negatively one question from Mäkelä. Then we show that one can avoid $3$-abelian-squares of period at least $3$ in infinite binary words and $2$-abelian-squares of period at least 2 in infinite ternary words. Finally we study the minimum number of distinct $k$-abelian-squares that must appear in an infinite binary word.
△ Less
Submitted 9 July, 2015;
originally announced July 2015.
-
Infinite square-free self-shuffling words
Authors:
Mike Müller,
Svetlana Puzynina,
Michaël Rao
Abstract:
In this paper we answer two recent questions from Charlier et al. and Harju about self-shuffling words. An infinite word $w$ is called self-shuffling, if $w=\prod_{i=0}^\infty U_iV_i=\prod_{i=0}^\infty U_i=\prod_{i=0}^\infty V_i$ for some finite words $U_i$, $V_i$. Harju recently asked whether square-free self-shuffling words exist. We answer this question affirmatively. Besides that, we build an…
▽ More
In this paper we answer two recent questions from Charlier et al. and Harju about self-shuffling words. An infinite word $w$ is called self-shuffling, if $w=\prod_{i=0}^\infty U_iV_i=\prod_{i=0}^\infty U_i=\prod_{i=0}^\infty V_i$ for some finite words $U_i$, $V_i$. Harju recently asked whether square-free self-shuffling words exist. We answer this question affirmatively. Besides that, we build an infinite word such that no word in its shift orbit closure is self-shuffling, answering positively a question from Charlier et al.
△ Less
Submitted 8 November, 2014; v1 submitted 25 January, 2014;
originally announced January 2014.
-
Avoiding 2-binomial squares and cubes
Authors:
M. Rao,
M. Rigo,
P. Salimov
Abstract:
Two finite words $u,v$ are 2-binomially equivalent if, for all words $x$ of length at most 2, the number of occurrences of $x$ as a (scattered) subword of $u$ is equal to the number of occurrences of $x$ in $v$. This notion is a refinement of the usual abelian equivalence. A 2-binomial square is a word $uv$ where $u$ and $v$ are 2-binomially equivalent.
In this paper, considering pure morphic wo…
▽ More
Two finite words $u,v$ are 2-binomially equivalent if, for all words $x$ of length at most 2, the number of occurrences of $x$ as a (scattered) subword of $u$ is equal to the number of occurrences of $x$ in $v$. This notion is a refinement of the usual abelian equivalence. A 2-binomial square is a word $uv$ where $u$ and $v$ are 2-binomially equivalent.
In this paper, considering pure morphic words, we prove that 2-binomial squares (resp. cubes) are avoidable over a 3-letter (resp. 2-letter) alphabet. The sizes of the alphabets are optimal.
△ Less
Submitted 17 October, 2013;
originally announced October 2013.
-
Stability and Hopf Bifurcation Analysis of the Delay Logistic Equation
Authors:
Milind M. Rao,
K. L. Preetish
Abstract:
Logistic functions are good models of biological population growth. They are also popular in marketing in modelling demand-supply curves and in a different context, to chart the sales of new products over time. Delays being inherent in any biological system, we seek to analyse the effect of delays on the growth of populations governed by the logistic equation. In this paper, the local stability an…
▽ More
Logistic functions are good models of biological population growth. They are also popular in marketing in modelling demand-supply curves and in a different context, to chart the sales of new products over time. Delays being inherent in any biological system, we seek to analyse the effect of delays on the growth of populations governed by the logistic equation. In this paper, the local stability analysis, rate of convergence and local bifurcation analysis of the logistic equation with one and two delays is carried out and it can be extended to a system with multiple delays. Since fluctuating populations are susceptible to extinction due to sudden and unforeseen environmental disturbances, a knowledge of the conditions in which the population density is fluctuating or stable is of great interest in planning and designing control as well as management strategies.
△ Less
Submitted 29 November, 2012;
originally announced November 2012.
-
Evolutionary Stability Against Multiple Mutations
Authors:
Anirban Ghatak,
K. S. Mallikarjuna Rao,
A. J. Shaiju
Abstract:
It is known (see e.g. Weibull (1995)) that ESS is not robust against multiple mutations. In this article, we introduce robustness against multiple mutations and study some equivalent formulations and consequences.
It is known (see e.g. Weibull (1995)) that ESS is not robust against multiple mutations. In this article, we introduce robustness against multiple mutations and study some equivalent formulations and consequences.
△ Less
Submitted 11 January, 2012;
originally announced January 2012.
-
Regular simplices and periodic billiard orbits
Authors:
Nicolas Bedaride,
Michael Rao
Abstract:
A simplex is the convex hull of $n+1$ points in $\mathbb{R}^{n}$ which form an affine basis. A regular simplex $Δ^n$ is a simplex with sides of the same length. We consider the billiard flow inside a regular simplex of $\mathbb{R}^n$. We show the existence of two types of periodic trajectories. One has period $n+1$ and hits once each face. The other one has period $2n$ and hits $n$ times one of th…
▽ More
A simplex is the convex hull of $n+1$ points in $\mathbb{R}^{n}$ which form an affine basis. A regular simplex $Δ^n$ is a simplex with sides of the same length. We consider the billiard flow inside a regular simplex of $\mathbb{R}^n$. We show the existence of two types of periodic trajectories. One has period $n+1$ and hits once each face. The other one has period $2n$ and hits $n$ times one of the faces while hitting once any other face. In both cases we determine the exact coordinates for the points where the trajectory hits the boundary of the simplex.
△ Less
Submitted 21 October, 2012; v1 submitted 11 December, 2011;
originally announced December 2011.
-
Distances on Rhombus Tilings
Authors:
Olivier Bodini,
Thomas Fernique,
Michael Rao,
Eric Remila
Abstract:
The rhombus tilings of a simply connected domain of the Euclidean plane are known to form a flip-connected space (a flip is the elementary operation on rhombus tilings which rotates 180° a hexagon made of three rhombi). Motivated by the study of a quasicrystal growth model, we are here interested in better understanding how "tight" rhombus tiling spaces are flip-connected. We introduce a lower bou…
▽ More
The rhombus tilings of a simply connected domain of the Euclidean plane are known to form a flip-connected space (a flip is the elementary operation on rhombus tilings which rotates 180° a hexagon made of three rhombi). Motivated by the study of a quasicrystal growth model, we are here interested in better understanding how "tight" rhombus tiling spaces are flip-connected. We introduce a lower bound (Hamming-distance) on the minimal number of flips to link two tilings (flip-distance), and we investigate whether it is sharp. The answer depends on the number n of different edge directions in the tiling: positive for n=3 (dimer tilings) or n=4 (octogonal tilings), but possibly negative for n=5 (decagonal tilings) or greater values of n. A standard proof is provided for the n=3 and n=4 cases, while the complexity of the n=5 case led to a computer-assisted proof (whose main result can however be easily checked by hand).
△ Less
Submitted 9 March, 2011; v1 submitted 14 November, 2009;
originally announced November 2009.
-
On Stepwise Control of the Generalized Familywise Error Rate
Authors:
Wenge Guo,
M. Bhaskara Rao
Abstract:
A classical approach for dealing with the multiple testing problem is to restrict attention to procedures that control the familywise error rate (FWER), the probability of at least one false rejection. In many applications, one might be willing to tolerate more than one false rejection provided the number of such cases is controlled, thereby increasing the ability of the procedure to detect fals…
▽ More
A classical approach for dealing with the multiple testing problem is to restrict attention to procedures that control the familywise error rate (FWER), the probability of at least one false rejection. In many applications, one might be willing to tolerate more than one false rejection provided the number of such cases is controlled, thereby increasing the ability of the procedure to detect false null hypotheses. This suggests replacing control of the FWER by controlling the probability of $k$ or more false rejections, which is called the $k$-FWER. In this article, a unified approach is presented for deriving the $k$-FWER controlling procedures. We first generalize the well-known closure principle in the context of the FWER to the case of controlling the $k$-FWER. Then, we discuss how to derive the $k$-FWER controlling stepwise (stepdown or stepup) procedures based on marginal $p$-values using this principle. We show that, under certain conditions, generalized closed testing procedures can be reduced to stepwise procedures, and any stepwise procedure is equivalent to a generalized closed testing procedure. Finally, we generalize the well-known Hommel procedure in two directions, and show that any generalized Hommel procedure is equivalent to a generalized closed testing procedure with the same critical values.
△ Less
Submitted 28 October, 2008;
originally announced October 2008.
-
The Rank-Width of Edge-Colored Graphs
Authors:
Mamadou Moustapha Kante,
Michael Rao
Abstract:
Clique-width is a complexity measure of directed as well as undirected graphs. Rank-width is an equivalent complexity measure for undirected graphs and has good algorithmic and structural properties. It is in particular related to the vertex-minor relation. We discuss an extension of the notion of rank-width to edge-colored graphs. A C-colored graph is a graph where the arcs are colored with color…
▽ More
Clique-width is a complexity measure of directed as well as undirected graphs. Rank-width is an equivalent complexity measure for undirected graphs and has good algorithmic and structural properties. It is in particular related to the vertex-minor relation. We discuss an extension of the notion of rank-width to edge-colored graphs. A C-colored graph is a graph where the arcs are colored with colors from the set C. There is not a natural notion of rank-width for C-colored graphs. We define two notions of rank-width for them, both based on a coding of C-colored graphs by edge-colored graphs where each edge has exactly one color from a field F and named respectively F-rank-width and F-bi-rank-width. The two notions are equivalent to clique-width. We then present a notion of vertex-minor for F-colored graphs and prove that F-colored graphs of bounded F-rank-width are characterised by a finite list of F-colored graphs to exclude as vertex-minors. A cubic-time algorithm to decide whether a F-colored graph has F-rank-width (resp. F-bi-rank-width) at most k, for fixed k, is also given. Graph operations to check MSOL-definable properties on F-colored graphs of bounded rank-width are presented. A specialisation of all these notions to (directed) graphs without edge colors is presented, which shows that our results generalise the ones in undirected graphs.
△ Less
Submitted 8 July, 2014; v1 submitted 10 September, 2007;
originally announced September 2007.
-
A probabilistic approach to second order variational inequalities with bilateral constraints
Authors:
Mrinal K Ghosh,
K S Mallikarjuna Rao
Abstract:
We study a class of second order variational inequalities with bilateral constraints. Under certain conditions we show the existence of a unique viscosity solution of these variational inequalities and give a stochastic representation to this solution. As an application, we study a stochastic game with stopping times and show the existence of a saddle point equilibrium.
We study a class of second order variational inequalities with bilateral constraints. Under certain conditions we show the existence of a unique viscosity solution of these variational inequalities and give a stochastic representation to this solution. As an application, we study a stochastic game with stopping times and show the existence of a saddle point equilibrium.
△ Less
Submitted 4 June, 2004;
originally announced June 2004.
