arXiv subjects

Hong Shen

Publications and source records attributed to Hong Shen.

At least 109 records · Page 6Linked to original sources

arXiv2023

Nonparametric model for the equations of state of neutron star from deep neural network

It is of great interest to understand the equation of state (EOS) of the neutron star (NS), whose core includes highly dense matter. However, there are large uncertainties in the theoretical predictions for the EOS of NS. It is useful to develop a new framework, which is flexible enough to consider the systematic error in theoretical predictions and to use them as a best guess at the same time. We employ a deep neural network to perform a non-parametric fit of the EOS of NS using currently available data. In this framework, the Gaussian process is applied to represent the EOSs and the training set data required to close physical solutions. Our model is constructed under the assumption that the true EOS of NS is a perturbation of the relativistic mean-field model prediction. We fit the EOSs of NS using two different example datasets, which can satisfy the latest constraints from the massive neutron stars, NICER, and the gravitational wave of the binary neutron stars. Given our assumptions, we find that a maximum neutron star mass is $2.38^{+0.15}_{-0.13} M_\odot$ or $2.41^{+0.15}_{-0.14}$ at $95\%$ confidence level from two different example datasets. It implies that the $1.4 M_\odot$ radius is $12.31^{+0.29}_{-0.31}$ km or $12.30^{+0.35}_{-0.37}$ km. These results are consistent with results from previous studies using similar priors. It has demonstrated the recovery of the EOS of NS using a nonparametric model.

nucl-th↗

arXiv2023

Full-Duplex Communication for ISAC: Joint Beamforming and Power Optimization

Beamforming design has been widely investigated for integrated sensing and communication (ISAC) systems with full-duplex (FD) sensing and half-duplex (HD) communication. To achieve higher spectral efficiency, in this paper, we extend existing ISAC beamforming design by considering the FD capability for both radar and communication. Specifically, we consider an ISAC system, where the BS performs target detection and communicates with multiple downlink users and uplink users reusing the same time and frequency resources. We jointly optimize the downlink dual-functional transmit signal and the uplink receive beamformers at the BS and the transmit power at the uplink users. The problems are formulated under two criteria: power consumption minimization and sum rate maximization. The downlink and uplink transmissions are tightly coupled due to both the desired target echo and the undesired interference received at the BS, making the problems challenging. To handle these issues in both cases, we first determine the optimal receive beamformers, which are derived in closed forms with respect to the BS transmit beamforming and the user transmit power, for radar target detection and uplink communications, respectively. Subsequently, we invoke these results to obtain equivalent optimization problems and propose efficient iterative algorithms to solve them by using the techniques of rank relaxation and successive convex approximation (SCA), where the adopted relaxation is proven to be tight. In addition, we consider a special case under the power minimization criterion and propose an alternative low complexity design. Numerical results demonstrate that the optimized FD communication-based ISAC brings tremendous improvements in terms of both power efficiency and spectral efficiency compared to the conventional ISAC with HD communication.

cs.IT↗

arXiv2023

Participation and Division of Labor in User-Driven Algorithm Audits: How Do Everyday Users Work together to Surface Algorithmic Harms?

Recent years have witnessed an interesting phenomenon in which users come together to interrogate potentially harmful algorithmic behaviors they encounter in their everyday lives. Researchers have started to develop theoretical and empirical understandings of these user driven audits, with a hope to harness the power of users in detecting harmful machine behaviors. However, little is known about user participation and their division of labor in these audits, which are essential to support these collective efforts in the future. Through collecting and analyzing 17,984 tweets from four recent cases of user driven audits, we shed light on patterns of user participation and engagement, especially with the top contributors in each case. We also identified the various roles user generated content played in these audits, including hypothesizing, data collection, amplification, contextualization, and escalation. We discuss implications for designing tools to support user driven audits and users who labor to raise awareness of algorithm bias.

cs.HC↗

arXiv2023

Understanding Frontline Workers' and Unhoused Individuals' Perspectives on AI Used in Homeless Services

