搜索结果：Degrees

We study tropical Tevelev degrees arising from maps between certain tropical moduli spaces of curves. Building on work of Dawson and Cavalieri, who defined and computed tropical Tevelev degrees in the case of degree $d = g+1$ and $n = g+3$ marked points, we extend the theory by introducing an additional integer parameter $\ell$. In our framework the curve degree and number of marked points vary as $d = g + 1 + \ell$ and $n = g + 3 + 2\ell$, and we analyze the resulting tropical Tevelev degrees for both positive and negative values of $\ell$. This tropicalizes results of Cela, Pandharipande, and Schmitt on algebraic Tevelev degrees. We then further broaden the framework by introducing generalized tropical Tevelev degrees, providing the tropical counterpart to the generalized Tevelev degrees studied by Cela and Lian. These results establish a wider set of computational and structural patterns for intersection calculations on tropical moduli spaces and reveal new behavior beyond the classical setting.

In recent work, the notion of $m$-rigidity was introduced as a sufficient condition for the existence of infinite antichains of $1$-degrees inside many-one degrees. Motivated by a recent preprint of Richter, Stephan, and Zhang on finite-one degrees inside many-one degrees, we study the finite-one structure of the many-one degree of an $m$-rigid set. First, combining bi-immunity of $m$-rigid sets with a theorem of Richter, Stephan, and Zhang, we show that for Lebesgue-almost every set $A$, and for a comeager class of sets $A$, the many-one degree $°_m(A)$ contains a least finite-one degree. Second, we prove that if $A$ is $m$-rigid, then $°_m(A)$ contains infinitely many pairwise incomparable finite-one degrees. More precisely, we construct representatives $B_S \equiv_m A$, indexed by computable sets $S$, such that $T \setminus S$ infinite implies $B_T ot\leq_{fin} B_S$. Third, inside a single finite-one degree we build a strict ascending chain \[ A_{(1)} <_1 A_{(2)} <_1 \cdots \] of $1$-degrees. These results yield almost-sure and comeager partial answers to the first two open problems posed by Richter, Stephan, and Zhang.

Martin's Conjecture states that every definable function on the Turing degrees is either constant or increasing, and that every increasing function is an iterate of the Turing jump. This classification has already been corroborated for the class of uniformly invariant functions and a long-standing conjecture by Steel is that every definable function on the Turing degrees is equivalent to a uniformly invariant one. We explore whether a similar classification is possible in the enumeration degrees, an extension of the Turing degrees. We show that the spectrum of behavior is much wider in the enumeration degrees, even for uniformly invariant functions. However, our main result is that uniformly invariant functions behave locally as nicely as possible: they are constant, increasing, or above the skip operator. As a consequence, we show that there is a definable function in the enumeration degrees that is not equivalent to a uniformly invariant one on any cone.

We compare the degrees of enumerability and the closed Medvedev degrees and find that many situations occur. There are nonzero closed degrees that do not bound nonzero degrees of enumerability, there are nonzero degrees of enumerability that do not bound nonzero closed degrees, and there are degrees that are nontrivially both degrees of enumerability and closed degrees. We also show that the compact degrees of enumerability exactly correspond to the cototal enumeration degrees.

The Ziegler degrees were introduced to characterize definability in group theory. In [JLSta], the authors show that the first order-theory of the Ziegler degrees (as a partial order) is undecidable. We improve this result, showing that the theory of the Ziegler degrees is bi-interpretable with true second-order arithmetic.

Big Ramsey degrees of Fraïssé limits of finitely constrained free amalgamation classes in finite binary languages have been recently fully characterised by Balko, Chodounský, Dobrinen, Hubička, Konečný, Vena, and Zucker. A special case of this characterisation is the universal homogeneous $K_4$-free graph. We give a self-contained and relatively compact presentation of this case and compute the actual big Ramsey degrees of small graphs.

We define the tropical Tevelev degrees, $\mathsf{Tev}_g^{trop}$, as the degree of a natural finite morphism between certain tropical moduli spaces, in analogy to the algebraic case. We develop an explicit combinatorial construction that computes $\mathsf{Tev}_g^{trop} = 2^g$. We prove that these tropical enumerative invariants agree with their algebraic counterparts, giving an independent tropical computation of the algebraic degrees $Tev_g$.

