-
The Amazing Mysteries of the Gutter: Drawing Inferences Between Panels in Comic Book Narratives
Authors:
Mohit Iyyer,
Varun Manjunatha,
Anupam Guha,
Yogarshi Vyas,
Jordan Boyd-Graber,
Hal Daumé III,
Larry Davis
Abstract:
Visual narrative is often a combination of explicit information and judicious omissions, relying on the viewer to supply missing details. In comics, most movements in time and space are hidden in the "gutters" between panels. To follow the story, readers logically connect panels together by inferring unseen actions through a process called "closure". While computers can now describe what is explic…
▽ More
Visual narrative is often a combination of explicit information and judicious omissions, relying on the viewer to supply missing details. In comics, most movements in time and space are hidden in the "gutters" between panels. To follow the story, readers logically connect panels together by inferring unseen actions through a process called "closure". While computers can now describe what is explicitly depicted in natural images, in this paper we examine whether they can understand the closure-driven narratives conveyed by stylized artwork and dialogue in comic book panels. We construct a dataset, COMICS, that consists of over 1.2 million panels (120 GB) paired with automatic textbox transcriptions. An in-depth analysis of COMICS demonstrates that neither text nor image alone can tell a comic book story, so a computer must understand both modalities to keep up with the plot. We introduce three cloze-style tasks that ask models to predict narrative and character-centric aspects of a panel given n preceding panels as context. Various deep neural architectures underperform human baselines on these tasks, suggesting that COMICS contains fundamental challenges for both vision and language.
△ Less
Submitted 7 May, 2017; v1 submitted 15 November, 2016;
originally announced November 2016.
-
On a new non-Boussinesq instability in stratified lakes and oceans
Authors:
Mihir H. Shete,
Anirban Guha
Abstract:
Lakes and many other geophysical flows are shallow, density stratified, and contain a free-surface. Conventional studies on stratified shear instabilities make Boussinesq approximation. Free-surface arising due to large density variations between air and water cannot be taken into consideration under this approximation. Hence the free-surface is usually replaced by a rigid-lid, and therefore has l…
▽ More
Lakes and many other geophysical flows are shallow, density stratified, and contain a free-surface. Conventional studies on stratified shear instabilities make Boussinesq approximation. Free-surface arising due to large density variations between air and water cannot be taken into consideration under this approximation. Hence the free-surface is usually replaced by a rigid-lid, and therefore has little effect on the stability of the fluid below it. In this paper we have performed non-Boussinesq linear stability analyses of a double circulation velocity profile prevalent in two-layered density stratified lakes. One of our analyses is performed by considering the presence of wind, while the other one considers quiescent air. Both analyses have shown similar growth rates and stability boundaries. We have compared our non-Boussinesq study with a corresponding Boussinesq one. The maximum non-Boussinesq growth rate is found to be an order of magnitude greater than the maximum Boussinesq growth rate. Furthermore, the stability curves in these two studies are very different. The non-Boussinesq instability as well as the Boussinseq one can become three dimensional in some sub-ranges of the bulk Richardson number. An analytical study has also been conducted on a simple broken-line profile representing double circulation in order to complement the numerical stability analysis. The analytical growth rates are in good agreement with the non-Boussinesq numerical growth rates observed in continuous profiles. The physical mechanism behind this non-Boussinesq instability is the resonant interaction between a surface vorticity-gravity wave existing at the free-surface (air-water interface), and an interfacial vorticity-gravity wave existing at the pycnocline (warm and cold water interface). We expect similar kind of non-Boussinesq instability to occur in the upper layer of oceans.
△ Less
Submitted 26 October, 2016;
originally announced October 2016.
-
Power generation on a solar photovoltaic modules integrated Lighter-than-Air Platform at a low altitude
Authors:
Kuntal Ghosh,
Anirban Guha,
Siddharth P. Duttagupta
Abstract:
Use of lighter than air platforms (aerostats and airships) for reconnaissance and surveillance over long periods can be facilitated by generation of power on-board through solar photovoltaic arrays. Attempts to integrate solar photovoltaic modules on such contoured surfaces leads to multiple challenges ranging from the choice of solar modules, determination of best method of their integration with…
▽ More
Use of lighter than air platforms (aerostats and airships) for reconnaissance and surveillance over long periods can be facilitated by generation of power on-board through solar photovoltaic arrays. Attempts to integrate solar photovoltaic modules on such contoured surfaces leads to multiple challenges ranging from the choice of solar modules, determination of best method of their integration with the lighter than air platform, and design of the array layout in order to optimize the loss of power due to non-uniform illumination. This paper describes the method of designing such a system and suggests strategies for overcoming these challenges. The issue of non-uniform illumination has been tackled by maximum power point tracking using the scanning window technique for maximizing power generation and an algorithm of distributed maximum power point tracking has been suggested for further improvement. The procedure described in this paper can be used for obtaining the optimum power generation capability of a solar photovoltaic array mounted on a lighter than air platform of a given volume and payload carrying capability.
△ Less
Submitted 23 October, 2016;
originally announced October 2016.
-
Non-linear dynamics induced by linear wave interactions in multi-layered flows
Authors:
Anirban Guha,
Firdaus E. Udwadia
Abstract:
Using simple kinematics, we propose a general theory of linear wave interactions between the interfacial waves of a two dimensional (2D), inviscid, multi-layered fluid system. The strength of our formalism is that one does not have to specify the physics of the waves in advance. Wave interactions may lead to instabilities, which may or may not be of the familiar "normal-mode" type. Contrary to int…
▽ More
Using simple kinematics, we propose a general theory of linear wave interactions between the interfacial waves of a two dimensional (2D), inviscid, multi-layered fluid system. The strength of our formalism is that one does not have to specify the physics of the waves in advance. Wave interactions may lead to instabilities, which may or may not be of the familiar "normal-mode" type. Contrary to intuition, the underlying dynamical system describing linear wave interactions is found to be non-linear. Specifically, a saw-tooth jet profile with three interfaces possessing kinematic and geometric symmetry is explored. Fixed points of the system for different ranges of a Froude number like control parameter $γ$ are derived, and their stability evaluated. Depending upon the initial condition and $γ$, the dynamical system may reveal transient growth, weakly positive Lyapunov exponents, as well as different non-linear phenomena such as formation of periodic and pseudo-periodic orbits. All these occur for those ranges of $γ$ where normal-mode theory predicts neutral stability. Such rich non-linear phenomena is not observed in 2D dynamical system resulting from the $2$-wave problem, which only reveals stable and unstable nodes.
△ Less
Submitted 22 January, 2017; v1 submitted 3 April, 2016;
originally announced April 2016.
-
Similarity-based Text Recognition by Deeply Supervised Siamese Network
Authors:
Ehsan Hosseini-Asl,
Angshuman Guha
Abstract:
In this paper, we propose a new text recognition model based on measuring the visual similarity of text and predicting the content of unlabeled texts. First a Siamese convolutional network is trained with deep supervision on a labeled training dataset. This network projects texts into a similarity manifold. The Deeply Supervised Siamese network learns visual similarity of texts. Then a K-nearest n…
▽ More
In this paper, we propose a new text recognition model based on measuring the visual similarity of text and predicting the content of unlabeled texts. First a Siamese convolutional network is trained with deep supervision on a labeled training dataset. This network projects texts into a similarity manifold. The Deeply Supervised Siamese network learns visual similarity of texts. Then a K-nearest neighbor classifier is used to predict unlabeled text based on similarity distance to labeled texts. The performance of the model is evaluated on three datasets of machine-print and hand-written text combined. We demonstrate that the model reduces the cost of human estimation by $50\%-85\%$. The error of the system is less than $0.5\%$. The proposed model outperform conventional Siamese network by finding visually-similar barely-readable and readable text, e.g. machine-printed, handwritten, due to deep supervision. The results also demonstrate that the predicted labels are sometimes better than human labels e.g. spelling correction.
△ Less
Submitted 4 July, 2016; v1 submitted 13 November, 2015;
originally announced November 2015.
-
The Essence of JavaScript
Authors:
Arjun Guha,
Claudiu Saftoiu,
Shriram Krishnamurthi
Abstract:
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. We explicate the desugaring process that turns JavaScript programs into ones in the core. We demonstrate faithfulness to JavaScript using real-world test suites. Finally, we illustrate utility by defining a security prope…
▽ More
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. We explicate the desugaring process that turns JavaScript programs into ones in the core. We demonstrate faithfulness to JavaScript using real-world test suites. Finally, we illustrate utility by defining a security property, implementing it as a type system on the core, and extending it to the full language.
△ Less
Submitted 4 October, 2015;
originally announced October 2015.
-
q-deformed statistics and the role of a light fermionic dark matter in the supernova SN1987A cooling
Authors:
Atanu Guha,
Selvaganapathy. J,
Prasanta Kumar Das
Abstract:
Light dark matter($\simeq 1-30~\rm{MeV}$) particles pair produced in electron-positron annihilation $ e^-e^+ \stackrelγ{\longrightarrow} χ\barχ$ inside the supernova core can take away the energy released in the supernova SN1987A explosion. Working within the formalism of $q$-deformed statistics (with the average value of the supernovae core temperature(fluctuating) being $T_{SN} = 30~\rm{MeV}$) a…
▽ More
Light dark matter($\simeq 1-30~\rm{MeV}$) particles pair produced in electron-positron annihilation $ e^-e^+ \stackrelγ{\longrightarrow} χ\barχ$ inside the supernova core can take away the energy released in the supernova SN1987A explosion. Working within the formalism of $q$-deformed statistics (with the average value of the supernovae core temperature(fluctuating) being $T_{SN} = 30~\rm{MeV}$) and using the Raffelt's criterion on the emissivity for any new channel $\dot{\varepsilon}(e^+ e^- \to χ\overlineχ) \le 10^{19}~{erg~g^{-1}s^{-1}}$, we find that as the deformation parameter $q$ changes from $1.0$ (undeformed scenario) to $1.1$(deformed scenario), the lower bound on the scale $Λ$ of the dark matter effective theory varies from $3.3\times 10^6$ TeV to $3.2 \times 10^7$ TeV for a dark matter fermion of mass $m_χ= 30~\rm{MeV}$. Using the optical depth criteria on the free streaming of the dark matter fermion, we find the lower bound on $Λ\sim 10^{8}~\rm{TeV}$ for $m_χ= 30~\rm{MeV}$. In a scenerio,where the dark matter fermions are pair produced in the outermost sector of the supernova core (with radius $0.9 R_c \le r \le R_c$, $R_c (=10~\rm{km})$ being the supernova core radius or the radius of proto-neutron star), we find that the bound on $Λ$ ($\sim 3 \times 10^7$ TeV)obtained from SN cooling criteria (Raffelt's criteria) is comparable with the bound obtained from free streaming (optical depth criterion) for light fermion dark matter of mass $m_χ=10 - 30$ MeV.
△ Less
Submitted 23 November, 2016; v1 submitted 19 September, 2015;
originally announced September 2015.
-
Rehearsal: A Configuration Verification Tool for Puppet
Authors:
Rian Shambaugh,
Aaron Weiss,
Arjun Guha
Abstract:
Large-scale data centers and cloud computing have turned system configuration into a challenging problem. Several widely-publicized outages have been blamed not on software bugs, but on configuration bugs. To cope, thousands of organizations use system configuration languages to manage their computing infrastructure. Of these, Puppet is the most widely used with thousands of paying customers and m…
▽ More
Large-scale data centers and cloud computing have turned system configuration into a challenging problem. Several widely-publicized outages have been blamed not on software bugs, but on configuration bugs. To cope, thousands of organizations use system configuration languages to manage their computing infrastructure. Of these, Puppet is the most widely used with thousands of paying customers and many more open-source users. The heart of Puppet is a domain-specific language that describes the state of a system. Puppet already performs some basic static checks, but they only prevent a narrow range of errors. Furthermore, testing is ineffective because many errors are only triggered under specific machine states that are difficult to predict and reproduce. With several examples, we show that a key problem with Puppet is that configurations can be non-deterministic.
This paper presents Rehearsal, a verification tool for Puppet configurations. Rehearsal implements a sound, complete, and scalable determinacy analysis for Puppet. To develop it, we (1) present a formal semantics for Puppet, (2) use several analyses to shrink our models to a tractable size, and (3) frame determinism-checking as decidable formulas for an SMT solver. Rehearsal then leverages the determinacy analysis to check other important properties, such as idempotency. Finally, we apply Rehearsal to several real-world Puppet configurations.
△ Less
Submitted 17 May, 2016; v1 submitted 16 September, 2015;
originally announced September 2015.
-
Morpheus: Safe and Flexible Dynamic Updates for SDNs
Authors:
Karla Saur,
Joseph Collard,
Nate Foster,
Arjun Guha,
Laurent Vanbever,
Michael Hicks
Abstract:
SDN controllers must be periodically modified to add features, improve performance, and fix bugs, but current techniques for implementing dynamic updates are inadequate. Simply halting old controllers and bringing up new ones can cause state to be lost, which often leads to incorrect behavior-e.g., if the state represents hosts blacklisted by a firewall, then traffic that should be blocked may be…
▽ More
SDN controllers must be periodically modified to add features, improve performance, and fix bugs, but current techniques for implementing dynamic updates are inadequate. Simply halting old controllers and bringing up new ones can cause state to be lost, which often leads to incorrect behavior-e.g., if the state represents hosts blacklisted by a firewall, then traffic that should be blocked may be allowed to pass through. Techniques based on record and replay can reconstruct state automatically, but they are expensive to deploy and can lead to incorrect behavior. Problematic scenarios are especially likely to arise in distributed controllers and with semantics-altering updates.
This paper presents a new approach to implementing dynamic controller updates based on explicit state transfer. Instead of attempting to infer state changes automatically-an approach that is expensive and fundamentally incomplete-our framework gives programmers effective tools for implementing correct updates that avoid major disruptions. We develop primitives that enable programmers to directly (and easily, in most cases) initialize the new controller's state as a function of old state and we design protocols that ensure consistent behavior during the transition. We also present a prototype implementation called Morpheus, and evaluate its effectiveness on representative case studies.
△ Less
Submitted 11 September, 2015;
originally announced September 2015.
-
ADsafety: Type-Based Verification of JavaScript Sandboxing
Authors:
Joe Gibbs Politz,
Spiridon Eliopoulos,
Arjun Guha,
Shriram Krishnamurthi
Abstract:
Web sites routinely incorporate JavaScript programs from several sources into a single page. These sources must be protected from one another, which requires robust sandboxing. The many entry-points of sandboxes and the subtleties of JavaScript demand robust verification of the actual sandbox source. We use a novel type system for JavaScript to encode and verify sandboxing properties. The resultin…
▽ More
Web sites routinely incorporate JavaScript programs from several sources into a single page. These sources must be protected from one another, which requires robust sandboxing. The many entry-points of sandboxes and the subtleties of JavaScript demand robust verification of the actual sandbox source. We use a novel type system for JavaScript to encode and verify sandboxing properties. The resulting verifier is lightweight and efficient, and operates on actual source. We demonstrate the effectiveness of our technique by applying it to ADsafe, which revealed several bugs and other weaknesses.
△ Less
Submitted 25 June, 2015;
originally announced June 2015.
-
A Fast Compiler for NetKAT
Authors:
Steffen Smolka,
Spiridon Eliopoulos,
Nate Foster,
Arjun Guha
Abstract:
High-level programming languages play a key role in a growing number of networking platforms, streamlining application development and enabling precise formal reasoning about network behavior. Unfortunately, current compilers only handle "local" programs that specify behavior in terms of hop-by-hop forwarding behavior, or modest extensions such as simple paths. To encode richer "global" behaviors,…
▽ More
High-level programming languages play a key role in a growing number of networking platforms, streamlining application development and enabling precise formal reasoning about network behavior. Unfortunately, current compilers only handle "local" programs that specify behavior in terms of hop-by-hop forwarding behavior, or modest extensions such as simple paths. To encode richer "global" behaviors, programmers must add extra state -- something that is tricky to get right and makes programs harder to write and maintain. Making matters worse, existing compilers can take tens of minutes to generate the forwarding state for the network, even on relatively small inputs. This forces programmers to waste time working around performance issues or even revert to using hardware-level APIs.
This paper presents a new compiler for the NetKAT language that handles rich features including regular paths and virtual networks, and yet is several orders of magnitude faster than previous compilers. The compiler uses symbolic automata to calculate the extra state needed to implement "global" programs, and an intermediate representation based on binary decision diagrams to dramatically improve performance. We describe the design and implementation of three essential compiler stages: from virtual programs (which specify behavior in terms of virtual topologies) to global programs (which specify network-wide behavior in terms of physical topologies), from global programs to local programs (which specify behavior in terms of single-switch behavior), and from local programs to hardware-level forwarding tables. We present results from experiments on real-world benchmarks that quantify performance in terms of compilation time and forwarding table size.
△ Less
Submitted 24 June, 2015; v1 submitted 21 June, 2015;
originally announced June 2015.
-
Tomographic laser absorption spectroscopy using Tikhonov regularization
Authors:
Avishek Guha,
Ingmar Schoegl
Abstract:
The application of tunable diode laser absorption spectroscopy (TDLAS) to flames with non-homogeneous temperature and concentration fields is an area where only few studies exist. Experimental work explores the performance of tomographic reconstructions of concentration and temperature profiles from wavelength-modulated TDLAS measurements within the plume of an axisymmetric McKenna burner. Water v…
▽ More
The application of tunable diode laser absorption spectroscopy (TDLAS) to flames with non-homogeneous temperature and concentration fields is an area where only few studies exist. Experimental work explores the performance of tomographic reconstructions of concentration and temperature profiles from wavelength-modulated TDLAS measurements within the plume of an axisymmetric McKenna burner. Water vapor transitions at 1391.67 nm and 1442.67 nm are probed using calibration free wavelength modulation spectroscopy with second harmonic detection (WMS-2f). A single collimated laser beam is swept parallel to the burner surface, where scans yield pairs of line-of-sight (LOS) data at multiple radial locations. Radial profiles of absorption data are reconstructed using Tikhonov regularized Abel inversion, which suppresses the amplification of experimental noise that is typically observed for reconstructions with high spatial resolution. Based on spectral data, temperatures and concentrations are calculated point-by-point. Here, a least-squares approach addresses difficulties due to modulation depths that cannot be universally optimized due to a non-uniform domain. Experimental results show successful reconstructions of temperature and concentration profiles based on two-transition, non-optimally modulated WMS-2f and Tikhonov regularized Abel inversion, and thus validate the technique as a viable diagnostic tool for flame measurements.
△ Less
Submitted 25 November, 2014; v1 submitted 19 August, 2014;
originally announced August 2014.
-
A Faster Algorithm For Testing Polynomial Representability Of Functions Over Finite Integer Rings
Authors:
Ashwin Guha,
Ambedkar Dukkipati
Abstract:
Given a function from $\mathbb{Z}_n$ to itself one can determine its polynomial representability by using Kempner function. In this paper we present an alternative characterization of polynomial functions over $\mathbb{Z}_n$ by constructing a generating set for the $\mathbb{Z}_{n}$-module of polynomial functions. This characterization results in an algorithm that is faster on average in deciding p…
▽ More
Given a function from $\mathbb{Z}_n$ to itself one can determine its polynomial representability by using Kempner function. In this paper we present an alternative characterization of polynomial functions over $\mathbb{Z}_n$ by constructing a generating set for the $\mathbb{Z}_{n}$-module of polynomial functions. This characterization results in an algorithm that is faster on average in deciding polynomial representability. We also extend the characterization to functions in several variables.
△ Less
Submitted 13 February, 2015; v1 submitted 24 February, 2014;
originally announced February 2014.
-
A wave interaction approach to studying non-modal homogeneous and stratified shear instabilities
Authors:
Anirban Guha,
Gregory A. Lawrence
Abstract:
Holmboe (1962) postulated that resonant interaction between two or more progressive, linear interfacial waves produces exponentially growing instabilities in idealized (broken-line profiles), homogeneous or density stratified, inviscid shear layers. In this paper, we generalize Holmboe's mechanistic picture of linear shear instabilities by (i) not initially specifying the type of the waves, and (i…
▽ More
Holmboe (1962) postulated that resonant interaction between two or more progressive, linear interfacial waves produces exponentially growing instabilities in idealized (broken-line profiles), homogeneous or density stratified, inviscid shear layers. In this paper, we generalize Holmboe's mechanistic picture of linear shear instabilities by (i) not initially specifying the type of the waves, and (ii) by providing the option for non-normal growth. We demonstrate the mechanism behind linear shear instabilities by proposing a purely kinematic model consisting of two linear, Doppler-shifted, progressive interfacial waves moving in opposite directions. Moreover, we have found a necessary and sufficient (N&S) condition for the existence of exponentially growing instabilities in idealized shear flows. The two interfacial waves, starting from arbitrary initial conditions, eventually phase-lock and resonate (grow exponentially), provided the N&S condition is satisfied. The instability mechanism occurring prior to reaching steady state is non-modal, favouring rapid transient growth. The theoretical underpinnings of our wave interaction model is analogous to that of synchronization between two coupled harmonic oscillators. Our proposed model is used to study three well known types of shear instabilities - Rayleigh/Kelvin-Helmholtz, Holmboe and Taylor-Caulfield. We show that the N&S condition provides a range of unstable wavenumbers for each instability type, and this range matches the predictions of the canonical normal-mode based linear stability theory.
△ Less
Submitted 30 June, 2014; v1 submitted 1 December, 2012;
originally announced December 2012.
-
Evolution of a barotropic shear layer into elliptical vortices
Authors:
Anirban Guha,
Mona Rahmani,
Gregory A. Lawrence
Abstract:
When a barotropic shear layer becomes unstable, it produces the well known Kelvin-Helmholtz instability (KH). The non-linear manifestation of KH is usually in the form of spiral billows. However, a piecewise linear shear layer produces a different type of KH characterized by elliptical vortices of constant vorticity connected via thin braids. Using direct numerical simulation and contour dynamics,…
▽ More
When a barotropic shear layer becomes unstable, it produces the well known Kelvin-Helmholtz instability (KH). The non-linear manifestation of KH is usually in the form of spiral billows. However, a piecewise linear shear layer produces a different type of KH characterized by elliptical vortices of constant vorticity connected via thin braids. Using direct numerical simulation and contour dynamics, we show that the interaction between two counter-propagating vorticity waves is solely responsible for this KH formation. We investigate the oscillation of the vorticity wave amplitude, the rotation and nutation of the elliptical vortex, and straining of the braids. Our analysis also provides possible explanation behind the formation and evolution of elliptical vortices appearing in geophysical and astrophysical flows, e.g. meddies, Stratospheric polar vortices, Jovian vortices, Neptune's Great Dark Spot and coherent vortices in the wind belts of Uranus.
△ Less
Submitted 21 January, 2013; v1 submitted 10 September, 2012;
originally announced September 2012.
-
Estuary Classification Revisited
Authors:
Anirban Guha,
Gregory A. Lawrence
Abstract:
This paper presents the governing equations of a tidally-averaged, width-averaged, rectangular estuary in completely nondimensionalized forms. Subsequently, we discover that the dynamics of an estuary is entirely controlled by only two variables: (i) the Estuarine Froude number, and (ii) a nondimensional number related to the Estuarine Aspect ratio and the Tidal Froude number. Motivated by this ne…
▽ More
This paper presents the governing equations of a tidally-averaged, width-averaged, rectangular estuary in completely nondimensionalized forms. Subsequently, we discover that the dynamics of an estuary is entirely controlled by only two variables: (i) the Estuarine Froude number, and (ii) a nondimensional number related to the Estuarine Aspect ratio and the Tidal Froude number. Motivated by this new observation, the problem of estuary classification is re-investigated. Our analysis shows that the two control variables are capable of completely determining the stratification at the estuary mouth, and therefore can specify the estuary type. The theoretical estuary classification scheme proposed in this paper is validated against real estuarine data collected from existing literature. Our classification scheme on comparison with the state-of-the-art theory shows significant improvement.
△ Less
Submitted 1 September, 2013; v1 submitted 12 March, 2012;
originally announced March 2012.
-
An Algorithmic Characterization of Polynomial Functions over $Z_{p^n}$
Authors:
Ashwin Guha,
Ambedkar Dukkipati
Abstract:
In this paper we consider polynomial representability of functions defined over $Z_{p^n}$, where $p$ is a prime and $n$ is a positive integer. Our aim is to provide an algorithmic characterization that (i) answers the decision problem: to determine whether a given function over $Z_{p^n}$ is polynomially representable or not, and (ii) finds the polynomial if it is polynomially representable. The pr…
▽ More
In this paper we consider polynomial representability of functions defined over $Z_{p^n}$, where $p$ is a prime and $n$ is a positive integer. Our aim is to provide an algorithmic characterization that (i) answers the decision problem: to determine whether a given function over $Z_{p^n}$ is polynomially representable or not, and (ii) finds the polynomial if it is polynomially representable. The previous characterizations given by Kempner (1921) and Carlitz (1964) are existential in nature and only lead to an exhaustive search method, i.e., algorithm with complexity exponential in size of the input. Our characterization leads to an algorithm whose running time is linear in size of input. We also extend our result to the multivariate case.
△ Less
Submitted 2 May, 2014; v1 submitted 6 March, 2012;
originally announced March 2012.
-
Temperature dependence of Magnetic properties in Nanocrystalline copper ferrite thin films
Authors:
P. D. Kulkarni,
Shiva Prasad,
N. Venkataramani,
R. Krishnan,
Wenjie Pang,
Ayon Guha,
R. C. Woodward,
R. L. Stamps
Abstract:
The copper ferrite thin films have been deposited by RF sputtering at a 50W rf power. The As-deposited films are annealed in air at $800^{\circ}$C and then slow cooled. The As-deposited (AD) as well as slow cooled (SC) films are studied using a SQUID Magnetometer. The M Vs H curves have been recorded at various temperatures between 5K to 300K. The coercivities obtained from the MH curves are then…
▽ More
The copper ferrite thin films have been deposited by RF sputtering at a 50W rf power. The As-deposited films are annealed in air at $800^{\circ}$C and then slow cooled. The As-deposited (AD) as well as slow cooled (SC) films are studied using a SQUID Magnetometer. The M Vs H curves have been recorded at various temperatures between 5K to 300K. The coercivities obtained from the MH curves are then plotted against temperature (T). The magnetization in the films does not saturate, even at the highest field of 7T. The high field part of the M Vs H curves is fitted using the H1/2 term of Chikazumi expression M(H)= Q*(1- a /Hn), with n=1/2. The variation of coefficient 'a' of H1/2 term has been observed with temperature (T). An attempt has been made to correlate this with the coercivity (Hc) in the case of annealed films.
△ Less
Submitted 9 October, 2010;
originally announced October 2010.
-
The High Field Magnetization in the RF Sputter Deposited Copper Ferrite Thin Films
Authors:
P. D. Kulkarni,
Shiva Prasad,
N. Venkataramani,
R. Krishnan,
Wenjie Pang,
Ayon Guha,
R. C. Woodward,
R. L. Stamps
Abstract:
Copper ferrite thin films were deposited on amorphous quartz substrates. The as deposited films were annealed in air and either quenched or slow cooled. Magnetization studies were carried out on the as deposited as well as annealed films using a SQUID magnetometer. The M-H curves were measured up to a field of 7T, at temperatures varying from 5K to 300K. The magnetization in the films did not satu…
▽ More
Copper ferrite thin films were deposited on amorphous quartz substrates. The as deposited films were annealed in air and either quenched or slow cooled. Magnetization studies were carried out on the as deposited as well as annealed films using a SQUID magnetometer. The M-H curves were measured up to a field of 7T, at temperatures varying from 5K to 300K. The magnetization in the films did not saturate, even at the highest field. The expression, M(H)= Q(1- a/H^n) fitted the approach to saturation best with n=1/2, for all films and at all temperatures. The coefficient a was the highest for the as deposited film and was the smallest for the quenched film. In the case of as deposited film, the value of coefficient a increased with increasing temperature, while for the annealed films, the value of a showed a decrease as temperature increases.
△ Less
Submitted 9 October, 2010;
originally announced October 2010.
-
Superparamagnetism in Nanocrystalline Copper Ferrite Thin Films
Authors:
P. D. Kulkarni,
R. P. R. C. Aiyar,
Shiva Prasad,
N. Venkataramani,
R. Krishnan,
Wenjie Pang,
Ayon Guha,
R. C. Woodward,
R. L. Stamps
Abstract:
The rf sputtered copper ferrite films contain nanocrystalline grains. In these films, the magnetization does not saturate even in high magnetic fields. This phenomenon of high field susceptibility is attributed to the defects and/or superparamagnetic grains in the films. A simple model is developed to describe the observed high field magnetization behavior of these films. The model is found to fit…
▽ More
The rf sputtered copper ferrite films contain nanocrystalline grains. In these films, the magnetization does not saturate even in high magnetic fields. This phenomenon of high field susceptibility is attributed to the defects and/or superparamagnetic grains in the films. A simple model is developed to describe the observed high field magnetization behavior of these films. The model is found to fit well to the high field part for all the studied films. An attempt is also made to explain the temperature variation of the ferrimagnetic contribution on the basis of reported exchange constants.
△ Less
Submitted 9 October, 2010;
originally announced October 2010.
-
An experimental and numerical study of water jet cleaning process
Authors:
Anirban Guha,
Ronald M. Barron,
Ram Balachandar
Abstract:
In this paper, we have experimentally, numerically and theoretically investigated the water jet cleaning process. Very high speed water jets (~80-200 m/s) are typically used in such cleaning operations. These jets diffuse in the surrounding atmosphere by the process of air entrainment and this contributes to the spreading of the jet and subsequent decay of pressure. Estimation of this pressure dec…
▽ More
In this paper, we have experimentally, numerically and theoretically investigated the water jet cleaning process. Very high speed water jets (~80-200 m/s) are typically used in such cleaning operations. These jets diffuse in the surrounding atmosphere by the process of air entrainment and this contributes to the spreading of the jet and subsequent decay of pressure. Estimation of this pressure decay and subsequent placement of the cleaning object is of paramount importance in manufacturing and material processing industries. Also, the pressure distribution on the cleaning surface needs to be assessed in order to understand and optimize the material removal process. In an industrial setting, experimental study is performed to formulate the pressure characteristics. It has shown that the decay of stagnation pressure along the axial direction is linear. It also revealed that no cleaning is possible at radial locations greater than 1.68D from the centerline. Numerical simulations are performed to capture the process of air entrainment in the jet and the subsequent pressure characteristics. The simulation results are found to correctly predict the experimental data. Moreover, a theoretical model for evaluating the optimal and critical stand-off distances has also been derived. Based on our results, we found that the optimal stand-off distance in cleaning operations is ~5D and the jet looses its cleaning ability at axial distances greater than ~26D.
△ Less
Submitted 27 November, 2010; v1 submitted 2 September, 2010;
originally announced September 2010.
-
On the stability of plane Couette-Poiseuille flow with uniform cross-flow
Authors:
Anirban Guha,
Ian A. Frigaard
Abstract:
We present a detailed study of the linear stability of plane Couette-Poiseuille flow in the presence of a cross-flow. The base flow is characterised by the cross flow Reynolds number, $R_{inj}$ and the dimensionless wall velocity, $k$. Squire's transformation may be applied to the linear stability equations and we therefore consider 2D (spanwise-independent) perturbations. Corresponding to each di…
▽ More
We present a detailed study of the linear stability of plane Couette-Poiseuille flow in the presence of a cross-flow. The base flow is characterised by the cross flow Reynolds number, $R_{inj}$ and the dimensionless wall velocity, $k$. Squire's transformation may be applied to the linear stability equations and we therefore consider 2D (spanwise-independent) perturbations. Corresponding to each dimensionless wall velocity, $k\in[0,1]$, two ranges of $R_{inj}$ exist where unconditional stability is observed. In the lower range of $R_{inj}$, for modest $k$ we have a stabilisation of long wavelengths leading to a cut-off $R_{inj}$. This lower cut-off results from skewing of the velocity profile away from a Poiseuille profile, shifting of the critical layers and the gradual decrease of energy production. Cross-flow stabilisation and Couette stabilisation appear to act via very similar mechanisms in this range, leading to the potential for robust compensatory design of flow stabilisation using either mechanism. As $R_{inj}$ is increased, we see first destabilisation and then stabilisation at very large $R_{inj}$. The instability is again a long wavelength mechanism. Analysis of the eigenspectrum suggests the cause of instability is due to resonant interactions of Tollmien-Schlichting waves. A linear energy analysis reveals that in this range the Reynolds stress becomes amplified, the critical layer is irrelevant and viscous dissipation is completely dominated by the energy production/negation, which approximately balances at criticality. The stabilisation at very large $R_{inj}$ appears to be due to decay in energy production, which diminishes like $R_{inj}^{-1}$. Our study is limited to two dimensional, spanwise independent perturbations.
△ Less
Submitted 11 March, 2010;
originally announced March 2010.
-
Numerical simulation of high-speed turbulent water jets in air
Authors:
Anirban Guha,
Ronald M. Barron,
Ram Balachandar
Abstract:
Numerical simulation of high-speed turbulent water jets in air and its validation with experimental data has not been reported in the literature. It is therefore aimed to simulate the physics of these high-speed water jets and compare the results with the existing experimental works. High-speed water jets diffuse in the surrounding atmosphere by the processes of mass and momentum transfer. Air is…
▽ More
Numerical simulation of high-speed turbulent water jets in air and its validation with experimental data has not been reported in the literature. It is therefore aimed to simulate the physics of these high-speed water jets and compare the results with the existing experimental works. High-speed water jets diffuse in the surrounding atmosphere by the processes of mass and momentum transfer. Air is entrained into the jet stream and the entire process contributes to jet spreading and subsequent pressure decay. Hence the physical problem is in the category of multiphase flows, for which mass and momentum transfer is to be determined to simulate the problem. Using the Eulerian multiphase and the k-εturbulence models, plus a novel numerical model for mass and momentum transfer, the simulation was achieved. The results reasonably predict the flow physics of high-speed water jets in air.
△ Less
Submitted 21 March, 2010; v1 submitted 11 March, 2010;
originally announced March 2010.
-
Low frequency random telegraphic noise (RTN) and 1/f noise in the rare-earth manganite Pr$_{0.63}$Ca$_{0.37}$MnO$_3$ near the charge-ordering transition
Authors:
Aveek bid,
Ayan Guha,
A. K. Raychaudhuri
Abstract:
We have studied low frequency resistance fluctuations (noise) in a single crystal of the rare earth perovskite manganite Pr$_{0.63}$Ca$_{0.37}$MnO$_3$ which shows a charge ordering transition at a temperature $T_{CO}$ ~ 245K. The noise measurements were made using an ac bias with and without a dc bias current imposed on it. We find that the spectral power $S_V(f)$ contains two components - one b…
▽ More
We have studied low frequency resistance fluctuations (noise) in a single crystal of the rare earth perovskite manganite Pr$_{0.63}$Ca$_{0.37}$MnO$_3$ which shows a charge ordering transition at a temperature $T_{CO}$ ~ 245K. The noise measurements were made using an ac bias with and without a dc bias current imposed on it. We find that the spectral power $S_V(f)$ contains two components - one broad band 1/f part that exists for all frequency and temperature ranges and a single frequency Lorentzian of frequency $f_c$ which is strongly temperature dependent. The Lorentzian in $S_V(f)$ which appears due to Random telegraphic noise (RTN) as seen in the time series of the fluctuation, is seen in a very narrow temperature window around $T_{CO}$ where it makes the dominating contribution to the fluctuation. When the applied dc bias is increased beyond a certain threshold current density $J_{th}$, the electrical conduction becomes non-linear and one sees appearance of a significant Lorentzian contribution in the spectral power due to RTN. We explain the appearance of the RTN as due to coexisting Charge ordered (CO) and reverse orbitally ordered (ROO) phases which are in dynamical equilibrium over a mesoscopic length scale ($\approx 30nm$) and the kinetics being controlled by an activation barrier $E_{a} ~ 0.45eV. The 1/f noise is low for $T>>T_{CO}$ but increases by nearly two orders in a narrow temperature range as $T_{CO}$ is approached from above and the probability distribution function (PDF) deviates strongly from a Gaussian. We explain this behavior as due to approach of charge localization with correlated fluctuators which make the PDF non-Gaussian.
△ Less
Submitted 26 March, 2003;
originally announced March 2003.
-
Specific heat study of single crystalline Pr$_{0.63}$ Ca$_{0.37}$ MnO$_{3}$ in presence of a magnetic field
Authors:
A. K. Raychaudhuri,
Ayan Guha,
I. Das,
R. Rawat,
C. N. R. Rao
Abstract:
We present the results of a study of specific heat on a single crystal of Pr$_{0.63}$Ca$_{0.37}$MnO$_3$ performed over a temperature range 3K-300K in presence of 0 and 8T magnetic fields. An estimate of the entropy and latent heat in a magnetic field at the first order charge ordering (CO) transition is presented. The total entropy change at the CO transition which is $\approx$ 1.8 J/mol K at 0T…
▽ More
We present the results of a study of specific heat on a single crystal of Pr$_{0.63}$Ca$_{0.37}$MnO$_3$ performed over a temperature range 3K-300K in presence of 0 and 8T magnetic fields. An estimate of the entropy and latent heat in a magnetic field at the first order charge ordering (CO) transition is presented. The total entropy change at the CO transition which is $\approx$ 1.8 J/mol K at 0T, decreases to $\sim$ 1.5 J/mol K in presence of 8T magnetic field. Our measurements enable us to estimate the latent heat $L_{CO}$ $\approx$ 235 J/mol involved in the CO transition. Since the entropy of the ferromagnetic metallic (FMM) state is comparable to that of the charge-ordered insulating (COI) state, a subtle change in entropy stabilises either of these two states. Our low temperature specific heat measurements reveal that the linear term is absent in 0T and surprisingly not seen even in the metallic FMM state.
△ Less
Submitted 20 May, 2001;
originally announced May 2001.
-
Thermal relaxation in charge ordered Pr$_{0.63}$ Ca$_{0.37}$ MnO$_3$ in presence of a magnetic field
Authors:
A. K. Raychaudhuri,
Ayan Guha,
I. Das,
R. Rawat,
C. N. R. Rao
Abstract:
We report observation of substantial thermal relaxation in single crystal of charge ordered system Pr$_{0.63}$Ca$_{0.37}$MnO$_3$ in an applied magnetic field of H = 8T. The relaxation is observed when the temperature is scanned in presence of a magnetic field in the temperature interval $T_{MH}<T<T_{CO}$ where $T_{CO}$ is the charge ordering temperature and $T_{MH}$ is charge melting temperature…
▽ More
We report observation of substantial thermal relaxation in single crystal of charge ordered system Pr$_{0.63}$Ca$_{0.37}$MnO$_3$ in an applied magnetic field of H = 8T. The relaxation is observed when the temperature is scanned in presence of a magnetic field in the temperature interval $T_{MH}<T<T_{CO}$ where $T_{CO}$ is the charge ordering temperature and $T_{MH}$ is charge melting temperature in a field. In this temperature range the system has coexisting charged ordered insulator (COI) and ferromagnetic metallic (FMM) phases. No such relaxation is observed in the COI state in H = 0T or in the FMM phase at $T < T_{MH}$ in presence of a magnetic field. We conclude that the thermal relaxation is due to two coexisting phases with nearly same free energies but separated by a potential barrier. This barrier makes the transformation from one phase to the other time-dependent in the scale of the specific heat experiment and gives rise to the thermal relaxation.
△ Less
Submitted 23 May, 2001; v1 submitted 21 July, 2000;
originally announced July 2000.
-
Magnetic Field resulting from non-linear electrical transport in single crystals of charge-ordered Pr$_{0.63}$ Ca$_{0.37}$ MnO$_{3}$}
Authors:
Ayan Guha,
N. Khare,
A. K. Raychaudhuri,
C. N. R Rao
Abstract:
In this letter we report that the current induced destabilization of the charge ordered (CO) state in a rare-earth manganite gives rise to regions with ferromagnetic correlation. We did this experiment by measurement of the I-V curves in single crystal of the CO system
Pr$_{0.63}$Ca$_{0.37}$MnO$_{3}$ and simultanously measuring the magnetization of the current carrying conductor using a high T…
▽ More
In this letter we report that the current induced destabilization of the charge ordered (CO) state in a rare-earth manganite gives rise to regions with ferromagnetic correlation. We did this experiment by measurement of the I-V curves in single crystal of the CO system
Pr$_{0.63}$Ca$_{0.37}$MnO$_{3}$ and simultanously measuring the magnetization of the current carrying conductor using a high T$_c$ SQUID working at T = 77K. We have found that the current induced destabilization of the CO state leads to a regime of negative differential resistance which leads to a small enhancement of the magnetization of the sample, indicating ferromagnetically aligned moments.
△ Less
Submitted 11 May, 2000;
originally announced May 2000.
-
Non-linear conduction in charge-ordered Pr$_{0.63}$ Ca$_{0.37}$ MnO$_{3}$ : Effect of magnetic fields
Authors:
Ayan Guha,
A. K. Raychaudhuri,
A. R. Raju,
C. N. R. Rao
Abstract:
Non-linear conduction in a single crystal of charge-ordered Pr$_{0.63}$Ca$_{0.37}$MnO$_{3}$ has been investigated in an applied magnetic field. In zero field, the non-linear conduction, which starts at T$<$T$_{CO}$ can give rise to a region of negative differential resistance (NDR) which shows up below the Néel temperature. Application of a magnetic field inhibits the appearance of NDR and makes…
▽ More
Non-linear conduction in a single crystal of charge-ordered Pr$_{0.63}$Ca$_{0.37}$MnO$_{3}$ has been investigated in an applied magnetic field. In zero field, the non-linear conduction, which starts at T$<$T$_{CO}$ can give rise to a region of negative differential resistance (NDR) which shows up below the Néel temperature. Application of a magnetic field inhibits the appearance of NDR and makes the non-linear conduction strongly hysteritic on cycling of the bias current. This is most severe in the temperature range where the charge ordered state melts in an applied magnetic field. Our experiment strongly suggests that application of a magnetic field in the CO regime causes a coexistance two phases.
△ Less
Submitted 30 April, 2000;
originally announced May 2000.
-
Non-linear electrical conduction and broadband noise in charge-ordered rare earth manganate Nd_0.5Ca_0.5MnO_3
Authors:
Ayan Guha,
Arindam Ghosh,
A. K. Raychaudhuri,
S. Parashar,
A. R. Raju,
C. N. R. Rao
Abstract:
Measurements of the dc transport properties and the low-frequency conductivity noise in films of charge ordered Nd_0.5Ca_0.5MnO_3 grown on Si subtrate reveal the existence of a threshold field in the charge ordered regime beyond which strong non linear conduction sets in along with a large broad band conductivity noise. Threshold-dependent conduction disappears as T -> T_{CO}, the charge orderin…
▽ More
Measurements of the dc transport properties and the low-frequency conductivity noise in films of charge ordered Nd_0.5Ca_0.5MnO_3 grown on Si subtrate reveal the existence of a threshold field in the charge ordered regime beyond which strong non linear conduction sets in along with a large broad band conductivity noise. Threshold-dependent conduction disappears as T -> T_{CO}, the charge ordering temperature. This observation suggests that the charge ordered state gets depinned at the onset of the non-linear conduction.
△ Less
Submitted 24 July, 1999;
originally announced July 1999.