arXiv subjects

Rajat Mittal

Publications and source records attributed to Rajat Mittal.

52 records · Page 3Linked to original sources

arXiv2020

On the initiation and sustenance of flow-induced vibration of cylinders: insights from force partitioning

The focus of this work is to dissect the physical mechanisms that drive and sustain flow-induced, transverse vibrations of cylinders. The influence of different mechanisms is quantified by using a method to partition the fluid dynamic force on the cylinder into distinct, physically relevant components. In conjunction with this force partitioning, calculations of the energy extracted by the oscillating body from the flow are used to make a direct connection between the phenomena responsible for force generation and their effect on driving flow-induced oscillations. These tools are demonstrated in a study of the effect of cylinder shape on flow-induced vibrations. Relatively small increases in cylinder aspect-ratio are found to have a significant influence on the amplitude of oscillation, resulting in a large drop in oscillation amplitude at reduced velocities that correspond to the upper range of the synchronization regime. By mapping out the energy transfer between the fluid and structure as a function of aspect-ratio, we identify the existence of a low-amplitude stationary state as the cause of the drop in amplitude. Partitioning the fluid dynamic forces on cylinders of varying aspect-ratio then allows us to uncover the physical mechanisms behind the appearance of the underlying bifurcation. The analysis also suggests that while vortex shedding in the wake is necessary to initiate oscillations, it is the vorticity associated with the boundary layer over the cylinder that is responsible for the sustenance of flow-induced vibrations.

physics.flu-dyn↗

arXiv2020

Aeroelastic response of an airfoil to gusts: Prediction and control strategies from computed energy maps

A method to predict the aeroelastic pitch response of an airfoil to gusts is presented. The prediction is based on energy maps generated by high-fidelity fluid dynamic simulations of the airfoil with prescribed pitch oscillations. The energy maps quantify the exchange of energy between the pitching airfoil and the flow, and serve as manifolds over which the dynamical states of aeroelastic airfoil system grow, decay and attain stationary states. This method allows us to study the full nonlinear response of the system to large gusts, and predict the growth and saturation of aeroelastic pitch instabilities. We also show that the manifold topology in these maps can be used to make informed modifications to the system parameters in order to control the response to gusts.

physics.flu-dyn↗

arXiv2020

A Mathematical Framework for Estimating Risk of Airborne Transmission of COVID-19 with Application to Face Mask Use and Social Distancing

A mathematical model for estimating the risk of airborne transmission of a respiratory infection such as COVID-19, is presented. The model employs basic concepts from fluid dynamics and incorporates the known scope of factors involved in the airborne transmission of such diseases. Simplicity in the mathematical form of the model is by design, so that it can serve not only as a common basis for scientific inquiry across disciplinary boundaries, but also be understandable by a broad audience outside science and academia. The caveats and limitations of the model are discussed in detail. The model is used to assess the protection from transmission afforded by face coverings made from a variety of fabrics. The reduction in transmission risk associated with increased physical distance between the host and susceptible is also quantified by coupling the model with available data on scalar dispersion in canonical flows. Finally, the effect of the level of physical activity (or exercise intensity) of the host and the susceptible in enhancing transmission risk, is also assessed.

q-bio.PE↗

arXiv2020

Dynamic mode decomposition based analysis of flow over a sinusoidally pitching airfoil

Dynamic mode decomposition (DMD) has proven to be a valuable tool for the analysis of complex flow-fields but the application of this technique to flows with moving boundaries is not straightforward. This is due to the difficulty in accounting in the DMD formulation, for a body of non-zero thickness moving through the field of interest. This work presents a method for decomposing the flow on or near a moving boundary by a change of reference frame, followed by a correction to the computed modes that is determined by the frequency spectrum of the motion. The correction serves to recover the modes of the underlying flow dynamics, while removing the effect of change in reference frame. This method is applied to flow over sinusoidally pitching airfoils, and the DMD analysis is used to derive useful insights regarding flow-induced pitch oscillations of these airfoils.

physics.flu-dyn↗

arXiv2020

The Flow Physics of COVID-19

