Miracle-dz/UniFAR-FTUs huggingface dataset:
Impacts of Cross-Sectoral Climate Policy on Forest Carbon Sinks and Their Spatial Spillover: Evidence from Chinese Provincial Panel Data

This paper examines the impact of cross-sectoral climate policy on forest carbon sinks. Due to the complexity of the climate change issue and the professional division of labor among government departments, cross-sectoral cooperation in formulating climate policy is a desirable strategy. Forest carbon sinks play an important role in addressing climate change, but there are few studies focusing on forest carbon sinks and cross-sectoral climate policies. Thus, based on the panel data of 30 provinces and cities in China from 2007 to 2020, this paper establishes a benchmark regression model and a spatial panel model to analyze the impact of cross-sectoral climate policies on forest carbon sinks. We find that cross-sectoral climate policies positively impact forest carbon sinks. Under the influence of the “demonstration effect”, we find that cross-sectoral climate policies have a positive impact not only on the forest carbon sinks in the region but also on those in the neighboring region. Further analysis shows that for provinces with less developed forestry industry and small forest areas, the positive effect of cross-sectoral climate policies on forest carbon sinks is more obvious. Overall, this paper can serve as an important reference for local governments to formulate climate policies and increase the capacity of forest carbon sinks.
Time-Resolved Optical Spectrum Measurement of Multi-Mode Fabry-Perot Laser Diodes

Fabry-Perot (FP) laser diodes usually have multiple longitudinal modes. An optical spectrum analyzer (OSA) is able to measure the average power distribution of the mode structure but cannot detect the dynamics of mode competition which is the origin of the mode partition noise. We demonstrate a time-resolved optical spectrum measurement technique based on frequency-to-time conversion through time gating, chromatic dispersion, and real-time waveform sampling. This allows to investigate the dynamics of mode competition and correlation of relative intensity noises among different FP modes of the diode laser.
Historical pseudo simplified solution of the Dirac-Coulomb equation

One of the simplified solutions of the Dirac equations with the pure Coulomb potential given in a paper published in 1985 is pseudo. The original paper solved the Dirac equations by introducing a transformation of functions with two strange parameters a and b to transform the original system of the first-order differential equations into two uncoupled differential equations of second order. However, not only the given eigenvalues sets violate the uniqueness of solution but also the said second-order equations are not any necessarily mathematical deduction. In order to determine the introduced parameters, formally, the author actually introduced some self-contradictory mathematical formulas, such as sinh� = 2ab, cosh� = a 2 + b 2 , tanh� = −Z�/k, a 2 − b 2 = 1, b = sinh(�/2) and a = cosh(�/2). But one has not known the value of the parameters a and b all the while, whereas the parameters were insensibly deleted in the given second-order Dirac-Coulomb equation last. One cannot recover any result given in the paper by making corresponding correctly mathematical calculations.
Inequalities for nonuniform wavelet frames

Abstract Gabardo and Nashed studied nonuniform wavelets by using the theory of spectral pairs for which the translation set Λ={0,r/N}+2⁢ℤ{\Lambda=\{0,r/N\}+2\mathbb{Z}} is no longer a discrete subgroup of ℝ{\mathbb{R}} but a spectrum associated with a certain one-dimensional spectral pair. In this paper, we establish three sufficient conditions for the nonuniform wavelet system {ψj,λ⁢(x)=(2⁢N)j/2⁢ψ⁢((2⁢N)j⁢x-λ),j∈ℤ,λ∈Λ}{\{\psi_{j,\lambda}(x)=(2N)^{j/2}\psi((2N)^{j}x-\lambda),\,j\in\mathbb{Z},\,% \lambda\in\Lambda\}} to be a frame for L2⁢(ℝ){L^{2}(\mathbb{R})}. The proposed inequalities are stated in terms of Fourier transforms and hold without any decay assumptions on the generator of such a system.
Log concavity for matrix-valued functions and a matrix-valued Prékopa theorem