Recent years have seen growing adoption of AI-based decision-support systems (ADS) in homeless services, yet we know little about stakeholder desires and concerns surrounding their use. In this work, we aim to understand impacted stakeholders' perspectives on a deployed ADS that prioritizes scarce housing resources. We employed AI lifecycle comicboarding, an adapted version of the comicboarding method, to elicit stakeholder feedback and design ideas across various components of an AI system's design. We elicited feedback from county workers who operate the ADS daily, service providers whose work is directly impacted by the ADS, and unhoused individuals in the region. Our participants shared concerns and design suggestions around the AI system's overall objective, specific model design choices, dataset selection, and use in deployment. Our findings demonstrate that stakeholders, even without AI knowledge, can provide specific and critical feedback on an AI system's design and deployment, if empowered to do so.

cs.HC↗

arXiv2023

Understanding Practices, Challenges, and Opportunities for User-Engaged Algorithm Auditing in Industry Practice

Recent years have seen growing interest among both researchers and practitioners in user-engaged approaches to algorithm auditing, which directly engage users in detecting problematic behaviors in algorithmic systems. However, we know little about industry practitioners' current practices and challenges around user-engaged auditing, nor what opportunities exist for them to better leverage such approaches in practice. To investigate, we conducted a series of interviews and iterative co-design activities with practitioners who employ user-engaged auditing approaches in their work. Our findings reveal several challenges practitioners face in appropriately recruiting and incentivizing user auditors, scaffolding user audits, and deriving actionable insights from user-engaged audit reports. Furthermore, practitioners shared organizational obstacles to user-engaged auditing, surfacing a complex relationship between practitioners and user auditors. Based on these findings, we discuss opportunities for future HCI research to help realize the potential (and the mitigate risks) of user-engaged auditing in industry practice.

cs.HC↗

arXiv2023

Integrated sensing and full-duplex communication: Joint transceiver beamforming and power allocation

Beamforming design has been widely investigated for integrated sensing and communication (ISAC) systems with full-duplex (FD) sensing and half-duplex (HD) communication. To achieve higher spectral efficiency, in this paper, we extend existing ISAC beamforming design by considering the FD capability for both radar and communication. Specifically, we consider an ISAC system, where the base station (BS) performs target detection and communicates with multiple downlink users and uplink users reusing the same time and frequency resources. We jointly optimize the downlink dual-functional transmit signal and the uplink receive beamformers at the BS and the transmit power at the uplink users. The problem is formulated to minimize the total transmit power of the system while guaranteeing the communication and sensing requirements. The downlink and uplink transmissions are tightly coupled, making the joint optimization challenging. To handle this issue, we first determine the receive beamformers in closed forms with respect to the BS transmit beamforming and the user transmit power and then suggest an iterative solution to the remaining problem. We demonstrate via numerical results that the optimized FD communication-based ISAC leads to power efficiency improvement compared to conventional ISAC with HD communication.

cs.IT↗

arXiv2023

Value Cards: An Educational Toolkit for Teaching Social Impacts of Machine Learning through Deliberation

Recently, there have been increasing calls for computer science curricula to complement existing technical training with topics related to Fairness, Accountability, Transparency, and Ethics. In this paper, we present Value Card, an educational toolkit to inform students and practitioners of the social impacts of different machine learning models via deliberation. This paper presents an early use of our approach in a college-level computer science course. Through an in-class activity, we report empirical data for the initial effectiveness of our approach. Our results suggest that the use of the Value Cards toolkit can improve students' understanding of both the technical definitions and trade-offs of performance metrics and apply them in real-world contexts, help them recognize the significance of considering diverse social values in the development of deployment of algorithmic systems, and enable them to communicate, negotiate and synthesize the perspectives of diverse stakeholders. Our study also demonstrates a number of caveats we need to consider when using the different variants of the Value Cards toolkit. Finally, we discuss the challenges as well as future applications of our approach.

cs.CY↗

arXiv2023

Radio Frequency Fingerprints Extraction for LTE-V2X: A Channel Estimation Based Methodology

