arXiv subjects
Publications and source records attributed to Chun-Yu Lin.
In this paper, we show that every monadic ortholattice is isomorphic to a functional one, thereby resolving a recent question posed by Harding. We then study certain substitution-free reducts of the polyadic ortholattices, which we call locally finite $\sigma$-free polyadic ortholattices, and provide an analogous functional representation result.
Propositional Dynamic Logic, PDL, is a modal logic designed to formalize the reasoning about programs. By extending accessibility between states to states and state sets, concurrent propositional dynamic logic CPDL, is introduced to include concurrent programs due to Peleg and Goldblatt. We study a many-valued generalization of CPDL where the satisfiability and the reachability relation between states and state sets are graded over a finite {\L}ukasiewicz chain. Finitely-valued dynamic logic has been shown to be useful in formalizing reasoning about program behaviors under uncertainty. We obtain completeness results for all finitely valued PDL.
We investigate in this work the evolution of the collective fast neutrino flavor conversion (FFC) in a three dimensional (3D) cubic box with periodic boundary condition for three different neutrino angular distributions that are axially asymmetric. We find that the system evolves toward a quasistationary state where the angular distribution of the spatially averaged neutrino electron-minus-muon lepton number (ELN) does not contain any crossings. In the quasistationary state, near flavor equilibration is achieved in one angular domain enclosed by the initial ELN angular crossing contour, similar to the conclusion derived based on simplified one dimensional (1D) system with axially symmetric neutrino angular distributions. We have also performed additional simulations in coordinates where the initial first ELN angular moment has only one nonvanishing spatial component by using the original axially asymmetric ELN angular distributions as well as the corresponding axisymmetric ELN distributions, and find interesting similarity between these two sets. Finally, we propose three different analytical prescriptions generalized from earlier 1D models to 3D models, and evaluate their performances in predicting the post-FFC moments. Our findings suggest that further development of effective classical transport model in multidimensions to capture the effect of FFC is promising.
We present an efficient tensor-network-based approach for simulating large-scale quantum circuits, demonstrated using Quantum Support Vector Machines (QSVMs). Our method effectively reduces exponential runtime growth to near-quadratic scaling with respect to the number of qubits in practical scenarios. Traditional state-vector simulations become computationally infeasible beyond approximately 50 qubits; in contrast, our simulator successfully handles QSVMs with up to 784 qubits, completing simulations within seconds on a single high-performance GPU. Furthermore, by employing the Message Passing Interface (MPI) in multi-GPU environments, the approach shows strong linear scalability, reducing computation time as dataset size increases. We validate the framework on the MNIST and Fashion MNIST datasets, achieving successful multiclass classification and emphasizing the potential of QSVMs for high-dimensional data analysis. By integrating tensor-network techniques with high-performance computing resources, this work demonstrates both the feasibility and scalability of large-qubit quantum machine learning models, providing a valuable validation tool in the emerging Quantum-HPC ecosystem.
The quantum kinetic evolution of neutrinos in dense environments, such as the core-collapse supernovae or the neutron star mergers, can result in fast flavor conversion (FFC), presenting a significant challenge to achieving robust astrophysical modeling of these systems. Recent works that directly simulate the quantum kinetic transport of neutrinos in localized domains have suggested that the asymptotic outcome of FFCs can be modeled by simple analytical prescriptions when coarse grained over a size much larger than the FFC length scale. In this Letter, by leveraging such a scale separation, we incorporate the analytical prescriptions into global simulations that solve the classical neutrino transport equation including collisions and advection under spherical symmetry. We demonstrate that taking this approach allows to obtain results that quantitatively agree with those directly from the corresponding global quantum kinetic simulations and precisely capture the collisional feedback effect for cases where the FFC happens inside the neutrinosphere. Notably, the effective scheme does not require resolving the FFC time and length scales, hence only adds negligible computational overhead to classical transport. Our work highlights that efficient and robust integration of FFCs in classical neutrino transport used in astrophysical simulation can be feasible.
Traffic congestion is one of the major issues in urban areas, particularly when traffic loads exceed the roads capacity, resulting in higher petrol consumption and carbon emissions as well as delays and stress for road users. In Asia, the traffic situation can be further deteriorated by road sharing of scooters. How to control the traffic flow to mitigate the congestion has been one of the central issues in transportation research. In this study, we employ a quantum annealing approach to optimize the traffic signals control at a real-life intersection with mixed traffic flows of vehicles and scooters. Considering traffic flow is a continuous and emerging phenomenon, we used quadratic unconstrained binary optimization (QUBO) formalism for traffic optimization, which has a natural equivalence to the Ising model and can be solved efficiently on the quantum annealers, quantum computers or digital annealers. In this article, we first applied the QUBO traffic optimization to artificially generated traffic for a simple intersection, and then we used real-time traffic data to simulate a real Dongda-Keyuan intersection with dedicated cars and scooter lanes, as well as mixed scooter and car lanes. We introduced two types of traffic light control systems for traffic optimization C-QUBO and QUBO. Our rigorous QUBO optimizations show that C-QUBO and QUBO outperform the commonly used fixed cycle method, with QUBO outperforming C-QUBO in some instances. It has been found that QUBO optimization significantly relieves traffic congestion for the unbalanced traffic volume. Furthermore, we found that dynamic changes in traffic light signal duration greatly reduce traffic congestion.
Fast flavor conversions (FFCs) of neutrinos, which can occur in core-collapse supernovae (CCSNe), are multiangle effects. They depend on the angular distribution of the neutrino's electron lepton number (ELN). In this work, we present a comprehensive study of the FFCs by solving the multienergy and multiangle quantum kinetic equations with an extended set of collisional weak processes based on a static and spherically symmetric CCSN matter background profile. We investigate the emergence and evolution of FFCs in models featuring different ELN angular distributions, considering scenarios with two and three neutrino flavors. The spectrogram method is utilized to illustrate the small-scale spatial structure, and we show that this structure of neutrino flavor coherence and number densities in the nonlinear regime is qualitatively consistent with the dispersion relation analysis. On the coarse-grained level, we find that different asymptotic states can be achieved following the FFCs depending on the locations and shapes of the ELN distributions, despite sharing a common feature of the elimination of the ELN angular crossing. While equilibration among different neutrino flavors may be achieved immediately after the prompt FFCs, it is not a general outcome of the asymptotic state, as subsequent feedback effects from collisional neutrino-matter interactions come into play, particularly for cases where FFCs occur inside the neutrinosphere. The impacts of FFCs and the feedback effect on the net neutrino heating rates, the equilibrium electron fraction of CCSN matter, and the free-streaming neutrino energy spectra are quantitatively assessed. Other aspects including the impact of the vacuum term and the coexistence with other type of flavor instabilities are also discussed.
The fast flavor conversions (FFCs) of neutrinos generally exist in core-collapse supernovae and binary neutron-star merger remnants, and can significantly change the flavor composition and affect the dynamics and nucleosynthesis processes. Several analytical prescriptions were proposed recently to approximately explain or predict the asymptotic outcome of FFCs for systems with different initial or boundary conditions, with the aim for providing better understandings of FFCs and for practical implementation of FFCs in hydrodynamic modeling. In this work, we obtain the asymptotic survival probability distributions of FFCs in a survey over thousands of randomly sampled initial angular distributions by means of numerical simulations in one-dimensional boxes with the periodic boundary condition. We also propose improved prescriptions that guarantee the continuity of the angular distributions after FFCs. Detailed comparisons and evaluation of all these prescriptions with our numerical survey results are performed. The survey dataset is made publicly available to inspire the exploration and design for more effective methods applicable to realistic hydrodynamic simulations.
We implement a multi-group and discrete-ordinate neutrino transport model in spherical symmetry which allows to simulate collective neutrino oscillations by including realistic collisional rates in a self-consistent way. We utilize this innovative model, based on strategic parameter rescaling, to study a recently proposed collisional flavor instability caused by the asymmetry of emission and absorption rates between $\nu_e$ and $\bar\nu_e$ for four different static backgrounds taken from different stages in a core-collapse supernova simulation. Our results confirm that collisional instabilities generally exist around the neutrinosphere during the SN accretion and post-accretion phase, as suggested by [arXiv:2104.11369]. However, the growth and transport of flavor instabilities can only be fully captured by models with global simulations as done in this work. With minimal ingredient to trigger collisional instabilities, we find that the flavor oscillations and transport mainly affect (anti)neutrinos of heavy lepton flavors around their decoupling sphere, which then leave imprints on their energy spectra in the free-streaming regime. For electron (anti)neutrinos, their properties remain nearly intact. We also explore various effects due to the decoherence from neutrino-nucleon scattering, artificially enhanced decoherence from emission and absorption, neutrino vacuum mixing, and inhomogeneous matter profile, and discuss the implication of our work.
In this paper, we present an abstract framework of many-valued modal logic with the interpretation of atomic propositions and modal operators as predicate lifting over coalgebras for an endofunctor on the category of sets. It generalizes Pattinson's stratification method for colagebraic modal logic to the many-valued setting. In contrast to standard techniques of canonical model construction and filtration, this method employs an induction principle to prove the soundness, completeness, and finite model property of the logics. As a consequence, we can lift a restriction on the previous approach~ \cite{Lin2022} that requires the underlying language must have the expressive power to internalize the meta-level truth valuation operations.
The fast flavor instability (FFI) is expected to be ubiquitous in core-collapse supernovae and neutron star mergers. It rapidly shuffles neutrino flavor in a way that could impact the explosion mechanism, neutrino signals, mass outflows, and nucleosynthesis. The variety of initial conditions and simulation methods employed in simulations of the FFI prevent an apples-to-apples comparison of the results. We simulate a standardized test problem using five independent codes and verify that they are all faithfully simulating the underlying quantum kinetic equations under the assumptions of axial symmetry and homogeneity in two directions. We quantify the amount of numerical error in each method and demonstrate that each method is superior in at least one metric of this error. We make the results publicly available to serve as a benchmark.
We introduce the implementation details of the simulation code \cosenu, which numerically solves a set of non-linear partial differential equations that govern the dynamics of neutrino collective flavor conversions. We systematically provide the details of both the finite difference method supported by Kreiss-Oliger dissipation and the finite volume method with seventh order weighted essentially non-oscillatory scheme. To ensure the reliability of the code, we perform the comparison of the simulation results with theoretically obtainable solutions. In order to understand and characterize the error accumulation behavior of the implementations when neutrino self-interactions are switched on, we also analyze the evolution of the deviation of the conserved quantities for different values of simulation parameters. We report the performance of our code with both CPUs and GPUs. The public version of the \cosenu~package is available at \url{https://github.com/COSEnu/COSEnu}.
We perform numerical simulations of fast collective neutrino flavor conversions in an one-dimensional box mimicking a system with the periodic boundary condition in one spatial direction and translation symmetry in the other two dimensions. We evolve the system over several thousands of the characteristic timescale (inverse of the interaction strength) with different initial $\bar\nu_e$ to $\nu_e$ number density ratios and different initial seed perturbations. We find that small scale structures are formed due to the interaction of the flavor waves. This results in nearly flavor depolarization in a certain neutrino phase space, when averaged over the entire box. Specifically, systems with initially equal number of $\nu_e$ and $\bar\nu_e$ can reach full flavor depolarization for the entire neutrino electron lepton number ($\nu$ELN) angular spectra. For systems with initially unequal $\nu_e$ and $\bar\nu_e$, flavor depolarization can only be reached in one side of the $\nu$ELN spectra, dictated by the net neutrino $e-x$ lepton number conservation. Quantitatively small differences depending on the initial perturbations are also found when different perturbation seeds are applied. Our numerical study here provides new insights for efforts aiming to include impact of fast flavor conversions in astrophysical simulations while calls for better analytical understanding accounting for the evolution of fast flavor conversions.
In this paper, we investigate the many-valued version of coalgebraic modal logic through predicate lifting approach. Coalgebras, understood as generic transition systems, can serve as semantic structures for various kinds of modal logics. A well-known result in coalgebraic modal logic is that its completeness can be determined at the one-step level. We generalize the result to the finitely many-valued case by using the canonical model construction method. We prove the result for coalgebraic modal logics based on three different many-valued algebraic structures, including the finitely-valued {\L}ukasiewicz algebra, the commutative integral Full-Lambek algebra (FL$_{ew}$-algebra) expanded with canonical constants and Baaz Delta, and the FL$_{ew}$-algebra expanded with valuation operations. In addition, we also prove the finite model property of the many-valued coalgebraic modal logic by using the filtration technique.
In this paper, we show that the $\exists^1 \forall^1$ theories of Hilbertian fields with charateristic 0 and perfect Hilbertian fields are both decidable. We also prove that the $\forall^1 \exists^1$ theories of Hilbertian fields with charateristic 0, Hilbertian fields, PAC fields with characteristic 0, and PAC fields are all decidable.
The problem of gravitational wave parameter estimation and source localization is crucial in gravitational wave astronomy. Gravitational waves emitted by compact binary coalescences in the sensitivity band of second-generation ground-based detectors could have non-negligible eccentricities. Thus it is an interesting topic to study how the eccentricity of a binary source affects and improves the accuracy of its localization (and the signal-to-noise ratio). In this work we continue to investigate this effect with the enhanced postcircular waveform model. Using the Fisher information matrix method, we determine the accuracy of source localization with three ground-based detector networks. As expected, the accuracy of source localization is improved considerably with more detectors in a network. We find that the accuracy also increases significantly by increasing the eccentricity for the large total mass ($M\ge 40M_\odot$) binaries with all three networks. For the small total mass ($M<40 M_\odot$) binaries, this effect is negligible. For the smaller total mass ($M<5 M_\odot$) binaries, the accuracy could be even worse at some orientations with increasing eccentricity. This phenomenon comes mainly from how well the frequency of the higher harmonic modes induced by increasing eccentricity coincides with the sensitive bandwidth of the detectors. For the case of the $100 M_\odot$ black hole binary, the improvement factor is about $2$ in general when the eccentricity grows from $0.0$ to $0.4$. For the cases of the $22 M_\odot$ black hole binary and the $2.74 M_\odot$ neutron star binary, the improvement factor is less than $1.1$, and it may be less than 1 at some orientations.
Gravitational wave source localization problem is important in gravitational wave astronomy. Regarding ground-based detector, almost all of the previous investigations only considered the difference of arrival time among the detector network for source localization. Within the matched filtering framework, the information beside the arrival time difference can possibly also do some help on source localization. Especially when an eccentric binary is considered, the character involved in the gravitational waveform may improve the source localization. We investigate this effect systematically in the current paper. During the investigation, the enhanced post-circular (EPC) waveform model is used to describe the eccentric binary coalesce. We find that the source localization accuracy does increase along with the eccentricity increases. But such improvement depends on the total mass of the binary. For total mass 100M${}_\odot$ binary, the source localization accuracy may be improved about 2 times in general when the eccentricity increases from 0 to 0.4. For total mass 65M${}_\odot$ binary (GW150914-like binary), the improvement factor is about 1.3 when the eccentricity increases from 0 to 0.4. For total mass 22M${}_\odot$ binary (GW151226-like binary), such improvement is ignorable.
In this work we apply the Landau-Lifshitz pseudotensor flux formalism to the calculation of the total mass and the total angular momentum during the evolution of a binary black hole system. We also compare its performance with the traditional integrations for the global quantities. It shows that the advantage of the pseudotensor flux formalism is the smoothness of the numerical value of the global quantities, especially of the total angular momentum. Although the convergence behavior of the global quantities with the pseudotensor flux method is only comparable with the ones with the traditional method, the smoothness of its numerical value allows using a larger radius for surface integration to obtain more accurate result.