We give two different definitions of what it means for a matrix-valued function to be log concave, guided by similar notions in complex differential geometry. After discussing a few simple examples, we proceed to develop some of the basic properties associated with these new concepts. Finally, we prove a matrix-valued Pr\'ekopa theorem using a weighted, vector-valued Paley-Wiener theorem, and positivity properties of direct image bundles.
Division algebras and noncommensurable isospectral manifolds

A. Reid (R) showed that if 1 and 2 are arithmetic lattices in G = PGL2(R) or in PGL2(C) which give rise to isospec- tral manifolds, then 1 and 2 are commensurable (after conju- gation). We show that for d ≥ 3 and S = PGLd(R)/POd(R), or S = PGLd(C)/PUd(C), the situation is quite different: there are arbitrarily large finite families of isospectral non-commensurable compact manifolds covered by S. The constructions are based on the arithmetic groups obtained from division algebras with the same ramification points but dif- ferent invariants.
Out of equilibrium correlation functions of quantum anisotropic XY models: one-particle excitations

We calculate exactly matrix elements between states that are not eigenstates of the quantum XY model for general anisotropy. Such quantities therefore describe non equilibrium properties of the system; the Hamiltonian does not contain any time dependence. These matrix elements are expressed as a sum of Pfaffians. For single particle excitations on the ground state the Pfaffians in the sum simplify to determinants.
HPD-invariance of the Tate, Beilinson and Parshin conjectures

We prove that the Tate, Beilinson and Parshin conjectures are invariant under Homological Projective Duality (=HPD). As an application, we obtain a proof of these celebrated conjectures (as well as of the strong form of the Tate conjecture) in the new cases of linear sections of determinantal varieties and complete intersections of two quadrics. Furthermore, we extend the original conjectures of Tate, Beilinson and Parshin from schemes to stacks and prove these extended conjectures for certain low-dimensional global orbifolds.
Neighborhood Manifold Preserving Matching for Visual Place Recognition

This article proposes an effective and efficient visual place recognition (VPR) approach, which can make full use of semantic, sequential, and spatial geometric information in VPR tasks. Rather than previous methods focusing on extracting discriminative and compact features to represent images, we improve VPR performance from candidate selection and geometric verification. To this end, we propose a fast feature matching algorithm for real-time geometrical verification of candidate places, termed neighborhood manifold preserving matching (NMP). To generate high-quality candidates, we design a dynamic sequence partitioning strategy based on NMP, which is able to utilize the inherently sequential nature of spatial data to cluster images into places. By sequence-to-sequence matching, the ambiguity of single frame matching can be reduced. Extensive experiments demonstrate that our VPR method outperforms the current state-of-the-art methods, and our geometric verification and candidate selection strategies are easily plugged into other VPR pipelines to significantly improve the VPR performance.
Intrinsic Diophantine approximation on quadric hypersurfaces

We consider the question of how well points in a quadric hypersurface $M\subset\mathbb R^d$ can be approximated by rational points of $\mathbb Q^d\cap M$. This contrasts with the more common setup of approximating points in a manifold by all rational points in $\mathbb Q^d$. We provide complete answers to major questions of Diophantine approximation in this context. Of particular interest are the impact of the real and rational ranks of the defining quadratic form, quantities whose roles in Diophantine approximation have never been previously elucidated. Our methods include a correspondence between the intrinsic Diophantine approximation theory on a rational quadric hypersurface and the dynamics of the group of projective transformations which preserve that hypersurface, similar to earlier results in the non-intrinsic setting due to Dani ('86) and Kleinbock--Margulis ('99).
Deep Game Location Acquisition for Pokemon GO on Mobile Devices

Advanced augmented reality (AR) games such as Pokemon Go attract millions and millions of players because they integrate various sensors to impress excellent user experiences on mobile devices. In this article, for energy saving on the mobile devices, we can use an accelerometer and a magnetometer to estimate the current user's location approaching interest of points on a game map without active GPS sensors and wireless network. In addition, we create an effective data structure with R-tree and adopt deep learning to efficiently answer the location query of Pokemons on the game location database. Our algorithm outperforms previous approaches in not only smaller running time but also in the better power consumption for the AR games on mobile devices.
Cellular coalgebras over the Barratt-Eccles operad I