A degree of a module $M$ is a numerical measure of information carried by $M$. We highlight some of Vasconcelos' outstanding contributions to the theory of degrees, bridging commutative algebra and computational algebra. We present several degrees he introduced and developed, including arithmetic degree, jdeg, homological degree, cohomological degrees, canonical degree and bi-canonical degree. For the canonical and bi-canonical degrees we discuss recent developments motivated by our joint works.

We prove asymptotic estimates for the growth in the degree of the Hodge locus in terms of arithmetic properties of the integral vectors that define it. Our methods are general and apply to most variations of Hodge structures for which the Hodge locus is dense. As applications we give asymptotic formulas controlling the degrees of Noether-Lefschetz loci associated to smooth projective hypersurfaces in $\mathbb{P}^3$, and the degrees of subvarieties of the Torelli locus parameterizing Jacobians split up to isogeny.

The Weihrauch degrees and strong Weihrauch degrees are partially ordered structures representing degrees of unsolvability of various mathematical problems. Their study has been widely applied in computable analysis, complexity theory, and more recently, also in computable combinatorics. We answer an open question about the algebraic structure of the strong Weihrauch degrees, by exhibiting a join operation that turns these degrees into a lattice. Previously, the strong Weihrauch degrees were only known to form a lower semi-lattice. We then show that unlike the Weihrauch degrees, which are known to form a distributive lattice, the lattice of strong Weihrauch degrees is not distributive. Therefore, the two structures are not isomorphic.

Degrees of freedom is a fundamental concept in statistical modeling, as it provides a quantitative description of the amount of fitting performed by a given procedure. But, despite this fundamental role in statistics, its behavior not completely well-understood, even in some fairly basic settings. For example, it may seem intuitively obvious that the best subset selection fit with subset size k has degrees of freedom larger than k, but this has not been formally verified, nor has is been precisely studied. In large part, the current paper is motivated by this particular problem, and we derive an exact expression for the degrees of freedom of best subset selection in a restricted setting (orthogonal predictor variables). Along the way, we develop a concept that we name "search degrees of freedom"; intuitively, for adaptive regression procedures that perform variable selection, this is a part of the (total) degrees of freedom that we attribute entirely to the model selection mechanism. Finally, we establish a modest extension of Stein's formula to cover discontinuous functions, and discuss its potential role in degrees of freedom and search degrees of freedom calculations.

In this article, we introduce a notion of reducibility for partial functions on the natural numbers, which we call subTuring reducibility. One important aspect is that the subTuring degrees correspond to the structure of the realizability subtoposes of the effective topos. We show that the subTuring degrees (that is, the realizability subtoposes of the effective topos) form a dense non-modular (thus, non-distributive) lattice. We also show that there is a nonzero join-irreducible subTuring degree (which implies that there is a realizability subtopos of the effective topos that cannot be decomposed into two smaller realizability subtoposes).

Group-based models appear in algebraic statistics as mathematical models coming from evolutionary biology, respectively the study of mutations of organisms. Both theoretically and in terms of applications, we are interested in determining the algebraic degrees of the phylogenetic varieties coming from these models. These algebraic degrees are called phylogenetic degrees. In this paper, we compute the phylogenetic degree of the variety $X_{G, n}$ with $G\in\{\mathbb{Z}_2,\mathbb{Z}_2\times\mathbb{Z}_2, \mathbb{Z}_3\}$ and any $n$-claw tree. As these varieties are toric, computing their phylogenetic degree relies on computing the volume of their associated polytopes $P_{G,n}$. We apply combinatorial methods and we give concrete formulas for them.

