搜索结果：lowering

Selective state-space models such as Mamba highlight the practical importance of input-dependent scan recurrences, which preserve linear-time sequence modeling while improving language modeling capabilities. However, these recurrences introduce stricter sequential dependencies than classical structured SSMs, limiting parallel execution on modern accelerators. We present \textbf{ScanWeaver}, a compiler framework that transforms recurrence-based computations into associative scan representations and lowers them end-to-end to executable GPU programs. We use Mamba-style selective scan as a motivating example of a broader class of affine recurrences that arise in modern ML workloads. Rather than targeting a single model family, ScanWeaver elevates this recurrence structure to a first-class compiler abstraction, enabling systematic MLIR-based lowering to compiler-generated Blelloch scan execution on GPUs. Across forward selective-scan workloads with matched local recurrence semantics, we validate affine recurrence decomposition, Blelloch lowering, MLIR GPU lowering, executable artifact generation, and actual GPU execution from generated MLIR. We benchmark the resulting ScanWeaver GPU exe

This paper gives a systematic study of the lowering operators acting on the $K$-$k$-Schur functions, motivated by the pivotal role played by the operators in the definition and study of Katalan functions. A lowering operator formula for closed $K$-$k$-Schur functions is obtained. As an application, a combinatorial proof is provided to a conjecture on closed $k$-Schur Katalan functions, posed by Blasiak, Morse and Seelinger, and recently proved by Ikeda, Iwao and Naito by a different method.

Hydrogen-based direct reduction offers a sustainable pathway to decarbonize the metal production industry. However, stable metal oxides, like Cr$_2$O$_3$, are notoriously difficult to reduce, requiring extremely high temperatures (above 1300 $^\circ$C). Herein, we show how reducing mixed oxides can be leveraged to lower hydrogen-based reduction temperatures of stable oxides and produce alloys in a single process. Using a newly developed thermodynamic framework, we predict the precise conditions (oxygen partial pressure, temperature, and oxide composition) needed for co-reduction. We showcase this approach by reducing Cr$_2$O$_3$ mixed with Fe$_2$O$_3$ at 1100 $^\circ$C, significantly lowering reduction temperatures (by $\geq$200 $^\circ$C). Our model and post-reduction atom probe tomography analysis elucidate that the temperature-lowering effect is driven by the lower chemical activity of Cr in the metallic phase. This strategy achieves low-temperature co-reduction of mixed oxides, dramatically reducing energy consumption and CO$_2$ emissions, while unlocking transformative pathways toward sustainable alloy design.

With the success of transformer architectures across diverse applications, the error correction code transformer (ECCT) has gained significant attention for its superior decoding performance. In spite of its advantages, the error floor problem in ECCT decoding remains unexplored. We present the first investigation into this issue, revealing that ECCT encounters error floors, limiting its effectiveness in practical settings. To address this error floor problem, we adopt a hybrid decoding framework that integrates ECCT with conventional hard decision decoders. Unlike prior hybrid decoding schemes, our key contribution lies in proposing a novel loss function that explicitly takes into account the interaction between ECCT and hard decision decoders during training. The proposed loss function guides ECCT to focus on residual errors that are not corrected by the hard decision stages, effectively lowering the error floor. Simulation results confirm that the hybrid decoder trained with the proposed loss function achieves substantial performance gains over standard ECCT in both the waterfall and the error floor regions.

Despite ample evidence of their influences on the transport properties of two-dimensional solids, the interrelations of reduced symmetry, electronic and thermal transport, have rarely being discussed in the context of thermoelectric materials. With the motivation to design new thermoelectric materials with improved properties, we have addressed these by performing first-principles Density Functional Theory based calculations in conjunction with semi-classical Boltzmann transport theory on a number of compounds in the MXene family. The symmetry lowering in parent M$_{2}$CO$_{2}$ MXenes are done by replacing transition metal $M$ on one surface, resulting in Janus compounds MM$^{\prime}$CO$_{2}$. Our calculations show that the thermoelectric figure-of-merit can be improved significantly by such surface engineering. We discuss in detail, both qualitatively and quantitatively, the origin behind high thermoelectric parameters for these compounds. Our in-depth analysis shows that the modifications in the electronic band structures and degree of anharmonicity driven by the dispersions in the bond strengths due to lowering of symmetry, an artefact of surface engineering, are the factors beh

