A ring is *unit-additive* if a sum of units is always either a unit or nilpotent. For example, $k[X]$ and $k[X]/(X^2)$ are unit-additive, but $\mathbb Z$ is not. We prove a wide-ranging theorem about unit-additivity in semigroup rings, showing among other things that an affine semigroup ring $A[M]$ is unit-additive if and only if $A$ is unit-additive and $M$ has no nontrivial invertible elements. Passing to algebraic geometry, we show that an irreducible affine variety $V$ over an algebraically closed field $k$ has unit-additive coordinate ring if and only if any polynomial mapping $V \rightarrow k$ has a root. This then places $\mathbb A^1_k$ into the class of varieties that satisfy a version of the Fundamental Theorem of Algebra. Specializing to elliptic curves, we show that the affine coordinate ring of an elliptic curve is always unit-additive. The concept of unit additivity leads to the related concept of unit dimension -- i.e. how far is an integral domain from being unit-additive? It turns out that rings of unit dimension 1 are of some interest, as they include the rings of integers of number fields, all power series rings, and most local rings. We construct rings of all uni
The train unit scheduling problem (TUSP) is an important part of the scheduling process for passenger railway operators. Currently, scholars in various countries have proposed a variety of optimization models based on specific local railway situations and scheduling needs. This research investigates the train unit scheduling problem in the UK. We propose an Enhanced Train Unit Scheduling Problem with Unit Ordering based on existing integer multicommodity flow models. We innovatively introduce unit ordering variables representing the order in which train units are coupled for serving the same trip as well as train direction parameters so that our model can provide unit order information and avoid unit blockage in stations. We present experimental results based on three different sizes of artificial data, as well as real-world data based on the Trans Pennine Express' Anglo-Scottish route. The experimental results showed that our model is able to provide the ordering information corresponding to each train unit and prevents the blockage in the station.
Unit-generated orders of a quadratic field are orders of the form $\mathcal{O} = \mathbb{Z}[\varepsilon]$, where $\varepsilon$ is a unit in the quadratic field. If the order $\mathcal{O}$ is a maximal order of a real quadratic field, then the quadratic number field is necessarily of a restricted form, being of narrow Richaud--Degert type. However, every real quadratic field contains infinitely many distinct unit-generated orders. They are parametrized as $\mathcal{O} = \mathcal{O}_{n}^{\pm}$ having quadratic discriminants $Δ(\mathcal{O}) = Δ_{n}^{+} = n^2 - 4$ (for $n \geq 3$) and $Δ(\mathcal{O}) = Δ_{n}^{-} = n^2 + 4$ (for $n \geq 1$). We show the (wide or narrow) class numbers of unit-generated orders satisfy $\log \left|{\rm Cl}(\mathcal{O})\right| \sim \log \frac{1}{2}\left|Δ(\mathcal{O})\right|$ as $\left|Δ(\mathcal{O})\right| \to \infty$, using a result of L.-K. Hua. We deduce that there are finitely many unit-generated quadratic orders of class number one and finitely many unit-generated quadratic orders whose class group is $2$-torsion. We classify all unit-generated real quadratic orders having class number one. We provide numerical lists of quadratic unit-generated orders
Scaling humanoid foundation models is bottlenecked by the scarcity of robotic data. While massive egocentric human data offers a scalable alternative, bridging the cross-embodiment chasm remains a fundamental challenge due to kinematic mismatches. We introduce UniT (Unified Latent Action Tokenizer via Visual Anchoring), a framework that establishes a unified physical language for human-to-humanoid transfer. Grounded in the philosophy that heterogeneous kinematics share universal visual consequences, UniT employs a tri-branch cross-reconstruction mechanism: actions predict vision to anchor kinematics to physical outcomes, while vision reconstructs actions to filter out irrelevant visual confounders. Concurrently, a fusion branch synergies these purified modalities into a shared discrete latent space of embodiment-agnostic physical intents. We validate UniT across two paradigms: 1) Policy Learning (VLA-UniT): By predicting these unified tokens, it effectively leverages diverse human data to achieve state-of-the-art data efficiency and robust out-of-distribution (OOD) generalization on both humanoid simulation benchmark and real-world deployments, notably demonstrating zero-shot task
We compute the integral of monomials of the form $x^{2β}$ over the unit sphere and the unit ball in $R^n$ where $β= (β_1,...,β_n)$ is a multi-index with real components $β_k > -1/2$, $1 \le k \le n$, and discuss their asymptotic behavior as some, or all, $β_k \to\infty$. This allows for the evaluation of integrals involving circular and hyperbolic trigonometric functions over the unit sphere and the unit ball in $ R^n$. We also consider the Fourier transform of monomials $x^α$ restricted to the unit sphere in $R^n$, where the multi-indices $α$ have integer components, and discuss their behaviour at the origin.
In Clique Cover, given a graph $G$ and an integer $k$, the task is to partition the vertices of $G$ into $k$ cliques. Clique Cover on unit ball graphs has a natural interpretation as a clustering problem, where the objective function is the maximum diameter of a cluster. Many classical NP-hard problems are known to admit $2^{O(n^{(1 - 1/d)})}$-time algorithms on unit ball graphs in $\mathbb{R}^d$ [de Berg et al., SIAM J. Comp 2018]. A notable exception is the Maximum Clique problem, which admits a polynomial-time algorithm on unit disk graphs and a subexponential algorithm on unit ball graphs in $\mathbb{R}^3$, but no subexponential algorithm on unit ball graphs in dimensions 4 or larger, assuming the ETH [Bonamy et al., JACM 2021]. In this work, we show that Clique Cover also suffers from a "curse of dimensionality", albeit in a significantly different way compared to Maximum Clique. We present a $2^{O(\sqrt{n})}$-time algorithm for unit disk graphs and argue that it is tight under the ETH. On the other hand, we show that Clique Cover does not admit a $2^{o(n)}$-time algorithm on unit ball graphs in dimension $5$, unless the ETH fails.
The International System of Units (SI) is supposed to be coherent. That is, when a combination of units is replaced by an equivalent unit, there is no additional numerical factor. Here we consider dimensionless units as defined in the SI, {\it e.g.} angular units like radians or steradians and counting units like radioactive decays or molecules. We show that an incoherence may arise when different units of this type are replaced by a single dimensionless unit, the unit "one", and suggest how to properly include such units into the SI in order to remove the incoherence. In particular, we argue that the radian is the appropriate coherent unit for angles and that hertz is not a coherent unit in the SI. We also discuss how including angular and counting units affects the fundamental constants.
We study the gap between the minimum size of a Boolean circuit (DAG) and the minimum size of a formula (tree circuit) over the And-Inverter Graph (AIG) basis {AND, NOT} with free inversions. We prove that this gap is always 0 or 1 (Unit Gap Theorem), that sharing requires opt(f) >= n essential variables (Threshold Theorem), and that no sharing is needed when opt(f) <= 3 (Tree Theorem). Gate counts in optimal circuits satisfy an exact decomposition formula with a binary sharing term. When the gap equals 1, it arises from exactly one gate with fan-out 2, employing either dual-polarity or same-polarity reuse; we prove that no other sharing structure can produce a unit gap.
Explicit lower bounds for the length of the shortest opaque set for the unit disc and the unit square in the Euclidean plane are derived. The results are based on an explicit application of the general method of Kawamura, Moriyama, Otachi and Pach. Employing a recent observation by Steinerberger on the possible orientations of straight barriers with length close to Jones' bound, we improve the bound for the unit square by more than a factor $3$. The bound for barriers of the unit disc is new and based on the idea that the free parameters in the general method from can be optimized due to the strong symmetry properties of the disc. Our approach illustrates both the power and the limitations of the method.
Unitally nondistributive quantales are unital quantales such that the unit is approximable by the totally below relation and does not meet-distribute over arbitrary joins. It is shown that the underlying nondistributive complete lattice contains at least $7$ elements. Moreover, under mild conditions, every quantale has an extension to a unitally nondistributive quantale by the addition of an isolated unit. As a byproduct of this construction we prove that there exist $30$ non-isomorphic, unitally nondistributive quantales on the set of $7$ elements.
We explore an alternative definition of unit in a monoidal category originally due to Saavedra: a Saavedra unit is a cancellative idempotent (in a 1-categorical sense). This notion is more economical than the usual notion in terms of left-right constraints, and is motivated by higher category theory. To start, we describe the semi-monoidal category of all possible unit structures on a given semi-monoidal category and observe that it is contractible (if nonempty). Then we prove that the two notions of units are equivalent in a strong functorial sense. Next, it is shown that the unit compatibility condition for a (strong) monoidal functor is precisely the condition for the functor to lift to the categories of units, and it is explained how the notion of Saavedra unit naturally leads to the equivalent non-algebraic notion of fair monoidal category, where the contractible multitude of units is considered as a whole instead of choosing one unit. To finish, the lax version of the unit comparison is considered. The paper is self-contained. All arguments are elementary, some of them of a certain beauty.
We introduce the notion of order projections using the order unit property of a positive element in an order unit space and characterize them in terms of (geometric) orthogonality. We describe order projections of the order unit space obtained by adjoining an order unit to a normed linear space.
Nuclear reactors are often modeled as inflexible baseload generators with fixed downtimes and restrictive ramping constraints. In practice, however, a reactor's operational flexibility is closely tied to its fuel cycle and associated reactivity margin. A key physical constraint for power maneuverability is xenon poisoning, caused from the transient buildup of neutron-absorbing xenon following a power reduction. This transient can delay or prevent subsequent power ramp-up due to suppressed core reactivity. Additionally, if a reactor is shutdown during periods of low reactivity, restart times can vary significantly, leading to prolonged downtimes. This work introduces a physics-informed modeling framework that embeds fuel cycle dynamics within a unit commitment (UC) formulation. The framework tracks reactivity margin, dynamically enforces xenon induced constraints, and endogenously schedules refueling outages based on core conditions. By capturing intracycle reactivity evolution, the model enables operation dependent nuclear dispatch that reflects both techno-economic requirements and irreducible nuclear physics limits. Application to a representative reactor fleet shows that flexibl
This study addresses the multi-item multi-period order allocation problem under all-unit quantity discounts (AUQD) and blending ratios. A manufacturer makes a single product that requires mixing/assembling multiple ingredients/components with pre-determined blending ratios. We consider a single supplier offering quantity-based discounts which introduces non-linearities to the problem. The objective is to minimize procurement cost which includes purchasing, inventory, and ordering costs. We develop a solution procedure that systematically generates a finite dominating set (FDS) of order quantities guaranteed to include an optimal solution to the problem. A Mixed Integer Linear Programming (MILP) model based on the FDS. Our procedure guarantees optimality and eliminates the need for nonlinear discount modeling. Numerical experiments demonstrate that the proposed MILP achieves optimal solutions with significantly reduced computational effort, up to 99% faster for large-scale instances compared to conventional formulations. Sensitivity analyses reveal that the model dynamically adapts to changes in holding costs, shifting between bulk-purchasing and just-in-time strategies, and identif
The problem of determining whether a graph $G$ can be realized as a unit-distance graph in $\mathbb{Z}^2$ is NP-complete. As far as we can tell, a proof of this result has never been written up. We prove NP-completeness of this problem by implementing Eades and Whitesides' logic engine in this setting, and construct a graph that is realizable if and only if an arbitrary NA3SAT formula is satisfiable.
Despite the impressive performance of current vision-based facial action unit (AU) detection approaches, they are heavily susceptible to the variations across different domains and the cross-domain AU detection methods are under-explored. In response to this challenge, we propose a decoupled doubly contrastive adaptation (D$^2$CA) approach to learn a purified AU representation that is semantically aligned for the source and target domains. Specifically, we decompose latent representations into AU-relevant and AU-irrelevant components, with the objective of exclusively facilitating adaptation within the AU-relevant subspace. To achieve the feature decoupling, D$^2$CA is trained to disentangle AU and domain factors by assessing the quality of synthesized faces in cross-domain scenarios when either AU or domain attributes are modified. To further strengthen feature decoupling, particularly in scenarios with limited AU data diversity, D$^2$CA employs a doubly contrastive learning mechanism comprising image and feature-level contrastive learning to ensure the quality of synthesized faces and mitigate feature ambiguities. This new framework leads to an automatically learned, dedicated se
We revisit the online Unit Clustering and Unit Covering problems in higher dimensions: Given a set of $n$ points in a metric space, that arrive one by one, Unit Clustering asks to partition the points into the minimum number of clusters (subsets) of diameter at most one; while Unit Covering asks to cover all points by the minimum number of balls of unit radius. In this paper, we work in $\mathbb{R}^d$ using the $L_\infty$ norm. We show that the competitive ratio of any online algorithm (deterministic or randomized) for Unit Clustering must depend on the dimension $d$. We also give a randomized online algorithm with competitive ratio $O(d^2)$ for Unit Clustering of integer points (i.e., points in $\mathbb{Z}^d$, $d\in \mathbb{N}$, under $L_{\infty}$ norm). We show that the competitive ratio of any deterministic online algorithm for Unit Covering is at least $2^d$. This ratio is the best possible, as it can be attained by a simple deterministic algorithm that assigns points to a predefined set of unit cubes. We complement these results with some additional lower bounds for related problems in higher dimensions.
We investigate the mathematical structure of unit systems and the relations between them. Looking over the entire set of unit systems, we can find a mathematical structure that is called preorder (or quasi-order). For some pair of unit systems, there exists a relation of preorder such that one unit system is transferable to the other unit system. The transfer (or conversion) is possible only when all of the quantities distinguishable in the latter system are always distinguishable in the former system. By utilizing this structure, we can systematically compare the representations in different unit systems. Especially, the equivalence class of unit systems (EUS) plays an important role because the representations of physical quantities and equations are of the same form in unit systems belonging to an EUS. The dimension of quantities is uniquely defined in each EUS. The EUS's form a partially ordered set. Using these mathematical structures, unit systems and EUS's are systematically classified and organized as a hierarchical tree.
Recent advances in deep learning have witnessed many successful unsupervised image-to-image translation models that learn correspondences between two visual domains without paired data. However, it is still a great challenge to build robust mappings between various domains especially for those with drastic visual discrepancies. In this paper, we introduce a novel versatile framework, Generative Prior-guided UNsupervised Image-to-image Translation (GP-UNIT), that improves the quality, applicability and controllability of the existing translation models. The key idea of GP-UNIT is to distill the generative prior from pre-trained class-conditional GANs to build coarse-level cross-domain correspondences, and to apply the learned prior to adversarial translations to excavate fine-level correspondences. With the learned multi-level content correspondences, GP-UNIT is able to perform valid translations between both close domains and distant domains. For close domains, GP-UNIT can be conditioned on a parameter to determine the intensity of the content correspondences during translation, allowing users to balance between content and style consistency. For distant domains, semi-supervised le
Adolphson and Sperber characterized the unique unit root of $L$-function associated with toric exponential sums in terms of the $\mathcal{A}$-hypergeometric functions. For the unit root $L$-function associated with a family of toric exponential sums, Haessig and Sperber conjectured its unit root behaves similarly to the classical case studied by Adolphson and Sperber. Under the assumption of a lower deformation hypothesis, Haessig and Sperber proved this conjecture. In this paper, we demonstrate that Haessig and Sperber's conjecture holds in general.