-
Relational Companions of Logics
Authors:
Sankha S. Basu,
Sayantan Roy
Abstract:
The variable inclusion companions of logics have lately been thoroughly studied by multiple authors. There are broadly two types of these companions: the left and the right variable inclusion companions. Another type of companions of logics induced by Hilbert-style presentations (Hilbert-style logics) were introduced in a recent paper. A sufficient condition for the restricted rules companion of a…
▽ More
The variable inclusion companions of logics have lately been thoroughly studied by multiple authors. There are broadly two types of these companions: the left and the right variable inclusion companions. Another type of companions of logics induced by Hilbert-style presentations (Hilbert-style logics) were introduced in a recent paper. A sufficient condition for the restricted rules companion of a Hilbert-style logic to coincide with its left variable inclusion companion was proved there, while a necessary condition remained elusive. The present article has two parts. In the first part, we give a necessary and sufficient condition for the left variable inclusion and the restricted rules companions of a Hilbert-style logic to coincide. In the rest of the paper, we recognize that the variable inclusion restrictions used to define variable inclusion companions of a logic $\langle\mathcal{L},\vdash\rangle$ are relations from $\mathcal{P}(\mathcal{L})$ to $\mathcal{L}$. This leads to a more general idea of a relational companion of a logical structure, a framework that we borrow from the field of universal logic. We end by showing that even Hilbert-style logics and the restricted rules companions of these can be brought under the umbrella of the general notions of logical structures and their relational companions that are discussed here.
△ Less
Submitted 30 August, 2024;
originally announced August 2024.
-
Evaporation of water-in-oil microemulsion droplet
Authors:
Bal Krishan,
Preetika Rastogi,
D. Chaitanya Kumar Rao,
Niket S. Kaisare,
Madivala G. Basavaraj,
Saptarshi Basu
Abstract:
Emulsion fuels have the potential to reduce both particulate matter and NOx emissions and can potentially improve the efficiency of combustion engines. However, their limited stability remains a critical barrier to practical use as an alternative fuel. In this study, we explore the evaporation behavior of thermodynamically stable water-in-oil microemulsions. The water-in-oil microemulsion droplets…
▽ More
Emulsion fuels have the potential to reduce both particulate matter and NOx emissions and can potentially improve the efficiency of combustion engines. However, their limited stability remains a critical barrier to practical use as an alternative fuel. In this study, we explore the evaporation behavior of thermodynamically stable water-in-oil microemulsions. The water-in-oil microemulsion droplets prepared from different types of oil were acoustically levitated and heated using a continuous laser at different irradiation intensities. We show that the evaporation characteristics of these microemulsions can be controlled by varying water-to-surfactant molar ratio (ω) and volume fraction of the dispersed phase (φ). The emulsion droplets undergo three distinct stages of evaporation, namely pre-heating, steady evaporation, and unsteady evaporation. During the steady evaporation phase, increasing φ reduces the evaporation rate for a fixed ω. It is observed that the evaporation of microemulsion is governed by the complex interplay between its constituents and their properties. We propose a parameter (η) denoting the volume fraction ratio between volatile and non-volatile components, which indicates the cumulative influence of various factors affecting the evaporation process. The evaporation of microemulsions eventually leads to the formation of solid spherical shells, which may undergo buckling. The distinction in the morphology of these shells is explored in detail using SEM imaging.
△ Less
Submitted 28 August, 2024;
originally announced August 2024.
-
A Statistical Framework for Data-dependent Retrieval-Augmented Models
Authors:
Soumya Basu,
Ankit Singh Rawat,
Manzil Zaheer
Abstract:
Modern ML systems increasingly augment input instances with additional relevant information to enhance final prediction. Despite growing interest in such retrieval-augmented models, their fundamental properties and training are not well understood. We propose a statistical framework to study such models with two components: 1) a {\em retriever} to identify the relevant information out of a large c…
▽ More
Modern ML systems increasingly augment input instances with additional relevant information to enhance final prediction. Despite growing interest in such retrieval-augmented models, their fundamental properties and training are not well understood. We propose a statistical framework to study such models with two components: 1) a {\em retriever} to identify the relevant information out of a large corpus via a data-dependent metric; and 2) a {\em predictor} that consumes the input instances along with the retrieved information to make the final predictions. We present a principled method for end-to-end training of both components and draw connections with various training approaches in the literature. Furthermore, we establish excess risk bounds for retrieval-augmented models while delineating the contributions of both retriever and predictor towards the model performance. We validate the utility of our proposed training methods along with the key takeaways from our statistical analysis on open domain question answering task where retrieval augmentation is important.
△ Less
Submitted 27 August, 2024;
originally announced August 2024.
-
Physically Feasible Semantic Segmentation
Authors:
Shamik Basu,
Christos Sakaridis,
Luc Van Gool
Abstract:
State-of-the-art semantic segmentation models are typically optimized in a data-driven fashion, minimizing solely per-pixel classification objectives on their training data. This purely data-driven paradigm often leads to absurd segmentations, especially when the domain of input images is shifted from the one encountered during training. For instance, state-of-the-art models may assign the label `…
▽ More
State-of-the-art semantic segmentation models are typically optimized in a data-driven fashion, minimizing solely per-pixel classification objectives on their training data. This purely data-driven paradigm often leads to absurd segmentations, especially when the domain of input images is shifted from the one encountered during training. For instance, state-of-the-art models may assign the label ``road'' to a segment which is located above a segment that is respectively labeled as ``sky'', although our knowledge of the physical world dictates that such a configuration is not feasible for images captured by forward-facing upright cameras. Our method, Physically Feasible Semantic Segmentation (PhyFea), extracts explicit physical constraints that govern spatial class relations from the training sets of semantic segmentation datasets and enforces a differentiable loss function that penalizes violations of these constraints to promote prediction feasibility. PhyFea yields significant performance improvements in mIoU over each state-of-the-art network we use as baseline across ADE20K, Cityscapes and ACDC, notably a $1.5\%$ improvement on ADE20K and a $2.1\%$ improvement on ACDC.
△ Less
Submitted 26 August, 2024;
originally announced August 2024.
-
Holstein polaron in a pseudospin-$1$ quantum spin Hall system: first and second order topological phase transitions
Authors:
Kuntal Bhattacharyya,
Srijata Lahiri,
Mijanur Islam,
Saurabh Basu
Abstract:
We theoretically propose the occurrence of a quantum spin Hall (QSH) and a second order topological phase transition (TPT) driven by electron-phonon (e-p) coupling in a pseudospin-$1$ fermionic system on an $α$-$T_3$ lattice. Our model is formulated in the spirit of the Kane-Mele model modified by the Holstein Hamiltonian. The Lang-Firsov approach is employed to describe polarons reasonably well i…
▽ More
We theoretically propose the occurrence of a quantum spin Hall (QSH) and a second order topological phase transition (TPT) driven by electron-phonon (e-p) coupling in a pseudospin-$1$ fermionic system on an $α$-$T_3$ lattice. Our model is formulated in the spirit of the Kane-Mele model modified by the Holstein Hamiltonian. The Lang-Firsov approach is employed to describe polarons reasonably well in the anti-adiabatic (high frequency) limit and to obtain an effective electronic Hamiltonian. It is shown that the system possesses topologically nontrivial phases up to a critical e-p coupling, $λ_c$ and are characterized by the helical QSH edge states along with a non-zero $\mathbb{Z}_2$ invariant for a certain range of $α$. The topological phase vanishes beyond $λ_c$ and is accompanied by a bulk gap closing transition at $λ_c$, manifesting a TPT. We observe a more intriguing phenomenon for higher values of $α$, where the system exhibits TPTs supported by two distinct gap closing transitions at $λ_{c_1}$ and $λ_{c_2}$, while a slim region at slightly lower values hosts a semi-metallic signature below $λ_{c_1}$. Subsequently, to explore more intricate features, we introduce a time reversal symmetry breaking magnetic field to trigger the formation of a second order topological phase. The magnetic field, by construction causes a boundary dependent gapping out of the edge states, consequently giving rise to robust corner modes in a tailored open boundary conditions. We justify the formation of the higher order phase by employing an appropriate invariant, namely the projected spin Chern number. Finally, we show that the e-p coupling significantly influences the corner modes (and also the real space energy bandstructure), corroborating a higher order TPT as we tune $λ$ beyond a critical value for a given value of $α$.
△ Less
Submitted 26 August, 2024;
originally announced August 2024.
-
Suszko's Thesis and Many-valued Logical Structures
Authors:
Sayantan Roy,
Sankha S. Basu,
Mihir K. Chakraborty
Abstract:
In this article, we try to formulate a definition of ''many-valued logical structure''. For this, we embark on a deeper study of Suszko's Thesis ($\mathbf{ST}$) and show that the truth or falsity of $\mathbf{ST}$ depends, at least, on the precise notion of semantics. We propose two different notions of semantics and three different notions of entailment. The first one helps us formulate a precise…
▽ More
In this article, we try to formulate a definition of ''many-valued logical structure''. For this, we embark on a deeper study of Suszko's Thesis ($\mathbf{ST}$) and show that the truth or falsity of $\mathbf{ST}$ depends, at least, on the precise notion of semantics. We propose two different notions of semantics and three different notions of entailment. The first one helps us formulate a precise definition of inferentially many-valued logical structures. The second and the third help us to generalise Suszko Reduction and provide adequate bivalent semantics for monotonic and a couple of nonmonotonic logical structures. All these lead us to a closer examination of the played by language/metalanguage hierarchy vis-á-vis $\mathbf{ST}$. We conclude that many-valued logical structures can be obtained if the bivalence of all the higher-order metalogics of the logic under consideration is discarded, building formal bridges between the theory of graded consequence and the theory of many-valued logical structures, culminating in generalisations of Suszko's Thesis.
△ Less
Submitted 25 August, 2024;
originally announced August 2024.
-
TESS asteroseismology of $β$ Hydri: a subgiant with a born-again dynamo
Authors:
Travis S. Metcalfe,
Jennifer L. van Saders,
Daniel Huber,
Derek Buzasi,
Rafael A. Garcia,
Keivan G. Stassun,
Sarbani Basu,
Sylvain N. Breton,
Zachary R. Claytor,
Enrico Corsaro,
Martin B. Nielsen,
J. M. Joel Ong,
Nicholas Saunders,
Amalie Stokholm,
Timothy R. Bedding
Abstract:
The solar-type subgiant $β$ Hyi has long been studied as an old analog of the Sun. Although the rotation period has never been measured directly, it was estimated to be near 27 days. As a southern hemisphere target it was not monitored by long-term stellar activity surveys, but archival International Ultraviolet Explorer data revealed a 12 year activity cycle. Previous ground-based asteroseismolog…
▽ More
The solar-type subgiant $β$ Hyi has long been studied as an old analog of the Sun. Although the rotation period has never been measured directly, it was estimated to be near 27 days. As a southern hemisphere target it was not monitored by long-term stellar activity surveys, but archival International Ultraviolet Explorer data revealed a 12 year activity cycle. Previous ground-based asteroseismology suggested that the star is slightly more massive and substantially larger and older than the Sun, so the similarity of both the rotation rate and the activity cycle period to solar values is perplexing. We use two months of precise time-series photometry from the Transiting Exoplanet Survey Satellite (TESS) to detect solar-like oscillations in $β$ Hyi and determine the fundamental stellar properties from asteroseismic modeling. We also obtain a direct measurement of the rotation period, which was previously estimated from an ultraviolet activity-rotation relation. We then use rotational evolution modeling to predict the rotation period expected from either standard spin-down or weakened magnetic braking (WMB). We conclude that the rotation period of $β$ Hyi is consistent with WMB, and that changes in stellar structure on the subgiant branch can reinvigorate the large-scale dynamo and briefly sustain magnetic activity cycles. Our results support the existence of a "born-again" dynamo in evolved subgiants -- previously suggested to explain the cycle in 94 Aqr Aa -- which can best be understood within the WMB scenario.
△ Less
Submitted 10 August, 2024;
originally announced August 2024.
-
Regularized Unconstrained Weakly Submodular Maximization
Authors:
Yanhui Zhu,
Samik Basu,
A. Pavan
Abstract:
Submodular optimization finds applications in machine learning and data mining. In this paper, we study the problem of maximizing functions of the form $h = f-c$, where $f$ is a monotone, non-negative, weakly submodular set function and $c$ is a modular function. We design a deterministic approximation algorithm that runs with ${O}(\frac{n}ε\log \frac{n}{γε})$ oracle calls to function $h$, and out…
▽ More
Submodular optimization finds applications in machine learning and data mining. In this paper, we study the problem of maximizing functions of the form $h = f-c$, where $f$ is a monotone, non-negative, weakly submodular set function and $c$ is a modular function. We design a deterministic approximation algorithm that runs with ${O}(\frac{n}ε\log \frac{n}{γε})$ oracle calls to function $h$, and outputs a set ${S}$ such that $h({S}) \geq γ(1-ε)f(OPT)-c(OPT)-\frac{c(OPT)}{γ(1-ε)}\log\frac{f(OPT)}{c(OPT)}$, where $γ$ is the submodularity ratio of $f$. Existing algorithms for this problem either admit a worse approximation ratio or have quadratic runtime. We also present an approximation ratio of our algorithm for this problem with an approximate oracle of $f$. We validate our theoretical results through extensive empirical evaluations on real-world applications, including vertex cover and influence diffusion problems for submodular utility function $f$, and Bayesian A-Optimal design for weakly submodular $f$. Our experimental results demonstrate that our algorithms efficiently achieve high-quality solutions.
△ Less
Submitted 18 August, 2024; v1 submitted 8 August, 2024;
originally announced August 2024.
-
OTCliM: generating a near-surface climatology of optical turbulence strength ($C_n^2$) using gradient boosting
Authors:
Maximilian Pierzyna,
Sukanta Basu,
Rudolf Saathof
Abstract:
This study introduces OTCliM (Optical Turbulence Climatology using Machine learning), a novel approach for deriving comprehensive climatologies of atmospheric optical turbulence strength ($C_n^2$) using gradient boosting machines. OTCliM addresses the challenge of efficiently obtaining reliable site-specific $C_n^2$ climatologies, crucial for ground-based astronomy and free-space optical communica…
▽ More
This study introduces OTCliM (Optical Turbulence Climatology using Machine learning), a novel approach for deriving comprehensive climatologies of atmospheric optical turbulence strength ($C_n^2$) using gradient boosting machines. OTCliM addresses the challenge of efficiently obtaining reliable site-specific $C_n^2$ climatologies, crucial for ground-based astronomy and free-space optical communication. Using gradient boosting machines and global reanalysis data, OTCliM extrapolates one year of measured $C_n^2$ into a multi-year time series. We assess OTCliM's performance using $C_n^2$ data from 17 diverse stations in New York State, evaluating temporal extrapolation capabilities and geographical generalization. Our results demonstrate accurate predictions of four held-out years of $C_n^2$ across various sites, including complex urban environments, outperforming traditional analytical models. Non-urban models also show good geographical generalization compared to urban models, which captured non-general site-specific dependencies. A feature importance analysis confirms the physical consistency of the trained models. It also indicates the potential to uncover new insights into the physical processes governing $C_n^2$ from data. OTCliM's ability to derive reliable $C_n^2$ climatologies from just one year of observations can potentially reduce resources required for future site surveys or enable studies for additional sites with the same resources.
△ Less
Submitted 1 August, 2024;
originally announced August 2024.
-
Asteroseismology of the Nearby K-Dwarf $σ$ Draconis using the Keck Planet Finder and TESS
Authors:
Marc Hon,
Daniel Huber,
Yaguang Li,
Travis S. Metcalfe,
Timothy R. Bedding,
Joel Ong,
Ashley Chontos,
Ryan Rubenzahl,
Samuel Halverson,
Rafael A. García,
Hans Kjeldsen,
Dennis Stello,
Daniel R. Hey,
Tiago Campante,
Andrew W. Howard,
Steven R. Gibson,
Kodi Rider,
Arpita Roy,
Ashley D. Baker,
Jerry Edelstein,
Chris Smith,
Benjamin J. Fulton,
Josh Walawender,
Max Brodheim,
Matt Brown
, et al. (54 additional authors not shown)
Abstract:
Asteroseismology of dwarf stars cooler than the Sun is very challenging due to the low amplitudes and rapid timescales of oscillations. Here, we present the asteroseismic detection of solar-like oscillations at 4-minute timescales ($ν_{\mathrm{max}}\sim4300μ$Hz) in the nearby K-dwarf $σ$ Draconis using extreme precision Doppler velocity observations from the Keck Planet Finder and 20-second cadenc…
▽ More
Asteroseismology of dwarf stars cooler than the Sun is very challenging due to the low amplitudes and rapid timescales of oscillations. Here, we present the asteroseismic detection of solar-like oscillations at 4-minute timescales ($ν_{\mathrm{max}}\sim4300μ$Hz) in the nearby K-dwarf $σ$ Draconis using extreme precision Doppler velocity observations from the Keck Planet Finder and 20-second cadence photometry from NASA's Transiting Exoplanet Survey Satellite. The star is the coolest dwarf star to date with both velocity and luminosity observations of solar-like oscillations, having amplitudes of $5.9\pm0.8\,$cm$\,\text{s}^{-1}$ and $0.8\pm0.2$ ppm, respectively. These measured values are in excellent agreement with established luminosity-velocity amplitude relations for oscillations and provide further evidence that mode amplitudes for stars with $T_{\mathrm{eff}}<\,5500\,$K diminish in scale following a $(L/M)^{1.5}$ relation. By modeling the star's oscillation frequencies from photometric data, we measure an asteroseismic age of $4.5\pm0.9\,\rm{(ran)} \pm 1.2\,\rm{(sys)}$ Gyr. The observations demonstrate the capability of next-generation spectrographs and precise space-based photometry to extend observational asteroseismology to nearby cool dwarfs, which are benchmarks for stellar astrophysics and prime targets for directly imaging planets using future space-based telescopes.
△ Less
Submitted 28 August, 2024; v1 submitted 30 July, 2024;
originally announced July 2024.
-
Covering a Graph with Dense Subgraph Families, via Triangle-Rich Sets
Authors:
Sabyasachi Basu,
Daniel Paul-Pena,
Kun Qian,
C. Seshadhri,
Edward W Huang,
Karthik Subbian
Abstract:
Graphs are a fundamental data structure used to represent relationships in domains as diverse as the social sciences, bioinformatics, cybersecurity, the Internet, and more. One of the central observations in network science is that real-world graphs are globally sparse, yet contains numerous "pockets" of high edge density. A fundamental task in graph mining is to discover these dense subgraphs. Mo…
▽ More
Graphs are a fundamental data structure used to represent relationships in domains as diverse as the social sciences, bioinformatics, cybersecurity, the Internet, and more. One of the central observations in network science is that real-world graphs are globally sparse, yet contains numerous "pockets" of high edge density. A fundamental task in graph mining is to discover these dense subgraphs. Most common formulations of the problem involve finding a single (or a few) "optimally" dense subsets. But in most real applications, one does not care for the optimality. Instead, we want to find a large collection of dense subsets that covers a significant fraction of the input graph.
We give a mathematical formulation of this problem, using a new definition of regularly triangle-rich (RTR) families. These families capture the notion of dense subgraphs that contain many triangles and have degrees comparable to the subgraph size. We design a provable algorithm, RTRExtractor, that can discover RTR families that approximately cover any RTR set. The algorithm is efficient and is inspired by recent results that use triangle counts for community testing and clustering.
We show that RTRExtractor has excellent behavior on a large variety of real-world datasets. It is able to process graphs with hundreds of millions of edges within minutes. Across many datasets, RTRExtractor achieves high coverage using high edge density datasets. For example, the output covers a quarter of the vertices with subgraphs of edge density more than (say) $0.5$, for datasets with 10M+ edges. We show an example of how the output of RTRExtractor correlates with meaningful sets of similar vertices in a citation network, demonstrating the utility of RTRExtractor for unsupervised graph discovery tasks.
△ Less
Submitted 23 July, 2024;
originally announced July 2024.
-
Magnetic Fields in Massive Star-forming Regions (MagMaR): Unveiling an Hourglass Magnetic Field in G333.46-0.16 using ALMA
Authors:
Piyali Saha,
Patricio Sanhueza,
Marco Padovani,
Josep M. Girart,
Paulo Cortes,
Kaho Morii,
Junhao Liu,
A. Sanchez-Monge,
Daniele Galli,
Shantanu Basu,
Patrick M. Koch,
Maria T. Beltran,
Shanghuo Li,
Henrik Beuther,
Ian W. Stephens,
Fumitaka Nakamura,
Qizhou Zhang,
Wenyu Jiao,
M. Fernandez-Lopez,
Jihye Hwang,
Eun Jung Chung,
Kate Pattle,
Luis A. Zapata,
Fengwei Xu,
Fernando A. Olguin
, et al. (11 additional authors not shown)
Abstract:
The contribution of the magnetic field to the formation of high-mass stars is poorly understood. We report the high-angular resolution ($\sim0.3^{\prime\prime}$, 870 au) map of the magnetic field projected on the plane of the sky (B$_\mathrm{POS}$) towards the high-mass star forming region G333.46$-$0.16 (G333), obtained with the Atacama Large Millimeter/submillimeter Array (ALMA) at 1.2 mm as par…
▽ More
The contribution of the magnetic field to the formation of high-mass stars is poorly understood. We report the high-angular resolution ($\sim0.3^{\prime\prime}$, 870 au) map of the magnetic field projected on the plane of the sky (B$_\mathrm{POS}$) towards the high-mass star forming region G333.46$-$0.16 (G333), obtained with the Atacama Large Millimeter/submillimeter Array (ALMA) at 1.2 mm as part of the Magnetic Fields in Massive Star-forming Regions (MagMaR) survey. The B$_\mathrm{POS}$ morphology found in this region is consistent with a canonical ``hourglass'' which suggest a dynamically important field. This region is fragmented into two protostars separated by $\sim1740$ au. Interestingly, by analysing H$^{13}$CO$^{+}$ ($J=3-2$) line emission, we find no velocity gradient over the extend of the continuum which is consistent with a strong field. We model the B$_\mathrm{POS}$, obtaining a marginally supercritical mass-to-flux ratio of 1.43, suggesting an initially strongly magnetized environment. Based on the Davis-Chandrasekhar-Fermi method, the magnetic field strength towards G333 is estimated to be 5.7 mG. The absence of strong rotation and outflows towards the central region of G333 suggests strong magnetic braking, consistent with a highly magnetized environment. Our study shows that despite being a strong regulator, the magnetic energy fails to prevent the process of fragmentation, as revealed by the formation of the two protostars in the central region.
△ Less
Submitted 23 July, 2024;
originally announced July 2024.
-
Complexity and speed of semi-algebraic multi-persistence
Authors:
Arindam Banerjee,
Saugata Basu
Abstract:
Let $\mathrm{R}$ be a real closed field, $S \subset \mathrm{R}^n$ a closed and bounded semi-algebraic set and $\mathbf{f} = (f_1,\ldots,f_p):S \rightarrow \mathrm{R}^p$ a continuous semi-algebraic map. We study the poset module structure in homology induced by the simultaneous filtrations of $S$ by the sub-level sets of the functions $f_i$ from an algorithmic and quantitative point of view. For fi…
▽ More
Let $\mathrm{R}$ be a real closed field, $S \subset \mathrm{R}^n$ a closed and bounded semi-algebraic set and $\mathbf{f} = (f_1,\ldots,f_p):S \rightarrow \mathrm{R}^p$ a continuous semi-algebraic map. We study the poset module structure in homology induced by the simultaneous filtrations of $S$ by the sub-level sets of the functions $f_i$ from an algorithmic and quantitative point of view. For fixed dimensional homology we prove a singly exponential upper bound on the complexity of these modules which are encoded as certain semi-algebraically constructible functions on $\mathrm{R}^p \times \mathrm{R}^p$. We also deduce for semi-algebraic filtrations of bounded complexity, upper bounds on the number of equivalence classes of finite poset modules that such a filtration induces -- establishing a tight analogy with a well-known graph theoretical result on the "speed'' of algebraically defined graphs.
△ Less
Submitted 18 July, 2024;
originally announced July 2024.
-
DisQ: A Markov Decision Process Based Language for Quantum Distributed Systems
Authors:
Le Chang,
Saitej Yavvari,
Rance Cleaveland,
Samik Basu,
Liyi Li
Abstract:
The development of quantum computers has reached a great milestone, in spite of restrictions on important quantum resources: the number of qubits being entangled at a single-location quantum computer. Recently, there has been some work to combine single-location quantum computing and quantum networking techniques to develop distributed quantum systems such that large entangled qubit groups can be…
▽ More
The development of quantum computers has reached a great milestone, in spite of restrictions on important quantum resources: the number of qubits being entangled at a single-location quantum computer. Recently, there has been some work to combine single-location quantum computing and quantum networking techniques to develop distributed quantum systems such that large entangled qubit groups can be established through remote processors, and quantum algorithms can be executed distributively. We present DisQ as a framework to facilitate the rewrites of quantum algorithms to their distributed versions. The core of DisQ is a distributed quantum programming language that combines the concepts of Chemical Abstract Machine (CHAM) and Markov Decision Processes (MDP) with the objective of providing a clearly distinguishing quantum concurrent and distributed behaviors. Based on the DisQ language, we develop a simulation relation for verifying the equivalence of a quantum algorithm and its distributed versions. We present several case studies, such as quantum addition and Shor's algorithm, to demonstrate their equivalent rewrites to distributed versions.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Zero-Set Intersection Graph On C+(X)
Authors:
Soumi Basu,
Bedanta Bose
Abstract:
For any Tychonoff space X we have introduced the zero-set in-tersection graph on Γ(C+(X)) and studied the graph properties in connection with the algebraic properties of the semiring C+(X). We have shown that for any two realcompact spaces X and Y the graph isomorphism between Γ(C+(X)) and Γ(C+(Y )), the semiring isomorphism between C+(X) and C+(Y ), the topological homeomorphism between X and Y,…
▽ More
For any Tychonoff space X we have introduced the zero-set in-tersection graph on Γ(C+(X)) and studied the graph properties in connection with the algebraic properties of the semiring C+(X). We have shown that for any two realcompact spaces X and Y the graph isomorphism between Γ(C+(X)) and Γ(C+(Y )), the semiring isomorphism between C+(X) and C+(Y ), the topological homeomorphism between X and Y, the ring isomorphism between C(X) and C(Y ) and the graph isomorphism between Γ(C(X)) and Γ(C(Y )) are equivalent.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
On the mechanics of inhaled bronchial transmission of pathogenic microdroplets generated from the upper respiratory tract, with implications for infection onset
Authors:
Saikat Basu
Abstract:
Could the microdroplets formed by viscoelastic stretching and break-up of mucosal liquids in the upper respiratory tract (URT), when inhaled further downwind, explain the brisk pace at which deep lung infections emerge following onset of initial infection at the URT? While it is well-established that particulates inhaled from outside can possibly penetrate to the lower airway only if they are < 5…
▽ More
Could the microdroplets formed by viscoelastic stretching and break-up of mucosal liquids in the upper respiratory tract (URT), when inhaled further downwind, explain the brisk pace at which deep lung infections emerge following onset of initial infection at the URT? While it is well-established that particulates inhaled from outside can possibly penetrate to the lower airway only if they are < 5 microns, the fate of particulates (many > 5-microns in diameter) sheared away from the intra-URT mucosa during inhalation remains an open question. These particulates predominantly originate at the nasopharynx, oropharynx, and laryngeal chamber with the vocal folds. To resolve the posed question, this study considers a CT-based 3D anatomical airway reconstruction and isolates the tract from the laryngeal vocal fold region, mapping the entire tracheal cavity and concluding at generation 2 of the tracheobronchial tree. Through the delineated geometry, airflow simulation is conducted using the LES scheme to replicate relaxed inhalation at 15 L/min. Against the ambient air flux, numerical experiments have been performed to monitor the transport of liquid particulates with diameters 1-30 microns, bearing physical properties akin to aerosolized mucus with embedded virions. The full-scale numerical transmission trends to the lower airway were found consistent with the findings from a reduced-order mathematical model that conceptualized the impact of intra-airway vortex instabilities on local particle transport through point vortex idealization in an anatomy-guided 2D potential flow domain. The results collectively demonstrate markedly elevated trends of deep lung penetration by the URT-derived particulates, even if they are as large as 10- and 15 microns. The high viral load carried by such droplets to the bronchial spaces could mechanistically explain the accelerated seeding of infection in the lungs.
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
OpenDebateEvidence: A Massive-Scale Argument Mining and Summarization Dataset
Authors:
Allen Roush,
Yusuf Shabazz,
Arvind Balaji,
Peter Zhang,
Stefano Mezza,
Markus Zhang,
Sanjay Basu,
Sriram Vishwanath,
Mehdi Fatemi,
Ravid Shwartz-Ziv
Abstract:
We introduce OpenDebateEvidence, a comprehensive dataset for argument mining and summarization sourced from the American Competitive Debate community. This dataset includes over 3.5 million documents with rich metadata, making it one of the most extensive collections of debate evidence. OpenDebateEvidence captures the complexity of arguments in high school and college debates, providing valuable r…
▽ More
We introduce OpenDebateEvidence, a comprehensive dataset for argument mining and summarization sourced from the American Competitive Debate community. This dataset includes over 3.5 million documents with rich metadata, making it one of the most extensive collections of debate evidence. OpenDebateEvidence captures the complexity of arguments in high school and college debates, providing valuable resources for training and evaluation. Our extensive experiments demonstrate the efficacy of fine-tuning state-of-the-art large language models for argumentative abstractive summarization across various methods, models, and datasets. By providing this comprehensive resource, we aim to advance computational argumentation and support practical applications for debaters, educators, and researchers. OpenDebateEvidence is publicly available to support further research and innovation in computational argumentation. Access it here: https://huggingface.co/datasets/Yusuf5/OpenCaselist
△ Less
Submitted 5 July, 2024; v1 submitted 20 June, 2024;
originally announced June 2024.
-
IntCoOp: Interpretability-Aware Vision-Language Prompt Tuning
Authors:
Soumya Suvra Ghosal,
Samyadeep Basu,
Soheil Feizi,
Dinesh Manocha
Abstract:
Image-text contrastive models such as CLIP learn transferable and robust representations for zero-shot transfer to a variety of downstream tasks. However, to obtain strong downstream performances, prompts need to be carefully curated, which can be a tedious engineering task. To address the issue of manual prompt engineering, prompt-tuning is used where a set of contextual vectors are learned by le…
▽ More
Image-text contrastive models such as CLIP learn transferable and robust representations for zero-shot transfer to a variety of downstream tasks. However, to obtain strong downstream performances, prompts need to be carefully curated, which can be a tedious engineering task. To address the issue of manual prompt engineering, prompt-tuning is used where a set of contextual vectors are learned by leveraging information from the training data. Despite their effectiveness, existing prompt-tuning frameworks often lack interpretability, thus limiting their ability to understand the compositional nature of images. In this work, we first identify that incorporating compositional attributes (e.g., a "green" tree frog) in the design of manual prompts can significantly enhance image-text alignment scores. Building upon this observation, we propose a novel and interpretable prompt-tuning method named IntCoOp, which learns to jointly align attribute-level inductive biases and class embeddings during prompt-tuning. To assess the effectiveness of our approach, we evaluate IntCoOp across two representative tasks in a few-shot learning setup: generalization to novel classes, and unseen domain shifts. Through extensive experiments across 10 downstream datasets on CLIP, we find that introducing attribute-level inductive biases leads to superior performance against state-of-the-art prompt tuning frameworks. Notably, in a 16-shot setup, IntCoOp improves CoOp by 7.35% in average performance across 10 diverse datasets.
△ Less
Submitted 19 June, 2024;
originally announced June 2024.
-
Quasiperiodic potential induced corner states in a quadrupolar insulator
Authors:
Srijata Lahiri,
Saurabh Basu
Abstract:
We systematically investigate the topological and localization properties of a quadrupolar insulator represented by the celebrated Benalcazar-Bernevig-Hughes model in presence of a quasiperiodic disorder instilled in its hopping amplitude. While disorder can be detrimental to the existence of the topological order in a system, we observe the emergence of a disorder driven topological phase where t…
▽ More
We systematically investigate the topological and localization properties of a quadrupolar insulator represented by the celebrated Benalcazar-Bernevig-Hughes model in presence of a quasiperiodic disorder instilled in its hopping amplitude. While disorder can be detrimental to the existence of the topological order in a system, we observe the emergence of a disorder driven topological phase where the original (clean) system demonstrates trivial behavior. This phenomenon is confirmed by the re-emergence of zero energy states in the bandstructure together with a non-zero bulk quadrupole moment, which in turn establishes the bulk boundary correspondence (BBC). Furthermore, the distribution of the excess electronic charge shows a pattern that is reminiscent of the bulk quadrupole topology. To delve into the localization properties of the mid-band states, we compute the inverse participation and normalized participation ratios. It is observed that the in-gap states become critical (multifractal) at the point that discerns a transition from a topological localized to a trivial localized phase. Finally, we carry out a similar investigation to ascertain the effect of the quasiperiodic disorder on the quadrupolar insulator when the model exhibits topological properties in the absence of disorder. Again, we note a multifractal behavior of the eigenstates in the vicinity of the transition.
△ Less
Submitted 19 June, 2024;
originally announced June 2024.
-
From RAGs to rich parameters: Probing how language models utilize external knowledge over parametric information for factual queries
Authors:
Hitesh Wadhwa,
Rahul Seetharaman,
Somyaa Aggarwal,
Reshmi Ghosh,
Samyadeep Basu,
Soundararajan Srinivasan,
Wenlong Zhao,
Shreyas Chaudhari,
Ehsan Aghazadeh
Abstract:
Retrieval Augmented Generation (RAG) enriches the ability of language models to reason using external context to augment responses for a given user prompt. This approach has risen in popularity due to practical applications in various applications of language models in search, question/answering, and chat-bots. However, the exact nature of how this approach works isn't clearly understood. In this…
▽ More
Retrieval Augmented Generation (RAG) enriches the ability of language models to reason using external context to augment responses for a given user prompt. This approach has risen in popularity due to practical applications in various applications of language models in search, question/answering, and chat-bots. However, the exact nature of how this approach works isn't clearly understood. In this paper, we mechanistically examine the RAG pipeline to highlight that language models take shortcut and have a strong bias towards utilizing only the context information to answer the question, while relying minimally on their parametric memory. We probe this mechanistic behavior in language models with: (i) Causal Mediation Analysis to show that the parametric memory is minimally utilized when answering a question and (ii) Attention Contributions and Knockouts to show that the last token residual stream do not get enriched from the subject token in the question, but gets enriched from other informative tokens in the context. We find this pronounced shortcut behaviour true across both LLaMa and Phi family of models.
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
Modeling the effect of vorticity on inhaled transport in the upper airway
Authors:
Saikat Basu,
Leonardo P Chamorro,
Mohammad Yeasin,
Mark A Stremler
Abstract:
Localized vortices can have significant influence on transport of inhaled particles through the upper respiratory tract. These vortices have complex three-dimensional structure with details dependent on the anatomical geometry. Using a highly simplified model, we demonstrate that changes in transport characteristics with geometric distortion can be estimated by accounting merely for the net streng…
▽ More
Localized vortices can have significant influence on transport of inhaled particles through the upper respiratory tract. These vortices have complex three-dimensional structure with details dependent on the anatomical geometry. Using a highly simplified model, we demonstrate that changes in transport characteristics with geometric distortion can be estimated by accounting merely for the net strength and location of the vorticity in a two-dimensional projection. Test cases consider 30 L/min inhaled airflow containing suspended spherical water droplets from 1 micrometer to 30 micrometers in diameter through (1) a healthy upper respiratory tract and (2) a distorted variation mimicking a glottic tumor. The reduced-order model approximates the system by a two-dimensional potential flow with embedded point vortices having features derived from Large Eddy Simulations of inhaled airflow through anatomically realistic, tomography-based, three-dimensional tracts. The effects of vorticity and particle size on changes in particle transport are shown to be consistent between the reduced-order model and the full-scale simulations.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
A Sublinear Algorithm for Approximate Shortest Paths in Large Networks
Authors:
Sabyasachi Basu,
Nadia Kōshima,
Talya Eden,
Omri Ben-Eliezer,
C. Seshadhri
Abstract:
Computing distances and finding shortest paths in massive real-world networks is a fundamental algorithmic task in network analysis. There are two main approaches to solving this task. On one hand are traversal-based algorithms like bidirectional breadth-first search (BiBFS) with no preprocessing step and slow individual distance inquiries. On the other hand are indexing-based approaches, which ma…
▽ More
Computing distances and finding shortest paths in massive real-world networks is a fundamental algorithmic task in network analysis. There are two main approaches to solving this task. On one hand are traversal-based algorithms like bidirectional breadth-first search (BiBFS) with no preprocessing step and slow individual distance inquiries. On the other hand are indexing-based approaches, which maintain a large index. This allows for answering individual inquiries very fast; however, index creation is prohibitively expensive. We seek to bridge these two extremes: quickly answer distance inquiries without the need for costly preprocessing.
In this work, we propose a new algorithm and data structure, WormHole, for approximate shortest path computations. WormHole leverages structural properties of social networks to build a sublinearly sized index, drawing upon the explicit core-periphery decomposition of Ben-Eliezer et al. Empirically, the preprocessing time of WormHole improves upon index-based solutions by orders of magnitude, and individual inquiries are consistently much faster than in BiBFS. The acceleration comes at the cost of a minor accuracy trade-off. Nonetheless, our empirical evidence demonstrates that WormHole accurately answers essentially all inquiries within a maximum additive error of 2. We complement these empirical results with provable theoretical guarantees, showing that WormHole requires $n^{o(1)}$ node queries per distance inquiry in random power-law networks. In contrast, any approach without a preprocessing step requires $n^{Ω(1)}$ queries for the same task.
WormHole does not require reading the whole graph. Unlike the vast majority of index-based algorithms, it returns paths, not just distances. For faster inquiry times, it can be combined effectively with other index-based solutions, by running them only on the sublinear core.
△ Less
Submitted 12 June, 2024;
originally announced June 2024.
-
Understanding and Mitigating Compositional Issues in Text-to-Image Generative Models
Authors:
Arman Zarei,
Keivan Rezaei,
Samyadeep Basu,
Mehrdad Saberi,
Mazda Moayeri,
Priyatham Kattakinda,
Soheil Feizi
Abstract:
Recent text-to-image diffusion-based generative models have the stunning ability to generate highly detailed and photo-realistic images and achieve state-of-the-art low FID scores on challenging image generation benchmarks. However, one of the primary failure modes of these text-to-image generative models is in composing attributes, objects, and their associated relationships accurately into an im…
▽ More
Recent text-to-image diffusion-based generative models have the stunning ability to generate highly detailed and photo-realistic images and achieve state-of-the-art low FID scores on challenging image generation benchmarks. However, one of the primary failure modes of these text-to-image generative models is in composing attributes, objects, and their associated relationships accurately into an image. In our paper, we investigate this compositionality-based failure mode and highlight that imperfect text conditioning with CLIP text-encoder is one of the primary reasons behind the inability of these models to generate high-fidelity compositional scenes. In particular, we show that (i) there exists an optimal text-embedding space that can generate highly coherent compositional scenes which shows that the output space of the CLIP text-encoder is sub-optimal, and (ii) we observe that the final token embeddings in CLIP are erroneous as they often include attention contributions from unrelated tokens in compositional prompts. Our main finding shows that the best compositional improvements can be achieved (without harming the model's FID scores) by fine-tuning {\it only} a simple linear projection on CLIP's representation space in Stable-Diffusion variants using a small set of compositional image-text pairs. This result demonstrates that the sub-optimality of the CLIP's output space is a major error source. We also show that re-weighting the erroneous attention contributions in CLIP can also lead to improved compositional performances, however these improvements are often less significant than those achieved by solely learning a linear projection head, highlighting erroneous attentions to be only a minor error source.
△ Less
Submitted 11 June, 2024;
originally announced June 2024.
-
The PLATO Mission
Authors:
Heike Rauer,
Conny Aerts,
Juan Cabrera,
Magali Deleuil,
Anders Erikson,
Laurent Gizon,
Mariejo Goupil,
Ana Heras,
Jose Lorenzo-Alvarez,
Filippo Marliani,
Cesar Martin-Garcia,
J. Miguel Mas-Hesse,
Laurence O'Rourke,
Hugh Osborn,
Isabella Pagano,
Giampaolo Piotto,
Don Pollacco,
Roberto Ragazzoni,
Gavin Ramsay,
Stéphane Udry,
Thierry Appourchaux,
Willy Benz,
Alexis Brandeker,
Manuel Güdel,
Eduardo Janot-Pacheco
, et al. (801 additional authors not shown)
Abstract:
PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observati…
▽ More
PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observations from the ground, planets will be characterised for their radius, mass, and age with high accuracy (5 %, 10 %, 10 % for an Earth-Sun combination respectively). PLATO will provide us with a large-scale catalogue of well-characterised small planets up to intermediate orbital periods, relevant for a meaningful comparison to planet formation theories and to better understand planet evolution. It will make possible comparative exoplanetology to place our Solar System planets in a broader context. In parallel, PLATO will study (host) stars using asteroseismology, allowing us to determine the stellar properties with high accuracy, substantially enhancing our knowledge of stellar structure and evolution.
The payload instrument consists of 26 cameras with 12cm aperture each. For at least four years, the mission will perform high-precision photometric measurements. Here we review the science objectives, present PLATO's target samples and fields, provide an overview of expected core science performance as well as a description of the instrument and the mission profile at the beginning of the serial production of the flight cameras. PLATO is scheduled for a launch date end 2026. This overview therefore provides a summary of the mission to the community in preparation of the upcoming operational phases.
△ Less
Submitted 8 June, 2024;
originally announced June 2024.
-
Understanding Information Storage and Transfer in Multi-modal Large Language Models
Authors:
Samyadeep Basu,
Martin Grayson,
Cecily Morrison,
Besmira Nushi,
Soheil Feizi,
Daniela Massiceti
Abstract:
Understanding the mechanisms of information storage and transfer in Transformer-based models is important for driving model understanding progress. Recent work has studied these mechanisms for Large Language Models (LLMs), revealing insights on how information is stored in a model's parameters and how information flows to and from these parameters in response to specific prompts. However, these st…
▽ More
Understanding the mechanisms of information storage and transfer in Transformer-based models is important for driving model understanding progress. Recent work has studied these mechanisms for Large Language Models (LLMs), revealing insights on how information is stored in a model's parameters and how information flows to and from these parameters in response to specific prompts. However, these studies have not yet been extended to Multi-modal Large Language Models (MLLMs). Given their expanding capabilities and real-world use, we start by studying one aspect of these models -- how MLLMs process information in a factual visual question answering task. We use a constraint-based formulation which views a visual question as having a set of visual or textual constraints that the model's generated answer must satisfy to be correct (e.g. What movie directed by the director in this photo has won a Golden Globe?). Under this setting, we contribute i) a method that extends causal information tracing from pure language to the multi-modal setting, and ii) VQA-Constraints, a test-bed of 9.7K visual questions annotated with constraints. We use these tools to study two open-source MLLMs, LLaVa and multi-modal Phi-2. Our key findings show that these MLLMs rely on MLP and self-attention blocks in much earlier layers for information storage, compared to LLMs whose mid-layer MLPs are more important. We also show that a consistent small subset of visual tokens output by the vision encoder are responsible for transferring information from the image to these causal blocks. We validate these mechanisms by introducing MultEdit, a model-editing algorithm that can correct errors and insert new long-tailed information into MLLMs by targeting these causal blocks.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
Decomposing and Interpreting Image Representations via Text in ViTs Beyond CLIP
Authors:
Sriram Balasubramanian,
Samyadeep Basu,
Soheil Feizi
Abstract:
Recent works have explored how individual components of the CLIP-ViT model contribute to the final representation by leveraging the shared image-text representation space of CLIP. These components, such as attention heads and MLPs, have been shown to capture distinct image features like shape, color or texture. However, understanding the role of these components in arbitrary vision transformers (V…
▽ More
Recent works have explored how individual components of the CLIP-ViT model contribute to the final representation by leveraging the shared image-text representation space of CLIP. These components, such as attention heads and MLPs, have been shown to capture distinct image features like shape, color or texture. However, understanding the role of these components in arbitrary vision transformers (ViTs) is challenging. To this end, we introduce a general framework which can identify the roles of various components in ViTs beyond CLIP. Specifically, we (a) automate the decomposition of the final representation into contributions from different model components, and (b) linearly map these contributions to CLIP space to interpret them via text. Additionally, we introduce a novel scoring function to rank components by their importance with respect to specific features. Applying our framework to various ViT variants (e.g. DeiT, DINO, DINOv2, Swin, MaxViT), we gain insights into the roles of different components concerning particular image features.These insights facilitate applications such as image retrieval using text descriptions or reference images, visualizing token importance heatmaps, and mitigating spurious correlations.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
T2V-Turbo: Breaking the Quality Bottleneck of Video Consistency Model with Mixed Reward Feedback
Authors:
Jiachen Li,
Weixi Feng,
Tsu-Jui Fu,
Xinyi Wang,
Sugato Basu,
Wenhu Chen,
William Yang Wang
Abstract:
Diffusion-based text-to-video (T2V) models have achieved significant success but continue to be hampered by the slow sampling speed of their iterative sampling processes. To address the challenge, consistency models have been proposed to facilitate fast inference, albeit at the cost of sample quality. In this work, we aim to break the quality bottleneck of a video consistency model (VCM) to achiev…
▽ More
Diffusion-based text-to-video (T2V) models have achieved significant success but continue to be hampered by the slow sampling speed of their iterative sampling processes. To address the challenge, consistency models have been proposed to facilitate fast inference, albeit at the cost of sample quality. In this work, we aim to break the quality bottleneck of a video consistency model (VCM) to achieve $\textbf{both fast and high-quality video generation}$. We introduce T2V-Turbo, which integrates feedback from a mixture of differentiable reward models into the consistency distillation (CD) process of a pre-trained T2V model. Notably, we directly optimize rewards associated with single-step generations that arise naturally from computing the CD loss, effectively bypassing the memory constraints imposed by backpropagating gradients through an iterative sampling process. Remarkably, the 4-step generations from our T2V-Turbo achieve the highest total score on VBench, even surpassing Gen-2 and Pika. We further conduct human evaluations to corroborate the results, validating that the 4-step generations from our T2V-Turbo are preferred over the 50-step DDIM samples from their teacher models, representing more than a tenfold acceleration while improving video generation quality.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
Gamified AI Approch for Early Detection of Dementia
Authors:
Paramita Kundu Maji,
Soubhik Acharya,
Priti Paul,
Sanjay Chakraborty,
Saikat Basu
Abstract:
This paper aims to develop a new deep learning-inspired gaming approach for early detection of dementia. This research integrates a robust convolutional neural network (CNN)-based model for early dementia detection using health metrics data as well as facial image data through a cognitive assessment-based gaming application. We have collected 1000 data samples of health metrics dataset from Apollo…
▽ More
This paper aims to develop a new deep learning-inspired gaming approach for early detection of dementia. This research integrates a robust convolutional neural network (CNN)-based model for early dementia detection using health metrics data as well as facial image data through a cognitive assessment-based gaming application. We have collected 1000 data samples of health metrics dataset from Apollo Diagnostic Center Kolkata that is labeled as either demented or non-demented for the training of MOD-1D-CNN for the game level 1 and another dataset of facial images containing 1800 facial data that are labeled as either demented or non-demented is collected by our research team for the training of MOD-2D-CNN model in-game level 2. In our work, the loss for the proposed MOD-1D-CNN model is 0.2692 and the highest accuracy is 70.50% for identifying the dementia traits using real-life health metrics data. Similarly, the proposed MOD-2D-CNN model loss is 0.1755 and the highest accuracy is obtained here 95.72% for recognizing the dementia status using real-life face-based image data. Therefore, a rule-based weightage method is applied to combine both the proposed methods to achieve the final decision. The MOD-1D-CNN and MOD-2D-CNN models are more lightweight and computationally efficient alternatives because they have a significantly lower number of parameters when compared to the other state-of-the-art models. We have compared their accuracies and parameters with the other state-of-the-art deep learning models.
△ Less
Submitted 26 May, 2024;
originally announced May 2024.
-
The K2 Asteroseismic KEYSTONE sample of Dwarf and Subgiant Solar-Like Oscillators. I: Data and Asteroseismic parameters
Authors:
Mikkel N. Lund,
Sarbani Basu,
Allyson Bieryla,
Luca Casagrande,
Daniel Huber,
Saskia Hekker,
Lucas Viani,
Guy R. Davies,
Tiago L. Campante,
William J. Chaplin,
Aldo M. Serenelli,
J. M. Joel Ong,
Warrick H. Ball,
Amalie Stokholm,
Earl P. Bellinger,
Michaël Bazot,
Dennis Stello,
David W. Latham,
Timothy R. White,
Maryum Sayeed,
Víctor Aguirre Børsen-Koch,
Ashley Chontos
Abstract:
The KEYSTONE project aims to enhance our understanding of solar-like oscillators by delivering a catalogue of global asteroseismic parameters (${Δν}$ and ${ν_{\rm max}}$) for 173 stars, comprising mainly dwarfs and subgiants, observed by the K2 mission in its short-cadence mode during campaigns 6-19. We derive atmospheric parameters and luminosities using spectroscopic data from TRES, astrometric…
▽ More
The KEYSTONE project aims to enhance our understanding of solar-like oscillators by delivering a catalogue of global asteroseismic parameters (${Δν}$ and ${ν_{\rm max}}$) for 173 stars, comprising mainly dwarfs and subgiants, observed by the K2 mission in its short-cadence mode during campaigns 6-19. We derive atmospheric parameters and luminosities using spectroscopic data from TRES, astrometric data from $\textit{Gaia}$, and the infrared flux method (IRFM) for a comprehensive stellar characterisation. Asteroseismic parameters are robustly extracted using three independent methods, complemented by an iterative refinement of the spectroscopic analyses using seismic ${\log g}$ values to enhance parameter accuracy. Our analysis identifies new detections of solar-like oscillations in 159 stars, providing an important complement to already published results from previous campaigns. The catalogue provides homogeneously derived atmospheric parameters and luminosities for the majority of the sample. Comparison between spectroscopic ${T_{\rm eff}}$ and those obtained from the IRFM demonstrates excellent agreement. The iterative approach to spectroscopic analysis significantly enhances the accuracy of the stellar properties derived.
△ Less
Submitted 29 May, 2024; v1 submitted 24 May, 2024;
originally announced May 2024.
-
$SU(2)$-bundles over highly connected $8$-manifolds
Authors:
Samik Basu,
Aloke Kr. Ghosh,
Subhankar Sau
Abstract:
In this paper, we analyze the possible homotopy types of the total space of a principal $SU(2)$-bundle over a $3$-connected $8$-dimensional Poincaré duality complex. Along the way, we also classify the $3$-connected $11$-dimensional complexes $E$ formed from a wedge of $S^4$ and $S^7$ by attaching a $11$-cell.
In this paper, we analyze the possible homotopy types of the total space of a principal $SU(2)$-bundle over a $3$-connected $8$-dimensional Poincaré duality complex. Along the way, we also classify the $3$-connected $11$-dimensional complexes $E$ formed from a wedge of $S^4$ and $S^7$ by attaching a $11$-cell.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
A New Asteroseismic $\textit{Kepler}$ Benchmark Constrains the Onset of Weakened Magnetic Braking in Mature Sun-Like Stars
Authors:
Vanshree Bhalotia,
Daniel Huber,
Jennifer L. van Saders,
Travis S. Metcalfe,
Keivan G. Stassun,
Timothy R. White,
Víctor Aguirre Børsen-Koch,
Warrick H. Ball,
Sarbani Basu,
Aldo M. Serenelli,
Erica Sawczynec,
Joyce A. Guzik,
Andrew W. Howard,
Howard Isaacson
Abstract:
Stellar spin down is a critical yet poorly understood component of stellar evolution. In particular, results from the Kepler Mission imply that mature age, solar-type stars have inefficient magnetic braking, resulting in a stalled spin down rate. However, a large number of precise asteroseismic ages are needed for mature ($\geq$ 3Gyr) stars in order to probe the regime where traditional and stalle…
▽ More
Stellar spin down is a critical yet poorly understood component of stellar evolution. In particular, results from the Kepler Mission imply that mature age, solar-type stars have inefficient magnetic braking, resulting in a stalled spin down rate. However, a large number of precise asteroseismic ages are needed for mature ($\geq$ 3Gyr) stars in order to probe the regime where traditional and stalled spin-down models differ. In this paper, we present a new asteroseismic benchmark star for gyrochronology discovered using reprocessed Kepler short cadence data. KIC 11029516 (Papayu) is a bright ($K_{p}$ = 9.6 mag) solar-type star with well-measured rotation period (21.1$\pm$0.8 days) from spot modulation using 4 years of Kepler long cadence data. We combine asteroseismology and spectroscopy to obtain $T_{eff}=5888\pm100$ K, $\rm{[Fe/H]} = 0.30 \pm 0.06\,$ dex, $M = 1.24 \pm 0.05 M_{\odot}$, $R = 1.34 \pm 0.02 R_{\odot}$ and age of 4.0 $\pm$ 0.4 Gyr, making Papayu one of the most similar stars to the Sun in terms of temperature and radius with an asteroseismic age and a rotation period measured from spot modulation. We find that Papayu sits at the transition of where traditional and weakened spin-down models diverge. A comparison with stars of similar zero-age main-sequence temperatures supports previous findings that weakened spin-down models are required to explain the ages and rotation periods of old solar-type stars.
△ Less
Submitted 20 May, 2024;
originally announced May 2024.
-
Different driving protocols and multiple Majorana modes in a Rashba coupled superconducting nanowire
Authors:
Koustav Roy,
Saurabh Basu
Abstract:
We perform systematic analyses of single and multi-frequency driving protocols on a Rashba nanowire with superconducting correlations induced by proximity effects. The results for the single-mode drive reveal interesting frequency dependencies of the Majorana modes, in the sense that the parameters corresponding to the trivial and topological limits of the undriven (static) case host Majorana zero…
▽ More
We perform systematic analyses of single and multi-frequency driving protocols on a Rashba nanowire with superconducting correlations induced by proximity effects. The results for the single-mode drive reveal interesting frequency dependencies of the Majorana modes, in the sense that the parameters corresponding to the trivial and topological limits of the undriven (static) case host Majorana zero modes, respectively at low and high frequencies. Further, emergence of long-range interactions are noted that give rise to multiple gap-closing scenarios, which imply occurrence of multiple Majorana modes. On the other hand, the multi-frequency driving protocol, sub-grouped into commensurate and incommensurate ratios of the frequencies, demonstrates intriguing consequences. The commensurate case yields dynamical control over the stability of the edge modes. Moreover, complex driving protocols harm the Majoranas by pushing them into the bulk. Finally, the incommensurate case yields independent Majorana modes occurring at low-symmetry points in the Brillouin zone. While the single and the commensurate multi-frequency driving protocols admit the usage of symmetric time frames for the computation of the topological invariants, the incommensurate case relies on the framework of many-mode Floquet theory, where the topological properties are ascertained via calculating the Berry phase. We present band structure and phase diagrams to substantiate all our results. The robustness and concurrent existence of these unique Majorana modes, even amidst a very dense energy spectrum along with a lack of global time-periodicity, hold promise for applications in quantum computing and the development of Floquet time crystals.
△ Less
Submitted 18 May, 2024;
originally announced May 2024.
-
Hourglass Magnetic Field of a Protostellar System
Authors:
Shantanu Basu,
Xiyuan Li,
Gianfranco Bino
Abstract:
An hourglass-shaped magnetic field pattern arises naturally from the gravitational collapse of a star-forming gas cloud. Most studies have focused on the prestellar collapse phase, when the structure has a smooth and monotonic radial profile. However, most observations target dense clouds that already contain a central protostar, and possibly a circumstellar disk. We utilize an analytic treatment…
▽ More
An hourglass-shaped magnetic field pattern arises naturally from the gravitational collapse of a star-forming gas cloud. Most studies have focused on the prestellar collapse phase, when the structure has a smooth and monotonic radial profile. However, most observations target dense clouds that already contain a central protostar, and possibly a circumstellar disk. We utilize an analytic treatment of the magnetic field along with insights gained from simulations to develop a more realistic magnetic field model for the protostellar phase. Key elements of the model are a strong radial magnetic field in the region of rapid collapse, an off-center peak in the magnetic field strength (a consequence of magnetic field dissipation in the circumstellar disk), and a strong toroidal field that is generated in the region of rapid collapse and outflow generation. A model with a highly pinched and twisted magnetic field pattern in the inner collapse zone facilitates the interpretation of magnetic field patterns observed in protostellar clouds.
△ Less
Submitted 6 June, 2024; v1 submitted 17 May, 2024;
originally announced May 2024.
-
Cloud Dissipation and Disk Wind in the Late Phase of Star Formation
Authors:
Masahiro N. Machida,
Shantanu Basu
Abstract:
We perform a long-term simulation of star and disk formation using three-dimensional non-ideal magnetohydrodynamics. The simulation starts from a prestellar cloud and proceeds through the long-term evolution of the circumstellar disk until $\sim 1.5\times10^5$ yr after protostar formation. The disk has size $\lesssim 50$ au and little substructure in the main accretion phase because of the action…
▽ More
We perform a long-term simulation of star and disk formation using three-dimensional non-ideal magnetohydrodynamics. The simulation starts from a prestellar cloud and proceeds through the long-term evolution of the circumstellar disk until $\sim 1.5\times10^5$ yr after protostar formation. The disk has size $\lesssim 50$ au and little substructure in the main accretion phase because of the action of magnetic braking and the magnetically-driven outflow to remove angular momentum. The main accretion phase ends when the outflow breaks out of the cloud, causing the envelope mass to decrease rapidly. The outflow subsequently weakens as the mass accretion rate also weakens. While the envelope-to-disk accretion continues, the disk grows gradually and develops transient spiral structures due to gravitational instability. When the envelope-to-disk accretion ends, the disk becomes stable and reaches a size $\gtrsim 300$ au. In addition, about 30% of the initial cloud mass has been ejected by the outflow. A significant finding of this work is that after the envelope dissipates, a revitalization of the wind occurs, and there is mass ejection from the disk surface that lasts until the end of the simulation. This mass ejection (or disk wind) is generated since the magnetic pressure significantly dominates both the ram pressure and thermal pressure above and below the disk at this stage. Using the angular momentum flux and mass loss rate estimated from the disk wind, the disk dissipation timescale is estimated to be $\sim10^6$ yr.
△ Less
Submitted 13 May, 2024;
originally announced May 2024.
-
Improved Evolutionary Algorithms for Submodular Maximization with Cost Constraints
Authors:
Yanhui Zhu,
Samik Basu,
A Pavan
Abstract:
We present an evolutionary algorithm evo-SMC for the problem of Submodular Maximization under Cost constraints (SMC). Our algorithm achieves $1/2$-approximation with a high probability $1-1/n$ within $\mathcal{O}(n^2K_β)$ iterations, where $K_β$ denotes the maximum size of a feasible solution set with cost constraint $β$. To the best of our knowledge, this is the best approximation guarantee offer…
▽ More
We present an evolutionary algorithm evo-SMC for the problem of Submodular Maximization under Cost constraints (SMC). Our algorithm achieves $1/2$-approximation with a high probability $1-1/n$ within $\mathcal{O}(n^2K_β)$ iterations, where $K_β$ denotes the maximum size of a feasible solution set with cost constraint $β$. To the best of our knowledge, this is the best approximation guarantee offered by evolutionary algorithms for this problem. We further refine evo-SMC, and develop st-evo-SMC. This stochastic version yields a significantly faster algorithm while maintaining the approximation ratio of $1/2$, with probability $1-ε$. The required number of iterations reduces to $\mathcal{O}(nK_β\log{(1/ε)}/p)$, where the user defined parameters $p \in (0,1]$ represents the stochasticity probability, and $ε\in (0,1]$ denotes the error threshold. Finally, the empirical evaluations carried out through extensive experimentation substantiate the efficiency and effectiveness of our proposed algorithms. Our algorithms consistently outperform existing methods, producing higher-quality solutions.
△ Less
Submitted 18 August, 2024; v1 submitted 9 May, 2024;
originally announced May 2024.
-
Importance of Gas Heating in Capacitively Coupled Radiofrequency Plasma-assisted Synthesis of Carbon Nanomaterials
Authors:
Tanvi Nikhar,
Sankhadeep Basu,
Shota Abe,
Shurik Yatom,
Yevgeny Raitses,
Rebecca Anthony,
Sergey V. Baryshev
Abstract:
In pursuit of diamond nanoparticles, a capacitively-coupled radio frequency (CCRF) flow-through plasma reactor was operated with methane argon gas mixtures. Signatures of the final product obtained microscopically and spectroscopically indicated that the product was an amorphous form of graphite. This result was consistent irrespective of combinations of the macroscopic reactor settings. To explai…
▽ More
In pursuit of diamond nanoparticles, a capacitively-coupled radio frequency (CCRF) flow-through plasma reactor was operated with methane argon gas mixtures. Signatures of the final product obtained microscopically and spectroscopically indicated that the product was an amorphous form of graphite. This result was consistent irrespective of combinations of the macroscopic reactor settings. To explain the observed synthesis output, measurements of C2 and gas properties were carried out by laser-induced fluorescence and optical emission spectroscopy. Strikingly, the results indicated a strong gas temperature gradient of 100 K per mm from the center of the reactor to the wall. Based on additional plasma imaging, a model of hot constricted region (filamentation region) was then formulated. It illustrated that, while the hot constricted region was present, the bulk of the gas was not hot enough to facilitate diamond sp3 formation: characterized by much lower reaction rates, when compared to sp2, sp3 formation kinetics are expected to become exponentially slow. This result was further confirmed by experiments under identical conditions but with a H2/CH4 mixture, where no output material was detected: if graphitic sp2 formation was expected as the main output material from the methane feedstock, atomic hydrogen would then be expected to etch it away in situ, such that the net production of that sp2-hybridized solid material is nearly a zero.
△ Less
Submitted 5 May, 2024;
originally announced May 2024.
-
On Mechanistic Knowledge Localization in Text-to-Image Generative Models
Authors:
Samyadeep Basu,
Keivan Rezaei,
Priyatham Kattakinda,
Ryan Rossi,
Cherry Zhao,
Vlad Morariu,
Varun Manjunatha,
Soheil Feizi
Abstract:
Identifying layers within text-to-image models which control visual attributes can facilitate efficient model editing through closed-form updates. Recent work, leveraging causal tracing show that early Stable-Diffusion variants confine knowledge primarily to the first layer of the CLIP text-encoder, while it diffuses throughout the UNet.Extending this framework, we observe that for recent models (…
▽ More
Identifying layers within text-to-image models which control visual attributes can facilitate efficient model editing through closed-form updates. Recent work, leveraging causal tracing show that early Stable-Diffusion variants confine knowledge primarily to the first layer of the CLIP text-encoder, while it diffuses throughout the UNet.Extending this framework, we observe that for recent models (e.g., SD-XL, DeepFloyd), causal tracing fails in pinpointing localized knowledge, highlighting challenges in model editing. To address this issue, we introduce the concept of Mechanistic Localization in text-to-image models, where knowledge about various visual attributes (e.g., "style", "objects", "facts") can be mechanistically localized to a small fraction of layers in the UNet, thus facilitating efficient model editing. We localize knowledge using our method LocoGen which measures the direct effect of intermediate layers to output generation by performing interventions in the cross-attention layers of the UNet. We then employ LocoEdit, a fast closed-form editing method across popular open-source text-to-image models (including the latest SD-XL)and explore the possibilities of neuron-level model editing. Using Mechanistic Localization, our work offers a better view of successes and failures in localization-based text-to-image model editing. Code will be available at https://github.com/samyadeepbasu/LocoGen.
△ Less
Submitted 7 May, 2024; v1 submitted 2 May, 2024;
originally announced May 2024.
-
Depth-Resolved Characterization of Centrifugal Disk Finishing of Additively Manufactured Inconel 718
Authors:
Kenneth M. Peterson,
Mustafa Rifat,
Edward C. DeMeter,
Saurabh Basu,
Darren C. Pagan
Abstract:
Surface characteristics are a major contributor to the in-service performance, particularly fatigue life, of additively manufactured (AM) components. Centrifugal disk finishing (CDF) is one of many rigid media, abrasive machining processes employed to smooth the surfaces and edges of AM components. Within the general family of abrasive machining processes currently applied to AM, CDF is moderate i…
▽ More
Surface characteristics are a major contributor to the in-service performance, particularly fatigue life, of additively manufactured (AM) components. Centrifugal disk finishing (CDF) is one of many rigid media, abrasive machining processes employed to smooth the surfaces and edges of AM components. Within the general family of abrasive machining processes currently applied to AM, CDF is moderate in terms of material removal rate and the inertial forces exerted. How CDF alters the underlying microstructure of the processed surface is currently unknown. Here we employ white light profilometry and high-energy X-ray diffraction to characterize surface finish, crystallographic texture, and anisotropic distributions of residual microscale strain as a function of depth in CDF-finished Inconel 718 manufactured with laser powder bed fusion. Surfaces are finished using both unimodal and bimodal finishing media size distributions. We find that CDF will remove surface crystallographic textures (here a {111} fiber texture) from AM components, but generally not alter the bulk texture (here a cube texture). CDF is also found to impart significant amounts of residual microscale strain into the first 100 $μ$m from the sample surface as evidenced by an approximately 50% increase in diffraction peak widths at 20 $μ$m from the surface in comparison to 120 $μ$m.
△ Less
Submitted 25 June, 2024; v1 submitted 29 April, 2024;
originally announced April 2024.
-
The complex K ring of the flip Stiefel manifolds
Authors:
Samik Basu,
Shilpa Gondhali,
Fathima Safikaa
Abstract:
The flip Stiefel manifolds (FV_{m,2s}) are defined as the quotient of the real Stiefel manifolds (V_{m,2s}) induced by the simultaneous pairwise flipping of the co-ordinates by the cyclic group of order 2. We calculate the complex (K)-ring of the flip Stiefel manifolds, $K^\ast(FV_{m,2s})$, for $s$ even. Standard techniques involve the representation theory of $Spin(m),$ and the Hodgkin spectral s…
▽ More
The flip Stiefel manifolds (FV_{m,2s}) are defined as the quotient of the real Stiefel manifolds (V_{m,2s}) induced by the simultaneous pairwise flipping of the co-ordinates by the cyclic group of order 2. We calculate the complex (K)-ring of the flip Stiefel manifolds, $K^\ast(FV_{m,2s})$, for $s$ even. Standard techniques involve the representation theory of $Spin(m),$ and the Hodgkin spectral sequence. However, the non-trivial element inducing the action doesn't readily yield the desired homomorphisms. Hence, by performing additional analysis, we settle the question for the case of (s \equiv 0 \pmod 2.)
△ Less
Submitted 24 April, 2024;
originally announced April 2024.
-
Electron-phonon coupling induced topological phase transition in an $α$-$T_{3}$ Haldane-Holstein model
Authors:
Mijanur Islam,
Kuntal Bhattacharyya,
Saurabh Basu
Abstract:
We present impelling evidence of topological phase transitions induced by electron-phonon (e-ph) coupling in an $α$-$T_3$ Haldane-Holstein model that presents smooth tunability between graphene ($α=0$) and a dice lattice $(α=1)$. The e-ph coupling has been incorporated via the Lang-Firsov transformation which adequately captures the polaron physics in the high frequency (anti-adiabatic) regime, an…
▽ More
We present impelling evidence of topological phase transitions induced by electron-phonon (e-ph) coupling in an $α$-$T_3$ Haldane-Holstein model that presents smooth tunability between graphene ($α=0$) and a dice lattice $(α=1)$. The e-ph coupling has been incorporated via the Lang-Firsov transformation which adequately captures the polaron physics in the high frequency (anti-adiabatic) regime, and yields an effective Hamiltonian of the system through zero phonon averaging at $T=0$. While exploring the signature of the phase transition driven by polaron and its interplay with the parameter $α$, we identify two regions based on the values of $α$, namely, the low to intermediate range $(0 < α\le 0.6)$ and larger values of $α~(0.6 < α< 1)$ where the topological transitions show distinct behaviour. There exists a single critical e-ph coupling strength for the former, below which the system behaves as a topological insulator characterized by edge modes, finite Chern number, and Hall conductivity, with all of them vanishing above this value, and the system undergoes a spectral gap closing transition. Further, the critical coupling strength depends upon $α$. For the latter case $(0.6 < α< 1)$, the scenario is more interesting where there are two critical values of the e-ph coupling at which trivial-topological-trivial and topological-topological-trivial phase transitions occur for $α$ in the range $[0.6:1]$. Our studies on e-ph coupling induced phase transitions show a significant difference with regard to the well-known unique transition occurring at $α= 0.5$ (or at $0.7$) in the absence of the e-ph coupling, and thus underscore the importance of interaction effects on the topological phase transitions.
△ Less
Submitted 19 April, 2024; v1 submitted 12 April, 2024;
originally announced April 2024.
-
Rethinking Artistic Copyright Infringements in the Era of Text-to-Image Generative Models
Authors:
Mazda Moayeri,
Samyadeep Basu,
Sriram Balasubramanian,
Priyatham Kattakinda,
Atoosa Chengini,
Robert Brauneis,
Soheil Feizi
Abstract:
Recent text-to-image generative models such as Stable Diffusion are extremely adept at mimicking and generating copyrighted content, raising concerns amongst artists that their unique styles may be improperly copied. Understanding how generative models copy "artistic style" is more complex than duplicating a single image, as style is comprised by a set of elements (or signature) that frequently co…
▽ More
Recent text-to-image generative models such as Stable Diffusion are extremely adept at mimicking and generating copyrighted content, raising concerns amongst artists that their unique styles may be improperly copied. Understanding how generative models copy "artistic style" is more complex than duplicating a single image, as style is comprised by a set of elements (or signature) that frequently co-occurs across a body of work, where each individual work may vary significantly. In our paper, we first reformulate the problem of "artistic copyright infringement" to a classification problem over image sets, instead of probing image-wise similarities. We then introduce ArtSavant, a practical (i.e., efficient and easy to understand) tool to (i) determine the unique style of an artist by comparing it to a reference dataset of works from 372 artists curated from WikiArt, and (ii) recognize if the identified style reappears in generated images. We leverage two complementary methods to perform artistic style classification over image sets, includingTagMatch, which is a novel inherently interpretable and attributable method, making it more suitable for broader use by non-technical stake holders (artists, lawyers, judges, etc). Leveraging ArtSavant, we then perform a large-scale empirical study to provide quantitative insight on the prevalence of artistic style copying across 3 popular text-to-image generative models. Namely, amongst a dataset of prolific artists (including many famous ones), only 20% of them appear to have their styles be at a risk of copying via simple prompting of today's popular text-to-image generative models.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
Competing topological phases in a non-Hermitian time-reversal symmetry-broken Bernevig-Hughes-Zhang model
Authors:
Dipendu Halder,
Srijata Lahiri,
Saurabh Basu
Abstract:
The Bernevig-Hughes-Zhang (BHZ) model, which serves as a cornerstone in the study of the quantum spin Hall insulators, showcases robust spin-filtered helical edge states in a nanoribbon geometry. In the presence of an in-plane magnetic field, these (first-order) helical states gap out to be replaced by second-order corner states under suitable open-boundary conditions. Here, we show that the inclu…
▽ More
The Bernevig-Hughes-Zhang (BHZ) model, which serves as a cornerstone in the study of the quantum spin Hall insulators, showcases robust spin-filtered helical edge states in a nanoribbon geometry. In the presence of an in-plane magnetic field, these (first-order) helical states gap out to be replaced by second-order corner states under suitable open-boundary conditions. Here, we show that the inclusion of a spin-dependent non-Hermitian balanced gain/loss potential induces a competition between these first and second-order topological phases. Surprisingly, the previously dormant first-order helical edge states in the nanoribbon resurface as the non-Hermitian effect intensifies, effectively neutralizing the role played by the magnetic field. By employing the projected spin spectra and the spin Chern number, we conclusively explain the resurgence of the first-order topological properties in the time-reversal symmetry-broken BHZ model in presence of non-Hermiticity. Finally, the biorthogonal spin-resolved Berry phase, exhibiting a non-trivial winding, definitively establishes the topological nature of these revived edge states, emphasizing the dominance of non-Hermiticity over the magnetic field.
△ Less
Submitted 5 April, 2024;
originally announced April 2024.
-
Exploring Substructure of the Near-Surface Shear Layer of the Sun
Authors:
M. Cristina Rabello Soares,
Sarbani Basu,
Richard Bogart
Abstract:
The gradient of rotation in the near-surface shear layer (NSSL) of the Sun provides valuable insights into the dynamics associated with the solar activity cycle and the dynamo. Results obtained with global oscillation mode-splittings lack resolution near the surface, prompting the use of the local helioseismic ring-diagram method. While the Helioseismic and Magnetic Imager ring-analysis pipeline h…
▽ More
The gradient of rotation in the near-surface shear layer (NSSL) of the Sun provides valuable insights into the dynamics associated with the solar activity cycle and the dynamo. Results obtained with global oscillation mode-splittings lack resolution near the surface, prompting the use of the local helioseismic ring-diagram method. While the Helioseismic and Magnetic Imager ring-analysis pipeline has been used previously for analyzing this layer, default pipeline parameters limit the accuracy of the near-surface gradients. To address these challenges, we fitted the flow parameters to power spectra averaged over one-year periods at each location, followed by additional averaging over 12 years. We find that the NSSL can be divided into three fairly distinct regions: a deeper, larger region with small shear, steepening towards the surface; a narrow middle layer with a strong shear, with a gradient approximately three times larger; and a layer very close to the surface, where the logarithmic gradient is close to zero but becomes steeper again towards the surface. The middle layer appears to be centered at 3 Mm, but the poor resolution in these layers implies that it is potentially located closer to the surface, around 1.5 Mm deep. While our analysis primarily focused on regions along the central meridian, we also investigated systematic errors at longitudes off the center. The east-west antisymmetric component of the gradient reveals a layer of substantial differences between east and west longitude around at 1.7 Mm, and the amplitude of the differences increases with longitude.
△ Less
Submitted 2 April, 2024;
originally announced April 2024.
-
Mixed Species Charge and Baryon Balance Functions Studies with PYTHIA
Authors:
Claude Pruneau,
Sumit Basu,
Victor Gonzalez,
Brian Hanley,
Ana Marin,
Alexandru F. Dobrin,
Alexandru Manea
Abstract:
Mixed species charge and baryon balance functions are computed based on proton--proton (pp) collisions simulated with the PYTHIA8 model. Simulations are performed with selected values of the collision energy $\sqrt{s}$ and the Monash tune and the Ropes and Shoving modes of PYTHIA8 to explore whether such measurements provide useful new information and constraints on mechanisms of particle producti…
▽ More
Mixed species charge and baryon balance functions are computed based on proton--proton (pp) collisions simulated with the PYTHIA8 model. Simulations are performed with selected values of the collision energy $\sqrt{s}$ and the Monash tune and the Ropes and Shoving modes of PYTHIA8 to explore whether such measurements provide useful new information and constraints on mechanisms of particle production in pp collisions. Charge balance functions are studied based on mixed pairs of pions, kaons, and protons, whereas baryon balance functions are computed for mixed low mass strange and non-strange baryons. Both charge and baryon balance functions of mixed particle pairs feature shapes and amplitudes that sensitively depend on the particle considered owing largely to the particle production mechanisms implemented in PYTHIA. The evolution of balance functions integrals with the longitudinal width of the acceptance are presented and one finds that sums of such integrals for a given reference particle obey expected sum rules for both charge and baryon balance functions. Additionally, both types of balance functions are found to evolve in shape and amplitude with increasing collision energy $\sqrt{s}$ and the PYTHIA tunes considered.
△ Less
Submitted 22 March, 2024; v1 submitted 16 March, 2024;
originally announced March 2024.
-
FocusMAE: Gallbladder Cancer Detection from Ultrasound Videos with Focused Masked Autoencoders
Authors:
Soumen Basu,
Mayuna Gupta,
Chetan Madan,
Pankaj Gupta,
Chetan Arora
Abstract:
In recent years, automated Gallbladder Cancer (GBC) detection has gained the attention of researchers. Current state-of-the-art (SOTA) methodologies relying on ultrasound sonography (US) images exhibit limited generalization, emphasizing the need for transformative approaches. We observe that individual US frames may lack sufficient information to capture disease manifestation. This study advocate…
▽ More
In recent years, automated Gallbladder Cancer (GBC) detection has gained the attention of researchers. Current state-of-the-art (SOTA) methodologies relying on ultrasound sonography (US) images exhibit limited generalization, emphasizing the need for transformative approaches. We observe that individual US frames may lack sufficient information to capture disease manifestation. This study advocates for a paradigm shift towards video-based GBC detection, leveraging the inherent advantages of spatiotemporal representations. Employing the Masked Autoencoder (MAE) for representation learning, we address shortcomings in conventional image-based methods. We propose a novel design called FocusMAE to systematically bias the selection of masking tokens from high-information regions, fostering a more refined representation of malignancy. Additionally, we contribute the most extensive US video dataset for GBC detection. We also note that, this is the first study on US video-based GBC detection. We validate the proposed methods on the curated dataset, and report a new state-of-the-art (SOTA) accuracy of 96.4% for the GBC detection problem, against an accuracy of 84% by current Image-based SOTA - GBCNet, and RadFormer, and 94.7% by Video-based SOTA - AdaMAE. We further demonstrate the generality of the proposed FocusMAE on a public CT-based Covid detection dataset, reporting an improvement in accuracy by 3.3% over current baselines. The source code and pretrained models are available at: https://gbc-iitd.github.io/focusmae
△ Less
Submitted 29 March, 2024; v1 submitted 13 March, 2024;
originally announced March 2024.
-
Elasticity affects the shock-induced aerobreakup of a polymeric droplet
Authors:
Navin Kumar Chandra,
Shubham Sharma,
Saptarshi Basu,
Aloke Kumar
Abstract:
Boger fluids are viscoelastic liquids having constant viscosity for a broad range of shear rates. They are commonly used to separate the effects of liquid elasticity from viscosity in any experiment. We present an experimental study on the shock-induced aerobreakup of a Boger fluid droplet in the Shear-induced entrainment (SIE) and catastrophic breakup regime (Weber number ranging from ~ 800 to 50…
▽ More
Boger fluids are viscoelastic liquids having constant viscosity for a broad range of shear rates. They are commonly used to separate the effects of liquid elasticity from viscosity in any experiment. We present an experimental study on the shock-induced aerobreakup of a Boger fluid droplet in the Shear-induced entrainment (SIE) and catastrophic breakup regime (Weber number ranging from ~ 800 to 5000). The results are compared with the aerobreakup of a Newtonian droplet having similar viscosity, and with shear-thinning droplets. The study aims to identify the role of liquid elasticity without the added complexity of simultaneous shear-thinning behavior. It is observed that at the early stages of droplet breakup, liquid elasticity plays an insignificant role, and all the fluids show similar behavior. However, during the late stages, the impact of liquid elasticity becomes dominant, which results in a markedly different morphology of the fragmenting liquid mass compared to a Newtonian droplet.
△ Less
Submitted 11 March, 2024;
originally announced March 2024.
-
Gemini 1.5: Unlocking multimodal understanding across millions of tokens of context
Authors:
Gemini Team,
Petko Georgiev,
Ving Ian Lei,
Ryan Burnell,
Libin Bai,
Anmol Gulati,
Garrett Tanzer,
Damien Vincent,
Zhufeng Pan,
Shibo Wang,
Soroosh Mariooryad,
Yifan Ding,
Xinyang Geng,
Fred Alcober,
Roy Frostig,
Mark Omernick,
Lexi Walker,
Cosmin Paduraru,
Christina Sorokin,
Andrea Tacchetti,
Colin Gaffney,
Samira Daruki,
Olcan Sercinoglu,
Zach Gleicher,
Juliette Love
, et al. (1110 additional authors not shown)
Abstract:
In this report, we introduce the Gemini 1.5 family of models, representing the next generation of highly compute-efficient multimodal models capable of recalling and reasoning over fine-grained information from millions of tokens of context, including multiple long documents and hours of video and audio. The family includes two new models: (1) an updated Gemini 1.5 Pro, which exceeds the February…
▽ More
In this report, we introduce the Gemini 1.5 family of models, representing the next generation of highly compute-efficient multimodal models capable of recalling and reasoning over fine-grained information from millions of tokens of context, including multiple long documents and hours of video and audio. The family includes two new models: (1) an updated Gemini 1.5 Pro, which exceeds the February version on the great majority of capabilities and benchmarks; (2) Gemini 1.5 Flash, a more lightweight variant designed for efficiency with minimal regression in quality. Gemini 1.5 models achieve near-perfect recall on long-context retrieval tasks across modalities, improve the state-of-the-art in long-document QA, long-video QA and long-context ASR, and match or surpass Gemini 1.0 Ultra's state-of-the-art performance across a broad set of benchmarks. Studying the limits of Gemini 1.5's long-context ability, we find continued improvement in next-token prediction and near-perfect retrieval (>99%) up to at least 10M tokens, a generational leap over existing models such as Claude 3.0 (200k) and GPT-4 Turbo (128k). Finally, we highlight real-world use cases, such as Gemini 1.5 collaborating with professionals on completing their tasks achieving 26 to 75% time savings across 10 different job categories, as well as surprising new capabilities of large language models at the frontier; when given a grammar manual for Kalamang, a language with fewer than 200 speakers worldwide, the model learns to translate English to Kalamang at a similar level to a person who learned from the same content.
△ Less
Submitted 8 August, 2024; v1 submitted 8 March, 2024;
originally announced March 2024.
-
A mechanistic model for smallpox transmission via inhaled aerosols inside respiratory pathways
Authors:
Saikat Basu,
Abir Malakar,
Mohammad Mehedi Hasan Akash
Abstract:
Investigations on airborne transmission of pathogens constitute a rapidly expanding field, primarily focused on understanding the expulsion patterns of respiratory particulates from infected hosts and their dispersion in confined spaces. Largely overlooked has been the crucial role of fluid dynamics in guiding inhaled virus-laden particulates within the respiratory cavity, thereby directing the pa…
▽ More
Investigations on airborne transmission of pathogens constitute a rapidly expanding field, primarily focused on understanding the expulsion patterns of respiratory particulates from infected hosts and their dispersion in confined spaces. Largely overlooked has been the crucial role of fluid dynamics in guiding inhaled virus-laden particulates within the respiratory cavity, thereby directing the pathogens to the infection-prone upper airway sites. Here, we discuss a multi-scale approach for modeling the onset parameters of airway infection based on flow physics. The findings are backed by Large Eddy Simulations of inhaled airflow and computed trajectories of pathogen-bearing aerosols/droplets within two clinically healthy and anatomically realistic airway geometries reconstructed from computed tomography imaging. As a representative anisotropic pathogen that can transmit aerially, we have picked smallpox from the Poxviridae family to demonstrate the approach. The fluid dynamics findings on inhaled transmission trends are integrated with virological and epidemiological parameters for smallpox (e.g., viral concentration in host ejecta, physical properties of virions, and typical exposure durations) to establish the corresponding infectious dose (i.e., the number of virions potent enough to launch infection in an exposed subject) to be, at maximum, of the order of O(2), or more precisely 1 to 180. The projection agrees remarkably well with the known virological parameters for smallpox.
△ Less
Submitted 6 March, 2024;
originally announced March 2024.
-
Equivariant cohomology for cyclic groups
Authors:
Samik Basu,
Pinka Dey
Abstract:
In this paper, we compute the $RO(C_n)$-graded coefficient ring of equivariant cohomology for cyclic groups $C_n$, in the case of Burnside ring coefficients, and in the case of constant coefficients. We use the invertible Mackey functors under the box product to reduce the gradings in the computation from $RO(C_n)$ to those expressable as combinations of $λ^d$ for divisors $d$ of $n$, where $λ$ is…
▽ More
In this paper, we compute the $RO(C_n)$-graded coefficient ring of equivariant cohomology for cyclic groups $C_n$, in the case of Burnside ring coefficients, and in the case of constant coefficients. We use the invertible Mackey functors under the box product to reduce the gradings in the computation from $RO(C_n)$ to those expressable as combinations of $λ^d$ for divisors $d$ of $n$, where $λ$ is the inclusion of $C_n$ in $S^1$ as the roots of unity. We make explicit computations for the geometric fixed points for Burnside ring coefficients, and in the positive cone for constant coefficients. The positive cone is also computed for the Burnside ring in the case of prime power order, and in the case of square free order. Finally, we also make computations at non-negative gradings for the constant coefficients.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Evaporation of bacteria-laden surrogate respiratory fluid droplets: On a hydrophilic substrate versus contact-free environment confers differential bacterial infectivity
Authors:
Amey Nitin Agharkar,
Dipasree Hajra,
Durbar Roy,
Vivek Jaiswal,
Prasenjit Kabi,
Dipshikha Chakravortty,
Saptarshi Basu
Abstract:
The transmission of viruses/ bacteria cause infection predominantly via aerosols. The transmission mechanism of respiratory diseases is complex, including direct or indirect contact, large droplet, and airborne routes apart from close contact transmission. With this pretext, we have investigated two modes of droplet evaporation to understand its significance in airborne disease transmission; a dro…
▽ More
The transmission of viruses/ bacteria cause infection predominantly via aerosols. The transmission mechanism of respiratory diseases is complex, including direct or indirect contact, large droplet, and airborne routes apart from close contact transmission. With this pretext, we have investigated two modes of droplet evaporation to understand its significance in airborne disease transmission; a droplet in a contact-free environment, which evaporates and forms droplet nuclei, and a droplet on a hydrophilic substrate (fomite). The study examines mass transport, the deposition pattern of bacteria in the precipitates, and their survival and virulence. The osmotic pressure increases with the salt concentration, inactivating the bacteria embedded in the precipitates with accelerated evaporation. Further, the bacteria's degree of survival and enhanced pathogenicity are compared for both evaporation modes. The striking differences in pathogenicity are attributed to the evaporation rate, oxygen availability, and reactive oxygen species (ROS) generation.
△ Less
Submitted 11 January, 2024;
originally announced March 2024.