Search

Recently, increasing attention has been focused drawn on to improve the ability of Large Language Models (LLMs) to perform complex reasoning. However, previous methods, such as Chain-of-Thought and Self-Consistency, mainly follow Direct Reasoning (DR) frameworks, so they will meet difficulty in solving numerous real-world tasks which can hardly be solved via DR. Therefore, to strengthen the reasoning power of LLMs, this paper proposes a novel Indirect Reasoning (IR) method that employs the logic of contrapositives and contradictions to tackle IR tasks such as factual reasoning and mathematic proof. Specifically, our methodology comprises two steps. Firstly, we leverage the logical equivalence of contrapositive to augment the data and rules to enhance the comprehensibility of LLMs. Secondly, we design a set of prompt templates to trigger LLMs to conduct IR based on proof by contradiction that is logically equivalent to the original DR process. Our IR method is simple yet effective and can be straightforwardly integrated with existing DR methods to further boost the reasoning abilities of LLMs. The experimental results on popular LLMs, such as GPT-3.5-turbo and Gemini-pro, show that our IR method enhances the overall accuracy of factual reasoning by 27.33% and mathematical proof by 31.43%, when compared with traditional DR methods. Moreover, the methods combining IR and DR significantly outperform the methods solely using IR or DR, further demonstrating the effectiveness of our strategy., Comment: 20 pages,13 figures,4 tables

The continuous advancements in ultrafast lasers, characterized by high pulse energy, great average power, and ultrashort pulse duration, have opened up new frontiers and applications in various fields such as high-energy-density science. In this study, we investigated the implementation of non-Hermitian nonlinear parametric amplification by introducing anti-parity-time (anti-PT) symmetry to three-wave interaction processes. By exploring the parameter space defined by the coupling coefficient, phase mismatch, and absorption, we categorized the behavior of the non-Hermitian optical parametric system into four distinct quadrants, representing unbroken/broken anti-PT symmetry and amplification/attenuation, and amplification-attenuation boundaries and exceptional lines can be observed in such parametric space. Through simulations of the dynamical behavior of the interacting waves, we demonstrated the rich evolutions of the signal and idler waves in systems belonging to the respective quadrants and near exceptional points, revealed by the unique performance of eigenmodes. Our findings provide insights into the evaluation of energy flow direction in optical parametric amplification engineering by the directly linked parameter space, which contribute to a deeper understanding of photonics and laser science, potentially leading to new applications in these fields., Comment: 12 pages; 4 figures

Let $(E, \rho)$ be a metric space and let $h_E\left( \delta \right)$ be the cardinality of the set of $\delta$-connected components of $E$. In literature, in case of that $E$ is a self-conformal set satisfying the open set condition or $E$ is a self-affine Sierpi\'nski sponge, necessary and sufficient condition is given for the validity of the relation $ h_E(\delta)\asymp \delta^{-\dim_B E}, \text{ when }\delta\to 0. $ In this paper, we generalize the above result to self-affine sponges of Lalley-Gatzouras type; actually in this case, we show that there exists a Bernoulli measure $\mu$ such that for any cylinder $R$, it holds that $ h_R(\delta)\asymp \mu(R) \delta^{-\dim_B E}, \text{ when }\delta\to 0. $

RFID as an important component technology of IoT faces important security risks while being rapidly applied, among which the discovery of unauthorized readers in space is crucial. There are some researches proposed the unauthorized reader detection algorithm based on commercial off the shell(COTS) devices, but these detection algorithms are often easily affected by moving objects blocking interference in space, causing false alarms. We propose a new method of eliminating moving object interference, which can reduce the system false alarm rate to less than 7.9% by experimental testing, Comment: 4 pages,7 figures

Although many achievements have been made since Google threw out the paradigm of federated learning (FL), there still exists much room for researchers to optimize its efficiency. In this paper, we propose a high efficient FL method equipped with the double head design aiming for personalization optimization over non-IID dataset, and the gradual model sharing design for communication saving. Experimental results show that, our method has more stable accuracy performance and better communication efficient across various data distributions than other state of art methods (SOTAs), makes it more industry-friendly.

Let H be a complex Hilbert space of dimension no less than 2 and B(H) be the algebra of all bounded linear operators on H. We give the form of surjective maps on B(H) preserving c-numerical range of operator products when the maps satisfy preserving weak zero products. As a result, we obtain the characterization of surjective maps on Mn(C) preserving c-numerical range of operator products. The proof of the results depends on some propositions of operators in B(H), which are of different interest., Comment: 15 pages

The Fourier decay rate of a coin-tossing type measure is investigated. Explicit estimation is given. Our method relies upon a classical result of Hartman and Kershner. As an application, we present a new example of a measure whose Fourier decay rate could be as slowly as we please, and for this measure almost every point is absolutely normal., Comment: 16 pages

Let ${\mathcal N}$ be a nest on a complex Banach space $X$ and let $\mbox{ Alg}{\mathcal N}$ be the associated nest algebra. We say that an operator $Z\in \mbox{ Alg}{\mathcal N}$ is an all-derivable point of $\mbox{ Alg}{\mathcal N}$ if every linear map $\delta$ from $\mbox{ Alg}{\mathcal N}$ into itself derivable at $Z$ (i.e. $\delta$ satisfies $\delta(A)B+A\delta(B)=\delta(Z)$ for any $A,B \in \mbox{ Alg}{\mathcal N}$ with $AB=Z$) is a derivation. In this paper, it is shown that every injective operator and every operator with dense range in $\mbox{Alg}{\mathcal N}$ are all-derivable points of $\mbox{Alg}{\mathcal N}$ without any additional assumption on the nest., Comment: 20 pages