It is known that infinitely many Medvedev degrees exist inside the Muchnik degree of any nontrivial $Π^0_1$ subset of Cantor space. We shed light on the fine structures inside these Muchnik degrees related to learnability and piecewise computability. As for nonempty $Π^0_1$ subsets of Cantor space, we show the existence of a finite-$Δ^0_2$-piecewise degree containing infinitely many finite-$(Π^0_1)_2$-piecewise degrees, and a finite-$(Π^0_2)_2$-piecewise degree containing infinitely many finite-$Δ^0_2$-piecewise degrees (where $(Π^0_n)_2$ denotes the difference of two $Π^0_n$ sets), whereas the greatest degrees in these three "finite-$Γ$-piecewise" degree structures coincide. Moreover, as for nonempty $Π^0_1$ subsets of Cantor space, we also show that every nonzero finite-$(Π^0_1)_2$-piecewise degree includes infinitely many Medvedev (i.e., one-piecewise) degrees, every nonzero countable-$Δ^0_2$-piecewise degree includes infinitely many finite-piecewise degrees, every nonzero finite-$(Π^0_2)_2$-countable-$Δ^0_2$-piecewise degree includes infinitely many countable-$Δ^0_2$-piecewise degrees, and every nonzero Muchnik (i.e., countable-$Π^0_2$-piecewise) degree includes infinitely many

We identify a notion of reducibility between predicates, called instance reducibility, which commonly appears in reverse constructive mathematics. The notion can be generally used to compare and classify various principles studied in reverse constructive mathematics (formal Church's thesis, Brouwer's Continuity principle and Fan theorem, Excluded middle, Limited principle, Function choice, Markov's principle, etc.). We show that the instance degrees form a frame, i.e., a complete lattice in which finite infima distribute over set-indexed suprema. They turn out to be equivalent to the frame of upper sets of truth values, ordered by the reverse Smyth partial order. We study the overall structure of the lattice: the subobject classifier embeds into the lattice in two different ways, one monotone and the other antimonotone, and the $\lnot\lnot$-dense degrees coincide with those that are reducible to the degree of Excluded middle. We give an explicit formulation of instance degrees in a relative realizability topos, and call these extended Weihrauch degrees, because in Kleene-Vesley realizability the $\lnot\lnot$-dense modest instance degrees correspond precisely to Weihrauch degrees. T

We give a characterization of the strong degrees of categoricity of computable structures greater or equal to $\mathbf 0''$. They are precisely the \emph{treeable} degrees -- the least degrees of paths through computable trees -- that compute $\mathbf 0''$. As a corollary, we obtain several new examples of degrees of categoricity. Among them we show that every degree $\mathbf d$ with $\mathbf 0^{(α)}\leq \mathbf d\leq \mathbf 0^{(α+1)}$ for $α$ a computable ordinal greater than $2$ is the strong degree of categoricity of a rigid structure. Using quite different techniques we show that every degree $\mathbf d$ with $\mathbf 0'\leq \mathbf d\leq \mathbf 0''$ is the strong degree of categoricity of a structure. Together with the above example this answers a question of Csima and Ng. To complete the picture we show that there is a degree $\mathbf d$ with $\mathbf 0'< \mathbf d< \mathbf 0''$ that is not the degree of categoricity of a rigid structure.

While the concept of entanglement for distinguishable particles is well established, defining entanglement and non-locality in systems of indistinguishable particles, which require the use of the (anti)symmetrization postulate, remains challenging, and multiple approaches have been proposed to address this issue. In this work we study the problem of detecting genuine tripartite entanglement among systems of indistinguishable bosons. A genuine entangled state is one that cannot be separable under any bipartition, where separability in the indistinguishable regime is defined by the existence of single particle properties within each subsystem, without the possibility of knowing which property belongs to which subsystem. We use an algorithm that allows us to search for these single particle properties and, consequently, rank states according to their degree of separability. In particular, we introduce a state of indistinguishable bosons with analogous properties to those of the standard GHZ state.

We show that every infinite, locally finite, and connected graph admitsa translation-like action by $\mathbb{Z}$, and that this action can be takento be transitive exactly when the graph has either one or two ends.The actions constructed satisfy $d(v,v\ast 1)\leq3$ for every vertex$v$. This strengthens a theorem by Brandon Seward. We also study the effective computability of translation-like actionson groups and graphs. We prove that every finitely generated infinitegroup with decidable word problem admits a translation-like actionby $\mathbb{Z}$ which is computable, and satisfies an extra condition whichwe call decidable orbit membership problem. As a nontrivial application of our results, we prove that for everyfinitely generated infinite group with decidable word problem, effectivesubshifts attain all $Π_{1}^{0}$ Medvedev degrees. This extends a classification proved by Joseph Miller for $\mathbb{Z}^{d},$ $d\geq1$.