-
On the complete Lie point symmetries classification of the mixed quadratic-linear Li$\acute{\textbf{e}}$nard type equation $\ddot{x}+f(x)\dot{x}^2+g(x)\dot{x}+h(x)=0$
Authors:
Ajey K. Tiwari,
S. N. Pandey,
M. Senthilvelan,
M. Lakshmanan
Abstract:
In this paper we develop a systematic and self consistent procedure based on a set of compatibility conditions for identifying all maximal (eight parameter) and non-maximal (one and two parameter) symmetry groups associated with the mixed quadratic-linear Li$\acute{e}$nard type equation, $\ddot {x} + f(x){\dot {x}}^{2} + g(x)\dot{x}+h(x)= 0$, where $f(x),\,g(x)$ and $h(x)$ are arbitrary functions…
▽ More
In this paper we develop a systematic and self consistent procedure based on a set of compatibility conditions for identifying all maximal (eight parameter) and non-maximal (one and two parameter) symmetry groups associated with the mixed quadratic-linear Li$\acute{e}$nard type equation, $\ddot {x} + f(x){\dot {x}}^{2} + g(x)\dot{x}+h(x)= 0$, where $f(x),\,g(x)$ and $h(x)$ are arbitrary functions of $x$. With the help of this procedure we show that a symmetry function $b(t)$ is zero for non-maximal cases whereas it is not so for the maximal case. On the basis of this result the symmetry analysis gets divided into two cases, $(i)$ the maximal symmetry group $(b\neq0)$ and $(ii)$ non-maximal symmetry groups $(b=0)$. We then identify the most general form of the mixed-quadratic linear Li$\acute{e}$nard type equation in each of these cases. In the case of eight parameter symmetry group, the identified general equation becomes linearizable. We present a specific example of physical interest. In the case of non-maximal symmetry groups the identified equations are all integrable. The integrability of all the equations is proved either by providing the general solution or by constructing time independent Hamiltonians. We also analyse the underlying equivalence transformations.
△ Less
Submitted 14 February, 2014;
originally announced February 2014.
-
Synthesis for Polynomial Lasso Programs
Authors:
Jan Leike,
Ashish Tiwari
Abstract:
We present a method for the synthesis of polynomial lasso programs. These programs consist of a program stem, a set of transitions, and an exit condition, all in the form of algebraic assertions (conjunctions of polynomial equalities). Central to this approach is the discovery of non-linear (algebraic) loop invariants. We extend Sankaranarayanan, Sipma, and Manna's template-based approach and prov…
▽ More
We present a method for the synthesis of polynomial lasso programs. These programs consist of a program stem, a set of transitions, and an exit condition, all in the form of algebraic assertions (conjunctions of polynomial equalities). Central to this approach is the discovery of non-linear (algebraic) loop invariants. We extend Sankaranarayanan, Sipma, and Manna's template-based approach and prove a completeness criterion. We perform program synthesis by generating a constraint whose solution is a synthesized program together with a loop invariant that proves the program's correctness. This constraint is non-linear and is passed to an SMT solver. Moreover, we can enforce the termination of the synthesized program with the support of test cases.
△ Less
Submitted 16 November, 2013;
originally announced November 2013.
-
Phase Coexistence and the Structure of the Morphotropic Phase Boundary Region in (1-x)Bi(Mg1/2Zr1/2)O3-xPbTiO3 Piezoceramics
Authors:
Rishikesh Pandey,
Ashish Tiwari,
Ashutosh Upadhyay,
Akhilesh Kumar Singh
Abstract:
Structure of the morphotropic phase and the phase coexistence region has been investigated in (1-x)Bi(Mg1/2Zr1/2)O3-xPbTiO3 ceramics. The structure is cubic with space group Pm3m for the compositions with x<0.57 and tetragonal with space group P4mm for the compositions with x>0.59. For the compositions with 0.56<x<0.60, both the tetragonal and cubic phases coexist, which suggest very narrow morpho…
▽ More
Structure of the morphotropic phase and the phase coexistence region has been investigated in (1-x)Bi(Mg1/2Zr1/2)O3-xPbTiO3 ceramics. The structure is cubic with space group Pm3m for the compositions with x<0.57 and tetragonal with space group P4mm for the compositions with x>0.59. For the compositions with 0.56<x<0.60, both the tetragonal and cubic phases coexist, which suggest very narrow morphotropic phase boundary region of compositional width Δx~0.03. Rietveld refinement of the structure using x-ray diffraction data confirms coexistence of the tetragonal and cubic phases in the MPB region and rules out the coexistence of tetragonal and rhombohedral structure reported by earlier workers. After poling appearance of significant value of electromechanical coupling coefficient in the cubic compositions (x=0.55, 0.56) suggests the presence of electric field induced transition from centrosymmetric cubic phase to noncentrosymmetric phase. Polarization- Electric field hysteresis loop measurement on the cubic composition with x=0.56 gives well saturated loop similar to that observed in Pb(Mg1/3Nb2/3)O3 relaxor below the freezing temperature.
△ Less
Submitted 16 November, 2013;
originally announced November 2013.
-
Semi-equivelar maps on the surface of Euler characteristic -1
Authors:
Ashish K Upadhyay,
Anand K Tiwari
Abstract:
Semi-Equivelar maps are generalizations of Archimedean solids to the surfaces other than 2-sphere. In earlier work a complete classification of semi-equivelar map of type $(3^5, 4)$ on the surface of Euler characteristic -1 was given. In the meantime Karabas an Nedela classified vertex transitive semi-equivelar maps on the double torus. In this article we study the types of semi-equivelar maps on…
▽ More
Semi-Equivelar maps are generalizations of Archimedean solids to the surfaces other than 2-sphere. In earlier work a complete classification of semi-equivelar map of type $(3^5, 4)$ on the surface of Euler characteristic -1 was given. In the meantime Karabas an Nedela classified vertex transitive semi-equivelar maps on the double torus. In this article we study the types of semi-equivelar maps on double torus that are also available on the surface of Euler characteristic -1. We classify them and show that none of them are vertex transitive.
△ Less
Submitted 19 October, 2013;
originally announced October 2013.
-
Classification of Lie point symmetries for quadratic Li$\acute{\textbf{e}}$nard type equation $\ddot{x}+f(x)\dot{x}^2+g(x)=0$
Authors:
Ajey K. Tiwari,
S. N. Pandey,
M. Senthilvelan,
M. Lakshmanan
Abstract:
In this paper we carry out a complete classification of the Lie point symmetry groups associated with the quadratic Li$\acute{e}$nard type equation, $\ddot {x} + f(x){\dot {x}}^{2} + g(x)= 0$, where $f(x)$ and $g(x)$ are arbitrary functions of $x$. The symmetry analysis gets divided into two cases, $(i)$ the maximal (eight parameter) symmetry group and $(ii)$ non-maximal (three, two and one parame…
▽ More
In this paper we carry out a complete classification of the Lie point symmetry groups associated with the quadratic Li$\acute{e}$nard type equation, $\ddot {x} + f(x){\dot {x}}^{2} + g(x)= 0$, where $f(x)$ and $g(x)$ are arbitrary functions of $x$. The symmetry analysis gets divided into two cases, $(i)$ the maximal (eight parameter) symmetry group and $(ii)$ non-maximal (three, two and one parameter) symmetry groups. We identify the most general form of the quadratic Li$\acute{e}$nard equation in each of these cases. In the case of eight parameter symmetry group, the identified general equation becomes linearizable as well as isochronic. We present specific examples of physical interest. For the nonmaximal cases, the identified equations are all integrable and include several physically interesting examples such as the Mathews-Lakshmanan oscillator, particle on a rotating parabolic well, etc. We also analyse the underlying equivalence transformations.
△ Less
Submitted 2 February, 2013;
originally announced February 2013.
-
Radiative and non-radiative effects of a substrate on localized plasmon resonance of particles
Authors:
Murugesan Venkatapathi,
Abhay K. Tiwari
Abstract:
Experiments have shown strong effects of some substrates on the localized plasmons of metallic nano particles but they are inconclusive on the affecting parameters. Here we have used Discrete Dipole Approximation in conjunction with Sommerfeld integral relations to explain the effect of the substrates as a function of the parameters of incident radiation. The radiative coupling can both quench and…
▽ More
Experiments have shown strong effects of some substrates on the localized plasmons of metallic nano particles but they are inconclusive on the affecting parameters. Here we have used Discrete Dipole Approximation in conjunction with Sommerfeld integral relations to explain the effect of the substrates as a function of the parameters of incident radiation. The radiative coupling can both quench and enhance the resonance and its dependence on the angle and polarization of incident radiation with respect to the surface is shown. Non-radiative interaction with the substrate enhances the plasmon resonance of the particles and can shift the resonances from their free-space energies significantly. The non-radiative interaction of the substrate is sensitive to the shape of particles and polarization of incident radiation with respect to substrate. Our results show that plasmon resonances in coupled and single particles can be significantly altered from their free-space resonances and are quenched or enhanced by the choice of substrate and polarization of incident radiation.
△ Less
Submitted 20 April, 2012;
originally announced April 2012.
-
Quantum dynamics of proton migration in H2O dications: formation of H2+ on ultrafast timescales
Authors:
Manish Garg,
Ashwani K. Tiwari,
Deepak Mathur
Abstract:
Irradiation of isolated water molecules by few-cycle pulses of intense infrared laser light can give rise to ultrafast rearrangement resulting in formation of the H2+ ion. Such unimolecular reactions occur on the potential energy surface of the H2O2+ dication that is accessed when peak laser intensities in the 1015 W cm-2 range and pulse durations as short as 9-10 fs are used; ion yields of ~1.5%…
▽ More
Irradiation of isolated water molecules by few-cycle pulses of intense infrared laser light can give rise to ultrafast rearrangement resulting in formation of the H2+ ion. Such unimolecular reactions occur on the potential energy surface of the H2O2+ dication that is accessed when peak laser intensities in the 1015 W cm-2 range and pulse durations as short as 9-10 fs are used; ion yields of ~1.5% are measured. We also study such reactions by means of time-dependent wavepacket dynamics on an ab initio potential energy surface of the dication and show that a proton, generated from O-H bond rupture, migrates towards the H-atom, and forms vibrationally-excited H2+ in a well-defined spatial zone.
△ Less
Submitted 12 January, 2012;
originally announced January 2012.
-
Intense 2-cycle laser pulses induce time-dependent bond-hardening in a polyatomic molecule
Authors:
K. Dota,
M. Garg,
A. K. Tiwari,
J. A. Dharmadhikari,
A. K. Dharmadhikari,
D. Mathur
Abstract:
A time-dependent bond-hardening process is discovered in a polyatomic molecule (tetramethyl silane, TMS) using few-cycle pulses of intense 800 nm light. In conventional mass spectrometry, symmetrical molecules like TMS do not exhibit a prominent molecular ion (TMS$^+$) as unimolecular dissociation into [Si(CH$_3$)$_3]^+$ proceeds very fast. Under strong field and few-cycle conditions, this dissoci…
▽ More
A time-dependent bond-hardening process is discovered in a polyatomic molecule (tetramethyl silane, TMS) using few-cycle pulses of intense 800 nm light. In conventional mass spectrometry, symmetrical molecules like TMS do not exhibit a prominent molecular ion (TMS$^+$) as unimolecular dissociation into [Si(CH$_3$)$_3]^+$ proceeds very fast. Under strong field and few-cycle conditions, this dissociation channel is defeated by time-dependent bond-hardening: a field-induced potential well is created in the TMS$^+$ potential energy curve that effectively traps a wavepacket. The time-dependence of this bond hardening process is verified using longer-duration ($\geq$ 100 fs) pulses; the relatively "slower" fall-off of optical field in such pulses allows the initially trapped wavepacket to leak out, thereby rendering TMS$^+$ unstable once again. Our results are significant as they demonstrate (i) optical generation of polyatomic ions that are normally inaccessible and (ii) optical control of dynamics in strong fields, with distinct advantages over weak-field control scenarios that demand a narrow bandwidth appropriate for a specified transition.
△ Less
Submitted 12 January, 2012;
originally announced January 2012.
-
A Multi-Factor Security Protocol for Wireless Payment - Secure Web Authentication using Mobile Devices
Authors:
Ayu Tiwari,
Sudip Sanyal,
Ajith Abraham,
Svein Johan Knapskog,
Sugata Sanyal
Abstract:
Previous Web access authentication systems often use either the Web or the Mobile channel individually to confirm the claimed identity of the remote user. This paper proposes a new protocol using multifactor authentication system that is both secure and highly usable. It uses a novel approach based on Transaction Identification Code and SMS to enforce extra security level with the traditional Logi…
▽ More
Previous Web access authentication systems often use either the Web or the Mobile channel individually to confirm the claimed identity of the remote user. This paper proposes a new protocol using multifactor authentication system that is both secure and highly usable. It uses a novel approach based on Transaction Identification Code and SMS to enforce extra security level with the traditional Login/password system. The system provides a highly secure environment that is simple to use and deploy, that does not require any change in infrastructure or protocol of wireless networks. This Protocol for Wireless Payment is extended to provide two way authentications.
△ Less
Submitted 13 November, 2011;
originally announced November 2011.
-
Synthesizing Switching Logic to Minimize Long-Run Cost
Authors:
Susmit Jha,
Sanjit A. Seshia,
Ashish Tiwari
Abstract:
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating the conditions for switching between the system modes such that the resulting hybrid system satisfies a quantitative specification. We formalize and solve the problem of optimal switching logic synthesis for quantitative specifications over long run behavior. Each trajectory of the system, and each state of…
▽ More
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating the conditions for switching between the system modes such that the resulting hybrid system satisfies a quantitative specification. We formalize and solve the problem of optimal switching logic synthesis for quantitative specifications over long run behavior. Each trajectory of the system, and each state of the system, is associated with a cost. Our goal is to synthesize a system that minimizes this cost from each initial state. Our paper generalizes earlier work on synthesis for safety as safety specifications can be encoded as quantitative specifications. We present an approach for specifying quantitative measures using reward and penalty functions, and illustrate its effectiveness using several examples. We present an automated technique to synthesize switching logic for such quantitative measures. Our algorithm is based on reducing the synthesis problem to an unconstrained numerical optimization problem which can be solved by any off-the-shelf numerical optimization engines. We demonstrate the effectiveness of this approach with experimental results.
△ Less
Submitted 5 May, 2011; v1 submitted 3 March, 2011;
originally announced March 2011.
-
Some Semi - Equivelar Maps
Authors:
Ashish K. Upadhyay,
Anand K. Tiwari,
Dipendu Maity
Abstract:
Semi-Equivelar maps are generalizations of Archimedean Solids (as are equivelar maps of the Platonic solids) to the surfaces other than $2-$Sphere. We classify some semi equivelar maps on surface of Euler characteristic -1 and show that none of these are vertex transitive. We establish existence of 12-covered triangulations for this surface. We further construct double cover of these maps to show…
▽ More
Semi-Equivelar maps are generalizations of Archimedean Solids (as are equivelar maps of the Platonic solids) to the surfaces other than $2-$Sphere. We classify some semi equivelar maps on surface of Euler characteristic -1 and show that none of these are vertex transitive. We establish existence of 12-covered triangulations for this surface. We further construct double cover of these maps to show existence of semi-equivelar maps on the surface of double torus. We also construct several semi-equivelar maps on the surfaces of Euler characteristics -8 and -10 and on non-orientable surface of Euler characteristics -2.
△ Less
Submitted 17 January, 2011; v1 submitted 4 January, 2011;
originally announced January 2011.
-
Exhaustive Verification of Weak Reconstruction For Self Complementary Graphs
Authors:
S. K. Gupta,
Sahil Singla,
Akash Khandelwal,
Apurv Tiwari,
Srilekha
Abstract:
This paper presents an exhaustive approach for verification of the weak reconstruction of Self Complementary Graphs up to 17 vertices. It describes the general problem of the Reconstruction Conjecture, explaining the complexity involved in checking deck-isomorphism between two graphs. In order to improve the computation time, various pruning techniques have been employed to reduce the number of gr…
▽ More
This paper presents an exhaustive approach for verification of the weak reconstruction of Self Complementary Graphs up to 17 vertices. It describes the general problem of the Reconstruction Conjecture, explaining the complexity involved in checking deck-isomorphism between two graphs. In order to improve the computation time, various pruning techniques have been employed to reduce the number of graph-isomorphism comparisons. These techniques offer great help in proceeding with a reconstructive approach. An analysis of the numbers involved is provided, along with the various limitations of this approach. A list enumerating the number of SC graphs up till 101 vertices is also appended.
△ Less
Submitted 29 December, 2010;
originally announced December 2010.
-
Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories
Authors:
Luis Barguno,
Guillem Godoy,
Eduard Huntingford,
Ashish Tiwari
Abstract:
We present decidability results for termination of classes of term rewriting systems modulo permutative theories. Termination and innermost termination modulo permutative theories are shown to be decidable for term rewrite systems (TRS) whose right-hand side terms are restricted to be shallow (variables occur at depth at most one) and linear (each variable occurs at most once). Innermost terminat…
▽ More
We present decidability results for termination of classes of term rewriting systems modulo permutative theories. Termination and innermost termination modulo permutative theories are shown to be decidable for term rewrite systems (TRS) whose right-hand side terms are restricted to be shallow (variables occur at depth at most one) and linear (each variable occurs at most once). Innermost termination modulo permutative theories is also shown to be decidable for shallow TRS. We first show that a shallow TRS can be transformed into a flat (only variables and constants occur at depth one) TRS while preserving termination and innermost termination. The decidability results are then proved by showing that (a) for right-flat right-linear (flat) TRS, non-termination (respectively, innermost non-termination) implies non-termination starting from flat terms, and (b) for right-flat TRS, the existence of non-terminating derivations starting from a given term is decidable. On the negative side, we show PSPACE-hardness of termination and innermost termination for shallow right-linear TRS, and undecidability of termination for flat TRS.
△ Less
Submitted 25 August, 2010; v1 submitted 3 June, 2010;
originally announced June 2010.
-
Electron paramagnetic resonance study of ErSc2NC80
Authors:
Rizvi Rahman,
Archana Tiwari,
Geraldine Dantelle,
John J. L. Morton,
Kyriakos Porfyrakis,
Arzhang Ardavan,
Klaus-Peter Dinse,
G. Andrew D. Briggs
Abstract:
We present an electron paramagnetic resonance (EPR) study of ErSc2N@C80 fullerene in which there are two Er3+ sites corresponding to two different configurations of the ErSc2N cluster inside the C80 cage. For each configuration, the EPR spectrum is characterized by a strong anisotropy of the g factors (gx,y = 2.9, gz = 13.0 and gx,y = 5.3, gz = 10.9). Illumination within the cage absorption range…
▽ More
We present an electron paramagnetic resonance (EPR) study of ErSc2N@C80 fullerene in which there are two Er3+ sites corresponding to two different configurations of the ErSc2N cluster inside the C80 cage. For each configuration, the EPR spectrum is characterized by a strong anisotropy of the g factors (gx,y = 2.9, gz = 13.0 and gx,y = 5.3, gz = 10.9). Illumination within the cage absorption range (<600 nm) induces a rearrangement of the ErSc2N cluster inside the cage. We follow the temporal dependence of this rearrangement phenomenologically under various conditions.
△ Less
Submitted 23 April, 2010; v1 submitted 22 April, 2010;
originally announced April 2010.
-
Equivelar and d-Covered Triangulations of Surfaces. I
Authors:
Frank H. Lutz,
Thom Sulanke,
Anand K. Tiwari,
Ashish K. Upadhyay
Abstract:
We survey basic properties and bounds for $q$-equivelar and $d$-covered triangulations of closed surfaces. Included in the survey is a list of the known sources for $q$-equivelar and $d$-covered triangulations. We identify all orientable and non-orientable surfaces $M$ of Euler characteristic $0>χ(M)\geq -230$ which admit non-neighborly $q$-equivelar triangulations with equality in the upper bou…
▽ More
We survey basic properties and bounds for $q$-equivelar and $d$-covered triangulations of closed surfaces. Included in the survey is a list of the known sources for $q$-equivelar and $d$-covered triangulations. We identify all orientable and non-orientable surfaces $M$ of Euler characteristic $0>χ(M)\geq -230$ which admit non-neighborly $q$-equivelar triangulations with equality in the upper bound $q\leq\Bigl\lfloor\tfrac{1}{2}(5+\sqrt{49-24χ(M)})\Bigl\rfloor$. These examples give rise to $d$-covered triangulations with equality in the upper bound $d\leq2\Bigl\lfloor\tfrac{1}{2}(5+\sqrt{49-24χ(M)})\Bigl\rfloor$. A generalization of Ringel's cyclic $7{\rm mod}12$ series of neighborly orientable triangulations to a two-parameter family of cyclic orientable triangulations $R_{k,n}$, $k\geq 0$, $n\geq 7+12k$, is the main result of this paper. In particular, the two infinite subseries $R_{k,7+12k+1}$ and $R_{k,7+12k+2}$, $k\geq 1$, provide non-neighborly examples with equality for the upper bound for $q$ as well as derived examples with equality for the upper bound for $d$.
△ Less
Submitted 15 January, 2010;
originally announced January 2010.
-
Effect of epitaxial strain on the magneto-electric coupling of YMnO3 thin films
Authors:
A. K. Singh,
M. Snure,
A. Tiwari,
S. Patnaik
Abstract:
We report synthesis of phase pure multiferroic YMnO3 thin films on sapphire (0001)with conducting ZnGaO buffer contact layer. Films were prepared by using pulsed laser deposition technique and characterized using x-ray diffraction(XRD), Scanning electron microscopy (SEM), Energy dispersive absorption spectroscopy (EDAX) and magnetic field dependent dielectric measurement techniques. Structural c…
▽ More
We report synthesis of phase pure multiferroic YMnO3 thin films on sapphire (0001)with conducting ZnGaO buffer contact layer. Films were prepared by using pulsed laser deposition technique and characterized using x-ray diffraction(XRD), Scanning electron microscopy (SEM), Energy dispersive absorption spectroscopy (EDAX) and magnetic field dependent dielectric measurement techniques. Structural characterizations indicated phase purity and epitaxial nature of the films. The dielectric response indicated an anomaly in dielectric constant and tand in the vicinity of 30 K, well below the bulk Neel temperature ~ 70 K. This anomaly in dielectric constant and tand and its magnetic field dependence is explained as an influence of strain due to lattice mismatch between the substrate and YMnO3 film. A substantial enhancement in magnetocapacitance was also observed for magnetic field applied parallel to ab plane of the film. Our results show that it is possible to tune the multiferroic property of YMnO3 via changes in ferroelastic route.
△ Less
Submitted 9 July, 2009;
originally announced July 2009.
-
Switchable ErSc2N rotor within a C80 fullerene cage: An EPR and photoluminescence excitation study
Authors:
John J. L. Morton,
Archana Tiwari,
Geraldine Dantelle,
Kyriakos Porfyrakis,
Arzhang Ardavan,
G. Andrew D. Briggs
Abstract:
Systems exhibiting both spin and orbital degrees of freedom, of which Er3+ is one, can offer mechanisms for manipulating and measuring spin states via optical excitations. Motivated by the possibility of observing photoluminescence and electron paramagnetic resonance from the same species located within a fullerene molecule, we initiated an EPR study of Er3+ in ErSc2N@C80. Two orientations of th…
▽ More
Systems exhibiting both spin and orbital degrees of freedom, of which Er3+ is one, can offer mechanisms for manipulating and measuring spin states via optical excitations. Motivated by the possibility of observing photoluminescence and electron paramagnetic resonance from the same species located within a fullerene molecule, we initiated an EPR study of Er3+ in ErSc2N@C80. Two orientations of the ErSc2N rotor within the C80 fullerene are observed in EPR, consistent with earlier studies using photoluminescence excitation (PLE) spectroscopy. For some crystal field orientations, electron spin relaxation is driven by an Orbach process via the first excited electronic state of the 4I_15/2 multiplet. We observe a change in the relative populations of the two ErSc2N configurations upon the application of 532 nm illuminations, and are thus able to switch the majority cage symmetry. This photoisomerisation, observable by both EPR and PLE, is metastable, lasting many hours at 20 K.
△ Less
Submitted 6 February, 2008;
originally announced February 2008.