The vehicular-to-everything (V2X) technology has recently drawn a number of attentions from both academic and industrial areas. However, the openness of the wireless communication system makes it more vulnerable to identity impersonation and information tampering. How to employ the powerful radio frequency fingerprint (RFF) identification technology in V2X systems turns out to be a vital and also challenging task. In this paper, we propose a novel RFF extraction method for Long Term Evolution-V2X (LTE-V2X) systems. In order to conquer the difficulty of extracting transmitter RFF in the presence of wireless channel and receiver noise, we first estimate the wireless channel which excludes the RFF. Then, we remove the impact of the wireless channel based on the channel estimate and obtain initial RFF features. Finally, we conduct RFF denoising to enhance the quality of the initial RFF. Simulation and experiment results both demonstrate that our proposed RFF extraction scheme achieves a high identification accuracy. Furthermore, the performance is also robust to the vehicle speed.

eess.SP↗

arXiv2022

Resolving the spurious-state problem in the Dirac equation with finite difference method

To solve the Dirac equation with the finite difference method, one has to face up to the spurious-state problem due to the fermion doubling problem when using the conventional central difference formula to calculate the first-order derivative on the equal interval lattices. This problem is resolved by replacing the central difference formula with the asymmetric difference formula, i.e., the backward or forward difference formula. To guarantee the hermitian of the Hamiltonian matrix, the backward and forward difference formula should be used alternatively according to the parity of the wavefunction. This provides a simple and efficient numerical prescription to solve various relativistic problems in the microscopic world.

nucl-th↗

arXiv2022

Probabilistic Scheduling of Dynamic I/O Requests via Application Clustering for Burst-Buffer Equipped HPC

Burst-Buffering is a promising storage solution that introduces an intermediate highthroughput storage buffer layer to mitigate the I/O bottleneck problem that the current High-Performance Computing (HPC) platforms suffer. The existing Markov-Chain based probabilistic I/O scheduling utilizes the load state of Burst-Buffers and the periodical characteristics of applications to reduce I/O congestion due to the limited capacity of Burst-Buffers. However, this probabilistic approach requires consistent I/O characteristics of applications, including similar I/O duration and long application length, in order to obtain an accurate I/O load estimation. These consistency conditions do not often hold in realistic situations. In this paper, we propose a generic framework of dynamic probabilistic I/O scheduling based on application clustering (DPSAC) to make applications meet the consistency requirements. According to the I/O phrase length of each application, our scheme first deploys a one-dimensional K-means clustering algorithm to cluster the applications into clusters. Next, it calculates the expected workload of each cluster through the probabilistic model of applications and then partitions the Burst-Buffers proportionally. Then, to handle dynamic changes (join and exit) of applications, it updates the clusters based on a heuristic strategy. Finally, it applies the probabilistic I/O scheduling, which is based on the distribution of application workload and the state of Burst-Buffers, to schedule I/O for all the concurrent applications to mitigate I/O congestion. The simulation results on synthetic data show that our DPSAC is effective and efficient.

cs.DC↗

arXiv2022

The Hadron-Quark Crossover in Neutron Star within Gaussian Process Regression Method

The equations of state of the neutron star at the hadron-quark crossover region are interpolated with the Gaussian process regression (GPR) method, which can reduce the randomness of present interpolation schemes. The relativistic mean-field (RMF) model and Nambu-Jona-Lasinio (NJL) model are employed to describe the hadronic phase and quark phase, respectively. In the RMF model, the coupling term between $ω$ and $ρ$ mesons is considered to control the density-dependent behaviors of symmetry energy, i.e. the slope of symmetry energy, $L$. Furthermore, the vector interaction between quarks is included in the NJL model to obtain the additional repulsive contributions. Their coupling strengths and the crossover windows are discussed in the present framework under the constraints on the neutron star from gravitational wave detections, massive neutron star measurements, mass-radius simultaneous observation of NICER collaboration, and the neutron skin thickness of $^{208}$Pb from PREX-II. It is found that the slope of symmetry energy, $L$ should be around $50-90$ MeV and the crossover window is $(0.3,~0.6)~\rm fm^{-3}$ with these observables. Furthermore, the uncertainties of neutron star masses and radii in the hadron-quark crossover regions are also predicted by the GPR method.

