共找到 20 条结果
We say that a digraph is a $(t,λ)$-liking digraph if every $t$ vertices have exactly $λ$ common out-neighbors. In 1975, Plesník [Graphs with a homogeneity, 1975. {\it Glasnik Mathematicki} 10:9-23] proved that any $(t,1)$-liking digraph is the complete digraph on $t+1$ vertices for each $t\geq 3$. Choi {\it et al}. [A digraph version of the Friendship Theorem, 2025. {\it Discrete mathematics}, 348(1), 114238] showed that a $(2,1)$-liking digraph is a fancy wheel digraph or a $k$-diregular digraph for some positive integer $k$. In this paper, we extend these results by completely characterizing the $(t,λ)$-liking digraphs with $t \geq λ+2$ and giving some equivalent conditions for a $(t,λ)$-liking digraph being a complete digraph on $t+λ$ vertices.
Left-invariant Hermitian and Gauduchon connections are studied on an arbitrary Lie group $G$ equipped with an arbitrary left-invariant almost Hermitian structure $(\langle\cdot,\cdot\rangle,J)$. The space of left-invariant Hermitian connections is shown to be in one-to-one correspondence with the space $\wedge^{(1,1)}\mathfrak{g}^\ast\otimes \mathfrak{g}$ of left-invariant 2-forms of type (1,1) (with respect to $J$) with values in $\mathfrak{g}:=\mbox{Lie}(G)$. Explicit formulas are obtained for the torsion components of every Hermitian and Gauduchon connection with respect to a convenient choice of left-invariant frame on $G$. The curvature of Gauduchon connections is studied for the special case $G=H\times A$, where $H$ is an arbitrary $n$-dimensional Lie group, $A$ is an arbitrary $n$-dimensional abelian Lie group, and the almost complex structure is totally real with respect to $\mathfrak{h}:=\mbox{Lie}(H)$. When $H$ is compact, it is shown that $H\times A$ admits a left-invariant (strictly) almost Hermitian structure $(\langle\cdot,\cdot\rangle,J)$ such that the Gauduchon connection corresponding to the Strominger (or Bismut) connection in the integrable case is precisely the
In 1985, Janko and Tran Van Trung published an algorithm for constructing symmetric designs with prescribed automorphisms. This algorithm is based on the equations by Dembowski (1958) for tactical decompositions of point-block incidence matrices. In the sequel, the algorithm has been generalized and improved in many articles. In parallel, higher incidence matrices have been introduced by Wilson in 1982. They have proven useful for obtaining several restrictions on the existence of designs. For example, a short proof of the generalized Fisher's inequality makes use of these incidence matrices. In this paper, we introduce a unified approach to tactical decompositions and incidence matrices. It works for both combinatorial and subspace designs alike. As a result, we obtain a generalized Fisher's inequality for tactical decompositions of combinatorial and subspace designs. Moreover, our approach is explored for the construction of combinatorial and subspace designs of arbitrary strength.
Let $d$ be a square-free integer and $\mathbb{Z}[\sqrt{d}]$ a quadratic ring of integers. For a given $n\in\mathbb{Z}[\sqrt{d}]$, a set of $m$ non-zero distinct elements in $\mathbb{Z}[\sqrt{d}]$ is called a Diophantine $D(n)$-$m$-tuple (or simply $D(n)$-$m$-tuple) in $\mathbb{Z}[\sqrt{d}]$ if product of any two of them plus $n$ is a square in $\mathbb{Z}[\sqrt{d}]$. Assume that $d \equiv 2 \pmod 4$ is a positive integer such that $x^2 - dy^2 = -1$ and $x^2 - dy^2 = 6$ are solvable in integers. In this paper, we prove the existence of infinitely many $D(n)$-quadruples in $\mathbb{Z}[\sqrt{d}]$ for $n = 4m + 4k\sqrt{d}$ with $m, k \in \mathbb{Z}$ satisfying $m ot\equiv 5 \pmod{6}$ and $k ot\equiv 3 \pmod{6}$. Moreover, we prove the same for $n = (4m + 2) + 4k\sqrt{d}$ when either $m ot\equiv 9 \pmod{12}$ and $k ot\equiv 3 \pmod{6}$, or $m ot\equiv 0 \pmod{12}$ and $k ot\equiv 0 \pmod{6}$. At the end, some examples supporting the existence of quadruples in $\mathbb{Z}[\sqrt{d}]$ with the property $D(n)$ for the above exceptional $n$'s are provided for $d = 10$.
In this paper we study the polynomial version of Pillai's conjecture on the exponential Diophantine equation \begin{equation*} p^n - q^m = f. \end{equation*} We prove that for any non-constant polynomial $ f $ there are only finitely many vectors $ (n,m,\mathrm{deg}\ p,\mathrm{deg}\ q) $ with integers $ n,m \geq 2 $ and non-constant polynomials $ p,q $ such that Pillai's equation holds. Moreover, we will give some examples that there can still be infinitely many possibilities for the polynomials $ p,q $.
Let $ \{F_n\}_{n\ge 0} $ be the sequence of Fibonacci numbers and let $p$ be a prime. For an integer $c$ we write $m_{F,p}(c)$ for the number of distinct representations of $c$ as $F_k-p^\ell$ with $k\ge 2$ and $\ell\ge 0$. We prove that $m_{F,p}(c)\le 4$.
We discuss the combinatorics of faces of trees in the context of dendroidal sets and develop a systematic treatment of dendroidal anodyne extensions. As the main example and our motivation, we prove the pushout-product property for the stable model structure on dendroidal sets.
In a series of papers we classify the possible torsion structures of rational elliptic curves base-extended to number fields of a fixed degree. In this paper we turn our attention to the question of how the torsion of an elliptic curve with complex multiplication defined over the rationals grows over quadratic fields. We go further and we give an explicit characterization of the quadratic fields where the torsion grows in terms of some invariants attached to the curve.
In this paper, using a method of Luca and the author, we find all values $x$ such that the quadratic polynomials $x^2+1,$ $x^2+4,$ $x^2+2$ and $x^2-2$ are 200-smooth and all values $x$ such that the quadratic polynomial $x^2-4$ is 100-smooth.
This paper is concerned with the reduction of the spectral problem for symmetric linear operator pencils to a spectral problem for the single operator. Also, a Rayleigh-Ritz-like bounds on eigenvalues of linear operator pencils are obtained.
We investigate some Diophantine approximation constants related to the simultaneous approximation of $(ζ,ζ^{2},\ldots,ζ^{k})$ for Liouville numbers $ζ$. For a certain class of Liouville numbers including the famous representative $\sum_{n\geq 1} 10^{-n!}$ and numbers in the Cantor set, we explicitly determine all approximation constants simultaneously for all $k\geq 1$.
We classify simply connected rationally elliptic manifolds of dimension five and those of dimension six with small Betti numbers from the point of view of their rational cohomology structure. We also prove that a geometrically formal rationally elliptic six dimensional manifold, whose second Betti number is two, is rational cohomology $S^2\times {\mathbb C}P^2$. An infinite family of six-dimensional simply connected biquotients whose second Betti number is three, different from Totaro's biquotients, is considered and it is proved that none of biquotient from this family is geometrically formal.
Unlike the situation in the classical theory of convex polytopes, there is a wealth of semi-regular abstract polytopes, including interesting examples exhibiting some unexpected phenomena. We prove that even an equifacetted semi-regular abstract polytope can have an arbitrary large number of flag orbits or face orbits under its combinatorial automorphism group.
Let $G$ be the Lie group $SO_e(4,1)$, with maximal compact subgroup $K = S(O(4) \times O(1))_e\cong SO(4)$. Let $\mathfrak{g}=\mathfrak{so}(5,\mathbb{C})$ be the complexification of the Lie algebra $\mathfrak{g}_0 = \mathfrak{so}(4,1)$ of $G$, and let $U(\mathfrak{g})$ be the universal enveloping algebra of $\mathfrak{g}$. Let $\mathfrak{g} = \mathfrak{k} \oplus \mathfrak{p}$ be the Cartan decomposition of $\mathfrak{g}$, and $C(\mathfrak{p})$ the Clifford algebra of $\mathfrak{p}$ with respect to the trace form $B(X, Y) = \text{tr}(XY)$ on $\mathfrak{p}$. In this paper we give explicit generators of the algebra $(U(\mathfrak{g}) \otimes C(\mathfrak{p}))^{K}$.
We use a $p$-adic analogue of the analytic subgroup theorem of Wüstholz to deduce the transcendence and linear independence of some new classes of $p$-adic numbers. In particular we give $p$-adic analogues of results of Wüstholz contained in [G. Wüstholz, Some remarks on a conjecture of Waldschmidt, Diophantine approximations and transcendental numbers, Progress in Mathematics 31, Birkhäuser Boston, Boston, MA, (1983), 329-336] and generalizations of results obtained by Bertrand in [D. Bertrand, Sous-groupes à un paramètre $p$-adique de variétés de groupe, Invent. Math. 40 (1977), no. 2, 171-193] and [D. Bertrand, Problèmes locaux, Société Mathématique de France, Astérisque 60-70 (1979), 163-189].
In this paper the some questions of equivariant movability connected with substitution of acting group $G$ on closed subgroup $H$ and with transitions to spaces of $H$-orbits and $H$-fixed points spaces are investigated. In the special case the characterization of equivariant-movable $G$-spaces is given.
We study the possible structure of the groups of rational points on elliptic curves of the form y^2=(ax+1)(bx+1)(cx+1), where a,b,c are non-zero rationals such that the product of any two of them is one less than a square.
In this note we show that gradient of Harmonic functions on a smooth domain with Lipschitz boundary values is pointwise bounded by a universal function which is in $L^p$ for all finite $p\geq 1$.
Let $C$ be an elliptic curve defined over $\mathbb Q$ by the equation $y^2=x^3+Ax+B$ where $A,B\in\mathbb Q$. A sequence of rational points $(x_i,y_i)\in C(\mathbb Q),\,i=1,2,\ldots,$ is said to form a sequence of consecutive squares on $C$ if the sequence of $x$-coordinates, $x_i,i=1,2,\ldots$, consists of consecutive squares. We produce an infinite family of elliptic curves $C$ with a $5$-term sequence of consecutive squares. Furthermore, this sequence consists of five independent rational points in $C(\mathbb Q)$. In particular, the rank $r$ of $C(\mathbb Q)$ satisfies $r\ge 5$.
In this paper, we use techniques of Conrey, Farmer and Wallace to find spaces of modular forms $S_k(Γ_0(N))$ where all of the eigenspaces have Hecke eigenvalues defined over $\F_p$, and give a heuristic indicating that these are all such spaces.