Study compares adaptive vs fixed query learning methods.
problem Comparing adaptive and fixed query learning methods for task approximation.
method Examined in-context and agentic learning in two settings: unrestricted and realizable.
result Adaptivity does not hinder performance in unrestricted setting but can in realizable setting.
Characterizes causal structure dominance for latent variables.
problem Determining dominance relations between causal structures with latent variables.
method Complete characterization for three visible variables, partial for four; uses nontrivial inequality constraints.
result Equivalence classes with nontrivial inequality constraints become ubiquitous as the number of visible variables increases.
ARO overfits by making constraints dependent on uncertainty, leading to brittleness.
problem ARO's adaptive policies become brittle when realizations fall outside the uncertainty set.
method Assigning constraint-specific uncertainty set sizes with probabilistic guarantees.
result Regularization through specific uncertainty set sizes ensures stability and flexibility.
New experiments show Gauss diagrams not all as simple as previously thought.
problem Determining which Gauss diagrams correspond to knots.
method Experimental mathematics using Prolog and constraint satisfaction.
result Found counterexamples showing existing criteria are incomplete.
A new pricing controller handles resource constraints to infer target prices effectively.
problem Resource constraints prevent fixed-price inference, leading to support exclusion.
method Formalizes support-exclusion failure, designs a target-aware controller, and uses a realized information clock.
result The controller can certify feasible target bands and log continuous local densities, leading to polynomial rates of inference.
Branched covers between Riemann surfaces are associated with certain combinatorial data, and Hurwitz existence problem asks whether given data satisfying those combinatorial constraints can be realized by some branched cover. We connect recent development in spherical conic metrics to this old problem, and give a new m…
New method for variational inference without conjugacy constraints.
problem Efficient variational inference with flexible prior and approximation families.
method Wasserstein gradient flow for mean-field approximation.
result Improved convergence and efficiency of variational inference.
Algorithm samples constrained stochastic differential equations.
problem Sampling stochastic differential equations with complex constraints.
method Pathspace Metropolis-adjusted manifold sampling.
result Demonstrated effectiveness in various constrained conditions.
In this work, we propose a new Gaussian process regression (GPR) method: physics information aided Kriging (PhIK). In the standard data-driven Kriging, the unknown function of interest is usually treated as a Gaussian process with assumed stationary covariance with hyperparameters estimated from data. In PhIK, we compu…
We introduce an operation that measures the self intersections of paths on a surface. As applications, we give a criterion of the realizability of a generalized Dehn twist, and derive a geometric constraint on the image of the Johnson homomorphism.
Dynamic tracking error framework shows similar performance but varying volatility across different constraints.
problem Differences in governance parameters between Total Portfolio Approach and Strategic Asset Allocation.
method Portfolio simulations using U.S. equity and bond data from 2000 to 2026, spanning 2004 to 2026.
result Realized tracking error volatility varies 12-fold across different constraints, with costs highest during crises.
Tikhonov regularization is robust under specific martingale constraints in distributionally robust optimization.
problem Distributionally robust optimization and regularization of learning models.
method Optimal transport approach with martingale constraints.
result Tikhonov regularization is optimal transport robust under specified martingale constraints.
Lower bounds on Bayes risk for realizable models derived using information theory.
problem Deriving lower bounds on Bayes risk for realizable machine learning models.
method Information-theoretic analysis using rate-distortion theory and mutual information.
result Lower bounds on Bayes risk for realizable models, matching known bounds up to logarithmic factors.
In the last two decades, significant effort has been put in understanding and designing so-called structure-preserving numerical methods for the simulation of mechanical systems. Geometric integrators attempt to preserve the geometry associated to the original system as much as possible, such as the structure of the co…
A streaming algorithm estimates quadratic covariation from financial data efficiently.
problem Estimating quadratic covariation from ultra-high-frequency financial data with limited memory.
method Formulated multi-scale, realized kernel, pre-averaging, and modulated realized covariance estimators with fixed bandwidth.
result Fixed bandwidth estimators require higher bandwidth for positive semidefiniteness.
Integrates C-bracket and Vaisman algebroid structures in double field theory.
problem Integration problem of C-bracket and Vaisman algebroid structures in double field theory.
method Introduces pre-rackoid as a global group-like object for infinitesimal algebroid structures, proposes two realizations, and shows reduction to rackoid under strong constraint.
result Reduces pre-rackoid to rackoid under strong constraint of double field theory.
Chance-constrained ActInf allows for small violations of constraints to drive goal-directed behavior.
problem Goal-directed behavior constrained by prior beliefs.
method Introducing chance constraints to ActInf, allowing for small violations of constraints.
result Chance-constrained ActInf allows for a trade-off between robust control and chance constraint violation.
Framework uses hindsight regret to audit marketing budget allocations.
problem Lack of principled way to assess strategic budget allocations.
method Hindsight regret framework based on constraint-faithful benchmark.
result Identifies practical trade-off between allocation flexibility and detectability.
We prove that the Whitehead link complement and the (-2, 3, 8) pretzel link complement are the minimal volume orientable hyperbolic 3-manifolds with two cusps, with volume 3.66... = 4 x Catalan's constant. We use topological arguments to establish the existence of an essential surface which provides a lower bound on vo…
Suppose C is a singular curve in CP^2 and it is topologically an embedded surface of genus g; such curves are called cuspidal. The singularities of C are cones on knots K_i. We apply Heegaard Floer theory to find new constraints on the sets of knots {K_i} that can arise as the links of singularities of cuspidal curves.…
Study min-max theory for hypersurfaces with boundary constraints.
problem Finding minimal hypersurfaces with boundary constraints.
method Schoen-Simon-type regularity result for integral varifolds, proving existence of closed hypersurfaces with specific properties.
result Existence of a closed C1,1 hypersurface with codimension ≥7 singular set in the interior. This paper presents an approach for constrained Gaussian Process (GP) regression where we assume that a set of linear transformations of the process are bounded. It is motivated by machine learning applications for high-consequence engineering systems, where this kind of information is often made available from phenome…
Optimal algorithm for maximizing rewards in contextual bandits with resource constraints.
problem Maximizing rewards in contextual bandits with resource constraints.
method Proposed a universal and optimal algorithmic framework for CBwK by reducing it to online regression.
result Established the optimality of the proposed algorithm for various function classes.
The Hirzebruch signature formula provides an obstruction to the following realization question: given a rational Poincaré duality algebra A, does there exist a smooth manifold M such that H∗(M;Q)=A? This problem is especially interesting for rational truncated polynomial algebras who…
Geometric framework for signed multivariate tail-dependence compatibility at various thresholds.
problem Modeling and analyzing signed multivariate tail-dependence across different thresholds.
method Developed a geometric witness framework to represent and invert signed tail families, identifying nonnegative weights and normalized masses.
result Characterization and synthesis of signed multivariate tail-dependence at finite thresholds, preserving the complete signed tail family throughout.
Method estimates posterior model for boundary value problems with uncertain constraints.
problem Estimating posterior probability model for stochastic boundary value problems with uncertain constraints.
method Probabilistic learning inference using Kullback-Leibler divergence and MCMC.
result Method successfully estimates posterior probability measure with constraints.
The paper explores generalizations of Mirzakhani's recursion and computes volumes for physical gravity models.
problem Computing volumes for physical gravity models.
method Topological recursion and physical two-dimensional gravity models.
result Derivation of Virasoro constraints and cut-and-join equations for generalized Mirzakhani's recursions.
Study on constraints for topological and smooth realizations of line arrangements and configurations.
problem Investigating constraints on topological and smooth realizations of combinatorial line arrangements and (nk)-configurations. method Exploring constraints via locally-flatly or smoothly embedded 2-spheres, using Furuta's 10/8-Theorem, and G-signature theorem.
result Established a new lower bound for (nk)-configurations, showing n≥k2−5 for topological realizations. Paper integrates real data into probabilistic models using Fourier transform.
problem Learning from constrained data sets in high dimensions.
method Functional approach based on weak formulation of Fourier transform of probability measures.
result Estimation of posterior probability measures for QoI and QoI with control parameter.
Generalizes Hamiltonian theory for variational problems, applied to first order gravity.
problem Formulating Hamiltonian field theory for variational problems of general nature.
method Introduces a generalized Hamiltonian formalism without requiring a Hamiltonian section.
result Develops a novel multisymplectic Hamiltonian field theory for first order gravity.
Optimizes angular velocity transfers for rigid bodies under deadline constraints.
problem Stochastic guidance of spin states of rigid bodies over a hard deadline.
method Structural analysis of Kantorovich optimal coupling formulation for nonlinear dynamics.
result Derives the ground cost for optimal transport of angular velocity.
Researchers develop methods for inference in hierarchical models using neural simulations.
problem Inference in hierarchical models with intractable likelihoods.
method Construct neural estimators for likelihood-ratio or posterior, accounting for hierarchical structure.
result Explicitly accounting for hierarchical structure leads to tighter parameter constraints.
A framework for analyzing financial systems under scenario constraints.
problem Quantifying worst-case and best-case performance in financial systems.
method Quantitative automata-based framework integrating event history automata and weighted finance finite automata.
result Exact calculation of upper and lower payoff bounds with interpretable witness event histories.
A new stochastic primal--dual algorithm for solving a composite optimization problem is proposed. It is assumed that all the functions/operators that enter the optimization problem are given as statistical expectations. These expectations are unknown but revealed across time through i.i.d. realizations. The proposed al…
Method reconstructs financial networks from aggregate data, revealing critical link density.
problem Reconstructing financial networks from aggregate data is challenging due to unreconstructability phases.
method Random graph generation with desired link density and replicated constraints.
result There is a critical link density below which networks become unreconstructable.
Decomposing market impact into diffusive components
problem Market impact scaling
method Decomposing impact into realized and counterfactual returns
result Implication of square-root law in information-neutral regime
We show that, if a rational homology 3-sphere Y bounds a positive definite smooth 4-manifold, then there are finitely many negative definite lattices, up to the stable-equivalence, which can be realized as the intersection form of a smooth 4-manifold bounded by Y. To this end, we make use of constraints on definite…
The superior performance of ensemble methods with infinite models are well known. Most of these methods are based on optimization problems in infinite-dimensional spaces with some regularization, for instance, boosting methods and convex neural networks use L1-regularization with the non-negative constraint. However…
Study on friction forces for nonholonomic systems using affine connections.
problem Realizing nonholonomic constraints with strong friction forces.
method Affine connection approach, covariant derivatives, recursive procedure.
result Approximations of slip velocities and dynamics up to second order.
PDCA algorithm learns policies for RL with constraints using a primal-dual approach.
problem Offline constrained reinforcement learning with general function approximation.
method Primal-Dual-Critic Algorithm (PDCA) using a primal-dual approach.
result PDCA finds a near saddle point of the Lagrangian, nearly optimal for constrained RL.
We propose a model in which a spliced vector bundle (with an arbitrary number of gauge structures in the splice) possesses a geometry which do not split. The model employs connection 1-forms with values in a space-product of Lie algebras, and therefore interlaces the various gauge structures in a non-trivial manner. Sp…
AIF improves physical AI agents' performance in dynamic environments.
problem Physical AI agents are less capable than biological agents in open-ended real-world environments.
method Developed from probability theory, Bayesian machine learning, variational inference, and Active Inference (AIF), grounded in the Free Energy Principle.
result AIF minimizes variational free energy and is well-suited to physical constraints.
In a former paper we proposed a model for the quantization of gravity by working in a bundle E where we realized the Hamilton constraint as the Wheeler-DeWitt equation. However, the corresponding operator only acts in the fibers and not in the base space. Therefore, we now discard the Wheeler-DeWitt equation and expr…
Study topological constraints for minimal hyperbolic surface laminations.
problem Understanding which topological surfaces can be leaves in minimal hyperbolic surface laminations.
method Analyzes topological obstructions and embeddings of Cantor tree-like surfaces.
result All possible topological types of leaves can be simultaneously embedded in a lamination.
We formalize causal separation in portfolio theory, deriving a closed-form projected Markowitz solution.
problem Portfolio optimization under causal separation conditions.
method Derive a closed-form solution for portfolio optimization using causal separation conditions.
result A closed-form projected Markowitz solution is derived under causal separation conditions.
A novel controller for wheeled robots handles joystick inputs for smooth steering.
problem Steering control for differential-drive wheeled robots from indirect joystick inputs.
method Developed a geometric controller based on Darboux frame kinematics.
result Smooth trajectories achieved with safety constraints and no desired states.
Analytic networks with bounded coefficients can't outperform polynomial approximations.
problem Approximation limits of neural networks with analytic activation functions under coefficient constraints.
method Deterministic analysis using comparison argument and Bernstein-type estimates.
result Networks with analytic activation functions and controlled coefficients cannot outperform classical polynomial approximation rates on non-analytic targets.
To construct interpretable explanations that are consistent with the original ML model, counterfactual examples---showing how the model's output changes with small perturbations to the input---have been proposed. This paper extends the work in counterfactual explanations by addressing the challenge of feasibility of su…