This paper considers a class of coalgebras over the Barratt-Eccles operad and shows that they classify Z-completions of pointed, reduced simplicial sets. As a consequence, they encapsulate the homotopy types of nilpotent simplicial sets. This result is a direct generalization of Quillen's result characterizing rational homotopy types via cocommutative coalgebras.
Eigenvector dynamics under free addition

We investigate the evolution of a given eigenvector of a symmetric (deterministic or random) matrix under the addition of a matrix in the Gaussian orthogonal ensemble. We quantify the overlap between this single vector with the eigenvectors of the initial matrix and identify precisely a "Cauchy flight" regime. In particular, we compute the local density of this vector in the eigenvalues space of the initial matrix. Our results are obtained in a non-perturbative setting and are derived using the ideas of [O. Ledoit and S. Peche, Eigenvectors of some large sample covariance matrix ensembles, Probab. Theory Related Fields151 (2011) 233]. Finally, we give a robust derivation of a result obtained in [R. Allez and J.-P. Bouchaud, Eigenvector dynamics: General theory and some applications, Phys. Rev. E86 (2012) 046202] to study eigenspace dynamics in a semi-perturbative regime.
On loop quantum gravity kinematics with a non-degenerate spatial background

In a remarkable paper (Koslowski T A 2007 arXiv:0709.3465[gr-qc]), Koslowski introduced kinematical representations for loop quantum gravity in which a non-degenerate spatial background metric is present. He also considered their properties and showed that Gauß and diffeomorphism constraints can be implemented. With this paper, we streamline and extend his treatment. In particular, we show that the standard regularization of the geometric operators leads to well-defined operators in the new representations, and we work out their properties fully. We also give details on the implementation of the constraints. All of this is done in such a way as to show that the standard representation is a particular (and in some ways exceptional) case of the more general constructions. This does not mean that these new representations are as fundamental as the standard one. Rather, we believe they might be useful to find some form of effective theory of loop quantum gravity on large scales.
Time-Inconsistent Optimal Control Problems and the Equilibrium HJB Equation

A general time-inconsistent optimal control problem is considered for stochastic differential equations with deterministic coefficients. Under suitable conditions, a Hamilton-Jacobi-Bellman type equation is derived for the equilibrium value function of the problem. Well-posedness and some properties of such an equation is studied, and time-consistent equilibrium strategies are constructed. As special cases, the linear-quadratic problem and a generalized Merton's portfolio problem are investigated.
The Ratio of IL-6 to IL-4 in Synovial Fluid of Knee or Hip Performances a Noteworthy Diagnostic Value in Prosthetic Joint Infection

The diagnosis of prosthetic joint infection (PJI) is still a challenge, the ratio of interleukin-6 (IL-6) to IL-4 in the joint fluid of knee or hip was used to analyze whether the diagnostic accuracy of PJI can be improved. Between January 2017 and May 2022, 180 patients who developed pain after revision total hip or knee arthroplasty were enrolled retrospectively. 92 patients of PJI and 88 of aseptic failure were included. PJI was as defined by the Musculoskeletal Infection Society (MSIS). The content of IL-6 and IL-4 in synovial fluid of knee or hip were measured, and the areas under the receiver operating characteristic curve (ROC) and IL-6/IL-4 curve were analyzed to obtain a better diagnostic effect. The area under the curve of IL-6/IL-4 in synovial fluid of knee or hip was 0.9623, which was more accurate than ESR 0.5994 and C-reactive protein 0.6720. The optimal threshold of IL-6/IL-4 ratio was 382.10. Its sensitivity and specificity were 81.32% and 98.86%, respectively. The positive predictive value for the diagnosis of PJI was 98.91%. This study showed that the level of IL-6/IL-4 in synovial fluid of knee or hip could further improve the diagnostic accuracy for PJI.
RIGIDITY OF THE K (1) -LOCAL STABLE HOMOTOPY CATEGORY