Flow physics plays a key role in nearly every facet of the COVID-19 pandemic. This includes the generation and aerosolization of virus-laden respiratory droplets from a host, its airborne dispersion and deposition on surfaces, as well as the subsequent inhalation of these bioaerosols by unsuspecting recipients. Fluid dynamics is also key to preventative measures such as the use of face masks, hand-washing, ventilation of indoor environments, and even social distancing. This article summarizes what we know, and more importantly, what we need to learn about the science underlying these issues so that we are better prepared to tackle the next outbreak of COVID-19 or a similar disease.

physics.flu-dyn↗

arXiv2019

Spatio-temporal dynamics of turbulent separation bubbles

The spatio-temporal dynamics of separation bubbles induced to form in a fully-developed turbulent boundary layer (with Reynolds number based on momentum thickness of the boundary layer of 490) over a flat plate are studied via direct numerical simulations. Two different separation bubbles are examined: one induced by a suction-blowing velocity profile on the top boundary and the other, by a suction-only velocity profile. The latter condition allows reattachment to occur without an externally imposed favourable pressure gradient and leads to a separation bubble more representative of those occurring over airfoils and in diffusers. The suction-only separation bubble exhibits a range of clearly distinguishable modes including a high-frequency mode and a low-frequency "breathing" mode that has been observed in some previous experiments. The high-frequency mode is well characterized by classical frequency scalings for a plane mixing layer and is associated with the formation and shedding of spanwise oriented vortex rollers. The topology associated with the low-frequency motion is revealed by applying dynamic mode decomposition to the data from the simulations and is shown to be dominated by highly elongated structures in the streamwise direction. The possibility of Görtler instability induced by the streamwise curvature on the upstream end of the separation bubble as the underlying mechanism for these structures and the associated low frequency is explored.

physics.flu-dyn↗

arXiv2019

Counting basic-irreducible factors mod $p^k$ in deterministic poly-time and $p$-adic applications

Finding an irreducible factor, of a polynomial $f(x)$ modulo a prime $p$, is not known to be in deterministic polynomial time. Though there is such a classical algorithm that {\em counts} the number of irreducible factors of $f\bmod p$. We can ask the same question modulo prime-powers $p^k$. The irreducible factors of $f\bmod p^k$ blow up exponentially in number; making it hard to describe them. Can we count those irreducible factors $\bmod~p^k$ that remain irreducible mod $p$? These are called {\em basic-irreducible}. A simple example is in $f=x^2+px \bmod p^2$; it has $p$ many basic-irreducible factors. Also note that, $x^2+p \bmod p^2$ is irreducible but not basic-irreducible! We give an algorithm to count the number of basic-irreducible factors of $f\bmod p^k$ in deterministic poly(deg$(f),k\log p$)-time. This solves the open questions posed in (Cheng et al, ANTS'18 \& Kopp et al, Math.Comp.'19). In particular, we are counting roots $\bmod\ p^k$; which gives the first deterministic poly-time algorithm to compute Igusa zeta function of $f$. Also, our algorithm efficiently partitions the set of all basic-irreducible factors (possibly exponential) into merely deg$(f)$-many disjoint sets, using a compact tree data structure and {\em split} ideals.

cs.SC↗

arXiv2019

Efficiently factoring polynomials modulo $p^4$