In this paper, we introduce the notions of lowerable, D-lowerable, P-lowerable, hereditarily lowerable, and hereditarily uniformly lowerable for countably infinite amenable group actions. We show that a system with finite entropy is lowerable, D-lowerable, and P-lowerable, and that asymptotic h-expansiveness is equivalent to hereditary uniform lowerability. Moreover, we prove a Bowen's type theorem for amenable group actions.

Stall patterns are known to cause an error floor in hard decision decoding of the OFEC code. We propose a novel stall pattern removal algorithm that lowers the error floor of state-of-the-art algorithms by an order of magnitude

Tracking climbers' activity to improve services and make the best use of their infrastructure is a concern for climbing gyms. Each climbing session must be analyzed from beginning till lowering of the climber. Therefore, spotting the climbers descending is crucial since it indicates when the ascent has come to an end. This problem must be addressed while preserving privacy and convenience of the climbers and the costs of the gyms. To this aim, a hardware prototype is developed to collect data using accelerometer sensors attached to a piece of climbing equipment mounted on the wall, called quickdraw, that connects the climbing rope to the bolt anchors. The corresponding sensors are configured to be energy-efficient, hence become practical in terms of expenses and time consumption for replacement when using in large quantity in a climbing gym. This paper describes hardware specifications, studies data measured by the sensors in ultra-low power mode, detect sensors' orientation patterns during lowering different routes, and develop an supervised approach to identify lowering.

In this paper, we consider the possibility of generating the observed baryon asymmetry of the Universe via leptogenesis in the context of triplet fermion mediated type-III seesaw model of neutrino mass. With a hierarchical spectrum of the additional fermions, the lower bound on the lightest triplet mass is $\sim 10^{10} {\rm~GeV}$ for successful leptogenesis, a couple of orders higher than that of the type-I case. We investigate the possibility of lowering this bound in the framework of two-Higgs-doublet models. We find that the bounds can be lowered down to $10^7$ GeV for a hierarchical spectrum. If we include the flavor effects, then a further lowering by one order of magnitude is possible. We also discuss if such lowering can be compatible with the naturalness bounds on the triplet mass.

The cubic spinel FeCr2S4 has been receiving immense research interest because of its emergent phases and the interplay of spin, orbital and lattice degrees of freedom. Despite the intense research, several fundamental questions are yet to be answered, such as the refinement of the crystal structure in the different magnetic and orbital ordered phases. Here, using high-resolution synchrotron powder diffraction on stoichiometric crystals of FeCr2S4 we resolved the long sought-after cubic to tetragonal transition at ~65 K, reducing the lattice symmetry to I41/amd. With further lowering the temperature, at ~9 K, the crystal structure becomes polar, hence the compound becomes multiferroic. The elucidation of the lattice symmetry throughout different phases of FeCr2S4 provides a basis for the understanding this enigmatic system and also highlights the importance of structural deformation in correlated materials.

We examine the limiting behavior of multiple ergodic averages associated with arithmetic progressions whose differences are elements of a fixed integer sequence. For each $\ell$, we give necessary and sufficient conditions under which averages of length $\ell$ of the aforementioned form have the same limit as averages of $\ell$-term arithmetic progressions. As a corollary, we derive a sufficient condition for the presence of arithmetic progressions with length $\ell+1$ and restricted differences in dense subsets of integers. These results are a consequence of the following general theorem: in order to verify that a multiple ergodic average is controlled by the degree $d$ Gowers-Host-Kra seminorm, it suffices to show that it is controlled by some Gowers-Host-Kra seminorm, and that the degree $d$ control follows whenever we have degree $d+1$ control. The proof relies on an elementary inverse theorem for the Gowers-Host-Kra seminorms involving dual functions, combined with novel estimates on averages of seminorms of dual functions. We use these estimates to obtain a higher order variant of the degree lowering argument previously used to cover averages that converge to the product of i

For a symmetry consistent theoretical description of the multiferroic phase of Ba$_2$CoGe$_2$O$_7$ a precise knowledge of its crystal structure is a prerequisite. In our previous synchrotron X-ray diffraction experiment on multiferroic Ba$_2$CoGe$_2$O$_7$ at room temperature we found forbidden reflections that favour the tetragonal-to-orthorhombic symmetry lowering of the titled compound. Here, we report the results of room-temperature single-crystal diffraction studies with both hot and cold neutrons to differentiate between the real symmetry lowering and multiple diffraction (the Renninger effect). A comparison of the experimental multiple diffraction patterns with simulated ones rules out the symmetry lowering. Thus, the structural model based on the tetragonal space group $P\bar{4}2_1m$ was selected to describe the Ba$_2$CoGe$_2$O$_7$ symmetry at room temperature. The precise structural parameters from neutron diffraction at 300K are presented and compared with the previous X-ray diffraction results.