nucl-th↗

arXiv2022

Energy Efficient Beamforming Optimization for Integrated Sensing and Communication

This paper investigates the optimization of beamforming design in a system with integrated sensing and communication (ISAC), where the base station (BS) sends signals for simultaneous multiuser communication and radar sensing. We aim at maximizing the energy efficiency (EE) of the multiuser communication while guaranteeing the sensing requirement in terms of individual radar beampattern gains. The problem is a complicated nonconvex fractional program which is challenging to be solved. By appropriately reformulating the problem and then applying the techniques of successive convex approximation (SCA) and semidefinite relaxation (SDR), we propose an iterative algorithm to address this problem. In theory, we prove that the introduced relaxation of the SDR is rigorously tight. Numerical results validate the effectiveness of the proposed algorithm.

cs.IT↗

arXiv2022

"Public(s)-in-the-Loop": Facilitating Deliberation of Algorithmic Decisions in Contentious Public Policy Domains

This position paper offers a framework to think about how to better involve human influence in algorithmic decision-making of contentious public policy issues. Drawing from insights in communication literature, we introduce a "public(s)-in-the-loop" approach and enumerates three features that are central to this approach: publics as plural political entities, collective decision-making through deliberation, and the construction of publics. It explores how these features might advance our understanding of stakeholder participation in AI design in contentious public policy domains such as recidivism prediction. Finally, it sketches out part of a research agenda for the HCI community to support this work.

cs.HC↗

arXiv2022

The hyperonic star in relativistic mean-field model

The neutron star as a supernova remnant is attracting high attention recently due to the gravitation wave detection and precise measurements about its mass and radius. In the inner core region of the neutron star, the strangeness degrees of freedom, such as the hyperons, can be present, which is also named as a hyperonic star. In this work, the neutron star consisting of nucleons and leptons, and the hyperonic star including the hyperons will be reviewed in the framework of the relativistic mean-field (RMF) model. The popular non-linear and density-dependent RMF parametrizations in the market will be adopted to investigate the role of strangeness baryons in a hyperonic star on its mass, radius, tidal deformability, and other properties. Finally, the magnitudes of the coupling strengths between mesons and hyperons also will be discussed, which can generate the massive hyperonic star with present RMF parameter sets, when the vector coupling constants are strong.

nucl-th↗

arXiv2022

The nuclear symmetry energy from relativistic Brueckner-Hartree-Fock model

The microscopic mechanisms of the symmetry energy in nuclear matter are investigated in the framework of the relativistic Brueckner-Hartree-Fock (RBHF) model with a high-precision realistic nuclear potential, pvCDBonn A. The kinetic energy and potential contributions to symmetry energy are decomposed. They are explicitly expressed by the nucleon self-energies, which are obtained through projecting the $G$-matrices from the RBHF model into the terms of Lorentz covariants. The nuclear medium effects on the nucleon self-energy and nucleon-nucleon interaction in symmetry energy are discussed by comparing the results from the RBHF model and those from Hartree-Fock and relativistic Hartree-Fock models. It is found that the nucleon self-energy including the nuclear medium effect on the single-nucleon wave function provides a largely positive contribution to the symmetry energy, while {the nuclear medium effect on the nucleon-nucleon interaction, i.e., the effective $G$-matrices generates the negative contribution}. The tensor force plays an essential role in the symmetry energy around the density. The scalar and vector covariant amplitudes of nucleon-nucleon interaction dominate the potential component of the symmetry energy. Furthermore, the isoscalar and isovector terms in the optical potential are extracted from the RBHF model. The isoscalar part is consistent with the results from the analysis of global optical potential, while the isovector one has obvious differences at higher incident energy due to the relativistic effect.

nucl-th↗

arXiv2022

RIS-Assisted Quasi-Static Broad Coverage for Wideband mmWave Massive MIMO Systems

