共找到 20 条结果
Miyaoka proved that a smooth surface of degree $d$ in ${\mathbf{P}}^3({\mathbb{C}})$ contains at most $2d(d-2)$ pairwise disjoint lines. In this note, we verify that the Maschke octic contains $96$ pairwise disjoint lines, thereby proving that Miyaoka's bound is optimal for $d=8$.
It is shown that if $A$ is a unital commutative Banach algebra with a dense set of invertible elements, then the maximal ideal space of $A$ contains no compact, locally connected, simply coconnected subspace of topological dimension $\geq 2$. As a consequence, the existence of a compact set in ${\mathbb C}^2$ with a nontrivial polynomial hull that contains no topological discs is obtained. This strengthens the celebrated result of Stolzenberg from 1963 that there exists a nontrivial polynomial hull that contains no analytic discs, and it answers a question stated in the literature 10 years ago by Dales and Feinstein but considered much earlier.
The scientific question resolved by this paper is that the continuity equation appears as an equivalent language of the system of first-order linear ODE. The main result characterizes the fact that the continuity equation contains non-stochastic motion; a stochastic motion addressed by the continuity equation surely drops its stochastic part in a probabilistic indistinguishable manner.
We prove that for any partition of a set which contains an infinite arithmetic (respectively geometric) progression into two disjoint subsets, at least one of these subsets contains an infinite number of triplets such that each triplet is an arithmetic (respectively geometric) progression.
Let $μ> 2$ and $ε> 0$. We show that, if $G$ is a sufficiently large simple graph of average degree at least $μ$, and $H$ is a random spanning subgraph of $G$ formed by including each edge independently with probability $p \ge \tfrac{1}{μ-1} + ε$, then $H$ contains a cycle with probability at least $1 - ε$.
The purpose of this note is to prove that the set of connective constants of Cayley graphs contains a Cantor space.
We determine the probability that a random k-dimensional subspace of Euclidean n-space contains a positive vector.
Dynamical chiral symmetry breaking and its connection with the generation of hadron masses has historically been viewed as a vacuum phenomenon. We argue that confinement makes such a position untenable. If quark-hadron duality is a reality in QCD, then condensates, those quantities that were commonly viewed as constant empirical mass-scales that fill all spacetime, are instead wholly contained within hadrons; viz., they are a property of hadrons themselves and expressed, e.g., in their Bethe-Salpeter or light-front wave functions. We explain that this paradigm is consistent with empirical evidence, and incidentally expose misconceptions in a recent Comment.
The Big-Line-Big-Clique Conjecture of Kara, Por and Wood asserts that, for every fixed $k$ and $\ell$, every sufficiently large finite planar point set contains either $k$ collinear points or $\ell$ pairwise visible points. We prove a quantitative form in two structured regimes and isolate the precise ambient obstruction to the full conjecture. The main result is a deterministic cubic-container theorem. If $A \subset \mathbb{R}^2$ has $n$ points, no $k$ collinear points, and all but $s$ points of $A$ lie on a real cubic, then the cubic-supported part of $A$ has a visible clique cover of size $O_k(s+1)$; in particular $V(A)$ contains a clique of size $Ω_k(n/(s+1))$, unless the cubic is the excluded three-line case containing only $O_k(1)$ points. Combining this with the Green-Tao structure theorem, we obtain that every $n$-point set with no $k$ collinear points and at most $Kn$ ordinary lines contains a visible clique of size $Ω_{k,K}(n)$; more strongly, all but $O_K(1)$ points can be partitioned into $O_{k,K}(1)$ mutually visible sets. We also combine the cubic-container theorem with the Elekes-Szabo theorem on triple lines and cubic curves to prove the Big-Line-Big-Clique conclusi
Fici and Saarela ([2]) conjectured that a binary word of length n contains at least $\lfloor n/4 \rfloor$ abelian squares. We slightly extend this conjecture and show that it holds in some special cases. In all other cases we have the following: given a Parikh vector over a two letter alphabet we produce a word with that Parikh vector which we conjecture contains the least possible number of abelian squares.
For a real group $G$, it is known from the work of Kostant and Vogan that the L-packet associated with an L-parameter $\varphi$ of $G$ contains a \emph{generic} representation if and only if the ${}^{\vee}G$-orbit in the variety of geometric parameters corresponding to $\varphi$ is open. In these notes, we generalize this result slightly by proving that the same equivalence holds when the L-packet of $\varphi$ is replaced by the micro-packet attached to $\varphi$ by Adams-Barbasch-Vogan. As a corollary, we deduce the Enhanced Shahidi Conjecture for real groups: the Arthur packet attached to an A-parameter $ψ$ of $G$ contains a generic representation if and only if $ψ|_{\mathrm{SL}_2}$ is trivial.
Let $X\subseteq \mathbb{P}^{3}$ be a very general element of the Noether-Lefschetz divisor that parametrizing smooth quartic surfaces containing a line. Let $L\subseteq X$ denote the corresponding line. We study the curves contained in $X$ and analyze their behavior in the Hilbert scheme. We first determine which linear systems contain smooth irreducible curves. For most classes, we verify that the general member is a smooth point of the expected Hilbert scheme. Finally we compute the Rao function of any curve on $X$.
The $\varepsilon$-boundary of a set ${A}\subseteq\mathbb{R}^2$ is the set $\{{p}\in\mathbb{R}^2:ρ({p},{A})=\varepsilon\}$, where $ρ$ is the Euclidean distance. We prove that if ${A},{B}\subseteq\mathbb{R}^2$ are nonempty, connected sets, ${A}$ is bounded, and $0<\varepsilon<ρ({A},{B})$, then the $\varepsilon$-boundary of ${A}$ contains a simple closed curve (aka a Jordan curve) that separates ${A}$ and ${B}$. This statement follows from the theorem which says that if $\varepsilon>0$ and ${A}\subseteq\mathbb{R}^2$ is a nonempty, bounded, connected set, then the boundary of each component of $\{{p}\in\mathbb{R}^2: ρ({p},{A})>\varepsilon\}$ is a simple closed curve. Another corollary of this theorem is that the $\varepsilon$-boundary of a nonempty, bounded, connected set ${A}\subseteq\mathbb{R}^2$ contains a simple closed curve bounding the domain that contains the open $\varepsilon$-neighbourhood of ${A}$. In all these statements the connectivity condition can be significantly weakened. We also show that, for all $\varepsilon>0$, the $\varepsilon$-boundary of a nonempty, bounded set ${A}\subseteq\mathbb{R}^2$ contains a simple closed curve.
A Mazurkiewicz set is a plane subset that intersect every straight line at exactly two points, and a Sierpiński-Zygmund function is a function from $\mathbb{R}$ into $\mathbb{R}$ that has as little of the standard continuity as possible. Building on the recent work of Kharazishvili, we construct a Mazurkiewicz set that contains a Sierpiński-Zygmund function in every direction and another one that contains none in any direction. Furthermore, we show that whether a Mazurkiewicz set can be expressed as a union of two Sierpiński-Zygmund functions is independent of Zermelo-Fraenkel set theory with the Axiom of Choice (ZFC). Some open problems related to the containment of Hamel functions are stated.
A general construction yielding infinitely many families of $D(m^2)$-triples of triangular numbers is presented. Moreover, each triple obtained from this construction contains the same triangular number $T_n$.
In \cite{striker2018rowmotion} Striker generalized Cameron and Fon-Der-Flaass's notion of a toggle group. In this paper we begin the study of transitive generalized toggle groups that contain a cycle. We first show that if such a group has degree $n$ and contains a transposition or a 3-cycle then the group contains $A_n$. Using the result about transpositions, we then prove that a transitive generalized toggle group that contains a short cycle must be primitive. Employing a result of Jones \cite{jones2014primitive}, which relies on the classification of the finite simple groups, we conclude that any transitive generalized toggle group of degree $n$ that contains a cycle with at least 3 fixed points must also contain $A_n$. Finally, we look at imprimitive generalized toggle groups containing a long cycle and show that they decompose into a direct product of primitive generalized toggle groups each containing a long cycle.
High-performance computing (HPC) systems and cloud data centers are converging, and containers are becoming the default method of portable software deployment. Yet, while containers simplify software management, they face significant performance challenges in HPC environments as they must sacrifice hardware-specific optimizations to achieve portability. Although HPC containers can use runtime hooks to access optimized MPI libraries and GPU devices, they are limited by application binary interface (ABI) compatibility and cannot overcome the effects of early-stage compilation decisions. Acceleration as a Service (XaaS) proposes a vision of performance-portable containers, where a containerized application should achieve peak performance across all HPC systems. We present a practical realization of this vision through Source and Intermediate Representation (IR) containers, where we delay performance-critical decisions until the target system specification is known. We analyze specialization mechanisms in HPC software and propose a new LLM-assisted method for automatic discovery of specializations. By examining the compilation pipeline, we develop a methodology to build containers opti
Recently, Pasarkar, Papadimitriou, and Yannakakis (ITCS 2023) have introduced the new TFNP subclass called PLC that contains the class PPP; they also have proven that several search problems related to extremal combinatorial principles (e.g., Ramsey's theorem and the Sunflower lemma) belong to PLC. This short paper shows that the class PLC also contains PLS, a complexity class for TFNP problems that can be solved by a local search method. However, it is still open whether PLC contains the class PPA.
In 2012, Lévêque, Maffray, and Trotignon conjectured that each graph $G$ that contains no induced subdivision of $K_4$ is $4$-colorable. In this paper, we prove that this conjecture holds when $G$ contains a $K_{1,2,3}$.
This is a retyped version of an unpublished manuscript from 1993. It contains proofs of two conjectures of Colliot-Thélène, Sansuc and Swinnerton-Dyer on the arithmetic of intersections of two quadrics in the case where the variety contains a conic.