-
Structure-preserving Image Translation for Depth Estimation in Colonoscopy Video
Authors:
Shuxian Wang,
Akshay Paruchuri,
Zhaoxi Zhang,
Sarah McGill,
Roni Sengupta
Abstract:
Monocular depth estimation in colonoscopy video aims to overcome the unusual lighting properties of the colonoscopic environment. One of the major challenges in this area is the domain gap between annotated but unrealistic synthetic data and unannotated but realistic clinical data. Previous attempts to bridge this domain gap directly target the depth estimation task itself. We propose a general pi…
▽ More
Monocular depth estimation in colonoscopy video aims to overcome the unusual lighting properties of the colonoscopic environment. One of the major challenges in this area is the domain gap between annotated but unrealistic synthetic data and unannotated but realistic clinical data. Previous attempts to bridge this domain gap directly target the depth estimation task itself. We propose a general pipeline of structure-preserving synthetic-to-real (sim2real) image translation (producing a modified version of the input image) to retain depth geometry through the translation process. This allows us to generate large quantities of realistic-looking synthetic images for supervised depth estimation with improved generalization to the clinical domain. We also propose a dataset of hand-picked sequences from clinical colonoscopies to improve the image translation process. We demonstrate the simultaneous realism of the translated images and preservation of depth maps via the performance of downstream depth estimation on various datasets.
△ Less
Submitted 19 August, 2024;
originally announced August 2024.
-
Fleet Size and Spill for UAM Operation under Uncertain Demand
Authors:
Shangqing Cao,
Xuan Jiang,
Emin Burak Onat,
Bo Zou,
Mark Hansen,
Raja Sengupta,
Anjan Chakrabarty
Abstract:
Variation and imbalance in demand poses significant challenges to Urban Air Mobility (UAM) operations, affecting strategic decisions such as fleet sizing. To study the implications of demand variation on UAM fleet operations, we propose a stochastic passenger arrival time generation model that uses real-world data to infer demand distributions, and two integer programs that compute the zero-spill…
▽ More
Variation and imbalance in demand poses significant challenges to Urban Air Mobility (UAM) operations, affecting strategic decisions such as fleet sizing. To study the implications of demand variation on UAM fleet operations, we propose a stochastic passenger arrival time generation model that uses real-world data to infer demand distributions, and two integer programs that compute the zero-spill fleet size and the spill-minimizing flight schedules and charging policies, respectively. Our numerical experiment on a two-vertiport network shows that spill in relatively inelastic to fleet size and that the driving factor behind spill is the imbalance in demand.
△ Less
Submitted 1 July, 2024;
originally announced July 2024.
-
On the Number of Quantifiers Needed to Define Boolean Functions
Authors:
Marco Carmosino,
Ronald Fagin,
Neil Immerman,
Phokion Kolaitis,
Jonathan Lenchner,
Rik Sengupta
Abstract:
The number of quantifiers needed to express first-order (FO) properties is captured by two-player combinatorial games called multi-structural games. We analyze these games on binary strings with an ordering relation, using a technique we call parallel play, which significantly reduces the number of quantifiers needed in many cases. Ordered structures such as strings have historically been notoriou…
▽ More
The number of quantifiers needed to express first-order (FO) properties is captured by two-player combinatorial games called multi-structural games. We analyze these games on binary strings with an ordering relation, using a technique we call parallel play, which significantly reduces the number of quantifiers needed in many cases. Ordered structures such as strings have historically been notoriously difficult to analyze in the context of these and similar games. Nevertheless, in this paper, we provide essentially tight upper bounds on the number of quantifiers needed to characterize different-sized subsets of strings. The results immediately give bounds on the number of quantifiers necessary to define several different classes of Boolean functions. One of our results is analogous to Lupanov's upper bounds on circuit size and formula size in propositional logic: we show that every Boolean function on $n$-bit inputs can be defined by a FO sentence having $(1 + \varepsilon)n\log(n) + O(1)$ quantifiers, and that this is essentially tight. We reduce this number to $(1 + \varepsilon)\log(n) + O(1)$ when the Boolean function in question is sparse.
△ Less
Submitted 19 August, 2024; v1 submitted 30 June, 2024;
originally announced July 2024.
-
Infinite dimensional dynamical maps
Authors:
Bihalan Bhattacharya,
Uwe Franz,
Saikat Patra,
Ritabrata Sengupta
Abstract:
Completely positive trace preserving maps are widely used in quantum information theory. These are mostly studied using the master equation perspective. A central part in this theory is to study whether a given system of dynamical maps $\{Λ_t: t \ge 0\}$ is Markovian or non-Markovian. We study the problem when the underlying Hilbert space is of infinite dimensional. We construct a sufficient condi…
▽ More
Completely positive trace preserving maps are widely used in quantum information theory. These are mostly studied using the master equation perspective. A central part in this theory is to study whether a given system of dynamical maps $\{Λ_t: t \ge 0\}$ is Markovian or non-Markovian. We study the problem when the underlying Hilbert space is of infinite dimensional. We construct a sufficient condition for checking P (resp. CP) divisibility of dynamical maps. We construct several examples where the underlying Hilbert space may not be of finite dimensional. We also give a special emphasis on Gaussian dynamical maps and get a version of our result in it.
△ Less
Submitted 27 June, 2024;
originally announced June 2024.
-
LPSim: Large Scale Multi-GPU Parallel Computing based Regional Scale Traffic Simulation Framework
Authors:
Xuan Jiang,
Raja Sengupta,
James Demmel,
Samuel Williams
Abstract:
Traffic propagation simulation is crucial for urban planning, enabling congestion analysis, travel time estimation, and route optimization. Traditional micro-simulation frameworks are limited to main roads due to the complexity of urban mobility and large-scale data. We introduce the Large Scale Multi-GPU Parallel Computing based Regional Scale Traffic Simulation Framework (LPSim), a scalable tool…
▽ More
Traffic propagation simulation is crucial for urban planning, enabling congestion analysis, travel time estimation, and route optimization. Traditional micro-simulation frameworks are limited to main roads due to the complexity of urban mobility and large-scale data. We introduce the Large Scale Multi-GPU Parallel Computing based Regional Scale Traffic Simulation Framework (LPSim), a scalable tool that leverages GPU parallel computing to simulate extensive traffic networks with high fidelity and reduced computation time. LPSim performs millions of vehicle dynamics simulations simultaneously, outperforming CPU-based methods. It can complete simulations of 2.82 million trips in 6.28 minutes using a single GPU, and 9.01 million trips in 21.16 minutes on dual GPUs. LPSim is also tested on dual NVIDIA A100 GPUs, achieving simulations about 113 times faster than traditional CPU methods. This demonstrates its scalability and efficiency for large-scale applications, making LPSim a valuable resource for researchers and planners. Code: https://github.com/Xuan-1998/LPSim
△ Less
Submitted 25 April, 2024;
originally announced June 2024.
-
Photonic lantern wavefront reconstruction in a multi-wavefront sensor single-conjugate adaptive optics system
Authors:
Aditya R. Sengupta,
Jordan Diaz,
Benjamin L. Gerard,
Rebecca Jensen-Clem,
Daren Dillon,
Matthew DeMartino,
Kevin Bundy,
Sylvain Cetre,
Vincent Chambouleyron
Abstract:
Exoplanet direct imaging using adaptive optics (AO) is often limited by non-common path aberrations (NCPAs) and aberrations that are invisible to traditional pupil-plane wavefront sensors (WFSs). This can be remedied by focal-plane (FP) WFSs that characterize aberrations directly from a final science image. Photonic lanterns (PLs) can act as low-order FPWFSs with the ability to direct some light t…
▽ More
Exoplanet direct imaging using adaptive optics (AO) is often limited by non-common path aberrations (NCPAs) and aberrations that are invisible to traditional pupil-plane wavefront sensors (WFSs). This can be remedied by focal-plane (FP) WFSs that characterize aberrations directly from a final science image. Photonic lanterns (PLs) can act as low-order FPWFSs with the ability to direct some light to downstream science instruments. Using a PL on the SEAL (Santa Cruz Extreme AO Laboratory) high-contrast imaging testbed, we demonstrate (1) linear ranges and (2) closed-loop control. Additionally, we simulate the use of the PL in a multi-wavefront sensor AO system, in which multiple WFSs feed back to the same common-path deformable mirror. Building on previous multi-WFS AO demonstrations on SEAL, we simulate a modulated pyramid WFS to sense aberrations of high spatial order and large amplitude, and the PL to sense low order aberrations including NCPAs. We assess adaptive optics performance in this setting using three different PL wavefront reconstruction algorithms. We also provide a new method to experimentally identify the propagation matrix of a PL, making advanced model-based algorithms practical. This work demonstrates the role of photonic technologies and multi-stage wavefront sensing in the context of extreme AO and high contrast imaging.
△ Less
Submitted 11 June, 2024;
originally announced June 2024.
-
A Simulation-Optimization Framework for Developing Wind-Resilient AAM Networks
Authors:
Emin Burak Onat,
Shangqing Cao,
Raiyan Rizwan,
Xuan Jiang,
Mark Hansen,
Raja Sengupta,
Anjan Chakrabarty
Abstract:
Environmental factors pose a significant challenge to the operational efficiency and safety of advanced air mobility (AAM) networks. This paper presents a simulation-optimization framework that dynamically integrates wind variability into AAM operations. We employ a nonlinear charging model within a multi-vertiport environment to optimize fleet size and scheduling. Our framework assesses the impac…
▽ More
Environmental factors pose a significant challenge to the operational efficiency and safety of advanced air mobility (AAM) networks. This paper presents a simulation-optimization framework that dynamically integrates wind variability into AAM operations. We employ a nonlinear charging model within a multi-vertiport environment to optimize fleet size and scheduling. Our framework assesses the impact of wind on operational parameters, providing strategies to enhance the resilience of AAM ecosystems. The results demonstrate that wind conditions exert significant influence on fleet size even for short-distance flights, their impact on fleet size and energy requirements becomes more pronounced over longer distances. Efficient management of fleet size and charging policies, particularly for long-distance networks, is needed to accommodate the variability of wind conditions effectively.
△ Less
Submitted 17 May, 2024;
originally announced May 2024.
-
Graph Reconstruction from Noisy Random Subgraphs
Authors:
Andrew McGregor,
Rik Sengupta
Abstract:
We consider the problem of reconstructing an undirected graph $G$ on $n$ vertices given multiple random noisy subgraphs or "traces". Specifically, a trace is generated by sampling each vertex with probability $p_v$, then taking the resulting induced subgraph on the sampled vertices, and then adding noise in the form of either (a) deleting each edge in the subgraph with probability $1-p_e$, or (b)…
▽ More
We consider the problem of reconstructing an undirected graph $G$ on $n$ vertices given multiple random noisy subgraphs or "traces". Specifically, a trace is generated by sampling each vertex with probability $p_v$, then taking the resulting induced subgraph on the sampled vertices, and then adding noise in the form of either (a) deleting each edge in the subgraph with probability $1-p_e$, or (b) deleting each edge with probability $f_e$ and transforming a non-edge into an edge with probability $f_e$. We show that, under mild assumptions on $p_v$, $p_e$ and $f_e$, if $G$ is selected uniformly at random, then $O(p_e^{-1} p_v^{-2} \log n)$ or $O((f_e-1/2)^{-2} p_v^{-2} \log n)$ traces suffice to reconstruct $G$ with high probability. In contrast, if $G$ is arbitrary, then $\exp(Ω(n))$ traces are necessary even when $p_v=1, p_e=1/2$.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
MTDT: A Multi-Task Deep Learning Digital Twin
Authors:
Nooshin Yousefzadeh,
Rahul Sengupta,
Yashaswi Karnati,
Anand Rangarajan,
Sanjay Ranka
Abstract:
Traffic congestion has significant impacts on both the economy and the environment. Measures of Effectiveness (MOEs) have long been the standard for evaluating the level of service and operational efficiency of traffic intersections. However, the scarcity of traditional high-resolution loop detector data (ATSPM) presents challenges in accurately measuring MOEs or capturing the intricate temporospa…
▽ More
Traffic congestion has significant impacts on both the economy and the environment. Measures of Effectiveness (MOEs) have long been the standard for evaluating the level of service and operational efficiency of traffic intersections. However, the scarcity of traditional high-resolution loop detector data (ATSPM) presents challenges in accurately measuring MOEs or capturing the intricate temporospatial characteristics inherent in urban intersection traffic. In response to this challenge, we have introduced the Multi-Task Deep Learning Digital Twin (MTDT) as a solution for multifaceted and precise intersection traffic flow simulation. MTDT enables accurate, fine-grained estimation of loop detector waveform time series for each lane of movement, alongside successful estimation of several MOEs for each lane group associated with a traffic phase concurrently and for all approaches of an arbitrary urban intersection. Unlike existing deep learning methodologies, MTDT distinguishes itself through its adaptability to local temporal and spatial features, such as signal timing plans, intersection topology, driving behaviors, and turning movement counts. While maintaining a straightforward design, our model emphasizes the advantages of multi-task learning in traffic modeling. By consolidating the learning process across multiple tasks, MTDT demonstrates reduced overfitting, increased efficiency, and enhanced effectiveness by sharing representations learned by different tasks. Furthermore, our approach facilitates sequential computation and lends itself to complete parallelization through GPU implementation. This not only streamlines the computational process but also enhances scalability and performance.
△ Less
Submitted 1 May, 2024;
originally announced May 2024.
-
Graph Attention Network for Lane-Wise and Topology-Invariant Intersection Traffic Simulation
Authors:
Nooshin Yousefzadeh,
Rahul Sengupta,
Yashaswi Karnati,
Anand Rangarajan,
Sanjay Ranka
Abstract:
Traffic congestion has significant economic, environmental, and social ramifications. Intersection traffic flow dynamics are influenced by numerous factors. While microscopic traffic simulators are valuable tools, they are computationally intensive and challenging to calibrate. Moreover, existing machine-learning approaches struggle to provide lane-specific waveforms or adapt to intersection topol…
▽ More
Traffic congestion has significant economic, environmental, and social ramifications. Intersection traffic flow dynamics are influenced by numerous factors. While microscopic traffic simulators are valuable tools, they are computationally intensive and challenging to calibrate. Moreover, existing machine-learning approaches struggle to provide lane-specific waveforms or adapt to intersection topology and traffic patterns. In this study, we propose two efficient and accurate "Digital Twin" models for intersections, leveraging Graph Attention Neural Networks (GAT). These attentional graph auto-encoder digital twins capture temporal, spatial, and contextual aspects of traffic within intersections, incorporating various influential factors such as high-resolution loop detector waveforms, signal state records, driving behaviors, and turning-movement counts. Trained on diverse counterfactual scenarios across multiple intersections, our models generalize well, enabling the estimation of detailed traffic waveforms for any intersection approach and exit lanes. Multi-scale error metrics demonstrate that our models perform comparably to microsimulations. The primary application of our study lies in traffic signal optimization, a pivotal area in transportation systems research. These lightweight digital twins can seamlessly integrate into corridor and network signal timing optimization frameworks. Furthermore, our study's applications extend to lane reconfiguration, driving behavior analysis, and facilitating informed decisions regarding intersection safety and efficiency enhancements. A promising avenue for future research involves extending this approach to urban freeway corridors and integrating it with measures of effectiveness metrics.
△ Less
Submitted 1 May, 2024; v1 submitted 10 April, 2024;
originally announced April 2024.
-
Leveraging Near-Field Lighting for Monocular Depth Estimation from Endoscopy Videos
Authors:
Akshay Paruchuri,
Samuel Ehrenstein,
Shuxian Wang,
Inbar Fried,
Stephen M. Pizer,
Marc Niethammer,
Roni Sengupta
Abstract:
Monocular depth estimation in endoscopy videos can enable assistive and robotic surgery to obtain better coverage of the organ and detection of various health issues. Despite promising progress on mainstream, natural image depth estimation, techniques perform poorly on endoscopy images due to a lack of strong geometric features and challenging illumination effects. In this paper, we utilize the ph…
▽ More
Monocular depth estimation in endoscopy videos can enable assistive and robotic surgery to obtain better coverage of the organ and detection of various health issues. Despite promising progress on mainstream, natural image depth estimation, techniques perform poorly on endoscopy images due to a lack of strong geometric features and challenging illumination effects. In this paper, we utilize the photometric cues, i.e., the light emitted from an endoscope and reflected by the surface, to improve monocular depth estimation. We first create two novel loss functions with supervised and self-supervised variants that utilize a per-pixel shading representation. We then propose a novel depth refinement network (PPSNet) that leverages the same per-pixel shading representation. Finally, we introduce teacher-student transfer learning to produce better depth maps from both synthetic data with supervision and clinical data with self-supervision. We achieve state-of-the-art results on the C3VD dataset while estimating high-quality depth maps from clinical data. Our code, pre-trained models, and supplementary materials can be found on our project page: https://ppsnet.github.io/
△ Less
Submitted 20 August, 2024; v1 submitted 26 March, 2024;
originally announced March 2024.
-
GaNI: Global and Near Field Illumination Aware Neural Inverse Rendering
Authors:
Jiaye Wu,
Saeed Hadadan,
Geng Lin,
Matthias Zwicker,
David Jacobs,
Roni Sengupta
Abstract:
In this paper, we present GaNI, a Global and Near-field Illumination-aware neural inverse rendering technique that can reconstruct geometry, albedo, and roughness parameters from images of a scene captured with co-located light and camera. Existing inverse rendering techniques with co-located light-camera focus on single objects only, without modeling global illumination and near-field lighting mo…
▽ More
In this paper, we present GaNI, a Global and Near-field Illumination-aware neural inverse rendering technique that can reconstruct geometry, albedo, and roughness parameters from images of a scene captured with co-located light and camera. Existing inverse rendering techniques with co-located light-camera focus on single objects only, without modeling global illumination and near-field lighting more prominent in scenes with multiple objects. We introduce a system that solves this problem in two stages; we first reconstruct the geometry powered by neural volumetric rendering NeuS, followed by inverse neural radiosity that uses the previously predicted geometry to estimate albedo and roughness. However, such a naive combination fails and we propose multiple technical contributions that enable this two-stage approach. We observe that NeuS fails to handle near-field illumination and strong specular reflections from the flashlight in a scene. We propose to implicitly model the effects of near-field illumination and introduce a surface angle loss function to handle specular reflections. Similarly, we observe that invNeRad assumes constant illumination throughout the capture and cannot handle moving flashlights during capture. We propose a light position-aware radiance cache network and additional smoothness priors on roughness to reconstruct reflectance. Experimental evaluation on synthetic and real data shows that our method outperforms the existing co-located light-camera-based inverse rendering techniques. Our approach produces significantly better reflectance and slightly better geometry than capture strategies that do not require a dark room.
△ Less
Submitted 22 March, 2024;
originally announced March 2024.
-
Useful variants and perturbations of completely entangled subspaces and spans of unextendible product bases
Authors:
Ritabrata Sengupta,
Ajit Iqbal Singh
Abstract:
Finite dimensional entanglement for pure states has been used extensively in quantum information theory. Depending on the tensor product structure, even set of separable states can show non-intuitive characters. Two situations are well studied in the literature, namely the unextendible product basis by Bennett et al [Phys. Rev. Lett. 82, 5385, (1999)], and completely entangled subspaces explicitly…
▽ More
Finite dimensional entanglement for pure states has been used extensively in quantum information theory. Depending on the tensor product structure, even set of separable states can show non-intuitive characters. Two situations are well studied in the literature, namely the unextendible product basis by Bennett et al [Phys. Rev. Lett. 82, 5385, (1999)], and completely entangled subspaces explicitly given by Parthasarathy in [Proc. Indian Acad. Sci. Math. Sci. 114, 4 (2004)]. More recently Boyer, Liss, and Mor [Phys. Rev. A 95, 032308 (2017)]; Boyer and Mor [Preprints 2023080529, (2023)]; and Liss, Mor, and Winter [arXiv: 2309.05144, (2023)] have studied spaces which have only finitely many pure product states. We carry this further and consider the problem of perturbing different spaces, such as the orthogonal complement of an unextendible product basis and also Parthasarathy's completely entangled spaces, by taking linear spans with specified product vectors. To this end, we develop methods and theory of variations and perturbations of the linear spans of certain unextendible product bases, their orthogonal complements, and also Parthasarathy's completely entangled sub-spaces. Finally we give examples of perturbations with infinitely many pure product states.
△ Less
Submitted 25 March, 2024; v1 submitted 22 February, 2024;
originally announced February 2024.
-
Parallel Play Saves Quantifiers
Authors:
Marco Carmosino,
Ronald Fagin,
Neil Immerman,
Phokion Kolaitis,
Jonathan Lenchner,
Rik Sengupta,
Ryan Williams
Abstract:
The number of quantifiers needed to express first-order properties is captured by two-player combinatorial games called multi-structural (MS) games. We play these games on linear orders and strings, and introduce a technique we call "parallel play", that dramatically reduces the number of quantifiers needed in many cases. Linear orders and strings are the most basic representatives of ordered stru…
▽ More
The number of quantifiers needed to express first-order properties is captured by two-player combinatorial games called multi-structural (MS) games. We play these games on linear orders and strings, and introduce a technique we call "parallel play", that dramatically reduces the number of quantifiers needed in many cases. Linear orders and strings are the most basic representatives of ordered structures -- a class of structures that has historically been notoriously difficult to analyze. Yet, in this paper, we provide upper bounds on the number of quantifiers needed to characterize different-sized subsets of these structures, and prove that they are tight up to constant factors, including, in some cases, up to a factor of $1+\varepsilon$, for arbitrarily small $\varepsilon$.
△ Less
Submitted 4 April, 2024; v1 submitted 15 February, 2024;
originally announced February 2024.
-
Current status of the light neutralino thermal dark matter in the phenomenological MSSM
Authors:
Rahool Kumar Barman,
Genevieve Bélanger,
Biplob Bhattacherjee,
Rohini Godbole,
Rhitaja Sengupta
Abstract:
In a previous publication, we studied the parameter space of the phenomenological Minimal Supersymmetric Standard Model (pMSSM) with a light neutralino thermal dark matter ($M_{\tildeχ_1^0} \leq M_h/2$) and observed that the recent results from the dark matter and collider experiments put strong constraints on this scenario. In this work, we present in detail the arguments behind the robustness of…
▽ More
In a previous publication, we studied the parameter space of the phenomenological Minimal Supersymmetric Standard Model (pMSSM) with a light neutralino thermal dark matter ($M_{\tildeχ_1^0} \leq M_h/2$) and observed that the recent results from the dark matter and collider experiments put strong constraints on this scenario. In this work, we present in detail the arguments behind the robustness of this result against scanning over the large number of parameters in pMSSM. The Run-3 of LHC will be crucial in probing the surviving regions of the parameter space. We further investigate the impact of light staus on our parameter space and also provide benchmarks which can be interesting for Run-3 of LHC. We analyse these benchmarks at the LHC using the machine learning framework of \texttt{XGBOOST}. Finally, we also discuss the effect of non-standard cosmology on the parameter space.
△ Less
Submitted 12 February, 2024;
originally announced February 2024.
-
Generating random Gaussian states
Authors:
Leevi Leppäjärvi,
Ion Nechita,
Ritabrata Sengupta
Abstract:
We develop a method for the random sampling of (multimode) Gaussian states in terms of their covariance matrix, which we refer to as a random quantum covariance matrix (RQCM). We analyze the distribution of marginals and demonstrate that the eigenvalues of an RQCM converge to a shifted semicircular distribution in the limit of a large number of modes. We provide insights into the entanglement of s…
▽ More
We develop a method for the random sampling of (multimode) Gaussian states in terms of their covariance matrix, which we refer to as a random quantum covariance matrix (RQCM). We analyze the distribution of marginals and demonstrate that the eigenvalues of an RQCM converge to a shifted semicircular distribution in the limit of a large number of modes. We provide insights into the entanglement of such states based on the positive partial transpose (PPT) criteria. Additionally, we show that the symplectic eigenvalues of an RQCM converge to a probability distribution that can be characterized using free probability. We present numerical estimates for the probability of a RQCM being separable and, if not, its extendibility degree, for various parameter values and mode bipartitions.
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
Open-source data pipeline for street-view images: a case study on community mobility during COVID-19 pandemic
Authors:
Matthew Martell,
Nick Terry,
Ribhu Sengupta,
Chris Salazar,
Nicole A. Errett,
Scott B. Miles,
Joseph Wartman,
Youngjun Choe
Abstract:
Street View Images (SVI) are a common source of valuable data for researchers. Researchers have used SVI data for estimating pedestrian volumes, demographic surveillance, and to better understand built and natural environments in cityscapes. However, the most common source of publicly available SVI data is Google Street View. Google Street View images are collected infrequently, making temporal an…
▽ More
Street View Images (SVI) are a common source of valuable data for researchers. Researchers have used SVI data for estimating pedestrian volumes, demographic surveillance, and to better understand built and natural environments in cityscapes. However, the most common source of publicly available SVI data is Google Street View. Google Street View images are collected infrequently, making temporal analysis challenging, especially in low population density areas. Our main contribution is the development of an open-source data pipeline for processing 360-degree video recorded from a car-mounted camera. The video data is used to generate SVIs, which then can be used as an input for temporal analysis. We demonstrate the use of the pipeline by collecting a SVI dataset over a 38-month longitudinal survey of Seattle, WA, USA during the COVID-19 pandemic. The output of our pipeline is validated through statistical analyses of pedestrian traffic in the images. We confirm known results in the literature and provide new insights into outdoor pedestrian traffic patterns. This study demonstrates the feasibility and value of collecting and using SVI for research purposes beyond what is possible with currently available SVI data. Limitations and future improvements on the data pipeline and case study are also discussed.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
Evaluating eVTOL Network Performance and Fleet Dynamics through Simulation-Based Analysis
Authors:
Emin Burak Onat,
Vishwanath Bulusu,
Anjan Chakrabarty,
Mark Hansen,
Raja Sengupta,
Banavar Sridar
Abstract:
Urban Air Mobility (UAM) represents a promising solution for future transportation. In this study, we introduce VertiSim, an advanced event-driven simulator developed to evaluate e-VTOL transportation networks. Uniquely, VertiSim simultaneously models passenger, aircraft, and energy flows, reflecting the interrelated complexities of UAM systems. We utilized VertiSim to assess 19 operational scenar…
▽ More
Urban Air Mobility (UAM) represents a promising solution for future transportation. In this study, we introduce VertiSim, an advanced event-driven simulator developed to evaluate e-VTOL transportation networks. Uniquely, VertiSim simultaneously models passenger, aircraft, and energy flows, reflecting the interrelated complexities of UAM systems. We utilized VertiSim to assess 19 operational scenarios serving a daily demand for 2,834 passengers with varying fleet sizes and vertiport distances. The study aims to support stakeholders in making informed decisions about fleet size, network design, and infrastructure development by understanding tradeoffs in passenger delay time, operational costs, and fleet utilization. Our simulations, guided by a heuristic dispatch and charge policy, indicate that fleet size significantly influences passenger delay and energy consumption within UAM networks. We find that increasing the fleet size can reduce average passenger delays, but this comes at the cost of higher operational expenses due to an increase in the number of repositioning flights. Additionally, our analysis highlights how vertiport distances impact fleet utilization: longer distances result in reduced total idle time and increased cruise and charge times, leading to more efficient fleet utilization but also longer passenger delays. These findings are important for UAM network planning, especially in balancing fleet size with vertiport capacity and operational costs. Simulator demo is available at: https://tinyurl.com/vertisim-vis
△ Less
Submitted 5 December, 2023;
originally announced December 2023.
-
Personalized Video Relighting With an At-Home Light Stage
Authors:
Jun Myeong Choi,
Max Christman,
Roni Sengupta
Abstract:
In this paper, we develop a personalized video relighting algorithm that produces high-quality and temporally consistent relit videos under any pose, expression, and lighting condition in real-time. Existing relighting algorithms typically rely either on publicly available synthetic data, which yields poor relighting results, or instead on light stage data which is difficult to obtain. We show tha…
▽ More
In this paper, we develop a personalized video relighting algorithm that produces high-quality and temporally consistent relit videos under any pose, expression, and lighting condition in real-time. Existing relighting algorithms typically rely either on publicly available synthetic data, which yields poor relighting results, or instead on light stage data which is difficult to obtain. We show that by just capturing video of a user watching YouTube videos on a monitor we can train a personalized algorithm capable of performing high-quality relighting under any condition. Our key contribution is a novel neural relighting architecture that effectively separates the intrinsic appearance features - the geometry and reflectance of the face - from the source lighting and then combines them with the target lighting to generate a relit image. This neural network architecture enables smoothing of intrinsic appearance features leading to temporally stable video relighting. Both qualitative and quantitative evaluations show that our architecture improves portrait image relighting quality and temporal consistency over state-of-the-art approaches on both casually captured `Light Stage at Your Desk' (LSYD) and light-stage-captured `One Light At a Time' (OLAT) datasets.
△ Less
Submitted 4 December, 2023; v1 submitted 15 November, 2023;
originally announced November 2023.
-
A novel model of non-singular oscillating cosmology on flat Randall-Sundrum II braneworld
Authors:
Rikpratik Sengupta
Abstract:
We obtain a \textit{novel} model of oscillating non-singular cosmology on the spatially flat Randall-Sundrum (RS) II brane. At early times, the universe is dominated by a scalar field with an inflationary emergent potential $V(φ)=A(e^{Bφ}-1)^2$, $A$ and $B$ being constants. Interestingly, we find that such a scalar field can source a non-singular bounce, replacing the big bang on the brane. The tu…
▽ More
We obtain a \textit{novel} model of oscillating non-singular cosmology on the spatially flat Randall-Sundrum (RS) II brane. At early times, the universe is dominated by a scalar field with an inflationary emergent potential $V(φ)=A(e^{Bφ}-1)^2$, $A$ and $B$ being constants. Interestingly, we find that such a scalar field can source a non-singular bounce, replacing the big bang on the brane. The turnaround again happens naturally on the brane dominated by a phantom dark energy (favoured by observations\cite{E1,E2,E3} at late times), thus avoiding the big rip singularity and leading upto the following non-singular bounce via a contraction phase. There is a smooth non-singular transition of the brane universe through both the bounce and turnaround, leading to alternate expanding and contracting phases. This is the \textit{first} model where a single braneworld of positive tension can be made to recycle as discussed in details in the concluding section.
△ Less
Submitted 8 November, 2023; v1 submitted 3 November, 2023;
originally announced November 2023.
-
Gravastar in the framework of Loop Quantum Cosmology
Authors:
Shounak Ghosh,
Rikpratik Sengupta,
Mehedi Kalam
Abstract:
In this paper we attempt to construct a regular gravastar model using the UV corrected framework of Loop Quantum Cosmology. We find that a stable gravastar model can be constructed with a number of unique features: (i) no thin shell approximation needs to be invoked to obtain solutions in the shell which can be considered to be of a finite thickness, (ii) the central singularity of a self gravitat…
▽ More
In this paper we attempt to construct a regular gravastar model using the UV corrected framework of Loop Quantum Cosmology. We find that a stable gravastar model can be constructed with a number of unique features: (i) no thin shell approximation needs to be invoked to obtain solutions in the shell which can be considered to be of a finite thickness, (ii) the central singularity of a self gravitating object can be averted by a bounce mechanism, such that the interior density of the gravastar reaches a maximum critical density and cannot be raised further due to an operative repulsive force, (iii) the inherent isotropy of the effective fluid description does not prevent the formation of a stable gravastar and anisotropic pressures is not an essential requirement.
△ Less
Submitted 1 November, 2023;
originally announced November 2023.
-
Joint Depth Prediction and Semantic Segmentation with Multi-View SAM
Authors:
Mykhailo Shvets,
Dongxu Zhao,
Marc Niethammer,
Roni Sengupta,
Alexander C. Berg
Abstract:
Multi-task approaches to joint depth and segmentation prediction are well-studied for monocular images. Yet, predictions from a single-view are inherently limited, while multiple views are available in many robotics applications. On the other end of the spectrum, video-based and full 3D methods require numerous frames to perform reconstruction and segmentation. With this work we propose a Multi-Vi…
▽ More
Multi-task approaches to joint depth and segmentation prediction are well-studied for monocular images. Yet, predictions from a single-view are inherently limited, while multiple views are available in many robotics applications. On the other end of the spectrum, video-based and full 3D methods require numerous frames to perform reconstruction and segmentation. With this work we propose a Multi-View Stereo (MVS) technique for depth prediction that benefits from rich semantic features of the Segment Anything Model (SAM). This enhanced depth prediction, in turn, serves as a prompt to our Transformer-based semantic segmentation decoder. We report the mutual benefit that both tasks enjoy in our quantitative and qualitative studies on the ScanNet dataset. Our approach consistently outperforms single-task MVS and segmentation models, along with multi-task monocular methods.
△ Less
Submitted 31 October, 2023;
originally announced November 2023.
-
Tridiagonal matrix decomposition for Hamiltonian simulation on a quantum computer
Authors:
Boris Arseniev,
Dmitry Guskov,
Richik Sengupta,
Jacob Biamonte,
Igor Zacharov
Abstract:
The construction of quantum circuits to simulate Hamiltonian evolution is central to many quantum algorithms. State-of-the-art circuits are based on oracles whose implementation is often omitted, and the complexity of the algorithm is estimated by counting oracle queries. However, in practical applications, an oracle implementation contributes a large constant factor to the overall complexity of t…
▽ More
The construction of quantum circuits to simulate Hamiltonian evolution is central to many quantum algorithms. State-of-the-art circuits are based on oracles whose implementation is often omitted, and the complexity of the algorithm is estimated by counting oracle queries. However, in practical applications, an oracle implementation contributes a large constant factor to the overall complexity of the algorithm. The key finding of this work is the efficient procedure for representation of a tridiagonal matrix in the Pauli basis, which allows one to construct a Hamiltonian evolution circuit without the use of oracles. The procedure represents a general tridiagonal matrix $2^n \times 2^n$ by systematically determining all Pauli strings present in the decomposition, dividing them into commuting subsets. The efficiency is in the number of commuting subsets $O(n)$. The method is demonstrated using the one-dimensional wave equation, verifying numerically that the gate complexity as function of the number of qubits is lower than the oracle based approach for $n < 15$ and requires half the number of qubits. This method is applicable to other Hamiltonians based on the tridiagonal matrices.
△ Less
Submitted 21 May, 2024; v1 submitted 29 September, 2023;
originally announced October 2023.
-
Lorentzian wormhole in the framework of loop quantum cosmology
Authors:
Rikpratik Sengupta,
Shounak Ghosh,
Mehedi Kalam
Abstract:
In this paper, we construct a traversable static Lorentzian wormhole in the effective scenario of Loop Quantum Cosmology (LQC), where the field equations are modified due to the ultraviolet (UV) corrections introduced at large space-time curvatures. A stable wormhole can be constructed in the effective scenario without the violation of Null energy condition (NEC) by physical matter at the throat.…
▽ More
In this paper, we construct a traversable static Lorentzian wormhole in the effective scenario of Loop Quantum Cosmology (LQC), where the field equations are modified due to the ultraviolet (UV) corrections introduced at large space-time curvatures. A stable wormhole can be constructed in the effective scenario without the violation of Null energy condition (NEC) by physical matter at the throat. The NEC is effectively violated due to the corrections in the field equations from LQC, resolving the Weyl curvature singularity at the throat. However, the physical matter does violate the Strong energy condition (SEC), suggesting the interesting possibility that dark energy can be harnessed into a wormhole. A possible explanation for this is the presence of inherent pressure isotropy in the UV-corrected field equations (discussed and compared to braneworld wormholes in the discussion). No additional exotic ingredient (violating NEC) is required, avoiding quantum instabilities. The tidal forces at the throat do not diverge and also the throat is found to be stable. The wormhole features an attractive geometry. LQC can resolve both types of curvature singularities appearing at the black hole center and wormhole throat, without exotic matter.
△ Less
Submitted 21 September, 2023;
originally announced September 2023.
-
Tight Approximations for Graphical House Allocation
Authors:
Hadi Hosseini,
Andrew McGregor,
Rik Sengupta,
Rohit Vaish,
Vignesh Viswanathan
Abstract:
The Graphical House Allocation problem asks: how can $n$ houses (each with a fixed non-negative value) be assigned to the vertices of an undirected graph $G$, so as to minimize the "aggregate local envy", i.e., the sum of absolute differences along the edges of $G$? This problem generalizes the classical Minimum Linear Arrangement problem, as well as the well-known House Allocation Problem from Ec…
▽ More
The Graphical House Allocation problem asks: how can $n$ houses (each with a fixed non-negative value) be assigned to the vertices of an undirected graph $G$, so as to minimize the "aggregate local envy", i.e., the sum of absolute differences along the edges of $G$? This problem generalizes the classical Minimum Linear Arrangement problem, as well as the well-known House Allocation Problem from Economics, the latter of which has notable practical applications in organ exchanges. Recent work has studied the computational aspects of Graphical House Allocation and observed that the problem is NP-hard and inapproximable even on particularly simple classes of graphs, such as vertex disjoint unions of paths. However, the dependence of any approximations on the structural properties of the underlying graph had not been studied.
In this work, we give a complete characterization of the approximability of the Graphical House Allocation problem. We present algorithms to approximate the optimal envy on general graphs, trees, planar graphs, bounded-degree graphs, bounded-degree planar graphs, and bounded-degree trees. For each of these graph classes, we then prove matching lower bounds, showing that in each case, no significant improvement can be attained unless P = NP. We also present general approximation ratios as a function of structural parameters of the underlying graph, such as treewidth; these match the aforementioned tight upper bounds in general, and are significantly better approximations for many natural subclasses of graphs. Finally, we present constant factor approximation schemes for the special classes of complete binary trees and random graphs.
△ Less
Submitted 12 October, 2023; v1 submitted 23 July, 2023;
originally announced July 2023.
-
My3DGen: A Scalable Personalized 3D Generative Model
Authors:
Luchao Qi,
Jiaye Wu,
Annie N. Wang,
Shengze Wang,
Roni Sengupta
Abstract:
In recent years, generative 3D face models (e.g., EG3D) have been developed to tackle the problem of synthesizing photo-realistic faces. However, these models are often unable to capture facial features unique to each individual, highlighting the importance of personalization. Some prior works have shown promise in personalizing generative face models, but these studies primarily focus on 2D setti…
▽ More
In recent years, generative 3D face models (e.g., EG3D) have been developed to tackle the problem of synthesizing photo-realistic faces. However, these models are often unable to capture facial features unique to each individual, highlighting the importance of personalization. Some prior works have shown promise in personalizing generative face models, but these studies primarily focus on 2D settings. Also, these methods require both fine-tuning and storing a large number of parameters for each user, posing a hindrance to achieving scalable personalization. Another challenge of personalization is the limited number of training images available for each individual, which often leads to overfitting when using full fine-tuning methods. Our proposed approach, My3DGen, generates a personalized 3D prior of an individual using as few as 50 training images. My3DGen allows for novel view synthesis, semantic editing of a given face (e.g. adding a smile), and synthesizing novel appearances, all while preserving the original person's identity. We decouple the 3D facial features into global features and personalized features by freezing the pre-trained EG3D and training additional personalized weights through low-rank decomposition. As a result, My3DGen introduces only $\textbf{240K}$ personalized parameters per individual, leading to a $\textbf{127}\times$ reduction in trainable parameters compared to the $\textbf{30.6M}$ required for fine-tuning the entire parameter space. Despite this significant reduction in storage, our model preserves identity features without compromising the quality of downstream applications.
△ Less
Submitted 20 May, 2024; v1 submitted 11 July, 2023;
originally announced July 2023.
-
Traversable Lorentzian wormhole on the Shtanov-Sahni braneworld with matter obeying the energy conditions
Authors:
Rikpratik Sengupta,
Shounak Ghosh,
M. Kalam
Abstract:
In this paper we have explored the possibility of constructing a traversable wormhole on the Shtanov-Sahni braneworld with a timelike extra dimension. We find that the Weyl curvature singularity at the throat of the wormhole can be removed with physical matter satisfying the NEC $ρ+p \geq 0$, even in the absence of any effective $Λ$-term or any type of charge source on the brane. (The NEC is howev…
▽ More
In this paper we have explored the possibility of constructing a traversable wormhole on the Shtanov-Sahni braneworld with a timelike extra dimension. We find that the Weyl curvature singularity at the throat of the wormhole can be removed with physical matter satisfying the NEC $ρ+p \geq 0$, even in the absence of any effective $Λ$-term or any type of charge source on the brane. (The NEC is however violated by the effective matter description on the brane arising due to effects of higher dimensional gravity.) Besides satisfying NEC the matter constituting the wormhole also satisfies the Strong Energy Condition (SEC), $ρ+3p \geq 0$, leading to the interesting possibility that normal matter on the brane may be harnessed into a wormhole. Incidentally, these conditions also need to be satisfied to realize a non-singular bounce and cyclic cosmology on the brane\cite{Sahni4} where both past and future singularities can be averted. Thus, such a cyclic universe on the brane, constituted of normal matter can naturally contain wormholes. The wormhole shape function on the brane with a time-like extra dimension represents the tubular structure of the wormhole spreading out at large radial distances much better than in wormholes constructed in a braneworld with a spacelike extra dimension and have considerably lower mass resulting in minimization of the amount of matter required to construct a wormhole. Wormholes in the Shtanov-Sahni (SS) braneworld also have sufficiently low tidal forces, facilitating traversability. Additionally they are found to be stable and exhibit a repulsive geometry. We are left with the intriguing possibilty that both types of curvature singularity can be resolved with the SS model, which we discuss at the end of the concluding section.
△ Less
Submitted 31 July, 2023; v1 submitted 5 July, 2023;
originally announced July 2023.
-
Can extended Chaplygin gas source a Hubble tension resolved emergent universe ?
Authors:
Rikpratik Sengupta,
Prasenjit Paul,
B C Paul,
M Kalam
Abstract:
In this paper, we attempt to explore the possibility of a obtaining a viable emergent universe scenario supported by a type of fluid known as the extended Chaplygin gas, which extends a modification to the equation of state of the well known modified Chaplygin gas by considering additional higher order barotropic fluid terms. We consider quadratic modification only. Such a fluid is capable of expl…
▽ More
In this paper, we attempt to explore the possibility of a obtaining a viable emergent universe scenario supported by a type of fluid known as the extended Chaplygin gas, which extends a modification to the equation of state of the well known modified Chaplygin gas by considering additional higher order barotropic fluid terms. We consider quadratic modification only. Such a fluid is capable of explaining the present cosmic acceleration and is a possible dark energy candidate. We construct a theoretical model of the emergent universe assuming it is constituted from such a fluid. It interestingly turns out that the theoretical constraints we obtain on the extended Chaplygin gas parameters from our emergent universe model are well in agreement with the observational constraint on these parameters from BICEP2 data. Our model is found to replicate the late time behaviour really well and reproduces $Λ$-CDM like behaviour, as evident from the analysis of the statefinder parameters. Moreover, the Hubble parameter analysis shows that for theoretically constrained values of the ECG parameters, the Hubble tension can be resolved yielding higher values of the present Hubble parameter $H_0$ in all possible cases. Also, the value of $H(z)$ at a redshift $z=2.34$ fits better than $Λ-CDM$ with recent observations in some cases. This leads us to the realization that such a fluid is not only a probable candidate for dark energy, but also sources an emergent universe unlike modified Chaplygin gas and the initial singularity problem can be resolved in a flat universe within the standard relativistic context.
△ Less
Submitted 12 July, 2023; v1 submitted 5 July, 2023;
originally announced July 2023.
-
On Translation-Invariant Matrix Product States and advances in MPS representations of the $W$-state
Authors:
Petr Klimov,
Richik Sengupta,
Jacob Biamonte
Abstract:
This work is devoted to the study Translation-Invariant (TI) Matrix Product State (MPS) representations of quantum states with periodic boundary conditions (PBC). We pursue two directions: we introduce new methods for constructing TI MPS representations of a certain class of TI states and study their optimality in terms of their bond dimension. We pay particular attention to the $n$-party $W$-stat…
▽ More
This work is devoted to the study Translation-Invariant (TI) Matrix Product State (MPS) representations of quantum states with periodic boundary conditions (PBC). We pursue two directions: we introduce new methods for constructing TI MPS representations of a certain class of TI states and study their optimality in terms of their bond dimension. We pay particular attention to the $n$-party $W$-state and construct a TI MPS representation of bond dimension $\left \lfloor \dfrac{n}{2} \right \rfloor +1$ for it. We further study properties of this class and show that we can can always achieve a bond dimension of $n$ for TI MPS representation of states in this class. In the framework of studying optimality of TI MPS representations with PBC, we study the optimal bond dimension $d(ψ)$ for a given state $ψ$. In particular we introduce a deterministic algorithm for the search of $d(ψ)$ for an arbitary state. Using numerical methods, we verify the optimality of our previous construction for the $n$-party $W$-state for small $n$.
△ Less
Submitted 31 August, 2023; v1 submitted 28 June, 2023;
originally announced June 2023.
-
Duality between quantum channels and super-channels is basis-dependent
Authors:
Sohail,
Sahil,
Ritabrata Sengupta,
Ujjwal Sen
Abstract:
The complete positivity vs positivity correspondence in the Choi-Jamiołkowski-Kraus-Sudarshan quantum channel-state isomorphism depends on the choice of basis. Instead of the "canonical" basis, if we use, e.g., the Pauli spin matrices along with the identity as the basis for the space of bounded operators on the two-dimensional complex Hilbert space, this correspondence breaks down. A sufficient c…
▽ More
The complete positivity vs positivity correspondence in the Choi-Jamiołkowski-Kraus-Sudarshan quantum channel-state isomorphism depends on the choice of basis. Instead of the "canonical" basis, if we use, e.g., the Pauli spin matrices along with the identity as the basis for the space of bounded operators on the two-dimensional complex Hilbert space, this correspondence breaks down. A sufficient condition on the basis for validity of this correspondence is provided in the work of Paulsen and Shult~\cite{Paulsen}, which was later proven to be necessary by Kye~\cite{Kye}. A correspondence is also present between the space of super-maps and the tensor product of the spaces of the inputs and outputs of the same. In particular, a super-map is completely CP-preserving if and only if its Choi-type representation is completely positive (CP). This correspondence also depends on a specific choice of basis. In this work, we find the necessary and sufficient condition on a basis such that this correspondence holds true.
△ Less
Submitted 23 August, 2023; v1 submitted 28 June, 2023;
originally announced June 2023.
-
Light long-lived particles at the FCC-hh with the proposal for a dedicated forward detector FOREHUNT and a transverse detector DELIGHT
Authors:
Biplob Bhattacherjee,
Herbi K. Dreiner,
Nivedita Ghosh,
Shigeki Matsumoto,
Rhitaja Sengupta,
Prabhat Solanki
Abstract:
In this paper, we propose a dedicated forward detector, FOREHUNT (FORward Experiment for HUNdred TeV), for 100 TeV FCC-hh for the detection of light long-lived particles (LLP) coming from $B$-meson decay. We calculate the signal acceptance as a function of mass and proper decay length of the LLP for 100 TeV and interpret our result in terms of model parameters for models of dark Higgs scalar and h…
▽ More
In this paper, we propose a dedicated forward detector, FOREHUNT (FORward Experiment for HUNdred TeV), for 100 TeV FCC-hh for the detection of light long-lived particles (LLP) coming from $B$-meson decay. We calculate the signal acceptance as a function of mass and proper decay length of the LLP for 100 TeV and interpret our result in terms of model parameters for models of dark Higgs scalar and heavy neutral leptons. We also compare the sensitivity with proposed transverse detectors like MATHUSLA, CODEX-b for HL-LHC, and DELIGHT (Detector for long-lived particles at high energy of 100 TeV) for FCC-hh. Our analysis reveals that if the LLP has low decay length < 10 m, a forward detector like FOREHUNT is the best option to look for the decaying LLP, while DELIGHT is preferable for higher decay lengths.
△ Less
Submitted 20 June, 2023;
originally announced June 2023.
-
Time Fairness in Online Knapsack Problems
Authors:
Adam Lechowicz,
Rik Sengupta,
Bo Sun,
Shahin Kamali,
Mohammad Hajiesmaili
Abstract:
The online knapsack problem is a classic problem in the field of online algorithms. Its canonical version asks how to pack items of different values and weights arriving online into a capacity-limited knapsack so as to maximize the total value of the admitted items. Although optimal competitive algorithms are known for this problem, they may be fundamentally unfair, i.e., individual items may be t…
▽ More
The online knapsack problem is a classic problem in the field of online algorithms. Its canonical version asks how to pack items of different values and weights arriving online into a capacity-limited knapsack so as to maximize the total value of the admitted items. Although optimal competitive algorithms are known for this problem, they may be fundamentally unfair, i.e., individual items may be treated inequitably in different ways. We formalize a practically-relevant notion of time fairness which effectively models a trade off between static and dynamic pricing in a motivating application such as cloud resource allocation, and show that existing algorithms perform poorly under this metric. We propose a parameterized deterministic algorithm where the parameter precisely captures the Pareto-optimal trade-off between fairness (static pricing) and competitiveness (dynamic pricing). We show that randomization is theoretically powerful enough to be simultaneously competitive and fair; however, it does not work well in experiments. To further improve the trade-off between fairness and competitiveness, we develop a nearly-optimal learning-augmented algorithm which is fair, consistent, and robust (competitive), showing substantial performance improvements in numerical experiments.
△ Less
Submitted 17 April, 2024; v1 submitted 22 May, 2023;
originally announced May 2023.
-
Lorentzian wormholes in an emergent universe
Authors:
Rikpratik Sengupta,
Shounak Ghosh,
B C Paul,
Mehedi Kalam
Abstract:
A non-singular Emergent Universe (EU) scenario within the realm of standard Relativistic physics requires a generalization of the Equation of State (EoS) connecting the pressure and energy density. This generalized EoS is capable of describing a composition of exotic matter, dark energy and cosmological dust matter. Since the EU scenario is known to violate the Null Energy Condition, we investigat…
▽ More
A non-singular Emergent Universe (EU) scenario within the realm of standard Relativistic physics requires a generalization of the Equation of State (EoS) connecting the pressure and energy density. This generalized EoS is capable of describing a composition of exotic matter, dark energy and cosmological dust matter. Since the EU scenario is known to violate the Null Energy Condition, we investigate the possibility of presence of static, spherically symmetric and traversable Lorentzian wormholes in an EU. The obtained shape function is found to satisfy the criteria for wormhole formation, besides the violation of the NEC at the wormhole throat and ensuring traversability such that tidal forces are within desirable limits. Also, the wormhole is found to be stable through linear stability analysis. Most ${importantly}$, the numerical value of the emergent universe parameter $B$ as estimated by our wormhole model is in agreement with and lies within the range of values as constrained by observational data in a cosmological context. Also, the negative sign of the second EU parameter $A$ as obtained from our wormhole model is in agreement with the one required for describing an EU, which further indicates on the existence of such wormholes in an emergent universe ${without}$ accounting for any additional exotic matter field or any modification to the gravitational sector.
△ Less
Submitted 23 March, 2023;
originally announced March 2023.
-
Non-singular flat universes in braneworld and Loop Quantum Cosmology
Authors:
Rikpratik Sengupta,
B. C. Paul,
M. Kalam,
P. Paul,
A. Aich
Abstract:
In this paper we take matter source with non-linear Equation of state (EoS) that has produced non-singular Emergent cosmology for spatially flat universe in General Relativity and minimally coupled scalar field with two different potentials that produce an inflationary emergent universe for positive spatial curvature in the relativistic context. We study all these three cases both in the context o…
▽ More
In this paper we take matter source with non-linear Equation of state (EoS) that has produced non-singular Emergent cosmology for spatially flat universe in General Relativity and minimally coupled scalar field with two different potentials that produce an inflationary emergent universe for positive spatial curvature in the relativistic context. We study all these three cases both in the context of Randall-Sundrum braneworld and effective Loop quantum cosmology (LQC) for zero spatial curvature that is observationally favoured and in the absence of any effective cosmological constant term. We solve the modified Friedmann equation in each case to obtain the time evolution of the scale factor and use it to check whether the initial singularity can be averted. In almost all the cases we find the initial singularity is absent. We study the nature of the slow roll inflation in the cases where we obtain inflationary emergent universes. The inflationary scenario is found to be improved than in a standard relatvistic context and we compare the improved scenario for both the braneworld and LQC models. Interestingly, we also obtain bouncing and cyclic universes from our analysis in some cases. We find that the initial singularity can be averted for a spatially flat universe with specific choice of matter EoS or scalar field potential, which do not violate the Null Energy condition in most cases, taking into account effective high energy (curvature) corrections with or without extra dimensions.
△ Less
Submitted 17 February, 2023;
originally announced February 2023.
-
Multi-Structural Games and Beyond
Authors:
Marco Carmosino,
Ronald Fagin,
Neil Immerman,
Phokion Kolaitis,
Jonathan Lenchner,
Rik Sengupta
Abstract:
Multi-structural (MS) games are combinatorial games that capture the number of quantifiers of first-order sentences. On the face of their definition, MS games differ from Ehrenfeucht-Fraisse (EF) games in two ways: first, MS games are played on two sets of structures, while EF games are played on a pair of structures; second, in MS games, Duplicator can make any number of copies of structures. In…
▽ More
Multi-structural (MS) games are combinatorial games that capture the number of quantifiers of first-order sentences. On the face of their definition, MS games differ from Ehrenfeucht-Fraisse (EF) games in two ways: first, MS games are played on two sets of structures, while EF games are played on a pair of structures; second, in MS games, Duplicator can make any number of copies of structures. In the first part of this paper, we perform a finer analysis of MS games and develop a closer comparison of MS games with EF games. In particular, we point out that the use of sets of structures is of the essence and that when MS games are played on pairs of structures, they capture Boolean combinations of first-order sentences with a fixed number of quantifiers. After this, we focus on another important difference between MS games and EF games, namely, the necessity for Spoiler to play on top of a previous move in order to win some MS games. Via an analysis of the types realized during MS games, we delineate the expressive power of the variant of MS games in which Spoiler never plays on top of a previous move. In the second part we focus on simultaneously capturing number of quantifiers and number of variables in first-order logic. We show that natural variants of the MS game do *not* achieve this. We then introduce a new game, the quantifier-variable tree game, and show that it simultaneously captures the number of quantifiers and number of variables. We conclude by generalizing this game to a family of games, the *syntactic games*, that simultaneously capture reasonable syntactic measures and the number of variables.
△ Less
Submitted 23 May, 2023; v1 submitted 30 January, 2023;
originally announced January 2023.
-
Simulating the Integration of Urban Air Mobility into Existing Transportation Systems: A Survey
Authors:
Xuan Jiang,
Yuhan Tang,
Junzhe Cao,
Vishwanath Bulusu,
Hao,
Yang,
Xin Peng,
Yunhan Zheng,
Jinhua Zhao,
Raja Sengupta
Abstract:
Urban air mobility (UAM) has the potential to revolutionize transportation in metropolitan areas, providing a new mode of transportation that could alleviate congestion and improve accessibility. However, the integration of UAM into existing transportation systems is a complex task that requires a thorough understanding of its impact on traffic flow and capacity. In this paper, we conduct a survey…
▽ More
Urban air mobility (UAM) has the potential to revolutionize transportation in metropolitan areas, providing a new mode of transportation that could alleviate congestion and improve accessibility. However, the integration of UAM into existing transportation systems is a complex task that requires a thorough understanding of its impact on traffic flow and capacity. In this paper, we conduct a survey to investigate the current state of research on UAM in metropolitan-scale traffic using simulation techniques. We identify key challenges and opportunities for the integration of UAM into urban transportation systems, including impacts on existing traffic patterns and congestion; safety analysis and risk assessment; potential economic and environmental benefits; and the development of shared infrastructure and routes for UAM and ground-based transportation. We also discuss the potential benefits of UAM, such as reduced travel times and improved accessibility for underserved areas. Our survey provides a comprehensive overview of the current state of research on UAM in metropolitan-scale traffic using simulation and highlights key areas for future research and development.
△ Less
Submitted 19 June, 2024; v1 submitted 25 January, 2023;
originally announced January 2023.
-
Graphical House Allocation
Authors:
Hadi Hosseini,
Justin Payan,
Rik Sengupta,
Rohit Vaish,
Vignesh Viswanathan
Abstract:
The classical house allocation problem involves assigning $n$ houses (or items) to $n$ agents according to their preferences. A key criterion in such problems is satisfying some fairness constraints such as envy-freeness. We consider a generalization of this problem wherein the agents are placed along the vertices of a graph (corresponding to a social network), and each agent can only experience e…
▽ More
The classical house allocation problem involves assigning $n$ houses (or items) to $n$ agents according to their preferences. A key criterion in such problems is satisfying some fairness constraints such as envy-freeness. We consider a generalization of this problem wherein the agents are placed along the vertices of a graph (corresponding to a social network), and each agent can only experience envy towards its neighbors. Our goal is to minimize the aggregate envy among the agents as a natural fairness objective, i.e., the sum of all pairwise envy values over all edges in a social graph.
When agents have identical and evenly-spaced valuations, our problem reduces to the well-studied problem of linear arrangements. For identical valuations with possibly uneven spacing, we show a number of deep and surprising ways in which our setting is a departure from this classical problem. More broadly, we contribute several structural and computational results for various classes of graphs, including NP-hardness results for disjoint unions of paths, cycles, stars, or cliques, and fixed-parameter tractable (and, in some cases, polynomial-time) algorithms for paths, cycles, stars, cliques, and their disjoint unions. Additionally, a conceptual contribution of our work is the formulation of a structural property for disconnected graphs that we call separability which results in efficient parameterized algorithms for finding optimal allocations.
△ Less
Submitted 18 September, 2023; v1 submitted 3 January, 2023;
originally announced January 2023.
-
Boosted top tagging and its interpretation using Shapley values
Authors:
Biplob Bhattacherjee,
Camellia Bose,
Amit Chakraborty,
Rhitaja Sengupta
Abstract:
Top tagging has emerged to be a fast-evolving subject due to the top quark's significant role in probing physics beyond the standard model. For the reconstruction of top jets, machine learning models have shown a significant improvement in the tagging and classification performance compared to the previous methods. In this work, we build top taggers using $N$-Subjettiness ratios and several observ…
▽ More
Top tagging has emerged to be a fast-evolving subject due to the top quark's significant role in probing physics beyond the standard model. For the reconstruction of top jets, machine learning models have shown a significant improvement in the tagging and classification performance compared to the previous methods. In this work, we build top taggers using $N$-Subjettiness ratios and several observables of the Energy Correlation functions as input features to train the eXtreme Gradient BOOSTed decision tree (XGBOOST). It is observed that the performance of the taggers depends on how well the top jets are matched to their truth-level partons. Furthermore, we use SHapley Additive exPlanation (SHAP) framework to calculate the feature importance of the trained models. It helps us to estimate how much each feature of the data contributed to the model's prediction and what regions are of more importance for each input variable. Finally, we combine all the tagger variables to form a hybrid tagger and interpret the results using the Shapley values.
△ Less
Submitted 22 December, 2022;
originally announced December 2022.
-
Explicit Reconstruction of Polarization Ellipse using Rotating Polarizer
Authors:
Ramonika Sengupta,
Brijesh Tripathi,
Asha Adhiya
Abstract:
This paper describes a method for the explicit reconstruction and visualization of various polarization ellipses from the intensities measured after a rotating polarizer. The state of polarization of a light beam is represented by the variation of the electric field amplitude vector with polar angle in the laboratory coordinate system defined by the experimental set-up. The intensity of the light…
▽ More
This paper describes a method for the explicit reconstruction and visualization of various polarization ellipses from the intensities measured after a rotating polarizer. The state of polarization of a light beam is represented by the variation of the electric field amplitude vector with polar angle in the laboratory coordinate system defined by the experimental set-up. The intensity of the light beam measured after passing through a rotating polarizer gives the estimate of the wave electric field component parallel to the polarizer pass axis averaged over a time period. The formulae for the estimation of orthogonal field component and polar angle, in the polarizer coordinate system have been derived. Both the orthogonally polarized components and the polar angle are functions of ellipse parameters that have been deduced from the intensity measurements. Finally, the resultant electric field and the polar angle are mapped to the laboratory coordinate system and compared with the representation of the polarization ellipse obtained from the Stokes vectors.
△ Less
Submitted 28 November, 2022;
originally announced November 2022.
-
On Symmetric Pseudo-Boolean Functions: Factorization, Kernels and Applications
Authors:
Richik Sengupta,
Jacob Biamonte
Abstract:
A symmetric pseudo-Boolean function is a map from Boolean tuples to real numbers which is invariant under input variable interchange. We prove that any such function can be equivalently expressed as a power series or factorized. The kernel of a pseudo-Boolean function is the set of all inputs that cause the function to vanish identically. Any $n$-variable symmetric pseudo-Boolean function…
▽ More
A symmetric pseudo-Boolean function is a map from Boolean tuples to real numbers which is invariant under input variable interchange. We prove that any such function can be equivalently expressed as a power series or factorized. The kernel of a pseudo-Boolean function is the set of all inputs that cause the function to vanish identically. Any $n$-variable symmetric pseudo-Boolean function $f(x_1, x_2, \dots, x_n)$ has a kernel corresponding to at least one $n$-affine hyperplane, each hyperplane is given by a constraint $\sum_{l=1}^n x_l = λ$ for $λ\in \mathbb{C}$ constant. We use these results to analyze symmetric pseudo-Boolean functions appearing in the literature of spin glass energy functions (Ising models), quantum information and tensor networks.
△ Less
Submitted 22 August, 2023; v1 submitted 29 September, 2022;
originally announced September 2022.
-
Laboratory Demonstration of Optimal Identification and Control of Tip-Tilt Systems
Authors:
Aditya R. Sengupta,
Benjamin L. Gerard,
Daren Dillon,
Maaike van Kooten,
Donald Gavel,
Rebecca Jensen-Clem
Abstract:
We present the results of testing optimal linear-quadratic-Gaussian (LQG) control for tip and tilt Zernike wavefront modes on the SEAL (Santa cruz Extreme AO Lab) testbed. The controller employs a physics model conditioned by the expected tip/tilt power spectrum and vibration peaks. The model builds on similar implementations, such as that of the Gemini Planet Imager, by considering the effects of…
▽ More
We present the results of testing optimal linear-quadratic-Gaussian (LQG) control for tip and tilt Zernike wavefront modes on the SEAL (Santa cruz Extreme AO Lab) testbed. The controller employs a physics model conditioned by the expected tip/tilt power spectrum and vibration peaks. The model builds on similar implementations, such as that of the Gemini Planet Imager, by considering the effects of loop delays and the response of the control hardware. Tests are being performed on SEAL using the Fast Atmospheric Self-coherent camera Technique (FAST), and being executed using a custom Python library to align optics, generate interaction matrices, and perform real-time control by combining controllers with simulated disturbance signals to be corrected. We have carried out open-loop data collection, characterizing the natural bench dynamics, and have shown a reduction in RMS wavefront error due to integrator control and LQG control.
△ Less
Submitted 28 September, 2022;
originally announced September 2022.
-
Tracking the State and Behavior of People in Response to COVID-1 19 Through the Fusion of Multiple Longitudinal Data Streams
Authors:
Mohamed Amine Bouzaghrane,
Hassan Obeid,
Drake Hayes,
Minnie Chen,
Meiqing Li,
Madeleine Parker,
Daniel A. Rodríguez,
Daniel G. Chatman,
Karen Trapenberg Frick,
Raja Sengupta,
Joan Walker
Abstract:
The changing nature of the COVID-19 pandemic has highlighted the importance of comprehensively considering its impacts and considering changes over time. Most COVID-19 related research addresses narrowly focused research questions and is therefore limited in addressing the complexities created by the interrelated impacts of the pandemic. Such research generally makes use of only one of either 1) a…
▽ More
The changing nature of the COVID-19 pandemic has highlighted the importance of comprehensively considering its impacts and considering changes over time. Most COVID-19 related research addresses narrowly focused research questions and is therefore limited in addressing the complexities created by the interrelated impacts of the pandemic. Such research generally makes use of only one of either 1) actively collected data such as surveys, or 2) passively collected data. While a few studies make use of both actively and passively collected data, only one other study collects it longitudinally. Here we describe a rich panel dataset of active and passive data from U.S. residents collected between August 2020 and July 2021. Active data includes a repeated survey measuring travel behavior, compliance with COVID-19 mandates, physical health, economic well-being, vaccination status, and other factors. Passively collected data consists of all locations visited by study participants, taken from smartphone GPS data. We also closely tracked COVID-19 policies across counties of residence throughout the study period. Such a dataset allows important research questions to be answered; for example, to determine the factors underlying the heterogeneous behavioral responses to COVID-19 restrictions imposed by local governments. Better information about such responses is critical to our ability to understand the societal and economic impacts of this and future pandemics. The development of this data infrastructure can also help researchers explore new frontiers in behavioral science. The article explains how this approach fills gaps in COVID-19 related data collection; describes the study design and data collection procedures; presents key demographic characteristics of study participants; and shows how fusing different data streams helps uncover behavioral insights.
△ Less
Submitted 1 October, 2022; v1 submitted 23 September, 2022;
originally announced September 2022.
-
Weyl transformation: a dynamical degree of freedom in the light of Dirac's Large Number Hypothesis
Authors:
Prasenjit Paul,
Rikpratik Sengupta,
Saibal Ray
Abstract:
In Einstein's Field Equation(EFE) the geometry of the space-time is connected with the matter distribution. The geometry or the gravitational sector deals with classical macroscopic objects involving gravitational units while the matter sector can be better described by quantum theory involving atomic units. It has been argued by Bisabr that there exists an epoch-dependent conversion factor betwee…
▽ More
In Einstein's Field Equation(EFE) the geometry of the space-time is connected with the matter distribution. The geometry or the gravitational sector deals with classical macroscopic objects involving gravitational units while the matter sector can be better described by quantum theory involving atomic units. It has been argued by Bisabr that there exists an epoch-dependent conversion factor between these two unit systems present in two different conformal frames,i.e. the conformal factor is epoch dependent. We argue that the conformal transformation is a dynamical degree of freedom describing it's possible relevance in inflation in context to the graceful exit problem, dynamics of the cosmological constant Λ and justify the argument in the light of consequences of Dirac's Large Number hypothesis(LNH).
△ Less
Submitted 31 August, 2022;
originally announced September 2022.
-
Is the light neutralino thermal dark matter in the pMSSM ruled out?
Authors:
Rahool Kumar Barman,
Geneviève Bélanger,
Biplob Bhattacherjee,
Rohini M. Godbole,
Rhitaja Sengupta
Abstract:
We explore the parameter space of the phenomenological Minimal Supersymmetric Standard Model (pMSSM) with a light neutralino thermal dark matter ($m_{\tildeχ_1^0} \leq m_h/2$) that is consistent with current collider and astrophysical constraints. We consider both positive and negative values of the higgsino mass parameter ($μ$). Our investigation shows that the recent experimental results from th…
▽ More
We explore the parameter space of the phenomenological Minimal Supersymmetric Standard Model (pMSSM) with a light neutralino thermal dark matter ($m_{\tildeχ_1^0} \leq m_h/2$) that is consistent with current collider and astrophysical constraints. We consider both positive and negative values of the higgsino mass parameter ($μ$). Our investigation shows that the recent experimental results from the LHC as well as from direct detection searches for dark matter by the LUX-ZEPLIN (LZ) collaboration rule out the $Z$-funnel region for the $μ>0$ scenario. The same results severely restrict the $h$-funnel region for positive $μ$, however, the allowed points can be probed easily with few more days of data from the LZ experiment. In the $μ<0$ scenario, we find that very light higgsinos in both the $Z$ and $h$ funnels might survive the present constraints from the electroweakino searches at the LHC, and dedicated efforts from experimental collaborations are necessary to make conclusive statements about their present status.
△ Less
Submitted 19 July, 2023; v1 submitted 13 July, 2022;
originally announced July 2022.
-
Tensor networks in machine learning
Authors:
Richik Sengupta,
Soumik Adhikary,
Ivan Oseledets,
Jacob Biamonte
Abstract:
A tensor network is a type of decomposition used to express and approximate large arrays of data. A given data-set, quantum state or higher dimensional multi-linear map is factored and approximated by a composition of smaller multi-linear maps. This is reminiscent to how a Boolean function might be decomposed into a gate array: this represents a special case of tensor decomposition, in which the t…
▽ More
A tensor network is a type of decomposition used to express and approximate large arrays of data. A given data-set, quantum state or higher dimensional multi-linear map is factored and approximated by a composition of smaller multi-linear maps. This is reminiscent to how a Boolean function might be decomposed into a gate array: this represents a special case of tensor decomposition, in which the tensor entries are replaced by 0, 1 and the factorisation becomes exact. The collection of associated techniques are called, tensor network methods: the subject developed independently in several distinct fields of study, which have more recently become interrelated through the language of tensor networks. The tantamount questions in the field relate to expressability of tensor networks and the reduction of computational overheads. A merger of tensor networks with machine learning is natural. On the one hand, machine learning can aid in determining a factorization of a tensor network approximating a data set. On the other hand, a given tensor network structure can be viewed as a machine learning model. Herein the tensor network parameters are adjusted to learn or classify a data-set. In this survey we recover the basics of tensor networks and explain the ongoing effort to develop the theory of tensor networks in machine learning.
△ Less
Submitted 6 July, 2022;
originally announced July 2022.
-
Ion native variational ansatz for quantum approximate optimization
Authors:
Daniil Rabinovich,
Soumik Adhikary,
Ernesto Campos,
Vishwanathan Akshay,
Evgeny Anikin,
Richik Sengupta,
Olga Lakhmanskaya,
Kiril Lakhmanskiy,
Jacob Biamonte
Abstract:
Variational quantum algorithms involve training parameterized quantum circuits using a classical co-processor. An important variational algorithm, designed for combinatorial optimization, is the quantum approximate optimization algorithm. Realization of this algorithm on any modern quantum processor requires either embedding a problem instance into a Hamiltonian or emulating the corresponding prop…
▽ More
Variational quantum algorithms involve training parameterized quantum circuits using a classical co-processor. An important variational algorithm, designed for combinatorial optimization, is the quantum approximate optimization algorithm. Realization of this algorithm on any modern quantum processor requires either embedding a problem instance into a Hamiltonian or emulating the corresponding propagator by a gate sequence. For a vast range of problem instances this is impossible due to current circuit depth and hardware limitations. Hence we adapt the variational approach -- using ion native Hamiltonians -- to create ansatze families that can prepare the ground states of more general problem Hamiltonians. We analytically determine symmetry protected classes that make certain problem instances inaccessible unless this symmetry is broken. We exhaustively search over six qubits and consider upto twenty circuit layers, demonstrating that symmetry can be broken to solve all problem instances of the Sherrington-Kirkpatrick Hamiltonian. Going further, we numerically demonstrate training convergence and level-wise improvement for up to twenty qubits. Specifically these findings widen the class problem instances which might be solved by ion based quantum processors. Generally these results serve as a test-bed for quantum approximate optimization approaches based on system native Hamiltonians and symmetry protection.
△ Less
Submitted 23 June, 2022;
originally announced June 2022.
-
Lorentzian wormholes supported by tachyon matter
Authors:
Rikpratik Sengupta,
Shounak Ghosh,
Mehedi Kalam
Abstract:
Wormholes with Ellis geometry have been successfully constructed using tachyon matter \cite{Das}. However, for such a wormhole, it is obtained that the redshift function is necessarily a constant, and also the wormhole is plagued with an imaginary tachyon potential and a constant field if the solutions are obtained in the absence of a cosmological constant term. So, a physically plausible wormhole…
▽ More
Wormholes with Ellis geometry have been successfully constructed using tachyon matter \cite{Das}. However, for such a wormhole, it is obtained that the redshift function is necessarily a constant, and also the wormhole is plagued with an imaginary tachyon potential and a constant field if the solutions are obtained in the absence of a cosmological constant term. So, a physically plausible wormhole solution is possible only in the presence of a $Λ$ term. In this paper, we try to construct a wormhole from tachyon matter with three $other$ geometries \textit{different} from the Ellis geometry and see whether it is possible to construct them successfully, besides checking whether the restrictions of the Ellis wormhole can be overcome with these geometries. Among others, we obtain one very interesting result that for all three of these geometries \textit{different} from the Ellis, the $Λ$ term is no longer an essential ingredient in constructing physically plausible traversable wormholes and the tachyon matter, capable of providing explanations for the "\textbf{dark sector}" of the universe,is itself sufficient for this purpose.
△ Less
Submitted 12 May, 2022;
originally announced May 2022.
-
Conditions for local transformations between sets of quantum states
Authors:
Somshubhro Bandyopadhyay,
Saronath Halder,
Ritabrata Sengupta
Abstract:
We study the problem of transforming a set of pure bipartite states into another using deterministic LOCC (local operations and classical communication). Necessary conditions for the existence of such a transformation are obtained using LOCC constraints on state transformation, entanglement, and distinguishability. These conditions are shown to be independent but not sufficient. We discuss their s…
▽ More
We study the problem of transforming a set of pure bipartite states into another using deterministic LOCC (local operations and classical communication). Necessary conditions for the existence of such a transformation are obtained using LOCC constraints on state transformation, entanglement, and distinguishability. These conditions are shown to be independent but not sufficient. We discuss their satisfiability and classify all possible input-output pairs of sets accordingly. We also prove that strict inclusions hold between LOCC, separable, and positive partial transpose operations for set transformation problems.
△ Less
Submitted 24 June, 2022; v1 submitted 19 April, 2022;
originally announced April 2022.
-
Gravastar under the framework of braneworld gravity II: effect of the Kuchowicz metric function
Authors:
Saibal Ray,
Shounak Ghosh,
Rikpratik Sengupta
Abstract:
In recent years, a class of compact objects called gravastars have drawn immense interest as regular solutions to end state stellar collapse. Since the energy density involved in collapse process is expected to be high, it is a natural choice to study such compact objects in context of modified gravity theories which reduce to General Relativity (GR) in the low energy regime. We have already frame…
▽ More
In recent years, a class of compact objects called gravastars have drawn immense interest as regular solutions to end state stellar collapse. Since the energy density involved in collapse process is expected to be high, it is a natural choice to study such compact objects in context of modified gravity theories which reduce to General Relativity (GR) in the low energy regime. We have already framed a model of gravastar in such a modified gravity framework involving extra dimensional Randall-Sundrum (RS) single brane gravity~[Phys. Rev. D \textbf{102}, 024037 (2020)] \cite{Sengupta1}. As a sequel in the present paper we substantially improve our previous model by choosing the Kuchowicz function as one of the metric potentials, which leads to many new interesting results and physical features from our analysis as discussed in this paper. Also, we provide essential additional stability checks on our gravastar model to investigate the possibility of any instability creeping in due to the higher dimensional framework. Our present improved gravastar model is found to clear all the stability checks successfully. Very interestingly, the static spherically symmetric matter distributions are found to accommodate both classes of solutions obeying and violating the modified energy conditions on the RS brane as we find in this work. We can conclude from our analysis that the Kuchowicz metric potential is very effective for describing regular solutions to compact objects at substantially high energies on the 3-brane.
△ Less
Submitted 19 March, 2022;
originally announced March 2022.
-
Relaxations of Envy-Freeness Over Graphs
Authors:
Justin Payan,
Rik Sengupta,
Vignesh Viswanathan
Abstract:
When allocating a set of indivisible items among agents, the ideal condition of envy-freeness cannot always be achieved. Envy-freeness up to any good (EFX), and envy-freeness with $k$ hidden items (HEF-$k$) are two very compelling relaxations of envy-freeness, which remain elusive in many settings. We study a natural relaxation of these two fairness constraints, where we place the agents on the ve…
▽ More
When allocating a set of indivisible items among agents, the ideal condition of envy-freeness cannot always be achieved. Envy-freeness up to any good (EFX), and envy-freeness with $k$ hidden items (HEF-$k$) are two very compelling relaxations of envy-freeness, which remain elusive in many settings. We study a natural relaxation of these two fairness constraints, where we place the agents on the vertices of an undirected graph, and only require that our allocations satisfy the EFX (resp. HEF) constraint on the edges of the graph. We refer to these allocations as graph-EFX (resp. graph-HEF) or simply $G$-EFX (resp. $G$-HEF) allocations. We show that for any graph $G$, there always exists a $G$-HEF-$k$ allocation of goods, where $k$ is the size of a minimum vertex cover of $G$, and that this is essentially tight. We show that $G$-EFX allocations of goods exist for three different classes of graphs -- two of them generalizing the star $K_{1, n-1}$ and the third generalizing the three-edge path $P_4$. Many of these results extend to allocations of chores as well. Overall, we show several natural settings in which the graph structure helps obtain strong fairness guarantees. Finally, we evaluate an algorithm using problem instances from Spliddit to show that $G$-EFX allocations appear to exist for paths $P_n$, pointing the way towards showing EFX for even broader families of graphs.
△ Less
Submitted 3 January, 2023; v1 submitted 16 February, 2022;
originally announced February 2022.