We enhance conformal prediction for risk-averse decisions with action-conditional guarantees.
problem Uncertainty quantification and safety guarantees for machine learning decisions.
method Action-conditional conformal prediction, pinball-loss minimization.
result Action-conditional prediction sets optimize risk-averse decision-making.
Introduces Conditional Action Trees to simplify RL action spaces.
problem Challenges in RL with large, complex action spaces.
method Structures action spaces and reduces complexity through Conditional Action Trees.
result Demonstrates effectiveness in reducing action space and improving decision making.
Conditions for reducing quasi-actions to tree actions and group properties.
problem Conditions for reducing quasi-actions to tree actions.
method Reduction to cobounded isometric actions on trees.
result Groups with quasi-orbits quasi-isometric to trees are virtually free.
Identifies latent actions and dynamics from offline data with diverse demonstrators.
problem Recovering latent actions and environment dynamics from action-free trajectories.
method Assumes distinct policies for each demonstrator, identifies latent transitions and policies via matrix factorization.
result Identifies latent transitions and demonstrator policies up to permutation.
Conditions for equivariant bundles on 4-manifolds with cyclic actions.
problem Existence of equivariant bundles on 4-manifolds with cyclic actions.
method Conditions derived from the twisted signature formula and congruence relations between fixed point data and isotropy representations.
result Necessary and sufficient conditions for the existence of equivariant bundles.
Abstract: Necessary and sufficient conditions for circle actions on 4-manifolds with discrete fixed points.
problem Conditions for circle actions on 4-manifolds with discrete fixed points.
method Demonstrated pairs of integers that arise as weights of a circle action also arise as weights of a restriction of a T2-action. result Provided necessary and sufficient conditions for pairs of integers to arise as weights and Chern numbers of circle actions.
The paper studies finite group actions on Seifert manifolds, proving conditions for their existence.
problem Finite group actions on Seifert manifolds that preserve fiber and orientation.
method Constructs group actions and refines obstruction conditions.
result Provides general structure of finite groups that can act on Seifert manifolds.
We construct a local action of the group of rational maps from S2 to GL(n,C) on local solutions of flows of the ZS-AKNS sl(n,C)-hierarchy. We show that the actions of simple elements (linear fractional transformations) give local Bäcklund transformations, and we derive a permutability formula from different fact…
Criteria for extending degree-2 Azumaya algebras with C2-actions over curves.
problem Determining when degree-2 Azumaya algebras with C2-actions extend to entire curves.
method Criteria for extension of algebra and new condition for extension with action, testable by computer algebra systems.
result New conditions for extending degree-2 Azumaya algebras with C2-actions over curves.
In the first part of this paper, we let G be a finitely-generated amenable group such that G/[G,G] is torsion-free. We suppose that G acts by homeomorphisms homotopic to the identity on a manifold M, and give conditions on M which imply that such an action must lift to an action on the universal cover $\tild…
The paper classifies manifolds with free torus actions and positive Ricci curvature.
problem Classifying manifolds with specific geometric properties.
method Using circle bundles and free torus actions on connected sums of products of spheres.
result Infinitely-many manifolds with positive Ricci curvature and torus actions are classified.
Study properties of orbits of Hermann actions without commutability assumptions.
problem Investigate geometric properties of orbits of Hermann actions.
method Compute the second fundamental form and provide conditions for weak reflection and aridity.
result Sufficient conditions for weak reflection and aridity of orbits of Hermann action.
The paper identifies conditions for free circle actions on specific 7-manifolds.
problem Determining conditions for free circle actions on certain 7-manifolds.
method Analyzing specific 7-manifolds and their components.
result Identifies conditions for free circle actions on kS2imesS5#lS3imesS4#Σ. Proves a theorem for mechanical systems with reflections.
problem Action functionals on paths with reflections.
method Proves a Morse index theorem for action functionals on paths that can reflect.
result Action functionals on paths with reflections have a well-defined Morse index.
In this article we give an explicit description of the representation matrix of a Heisenberg type action constructed by Blanchet, Habegger, Masbaum and Vogel. We give the matrix in terms of a ribbon graph and its admissible colorings. We show that components of the representation matrix satisfies the {\it external edge…
Let X be a proper CAT(0) cube complex admitting a proper cocompact action by a group G. We give three conditions on the action, any one of which ensures that X has a factor system in the sense of [BHS14]. We also prove that one of these conditions is necessary. This combines with results of Behrstock--Hagen--Sisto to s…
We identify action representations from video data, proving their statistical benefits.
problem Identifying latent action policies from video data.
method Entropy-regularized LAPO objective, formalizing desiderata for action representations.
result Entropy-regularized LAPO identifies action representations satisfying desiderata under suitable conditions.
The paper studies hyperbolic quotients of projection complexes and their actions.
problem Understanding the structure and properties of quotients of projection complexes.
method Analyzing the quotient of projection complexes by normal subgroups and studying the resulting actions.
result The quotient complex is δ-hyperbolic under certain conditions, and the quotient group is acylindrically hyperbolic.
Success conditioning optimizes policies by imitating successful trajectories, solving a trust-region optimization problem.
problem Improving policies through random actions that lead to desired outcomes.
method Success conditioning, which involves collecting and updating policies based on successful trajectories.
result Success conditioning solves a trust-region optimization problem, maximizing policy improvement with a χ2 divergence constraint. The Ma-Trudinger-Wang curvature --- or cross-curvature --- is an object arising in the regularity theory of optimal transportation. If the transportation cost is derived from a Hamiltonian action, we show its cross-curvature can be expressed in terms of the associated Jacobi fields. Using this expression, we show the l…
Given a group action on a simplicial complex such that each simplex stabiliser admits a cocompact model of classifying space for proper actions, we give conditions implying the existence of a cocompact model of classifying space for proper actions for the whole group. This is used to generalise previous combination res…
The paper proves conditions for the isomorphism between standard and dual Artin groups.
problem Conditions for the isomorphism between standard and dual Artin groups.
method Analyzes Coxeter systems and their actions on reduced words to prove isomorphisms.
result Proves conditions for the isomorphism between standard and dual Artin groups.
Study Szegő kernel on non-compact CR manifolds with specific conditions.
problem Analyzing Szegő kernel on non-compact CR manifolds.
method Establish Szegő kernel asymptotic expansions on non-compact strictly pseudoconvex CR manifolds with transversal CR R-action under natural geometric conditions. result Szegő kernel asymptotic expansions established on non-compact CR manifolds.
Study shows cohomological limits on extending actions on 3-manifold boundaries.
problem Limits to extending group actions on 3-manifold boundaries.
method Cohomological obstructions for C0-actions on 3-manifolds. result Cohomological obstructions prevent extending actions on certain 3-manifold boundaries.
Study on Einstein metrics on complex projective spaces with specific group actions.
problem Finding Einstein metrics invariant under cohomogeneity one Lie group actions.
method Analyzing Einstein equation for diagonal invariant metrics under five Takagi models.
result Nonexistence of smooth globally defined invariant Einstein metrics in four models, necessary condition in the fifth.
The paper solves conditions for metacyclic actions on surfaces, including upper bounds and subgroup classifications.
problem Conditions for metacyclic actions on surfaces and their properties.
method Derives necessary and sufficient conditions for conjugates of torsion elements to generate finite metacyclic subgroups.
result Complete solution to liftability of periodic mapping classes under finite cyclic covers, including upper bounds and subgroup classifications.
Rigidity of elliptic genera proven for non-spin manifolds with S1-action.
problem Rigidity of elliptic genera for non-spin manifolds with S1-action. method Analysis of universal covering spin condition and π2(M) for rigidity. result Rigidity of elliptic genera is proven for spin universal coverings but not for non-spin universal coverings.
New method learns action representations for better reinforcement learning.
problem Lack of structured action representations in reinforcement learning.
method Decomposes policy into action representation and action transformation components.
result Action representations improve generalization in large action spaces.
In the present paper we establish the necessary and sufficient conditions for two generalized Abel differential equations to be locally equivalent under the action of the pseudogroup of linear transformations of the form {x↦f(x), y↦g(x)⋅y+h(x)}. These conditions are formulated in terms of diff…
We give a sufficient condition for isometric actions to have the congruency of orbits, that is, all orbits are isometrically congruent to each other. As applications, we give simple and unified proofs for some known congruence results, and also provide new examples of isometric actions on symmetric spaces of noncompact…
Necessary and sufficient conditions are given for the Palais-Smale Condition C to hold for the Yang-Mills functional for invariant connections on a principal bundle over a compact manifold of any dimension. It is assumed that the connections are invariant under the action of a compact Lie group on the manifold, and tha…
The paper defines conditions for a Riemannian structure on a symplectic quotient.
problem Existence of Riemannian structures on symplectic quotients.
method Analyzes conditions for existence given a Lie group action with equivariant momentum mapping.
result Determines conditions under which an induced Riemannian structure exists.
Paper studies zero-sum games with noisy observations and identifies equilibrium conditions.
problem Zero-sum games with noisy observations of the leader's actions.
method Analyzes the equilibrium of games with noisy action observability, identifies necessary conditions for uniqueness, and investigates the cardinality of best responses.
result The noisy observations significantly impact the cardinality of the follower's set of best responses, and under certain conditions, this set becomes a singleton almost surely.
The study proves conditions for symplectic torus actions on manifolds with non-contractible orbits.
problem Conditions for symplectic torus actions with non-contractible orbits.
method Analyzes symplectic torus actions on manifolds, proving conditions for Hamiltonian actions and orbit properties.
result Symplectic Tn−1 actions with non-contractible orbits are not Hamiltonian unless the orbits are contractible. A complex filling of a CR manifold is said to be equivariant with respect to a CR action if the action extends to a smooth action by biholomorphisms on the whole filling. Under a noncompactness condition for the action, we describe all equivariant fillings of strongly pseudoconvex CR manifolds of dimension 3. Since the…
We study the properly discontinuous and isometric actions on the unit sphere of infinite dimensional Hilbert spaces and we get some new examples of Hilbert manifold with costant positive sectional curvature. We prove some necessary conditions for a group to act isometrically and properly discontinuously and in the case…
Study GKM actions on special manifolds with interval orbit spaces.
problem Understanding GKM actions on specific types of manifolds.
method Analyzing group diagrams and orbit spaces; describing GKM graphs.
result Necessary and sufficient conditions for GKM actions on cohomogeneity one manifolds.
The study finds conditions for quaternionic structures on symmetric spaces.
problem Conditions for quaternionic structures on symmetric spaces.
method Analysis of Lie group actions and representations.
result Symmetric spaces have invariant quaternionic structures under specific conditions.
Smooth actions on manifolds can be globally defined under certain conditions.
problem Globalizing partial smooth actions of Lie groupoids on smooth manifolds.
method Providing necessary and sufficient conditions for globalizability and analyzing orbit and stabilizer spaces.
result There exists a unique differentiable structure on the quotient space for free and proper actions.
Study finite group actions on 4-manifolds, finding rank bounds.
problem Understanding finite group actions on 4-manifolds.
method Investigate Borel spectral sequence for G-equivariant cohomology.
result Establish new bounds on the rank of G for homologically trivial actions.
In this note we show that the property of having only vanishing triple Massey products in the equivariant cohomology is inherited by the set of fixed points of hamiltonian circle actions on closed symplectic manifolds. This result can be considered in a more general context of characterizing homotopic properties of Lie…
The paper studies acylindrical actions on trees and proves acylindrical hyperbolicity of Baumslag-Solitar groups.
problem Exploring acylindrical actions on trees and their properties.
method Demonstrates criteria for preserving acylindrical hyperbolicity and analyzes the outer automorphism group of Baumsligar-Solitar groups.
result Proves acylindrical hyperbolicity of non-solvable Baumsligar-Solitar groups.
Let G be a Lie supergroup with Lie superalgebra g, M a supermanifold and Vec(M) the set of vector fields on M. Let λ:g→Vec(M) be an infinitesimal action, i.e. a homomorphism of Lie superalgebras. We show the existe…
Authors classify 3D locally standard T-pseudomanifolds under weaker conditions.
problem Classifying equivariant homeomorphism types of 3D locally standard T-pseudomanifolds.
method Introduced and classified by characteristic data under homotopy equivalence condition.
result Condition for classification can be removed when dimension is at most three.
A new policy improvement method using CEM for Actor-Critic.
problem Improving policy efficiency and robustness in reinforcement learning.
method Greedy Actor-Critic (Greedy AC) using Conditional Cross-Entropy Method (CCEM).
result Greedy AC outperforms Soft Actor-Critic and is less sensitive to entropy regularization.
New methods improve Deep Reinforcement Learning in parameterized action spaces.
problem Efficient training in tasks with parameterized action spaces.
method Compact architecture and new training methods based on TRPO and SVG.
result New methods outperform state-of-the-art Parameterized Action DDPG.
We give a necessary and sufficient condition for orbits of commutative Hermann actions and actions of the direct product of two symmetric subgroups on compact Lie groups to be biharmonic in terms of symmetric triad with multiplicities. By this criterion, we determine all the proper biharmonic submanifolds in irreducibl…
FEAFA dataset annotates facial expressions with high detail.
problem Lack of detailed facial expression annotations in existing datasets.
method Manual annotation of 122 participants' facial expressions.
result FEAFA dataset provides detailed annotations for facial expressions.