We investigate a new case of rigidity in stable homotopy theory which is the rigidity of the K (1)-local stable homotopy category Ho( L K (1) Sp) at p = 2. In other words, we show that recovering higher homotopy information by just looking at the triangulated structure of Ho( L K (1) Sp) is possible, which is a property that only few interesting stable model categories are known to possess.
A note on LERF groups and generic group actions

Let $G$ be a finitely generated group, $\mathrm{Sub}(G)$ the (compact, metric) space of all subgroups of $G$ with the Chaubuty topology and $X! $ the (Polish) group of all permutations of a countable set $X$. We show that the following properties are equivalent: (i) Every finitely generated subgroup is closed in the profinite topology, (ii) the finite index subgroups are dense in $\mathrm{Sub}(G)$, (iii) A Baire generic homomorphism $\phi: G \rightarrow X! $ admits only finite orbits. Property (i) is known as the LERF property. We introduce a new family of groups which we call {\it{A-separable}} groups. These are defined by replacing, in (ii) above, the word "finite index" by the word "co-amenalbe". The class of A-separable groups contains all LERF groups, all amenable groups and more. We investigate some properties of these groups.
Filters and Matrix Factorization

We give a number of explicit matrix-algorithms for analysis/synthesis in multi-phase filtering; i.e., the operation on discrete-time signals which allow a separation into frequency-band components, one for each of the ranges of bands, say N, starting with low-pass, and then corresponding filtering in the other band-ranges. If there are N bands, the individual filters will be combined into a single matrix action; so a representation of the combined operation on all N bands by an N × N matrix, where the corresponding matrix-entries are periodic functions; or their extensions to functions of a complex variable. Hence our setting entails a fixed N × N matrix over a prescribed algebra of functions of a complex variable. In the case of polynomial filters, the factorizations will always be finite. A novelty here is that we allow for a wide family of non-polynomial filter-banks. Working modulo N in the time domain, our approach also allows for a natural matrix-representation of both down-sampling and up-sampling. The implementation encompasses the combined operation on input, filtering, down-sampling, transmission, up-sampling, an action by dual filters, and synthesis, merges into a single matrix operation. Hence our matrixfactorizations break down the global filtering-process into elementary steps. To accomplish this, we offer a number of adapted matrix factorizationalgorithms, such that each factor in our product representation implements in a succession of steps the filtering across pairs of frequency-bands; and so it is of practical significance in implementing signal processing, including filtering of digitized images. Our matrix-factorizations are especially useful in the case of the processing a fixed, but large, number of bands.
A Drone System with an Object Identification Algorithm for Tracking Dengue Disease

—In recent decades, it has been shown that epidemi- ological surveillance is one of the most valuable tool that public health has, since it allows us to have an overview of the population general health, thus allowing to anticipate outbreaks of epidemics by helping in timely interventions. Currently there is an increase in cases of dengue disease in several regions of Peru. Therefore, to control this outbreak and to help population centers and human settlements that are far from the city this work puts forward a drone system with an object recognition algorithm. Drones are very efficient in terms of surveillance, allowing easy access to places that are difficult for humans. In this way, drones can carry out the field work that is required in epidemiological surveillance, carrying out photography or video work in real time, and thus identifying infectious foci of diverse diseases. In this work, an object detection algorithm that uses convolutional neural networks and a stable detection model is designed, this allows the detection of water reservoirs that are possible infectious sources of dengue. In addition the efficiency of the algorithm is evaluated through the statistical curves of precision and sensitivity that result of the training of the neural network. To validate the efficiency obtained, the model was applied to test images related to dengue, achieving an efficiency of 99.2%.
"Plug-and-Play" Edge-Preserving Regularization

In many inverse problems it is essential to use regularization methods that preserve edges in the reconstructions, and many reconstruction models have been developed for this task, such as the Total Variation (TV) approach. The associated algorithms are complex and require a good knowledge of large-scale optimization algorithms, and they involve certain tolerances that the user must choose. We present a simpler approach that relies only on standard computational building blocks in matrix computations, such as orthogonal transformations, preconditioned iterative solvers, Kronecker products, and the discrete cosine transform -- hence the term "plug-and-play. " We do not attempt to improve on TV reconstructions, but rather provide an easy-to-use approach to computing reconstructions with similar properties.
La psicoterapia como relación entre sujetos y el papel de los protocolos de tratamiento

