Showing 1–18 of 18 results for author: Pal, P

Effect of phase-lag on synchronization in adaptive multilayer networks with higher-order interactions

Authors: Anath Bandhu Das, Sangita Dutta, Pinaki Pal

Abstract: We investigate the transition to synchronization in adaptive multilayer networks with higher-order interactions both analytically and numerically in the presence of phase frustration ($β$). The higher order topology consists of pairwise and triadic couplings. The analytical framework for the investigation is based on the Ott-Antonsen ansatz which leads to a convenient low-dimensional model. Extens… ▽ More We investigate the transition to synchronization in adaptive multilayer networks with higher-order interactions both analytically and numerically in the presence of phase frustration ($β$). The higher order topology consists of pairwise and triadic couplings. The analytical framework for the investigation is based on the Ott-Antonsen ansatz which leads to a convenient low-dimensional model. Extensive bifurcation analysis of the low-dimensional model and the numerical simulation of the full networks are performed to explore the paths to synchronization. The combined analysis shows a complex dependence of the transition to synchronization on adaptation exponents, coupling strengths, phase lag parameter, and multilayer configuration. Various types of transitions to synchronization, namely continuous, tiered, and explosive, are exhibited by the system in different regions of the parameter space. In all the cases, a satisfactory match between the low-dimensional model and the numerical simulation results is observed. The origin of different transitions to synchronization is clearly understood using the low-dimensional model. Exploration of a wide region of the parameter space suggests that the phase frustration parameter inhibits tired as well as explosive synchronization transitions for fixed triadic coupling strength ($K_2$). On the other hand, discontinuous transition is promoted by the phase frustration parameter for fixed pairwise coupling strength ($K_1$). Moreover, the exponent of the adaptation function with the pairwise coupling decreases the width of the hysteresis, despite the dominance of the higher-order coupling for fixed $β$ and $K_2$. While, the exponent of the function adapted with higher-order coupling shows the opposite effect, it promotes bistability in spite of dominance of pairwise coupling strength for fixed $β$, and $K_1$. △ Less

Submitted 2 July, 2025; originally announced July 2025.

Comments: 14 pages, 14 figures

Forbidden induced subgraphs in iterative higher order line graphs

Authors: Aryan Sanghi, Devsi Bantva, Sudebkumar Prasant Pal

