-
Temperature Dependent Non-linear Dam** in Palladium Nano-mechanical Resonators
Authors:
Shelender Kumar,
S. Rebari,
Satyendra P. Pal,
S. S. Yadav,
Abhishek Kumar,
§ A. Aggarwal,
S. Indrajeet,
A. Venkatesan
Abstract:
Advances in nano-fabrication techniques has made it feasible to observe dam** phenomena beyond the linear regime in nano-mechanical systems. In this work, we report cubic non-linear dam** in palladium nano-mechanical resonators. Nano-scale palladium beams exposed to a $H_2$ atmosphere become softer and display enhanced Duffing non-linearity as well as non-linear dam** at ultra low temperatur…
▽ More
Advances in nano-fabrication techniques has made it feasible to observe dam** phenomena beyond the linear regime in nano-mechanical systems. In this work, we report cubic non-linear dam** in palladium nano-mechanical resonators. Nano-scale palladium beams exposed to a $H_2$ atmosphere become softer and display enhanced Duffing non-linearity as well as non-linear dam** at ultra low temperatures. The dam** is highest at the lowest temperatures of $\sim 110\: mK$ and decreases when warmed up-to $\sim 1\textrm{ }K$. We experimentally demonstrate for the first time a temperature dependent non-linear dam** in a nano-mechanical system below 1 K. It is consistent with a predicted two phonon mediated non-linear Akhiezer scenario for ballistic phonons with mean free path comparable to the beam thickness. This opens up new possibilities to engineer non-linear phenomena at low temperatures.
△ Less
Submitted 17 September, 2020;
originally announced September 2020.
-
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 map** 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 map** 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.
-
Low temperature dissipation scenarios in palladium nano-mechanical resonators
Authors:
S. Rebari,
Shelender Kumar,
S. Indrajeet,
Abhishek Kumar,
Satyendra P. Pal,
A. Venkatesan,
D. Weiss
Abstract:
We study dissipation in Pd nano-mechanical resonators at low temperatures in the linear response regime. Metallic resonators have shown characteristic features of dissipation due to tunneling two level systems (TLS). This system offers a unique tunability of the dissipation scenario by adsorbing hydrogen ($H_2$) which induces a compressive stress. The intrinsic stress is expected to alter TLS beha…
▽ More
We study dissipation in Pd nano-mechanical resonators at low temperatures in the linear response regime. Metallic resonators have shown characteristic features of dissipation due to tunneling two level systems (TLS). This system offers a unique tunability of the dissipation scenario by adsorbing hydrogen ($H_2$) which induces a compressive stress. The intrinsic stress is expected to alter TLS behaviour. We find a sub-linear power law $\sim T^{0.4}$ in dissipation. As seen in TLS dissipation scenarios we find a logarithmic increase of frequency characteristic from the lowest temperatures till a characteristic temperature $T_{co}$ is reached. In samples without $H_2$ the $T_{co} \sim 1K$ whereas with $H_2$ it is clearly reduced to $\sim 700 mK$. Based on standard TLS phenomena we attribute this to enhanced phonon-TLS coupling in samples with compressive strain. We also find with $H_2$ there is a saturation in low temperature dissipation which may possibly be due to super-radiant interaction between TLS and phonons. We discuss the data in the scope of TLS phenomena and similar data for other systems.
△ Less
Submitted 23 December, 2016;
originally announced December 2016.
-
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.
-
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.
-
A National Effort for Motivating Indian Students and Teachers towards Algorithmic Research
Authors:
Subir Kumar Ghosh,
Sudebkumar Prasant Pal
Abstract:
During 2008-2015, twenty-two introductory workshops on graph and geometric algorithms were organized for teachers and students (undergraduate, post-graduate and doctoral) of engineering colleges and universities at different states and union territories of India. The lectures were meant to provide exposure to the field of graph and geometric algorithms and to motivate the participants towards rese…
▽ More
During 2008-2015, twenty-two introductory workshops on graph and geometric algorithms were organized for teachers and students (undergraduate, post-graduate and doctoral) of engineering colleges and universities at different states and union territories of India. The lectures were meant to provide exposure to the field of graph and geometric algorithms and to motivate the participants towards research. Fifty-eight professors from TIFR, IITs, IISc, IMSc, CMI, ISI Kolkata, and other institutes and universities delivered invited lectures on different topics in the design and analysis of algorithms, discrete applied mathematics, computer graphics, computer vision, and robotics. The first four workshops were funded by TIFR, BRNS and IIT Kharagpur, and the remaining workshops were funded by the NBHM. In this paper, we present the salient features of these workshops, and state our observations on the national impact of these workshops.
△ Less
Submitted 6 March, 2016; v1 submitted 22 July, 2015;
originally announced July 2015.
-
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.
-
An extremal problem in proper $(r,p)$-coloring of hypergraphs
Authors:
Tapas Kumar Mishra,
Sudebkumar Prasant Pal
Abstract:
Let $G(V,E)$ be a $k$-uniform hypergraph. A hyperedge $e \in E$ is said to be properly $(r,p)$ colored by an $r$-coloring of vertices in $V$ if $e$ contains vertices of at least $p$ distinct colors in the $r$-coloring. An $r$-coloring of vertices in $V$ is called a {\it strong $(r,p)$ coloring} if every hyperedge $e \in E$ is properly $(r,p)$ colored by the $r$-coloring. We study the maximum numbe…
▽ More
Let $G(V,E)$ be a $k$-uniform hypergraph. A hyperedge $e \in E$ is said to be properly $(r,p)$ colored by an $r$-coloring of vertices in $V$ if $e$ contains vertices of at least $p$ distinct colors in the $r$-coloring. An $r$-coloring of vertices in $V$ is called a {\it strong $(r,p)$ coloring} if every hyperedge $e \in E$ is properly $(r,p)$ colored by the $r$-coloring. We study the maximum number of hyperedges that can be properly $(r,p)$ colored by a single $r$-coloring and the structures that maximizes number of properly $(r,p)$ colored hyperedges.
△ Less
Submitted 9 July, 2015;
originally announced July 2015.
-
Maximum weighted independent sets with a budget
Authors:
Tushar Kalra,
Rogers Mathew,
Sudebkumar Prasant Pal,
Vijay Pandey
Abstract:
Given a graph $G$, a non-negative integer $k$, and a weight function that maps each vertex in $G$ to a positive real number, the \emph{Maximum Weighted Budgeted Independent Set (MWBIS) problem} is about finding a maximum weighted independent set in $G$ of cardinality at most $k$. A special case of MWBIS, when the weight assigned to each vertex is equal to its degree in $G$, is called the \emph{Max…
▽ More
Given a graph $G$, a non-negative integer $k$, and a weight function that maps each vertex in $G$ to a positive real number, the \emph{Maximum Weighted Budgeted Independent Set (MWBIS) problem} is about finding a maximum weighted independent set in $G$ of cardinality at most $k$. A special case of MWBIS, when the weight assigned to each vertex is equal to its degree in $G$, is called the \emph{Maximum Independent Vertex Coverage (MIVC)} problem. In other words, the MIVC problem is about finding an independent set of cardinality at most $k$ with maximum coverage.
Since it is a generalization of the well-known Maximum Weighted Independent Set (MWIS) problem, MWBIS too does not have any constant factor polynomial time approximation algorithm assuming $P \neq NP$. In this paper, we study MWBIS in the context of bipartite graphs. We show that, unlike MWIS, the MIVC (and thereby the MWBIS) problem in bipartite graphs is NP-hard. Then, we show that the MWBIS problem admits a $\frac{1}{2}$-factor approximation algorithm in the class of bipartite graphs, which matches the integrality gap of a natural LP relaxation.
△ Less
Submitted 19 July, 2015; v1 submitted 25 June, 2015;
originally announced June 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.
-
Thermal noise induced stochastic resonance in self organizing Fe nanoparticle system
Authors:
Satyendra Prakash Pal,
P Sen
Abstract:
The natural world is replete with examples of multistable systems, known to respond to periodic modulations and produce a signal, which exhibits resonance with noise amplitude. This is a concept not demonstrated in pure materials, which involve a measured physical property. In a thermoremanent magnetization experiment with a common magnetic material, Fe, in the nanoparticulate form, we establish h…
▽ More
The natural world is replete with examples of multistable systems, known to respond to periodic modulations and produce a signal, which exhibits resonance with noise amplitude. This is a concept not demonstrated in pure materials, which involve a measured physical property. In a thermoremanent magnetization experiment with a common magnetic material, Fe, in the nanoparticulate form, we establish how magnetization in a system of dilute spins during dissipation of stored magnetic energy, breaks up into spontaneous oscillatory behavior. Starting at 175 K and aided by temperature (stochastic noise) the oscillation amplitude goes through a maximum, reminiscent of stochastic resonance. Our observation of thermal noise induced coherent resonance is due to intrinsic self-organizing magnetic dynamics of the Fe nanoperticle system without applying any external periodic force. These results yield new possibilities in design of magnetic materials and a platform to understand stochastic interference and phase synchronization in neural activity, as models for neural communication.
△ Less
Submitted 14 July, 2014;
originally announced July 2014.
-
Synthesis and Characterization of Nanocomposites of Fe Nanoparticles and Activated Carbon
Authors:
Satyendra Prakash Pal,
P. Sen
Abstract:
We have synthesized the bulk form of the superparamagnetic nanocomposites of Fe nanoparticles and activated carbon. Here highly porous feature of activated carbon and magnetic properties of Fe nanoparticles were combined together to form the nanocomposites by mechanical mixing of different proportion of both of them. These nanocomposites are characterized by various characterization techniques lik…
▽ More
We have synthesized the bulk form of the superparamagnetic nanocomposites of Fe nanoparticles and activated carbon. Here highly porous feature of activated carbon and magnetic properties of Fe nanoparticles were combined together to form the nanocomposites by mechanical mixing of different proportion of both of them. These nanocomposites are characterized by various characterization techniques like X-ray diffraction (XRD), transmission electron microscopy (TEM), magnetization measurement and Mössbauer spectroscopy. The observed XRD patterns have shown most intense peaks at 2θ = 44.8 degree, which correspond to the (110) plane of the pure Fe in body centered cubic phase. Average particles sizes obtained by TEM imaging are in the range of 20 nm, which are below the required limit for Fe nanoparticles to be in superparamagnetic phase. The superparamagnetic nature of the nanocomposites together with trace amount of the ferromagnetic phase was confirmed by magnetization measurements and Mössbauer spectroscopy. Particles size calculated by the Langavin function fitting of the magnetization vs magnetic field curves are in qualitatively good agreement with the size obtained from TEM imaging.
△ Less
Submitted 9 April, 2014;
originally announced April 2014.
-
Evolution of magnetic dynamics in an artificially frustrated Fe nanoparticle system
Authors:
Satyendra Prakash Pal,
P. Sen
Abstract:
Frustrated lattices1-3, characterized by minor breakdown in local order in an otherwise periodic lattice, lead to simultaneous possibilities of several ground states which can trigger unique physical properties, in condensed matter systems. In magnetic materials with atomic spins, frustration takes another shape with added possibilities to construct various topological arrangements of spins, where…
▽ More
Frustrated lattices1-3, characterized by minor breakdown in local order in an otherwise periodic lattice, lead to simultaneous possibilities of several ground states which can trigger unique physical properties, in condensed matter systems. In magnetic materials with atomic spins, frustration takes another shape with added possibilities to construct various topological arrangements of spins, whereby magnetic order is disturbed2,4. We have achieved a new approach to introduce positional atomic disorder inside a Fe nanoparticle lattice, forming domains without boundaries to study magnetic dynamics of the constituent spins. This magnetism overrides the exchange bias derived magnetic enhancement, appears only at temperatures around 200 K and is characterized by a dynamic polarity, p = +/-1 (positive or negative) with a precise frequency. The material otherwise behaves like a superparamagnet with characteristic magnetization behaviour at room temperature and 2 K.
△ Less
Submitted 4 April, 2014;
originally announced April 2014.
-
An Algorithm for Computing Constrained Reflection Paths in Simple Polygon
Authors:
Arijit Bishnu,
Subir Kumar Ghosh,
Partha Pratim Goswami,
Sudebkumar Prasant Pal,
Swami Sarvattomananda
Abstract:
Let $s$ be a source point and $t$ be a destination point inside an $n$-vertex simple polygon $P$. Euclidean shortest paths and minimum-link paths between $s$ and $t$ inside $P$ have been well studied. Both these kinds of paths are simple and piecewise-convex. However, computing optimal paths in the context of diffuse or specular reflections does not seem to be an easy task. A path from a light sou…
▽ More
Let $s$ be a source point and $t$ be a destination point inside an $n$-vertex simple polygon $P$. Euclidean shortest paths and minimum-link paths between $s$ and $t$ inside $P$ have been well studied. Both these kinds of paths are simple and piecewise-convex. However, computing optimal paths in the context of diffuse or specular reflections does not seem to be an easy task. A path from a light source $s$ to $t$ inside $P$ is called a diffuse reflection path if the turning points of the path lie in the interiors of the boundary edges of $P$. A diffuse reflection path is said to be optimal if it has the minimum number of turning points amongst all diffuse reflection paths between $s$ and $t$. The minimum diffuse reflection path may not be simple. The problem of computing the minimum diffuse reflection path in low degree polynomial time has remained open.
In our quest for understanding the geometric structure of the minimum diffuse reflection paths vis-a-vis shortest paths and minimum link paths, we define a new kind of diffuse reflection path called a constrained diffuse reflection path where (i) the path is simple, (ii) it intersects only the eaves of the Euclidean shortest path between $s$ and $t$, and (iii) it intersects each eave exactly once. For computing a minimum constrained diffuse reflection path from $s$ to $t$, we present an $O(n(n+β))$ time algorithm, where $β=Θ(n^2)$ in the worst case. Here, $β$ depends on the shape of the polygon. We also establish some properties relating minimum constrained diffuse reflection paths and minimum diffuse reflection paths. Constrained diffuse reflection paths introduced in this paper provide new geometric insights into the hitherto unknown structures and shapes of optimal reflection paths.
△ Less
Submitted 1 May, 2014; v1 submitted 15 April, 2013;
originally announced April 2013.
-
Hypergraph-theoretic charaterizations for LOCC incomparable ensembles of multipartite CAT states
Authors:
Arijit Ghosh,
Sudebkumar Prasant Pal,
Anupam Prakash,
Virendra Singh Shekhawat
Abstract:
Using graphs and hypergraphs to systematically model collections of arbitrary subsets of parties representing {\it ensembles (or collections)} of shared multipartite CAT states, we study transformations between such {\it ensembles} under {\it local operations and classical communication (LOCC)}. We show using partial entropic criteria, that any two such distinct ensembles represented by {\it…
▽ More
Using graphs and hypergraphs to systematically model collections of arbitrary subsets of parties representing {\it ensembles (or collections)} of shared multipartite CAT states, we study transformations between such {\it ensembles} under {\it local operations and classical communication (LOCC)}. We show using partial entropic criteria, that any two such distinct ensembles represented by {\it $r$-uniform hypergraphs} with the same number of hyperedges (CAT states), are LOCC incomparable for even integers $r\geq 2$, generalizing results in \cite{mscthesis,sin:pal:kum:sri}. We show that the cardinality of the largest set of mutually LOCC incomparable ensembles represented by $r$-uniform hypergraphs for even $r\geq 2$, is exponential in the number of parties. We also demonstrate LOCC incomparability between two ensembles represented by 3-uniform hypergraphs where partial entropic criteria do not help in establishing incomparability. Further we characterize LOCC comparability of EPR graphs in a model where LOCC is restricted to teleportation and edge destruction. We show that this model is equivalent to one in which LOCC transformations are carried out through a sequence of operations where each operation adds at most one new EPR pair.
△ Less
Submitted 22 October, 2007; v1 submitted 1 September, 2007;
originally announced September 2007.
-
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.
-
Constant communication complexity protocols for multiparty accumulative boolean functions
Authors:
Sudebkumar Prasant Pal,
Sima Das,
Somesh Kumar
Abstract:
Generalizing a boolean function from Cleve and Buhrman \cite{cb:sqec}, we consider the class of {\it accumulative boolean functions} of the form $f_B(X_1,X_2,..., X_m)=\bigoplus_{i=1}^n t_B(x_i^1x_i^2... x_i^m)$, where $X_j=(x^j_1,x^j_2,..., x^j_n), 1\leq j\leq m$ and $t_B(x_i^1x_i^2... x_i^m)=1$ for input $m$-tuples $x_i^1x_i^2...x_i^m\in B\subseteq A\subseteq \{0,1\}^n$, and 0, if…
▽ More
Generalizing a boolean function from Cleve and Buhrman \cite{cb:sqec}, we consider the class of {\it accumulative boolean functions} of the form $f_B(X_1,X_2,..., X_m)=\bigoplus_{i=1}^n t_B(x_i^1x_i^2... x_i^m)$, where $X_j=(x^j_1,x^j_2,..., x^j_n), 1\leq j\leq m$ and $t_B(x_i^1x_i^2... x_i^m)=1$ for input $m$-tuples $x_i^1x_i^2...x_i^m\in B\subseteq A\subseteq \{0,1\}^n$, and 0, if $x_i^1x_i^2...x_i^m\in A\setminus B$. Here the set $A$ is the input {\it promise} set for function $f_B$. The input vectors $X_j, 1\leq j\leq m$ are given to the $m\geq 3$ parties respectively, who communicate cbits in a distributed environment so that one of them (say Alice) comes up with the value of the function. We algebraically characterize entanglement assisted LOCC protocols requiring only $m-1$ cbits of communication for such multipartite boolean functions $f_B$, for certain sets $B\subseteq \{0,1\}^n$, for $m\geq 3$ parties under appropriate uniform parity promise restrictions on input $m$-tuples $x_i^1x_i^2...x_i^m, 1\leq i\leq n$. We also show that these functions can be computed using $2m-3$ cbits in a purely classical deterministic setup. In contrast, for certain $m$-party accumulative boolean functions ($m\geq 2$), we characterize promise sets of mixed parity for input $m$-tuples so that $m-1$ cbits of communication suffice in computing the functions in the absence of any a priori quantum entanglement. We compactly represent all these protocols and the corresponding input promise restrictions using uniform group theoretic and hamming distance characterizations.
△ Less
Submitted 13 June, 2006; v1 submitted 7 October, 2005;
originally announced October 2005.
-
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.
-
Multi-partite Quantum Entanglement versus Randomization: Fair and Unbiased Leader Election in Networks
Authors:
Sudebkumar Prasant Pal,
Sudhir Kumar Singh,
Somesh Kumar
Abstract:
In this paper we show that sufficient multi-partite quantum entanglement helps in fair and unbiased election of a leader in a distributed network of processors with only linear classical communication complexity. We show that a total of $O(\log n)$ distinct multi-partite maximally entanglement sets (ebits) are capable of supporting such a protocol in the presence of nodes that may lie and thus b…
▽ More
In this paper we show that sufficient multi-partite quantum entanglement helps in fair and unbiased election of a leader in a distributed network of processors with only linear classical communication complexity. We show that a total of $O(\log n)$ distinct multi-partite maximally entanglement sets (ebits) are capable of supporting such a protocol in the presence of nodes that may lie and thus be biased. Here, $n$ is the number of nodes in the network. We also demonstrate the difficulty of performing unbiased and fair election of a leader with linear classical communication complexity in the absence of quantum entanglement even if all nodes have perfect random bit generators. We show that the presence of a sufficient number $O(n/\log n)$ of biased agents leads to a non-zero limiting probability of biased election of the leader, whereas, the presence of a smaller number $O(\log n)$ of biased agents matters little. We define two new related complexity classes motivated by the our leader election problem and discuss a few open questions.
△ Less
Submitted 29 June, 2003;
originally announced June 2003.
-
Characterizing the combinatorics of distributed EPR pairs for multi-partite entanglement
Authors:
Sudhir Kumar Singh,
Somesh Kumar,
Sudebkumar Prasant Pal
Abstract:
We develop protocols for preparing a GHZ state and, in general,a pure multi-partite maximally entangled state in a distributed network with apriori quantum entanglement between agents using classical communication and local operations. We investigate and characterize the minimal combinatorics of the sharing of EPR pairs required amongst agents in a network for the creation of multi-partite entan…
▽ More
We develop protocols for preparing a GHZ state and, in general,a pure multi-partite maximally entangled state in a distributed network with apriori quantum entanglement between agents using classical communication and local operations. We investigate and characterize the minimal combinatorics of the sharing of EPR pairs required amongst agents in a network for the creation of multi-partite entanglement. We also characterize the minimal combinatorics of agents in the creation of pure maximal multi-partite entanglement amongst the set $N$ of $n$ agents in a network using apriori multi-partite entanglement states amongst subsets of $N$. We propose protocols for establishing multi-partite entanglement in the above cases.
△ Less
Submitted 1 January, 2004; v1 submitted 6 June, 2003;
originally announced June 2003.
-
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.
-
On multiple connectedness of regions visible due to multiple diffuse reflections
Authors:
Sudebkumar Prasant Pal,
Dilip Sarkar
Abstract:
It is known that the region $V(s)$ of a simple polygon $P$, directly visible (illuminable) from an internal point $s$, is simply connected. Aronov et al. \cite{addpp981} established that the region $V_1(s)$ of a simple polygon visible from an internal point $s$ due to at most one diffuse reflection on the boundary of the polygon $P$, is also simply connected. In this paper we establish that the…
▽ More
It is known that the region $V(s)$ of a simple polygon $P$, directly visible (illuminable) from an internal point $s$, is simply connected. Aronov et al. \cite{addpp981} established that the region $V_1(s)$ of a simple polygon visible from an internal point $s$ due to at most one diffuse reflection on the boundary of the polygon $P$, is also simply connected. In this paper we establish that the region $V_2(s)$, visible from $s$ due to at most two diffuse reflections may be multiply connected; we demonstrate the construction of an $n$-sided simple polygon with a point $s$ inside it so that and the region of $P$ visible from $s$ after at most two diffuse reflections is multiple connected.
△ Less
Submitted 2 June, 2003;
originally announced June 2003.