En los últimos 20 años el debate entre los Factores Comunes y los Tratamientos con Apoyo Empírico (TAE) ha sido uno de los más relevantes para la práctica clínica. El enfoque TAE con origen en la investigación sobre fármacos (Medicina Basada en la Evidencia), promueve el uso de técnicas específicas y protocolos de tratamiento. Los Factores Comunes, por el contrario, señalan la validez de múltiples psicoterapias, la cual estaría basada en dimensiones comunes a todo tratamiento, y no tanto en el uso de técnicas específicas. El proceder médico y farmacológico encaja razonablemente dentro de un marco de acción instrumental, en el que el acto sanitario se ejerce a fin de modificar ciertos parámetros fisiológico-anatómicos. Pero la psicoterapia es mejor entendida como una relación entre sujetos, ya que el paciente, el objeto de la acción terapéutica, es también un sujeto, y no un parámetro. Por ello los protocolos como secuencias prefijadas de acciones del terapeuta (ideal para la investigación por su replicabilidad y pertinencia metodológica), implican una suerte de eliminación del sujeto. Cabe entonces entender el sentido de los protocolos de tratamiento como marcos de sentido, de problemas pertinentes, de soluciones indicadas. Como una forma de conocimiento flexible sobre el problema y su funcionamiento y manejo.
Functional analysis in asymmetric normed spaces

The aim of this paper is to present a survey of some recent results obtained in the study of spaces with asymmetric norm. The presentation follows the ideas from the theory of normed spaces (topology, continuous linear operators, continuous linear functionals, duality, geometry of asymmetric normed spaces, compact operators) emphasizing similarities as well as differences with respect to the classical theory. The main difference comes form the fact that the dual of an asymmetric normed space X is not a linear space, but merely a convex cone in the space of all linear functionals on X. Due to this fact, a careful treatment of the duality problems (e.g. reflexivity) and of other results as, for instance, the extension of fundamental principles of functional analysis -the open mapping theorem and the closed graph theorem to this setting, is needed. AMS 2000 MSC: Primary: 46-02; Secondary: 41A65, 46B20, 46B42, 46B50, 47A05, 46B07, 54E05, 54E15, 54E25
Singularities in arbitrary characteristic via jet schemes

This paper summarizes the results at the present moment about singularities with respect to the Mather-Jacobian log discrepancies over algebraically closed field of arbitrary characteristic. The basic point is the Inversion of Adjunction with respect to Mather-Jacobian discrepancies holds in arbitrary characteristic. Based on this fact we will reduce many geometric properties of the singularities into the problem on jet schemes and try to avoid discussions which are distinctive for characteristic 0.
A New Multilevel Inverter Based on Harvest of Unused Energies for Photovoltaic Applications

are of the input are by renewable as photovoltaic arrays, some of the input remain unused. This presents a new multilevel inverter topology that can harvest the unused energies and return them to another output which leads to the harvest of the maximum input energy. The harvest of maximum energy (HME) based multilevel inverter structure consists of two terminals. One is connected to AC-load and another is joined to DC-load or rechargeable batteries. Another merit of the proposed multilevel inverter is that the number of its switches is comparable to other structures where unused energies cannot be harvested. Selective harmonic elimination (SHE) has been used as the switching strategy in the proposed multilevel structure. To verify the performance of the HME-based multilevel inverter topology, the experimental results for a type seven-level inverter were performed by the TMS320F28379D DSP.
Calabi quasimorphisms for monotone coadjoint orbits

We show the existence of Calabi quasimorphisms on the universal covering of the group of Hamiltonian diffeomorphisms of a monotone coadjoint orbit of a compact Lie group. We show that this result follows from positivity results of Gromov-Witten invariants and the fact that the quantum product of Schubert classes can never be zero.