Abstract: Let $G$ be a simple finite connected graph. The line graph $L(G)$ of graph $G$ is the graph whose vertices are the edges of $G$, where $ef \in E(L(G))$ when $e \cap f \neq \emptyset$. Iteratively, the higher order line graphs are defined inductively as $L^1(G) = L(G)$ and $L^n(G) = L(L^{n-1}(G))$ for $n \geq 2$. In [Derived graphs and digraphs, Beitrage zur Graphentheorie (Teubner, Leipzig 1968),… ▽ More Let $G$ be a simple finite connected graph. The line graph $L(G)$ of graph $G$ is the graph whose vertices are the edges of $G$, where $ef \in E(L(G))$ when $e \cap f \neq \emptyset$. Iteratively, the higher order line graphs are defined inductively as $L^1(G) = L(G)$ and $L^n(G) = L(L^{n-1}(G))$ for $n \geq 2$. In [Derived graphs and digraphs, Beitrage zur Graphentheorie (Teubner, Leipzig 1968), 17--33 (1968)], Beineke characterize line graphs in terms of nine forbidden subgraphs. Inspired by this result, in this paper, we characterize second order line graphs in terms of pure forbidden induced subgraphs. We also give a sufficient list of forbidden subgraphs for a graph $G$ such that $G$ is a higher order line graph. We characterize all order line graphs of graph $G$ with $Δ(G) = 3$ and $4$. △ Less

Submitted 6 October, 2024; originally announced October 2024.

Comments: 11 pages, 6 figures, conference version

MSC Class: 05C76; 05C75

An average case efficient algorithm for solving two-variable linear Diophantine equations

Authors: Mayank Deora, Pinakpani Pal

Abstract: Solving two-variable linear Diophantine equations has applications in many cryptographic protocols such as RSA and Elliptic curve cryptography. The Extended Euclid's algorithm is the most widely used algorithm to solve these equations. We revisit two algorithms to solve two-variable linear Diophantine equations. We write the iterative version of one of the revisited algorithms. For another, we do… ▽ More Solving two-variable linear Diophantine equations has applications in many cryptographic protocols such as RSA and Elliptic curve cryptography. The Extended Euclid's algorithm is the most widely used algorithm to solve these equations. We revisit two algorithms to solve two-variable linear Diophantine equations. We write the iterative version of one of the revisited algorithms. For another, we do a fine-grained analysis of the number of recursive calls and arrive at a periodic function that represents the number of recursive calls. We find the period and use it to derive an accurate closed-form expression for the average number of recursive calls incurred by that algorithm. We find multiple loose upper bounds on the average number of recursive calls in different cases based on whether a solution exists or not. We find that for a fixed value of $a,b$ and a varying $c$, such that the equation $ax+by=c$ (where $a > b$) is solvable, we can find the solution in $O\left(\frac{\log b}{gcd(a,b)}\right)$ average number of recursions or steps. We computationally evaluate this bound as well as one more upper bound and compare them with the average number of recursive calls in Extended Euclid's algorithm on a number of random $512$-bit inputs. We observe that the average number of iterations in the analyzed algorithm decreases with an increase in $gcd(a,b)$. We propose an iterative version of the algorithm. We implement this algorithm and find that the average number of iterations by our algorithm is less than that of two existing algorithms. △ Less

Submitted 3 July, 2025; v1 submitted 21 September, 2024; originally announced September 2024.

Computational Study on the Impact of Gasoline-Ethanol Blending on Autoignition and Soot/NOx Emissions under Gasoline Compression Ignition Conditions

Authors: Krishna C. Kalvakala, Harsimran Singh, Pinaki Pal, Jorge P. Gonzalez, Christopher P. Kolodziej, Suresh K. Aggarwal

Abstract: Computational fluid dynamics (CFD) simulations of a single-cylinder gasoline compression ignition engine are performed to investigate the impact of gasoline-ethanol blending on autoignition, nitrogen oxide (NOx), and soot emissions under low-load conditions. A four-component toluene primary reference fuel (TPRF) + ethanol (ETPRF) surrogate (with 10% ethanol by volume; E10) is employed to represent… ▽ More Computational fluid dynamics (CFD) simulations of a single-cylinder gasoline compression ignition engine are performed to investigate the impact of gasoline-ethanol blending on autoignition, nitrogen oxide (NOx), and soot emissions under low-load conditions. A four-component toluene primary reference fuel (TPRF) + ethanol (ETPRF) surrogate (with 10% ethanol by volume; E10) is employed to represent the test gasoline (RD5-87). A 3D engine CFD model employing finite-rate chemistry with a skeletal kinetic mechanism, adaptive mesh refinement (AMR), and hybrid method of moments (HMOM) is adopted to capture in-cylinder combustion and soot/NOx emissions. The engine CFD model is validated against experimental data for three gasoline-ethanol blends: E10, E30 and E100, with varying ethanol content by volume. Model validation is carried out for multiple start-of-injection (SOI) timings (-21, -27, -36, and -45 crank angle degrees after top-dead-center (aTDC)) with respect to in-cylinder pressure, heat release rate, combustion phasing, NOx and soot emissions. For late injection timings (-21 and -27oaTDC), E30 yields higher soot than E10; while the trend reverses for early injection cases (-36 and -45oaTDC). E100 yields the lowest amount of soot among all fuels irrespective of SOI timing. Further, E10 shows a non-monotonic trend in soot emissions with SOI timing: SOI-36>SOI-45>SOI-21>SOI-27, while soot emissions from E30 exhibit monotonic decrease with advancing SOI timing. NOx emissions from various fuels follow a trend of E10>E30>E100. NOx emissions increase as SOI timing is advanced for all fuels, with an anomaly for E10 and E100 where NOx decreases when SOI is advanced beyond -36oaTDC. Detailed analysis of the numerical results is performed to investigate the emission trends and elucidate the impact of chemical composition and physical properties on autoignition and emissions characteristics. △ Less

Submitted 15 March, 2024; originally announced March 2024.

Normal form for singular Bautin bifurcation in a slow-fast system with Holling type III functional response

Authors: Tapan Saha, Pranali Roy Chowdhury, Pallav Jyoti Pal, Malay Banerjee

Abstract: Over the last few decades, complex oscillations of slow-fast systems have been a key area of research. In the theory of slow-fast systems, the location of singular Hopf bifurcation and maximal canard is determined by computing the first Lyapunov coefficient. In particular, the analysis of canards is based on the genericity condition that the first Lyapunov coefficient must be non-zero. This manusc… ▽ More Over the last few decades, complex oscillations of slow-fast systems have been a key area of research. In the theory of slow-fast systems, the location of singular Hopf bifurcation and maximal canard is determined by computing the first Lyapunov coefficient. In particular, the analysis of canards is based on the genericity condition that the first Lyapunov coefficient must be non-zero. This manuscript aims to further extend the results to the case where the first Lyapunov coefficient vanishes. For that, the analytic expression of the second Lyapunov coefficient and the investigation of the normal form for codimension-2 singular Bautin bifurcation in a predator-prey system is done by explicitly identifying the locally invertible parameter-dependent transformations. A planar slow-fast predator-prey model with Holling type III functional response is considered here, where the prey population growth is affected by the weak Allee effect, and the prey reproduces much faster than the predator. Using geometric singular perturbation theory, normal form theory of slow-fast systems, and blow-up technique, we provide a detailed mathematical investigation of the system to show a variety of rich and complex nonlinear dynamics including but not limited to the existence of canards, relaxation oscillations, canard phenomena, singular Hopf bifurcation, and singular Bautin bifurcation. Additionally, numerical simulations are conducted to support the theoretical findings. △ Less

Submitted 22 July, 2023; originally announced July 2023.

MSC Class: 37C25; 37C75; 37N25; 34C23; 34C26

Unveiling the dynamics of canard cycles and global behaviour in a singularly perturbed predator-prey system with Allee effect in predator

Authors: Tapan Saha, Pallav Jyoti Pal

Abstract: In this article, we have considered a planar slow-fast modified Leslie-Gower predator-prey model with a weak Allee effect in the predator, based on the natural assumption that the prey reproduces far more quickly than the predator. We present a thorough mathematical analysis demonstrating the existence of homoclinic orbits, heteroclinic orbits, singular Hopf bifurcation, canard limit cycles, relax… ▽ More In this article, we have considered a planar slow-fast modified Leslie-Gower predator-prey model with a weak Allee effect in the predator, based on the natural assumption that the prey reproduces far more quickly than the predator. We present a thorough mathematical analysis demonstrating the existence of homoclinic orbits, heteroclinic orbits, singular Hopf bifurcation, canard limit cycles, relaxation oscillations, the birth of canard explosion by combining the normal form theory of slow-fast systems, Fenichel's theorem and blow-up technique near non-hyperbolic point. We have obtained very rich dynamical phenomena of the model, including the saddle-node, Hopf, transcritical bifurcation, generalized Hopf, cusp point, homoclinic orbit, heteroclinic orbit, and Bogdanov-Takens bifurcations. Moreover, we have investigated the global stability of the unique positive equilibrium, as well as bistability, which shows that the system can display either 'prey extinction', 'stable coexistence', or 'oscillating coexistence' depending on the initial population size and values of the system parameters. The theoretical findings are verified by numerical simulations. △ Less

Submitted 23 June, 2023; originally announced June 2023.

Comments: 26 pages, 13 figures

On Pythagorean triplets

Authors: Palash B. Pal

Abstract: We discuss properties of diophantine solutions of the Pythagoras equation, $a^2+b^2=c^2$, where the three numbers have no common factor. Some of the highlights are: (1) All triplets for which $c$ (called the `peak') is non-prime can be deduced from the triplets with prime peaks; (2) If a peak has $n+1$ prime factors, there are $2^n$ independent solutions of the Pythagoras equation; (3) All Pythago… ▽ More We discuss properties of diophantine solutions of the Pythagoras equation, $a^2+b^2=c^2$, where the three numbers have no common factor. Some of the highlights are: (1) All triplets for which $c$ (called the `peak') is non-prime can be deduced from the triplets with prime peaks; (2) If a peak has $n+1$ prime factors, there are $2^n$ independent solutions of the Pythagoras equation; (3) All Pythagorean peaks have to be of the form $12k+1$ or $12k+5$ for integer $k$; (4) A Pythagorean peak cannot have 3, or any number of the form $12k+7$ or $12k+11$, as its prime factors. △ Less

Submitted 13 June, 2023; originally announced June 2023.

Comments: 13 pages, pdflatex, no figure

Identifying symmetries and predicting cluster synchronization in complex networks

Authors: Pitambar Khanra, Subrata Ghosh, Karin Alfaro-Bittner, Prosenjit Kundu, Stefano Boccaletti, Chittaranjan Hens, Pinaki Pal

Abstract: Symmetries in a network connectivity regulate how the graph's functioning organizes into clustered states. Classical methods for tracing the symmetry group of a network require very high computational costs, and therefore they are of hard, or even impossible, execution for large sized graphs. We here unveil that there is a direct connection between the elements of the eigen-vector centrality and t… ▽ More Symmetries in a network connectivity regulate how the graph's functioning organizes into clustered states. Classical methods for tracing the symmetry group of a network require very high computational costs, and therefore they are of hard, or even impossible, execution for large sized graphs. We here unveil that there is a direct connection between the elements of the eigen-vector centrality and the clusters of a network. This gives a fresh framework for cluster analysis in undirected and connected graphs, whose computational cost is linear in $N$. We show that the cluster identification is in perfect agreement with symmetry based analyses, and it allows predicting the sequence of synchronized clusters which form before the eventual occurrence of global synchronization. △ Less

Submitted 31 July, 2021; v1 submitted 13 February, 2021; originally announced February 2021.

Comments: 5 pages, 3 figures (Communicated to Physical Review Letters)

System of unbiased representatives for a collection of bicolorings

Authors: Niranjan Balachandran, Rogers Mathew, Tapas Kumar Mishra, Sudebkumar Prasant Pal

Abstract: Let $\mathcal{B}$ denote a set of bicolorings of $[n]$, where each bicoloring is a mapping of the points in $[n]$ to $\{-1,+1\}$. For each $B \in \mathcal{B}$, let $Y_B=(B(1),\ldots,B(n))$. For each $A \subseteq [n]$, let $X_A \in \{0,1\}^n$ denote the incidence vector of $A$. A non-empty set $A$ is said to be an `unbiased representative' for a bicoloring $B \in \mathcal{B}$ if… ▽ More Let $\mathcal{B}$ denote a set of bicolorings of $[n]$, where each bicoloring is a mapping of the points in $[n]$ to $\{-1,+1\}$. For each $B \in \mathcal{B}$, let $Y_B=(B(1),\ldots,B(n))$. For each $A \subseteq [n]$, let $X_A \in \{0,1\}^n$ denote the incidence vector of $A$. A non-empty set $A$ is said to be an `unbiased representative' for a bicoloring $B \in \mathcal{B}$ if $\left\langle X_A,Y_B\right\rangle =0$. Given a set $\mathcal{B}$ of bicolorings, we study the minimum cardinality of a family $\mathcal{A}$ consisting of subsets of $[n]$ such that every bicoloring in $\mathcal{B}$ has an unbiased representative in $\mathcal{A}$. △ Less

Submitted 25 April, 2017; originally announced April 2017.

Comments: 14 pages, 1 figure

MSC Class: 05Dxx; 05C65; 05C15; 68R05 ACM Class: G.2.1; G.2.2

Induced bisecting families for hypergraphs

Authors: Niranjan Balachandran, Rogers Mathew, Tapas Kumar Mishra, Sudebkumar Prasant Pal

Abstract: Two $n$-dimensional vectors $A$ and $B$, $A,B \in \mathbb{R}^n$, are said to be \emph{trivially orthogonal} if in every coordinate $i \in [n]$, at least one of $A(i)$ or $B(i)$ is zero. Given the $n$-dimensional Hamming cube $\{0,1\}^n$, we study the minimum cardinality of a set $\mathcal{V}$ of $n$-dimensional $\{-1,0,1\}$ vectors, each containing exactly $d$ non-zero entries, such that every `po… ▽ More Two $n$-dimensional vectors $A$ and $B$, $A,B \in \mathbb{R}^n$, are said to be \emph{trivially orthogonal} if in every coordinate $i \in [n]$, at least one of $A(i)$ or $B(i)$ is zero. Given the $n$-dimensional Hamming cube $\{0,1\}^n$, we study the minimum cardinality of a set $\mathcal{V}$ of $n$-dimensional $\{-1,0,1\}$ vectors, each containing exactly $d$ non-zero entries, such that every `possible' point $A \in \{0,1\}^n$ in the Hamming cube has some $V \in \mathcal{V}$ which is orthogonal, but not trivially orthogonal, to $A$. We give asymptotically tight lower and (constructive) upper bounds for such a set $\mathcal{V}$ except for the even values of $d \in Ω(n^{0.5+ε})$, for any $ε$, $0< ε\leq 0.5$. △ Less

Submitted 12 January, 2017; v1 submitted 1 October, 2016; originally announced October 2016.

Comments: 9 pages, 1 figure

MSC Class: 05D05; 05C65 ACM Class: G.2.1; G.2.2; F.2.2

Sampling Requirements for Stable Autoregressive Estimation

Authors: Abbas Kazemipour, Sina Miran, Piya Pal, Behtash Babadi, Min Wu

Abstract: We consider the problem of estimating the parameters of a linear univariate autoregressive model with sub-Gaussian innovations from a limited sequence of consecutive observations. Assuming that the parameters are compressible, we analyze the performance of the $\ell_1$-regularized least squares as well as a greedy estimator of the parameters and characterize the sampling trade-offs required for st… ▽ More We consider the problem of estimating the parameters of a linear univariate autoregressive model with sub-Gaussian innovations from a limited sequence of consecutive observations. Assuming that the parameters are compressible, we analyze the performance of the $\ell_1$-regularized least squares as well as a greedy estimator of the parameters and characterize the sampling trade-offs required for stable recovery in the non-asymptotic regime. In particular, we show that for a fixed sparsity level, stable recovery of AR parameters is possible when the number of samples scale sub-linearly with the AR order. Our results improve over existing sampling complexity requirements in AR estimation using the LASSO, when the sparsity level scales faster than the square root of the model order. We further derive sufficient conditions on the sparsity level that guarantee the minimax optimality of the $\ell_1$-regularized least squares estimate. Applying these techniques to simulated data as well as real-world datasets from crude oil prices and traffic speed data confirm our predicted theoretical performance gains in terms of estimation accuracy and model selection. △ Less

Submitted 17 January, 2017; v1 submitted 4 May, 2016; originally announced May 2016.

Bisecting and D-secting families for set systems

Authors: Niranjan Balachandran, Rogers Mathew, Tapas Kumar Mishra, Sudebkumar Prasant Pal

Abstract: Let $n$ be any positive integer and $\mathcal{F}$ be a family of subsets of $[n]$. A family $\mathcal{F}'$ is said to be $D$-\emph{secting} for $\mathcal{F}$ if for every $A \in \mathcal{F}$, there exists a subset $A' \in \mathcal{F}'$ such that $|A \cap A'| - |A \cap ([n] \setminus A')|=i$, where $i \in D$, $D \subseteq \{-n,-n+1,\ldots,0,\ldots,n\}$. A $D$-\emph{secting} family… ▽ More Let $n$ be any positive integer and $\mathcal{F}$ be a family of subsets of $[n]$. A family $\mathcal{F}'$ is said to be $D$-\emph{secting} for $\mathcal{F}$ if for every $A \in \mathcal{F}$, there exists a subset $A' \in \mathcal{F}'$ such that $|A \cap A'| - |A \cap ([n] \setminus A')|=i$, where $i \in D$, $D \subseteq \{-n,-n+1,\ldots,0,\ldots,n\}$. A $D$-\emph{secting} family $\mathcal{F}'$ of $\mathcal{F}$, where $D=\{-1,0,1\}$, is a \emph{bisecting} family ensuring the existence of a subset $A' \in \mathcal{F}'$ such that $|A \cap A'| \in \{\lceil \frac{|A|}{2}\rceil,\lfloor \frac{|A|}{2}\rfloor\}$, for each $A \in \mathcal{F}$. In this paper, we study $D$-secting families for $\mathcal{F}$ with restrictions on $D$, and the cardinalities of $\mathcal{F}$ and the subsets of $\mathcal{F}$. △ Less

Submitted 20 February, 2019; v1 submitted 6 April, 2016; originally announced April 2016.

Comments: 15 pages, text overlap with https://www.ams.org/journals/tran/1987-300-01/S0002-9947-1987-0871675-6/S0002-9947-1987-0871675-6.pdf in Theorem 7

MSC Class: 05C65; 05C50; 05C15 ACM Class: G.2.2

Strong $(r,p)$ Cover for Hypergraphs

Authors: Tapas Kumar Mishra, Sudebkumar Prasant Pal

Abstract: We introduce the notion of the { \it strong $(r,p)$ cover} number $χ^c(G,k,r,p)$ for $k$-uniform hypergraphs $G(V,E)$, where $χ^c(G,k,r,p)$ denotes the minimum number of $r$-colorings of vertices in $V$ such that each hyperedge in $E$ contains at least $min(p,k)$ vertices of distinct colors in at least one of the $χ^c(G,k,r,p)$ $r$-colorings. We derive the exact values of $χ^c(K_n^k,k,r,p)$ for sm… ▽ More We introduce the notion of the { \it strong $(r,p)$ cover} number $χ^c(G,k,r,p)$ for $k$-uniform hypergraphs $G(V,E)$, where $χ^c(G,k,r,p)$ denotes the minimum number of $r$-colorings of vertices in $V$ such that each hyperedge in $E$ contains at least $min(p,k)$ vertices of distinct colors in at least one of the $χ^c(G,k,r,p)$ $r$-colorings. We derive the exact values of $χ^c(K_n^k,k,r,p)$ for small values of $n$, $k$, $r$ and $p$, where $K_n^k$ denotes the complete $k$-uniform hypergraph of $n$ vertices. We study the variation of $χ^c(G,k,r,p)$ with respect to changes in $k$, $r$, $p$ and $n$; we show that $χ^c(G,k,r,p)$ is at least (i) $χ^c(G,k,r-1,p-1)$, and, (ii) $χ^c(G',k-1,r,p-1)$, where $G'$ is any $(n-1)$-vertex induced sub-hypergraph of $G$. We establish a general upper bound for $χ^c(K_n^k,k,r,p)$ for complete $k$-uniform hypergraphs using a divide-and-conquer strategy for arbitrary values of $k$, $r$ and $p$. We also relate $χ^c(G,k,r,p)$ to the number $|E|$ of hyperedges, and the maximum {\it hyperedge degree (dependency)} $d(G)$, as follows. We show that $χ^c(G,k,r,p)\leq x$ for integer $x>0$, if $|E|\leq \frac{1}{2}({\frac{r^k}{(t-1)^k \binom{r}{t-1}}})^x $, for any $k$-uniform hypergraph. We prove that a { \it strong $(r,p)$ cover} of size $x$ can be computed in randomized polynomial time if $d(G)\leq \frac{1}{e}({\frac{r^k}{(p-1)^k \binom{r}{p-1}}})^x-1$. △ Less

Submitted 11 July, 2015; originally announced July 2015.

Bicoloring covers for graphs and hypergraphs

Authors: Tapas Kumar Mishra, Sudebkumar Prasant Pal

Abstract: Let the {\it bicoloring cover number $χ^c(G)$} for a hypergraph $G(V,E)$ be the minimum number of bicolorings of vertices of $G$ such that every hyperedge $e\in E$ of $G$ is properly bicolored in at least one of the $χ^c(G)$ bicolorings. We investigate the relationship between $χ^c(G)$, matchings, hitting sets, $α(G)$(independence number) and $χ(G)$ (chromatic number). We design a factor… ▽ More Let the {\it bicoloring cover number $χ^c(G)$} for a hypergraph $G(V,E)$ be the minimum number of bicolorings of vertices of $G$ such that every hyperedge $e\in E$ of $G$ is properly bicolored in at least one of the $χ^c(G)$ bicolorings. We investigate the relationship between $χ^c(G)$, matchings, hitting sets, $α(G)$(independence number) and $χ(G)$ (chromatic number). We design a factor $O(\frac{\log n}{\log \log n-\log \log \log n})$ approximation algorithm for computing a bicoloring cover. We define a new parameter for hypergraphs - "cover independence number $γ(G)$" and prove that $\log \frac{|V|}{γ(G)}$ and $\frac{|V|}{2γ(G)}$ are lower bounds for $χ^c(G)$ and $χ(G)$, respectively. We show that $χ^c(G)$ can be approximated by a polynomial time algorithm achieving approximation ratio $\frac{1}{1-t}$, if $γ(G)=n^t$, where $t<1$. We also construct a particular class of hypergraphs $G(V,E)$ called {\it cover friendly} hypergraphs where the ratio of $α(G)$ to $γ(G)$ can be arbitrarily large.We prove that for any $t\geq 1$, there exists a $k$-uniform hypergraph $G$ such that the {\it clique number} $ω(G)=k$ and $χ^c(G) > t$. Let $m(k,x)$ denote the minimum number of hyperedges %in a $k$-uniform hypergraph $G$ such that some $k$-uniform hypergraph $G$ with $m(k,x)$ hyperedges does not have a bicoloring cover of size $x$. We show that $ 2^{(k-1)x-1} < m(k,x) \leq x \cdot k^2 \cdot 2^{(k+1)x+2}$. Let the {\it dependency $d(G)$} of $G$ be the maximum number of hyperedge neighbors of any hyperedge in $G$. We propose an algorithm for computing a bicoloring cover of size $x$ for $G$ if $d(G) \leq(\frac{2^{x(k-1)}}{e}-1)$ using $nx+kx\frac{m}{d}$ random bits. △ Less

Submitted 5 March, 2016; v1 submitted 1 January, 2015; originally announced January 2015.

Comments: 20 pages, 3 figures

MSC Class: 05C15; 05C65 ACM Class: G.2.2; F.2.2

Faultfree Tromino Tilings of Rectangles

Authors: Mridul Aanjaneya, Sudebkumar Prasant Pal

Abstract: In this paper we consider faultfree tromino tilings of rectangles and characterize rectangles that admit such tilings. We introduce the notion of {\it crossing numbers} for tilings and derive bounds on the crossing numbers of faultfree tilings. We develop an iterative scheme for generating faultfree tromino tilings for rectangles and derive the closed form expression for the exact number of faul… ▽ More In this paper we consider faultfree tromino tilings of rectangles and characterize rectangles that admit such tilings. We introduce the notion of {\it crossing numbers} for tilings and derive bounds on the crossing numbers of faultfree tilings. We develop an iterative scheme for generating faultfree tromino tilings for rectangles and derive the closed form expression for the exact number of faultfree tromino tilings for $4\times3t$ rectangles and the exact generating function for $5\times 3t$ rectangles, $t\geq 1$. Our iterative scheme generalizes to arbitrary rectangles; for $6\times 6t$ and $7\times 6t$ rectangles, $t\geq 1$, we derive generating functions for estimating lower bounds on the number of faultfree tilings. We also derive an upper bound on the number of tromino tilings of an $m\times n$ rectangle, where $3|mn$ and $m,n>0$. △ Less

Submitted 30 October, 2006; originally announced October 2006.

Comments: 34 pages, 17 figures

Divisibility tests with weighted digital sums

Authors: Palash B. Pal

Abstract: We propose a divisibility test for all integers which have 1, 3, 7 or 9 in their unit's place. In particular, then, the test applies for all prime divisors except 2 and 5. We propose a divisibility test for all integers which have 1, 3, 7 or 9 in their unit's place. In particular, then, the test applies for all prime divisors except 2 and 5. △ Less

Submitted 1 July, 2005; originally announced July 2005.

Comments: 7 pages, Latex, no figures

A combinatorial approach for studying LOCC transformations of multipartite states

Authors: Sudhir Kumar Singh, Sudebkumar Prasant Pal, Somesh Kumar, R. Srikanth

Abstract: We develop graph theoretic methods for analysing maximally entangled pure states distributed between a number of different parties. We introduce a technique called {\it bicolored merging}, based on the monotonicity feature of entanglement measures, for determining combinatorial conditions that must be satisfied for any two distinct multiparticle states to be comparable under local operations and… ▽ More We develop graph theoretic methods for analysing maximally entangled pure states distributed between a number of different parties. We introduce a technique called {\it bicolored merging}, based on the monotonicity feature of entanglement measures, for determining combinatorial conditions that must be satisfied for any two distinct multiparticle states to be comparable under local operations and classical communication (LOCC). We present several results based on the possibility or impossibility of comparability of pure multipartite states. We show that there are exponentially many such entangled multipartite states among $n$ agents. Further, we discuss a new graph theoretic metric on a class of multi-partite states, and its implications. △ Less

Submitted 10 November, 2005; v1 submitted 18 June, 2004; originally announced June 2004.

Comments: To appear in the Journal of Mathematical Physics, 33 pages, 16 figures

Computing sharp and scalable bounds on errors in approximate zeros of univariate polynomials

Authors: P. H. D. Ramakrishna, Sudebkumar Prasant Pal, Samir Bhalla, Hironmay Basu, Sudhir Kumar Singh

Abstract: There are several numerical methods for computing approximate zeros of a given univariate polynomial. In this paper, we develop a simple and novel method for determining sharp upper bounds on errors in approximate zeros of a given polynomial using Rouche's theorem from complex analysis. We compute the error bounds using non-linear optimization. Our bounds are scalable in the sense that we comput… ▽ More There are several numerical methods for computing approximate zeros of a given univariate polynomial. In this paper, we develop a simple and novel method for determining sharp upper bounds on errors in approximate zeros of a given polynomial using Rouche's theorem from complex analysis. We compute the error bounds using non-linear optimization. Our bounds are scalable in the sense that we compute sharper error bounds for better approximations of zeros. We use high precision computations using the LEDA/real floating-point filter for computing our bounds robustly. △ Less

Submitted 2 June, 2003; originally announced June 2003.

Comments: 13 pages, no figures

ACM Class: F.2.1, G.1.0, G.1.5