搜索结果：Gave

Let $G$ be a real reductive Lie group and $H$ a reductive subgroup of $G$. Benoist-Kobayashi studied when $L^2(G/H)$ is a tempered representation of $G$. They introduced the functions $ρ$ on Lie algebras and gave a necessary and sufficient condition for the temperedness of $L^2(G/H)$ in terms of an inequality on $ρ$. In a joint work with Y. Oshima, we considered when $L^2(G/H)$ is equivalent to a unitary subrepresentation of $L^2(G)$ and gave a sufficient condition for this in terms of a strict inequality of $ρ$. In this paper, we will classify the pairs $(\mathfrak{g}, \mathfrak{h})$ with $\mathfrak{g}$ complex reductive and $\mathfrak{h}$ complex semisimple which satisfy that strict inequality of $ρ$.

Y. Miyashita gave characterizations of a separable polynomial and a Hirata separable polynomial in skew polynomial rings. In the previous paper, the author and S. Ikehata gave direct and elementary proofs of Miyashita's theorems in skew polynomial rings of automorphism type $B[X;ρ]$ and derivation type $B[X;D]$, respectively. The purpose of this paper is to give proofs for them in the general skew polynomial ring $B[X;ρ,D]$.

An underdetermined generalized absolute value equation (GAVE) may have no solution, one solution, finitely many or infinitely many solutions. This paper is concerned with sufficient conditions that guarantee the existence of solutions to an underdetermined GAVE. Particularly, sufficient conditions are established for an underdetermined GAVE to have infinitely many solutions with no zero entry that possess a particular or any given sign pattern. Iterative methods are proposed for the case when the underdetermined GAVE does have a solution. Some existing results for square GAVE are also extended.

In 1974, Erdős asked the following question: given a graph $G$ and a directed graph $\vec{H}$, how many ways are there to orient the edges of $G$ such that it does not contain $\vec{H}$ as a subgraph? We denote this value by $D(G, \vec{H})$. Further, we let $D(n, \vec{H})$ denote the maximum of $D(G, \vec{H})$ over all graphs $G$ on $n$ vertices. In 2006, Alon and Yuster gave an exact answer when $\vec{H}$ is a tournament. In 2023, Bucić, Janzer, and Sudakov gave asymptotic answers for all directed graphs $\vec{H}$, and in the same paper, they gave an exact answer when $\vec{H}$ is a directed cycle. In this paper, we give a better bound for some specific non-bipartite directed graphs. Further, we obtain exact values of $D(G, \vec{H})$ for some small non-edge-critical directed graphs $\vec{H}$. Finally, for these graphs, we classify all graphs $G$ that attain the bound $D(G, \vec{H}) = D(n, \vec{H})$.

Sandqvist gave a proof-theoretic semantics (P-tS) for classical logic (CL) that explicates the meaning of the connectives without assuming bivalance. Later, he gave a semantics for intuitionistic propositional logic (IPL). While soundness in both cases is proved through standard techniques, the proof completeness for CL is complex and somewhat obscure, but clear and simple for IPL. Makinson gave a simplified proof of completeness for classical propositional logic (CPL) by directly relating the the P-tS to the logic's extant truth-functional semantics. In this paper, we give an elementary, constructive, and native -- in the sense that it does not presuppose the model-theoretic interpretation of classical logic -- proof of completeness the P-tS of CL using the techniques applies for IPL. Simultaneously, we give a proof of soundness and completeness for first-order intuitionistic logic (IL).

We show that a simple single-pass semi-streaming variant of the Pivot algorithm for Correlation Clustering gives a (3 + ε)-approximation using O(n/ε) words of memory. This is a slight improvement over the recent results of Cambus, Kuhn, Lindy, Pai, and Uitto, who gave a (3 + ε)-approximation using O(n log n) words of memory, and Behnezhad, Charikar, Ma, and Tan, who gave a 5-approximation using O(n) words of memory. One of the main contributions of this paper is that both the algorithm and its analysis are very simple, and also the algorithm is easy to implement.

Cantor gave in his fundamental article an elegant proof of the countability of real algebraic numbers based on a positive integer height, denoted by him as N, of integer and irreducible polynomials of given degree (denoted by him as n) with relative prime coefficients. The finite number of real algebraic numbers with given height he called phi(N), and gave the first three instances.\pn Here we give a systematic list for the real algebraic numbers of height, which we denote by n, for n from 1 to 7 and polynomials of degree k.

In an earlier book of Arthur, the endoscopic classification of representations of quasi-split orthogonal and symplectic groups was established. Later Mok gave that of quasi-split unitary groups. After that, Kaletha, Minguez, Shin, and White gave that of non-quasi-split unitary groups for generic parameters. In this paper we prove the endoscopic classification of representations of non-quasi-split odd special orthogonal groups for generic parameters, following Kaletha, Minguez, Shin, and White.

An earlier paper gave a means of calculating the Lamb shift via Feynman diagrams. Here we apply the same techniques to TQFT.

Li-Vogelius and Li-Nirenberg gave a gradient estimate for solutions of strongly elliptic equations and systems of divergence forms with piecewise smooth coefficients, respectively. The discontinuities of the coefficients are assumed to be given by manifolds of codimension 1, which we called them manifolds of discontinuities. Their gradient estimate is independent of the distances between manifolds of discontinuities. In this paper, we gave a parabolic version of their results. That is, we gave a gradient estimate for parabolic equations of divergence forms with piecewise smooth coefficients. The coefficients are assumed to be independent of time and their discontinuities are likewise the previous elliptic equations. As an application of this estimate, we also gave a pointwise gradient estimate for the fundamental solution of a parabolic operator with piecewise smooth coefficients. The both gradient estimates are independent of the distances between manifolds of discontinuities.

Wolf gave a homeomorphism from the Teichmüller space to the space of quadratic differentials on a closed Riemann surface by using harmonic maps. Moreover, using harmonic maps rays, he gave a compactification of the Teichmüller space and show that it coincides with the Thurston compactification. In this paper, we extend the harmonic maps compactification to the Teichmüller spaces of punctured Riemann surfaces, and show that it still coincides with the Thurston compactification.

In 2016 Izadi and Nabardi (b) showed (4-2-4) has infinitely many integer solutions. They used a specific congruent number elliptic curve.In 2019 Janfada and Nabardi,item C, showed that a necessary condition for n to have an integral solution for the above equation and gave a parametric solution.They gave the numeric solutions for n=41,136,313,1028,1201,3281. In 2020 Ajai Choudhry , Iliya Bluskov and Alexander James (a), showed that equation (4-2-4) has infinitely many parametric solutions. They gave the numeric solutions for n=17,257,626,641,706,1921.