-
AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation
Authors:
Vaishnavi Pulavarthi,
Deeksha Nandal,
Soham Dan,
Debjit Pal
Abstract:
Assertions have been the de facto collateral for simulation-based and formal verification of hardware designs for over a decade. The quality of hardware verification, \ie, detection and diagnosis of corner-case design bugs, is critically dependent on the quality of the assertions. There has been a considerable amount of research leveraging a blend of data-driven statistical analysis and static ana…
▽ More
Assertions have been the de facto collateral for simulation-based and formal verification of hardware designs for over a decade. The quality of hardware verification, \ie, detection and diagnosis of corner-case design bugs, is critically dependent on the quality of the assertions. There has been a considerable amount of research leveraging a blend of data-driven statistical analysis and static analysis to generate high-quality assertions from hardware design source code and design execution trace data. Despite such concerted effort, all prior research struggles to scale to industrial-scale large designs, generates too many low-quality assertions, often fails to capture subtle and non-trivial design functionality, and does not produce any easy-to-comprehend explanations of the generated assertions to understand assertions' suitability to different downstream validation tasks. Recently, with the advent of Large-Language Models (LLMs), there has been a widespread effort to leverage prompt engineering to generate assertions. However, there is little effort to quantitatively establish the effectiveness and suitability of various LLMs for assertion generation. In this paper, we present AssertionBench, a novel benchmark to evaluate LLMs' effectiveness for assertion generation quantitatively. AssertioBench contains 100 curated Verilog hardware designs from OpenCores and formally verified assertions for each design generated from GoldMine and HARM. We use AssertionBench to compare state-of-the-art LLMs to assess their effectiveness in inferring functionally correct assertions for hardware designs. Our experiments demonstrate how LLMs perform relative to each other, the benefits of using more in-context exemplars in generating a higher fraction of functionally correct assertions, and the significant room for improvement for LLM-based assertion generators.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
GNOME: Generating Negotiations through Open-Domain Map** of Exchanges
Authors:
Darshan Deshpande,
Shambhavi Sinha,
Anirudh Ravi Kumar,
Debaditya Pal,
Jonathan May
Abstract:
Language Models have previously shown strong negotiation capabilities in closed domains where the negotiation strategy prediction scope is constrained to a specific setup. In this paper, we first show that these models are not generalizable beyond their original training domain despite their wide-scale pretraining. Following this, we propose an automated framework called GNOME, which processes exi…
▽ More
Language Models have previously shown strong negotiation capabilities in closed domains where the negotiation strategy prediction scope is constrained to a specific setup. In this paper, we first show that these models are not generalizable beyond their original training domain despite their wide-scale pretraining. Following this, we propose an automated framework called GNOME, which processes existing human-annotated, closed-domain datasets using Large Language Models and produces synthetic open-domain dialogues for negotiation. GNOME improves the generalizability of negotiation systems while reducing the expensive and subjective task of manual data curation. Through our experimental setup, we create a benchmark comparing encoder and decoder models trained on existing datasets against datasets created through GNOME. Our results show that models trained on our dataset not only perform better than previous state of the art models on domain specific strategy prediction, but also generalize better to previously unseen domains.
△ Less
Submitted 15 June, 2024;
originally announced June 2024.
-
Optimal k-centers of a graph: a control-theoretic approach
Authors:
Karim Shahbaz,
Madhu N. Belur,
Chayan Bhawal,
Debasattam Pal
Abstract:
In a network consisting of n nodes, our goal is to identify the most central k nodes with respect to the proposed definitions of centrality. Depending on the specific application, there exist several metrics for quantifying k-centrality, and the subset of the best k nodes naturally varies based on the chosen metric. In this paper, we propose two metrics and establish connections to a well-studied…
▽ More
In a network consisting of n nodes, our goal is to identify the most central k nodes with respect to the proposed definitions of centrality. Depending on the specific application, there exist several metrics for quantifying k-centrality, and the subset of the best k nodes naturally varies based on the chosen metric. In this paper, we propose two metrics and establish connections to a well-studied metric from the literature (specifically for stochastic matrices). We prove these three notions match for path graphs. We then list a few more control-theoretic notions and compare these various notions for a general randomly generated graph. Our first metric involves maximizing the shift in the smallest eigenvalue of the Laplacian matrix. This shift can be interpreted as an improvement in the time constant when the RC circuit experiences leakage at certain k capacitors. The second metric focuses on minimizing the Perron root of a principal sub-matrix of a stochastic matrix, an idea proposed and interpreted in the literature as manufacturing consent. The third one explores minimizing the Perron root of a perturbed (now super-stochastic) matrix, which can be seen as minimizing the impact of added stubbornness. It is important to emphasize that we consider applications (for example, facility location) when the notions of central ports are such that the set of the best k ports does not necessarily contain the set of the best k-1 ports. We apply our k-port selection metric to various network structures. Notably, we prove the equivalence of three definitions for a path graph and extend the concept of central port linkage beyond Fiedler vectors to other eigenvectors associated with path graphs.
△ Less
Submitted 8 June, 2024;
originally announced June 2024.
-
Measuring the Burgers Vector of Dislocations with Dark-Field X-ray Microscopy
Authors:
Dayeeta Pal,
Yifan Wang,
Ramya Gurunathan,
Leora Dresselhaus-Marais
Abstract:
The behavior of dislocations is essential to understand material properties, but their subsurface dynamics that are representative of bulk phenomena cannot be resolved by conventional transmission electron microscopy (TEM). Dark field X-ray microscope (DFXM) was recently demonstrated to image hierarchical structures of bulk dislocations by imaging lattice distortions along the transmitted X-ray di…
▽ More
The behavior of dislocations is essential to understand material properties, but their subsurface dynamics that are representative of bulk phenomena cannot be resolved by conventional transmission electron microscopy (TEM). Dark field X-ray microscope (DFXM) was recently demonstrated to image hierarchical structures of bulk dislocations by imaging lattice distortions along the transmitted X-ray diffracted beam using an objective lens. While today's DFXM can effectively map the line vector of dislocations, it still cannot quantify the Burgers vector required to understand dislocation interactions, structures, and energies. Our study formulates a theoretical model of how DFXM images collected along specific scans can be used to directly measure the Burgers vector of a dislocation. By revisiting the "invisibility criteria" from TEM theory, we re-solve this formalism for DFXM and extend it to the geometric-optics model developed for DFXM to evaluate how the images acquired from different scans about a single {hkl} diffraction peak encode the Burgers vector within them. We demonstrate this for edge, screw, and mixed dislocations and discuss the observed symmetries. This work advances our understanding of DFXM to establish its capabilities to connect bulk experiments to dislocation theory and mechanics.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
Vision-Language Modeling with Regularized Spatial Transformer Networks for All Weather Crosswind Landing of Aircraft
Authors:
Debabrata Pal,
Anvita Singh,
Saumya Saumya,
Shouvik Das
Abstract:
The intrinsic capability to perceive depth of field and extract salient information by the Human Vision System (HVS) stimulates a pilot to perform manual landing over an autoland approach. However, harsh weather creates visibility hindrances, and a pilot must have a clear view of runway elements before the minimum decision altitude. To help a pilot in manual landing, a vision-based system tailored…
▽ More
The intrinsic capability to perceive depth of field and extract salient information by the Human Vision System (HVS) stimulates a pilot to perform manual landing over an autoland approach. However, harsh weather creates visibility hindrances, and a pilot must have a clear view of runway elements before the minimum decision altitude. To help a pilot in manual landing, a vision-based system tailored to localize runway elements likewise gets affected, especially during crosswind due to the projective distortion of aircraft camera images. To combat this, we propose to integrate a prompt-based climatic diffusion network with a weather distillation model using a novel diffusion-distillation loss. Precisely, the diffusion model synthesizes climatic-conditioned landing images, and the weather distillation model learns inverse map** by clearing those visual degradations. Then, to tackle the crosswind landing scenario, a novel Regularized Spatial Transformer Networks (RuSTaN) learns to accurately calibrate for projective distortion using self-supervised learning, which minimizes localization error by the downstream runway object detector. Finally, we have simulated a clear-day landing scenario at the busiest airport globally to curate an image-based Aircraft Landing Dataset (AIRLAD) and experimentally validated our contributions using this dataset to benchmark the performance.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
Evidence of Kolmogorov like scalings and multifractality in the rainfall events
Authors:
Joya GhoshDastider,
D. Pal,
Pankaj K. Mishra
Abstract:
In this paper we present a detailed statistical analysis related to the characterization of the spatial and temporal fluctuations present in the rainfall patterns of North-East region ($26.05^{\circ}N-26.95^{\circ}N$, $88.05^{\circ}E-94.95^{\circ}E$) of India using half hourly rainfall data over the last 20 years for the range 2001-2020. We analyze the nature of the distribution by computing the m…
▽ More
In this paper we present a detailed statistical analysis related to the characterization of the spatial and temporal fluctuations present in the rainfall patterns of North-East region ($26.05^{\circ}N-26.95^{\circ}N$, $88.05^{\circ}E-94.95^{\circ}E$) of India using half hourly rainfall data over the last 20 years for the range 2001-2020. We analyze the nature of the distribution by computing the mean, second moment of the fluctuation, skewness and kurtosis of the temporal rainfall data that indicate the presence of heavy tail in the right skewed distribution a typical feature of the presence of rare events. We find that the temporal distribution of the rainfall data follow the multiplicative Log-Normal probability distribution. Further we compute the spatial and temporal correlation of the rainfall in this region indicate that the rainfall events are correlated in the spatial direction of about 70 Km. The Power spectral density of temporal rainfall shows power law behaviour with frequency with an exponent $\sim -1.5$ close to the Kolmogorov exponent ($-1.67$) exhibited for the turbulent passive scalar driven by the mean flow. Our wavelet analysis reveals the evidence of multiple frequencies in the rainfall pattern which can attributed to different short and long range factors responsible for the rainfall. We have also used the Hilbert Huang transformation to identify the frequencies corresponding fluctuating part of the rainfall time series. Using multifractal detrended fluctuation analysis, finally we establish the multifractal nature of the rainfall pattern with Hurst exponent close to $0.65$ .
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
Modeling Linear and Non-linear Layers: An MILP Approach Towards Finding Differential and Impossible Differential Propagations
Authors:
Debranjan Pal,
Vishal Pankaj Chandratreya,
Abhijit Das,
Dipanwita Roy Chowdhury
Abstract:
Symmetric key cryptography stands as a fundamental cornerstone in ensuring security within contemporary electronic communication frameworks. The cryptanalysis of classical symmetric key ciphers involves traditional methods and techniques aimed at breaking or analyzing these cryptographic systems. In the evaluation of new ciphers, the resistance against linear and differential cryptanalysis is comm…
▽ More
Symmetric key cryptography stands as a fundamental cornerstone in ensuring security within contemporary electronic communication frameworks. The cryptanalysis of classical symmetric key ciphers involves traditional methods and techniques aimed at breaking or analyzing these cryptographic systems. In the evaluation of new ciphers, the resistance against linear and differential cryptanalysis is commonly a key design criterion. The wide trail design technique for block ciphers facilitates the demonstration of security against linear and differential cryptanalysis. Assessing the scheme's security against differential attacks often involves determining the minimum number of active SBoxes for all rounds of a cipher. The propagation characteristics of a cryptographic component, such as an SBox, can be expressed using Boolean functions. Mixed Integer Linear Programming (MILP) proves to be a valuable technique for solving Boolean functions. We formulate a set of inequalities to model a Boolean function, which is subsequently solved by an MILP solver. To efficiently model a Boolean function and select a minimal set of inequalities, two key challenges must be addressed. We propose algorithms to address the second challenge, aiming to find more optimized linear and non-linear components. Our approaches are applied to modeling SBoxes (up to six bits) and EXOR operations with any number of inputs. Additionally, we introduce an MILP-based automatic tool for exploring differential and impossible differential propagations within a cipher. The tool is successfully applied to five lightweight block ciphers: Lilliput, GIFT64, SKINNY64, Klein, and MIBS.
△ Less
Submitted 1 May, 2024;
originally announced May 2024.
-
Strong generalized holomorphic principal bundles
Authors:
Debjit Pal,
Mainak Poddar
Abstract:
We introduce the notion of a strong generalized holomorphic (SGH) fiber bundle and develop connection and curvature theory for an SGH principal $G$-bundle over a regular generalized complex (GC) manifold, where $G$ is a complex Lie group. We develop a de Rham cohomology for regular GC manifolds, and a Dolbeault cohomology for SGH vector bundles. Moreover, we establish a Chern-Weil theory for SGH p…
▽ More
We introduce the notion of a strong generalized holomorphic (SGH) fiber bundle and develop connection and curvature theory for an SGH principal $G$-bundle over a regular generalized complex (GC) manifold, where $G$ is a complex Lie group. We develop a de Rham cohomology for regular GC manifolds, and a Dolbeault cohomology for SGH vector bundles. Moreover, we establish a Chern-Weil theory for SGH principal $G$-bundles under certain mild assumptions on the leaf space of the GC structure. We also present a Hodge theory along with associated dualities and vanishing theorems for SGH vector bundles. Several examples of SGH fiber bundles are given.
△ Less
Submitted 14 June, 2024; v1 submitted 28 April, 2024;
originally announced April 2024.
-
Irradiation induced mineral changes of NWA10580 meteorite determined by infrared analysis
Authors:
I. Gyollai,
S. Biri,
Z. Juhász,
Cs. Király,
B. D. Pál,
R. Rácz,
D. Rezes,
B. Sulik,
M. Szabó,
Z. Szalai,
P. Szávai,
T. Szklenár,
Á. Kereszturi
Abstract:
Context. Identifying minerals on asteroid surfaces is difficult as space weathering modifies the minerals infrared spectra. This shouldbe better understood for proper interpretation.
Aims. We simulated the space weathering effects on a meteorite and recorded the alterations of the crystalline structure, such as the change in peak positions and full width at half maximum values.
Methods. We use…
▽ More
Context. Identifying minerals on asteroid surfaces is difficult as space weathering modifies the minerals infrared spectra. This shouldbe better understood for proper interpretation.
Aims. We simulated the space weathering effects on a meteorite and recorded the alterations of the crystalline structure, such as the change in peak positions and full width at half maximum values.
Methods. We used proton irradiation to simulate the effects of solar wind on a sample of NWA 10580 CO3 chondrite meteorites. After irradiation in three gradually increased steps with 1 keV ion energy, we used infrared microscopic reflectance and diffuse reflectance infrared Fourier transform spectroscopy (DRIFTS) to identify and understand the consequences of irradiation.
Results. We find negative peak shifts after the first and second irradiations at pyroxene and feldspar minerals, similarly to the literature, and this shift was attributed to Mg loss. However, after the third irradiation a positive change in values in wavenumber emerged for silicates, which could come from the distortion of SiO4 tetrahedra, resembling shock deformation. The full width at half maximum values of major bands show a positive (increasing) trend after irradiations in the case of feldspars, using IR reflection measurements. Comparing DRIFTS and reflection infrared data, the peak positions of major mineral bands were at similar wavenumbers, but differences can be observed in minor bands.
Conclusions. We measured the spectral changes of meteorite minerals after high doses of proton irradiation for several minerals. We show the first of these measurements for feldspars; previous works only presented pyroxene, olivine, and phyllosilicates.
△ Less
Submitted 18 March, 2024;
originally announced March 2024.
-
Strong-ARM Dynamic Latch Comparators: Design and Analyses on CAD Platform
Authors:
Kasi Bandla,
Dipankar Pal
Abstract:
Strong-ARM Dynamic Latch Comparators are widely used in high-speed analog-to-digital converters (ADCs), sense amplifiers in memory, RFID applications, and data receivers. This paper presents different methods to improve the performance of Strong-Arm latch-based comparators. The comparator's significant features such as power dissipation, propagation delay, offset voltage, clock feedthrough, area,…
▽ More
Strong-ARM Dynamic Latch Comparators are widely used in high-speed analog-to-digital converters (ADCs), sense amplifiers in memory, RFID applications, and data receivers. This paper presents different methods to improve the performance of Strong-Arm latch-based comparators. The comparator's significant features such as power dissipation, propagation delay, offset voltage, clock feedthrough, area, and kickback noises are discussed and compared with state-of-the-art candidate topologies. Simulation results show that the new comparator topologies of Strong-ARM Dynamic Latch proposed by these authors gave the best results. The proposed designs are tested. The simulations are carried out using UMC 180nm double metal, double poly standard CMOS process technology, for a 100 MHz clock, at 1.8V supply-rail on the Cadence Virtuoso EDA platform.
△ Less
Submitted 22 February, 2024;
originally announced February 2024.
-
Material-Response-Informed DeepONet and its Application to Polycrystal Stress-strain Prediction in Crystal Plasticity
Authors:
Junyan He,
Deepankar Pal,
Ali Najafi,
Diab Abueidda,
Seid Koric,
Iwona Jasiuk
Abstract:
Crystal plasticity (CP) simulations are a tool for understanding how microstructure morphology and texture affect mechanical properties and are an essential component of elucidating the structure-property relations. However, it can be computationally expensive. Hence, data-driven machine learning models have been applied to predict the mean-field response of a polycrystal representative volume ele…
▽ More
Crystal plasticity (CP) simulations are a tool for understanding how microstructure morphology and texture affect mechanical properties and are an essential component of elucidating the structure-property relations. However, it can be computationally expensive. Hence, data-driven machine learning models have been applied to predict the mean-field response of a polycrystal representative volume element to reduce computation time. In this work, we proposed a novel Deep Operator Network (DeepONet) architecture for predicting microstructure stress-strain response. It employs a convolutional neural network in the trunk to encode the microstructure. To account for different material properties, boundary conditions, and loading, we proposed using single crystal stress-strain curves as inputs to the branch network, furnishing a material-response-informed DeepONet. Using four numerical examples, we demonstrate that the current DeepONet can be trained on a single material and loading and then generalized to new conditions via transfer learning. Results show that using single crystal responses as input outperforms a similar model using material properties as inputs and overcomes limitations with changing boundary conditions and temporal resolution. In all cases, the new model achieved a $R^2$ value of above 0.99, and over 95\% of predicted stresses have a relative error of $\le$ 5\%, indicating superior accuracy. With as few as 20 new data points and under 1min training time, the trained DeepONet can be fine-tuned to generate accurate predictions on different materials and loading. Once trained, the prediction speed is almost $1\times10^{4}$ times faster the CP simulations. The efficiency and high generalizability of our DeepONet render it a powerful data-driven surrogate model for CP simulations in multi-scale analyses.
△ Less
Submitted 18 January, 2024;
originally announced January 2024.
-
VeriBug: An Attention-based Framework for Bug-Localization in Hardware Designs
Authors:
Giuseppe Stracquadanio,
Sourav Medya,
Stefano Quer,
Debjit Pal
Abstract:
In recent years, there has been an exponential growth in the size and complexity of System-on-Chip designs targeting different specialized applications. The cost of an undetected bug in these systems is much higher than in traditional processor systems as it may imply the loss of property or life. The problem is further exacerbated by the ever-shrinking time-to-market and ever-increasing demand to…
▽ More
In recent years, there has been an exponential growth in the size and complexity of System-on-Chip designs targeting different specialized applications. The cost of an undetected bug in these systems is much higher than in traditional processor systems as it may imply the loss of property or life. The problem is further exacerbated by the ever-shrinking time-to-market and ever-increasing demand to churn out billions of devices. Despite decades of research in simulation and formal methods for debugging and verification, it is still one of the most time-consuming and resource intensive processes in contemporary hardware design cycle. In this work, we propose VeriBug, which leverages recent advances in deep learning to accelerate debugging at the Register-Transfer Level and generates explanations of likely root causes. First, VeriBug uses control-data flow graph of a hardware design and learns to execute design statements by analyzing the context of operands and their assignments. Then, it assigns an importance score to each operand in a design statement and uses that score for generating explanations for failures. Finally, VeriBug produces a heatmap highlighting potential buggy source code portions. Our experiments show that VeriBug can achieve an average bug localization coverage of 82.5% on open-source designs and different types of injected bugs.
△ Less
Submitted 16 January, 2024;
originally announced January 2024.
-
Lie nilpotency and Lie solvability of tensor product of multiplicative Lie algebras
Authors:
Deepak Pal,
Amit Kumar,
Sumit Kumar Upadhyay,
Seema Kushwaha
Abstract:
In this article, we discuss Lie nilpotency and Lie solvability of non-abelian tensor product of multiplicative Lie algebras. In particular, for giving information concerning the Lie nilpotency (or Lie solvability) of either multiplicative Lie algebras $G$ or $H,$ the non-abelian tensor product $ \frac{G\otimes H}{I}$ is Lie nilpotent (or Lie solvable), for some ideal $I$ of ${G\otimes H}$.
In this article, we discuss Lie nilpotency and Lie solvability of non-abelian tensor product of multiplicative Lie algebras. In particular, for giving information concerning the Lie nilpotency (or Lie solvability) of either multiplicative Lie algebras $G$ or $H,$ the non-abelian tensor product $ \frac{G\otimes H}{I}$ is Lie nilpotent (or Lie solvable), for some ideal $I$ of ${G\otimes H}$.
△ Less
Submitted 13 January, 2024;
originally announced January 2024.
-
Scout-Net: Prospective Personalized Estimation of CT Organ Doses from Scout Views
Authors:
Abdullah-Al-Zubaer Imran,
Sen Wang,
Debashish Pal,
Sandeep Dutta,
Bhavik Patel,
Evan Zucker,
Adam Wang
Abstract:
Purpose: Estimation of patient-specific organ doses is required for more comprehensive dose metrics, such as effective dose. Currently, available methods are performed retrospectively using the CT images themselves, which can only be done after the scan. To optimize CT acquisitions before scanning, rapid prediction of patient-specific organ dose is needed prospectively, using available scout image…
▽ More
Purpose: Estimation of patient-specific organ doses is required for more comprehensive dose metrics, such as effective dose. Currently, available methods are performed retrospectively using the CT images themselves, which can only be done after the scan. To optimize CT acquisitions before scanning, rapid prediction of patient-specific organ dose is needed prospectively, using available scout images. We, therefore, devise an end-to-end, fully-automated deep learning solution to perform real-time, patient-specific, organ-level dosimetric estimation of CT scans.
Approach: We propose the Scout-Net model for CT dose prediction at six different organs as well as for the overall patient body, leveraging the routinely obtained frontal and lateral scout images of patients, before their CT scans. To obtain reference values of the organ doses, we used Monte Carlo simulation and 3D segmentation methods on the corresponding CT images of the patients.
Results: We validate our proposed Scout-Net model against real patient CT data and demonstrate the effectiveness in estimating organ doses in real-time (only 27 ms on average per scan). Additionally, we demonstrate the efficiency (real-time execution), sufficiency (reasonable error rates), and robustness (consistent across varying patient sizes) of the Scout-Net model.
Conclusions: An effective, efficient, and robust Scout-Net model, once incorporated into the CT acquisition plan, could potentially guide the automatic exposure control for balanced image quality and radiation dose.
△ Less
Submitted 23 December, 2023;
originally announced December 2023.
-
Dark-Field X-ray Microscopy for 2D and 3D imaging of Microstructural Dynamics at the European X-ray Free Electron Laser
Authors:
Sara J. Irvine,
Kento Katagiri,
Trygve M. Ræder,
Darshan Chalise,
Dayeeta Pal,
Jade I. Stanton,
Gabriele Ansaldi,
Ulrike Boesenberg,
Felix Brauße,
Jon H. Eggert,
Lichao Fang,
Eric Folsom,
Jörg Hallmann,
Morten Haubro,
Theodor S. Holstad,
Anders Madsen,
Johannes Möller,
Martin M. Nielsen,
Henning F. Poulsen,
Jan-Etienne Pudel,
Angel Rodriguez-Fernandez,
Frank Schoofs,
Frank Seiboth,
Yifan Wang,
Jo Wonhyuk
, et al. (4 additional authors not shown)
Abstract:
Dark field X-ray microscopy (DXFM) has enabled experiments to visualize microstructural distortions in bulk crystals. Using the femtosecond X-ray pulses generated by X-ray free-electron lasers (XFEL), DFXM can achieve ~1-um spatial resolution and <100 fs time resolution simultaneously. In this paper, we present the first ultrafast DFXM measurements at the European XFEL. In this work, we demonstrat…
▽ More
Dark field X-ray microscopy (DXFM) has enabled experiments to visualize microstructural distortions in bulk crystals. Using the femtosecond X-ray pulses generated by X-ray free-electron lasers (XFEL), DFXM can achieve ~1-um spatial resolution and <100 fs time resolution simultaneously. In this paper, we present the first ultrafast DFXM measurements at the European XFEL. In this work, we demonstrate DFXM of laser-induced phonon wavepackets propagating through dislocations inside a diamond single crystal. In addition to demonstrating this new capability, we present two new DFXM scanning techniques for XFEL applications, 3D and axial-strain scans with sub-μm spatial resolution. With this progress to XFEL DFXM, we discuss new opportunities to study multi-timescale spatio-temporal dynamics of defects, strain waves, and other localized phenomena deep inside crystals.
△ Less
Submitted 7 November, 2023;
originally announced November 2023.
-
Spontaneous symmetry breaking in plasmon lattice lasers
Authors:
Nelson de Gaay Fortman,
Radoslaw Kolkowski,
Debapriya Pal,
Said R. K. Rodriguez,
Peter Schall,
A. Femius Koenderink
Abstract:
Spontaneous symmetry breaking (SSB) is key for our understanding of phase transitions and the spontaneous emergence of order. Photonics provide versatile systems to study SSB. In this work, we report that for a two-dimensional (2D) periodic nonlocal metasurface with gain, SSB occurs in the lasing transition, breaking parity symmetry. We study diffractive hexagonal plasmon nanoparticle lattices, wh…
▽ More
Spontaneous symmetry breaking (SSB) is key for our understanding of phase transitions and the spontaneous emergence of order. Photonics provide versatile systems to study SSB. In this work, we report that for a two-dimensional (2D) periodic nonlocal metasurface with gain, SSB occurs in the lasing transition, breaking parity symmetry. We study diffractive hexagonal plasmon nanoparticle lattices, where the K-points in momentum space provide two modes that are exactly degenerate in frequency and identically distributed in space. Using femtosecond pulses to energize the gain medium, we simultaneously capture single shot realspace and wavevector resolved Fourier images of laser emission. By combining Fourier- and real-space, we resolve the two order parameters for which symmetry breaking simultaneously occurs: spatial parity and U(1) (rotational) symmetry breaking, evident respectively as random relative mode amplitude and phase. Thereby, we quantify for the first time SSB in 2D periodic metasurfaces. These currently receive much interest as experimentally accessible implementations of seminal solid-state physics Hamiltonians and provide a large design space for exploring SSB in scenarios with different symmetries, mode degeneracies and topological properties. The methodology reported in this work is generally applicable to 2D plasmonic and dielectric metasurfaces and opens numerous opportunities for the study of SSB and emergence of spatial coherence in metaphotonics.
△ Less
Submitted 1 November, 2023;
originally announced November 2023.
-
SCAR: Power Side-Channel Analysis at RTL-Level
Authors:
Amisha Srivastava,
Sanjay Das,
Navnil Choudhury,
Rafail Psiakis,
Pedro Henrique Silva,
Debjit Pal,
Kanad Basu
Abstract:
Power side-channel attacks exploit the dynamic power consumption of cryptographic operations to leak sensitive information of encryption hardware. Therefore, it is necessary to conduct power side-channel analysis for assessing the susceptibility of cryptographic systems and mitigating potential risks. Existing power side-channel analysis primarily focuses on post-silicon implementations, which are…
▽ More
Power side-channel attacks exploit the dynamic power consumption of cryptographic operations to leak sensitive information of encryption hardware. Therefore, it is necessary to conduct power side-channel analysis for assessing the susceptibility of cryptographic systems and mitigating potential risks. Existing power side-channel analysis primarily focuses on post-silicon implementations, which are inflexible in addressing design flaws, leading to costly and time-consuming post-fabrication design re-spins. Hence, pre-silicon power side-channel analysis is required for early detection of vulnerabilities to improve design robustness. In this paper, we introduce SCAR, a novel pre-silicon power side-channel analysis framework based on Graph Neural Networks (GNN). SCAR converts register-transfer level (RTL) designs of encryption hardware into control-data flow graphs and use that to detect the design modules susceptible to side-channel leakage. Furthermore, we incorporate a deep learning-based explainer in SCAR to generate quantifiable and human-accessible explanation of our detection and localization decisions. We have also developed a fortification component as a part of SCAR that uses large-language models (LLM) to automatically generate and insert additional design code at the localized zone to shore up the side-channel leakage. When evaluated on popular encryption algorithms like AES, RSA, and PRESENT, and postquantum cryptography algorithms like Saber and CRYSTALS-Kyber, SCAR, achieves up to 94.49% localization accuracy, 100% precision, and 90.48% recall. Additionally, through explainability analysis, SCAR reduces features for GNN model training by 57% while maintaining comparable accuracy. We believe that SCAR will transform the security-critical hardware design cycle, resulting in faster design closure at a reduced design cost.
△ Less
Submitted 9 October, 2023;
originally announced October 2023.
-
HAVE-Net: Hallucinated Audio-Visual Embeddings for Few-Shot Classification with Unimodal Cues
Authors:
Ankit Jha,
Debabrata Pal,
Mainak Singha,
Naman Agarwal,
Biplab Banerjee
Abstract:
Recognition of remote sensing (RS) or aerial images is currently of great interest, and advancements in deep learning algorithms added flavor to it in recent years. Occlusion, intra-class variance, lighting, etc., might arise while training neural networks using unimodal RS visual input. Even though joint training of audio-visual modalities improves classification performance in a low-data regime,…
▽ More
Recognition of remote sensing (RS) or aerial images is currently of great interest, and advancements in deep learning algorithms added flavor to it in recent years. Occlusion, intra-class variance, lighting, etc., might arise while training neural networks using unimodal RS visual input. Even though joint training of audio-visual modalities improves classification performance in a low-data regime, it has yet to be thoroughly investigated in the RS domain. Here, we aim to solve a novel problem where both the audio and visual modalities are present during the meta-training of a few-shot learning (FSL) classifier; however, one of the modalities might be missing during the meta-testing stage. This problem formulation is pertinent in the RS domain, given the difficulties in data acquisition or sensor malfunctioning. To mitigate, we propose a novel few-shot generative framework, Hallucinated Audio-Visual Embeddings-Network (HAVE-Net), to meta-train cross-modal features from limited unimodal data. Precisely, these hallucinated features are meta-learned from base classes and used for few-shot classification on novel classes during the inference phase. The experimental results on the benchmark ADVANCE and AudioSetZSL datasets show that our hallucinated modality augmentation strategy for few-shot classification outperforms the classifier performance trained with the real multimodal information at least by 0.8-2%.
△ Less
Submitted 23 September, 2023;
originally announced September 2023.
-
Domain Adaptive Few-Shot Open-Set Learning
Authors:
Debabrata Pal,
Deeptej More,
Sai Bhargav,
Dipesh Tamboli,
Vaneet Aggarwal,
Biplab Banerjee
Abstract:
Few-shot learning has made impressive strides in addressing the crucial challenges of recognizing unknown samples from novel classes in target query sets and managing visual shifts between domains. However, existing techniques fall short when it comes to identifying target outliers under domain shifts by learning to reject pseudo-outliers from the source domain, resulting in an incomplete solution…
▽ More
Few-shot learning has made impressive strides in addressing the crucial challenges of recognizing unknown samples from novel classes in target query sets and managing visual shifts between domains. However, existing techniques fall short when it comes to identifying target outliers under domain shifts by learning to reject pseudo-outliers from the source domain, resulting in an incomplete solution to both problems. To address these challenges comprehensively, we propose a novel approach called Domain Adaptive Few-Shot Open Set Recognition (DA-FSOS) and introduce a meta-learning-based architecture named DAFOSNET. During training, our model learns a shared and discriminative embedding space while creating a pseudo open-space decision boundary, given a fully-supervised source domain and a label-disjoint few-shot target domain. To enhance data density, we use a pair of conditional adversarial networks with tunable noise variances to augment both domains closed and pseudo-open spaces. Furthermore, we propose a domain-specific batch-normalized class prototypes alignment strategy to align both domains globally while ensuring class-discriminativeness through novel metric objectives. Our training approach ensures that DAFOS-NET can generalize well to new scenarios in the target domain. We present three benchmarks for DA-FSOS based on the Office-Home, mini-ImageNet/CUB, and DomainNet datasets and demonstrate the efficacy of DAFOS-NET through extensive experimentation
△ Less
Submitted 22 September, 2023;
originally announced September 2023.
-
Investigating the porosity of Enceladus
Authors:
Imre Kisvárdai,
Bernadett D. Pál,
Ákos Kereszturi
Abstract:
The interior of Enceladus, a medium sized icy moon of Saturn hosts hydrothermal activity and exhibits tidal heating and related geyser-like activity. There are major disagreements in the existing literature on the porosity of the interior, due to the different theoretical assumptions on which porosity related calculations were based. We present an application of experimental equations - derived fo…
▽ More
The interior of Enceladus, a medium sized icy moon of Saturn hosts hydrothermal activity and exhibits tidal heating and related geyser-like activity. There are major disagreements in the existing literature on the porosity of the interior, due to the different theoretical assumptions on which porosity related calculations were based. We present an application of experimental equations - derived for Earth - for icy planetary objects and Enceladus in particular. We chose a set of boundary values for our initial parameters from measured porosity values of chondrite samples as references, and calculated the porosity related values of Enceladus using various approaches. We present a comprehensive investigation of the effects of using these different porosity calculation methods on icy moons. With our most realistic approach we also calculated the same values for Earth and Mars for comparison. Our result for Enceladus is a minimum porosity of about 5\% at the centre of the body. For the total pore volume we estimated $1.51*10^7 km^3$ for Enceladus, $2.11*10^8 km^3$ for Earth and $1.62*10^8 km^3$ for Mars. Using the same method, we estimated the total pore surface area. From this we derived that the pore surface under a given $1 km^2$ area of the surface on Enceladus is about $1.37*10^9 km^2$, while for Earth this value is only $5.07*10^7 km^2$.
△ Less
Submitted 11 August, 2023;
originally announced August 2023.
-
Synthesizing Forestry Images Conditioned on Plant Phenotype Using a Generative Adversarial Network
Authors:
Debasmita Pal,
Arun Ross
Abstract:
Plant phenology and phenotype prediction using remote sensing data is increasingly gaining the attention of the plant science community to improve agricultural productivity. This work aims to generate synthetic forestry images that satisfy certain phenotypic attributes, viz. canopy greenness. We harness a Generative Adversarial Network (GAN) to synthesize biologically plausible and phenotypically…
▽ More
Plant phenology and phenotype prediction using remote sensing data is increasingly gaining the attention of the plant science community to improve agricultural productivity. This work aims to generate synthetic forestry images that satisfy certain phenotypic attributes, viz. canopy greenness. We harness a Generative Adversarial Network (GAN) to synthesize biologically plausible and phenotypically stable forestry images conditioned on the greenness of vegetation (a continuous attribute) over a specific region of interest (describing a particular vegetation type in a mixed forest). The training data is based on the automated digital camera imagery provided by the National Ecological Observatory Network (NEON) and processed by the PhenoCam Network. Our method helps render the appearance of forest sites specific to a greenness value. The synthetic images are utilized to predict another phenotypic attribute, viz., redness of plants. The Structural SIMilarity (SSIM) index is used to assess the quality of the synthetic images. The greenness and redness indices of the generated synthetic images are compared against that of the original images using Root Mean Squared Percentage Error (RMSPE) to evaluate their accuracy and integrity. The generalizability and scalability of our proposed GAN model is determined by effectively transforming it to generate synthetic images for other forest sites and vegetation types.
△ Less
Submitted 9 February, 2024; v1 submitted 7 July, 2023;
originally announced July 2023.
-
Efficient Algorithms for Modeling SBoxes Using MILP
Authors:
Debranjan Pal,
Vishal Pankaj Chandratreya,
Dipanwita Roy Chowdhury
Abstract:
Mixed Integer Linear Programming (MILP) is a well-known approach for the cryptanalysis of a symmetric cipher. A number of MILP-based security analyses have been reported for non-linear (SBoxes) and linear layers. Researchers proposed word- and bit-wise SBox modeling techniques using a set of inequalities which helps in searching differential trails for a cipher. In this paper, we propose two new t…
▽ More
Mixed Integer Linear Programming (MILP) is a well-known approach for the cryptanalysis of a symmetric cipher. A number of MILP-based security analyses have been reported for non-linear (SBoxes) and linear layers. Researchers proposed word- and bit-wise SBox modeling techniques using a set of inequalities which helps in searching differential trails for a cipher. In this paper, we propose two new techniques to reduce the number of inequalities to represent the valid differential transitions for SBoxes. Our first technique chooses the best greedy solution with a random tiebreaker and achieves improved results for the 4-bit SBoxes of MIBS, LBlock, and Serpent over the existing results of Sun et al. [25]. Subset addition, our second approach, is an improvement over the algorithm proposed by Boura and Coggia. Subset addition technique is faster than Boura and Coggia [10] and also improves the count of inequalities. Our algorithm emulates the existing results for the 4-bit SBoxes of Minalpher, LBlock, Serpent, Prince, and Rectangle. The subset addition method also works for 5-bit and 6-bit SBoxes. We improve the boundary of minimum number inequalities from the existing results for 5-bit SBoxes of ASCON and SC2000. Application of subset addition technique for 6-bit SBoxes of APN, FIDES, and SC2000 enhances the existing results. By applying multithreading, we reduced the execution time needed to find the minimum inequality set over the existing techniques.
△ Less
Submitted 5 June, 2023;
originally announced June 2023.
-
A Machine Learning Approach to Detect Dehydration in Afghan Children
Authors:
Ziaullah Momand,
Debajyoti Pal,
Pornchai Mongkolnam,
Jonathan H. Chan
Abstract:
Child dehydration is a significant health concern, especially among children under 5 years of age who are more susceptible to diarrhea and vomiting. In Afghanistan, severe diarrhea contributes to child mortality due to dehydration. However, there is no evidence of research exploring the potential of machine learning techniques in diagnosing dehydration in Afghan children under five. To fill this g…
▽ More
Child dehydration is a significant health concern, especially among children under 5 years of age who are more susceptible to diarrhea and vomiting. In Afghanistan, severe diarrhea contributes to child mortality due to dehydration. However, there is no evidence of research exploring the potential of machine learning techniques in diagnosing dehydration in Afghan children under five. To fill this gap, this study leveraged various classifiers such as Random Forest, Multilayer Perceptron, Support Vector Machine, J48, and Logistic Regression to develop a predictive model using a dataset of sick children retrieved from the Afghanistan Demographic and Health Survey (ADHS). The primary objective was to determine the dehydration status of children under 5 years. Among all the classifiers, Random Forest proved to be the most effective, achieving an accuracy of 91.46%, precision of 91%, and AUC of 94%. This model can potentially assist healthcare professionals in promptly and accurately identifying dehydration in under five children, leading to timely interventions, and reducing the risk of severe health complications. Our study demonstrates the potential of machine learning techniques in improving the early diagnosis of dehydration in Afghan children.
△ Less
Submitted 22 May, 2023;
originally announced May 2023.
-
Multiplicative Lie algebra structures on semi-direct product of groups
Authors:
Deepak Pal,
Amit Kumar,
Sumit Kumar Upadhyay,
Seema Kushwaha
Abstract:
The main aim of this paper is to determine the multiplicative lie algebra structures on the semi-direct product of an abelian group with a group under certain conditions.
The main aim of this paper is to determine the multiplicative lie algebra structures on the semi-direct product of an abelian group with a group under certain conditions.
△ Less
Submitted 19 May, 2023;
originally announced May 2023.
-
Asynchronous Distributed Consensus with Minimum Communication
Authors:
Vishal Sawant,
Debraj Chakraborty,
Debasattam Pal
Abstract:
In this paper, the communication effort required in a multi-agent system (MAS) is minimized via an explicit optimization formulation. The paper considers a MAS of single-integrator agents with bounded inputs and a time-invariant communication graph. A new model of discrete asynchronous communication and a distributed consensus protocol based on it, are proposed. The goal of the proposed protocol i…
▽ More
In this paper, the communication effort required in a multi-agent system (MAS) is minimized via an explicit optimization formulation. The paper considers a MAS of single-integrator agents with bounded inputs and a time-invariant communication graph. A new model of discrete asynchronous communication and a distributed consensus protocol based on it, are proposed. The goal of the proposed protocol is to minimize the aggregate number of communication instants of all agents, required to steer the state trajectories inside a pres-specified bounded neighbourhood within a pre-specified time. Due to information structure imposed by the underlying communication graph, an individual agent does not know the global parameters in the MAS, which are required for the above-mentioned minimization. To counter this uncertainty, the worst-case realizations of the global parameters are considered, which lead to min-max type optimizations. The control rules in the proposed protocol are obtained as the closed form solutions of these optimization problems. Hence, the proposed protocol does not increase the burden of run-time computation making it suitable for time-critical applications.
△ Less
Submitted 3 May, 2023;
originally announced May 2023.
-
Generalized complex structure on certain principal torus bundles
Authors:
Debjit Pal,
Mainak Poddar
Abstract:
A principal torus bundle over a complex manifold with even dimensional fiber and characteristic class of type $(1,1)$ admits a family of regular generalized complex structures (GCS) with the fibers as leaves of the associated symplectic foliation. We show that such a generalized complex structure is equivalent to the product of the complex structure on the base and the symplectic structure on the…
▽ More
A principal torus bundle over a complex manifold with even dimensional fiber and characteristic class of type $(1,1)$ admits a family of regular generalized complex structures (GCS) with the fibers as leaves of the associated symplectic foliation. We show that such a generalized complex structure is equivalent to the product of the complex structure on the base and the symplectic structure on the fiber in a tubular neighborhood of an arbitrary fiber if and only if the bundle is flat. This has consequences for the generalized Dolbeault cohomology of the bundle that includes a Künneth formula. On a more general note, if a principal bundle over a complex manifold with a symplectic structure group admits a GCS with the fibers of the bundle as leaves of the associated symplectic foliation, and the GCS is equivalent to a product GCS in a neighborhood of every fiber, then the bundle is flat and symplectic.
△ Less
Submitted 26 October, 2023; v1 submitted 14 March, 2023;
originally announced March 2023.
-
Lattice All-Pass Filter based Precoder Adaptation for MIMO Wireless Channels
Authors:
Parth Mehta,
Agulla Surya Bharath,
Kumar Appaiah,
Rajbabu Velmurugan,
Debasattam Pal
Abstract:
Modern 5G communication systems employ multiple-input multiple-output (MIMO) in conjunction with orthogonal frequency division multiplexing (OFDM) to enhance data rates, particularly for wideband millimetre wave (mmW) applications. Since these systems use a large number of subcarriers, feeding back the estimated precoder for even a subset of subcarriers from the receiver to the transmitter is proh…
▽ More
Modern 5G communication systems employ multiple-input multiple-output (MIMO) in conjunction with orthogonal frequency division multiplexing (OFDM) to enhance data rates, particularly for wideband millimetre wave (mmW) applications. Since these systems use a large number of subcarriers, feeding back the estimated precoder for even a subset of subcarriers from the receiver to the transmitter is prohibitive. Moreover, such frequency domain approaches also do not exploit the predominant line-of-sight component that is present in such channels to reduce feedback. In this work, we view the precoder in the time domain as a matrix all-pass filter, and model the discrete-time precoder filter using a matrix-lattice structure that aids in reducing the overall feedback while still maintaining the desired frequency-phase delay profile. This provides an efficient precoder representation across the subcarriers using fewer coefficients, and is amenable to tracking over time with much lower feedback than past approaches. Compared to frequency domain geodesic interpolation, Givens rotation based parameterisation, and the angle-delay domain approach that depends on approximate discrete-time representation, the proposed approach yields higher achievable rates with a much lower feedback burden. Via extensive simulations over mmW channel models, we confirm the effectiveness of our claims, and show that the proposed approach can reduce the feedback burden by up to 70%.
△ Less
Submitted 18 March, 2023; v1 submitted 22 February, 2023;
originally announced February 2023.
-
MultiScale Probability Map guided Index Pooling with Attention-based learning for Road and Building Segmentation
Authors:
Shirsha Bose,
Ritesh Sur Chowdhury,
Debabrata Pal,
Shivashish Bose,
Biplab Banerjee,
Subhasis Chaudhuri
Abstract:
Efficient road and building footprint extraction from satellite images are predominant in many remote sensing applications. However, precise segmentation map extraction is quite challenging due to the diverse building structures camouflaged by trees, similar spectral responses between the roads and buildings, and occlusions by heterogeneous traffic over the roads. Existing convolutional neural net…
▽ More
Efficient road and building footprint extraction from satellite images are predominant in many remote sensing applications. However, precise segmentation map extraction is quite challenging due to the diverse building structures camouflaged by trees, similar spectral responses between the roads and buildings, and occlusions by heterogeneous traffic over the roads. Existing convolutional neural network (CNN)-based methods focus on either enriched spatial semantics learning for the building extraction or the fine-grained road topology extraction. The profound semantic information loss due to the traditional pooling mechanisms in CNN generates fragmented and disconnected road maps and poorly segmented boundaries for the densely spaced small buildings in complex surroundings. In this paper, we propose a novel attention-aware segmentation framework, Multi-Scale Supervised Dilated Multiple-Path Attention Network (MSSDMPA-Net), equipped with two new modules Dynamic Attention Map Guided Index Pooling (DAMIP) and Dynamic Attention Map Guided Spatial and Channel Attention (DAMSCA) to precisely extract the building footprints and road maps from remotely sensed images. DAMIP mines the salient features by employing a novel index pooling mechanism to retain important geometric information. On the other hand, DAMSCA simultaneously extracts the multi-scale spatial and spectral features. Besides, using dilated convolution and multi-scale deep supervision in optimizing MSSDMPA-Net helps achieve stellar performance. Experimental results over multiple benchmark building and road extraction datasets, ensures MSSDMPA-Net as the state-of-the-art (SOTA) method for building and road extraction.
△ Less
Submitted 18 February, 2023;
originally announced February 2023.
-
Direct Linearly-Polarised Electroluminescence from Perovskite Nanoplatelet Superlattices
Authors:
Junzhi Ye,
Aobo Ren,
Linjie Dai,
Tomi Baikie,
Renjun Guo,
Debapriya Pal,
Sebastian Gorgon,
Julian E. Heger,
Junyang Huang,
Yuqi Sun,
Rakesh Arul,
Gianluca Grimaldi,
Kaiwen Zhang,
Javad Shamsi,
Yi-Teng Huang,
Hao Wang,
Jiang Wu,
A. Femius Koenderink,
Laura Torrente Murciano,
Matthias Schwartzkopf,
Stephen V. Roth,
Peter Muller-Buschbaum,
Jeremy J. Baumberg,
Samuel D. Stranks,
Neil C. Greenham
, et al. (4 additional authors not shown)
Abstract:
Polarised light is critical for a wide range of applications, but is usually generated by filtering unpolarised light, which leads to significant energy losses and requires additional optics. Herein, the direct emission of linearly-polarised light is achieved from light-emitting diodes (LEDs) made of CsPbI3 perovskite nanoplatelet superlattices. Through use of solvents with different vapour pressu…
▽ More
Polarised light is critical for a wide range of applications, but is usually generated by filtering unpolarised light, which leads to significant energy losses and requires additional optics. Herein, the direct emission of linearly-polarised light is achieved from light-emitting diodes (LEDs) made of CsPbI3 perovskite nanoplatelet superlattices. Through use of solvents with different vapour pressures, the self-assembly of perovskite nanoplatelets is achieved to enable fine control over the orientation (either face-up or edge-up) and therefore the transition dipole moment. As a result of the highly-uniform alignment of the nanoplatelets, as well as their strong quantum and dielectric confinement, large exciton fine-structure splitting is achieved at the film level, leading to pure-red LEDs exhibiting a high degree of linear polarisation of 74.4% without any photonic structures. This work unveils the possibilities of perovskite nanoplatelets as a highly promising source of linearly-polarised electroluminescence, opening up the development of next-generation 3D displays and optical communications from this highly versatile, solution-processable system.
△ Less
Submitted 8 February, 2023; v1 submitted 7 February, 2023;
originally announced February 2023.
-
Magnetotransport Properties and Fermi Surface Topology of Nodal line Semimetal InBi
Authors:
Sambhab Dan,
Kuldeep Kargeti,
R. C. Sahoo,
Shovan Dan,
Debarati Pal,
Sunil Verma,
Sujay Chakravarty,
S. K. Panda,
S Patil
Abstract:
In the present study, we have discussed the up-turn behavior in the resistivity pattern of the topological nodal line semimetal InBi. We argued that such nature could be generalized with a mathematical model, that can be applied to any compounds exhibiting similar behavior. The extremely high magnetoresistance (XMR) has also been explained by the carrier compensation in the compound, estimated fro…
▽ More
In the present study, we have discussed the up-turn behavior in the resistivity pattern of the topological nodal line semimetal InBi. We argued that such nature could be generalized with a mathematical model, that can be applied to any compounds exhibiting similar behavior. The extremely high magnetoresistance (XMR) has also been explained by the carrier compensation in the compound, estimated from the Hall conductivity. Moreover, from the study of Subhnikov-de Haas (SdH) oscillation and density functional theory (DFT), we obtained the complete three-dimensional (3D) Fermi surface topology of the compound InBi. A detailed understanding of carriers' behavior has been discussed using those studies. We have also unfurled the topology of each electron and hole pocket and its possible modulation with electron and hole do**.
△ Less
Submitted 29 October, 2022;
originally announced October 2022.
-
Design of Discrete-time Matrix All-Pass Filters Using Subspace Nevanlinna Pick Interpolation
Authors:
Agulla Surya Bharath,
Devanshu Singh Gaharwar,
Kumar Appaiah,
Debasattam Pal
Abstract:
Unitary matrix-valued functions of frequency are matrix all-pass systems, since they preserve the norm of the input vector signals. Typically, such systems are represented and analyzed using their unitary-matrix valued frequency domain characteristics, although obtaining rational realizations for matrix all-pass systems enables compact representations and efficient implementations. However, an app…
▽ More
Unitary matrix-valued functions of frequency are matrix all-pass systems, since they preserve the norm of the input vector signals. Typically, such systems are represented and analyzed using their unitary-matrix valued frequency domain characteristics, although obtaining rational realizations for matrix all-pass systems enables compact representations and efficient implementations. However, an approach to obtain matrix all-pass filters that satisfy phase constraints at certain frequencies was hitherto unknown. In this paper, we present an interpolation strategy to obtain a rational matrix-valued transfer function from frequency domain constraints for discrete-time matrix all-pass systems. Using an extension of the Subspace Nevanlinna Pick Interpolation Problem (SNIP), we design a construction for discrete-time matrix all-pass systems that satisfy the desired phase characteristics. An innovation that enables this is the extension of the SNIP to the boundary case to obtain efficient time-domain implementations of matrix all-pass filters as matrix linear constant coefficient difference equations, facilitated by a rational (realizable) matrix transfer function. We also show that the derivative of matrix phase constraints, related to the group delay at the interpolating points, can be optimized to control the all-pass transfer matrices at the unspecified frequencies. Simulations show that the proposed technique for unitary matrix filter design performs as well as traditional DFT based interpolation approaches, including Geodesic interpolation and the popular Givens rotation based matrix parameterization.
△ Less
Submitted 25 October, 2022;
originally announced October 2022.
-
Simultaneous Bright- and Dark-Field X-ray Microscopy at X-ray Free Electron Lasers
Authors:
Leora E. Dresselhaus-Marais,
Bernard Kozioziemski,
Theodor S. Holstad,
Trygve Magnus Ræder,
Matthew Seaberg,
Daewoong Nam,
Sangsoo Kim,
Sean Breckling,
Seonghyuk Choi,
Matthieu Chollet,
Philip K. Cook,
Eric Folsom,
Eric Galtier,
Arnulfo Gonzalez,
Tais Gorhover,
Serge Guillet,
Kristoffer Haldrup,
Marylesa Howard,
Kento Katagiri,
Seonghan Kim,
Sunam Kim,
Sungwon Kim,
Hyunjung Kim,
Erik Bergback Knudsen,
Stephan Kuschel
, et al. (18 additional authors not shown)
Abstract:
The structures, strain fields, and defect distributions in solid materials underlie the mechanical and physical properties across numerous applications. Many modern microstructural microscopy tools characterize crystal grains, domains and defects required to map lattice distortions or deformation, but are limited to studies of the (near) surface. Generally speaking, such tools cannot probe the str…
▽ More
The structures, strain fields, and defect distributions in solid materials underlie the mechanical and physical properties across numerous applications. Many modern microstructural microscopy tools characterize crystal grains, domains and defects required to map lattice distortions or deformation, but are limited to studies of the (near) surface. Generally speaking, such tools cannot probe the structural dynamics in a way that is representative of bulk behavior. Synchrotron X-ray diffraction based imaging has long mapped the deeply embedded structural elements, and with enhanced resolution, Dark Field X-ray Microscopy (DFXM) can now map those features with the requisite nm-resolution. However, these techniques still suffer from the required integration times due to limitations from the source and optics. This work extends DFXM to X-ray free electron lasers, showing how the $10^{12}$ photons per pulse available at these sources offer structural characterization down to 100 fs resolution (orders of magnitude faster than current synchrotron images). We introduce the XFEL DFXM setup with simultaneous bright field microscopy to probe density changes within the same volume. This work presents a comprehensive guide to the multi-modal ultrafast high-resolution X-ray microscope that we constructed and tested at two XFELs, and shows initial data demonstrating two timing strategies to study associated reversible or irreversible lattice dynamics.
△ Less
Submitted 5 September, 2023; v1 submitted 15 October, 2022;
originally announced October 2022.
-
Combating high variance in Data-Scarce Implicit Hate Speech Classification
Authors:
Debaditya Pal,
Kaustubh Chaudhari,
Harsh Sharma
Abstract:
Hate speech classification has been a long-standing problem in natural language processing. However, even though there are numerous hate speech detection methods, they usually overlook a lot of hateful statements due to them being implicit in nature. Develo** datasets to aid in the task of implicit hate speech classification comes with its own challenges; difficulties are nuances in language, va…
▽ More
Hate speech classification has been a long-standing problem in natural language processing. However, even though there are numerous hate speech detection methods, they usually overlook a lot of hateful statements due to them being implicit in nature. Develo** datasets to aid in the task of implicit hate speech classification comes with its own challenges; difficulties are nuances in language, varying definitions of what constitutes hate speech, and the labor-intensive process of annotating such data. This had led to a scarcity of data available to train and test such systems, which gives rise to high variance problems when parameter-heavy transformer-based models are used to address the problem. In this paper, we explore various optimization and regularization techniques and develop a novel RoBERTa-based model that achieves state-of-the-art performance.
△ Less
Submitted 29 August, 2022;
originally announced August 2022.
-
The Schur multiplier of some finite multiplicative Lie algebras
Authors:
Amit Kumar,
Deepak Pal,
Seema Kushwaha,
Sumit Kumar Upadhyay
Abstract:
The main aim of the article is to find the Schur multiplier and the Lie exterior square of some finite multiplicative Lie algebras. For a non abelian simple group $K$ with trivial Schur multiplier, we see that the Schur multiplier of multiplicative Lie algebra $K$ is trivial and the Lie exterior square of $K$ is an improper multiplicative Lie algebra $K.$
The main aim of the article is to find the Schur multiplier and the Lie exterior square of some finite multiplicative Lie algebras. For a non abelian simple group $K$ with trivial Schur multiplier, we see that the Schur multiplier of multiplicative Lie algebra $K$ is trivial and the Lie exterior square of $K$ is an improper multiplicative Lie algebra $K.$
△ Less
Submitted 6 August, 2022;
originally announced August 2022.
-
Particle Physics Readout Electronics and Novel Detector Technologies for Neutron Science
Authors:
Thomas Block,
Markus Gruber,
Saime Gurbuz,
Jochen Kaminski,
Michael Lupberger,
Divya Pal,
Laura Rodriguez Gomez,
Patrick Schwaebig,
Klaus Desch
Abstract:
Traditional thermal neutron detectors are based on Helium-3 as conversion and detection material due to its large neutron cross-section. In light of the upgrade and construction of several neutron scattering facilities such as the European Spallation Source (ESS) and a simultaneous shortage of Helium-3, new detection technologies have been introduced. The most prominent one is to use solid convert…
▽ More
Traditional thermal neutron detectors are based on Helium-3 as conversion and detection material due to its large neutron cross-section. In light of the upgrade and construction of several neutron scattering facilities such as the European Spallation Source (ESS) and a simultaneous shortage of Helium-3, new detection technologies have been introduced. The most prominent one is to use solid converts with a large thermal neutron cross-section such as Gadolinium and Boron. Those materials emit charged particles when hit by a neutron. The technique then relies on detection and/or tracking of the charged particle, as in detectors of particle physics. At the same time, this requires an increase of the readout channels by an order of magnitude with the advantage of also increasing the position resolution by the same amount compared to traditional neutron detectors. A prime example is the Gadolinium Gas Electron Multiplier (GdGEM) detector for the NMX instrument at ESS jointly developed by the CERN Gaseous Detector Group and the ESS Detector Group.
In this contribution, some of our efforts to transfer particle physics detectors and readout electronics to neutron science will be presented. We employed the VMM3a chip, originally designed for the ATLAS New Small Wheel upgrade, to read out a GEM-based neutron detector. The Timepix3 chip is employed in a neutron Time Projection Chamber as well as to read out a neutron-sensitive Micro-Channel Plate detector. Those readout chips are integrated into the Scalable Readout System of the RD51 collaboration.
△ Less
Submitted 13 July, 2022;
originally announced July 2022.
-
Auction for Double-Wide Ads
Authors:
Jonathan Gu,
David Pal,
Kevin Ryan
Abstract:
We propose an auction for online advertising where each ad occupies either one square or two horizontally-adjacent squares of a grid of squares. Our primary application are ads for products shown on retail websites such as Instacart or Amazon where the products are naturally organized into a grid. We propose efficient algorithms for computing the optimal layout of the ads and pricing of the ads. T…
▽ More
We propose an auction for online advertising where each ad occupies either one square or two horizontally-adjacent squares of a grid of squares. Our primary application are ads for products shown on retail websites such as Instacart or Amazon where the products are naturally organized into a grid. We propose efficient algorithms for computing the optimal layout of the ads and pricing of the ads. The auction is a generalization of the generalized second-price (GSP) auction used by internet search engines (e.g. Google, Microsoft Bing, Yahoo!).
△ Less
Submitted 8 July, 2022;
originally announced July 2022.
-
On eventual non-negativity and positivity for the weighted sum of powers of matrices
Authors:
S Akshay,
Supratik Chakraborty,
Debtanu Pal
Abstract:
The long run behaviour of linear dynamical systems is often studied by looking at eventual properties of matrices and recurrences that underlie the system. A basic problem that lies at the core of many questions in this setting is the following: given a set of pairs of rational weights and matrices {(w_1 , A_1 ), . . . , (w_m , A_m )}, we ask if the weighted sum of powers of these matrices is even…
▽ More
The long run behaviour of linear dynamical systems is often studied by looking at eventual properties of matrices and recurrences that underlie the system. A basic problem that lies at the core of many questions in this setting is the following: given a set of pairs of rational weights and matrices {(w_1 , A_1 ), . . . , (w_m , A_m )}, we ask if the weighted sum of powers of these matrices is eventually non-negative P (resp. n positive), i.e., does there exist an integer N s.t for all n greater than N , (w_1 A_1^n + ... + w_m A_m^n) is atmost 0 (resp. greater than 0). The restricted setting when m = w_1 = 1, results in so-called eventually non-negative (or eventually positive) matrices, which enjoy nice spectral properties and have been well-studied in control theory. More applications arise in varied contexts, ranging from program verification to partially observable and multi-modal systems.
Our goal is to investigate this problem and its link to linear recurrence sequences. Our first result is that for m at least 2, the problem is as hard as the ultimate positivity of linear recurrences, a long standing open question (known to be coNP-hard). Our second result is a reduction in the other direction showing that for any m at least 1, the problem reduces to ultimate positivity of linear recurrences. This shows precise upper bounds for several subclasses of matrices by exploiting known results on linear recurrence sequences. Our third main result is a novel reduction technique for a large class of problems (including those mentioned above) over rational diagonalizable matrices to the corresponding problem over simple real-algebraic matrices. This yields effective decision procedures for diagonalizable matrices.
△ Less
Submitted 18 May, 2022;
originally announced May 2022.
-
Cold Atoms in Space: Community Workshop Summary and Proposed Road-Map
Authors:
Ivan Alonso,
Cristiano Alpigiani,
Brett Altschul,
Henrique Araujo,
Gianluigi Arduini,
Jan Arlt,
Leonardo Badurina,
Antun Balaz,
Satvika Bandarupally,
Barry C Barish Michele Barone,
Michele Barsanti,
Steven Bass,
Angelo Bassi,
Baptiste Battelier,
Charles F. A. Baynham,
Quentin Beaufils,
Aleksandar Belic,
Joel Berge,
Jose Bernabeu,
Andrea Bertoldi,
Robert Bingham,
Sebastien Bize,
Diego Blas,
Kai Bongs,
Philippe Bouyer
, et al. (224 additional authors not shown)
Abstract:
We summarize the discussions at a virtual Community Workshop on Cold Atoms in Space concerning the status of cold atom technologies, the prospective scientific and societal opportunities offered by their deployment in space, and the developments needed before cold atoms could be operated in space. The cold atom technologies discussed include atomic clocks, quantum gravimeters and accelerometers, a…
▽ More
We summarize the discussions at a virtual Community Workshop on Cold Atoms in Space concerning the status of cold atom technologies, the prospective scientific and societal opportunities offered by their deployment in space, and the developments needed before cold atoms could be operated in space. The cold atom technologies discussed include atomic clocks, quantum gravimeters and accelerometers, and atom interferometers. Prospective applications include metrology, geodesy and measurement of terrestrial mass change due to, e.g., climate change, and fundamental science experiments such as tests of the equivalence principle, searches for dark matter, measurements of gravitational waves and tests of quantum mechanics. We review the current status of cold atom technologies and outline the requirements for their space qualification, including the development paths and the corresponding technical milestones, and identifying possible pathfinder missions to pave the way for missions to exploit the full potential of cold atoms in space. Finally, we present a first draft of a possible road-map for achieving these goals, that we propose for discussion by the interested cold atom, Earth Observation, fundamental physics and other prospective scientific user communities, together with ESA and national space and research funding agencies.
△ Less
Submitted 19 January, 2022;
originally announced January 2022.
-
Deliquescence probability maps of Mars and key limiting factors using GCM model calculations
Authors:
Bernadett D. Pál,
Ákos Kereszturi
Abstract:
There may be a chance of small-scale ephemeral liquid water formation on present day Mars, even though the current climate does not support the existence of larger bodies of water. Through a process called deliquescence, hygroscopic salts can enter solution by absorbing water vapor directly from the atmosphere. Due to the absence of in-situ deliquescence experiments so far, the most reliable way t…
▽ More
There may be a chance of small-scale ephemeral liquid water formation on present day Mars, even though the current climate does not support the existence of larger bodies of water. Through a process called deliquescence, hygroscopic salts can enter solution by absorbing water vapor directly from the atmosphere. Due to the absence of in-situ deliquescence experiments so far, the most reliable way to forecast deliquescence is through atmospherical modeling, however, the locations and times when salty liquid water could emerge are not yet well known. In this paper we present our results of likely brine formation on Mars, their proposed locations and seasons, as well as the possible limiting factors. For our calculations we used the data of Laboratoire de Météorologie Dynamique Mars General Circulation Model version 5. The results show that from L$_s$ 35$^\circ$ - L$_s$ 160$^\circ$, between 9 PM and 11 PM there is a good chance for calcium perchlorate deliquescence above 30$^\circ$ N, while in this zone the ideal regions are concentrated mostly to Acidalia Planitia and Utopia Planitia between 1 AM and 3 AM. We found that in the Southern Hemisphere, between L$_s$ 195$^\circ$ and L$_s$ 320$^\circ$, there is a noticeable, but weaker band in the vicinity of 60$^\circ$ S, and both Argyre Planitia and Hellas Planitia show some chance for brine formation. According to our statistics the key limiting factor of deliquescence could be relative humidity in most cases. Our results suggest that during summer -- early fall seasons, there could be deliquescence in both hemispheres in specific areas from the late evening until the early morning hours. There are only few studies detailing the geological and temporal distribution of brine formation through deliquescence, thus this work could be used as a good guide for future landing site analysis or in choosing a specific location for further research.
△ Less
Submitted 15 December, 2021;
originally announced December 2021.
-
A matrix theoretic characterization of the strongly reachable subspace
Authors:
Imrul Qais,
Chayan Bhawal,
Debasattam Pal
Abstract:
In this paper, we provide novel characterizations of the weakly unobservable and the strongly reachable subspaces corresponding to a given state-space system. These characterizations provide closed-form representations for the said subspaces. In this process, we establish that the strongly reachable subspace is intimately related to the space of admissible impulsive inputs. We also show how to cal…
▽ More
In this paper, we provide novel characterizations of the weakly unobservable and the strongly reachable subspaces corresponding to a given state-space system. These characterizations provide closed-form representations for the said subspaces. In this process, we establish that the strongly reachable subspace is intimately related to the space of admissible impulsive inputs. We also show how to calculate the dimensions of these subspaces from the transfer matrix of the system.
△ Less
Submitted 7 November, 2021;
originally announced November 2021.
-
Metapopulation dynamics of a respiratory disease with infection during travel
Authors:
Indrajit Ghosh,
Sk Shahid Nadim,
Soumyendu Raha,
Debnath Pal
Abstract:
We formulate a compartmental model for the propagation of a respiratory disease in a patchy environment. The patches are connected through the mobility of individuals, and we assume that disease transmission and recovery are possible during travel. Moreover, the migration terms are assumed to depend on the distance between patches and the perceived severity of the disease. The positivity and bound…
▽ More
We formulate a compartmental model for the propagation of a respiratory disease in a patchy environment. The patches are connected through the mobility of individuals, and we assume that disease transmission and recovery are possible during travel. Moreover, the migration terms are assumed to depend on the distance between patches and the perceived severity of the disease. The positivity and boundedness of the model solutions are discussed. We analytically show the existence and global asymptotic stability of the disease-free equilibrium. We study three different network topologies numerically and find that underlying network structure is crucial for disease transmission. Further numerical simulations reveal that infection during travel has the potential to change the stability of disease-free equilibrium from stable to unstable. The coupling strength and transmission coefficients are also very crucial in disease propagation. Different exit screening scenarios indicate that the patch with the highest prevalence may have adverse effects but other patches will be benefited from exit screening. Furthermore, while studying the multi-strain dynamics, it is observed that two co-circulating strains will not persist simultaneously in the community but only one of the strains may persist in the long run. Transmission coefficients corresponding to the second strain are very crucial and show threshold like behavior with respect to the equilibrium density of the second strain.
△ Less
Submitted 8 October, 2021; v1 submitted 6 July, 2021;
originally announced July 2021.
-
The coarsest lattice that determines a discrete multidimensional system
Authors:
Debasattam Pal,
Shiva Shankar
Abstract:
A discrete multidimensional system is the set of solutions to a system of linear partial difference equations defined on the lattice $\Z^n$. This paper shows that it is determined by a unique coarsest sublattice, in the sense that the solutions of the system on this sublattice determine the solutions on $\Z^n$; it is therefore the correct domain of definition of the discrete system. In turn, the d…
▽ More
A discrete multidimensional system is the set of solutions to a system of linear partial difference equations defined on the lattice $\Z^n$. This paper shows that it is determined by a unique coarsest sublattice, in the sense that the solutions of the system on this sublattice determine the solutions on $\Z^n$; it is therefore the correct domain of definition of the discrete system. In turn, the defining sublattice is determined by a Galois group of symmetries that leave invariant the equations defining the system. These results find application in understanding properties of the system such as controllability and autonomy, and in its order reduction.
△ Less
Submitted 23 January, 2022; v1 submitted 3 July, 2021;
originally announced July 2021.
-
Review of synergic meteor observations: linking the results from cameras, ionosondes, infrasound and seismic detectors
Authors:
Á. Kereszturi,
V. Barta,
I. Bondár,
Cs. Czanik,
A. Igaz,
P. Mónus,
D. Rezes,
L. Szabados,
B. D. Pál
Abstract:
Joint evaluation of different meteor observation types support the better understanding of both the meteor phenomenon and the terrestrial atmosphere. Two types of examples are presented in this work, linking ionospheric effects to specific meteors, where almost one third of the meteors emerged at high altitudes were simultaneously recorded with an optical camera. Very few such observations have be…
▽ More
Joint evaluation of different meteor observation types support the better understanding of both the meteor phenomenon and the terrestrial atmosphere. Two types of examples are presented in this work, linking ionospheric effects to specific meteors, where almost one third of the meteors emerged at high altitudes were simultaneously recorded with an optical camera. Very few such observations have been realized yet. With a daytime fireball, the recorded infrasound effect and the atmospheric blast produced shock wave related small earthquakes were identified by a network of ground stations. The overview of these observational types highlights specific topics where substantial improvements and discoveries are expected in the near future.
△ Less
Submitted 2 July, 2021;
originally announced July 2021.
-
Feature Engineering for Scalable Application-Level Post-Silicon Debugging
Authors:
Debjit Pal,
Shobha Vasudevan
Abstract:
We present systematic and efficient solutions for both observability enhancement and root-cause diagnosis of post-silicon System-on-Chips (SoCs) validation with diverse usage scenarios. We model specification of interacting flows in typical applications for message selection. Our method for message selection optimizes flow specification coverage and trace buffer utilization. We define the diagnosi…
▽ More
We present systematic and efficient solutions for both observability enhancement and root-cause diagnosis of post-silicon System-on-Chips (SoCs) validation with diverse usage scenarios. We model specification of interacting flows in typical applications for message selection. Our method for message selection optimizes flow specification coverage and trace buffer utilization. We define the diagnosis problem as identifying buggy traces as outliers and bug-free traces as inliers/normal behaviors, for which we use unsupervised learning algorithms for outlier detection. Instead of direct application of machine learning algorithms over trace data using the signals as raw features, we use feature engineering to transform raw features into more sophisticated features using domain specific operations. The engineered features are highly relevant to the diagnosis task and are generic to be applied across any hardware designs. We present debugging and root cause analysis of subtle post-silicon bugs in industry-scale OpenSPARC T2 SoC. We achieve a trace buffer utilization of 98.96\% with a flow specification coverage of 94.3\% (average). Our diagnosis method was able to diagnose up to 66.7\% more bugs and took up to 847$\times$ less diagnosis time as compared to the manual debugging with a diagnosis precision of 0.769.
△ Less
Submitted 8 February, 2021;
originally announced February 2021.
-
Parameter-free Stochastic Optimization of Variationally Coherent Functions
Authors:
Francesco Orabona,
Dávid Pál
Abstract:
We design and analyze an algorithm for first-order stochastic optimization of a large class of functions on $\mathbb{R}^d$. In particular, we consider the \emph{variationally coherent} functions which can be convex or non-convex. The iterates of our algorithm on variationally coherent functions converge almost surely to the global minimizer $\boldsymbol{x}^*$. Additionally, the very same algorithm…
▽ More
We design and analyze an algorithm for first-order stochastic optimization of a large class of functions on $\mathbb{R}^d$. In particular, we consider the \emph{variationally coherent} functions which can be convex or non-convex. The iterates of our algorithm on variationally coherent functions converge almost surely to the global minimizer $\boldsymbol{x}^*$. Additionally, the very same algorithm with the same hyperparameters, after $T$ iterations guarantees on convex functions that the expected suboptimality gap is bounded by $\widetilde{O}(\|\boldsymbol{x}^* - \boldsymbol{x}_0\| T^{-1/2+ε})$ for any $ε>0$. It is the first algorithm to achieve both these properties at the same time. Also, the rate for convex functions essentially matches the performance of parameter-free algorithms. Our algorithm is an instance of the Follow The Regularized Leader algorithm with the added twist of using \emph{rescaled gradients} and time-varying linearithmic regularizers.
△ Less
Submitted 30 January, 2021;
originally announced February 2021.
-
Data Agnostic RoBERTa-based Natural Language to SQL Query Generation
Authors:
Debaditya Pal,
Harsh Sharma,
Kaustubh Chaudhari
Abstract:
Relational databases are among the most widely used architectures to store massive amounts of data in the modern world. However, there is a barrier between these databases and the average user. The user often lacks the knowledge of a query language such as SQL required to interact with the database. The NL2SQL task aims at finding deep learning approaches to solve this problem by converting natura…
▽ More
Relational databases are among the most widely used architectures to store massive amounts of data in the modern world. However, there is a barrier between these databases and the average user. The user often lacks the knowledge of a query language such as SQL required to interact with the database. The NL2SQL task aims at finding deep learning approaches to solve this problem by converting natural language questions into valid SQL queries. Given the sensitive nature of some databases and the growing need for data privacy, we have presented an approach with data privacy at its core. We have passed RoBERTa embeddings and data-agnostic knowledge vectors into LSTM based submodels to predict the final query. Although we have not achieved state of the art results, we have eliminated the need for the table data, right from the training of the model, and have achieved a test set execution accuracy of 76.7%. By eliminating the table data dependency while training we have created a model capable of zero shot learning based on the natural language question and table schema alone.
△ Less
Submitted 5 March, 2021; v1 submitted 11 October, 2020;
originally announced October 2020.
-
Ultrashort Pulse Generation in Modeless Laser Cavity
Authors:
Dan Cheng,
Yujun Feng,
Meng Ding,
Debasis Pal,
Johan Nilsson
Abstract:
We demonstrate experimentally that random phase modulation of an erbium-doped fiber ring-laser by an intra-cavity electro-optic phase modulator did not inhibit ultrashort-pulse operation. Stable and self-starting ultrashort-pulse operation with a single pulse circulating in the cavity was achieved even when the phase modulator was driven with random sequences sufficiently fast and strong to render…
▽ More
We demonstrate experimentally that random phase modulation of an erbium-doped fiber ring-laser by an intra-cavity electro-optic phase modulator did not inhibit ultrashort-pulse operation. Stable and self-starting ultrashort-pulse operation with a single pulse circulating in the cavity was achieved even when the phase modulator was driven with random sequences sufficiently fast and strong to render the laser cavity modeless, in the sense that heterodyning of the laser output did not show any spectral lines corresponding to a mode spectrum. No significant change in measured pulse characteristics was observed, compared to conventional mode-locking in the unmodulated cavity. The insensitivity to the random phase modulation is expected, given the lack of phase-sensitive elements in the cavity.
△ Less
Submitted 16 February, 2022; v1 submitted 20 September, 2020;
originally announced September 2020.
-
Direct observation of the effects of spin dependent momentum of light in optical tweezers
Authors:
Debapriya Pal,
Subhasish Dutta Gupta,
Nirmalya Ghosh,
Ayan Banerjee
Abstract:
We demonstrate that tight focusing of a circularly polarized Gaussian beam in optical tweezers leads to spin-momentum locking - with the transverse spin angular momentum density being independent of helicity, while the transverse momentum (Poynting vector) becomes helicity dependent. Our theoretical calculations, numerical simulations, and experiments reveal that the presence of a stratified mediu…
▽ More
We demonstrate that tight focusing of a circularly polarized Gaussian beam in optical tweezers leads to spin-momentum locking - with the transverse spin angular momentum density being independent of helicity, while the transverse momentum (Poynting vector) becomes helicity dependent. Our theoretical calculations, numerical simulations, and experiments reveal that the presence of a stratified medium in the path of the trap** beam significantly enhances the magnitude of transverse momentum in the radial direction with respect to the beam axis, and likewise, also leads to high off-axial intensity. This overlap allows us to experimentally observe the circular motion of a birefringent particle, trapped off-axis, in response to an input circularly polarized fundamental Gaussian beam carrying no intrinsic orbital angular momentum. The circular motion is dependent on the helicity of the input beam, so that we can identify it to be the signature of the elusive Belinfante spin in propagating light beams obtained in our optical tweezers setup. Our work can be extended to higher-order beams carrying intrinsic orbital angular momentum leading to simple routes of achieving complex particle manipulation using optical tweezers.
△ Less
Submitted 8 April, 2020;
originally announced April 2020.
-
Limiting distribution of periodic position measurements of a quantum harmonic oscillator
Authors:
Arnab Acharya,
Debapriya Pal,
Soumitro Banerjee,
Ananda Dasgupta
Abstract:
We consider a particle in harmonic oscillator potential, whose position is periodically measured with an instrument of finite precision. We show that the distribution of the measured positions tends to a limiting distribution when the number of measurements tends to infinity. We derive the expression for the limiting position distribution and validate it with numerical simulation.
We consider a particle in harmonic oscillator potential, whose position is periodically measured with an instrument of finite precision. We show that the distribution of the measured positions tends to a limiting distribution when the number of measurements tends to infinity. We derive the expression for the limiting position distribution and validate it with numerical simulation.
△ Less
Submitted 15 January, 2021; v1 submitted 31 December, 2019;
originally announced December 2019.
-
Towards a Hypothesis on Visual Transformation based Self-Supervision
Authors:
Dipan K. Pal,
Sreena Nallamothu,
Marios Savvides
Abstract:
We propose the first qualitative hypothesis characterizing the behavior of visual transformation based self-supervision, called the VTSS hypothesis. Given a dataset upon which a self-supervised task is performed while predicting instantiations of a transformation, the hypothesis states that if the predicted instantiations of the transformations are already present in the dataset, then the represen…
▽ More
We propose the first qualitative hypothesis characterizing the behavior of visual transformation based self-supervision, called the VTSS hypothesis. Given a dataset upon which a self-supervised task is performed while predicting instantiations of a transformation, the hypothesis states that if the predicted instantiations of the transformations are already present in the dataset, then the representation learned will be less useful. The hypothesis was derived by observing a key constraint in the application of self-supervision using a particular transformation. This constraint, which we term the transformation conflict for this paper, forces a network learn degenerative features thereby reducing the usefulness of the representation. The VTSS hypothesis helps us identify transformations that have the potential to be effective as a self-supervision task. Further, it helps to generally predict whether a particular transformation based self-supervision technique would be effective or not for a particular dataset. We provide extensive evaluations on CIFAR 10, CIFAR 100, SVHN and FMNIST confirming the hypothesis and the trends it predicts. We also propose novel cost-effective self-supervision techniques based on translation and scale, which when combined with rotation outperforms all transformations applied individually. Overall, this paper aims to shed light on the phenomenon of visual transformation based self-supervision.
△ Less
Submitted 13 February, 2020; v1 submitted 24 November, 2019;
originally announced November 2019.