共找到 20 条结果
In this paper we prove that the Green ring of $\mathbb{Z}/p^e\mathbb{Z}$ is the $e$-fold tensor product of the Green ring of $\mathbb{Z}/p\mathbb{Z}$, and this isomorphism is given by $p$-adic expansions of integers. As an application of this isomorphism, we compute the Hilbert-Kunz function and Hilbert-Kunz multiplicity of Fermat quadrics. Then we use Gelfand transform of the Green ring to give an analytical expression of this Hilbert-Kunz multiplicity, and prove that it decreases with its characteristic, thus giving a positive answer to a conjecture of Yoshida.
Mass loss on the red giant branch (RGB) influences stellar evolution, properties of stellar populations, and Galactic chemical enrichment, yet remains poorly constrained observationally. Current models provide limited insight into how stellar properties, particularly how metallicity and mass, affect RGB mass loss. Here, I introduce a new observational approach that uses the age-velocity-dispersion relation and the lower-mass boundary of red giants as precise evolutionary markers. These markers, informed by Galactic evolution, allow us to construct observational isochrones for field stars. By comparing masses of RGB stars and red clump (RC) stars at the same age in the Kepler sample, I derive empirical measurements of integrated RGB mass loss at several points in age and metallicity. Combining these new observational measurements with open-cluster studies, I showed that the integrated mass loss on the RGB decreases with metallicity, and may also decrease with stellar mass. The average mass-loss rate, which accounts for RGB lifetimes and the initial mass differences between RGB and RC stars at the same age, also shows a similar trend. These findings challenge current mass-loss prescr
Recent research shows that when Gradient Descent (GD) is applied to neural networks, the loss almost never decreases monotonically. Instead, the loss oscillates as gradient descent converges to its ''Edge of Stability'' (EoS). Here, we find a quantity that does decrease monotonically throughout GD training: the sharpness attained by the gradient flow solution (GFS)-the solution that would be obtained if, from now until convergence, we train with an infinitesimal step size. Theoretically, we analyze scalar neural networks with the squared loss, perhaps the simplest setting where the EoS phenomena still occur. In this model, we prove that the GFS sharpness decreases monotonically. Using this result, we characterize settings where GD provably converges to the EoS in scalar networks. Empirically, we show that GD monotonically decreases the GFS sharpness in a squared regression model as well as practical neural network architectures.
On scales of days, the galactic cosmic ray (GCR) flux is affected by coronal mass ejections and corotating interaction regions (CIRs), causing so-called Forbush decreases and recurrent Forbush decreases (RFDs), respectively. We explain the properties and behavior of RFDs recorded at about 1 au that are caused by CIRs generated by solar wind high-speed streams (HSSs) that emanate from coronal holes. We employed a convection-diffusion GCR propagation model based on the Fokker-Planck equation and applied it to solar wind and interplanetary magnetic field properties at 1 au. Our analysis shows that the only two effects that are relevant for a plausible overall explanation of the observations are the enhanced convection effect caused by the increased velocity of the HSS and the reduced diffusion effect caused by the enhanced magnetic field and its fluctuations within the CIR and HSS structure. These two effects that we considered in the model are sufficient to explain not only the main signatures of RFDs, but also the sometimes observed "over-recovery" and secondary dips in RFD profiles. The explanation in terms of the convection-diffusion GCR propagation hypothesis is tested by applyin
After a prolong and deep solar minimum at the end of solar cycle 23, the current cycle 24 is one of the lowest cycles. The two periods of deep minimum and mini-maximum of the cycle 24 are connected by a period of increasing solar activity. In this work, the Forbush decreases of cosmic ray intensity during the period from January 2008 to December 2014 are studied. A statistical analysis of 749 events using the IZMIRAN database of Forbush effects obtained by processing the data of the worldwide neutron monitor network using the global survey method is performed. A further study of the events that happened on the Sun and affected the interplanetary space, and finally provoked the decreases of the galactic cosmic rays near Earth is performed. A statistical analysis of the amplitude of the cosmic ray decreases with solar and geomagnetic parameters is carried out. The results will be useful for space weather studies and especially for Forbush decreases forecasting.
In this paper we propose an approach to the design of processes and software that aims at decreasing human and software errors, that so frequently happen, making affected people using and wasting a lot of time for the need of fixing the errors. We base our statements on the natural relationship between quality and error rate, increasing the latter as the error rate decreases. We try to classify errors into several types and address techniques to reduce the likelihood of making mistakes, depending on the type of error. We focus on this approach related to organization, management and software design that will allow to be more effective and efficient in this period where mankind has been affected by a severe pandemic and where we need to be more efficient and effective in all processes, aiming at an industrial renaissance which we know to be not too far and easily reachable once the path to follow has been characterized, also in the light of the experience.
For an isolated assembly that comprises a system and its surrounding reservoirs, the total entropy ($S_{a}$) always monotonically increases as time elapses. This phenomenon is known as the second law of thermodynamics ($S_{a}\geq0$). Here we analytically prove that, unlike the entropy itself, the entropy variation rate ($B=dS_{a}/dt$) defies the monotonicity for multiple reservoirs ($n\geq2$). In other words, there always exist minima. For example, when a system is heated by two reservoirs from $T=300\,K$ initially to $T=400\,K$ at the final steady state, $B$ decreases steadily first. Then suddenly it turns around and starts to increases at $387\,K$ until it reaches its steady-state value, exhibiting peculiar dipping behaviors. In addition, the crux of our work is the proof that a newly-defined variable, $B/T$, always decreases. Our proof involves the Newton's law of cooling, in which the heat transfer coefficient is assumed to be constant. These theoretical macro-scale findings are validated by numerical experiments using the Crank-Nicholson method, and are illustrated with practical examples. They constitute an alternative to the traditional second-law statement, and may provide
Cosmic ray Forbush decreases (FDs) are usually thought to be due to Earth-directed coronal mass ejections (CMEs) from the Sun and their associated shocks. When CMEs and their shocks reach the Earth, they cause magnetic field compressions. We seek to understand the relation between these magnetic field compressions and FDs at rigidities between 12 and 42 GV using data from the GRAPES-3 instrument at Ooty. We find that the shapes of the Forbush decrease profiles show a startling similarity to that of the magnetic field compression in the near-Earth IP medium. We seek to understand the implications of this interesting result.
It was recently recognized that interdependencies among different networks can play a crucial role in triggering cascading failures and hence system-wide disasters. A recent model shows how pairs of interdependent networks can exhibit an abrupt percolation transition as failures accumulate. We report on the effects of topology on failure propagation for a model system consisting of two interdependent networks. We find that the internal node correlations in each of the two interdependent networks significantly changes the critical density of failures that triggers the total disruption of the two-network system. Specifically, we find that the assortativity (i.e. the likelihood of nodes with similar degree to be connected) within a single network decreases the robustness of the entire system. The results of this study on the influence of assortativity may provide insights into ways of improving the robustness of network architecture, and thus enhances the level of protection of critical infrastructures.
We study renormalization group flows in unitary two dimensional sigma models with asymptotically flat target spaces. Applying an infrared cutoff to the target space, we use the Zamolodchikov c-theorem to demonstrate that the target space ADM energy of the UV fixed point is greater than that of the IR fixed point: spacetime energy decreases under world-sheet RG flow. This result mirrors the well understood decrease of spacetime Bondi energy in the time evolution process of tachyon condensation.
We consider the evolution of variance of entropy (varentropy) in the course of a polar transform operation on binary data elements (BDEs). A BDE is a pair $(X,Y)$ consisting of a binary random variable $X$ and an arbitrary side information random variable $Y$. The varentropy of $(X,Y)$ is defined as the variance of the random variable $-\log p_{X|Y}(X|Y)$. A polar transform of order two is a certain mapping that takes two independent BDEs and produces two new BDEs that are correlated with each other. It is shown that the sum of the varentropies at the output of the polar transform is less than or equal to the sum of the varentropies at the input, with equality if and only if at least one of the inputs has zero varentropy. This result is extended to polar transforms of higher orders and it is shown that the varentropy decreases to zero asymptotically when the BDEs at the input are independent and identially distributed.
Climate models simulate a strong land-ocean contrast in the response of near-surface relative humidity to global warming: relative humidity tends to increase slightly over oceans but decrease substantially over land. Surface energy balance arguments have been used to understand the response over ocean but are difficult to apply over more complex land surfaces. Here, a conceptual box model is introduced, involving moisture transport between the land and ocean boundary layers and evapotranspiration, to investigate the decreases in land relative humidity as the climate warms. The box model is applied to idealized and full-complexity (CMIP5) general circulation model simulations, and it is found to capture many of the features of the simulated changes in land relative humidity. The box model suggests there is a strong link between fractional changes in specific humidity over land and ocean, and the greater warming over land than ocean then implies a decrease in land relative humidity. Evapotranspiration is of secondary importance for the increase in specific humidity over land, but it matters more for the decrease in relative humidity. Further analysis shows there is a strong feedback
Since 1993, a muon telescope located at Forschungszentrum Karlsruhe (Karlsruhe Muon Telescope) has been recording the flux of single muons mostly originating from primary cosmic-ray protons with dominant energies in the 10 - 20 GeV range. The data are used to investigate the influence of solar effects on the flux of cosmic-rays measured at Earth. Non-periodic events like Forbush decreases and ground level enhancements are detected in the registered muon flux. A selection of recent events will be presented and compared to data from the Jungfraujoch neutron monitor. The data of the Karlsruhe Muon Telescope help to extend the knowledge about Forbush decreases and ground level enhancements to energies beyond the neutron monitor regime.
The free energy is shown to decrease along Wilson renormalization group trajectories, in a dimension-independent fashion, for $d>2.$ The argument assumes the monotonicity of the cutoff function, and positivity of a spectral representation of the two point function. The argument is valid to all orders in perturbation theory.
We seek to estimate the average level of MHD turbulence near coronal mass ejection (CME) fronts as they propagate from the Sun to the Earth. We examine the cosmic ray data from the GRAPES-3 tracking muon telescope at Ooty, together with the data from other sources for three well observed Forbush decrease events. Each of these events are associated with frontside halo Coronal Mass Ejections (CMEs) and near-Earth magnetic clouds. In each case, we estimate the magnitude of the Forbush decrease using a simple model for the diffusion of high energy protons through the largely closed field lines enclosing the CME as it expands and propagates from the Sun to the Earth. We use estimates of the cross-field diffusion coefficient $D_{\perp}$ derived from published results of extensive Monte Carlo simulations of cosmic rays propagating through turbulent magnetic fields. Our method helps constrain the ratio of energy density in the turbulent magnetic fields to that in the mean magnetic fields near the CME fronts. This ratio is found to be $\sim$ 2% for the 11 April 2001 Forbush decrease event, $\sim$ 6% for the 20 November 2003 Forbush decrease event and $\sim$ 249% for the much more energetic
Tree rearrangements such as Nearest Neighbor Interchange (NNI) and Subtree Prune and Regraft (SPR) are commonly used to explore phylogenetic treespace. Computing distances based on them, however, is often intractable, so the efficiently computable Robinson-Foulds (RF) distance is used in practice. We investigate how the RF distance behaves along paths in the NNI and SPR graphs, where trees are nodes, edges represent single rearrangements. We show that any two trees are connected by a path along which the RF distance to the target decreases monotonically in the NNI graph and strictly in the SPR graph; we also exhibit trees for which no strictly decreasing NNI path exists.
Adding entropic regularization to Optimal Transport (OT) problems has become a standard approach for designing efficient and scalable solvers. However, regularization introduces a bias from the true solution. To mitigate this bias while still benefiting from the acceleration provided by regularization, a natural solver would adaptively decrease the regularization as it approaches the solution. Although some algorithms heuristically implement this idea, their theoretical guarantees and the extent of their acceleration compared to using a fixed regularization remain largely open. In the setting of semi-discrete OT, where the source measure is continuous and the target is discrete, we prove that decreasing the regularization can indeed accelerate convergence. To this end, we introduce DRAG: Decreasing (entropic) Regularization Averaged Gradient, a stochastic gradient descent algorithm where the regularization decreases with the number of optimization steps. We provide a theoretical analysis showing that DRAG benefits from decreasing regularization compared to a fixed scheme, achieving an unbiased $\mathcal{O}(1/t)$ sample and iteration complexity for both the OT cost and the potential
This paper deals with local certification, specifically locally checkable proofs: given a graph property, the task is to certify whether a graph satisfies the property. The verification of this certification needs to be done locally without the knowledge of the whole graph. More precisely, a distributed algorithm, called a verifier, is executed on each vertex. The verifier observes the local neighborhood up to a constant distance and either accepts or rejects. We examine the trade-off between the visibility radius and the size of certificates. We describe a procedure that decreases the radius by encoding the neighbourhood of each vertex into its certificate. We also provide a corresponding lower bound on the required certificate size increase, showing that such an approach is close to optimal.
We call a continuous path of polygons decreasing if the convex hulls of the polygons form a decreasing family of sets. For an arbitrary polygon of more than three vertices, we characterize the polygons contained in it that can be reached by a decreasing path (attainability problem), and we show that this can be done by a finite application of "pull-in" moves (bang-bang problem). In the case of triangles, this problems was investigated by Goodman, Johansen, Ramsey, and Frydman among others, in connection with the embeddability problem for non-homogeneous Markov processes.
This paper defines two decreasing measures for terms of the simply typed lambda-calculus, called the W-measure and the Tm-measure. A decreasing measure is a function that maps each typable lambda-term to an element of a well-founded ordering, in such a way that contracting any beta-redex decreases the value of the function, entailing strong normalization. Both measures are defined constructively, relying on an auxiliary calculus, a non-erasing variant of the lambda-calculus. In this system, dubbed the m-calculus, each beta-step creates a "wrapper" containing a copy of the argument that cannot be erased and cannot interact with the context in any other way. Both measures rely crucially on the observation, known to Turing and Prawitz, that contracting a redex cannot create redexes of higher degree, where the degree of a redex is defined as the height of the type of its lambda-abstraction. The W-measure maps each lambda-term to a natural number, and it is obtained by evaluating the term in the m-calculus and counting the number of remaining wrappers. The Tm-measure maps each lambda-term to a structure of nested multisets, where the nesting depth is proportional to the maximum redex de