Polynomial factoring has famous practical algorithms over fields-- finite, rational \& $p$-adic. However, modulo prime powers it gets hard as there is non-unique factorization and a combinatorial blowup ensues. For example, $x^2+p \bmod p^2$ is irreducible, but $x^2+px \bmod p^2$ has exponentially many factors! We present the first randomized poly(deg $f, \log p$) time algorithm to factor a given univariate integral $f(x)$ modulo $p^k$, for a prime $p$ and $k \leq 4$. Thus, we solve the open question of factoring modulo $p^3$ posed in (Sircana, ISSAC'17). Our method reduces the general problem of factoring $f(x) \bmod p^k$ to that of {\em root finding} in a related polynomial $E(y) \bmod\langle p^k, φ(x)^\ell \rangle$ for some irreducible $φ\bmod p$. We could efficiently solve the latter for $k\le4$, by incrementally transforming $E(y)$. Moreover, we discover an efficient and strong generalization of Hensel lifting to lift factors of $f(x) \bmod p$ to those $\bmod\ p^4$ (if possible). This was previously unknown, as the case of repeated factors of $f(x) \bmod p$ forbids classical Hensel lifting.

cs.CC↗

arXiv2018

Aeromechanics of Hovering Flight in Perturbed Flows: Insights from Computational Models and Animal Experiments

Stability of flapping flight, a natural requirement for flying insects, is one of the major challenges for designing micro aerial vehicles (MAVs). To better understand how a flying insect could stabilize itself during hover, we have employed a fully coupled computational model, which combines the Navier-Strokes equations and the equations of motion in six degrees-of-freedom (NS6DOF) to model the hovering flight of a hawkmoth. These simulations are combined with high-speed videogrammetry experiments on live, untethered hawkmoths flying in quiescent and perturbed flows. The flight videos were used to identify a potential mechanism that could be used by the moth to stabilize its hovering flight; the effectiveness of this mechanism was investigated using CFD-based simulations and semi-analytic approximations.

physics.flu-dyn↗

arXiv2018

Stabilizer codes from modified symplectic form

Stabilizer codes form an important class of quantum error correcting codes which have an elegant theory, efficient error detection, and many known examples. Constructing stabilizer codes of length $n$ is equivalent to constructing subspaces of $\mathbb{F}_p^n \times \mathbb{F}_p^n$ which are "isotropic" under the symplectic bilinear form defined by $\left\langle (\mathbf{a},\mathbf{b}),(\mathbf{c},\mathbf{d}) \right\rangle = \mathbf{a}^{\mathrm{T}} \mathbf{d} - \mathbf{b}^{\mathrm{T}} \mathbf{c}$. As a result, many, but not all, ideas from the theory of classical error correction can be translated to quantum error correction. One of the main theoretical contribution of this article is to study stabilizer codes starting with a different symplectic form. In this paper, we concentrate on cyclic codes. Modifying the symplectic form allows us to generalize the previous known construction for linear cyclic stabilizer codes, and in the process, circumvent some of the Galois theoretic no-go results proved there. More importantly, this tweak in the symplectic form allows us to make use of well known error correcting algorithms for cyclic codes to give efficient quantum error correcting algorithms. Cyclicity of error correcting codes is a "basis dependent" property. Our codes are no more "cyclic" when they are derived using the standard symplectic forms (if we ignore the error correcting properties like distance, all such symplectic forms can be converted to each other via a basis transformation). Hence this change of perspective is crucial from the point of view of designing efficient decoding algorithm for these family of codes. In this context, recall that for general codes, efficient decoding algorithms do not exist if some widely believed complexity theoretic assumptions are true.

quant-ph↗

arXiv2017

Irreducibility and r-th root finding over finite fields

Constructing $r$-th nonresidue over a finite field is a fundamental computational problem. A related problem is to construct an irreducible polynomial of degree $r^e$ (where $r$ is a prime) over a given finite field $\mathbb{F}_q$ of characteristic $p$ (equivalently, constructing the bigger field $\mathbb{F}_{q^{r^e}}$). Both these problems have famous randomized algorithms but the derandomization is an open question. We give some new connections between these two problems and their variants. In 1897, Stickelberger proved that if a polynomial has an odd number of even degree factors, then its discriminant is a quadratic nonresidue in the field. We give an extension of Stickelberger's Lemma; we construct $r$-th nonresidues from a polynomial $f$ for which there is a $d$, such that, $r|d$ and $r\nmid\,$#(irreducible factor of $f(x)$ of degree $d$). Our theorem has the following interesting consequences: (1) we can construct $\mathbb{F}_{q^m}$ in deterministic poly(deg($f$),$m\log q$)-time if $m$ is an $r$-power and $f$ is known; (2) we can find $r$-th roots in $\mathbb{F}_{p^m}$ in deterministic poly($m\log p$)-time if $r$ is constant and $r|\gcd(m,p-1)$. We also discuss a conjecture significantly weaker than the Generalized Riemann hypothesis to get a deterministic poly-time algorithm for $r$-th root finding.

cs.CC↗

arXiv2015

Extended nonlocal games and monogamy-of-entanglement games

We study a generalization of nonlocal games---which we call extended nonlocal games---in which the players, Alice and Bob, initially share a tripartite quantum state with the referee. In such games, the winning conditions for Alice and Bob may depend on outcomes of measurements made by the referee, on its part of the shared quantum state, in addition to Alice and Bob's answers to randomly selected questions. Our study of this class of games was inspired by the monogamy-of-entanglement games introduced by Tomamichel, Fehr, Kaniewski, and Wehner, which they also generalize. We prove that a natural extension of the Navascues--Pironio--Acin hierarchy of semidefinite programs converges to the optimal commuting operator value of extended nonlocal games, and we prove two extensions of results of Tomamichel et al. concerning monogamy-of-entanglement games.

quant-ph↗

arXiv2013

Characterization of Binary Constraint System Games

We consider a class of nonlocal games that are related to binary constraint systems (BCSs) in a manner similar to the games implicit in the work of Mermin [N.D. Mermin, "Simple unified form for the major no-hidden-variables theorems," Phys. Rev. Lett., 65(27):3373-3376, 1990], but generalized to n binary variables and m constraints. We show that, whenever there is a perfect entangled protocol for such a game, there exists a set of binary observables with commutations and products similar to those exhibited by Mermin. We also show how to derive upper bounds strictly below 1 for the the maximum entangled success probability of some BCS games. These results are partial progress towards a larger project to determine the computational complexity of deciding whether a given instance of a BCS game admits a perfect entangled strategy or not.

quant-ph↗

arXiv2011

Quantum query complexity of state conversion

State conversion generalizes query complexity to the problem of converting between two input-dependent quantum states by making queries to the input. We characterize the complexity of this problem by introducing a natural information-theoretic norm that extends the Schur product operator norm. The complexity of converting between two systems of states is given by the distance between them, as measured by this norm. In the special case of function evaluation, the norm is closely related to the general adversary bound, a semi-definite program that lower-bounds the number of input queries needed by a quantum algorithm to evaluate a function. We thus obtain that the general adversary bound characterizes the quantum query complexity of any function whatsoever. This generalizes and simplifies the proof of the same result in the case of boolean input and output. Also in the case of function evaluation, we show that our norm satisfies a remarkable composition property, implying that the quantum query complexity of the composition of two functions is at most the product of the query complexities of the functions, up to a constant. Finally, our result implies that discrete and continuous-time query models are equivalent in the bounded-error setting, even for the general state-conversion problem.

quant-ph↗

arXiv2011

Square root Bound on the Least Power Non-residue using a Sylvester-Vandermonde Determinant

We give a new elementary proof of the fact that the value of the least $k^{th}$ power non-residue in an arithmetic progression $\{bn+c\}_{n=0,1...}$, over a prime field $\F_p$, is bounded by $7/\sqrt{5} \cdot b \cdot \sqrt{p/k} + 4b + c$. Our proof is inspired by the so called \emph{Stepanov method}, which involves bounding the size of the solution set of a system of equations by constructing a non-zero low degree auxiliary polynomial that vanishes with high multiplicity on the solution set. The proof uses basic algebra and number theory along with a determinant identity that generalizes both the Sylvester and the Vandermonde determinant.

math.NT↗

arXiv2008

Product theorems via semidefinite programming

The tendency of semidefinite programs to compose perfectly under product has been exploited many times in complexity theory: for example, by Lovasz to determine the Shannon capacity of the pentagon; to show a direct sum theorem for non-deterministic communication complexity and direct product theorems for discrepancy; and in interactive proof systems to show parallel repetition theorems for restricted classes of games. Despite all these examples of product theorems--some going back nearly thirty years--it was only recently that Mittal and Szegedy began to develop a general theory to explain when and why semidefinite programs behave perfectly under product. This theory captured many examples in the literature, but there were also some notable exceptions which it could not explain--namely, an early parallel repetition result of Feige and Lovasz, and a direct product theorem for the discrepancy method of communication complexity by Lee, Shraibman, and Spalek. We extend the theory of Mittal and Szegedy to explain these cases as well. Indeed, to the best of our knowledge, our theory captures all examples of semidefinite product theorems in the literature.

cs.CC↗