共找到 20 条结果
The largest matching root of a $k$-graph is the largest real root of its matching polynomial, which is equal to the maximum modulus of all the zeros of the matching polynomial. In this paper, we investigate the perturbation of the largest matching root of $k$-graphs. We determine all $k$-graphs whose largest matching root attains the maximum among all $k$-cacti and linear $k$-cacti with a given number of cycles and edges, where a $k$-cactus is a $k$-graph in which every two distinct cycles have at most one vertex in common. To achieve this, we prove that the celebrated shifting operation of $k$-graphs, introduced by Erdős, Ko and Rado, does not decrease the largest matching root. This result extends a classical result by Csikvári (Electron. J. Combin. {\bf 18} (2011) $\#$P182) stating that the Kelmans transformation does not decrease the largest matching root of graphs.
We study the location of the largest spacing generated by the order statistics of a sample from the standard exponential distribution. Although the asymptotic behaviour of the largest spacing itself is well understood, considerably less is known about the index at which it is attained. Using the independence and unequal rates of exponential spacings, we derive exact finite-sample formulas and show that, when measured relative to the right endpoint, the location of the largest spacing converges in distribution to a non-degenerate probability distribution on the positive integers. We obtain explicit integral representations for the limiting probabilities and, using Euler's pentagonal number theorem, derive a series representation involving the generalized pentagonal numbers. This reveals that the Euler product appearing in the limiting distribution of the largest exponential spacing also governs the distribution of its location. The convergence result is also extended to the location of the largest $m$-spacing for every fixed $m\geq 1$, despite the dependence among overlapping $m$-spacings. Numerical values illustrate the concentration of the limiting distribution near the right endp
In this paper, we propose a class of elementary plane geometry problems closely related to the title of this paper. Here, a circle is the 1-dimensional curve bounding a disk. For any nonnegative integer, a circle is called $n$-enclosing if it contains exactly $n$ lattice points on the $xy$-plane in its interior. The main questions are when the largest $n$-enclosing circle exists and what the largest radius is. We study the small integer cases by hand and extend to all $n<1100$ with the aid of a computer. We find that frequently such a circle does not exist, e.g., when $n=5,6$. We then show a few general results on these circles including some regularities among their radii and an easy criterion to determine exactly when largest $n$-enclosing circles exist. Further, from numerical evidence, we conjecture that the set of integers whose largest enclosing circles exist is infinite, and so is its complementary in the set of nonnegative integers. Throughout this paper we present more mysteries/problems/conjectures than answers/solutions/theorems. In particular, we list many conjectures and some unsolved problems including possible higher dimensional generalizations at the end of the l
We interpret the ranks of the rational homotopy groups of a K3 surface as dimensions of representations for the largest sporadic simple Mathieu group. We then construct a vertex algebra equipped with an action by the largest Mathieu group, and use it to associate Jacobi forms to this interpretation, in a compatible way. Our results suggest a topological role for the sporadic simple Mathieu groups in the theory of K3 surfaces.
We introduce a new approach for the adaptation of the Maximal Internal Envelope method, extended to address the Largest Empty Sphere problem within unstructured 3D point clouds. We explore the identification of the Largest Empty Sphere by computing Convex Hull vertices and employing a Voidness Score based on Minimal Distance Scoring for optimal segment selection. The integration of Delaunay triangulation and Voronoi diagrams facilitates the initial identification of potential Largest Empty Sphere candidates. Our analysis reveals the method's efficacy and efficiency, often locating the Largest Empty Sphere in initial computational stages, suggesting a lower complexity than initially projected.
The paper introduce a new type of partitions where the largest part appears exactly once, and the remaining parts constitute a partition of that largest part. We derive the generating function associated with these partitions and subsequently explore several variations, providing the corresponding generating functions for each variant.
This short note studies the fluctuations of the largest eigenvalue of symmetric random matrices with correlated Gaussian entries having positive mean. Under the assumption that the covariance kernel is absolutely summable, it is proved that the largest eigenvalue, after centering, converges in distribution to normal with an explicitly defined mean and variance. This result generalizes known findings for Wigner matrices with independent entries.
Let $G$ be a connected graph with vertex set $V(G)$. The distance, $d_G(u,v)$, between vertices $u$ and $v$ in $G$ is defined as the length of a shortest path between $u$ and $v$ in $G$. The distance matrix of $G$ is the matrix $D(G)=(d_G(u,v))_{u,v\in V(G)}$. The second largest distance eigenvalue of $G$ is the second largest one in the spectrum of $D(G)$. We show that any connected graph with the second largest distance eigenvalue less than $\frac{-3+\sqrt{5}}{2}$ is chordal, and characterize those bicyclic graphs and split graphs with the second largest distance eigenvalue less than $-\frac{1}{2}$.
A \emph{palindrome} is a word that reads the same forwards and backwards. A \emph{block palindrome factorization} (or \emph{BP-factorization}) is a factorization of a word into blocks that becomes palindrome if each identical block is replaced by a distinct symbol. We call the number of blocks in a BP-factorization the \emph{width} of the BP-factorization. The \emph{largest BP-factorization} of a word $w$ is the BP-factorization of $w$ with the maximum width. We study words with certain BP-factorizations. First, we give a recurrence for the number of length-$n$ words with largest BP-factorization of width $t$. Second, we show that the expected width of the largest BP-factorization of a word tends to a constant. Third, we give some results on another extremal variation of BP-factorization, the \emph{smallest BP-factorization}. A \emph{border} of a word $w$ is a non-empty word that is both a proper prefix and suffix of $w$. Finally, we conclude by showing a connection between words with a unique border and words whose smallest and largest BP-factorizations coincide.
A bond of a graph $G$ is an inclusion-wise minimal disconnecting set of $G$, i.e., bonds are cut-sets that determine cuts $[S,V\setminus S]$ of $G$ such that $G[S]$ and $G[V\setminus S]$ are both connected. Given $s,t\in V(G)$, an $st$-bond of $G$ is a bond whose removal disconnects $s$ and $t$. Contrasting with the large number of studies related to maximum cuts, there are very few results regarding the largest bond of general graphs. In this paper, we aim to reduce this gap on the complexity of computing the largest bond and the largest $st$-bond of a graph. Although cuts and bonds are similar, we remark that computing the largest bond of a graph tends to be harder than computing its maximum cut. We show that {\sc Largest Bond} remains NP-hard even for planar bipartite graphs, and it does not admit a constant-factor approximation algorithm, unless $P = NP$. We also show that {\sc Largest Bond} and {\sc Largest $st$-Bond} on graphs of clique-width $w$ cannot be solved in time $f(w)\times n^{o(w)}$ unless the Exponential Time Hypothesis fails, but they can be solved in time $f(w)\times n^{O(w)}$. In addition, we show that both problems are fixed-parameter tractable when parameteriz
The symmetry frame formalism is an effective tool for computing the symmetries of a Riemann-Cartan geometry and, in particular, in metric teleparallel geometries. In the case of non-vanishing torsion in a four dimensional Riemann-Cartan geometry, the Minkowski geometry is the only geometry admitting ten affine frame symmetries. Excluding this geometry, the maximal number of affine frame symmetries is seven. A natural question is to ask what four dimensional geometries admit a seven-dimensional group of affine frame symmetries. Such geometries are locally homogeneous and admit the largest isotropy group permitted, and hence are called maximally isotropic. Using the symmetry frame formalism to compute affine frame symmetries along with the additional structure of the torsion tensor, we employ the Cartan-Karlhede algorithm to determine all possible seven-dimensional symmetry groups for Riemann-Cartan geometries.
The famous tree packing conjecture of Gyárfás from 1976 says that any sequence of trees $T_1,\ldots,T_n$ such that $|T_i|=i$ for each $i\in [n]$ packs into the complete $n$-vertex graph $K_n$. Packing even just the largest trees in such a sequence has proven difficult, with Bollobás drawing attention to this in 1995 by conjecturing that, for each $k$, if $n$ is sufficiently large then the largest $k$ trees in any such sequence can be packed into $K_n$. This has only been shown for $k\leq 5$, by Żak, despite many partial results and much related work on the full tree packing conjecture. We prove Bollobás's conjecture, by showing that, moreover, a linear number of the largest trees can be packed in the tree packing conjecture.
In this paper, we show that the largest Laplacian H-eigenvalue of a $k$-uniform nontrivial hypergraph is strictly larger than the maximum degree when $k$ is even. A tight lower bound for this eigenvalue is given. For a connected even-uniform hypergraph, this lower bound is achieved if and only if it is a hyperstar. However, when $k$ is odd, it happens that the largest Laplacian H-eigenvalue is equal to the maximum degree, which is a tight lower bound. On the other hand, tight upper and lower bounds for the largest signless Laplacian H-eigenvalue of a $k$-uniform connected hypergraph are given. For a connected $k$-uniform hypergraph, the upper (respectively lower) bound of the largest signless Laplacian H-eigenvalue is achieved if and only if it is a complete hypergraph (respectively a hyperstar). The largest Laplacian H-eigenvalue is always less than or equal to the largest signless Laplacian H-eigenvalue. When the hypergraph is connected, the equality holds here if and only if $k$ is even and the hypergraph is odd-bipartite.
In this paper, we estimate the largest Lyapunov exponent for open billiards in the plane. We show that the largest Lyapunov exponent is differentiable with respect to a billiard deformation.
We identify largest ideals in Leavitt path algebras: the largest locally left/right artinian (which is the largest semisimple one), the largest locally left/right noetherian without minimal idempotents, the largest exchange, and the largest purely infinite. This last ideal is described as a direct sum of purely infinite simple pieces plus purely infinite non-simple and non-decomposable pieces. The invariance under ring isomorphisms of these ideals is also studied.
In this paper we investigate the top-$k$-selection problem, i.e. determine the largest, second largest, ..., and the $k$-th largest elements, in the dynamic data model. In this model the order of elements evolves dynamically over time. In each time step the algorithm can only probe the changes of data by comparing a pair of elements. Previously only two special cases were studied[2]: finding the largest element and the median; and sorting all elements. This paper systematically deals with $k\in [n]$ and solves the problem almost completely. Specifically, we identify a critical point $k^*$ such that the top-$k$-selection problem can be solved error-free with probability $1-o(1)$ if and only if $k=o(k^*)$. A lower bound of the error when $k=Ω(k^*)$ is also determined, which actually is tight under some condition. On the other hand, it is shown that the top-$k$-set problem, which means finding the largest $k$ elements without sorting them, can be solved error-free for all $k\in [n]$. Additionally, we extend the dynamic data model and show that most of these results still hold.
The set of equivalence classes of cobounded actions of a group on different hyperbolic metric spaces carries a natural partial order. The resulting poset thus gives rise to a notion of the "best" hyperbolic action of a group as the largest element of this poset, if such an element exists. We call such an action a largest hyperbolic action. While hyperbolic groups admit largest hyperbolic actions, we give evidence in this paper that this phenomenon is rare for non-hyperbolic groups. In particular, we prove that many families of groups of geometric origin do not have largest hyperbolic actions, including for instance many 3-manifold groups and most mapping class groups. Our proofs use the quasi-trees of metric spaces of Bestvina--Bromberg--Fujiwara, among other tools. In addition, we give a complete characterization of the poset of hyperbolic actions of Anosov mapping torus groups, and we show that mapping class groups of closed surfaces of genus at least two have hyperbolic actions which are comparable only to the trivial action.
First, we provide an exposition of a theorem due to Slodkowski regarding the largest "eigenvalue" of a convex function. In his work on the Dirichlet problem, Slodkowski introduces a generalized second-order derivative which for $C^2$ functions corresponds to the largest eigenvalue of the Hessian. The theorem allows one to extend an a.e lower bound on this largest "eigenvalue" to a bound holding everywhere. Via the Dirichlet duality theory of Harvey and Lawson, this result has been key to recent progress on the fully non-linear, elliptic Dirchlet problem. Second, we give a dual interpretation of this largest eigenvalue using the Legendre-Fenchel transform, and use this dual perspective to provide an alternative proof to an important step in the proof of the theorem.
In this paper we prove that Amdeberhan's conjecture on the largest size of $(t, t+1, t+2)$-core partitions is true. We also show that the number of $(t, t + 1, t + 2)$-core partitions with the largest size is $1$ or $2$ based on the parity of $t$. More generally, the largest size of $(t,t+1,..., t+p)$-core partitions and the number of such partitions with the largest size are determined.
This short note presents upper bounds of the expectations of the largest singular values/eigenvalues of various types of random tensors in the non-asymptotic sense. For a standard Gaussian tensor of size $n_1\times\cdots\times n_d$, it is shown that the expectation of its largest singular value is upper bounded by $\sqrt {n_1}+\cdots+\sqrt {n_d}$. For the expectation of the largest $\ell^d$-singular value, it is upper bounded by $2^{\frac{d-1}{2}}\prod_{j=1}^{d}n_j^{\frac{d-2}{2d}}\sum^d_{j=1}n_j^{\frac{1}{2}}$. We also derive the upper bounds of the expectations of the largest Z-/H-($\ell^d$)/M-/C-eigenvalues of symmetric, partially symmetric, and piezoelectric-type Gaussian tensors, which are respectively upper bounded by $d\sqrt n$, $d\cdot 2^{\frac{d-1}{2}}n^{\frac{d-1}{2}}$, $2\sqrt m+2\sqrt n$, and $3\sqrt n$.