Reconfigurable intelligent surfaces (RISs) can establish favorable wireless environments to combat the severe attenuation and blockages in millimeter-wave (mmWave) bands. However, to achieve the optimal enhancement of performance, the instantaneous channel state information (CSI) needs to be estimated at the cost of a large overhead that scales with the number of RIS elements and the number of users. In this paper, we design a quasi-static broad coverage at the RIS with the reduced overhead based on the statistical CSI. We propose a design framework to synthesize the power pattern reflected by the RIS that meets the customized requirements of broad coverage. For the communication of broadcast channels, we generalize the broad coverage of the single transmit stream to the scenario of multiple streams. Moreover, we employ the quasi-static broad coverage for a multiuser orthogonal frequency division multiplexing access (OFDMA) system, and derive the analytical expression of the downlink rate, which is proved to increase logarithmically with the power gain reflected by the RIS. By taking into account the overhead of channel estimation, the proposed quasi-static broad coverage even outperforms the design method that optimizes the RIS phases using the instantaneous CSI. Numerical simulations are conducted to verify these observations.

cs.IT↗

arXiv2021

A Scalable Deep Reinforcement Learning Model for Online Scheduling Coflows of Multi-Stage Jobs for High Performance Computing

Coflow is a recently proposed networking abstraction to help improve the communication performance of data-parallel computing jobs. In multi-stage jobs, each job consists of multiple coflows and is represented by a Directed Acyclic Graph (DAG). Efficiently scheduling coflows is critical to improve the data-parallel computing performance in data centers. Compared with hand-tuned scheduling heuristics, existing work DeepWeave [1] utilizes Reinforcement Learning (RL) framework to generate highly-efficient coflow scheduling policies automatically. It employs a graph neural network (GNN) to encode the job information in a set of embedding vectors, and feeds a flat embedding vector containing the whole job information to the policy network. However, this method has poor scalability as it is unable to cope with jobs represented by DAGs of arbitrary sizes and shapes, which requires a large policy network for processing a high-dimensional embedding vector that is difficult to train. In this paper, we first utilize a directed acyclic graph neural network (DAGNN) to process the input and propose a novel Pipelined-DAGNN, which can effectively speed up the feature extraction process of the DAGNN. Next, we feed the embedding sequence composed of schedulable coflows instead of a flat embedding of all coflows to the policy network, and output a priority sequence, which makes the size of the policy network depend on only the dimension of features instead of the product of dimension and number of nodes in the job's DAG.Furthermore, to improve the accuracy of the priority scheduling policy, we incorporate the Self-Attention Mechanism into a deep RL model to capture the interaction between different parts of the embedding sequence to make the output priority scores relevant. Based on this model, we then develop a coflow scheduling algorithm for online multi-stage jobs.

cs.DC↗

arXiv2021

Hadron-quark Pasta Phase in Massive Neutron Stars

The structured hadron-quark mixed phase, known as the pasta phase, is expected to appear in the core of massive neutron stars. Motivated by the recent advances in astrophysical observations, we explore the possibility of the appearance of quarks inside neutron stars and check its compatibility with current constraints. We investigate the properties of the hadron-quark pasta phases and their influences on the equation of state (EOS) for neutron stars. In this work, we extend the energy minimization (EM) method to describe the hadron-quark pasta phase, where the surface and Coulomb contributions are included in the minimization procedure. By allowing different electron densities in the hadronic and quark matter phases, the total electron chemical potential with the electric potential remains constant, and local ? equilibrium is achieved inside the Wigner-Seitz cell. The mixed phase described in the EM method shows the features lying between the Gibbs and Maxwell constructions, which is helpful for understanding the transition from the Gibbs construction (GC) to the Maxwell construction (MC) with increasing surface tension. We employ the relativistic mean-field model to describe the hadronic matter, while the quark matter is described by the MIT bag model with vector interactions. It is found that the vector interactions among quarks can significantly stiffen the EOS at high densities and help enhance the maximum mass of neutron stars. Other parameters like the bag constant can also affect the deconfinement phase transition in neutron stars. Our results show that hadron-quark pasta phases may appear in the core of massive neutron stars that can be compatible with current observational constraints.

nucl-th↗