-
On the matching complexes of categorical product of path graphs
Authors:
Raju Kumar Gupta,
Sourav Sarkar,
Sagar S. Sawant,
Samir Shukla
Abstract:
The matching complex $\mathsf{M}(G)$ of a graph $G$ is a simplicial complex whose simplices are matchings in $G$. These complexes appears in various places and found applications in many areas of mathematics including; discrete geometry, representation theory, combinatorics, etc. In this article, we consider the matching complexes of categorical product $P_n \times P_m$ of path graphs $P_n$ and…
▽ More
The matching complex $\mathsf{M}(G)$ of a graph $G$ is a simplicial complex whose simplices are matchings in $G$. These complexes appears in various places and found applications in many areas of mathematics including; discrete geometry, representation theory, combinatorics, etc. In this article, we consider the matching complexes of categorical product $P_n \times P_m$ of path graphs $P_n$ and $P_m$. For $m = 1$, $P_n \times P_m$ is a discrete graph and therefore its matching complex is the void complex. For $m = 2$, $\mathsf{M}(P_n \times P_m)$ has been proved to be homotopy equivalent to a wedge of spheres by Kozlov. We show that for $n \geq 2$ and $3 \leq m \leq 5$, the matching complex of $P_n \times P_m$ is homotopy equivalent to a wedge of spheres. For $m =3$, we give a closed form formula for the number and dimension of spheres appearing in the wedge. Further, for $m \in \{4, 5\}$, we give minimum and maximum dimension of spheres appearing in the wedge in the homotopy type of $\mathsf{M}(P_n \times P_m)$.
△ Less
Submitted 22 March, 2024;
originally announced March 2024.
-
Handwriting Analysis on the Diaries of Rosamond Jacob
Authors:
Sharmistha S. Sawant,
Saloni D. Thakare,
Derek Greene,
Gerardine Meaney,
Alan F. Smeaton
Abstract:
Handwriting is an art form that most people learn at an early age. Each person's writing style is unique with small changes as we grow older and as our mood changes. Here we analyse handwritten text in a culturally significant personal diary. We compare changes in handwriting and relate this to the sentiment of the written material and to the topic of diary entries. We identify handwritten text fr…
▽ More
Handwriting is an art form that most people learn at an early age. Each person's writing style is unique with small changes as we grow older and as our mood changes. Here we analyse handwritten text in a culturally significant personal diary. We compare changes in handwriting and relate this to the sentiment of the written material and to the topic of diary entries. We identify handwritten text from digitised images and generate a canonical form for words using shape matching to compare how the same handwritten word appears over a period of time. For determining the sentiment of diary entries, we use the Hedonometer, a dictionary-based approach to scoring sentiment. We apply these techniques to the historical diary entries of Rosamond Jacob (1888-1960), an Irish writer and political activist whose daily diary entries report on the major events in Ireland during the first half of the last century.
△ Less
Submitted 16 August, 2023;
originally announced August 2023.
-
Proper $q$-caterpillars are distinguished by their Chromatic Symmetric Functions
Authors:
G. Arunkumar,
Narayanan Narayanan,
Raghavendra Rao B. V.,
Sagar S. Sawant
Abstract:
Stanley's Tree Isomorphism Conjecture posits that the chromatic symmetric function can distinguish non-isomorphic trees. While already established for caterpillars and other subclasses of trees, we prove the conjecture's validity for a new class of trees that generalize proper caterpillars, thus confirming the conjecture for a broader class of trees.
Stanley's Tree Isomorphism Conjecture posits that the chromatic symmetric function can distinguish non-isomorphic trees. While already established for caterpillars and other subclasses of trees, we prove the conjecture's validity for a new class of trees that generalize proper caterpillars, thus confirming the conjecture for a broader class of trees.
△ Less
Submitted 21 July, 2023; v1 submitted 5 July, 2023;
originally announced July 2023.
-
Complexity of Near-3-Choosability Problem
Authors:
Sounaka Mishra,
Rohini S,
Sagar S. Sawant
Abstract:
It is currently an unsolved problem to determine whether a $\triangle$-free planar graph $G$ contains an independent set $A$ such that $G[V_G\setminus A]$ is $2$-choosable. However, in this paper, we take a slightly different approach by relaxing the planarity condition. We prove the $\mathbb{NP}$-completeness of the above decision problem when the graph is $\triangle$-free, $4$-colorable, and of…
▽ More
It is currently an unsolved problem to determine whether a $\triangle$-free planar graph $G$ contains an independent set $A$ such that $G[V_G\setminus A]$ is $2$-choosable. However, in this paper, we take a slightly different approach by relaxing the planarity condition. We prove the $\mathbb{NP}$-completeness of the above decision problem when the graph is $\triangle$-free, $4$-colorable, and of diameter $3$. Building upon this notion, we examine the computational complexity of two optimization problems: minimum near $3$-choosability and minimum $2$-choosable deletion. In the former problem, the goal is to find an independent set $A$ of minimum size in a given graph $G$, such that the induced subgraph $G[V_G \setminus A]$ is $2$-choosable. We establish that this problem is $\mathbb{NP}$-hard to approximate within a factor of $|V_G|^{1-ε}$ for any $ε> 0$, even for planar bipartite graphs. On the other hand, the problem of minimum $2$-choosable deletion involves determining a vertex set $A \subseteq V_G$ of minimum cardinality such that the induced subgraph $G[V_G \setminus A]$ is $2$-choosable. We prove that this problem is $\mathbb{NP}$-complete, but can be approximated within a factor of $O(\log |V_G|)$.
△ Less
Submitted 19 May, 2023;
originally announced May 2023.
-
On distinguishing digraphs by its quasisymmetric B-polynomial
Authors:
N. Narayanan,
Sagar S. Sawant
Abstract:
The $B$-polynomial defined by J. Awan and O. Bernardi is a generalization of Tutte Polynomial to digraphs. In this paper, we solve an open question raised by J. Awan and O. Bernardi regarding the expansion of $B$-polynomial in elementary symmetric polynomials. We show that the quasisymmetric generalization of the $B$-polynomial distinguishes a class of oriented proper caterpillars and the class of…
▽ More
The $B$-polynomial defined by J. Awan and O. Bernardi is a generalization of Tutte Polynomial to digraphs. In this paper, we solve an open question raised by J. Awan and O. Bernardi regarding the expansion of $B$-polynomial in elementary symmetric polynomials. We show that the quasisymmetric generalization of the $B$-polynomial distinguishes a class of oriented proper caterpillars and the class of oriented paths. We present a recurrence relation for the quasisymmetric $B$-polynomial involving the deletion of a source or a sink. As a consequence, we prove that a class of digraph $\mathcal{D}$ is distinguishable if and only if the class $\mathcal{D}^{\vee}$ obtained by taking directed join of $K_1$ with each digraph in $\mathcal{D}$ is distinguishable, which concludes that the digraph analogue of Stanley's Tree conjecture holds for a large class of acyclic digraphs. We further study the symmetric properties of the quasisymmetric $B$-polynomial and its relation with certain digraphs.
△ Less
Submitted 16 April, 2024; v1 submitted 14 November, 2022;
originally announced November 2022.
-
Characterization of Transmission Lines in Microelectronics Circuits using the ARTEMIS Solver
Authors:
Saurabh S. Sawant,
Zhi Yao,
Revathi Jambunathan,
Andy Nonaka
Abstract:
Modeling and characterization of electromagnetic wave interactions with microelectronic devices to derive network parameters has been a widely used practice in the electronic industry. However, as these devices become increasingly miniaturized with finer-scale geometric features, computational tools must make use of manycore/GPU architectures to efficiently resolve length and time scales of intere…
▽ More
Modeling and characterization of electromagnetic wave interactions with microelectronic devices to derive network parameters has been a widely used practice in the electronic industry. However, as these devices become increasingly miniaturized with finer-scale geometric features, computational tools must make use of manycore/GPU architectures to efficiently resolve length and time scales of interest. This has been the focus of our open-source solver, ARTEMIS (Adaptive mesh Refinement Time-domain ElectrodynaMIcs Solver), which is performant on modern GPU-based supercomputing architectures while being amenable to additional physics coupling. This work demonstrates its use for characterizing network parameters of transmission lines using established techniques. A rigorous verification and validation of the workflow is carried out, followed by its application for analyzing a transmission line on a CMOS chip designed for a photon-detector application. Simulations are performed for millions of timesteps on state-of-the-art GPU resources to resolve nanoscale features at gigahertz frequencies. The network parameters are used to obtain phase delay and characteristic impedance that serve as inputs to SPICE models. The code is demonstrated to exhibit ideal weak scaling efficiency up to 1024 GPUs and 84% efficiency for 2048 GPUs, which underscores its use for network analysis of larger, more complex circuit devices in the future
△ Less
Submitted 22 November, 2022; v1 submitted 8 August, 2022;
originally announced August 2022.
-
Linear stability analysis of hypersonic boundary layers computed by a kinetic approach: A semi-infinite flat plate at Mach 4.5 and 9
Authors:
Angelos Klothakis,
Helio Quintanilha Jr,
Saurabh S. Sawant,
Eftychios Protopapadakis,
Vassilis Theofilis,
Deborah A. Levin
Abstract:
Linear stability analysis is performed using a combination of two-dimensional Direct Simulation Monte Carlo (DSMC) method for the computation of the basic state and solution of the pertinent eigenvalue problem, as applied to the canonical boundary layer on a semi-infinite flat plate. Three different gases are monitored, namely nitrogen, argon and air, the latter as a mixture of 79\% Nitrogen and 2…
▽ More
Linear stability analysis is performed using a combination of two-dimensional Direct Simulation Monte Carlo (DSMC) method for the computation of the basic state and solution of the pertinent eigenvalue problem, as applied to the canonical boundary layer on a semi-infinite flat plate. Three different gases are monitored, namely nitrogen, argon and air, the latter as a mixture of 79\% Nitrogen and 21\% Oxygen at a range of free-stream Mach numbers corresponding to flight at an altitude of 55km. A neural network has been utilised to predict and smooth the raw DSMC data; the steady laminar profiles obtained are in very good agreement with those computed by (self-similar) boundary layer theory, under isothermal or adiabatic wall conditions, subject to the appropriate slip corrections computed in the DSMC method.
The leading eigenmode results pertaining to the unsmoothed DSMC profiles are compared against those of the classic boundary layer theory. Small quantitative, but no significant qualitative differences between the results of the two classes of steady base flows have been found at all parameters examined. The frequencies of the leading eigenmodes at all conditions examined are practically identical, while perturbations corresponding to the DSMC profiles are found to be systematically more damped than their counterparts arising in the boundary layer at the conditions examined, when the correct velocity slip and temperature jump boundary conditions are imposed in the base flow profiles; by contrast, when the classic no-slip boundary conditions are used, less damped/more unstable profiles are obtained, which would lead the flow to earlier transition. On the other hand, the DSMC profiles smoothed by the neural network are marginally more stable than their unsmoothed counterparts.
△ Less
Submitted 26 April, 2021;
originally announced April 2021.
-
Kinetic modelling of three-dimensional shock/laminar separation bubble instabilities in hypersonic flows over a double wedge
Authors:
Saurabh S. Sawant,
Vassilios Theofilis,
Deborah A. Levin
Abstract:
Linear global instability of the three-dimensional (3-D), spanwise-homogeneous laminar separation bubble (LSB) induced by shock-wave/boundary-layer interaction (SBLI) in a Mach 7 flow of nitrogen over a $30^{\circ}-55^{\circ}$ double wedge is studied. At these conditions corresponding to a freestream unit Reynolds number, $Re_1=5.2\times 10^{4}$ m$^{-1}$, the flow exhibits rarefaction effects and…
▽ More
Linear global instability of the three-dimensional (3-D), spanwise-homogeneous laminar separation bubble (LSB) induced by shock-wave/boundary-layer interaction (SBLI) in a Mach 7 flow of nitrogen over a $30^{\circ}-55^{\circ}$ double wedge is studied. At these conditions corresponding to a freestream unit Reynolds number, $Re_1=5.2\times 10^{4}$ m$^{-1}$, the flow exhibits rarefaction effects and comparable shock-thicknesses to the size of the boundary-layer at separation. This, in turn, requires the use of the high-fidelity Direct Simulation Monte Carlo (DSMC) method to accurately resolve unsteady flow features.
We show for the first time that the LSB sustains self-excited, small-amplitude, 3-D perturbations that lead to spanwise-periodic flow structures not only in and downstream of the separated region, as seen in a multitude of experiments and numerical simulations, but also in the internal structure of the separation and detached shock layers. The spanwise-periodicity length and growth rate of the structures in the two zones are found to be identical. It is shown that the linear global instability leads to low-frequency unsteadiness of the triple point formed by the intersection of separation and detached shocks, corresponding to a Strouhal number of $St\sim0.02$. Linear superposition of the spanwise-homogeneous base flow and the leading 3-D flow eigenmode provides further evidence of the strong coupling between linear instability in the LSB and the shock layer.
△ Less
Submitted 22 January, 2021;
originally announced January 2021.
-
Linear Instability of Shock-Dominated Laminar Hypersonic Separated Flows
Authors:
Saurabh S. Sawant,
Ozgur Tumuklu,
Vassilis Theofilis,
Deborah A. Levin
Abstract:
The self-excited spanwise homogeneous perturbations arising in shock-wave/boundary-layer interaction (SWBLI) system formed in a hypersonic flow of molecular nitrogen over a double wedge are investigated using the kinetic Direct Simulation Monte Carlo (DSMC) method. The flow has transitional Knudsen and unit Reynolds numbers of 3.4 x 10$^{-3}$ and 5.2 x 10$^4$ m$^{-1}$, respectively. Strong thermal…
▽ More
The self-excited spanwise homogeneous perturbations arising in shock-wave/boundary-layer interaction (SWBLI) system formed in a hypersonic flow of molecular nitrogen over a double wedge are investigated using the kinetic Direct Simulation Monte Carlo (DSMC) method. The flow has transitional Knudsen and unit Reynolds numbers of 3.4 x 10$^{-3}$ and 5.2 x 10$^4$ m$^{-1}$, respectively. Strong thermal nonequilibrium exists downstream of the Mach 7 detached (bow) shock generated due to the upper wedge surface. A linear instability mechanism is expected to make the pre-computed 2-D base flow potentially unstable under spanwise perturbations. The specific intent is to assess the growth rates of unstable modes, the wavelength, location, and origin of spanwise periodic flow structures, and the characteristic frequencies present in this interaction.
△ Less
Submitted 10 January, 2021;
originally announced January 2021.
-
Analytical Prediction of Low-Frequency Fluctuations Inside a One-Dimensional Shock
Authors:
Saurabh S. Sawant,
Deborah A. Levin,
Vassilios Theofilis
Abstract:
Linear instability of high-speed boundary layers is routinely examined assuming quiescent edge conditions, without reference to the internal structure of shocks or to instabilities potentially generated in them. Our recent work has shown that the kinetically modeled internal nonequilibrium zone of straight shocks away from solid boundaries exhibits low-frequency molecular fluctuations. The presenc…
▽ More
Linear instability of high-speed boundary layers is routinely examined assuming quiescent edge conditions, without reference to the internal structure of shocks or to instabilities potentially generated in them. Our recent work has shown that the kinetically modeled internal nonequilibrium zone of straight shocks away from solid boundaries exhibits low-frequency molecular fluctuations. The presence of the dominant low frequencies observed using the Direct Simulation Monte Carlo (DSMC) method has been explained as a consequence of the well-known bimodal probability density function (PDF) of the energy of particles inside a shock. Here, PDFs of particle energies are derived in the upstream and downstream equilibrium regions, as well as inside shocks, and it is shown for the first time that they have the form of the non-central chi-squared (NCCS) distributions. A linear correlation is proposed to relate the change in the shape of the analytical PDFs as a function of Mach number, within the range $3 \le M \le 10$, with the DSMC-derived average characteristic low-frequency of shocks, as computed in our earlier work. At a given Mach number $M=7.2$, varying the input translational temperature in the range $89 \le T_{tr,1}/(K) \le 1420$, it is shown that the variation in DSMC-derived low-frequencies is correlated with the change in most-probable-speed inside shocks at the location of maximum bulk velocity gradient. Using the proposed linear functions, average low-frequencies are estimated within the examined ranges of Mach number and input temperature and a semi-empirical relationship is derived to predict low-frequency oscillations in shocks. Our model can be used to provide realistic physics-based boundary conditions in receptivity and linear stability analysis studies of laminar-turbulent transition in high-speed flows.
△ Less
Submitted 3 January, 2021;
originally announced January 2021.
-
A Kinetic Approach to Studying Low-Frequency Molecular Fluctuations in a One-Dimensional Shock
Authors:
Saurabh S. Sawant,
Deborah A. Levin,
Vassilios Theofilis
Abstract:
Low-frequency molecular fluctuations in the translational nonequilibrium zone of one-dimensional strong shock waves are characterised for the first time in a kinetic collisional framework in the Mach number range $2\le M\le 10$. Our analysis draws upon the well-known bimodal nature of the probability density function (PDF) of gas particles in the shock, as opposed to their Maxwellian distribution…
▽ More
Low-frequency molecular fluctuations in the translational nonequilibrium zone of one-dimensional strong shock waves are characterised for the first time in a kinetic collisional framework in the Mach number range $2\le M\le 10$. Our analysis draws upon the well-known bimodal nature of the probability density function (PDF) of gas particles in the shock, as opposed to their Maxwellian distribution in the freestream, the latter exhibiting an order of magnitude higher dominant frequencies than the former. Inside the (finite-thickness) shock region, the strong correlation between perturbations in the bimodal PDF and fluctuations in the normal stress suggests introducing a novel two-bin model to describe the reduced-order dynamics of a large number of collision interactions of gas particles. Our model correctly predicts the order-of-magnitude difference in fluctuation frequencies in the shock versus those in the freestream and is consistent with the small-amplitude fluctuations obtained from the highly resolved Direct Simulation Monte Carlo (DSMC) computations of the same configuration. The variation of low-frequency fluctuations with changes in the conditions upstream of the shock revealed that these fluctuations can be described by a Strouhal number, based on the bulk velocity upstream of the shock and the shock-thickness based on the maximum density-gradient inside the shock, that remains practically independent of Mach number in the range examined. Our results are expected to have far-reaching implications for boundary conditions employed in the vicinity of shocks in the framework of flow instability and laminar-turbulent transition studies of flows containing both unsteady and nominally stationary shocks.
△ Less
Submitted 28 December, 2020;
originally announced December 2020.