X-ray emission spectroscopy is a well-established technique used to study continuum lowering in dense plasmas. It relies on accurate atomic physics models to robustly reproduce high-resolution emission spectra, and depends on our ability to identify spectroscopic signatures such as emission lines or ionization edges of individual charge states within the plasma. Here we describe a method that forgoes these requirements, enabling the validation of different continuum lowering models based solely on the total intensity of plasma emission in systems driven by narrow-bandwidth x-ray pulses across a range of wavelengths. The method is tested on published Al spectroscopy data and applied to the new case of solid-density partially-ionized Fe plasmas, where extracting ionization edges directly is precluded by the significant overlap of emission from a wide range of charge states.

This paper discusses operators lowering or raising the degree but preserving the parameters of special orthogonal polynomials. Results for one-variable classical (q-)orthogonal polynomials are surveyed. For Jacobi polynomials associated with root system BC_2 a new pair of lowering and raising operators is obtained.

In this work we propose a fully experimental method to extract the barrier lowering in short-channel saturated MOSFETs using the Lundstrom backscattering transport model in a one sub-band approximation and carrier degeneracy. The knowledge of the barrier lowering at the operative bias point in the inversion regime is of fundamental importance in device scaling. At the same time we obtain also an estimate of the backscattering ratio and of the saturation inversion charge. Respect to previously reported works on extraction of transport parameters based on the Lundstrom model, our extraction method is fully consistent with it, whereas other methods make a number of approximations in the calculation of the saturation inversion charge which are inconsistent with the model. The proposed experimental extraction method has been validated and applied to results from device simulation and measurements on short-channel poly-Si/SiON gate nMOSFETs with gate length down to 70 nm. Moreover we propose an extension of the backscattering model to the case of 2D geometries (e.g. bulk MOSFETs). We found that, in this case, the backscattering is governed by the carrier transport in a few nanometers clo

Recently Sarah Bockting-Conrad introduced the double lowering operator $ψ$ for a tridiagonal pair. Motivated by $ψ$ we consider the following problem about polynomials. Let $\mathbb F$ denote an algebraically closed field. Let $x$ denote an indeterminate, and let $\mathbb F\lbrack x \rbrack$ denote the algebra consisting of the polynomials in $x$ that have all coefficients in $\mathbb F$. Let $N$ denote a positive integer or $\infty$. Let $\lbrace a_i\rbrace_{i=0}^{N-1}$, $\lbrace b_i\rbrace_{i=0}^{N-1}$ denote scalars in $\mathbb F$ such that $\sum_{h=0}^{i-1} a_h ot= \sum_{h=0}^{i-1} b_h$ for $1 \leq i \leq N$. For $0 \leq i \leq N$ define polynomials $τ_i, η_i \in \mathbb F\lbrack x \rbrack$ by $τ_i = \prod_{h=0}^{i-1} (x-a_h)$ and $η_i = \prod_{h=0}^{i-1} (x-b_h)$. Let $V$ denote the subspace of $\mathbb F\lbrack x \rbrack$ spanned by $\lbrace x^i\rbrace_{i=0}^N$. An element $ψ\in \operatorname{End}(V)$ is called double lowering whenever $ψτ_i \in \mathbb F τ_{i-1}$ and $ψη_i \in \mathbb F η_{i-1}$ for $0 \leq i \leq N$, where $τ_{-1}=0$ and $η_{-1}=0$. We give necessary and sufficient conditions on $\lbrace a_i\rbrace_{i=0}^{N-1}$, $\lbrace b_i\rbrace_{i=0}^{N-1}$ for there t

In this paper we generalize the spin-raising and lowering operators of spin-weighted spherical harmonics to linear-in-$γ$ spin-weighted spheroidal harmonics where $γ$ is an additional parameter present in the second order ordinary differential equation governing these harmonics. One can then generalize these operators to higher powers in $γ$. Constructing these operators required calculating the $\ell$-, $s$- and $m$-raising and lowering operators (and various combinations of them) of spin-weighted spherical harmonics which have been calculated and shown explicitly in this paper.