In this paper, we shall prove that any Heegaard splitting of a ∂-reducible 3-manifold M, say M=W∪V, can be obtained by doing connected sums, boundary connected sums and self-boundary connected sums from Heegaard splittings of n manifolds M1,...,Mn where Mi is either a solid torus or a $…
Let M be a surface sum of 3-manifolds M1 and M2 along a bounded connected surface F and ∂i be the component of ∂Mi containing F. If Mi has a high distance Heegaard splitting, then any minimal Heegaard splitting of M is the amalgamation of those of M1,M2 and M∗, where $M^i=M…
The authors prove that the logarithmic Monge-Ampère flow with uniformly bound and convex initial data satisfies uniform decay estimates away from time t=0. Then applying the decay estimates, we conclude that every entire classical strictly convex solution of the equation {equation*} \det D^{2}u=\exp\{n(-u+1/2\sum_{i=…
Log-concavity proven for multinomial likelihoods under specific constraints.
problem Log-concavity of multinomial likelihoods under interval censoring constraints.
method Proved log-concavity by showing M-convex subsets of the discrete simplex.
result Likelihood function is completely log-concave.
The paper develops algorithms for competitive RL in partially observable MGs.
problem Challenges in reinforcement learning with function approximation and partial observability.
method Proposes posterior sampling methods for self-play and adversarial learning in zero-sum MGs.
result Developed algorithms achieve low regret bounds scaling sublinearly with GEC and episode number.
It is shown that any smooth strictly convex global solution of det(∂ξi∂ξj∂2u)=exp{−∑i=1ndi∂ξi∂u−d0}, where d0, d1,...,dn are constants, must be a quadratic polynomial. This extends a well-known theorem of Jö…
Let u be a positive solution of the ultraparabolic equation \begin{equation*} \partial_t u=\sum_{i=1}^n \partial_{x_i}^2 u+\sum_{i=1}^k x_i\partial_{x_{n+i}}u \hspace{8mm} \mbox{on} \hspace{4mm} \mathbb{R}^{n+k}\times (0,T), \end{equation*} where 1≤k≤n and 0<T≤+∞. Assume that u and its derivat…
Homotopy theory for (2n+1)-dimensional manifold triads with fixed boundary.
problem Classifying stable moduli spaces of (2n+1)-dimensional manifold triads. method Homotopy-theoretic description of stable moduli spaces, stabilization by boundary connected sum with SnimesDn+1. result Established homology of stable moduli spaces for (2n+1)-dimensional manifold triads. The paper studies hyperkähler structures and adapted complex structures using the Monge-Ampère equation.
problem Finding hyperkähler structures and adapted complex structures in tangent bundles.
method Analyzing the asymptotic expansion of the Monge-Ampère equation and using gauge transformations.
result Explicit computation of 4th order terms in the asymptotic expansion and equivalence to gauge transformations.
Direct formula found for ADO invariants from homological representations.
problem Computing ADO invariants from quantum group representations.
method Direct homological formula for ADO invariants using partial traces of homological representations.
result Direct formula for ADO invariants without further truncations.
New method analyzes accumulation precision in deep learning networks.
problem Lack of precision analysis for accumulation in deep learning training.
method Statistical approach to analyze partial sum accumulations and derive equations for minimum required bits.
result Reduced accumulation precision can lead to loss of information and degraded network quality.
Study of constant curvature hypersurfaces in hyperbolic space.
problem Finding complete hypersurfaces with constant sum Hessian curvature.
method Solving the asymptotic Plateau problem in hyperbolic space.
result Existence of complete hypersurfaces with specified curvature properties.
Kjolstad et. al. proposed a tensor algebra compiler. It takes expressions that define a tensor element-wise, such as fij(a,b,c,d)=exp[−∑k=04((aik+bjk)2cii+di+k3)], and generates the corresponding compute kernel code. For machine learning, especially deep learni…
NESTA accelerates neural networks by compressing Hamming weights.
problem Efficiently computing convolution layers in deep neural networks.
method NESTA reformats convolutions into 3imes3 batches and uses Hamming Weight Compressors to process each batch, approximating partial sums and adding residuals. result Significantly speeds up convolution computations with reduced energy consumption.
For a non-uniform lattice in SL(2,R), we consider excursions in cusp neighborhoods of a random geodesic on the corresponding finite area hyperbolic surface or orbifold. We prove a strong law for a certain partial sum involving these excursions. This generalizes a theorem of Diamond and Vaaler for continued fractions. I…
Paper examines actor-critic methods for RL in partially observable multiagent environments.
problem Optimizing policies in partially observable multiagent settings.
method Actor-critic algorithms, focusing on policy gradient and regret minimization.
result Shows convergence guarantees and improved performance in zero-sum games.
The study counts critical points of Steklov eigenfunctions on manifolds.
problem Counting critical points of Steklov eigenfunctions on manifolds.
method Established an identity relating indexes of eigenfunctions and their restrictions to the boundary, and used it to count critical points.
result A precise count of interior critical points of Steklov eigenfunctions in terms of manifold's Euler characteristic and boundary sign changes.
We give partial boundary regularity for co-dimension one absolutely area-minimizing currents at points where the boundary consists of a sum of C1,α submanifolds, possibly with multiplicity, meeting tangentially, given that the current has a tangent cone supported in a hyperplane with constant orientation vector; t…
We give partial boundary regularity for co-dimension one absolutely area-minimizing currents at points where the boundary consists of a sum of C1,α submanifolds, possibly with multiplicity, meeting tangentially, given that the current has a tangent cone supported in a hyperplane with constant orientation vector; t…
Considering a Hamiltonian Dynamical System describing the motion of charged particle in a Tokamak or a Stellarator, we build a change of coordinates to reduce its dimension. This change of coordinates is in fact an intricate succession of mappings that are built using Hyperbolic Partial Differential Equations, Differen…
We give a new, connected-sum-like construction of Riemannian metrics with special holonomy G_2 on compact 7-manifolds. The construction is based on a gluing theorem for appropriate elliptic partial differential equations. As a prerequisite, we also obtain asymptotically cylindrical Riemannian manifolds with holonomy SU…
Algorithm estimates mixtures of arbitrary Gaussians robustly in presence of corruptions.
problem Estimating mixtures of arbitrary Gaussians in the presence of a constant fraction of arbitrary corruptions.
method Polynomial-time algorithm using partial clustering and tensor decomposition.
result Resolves the main open problem in several previous works on algorithmic robust statistics.
Let M denote the total space of a Lefschetz fibration, obtained by blowing up a Lefschetz pencil on an algebraic surface. We consider the n-fold fibre sum M(n), generalizing the construction of the elliptic surfaces E(n). For a Lefschetz pencil on a simply-connected minimal surface of general type we partially calculat…
We study n-dimensional area-minimizing currents T in Rn+1, with boundary ∂T satisfying two properties: ∂T is locally a finite sum of (n−1)-dimensional C1,α orientable submanifolds which only meet tangentially and with same orientation, for some α∈(0,1]; ∂T has…
We study the behavior of Pin(2)-monopole Floer homology under connected sums. After constructing a (partially defined) A∞-module structure on the Pin(2)-monopole Floer chain complex of a three manifold (in the spirit of Baldwin and Bloom's monopole category), we identify up to …
We introduce and study co-dimension one area-minimizing locally rectifiable currents T with C1,α tangentially immersed boundary: ∂T is locally a finite sum of orientable co-dimension two submanifolds which only intersect tangentially with equal orientation. We show that any such T is supported in a s…
Optimizes partial AUC across various FPRs for machine learning models.
problem Lack of scalable algorithms for optimizing partial AUC in a range of FPRs.
method Formulated as a non-smooth DC program, developed an efficient approximated gradient descent method using Moreau envelope smoothing.
result Achieved a complexity of O(1/ε6) for finding nearly ε-critical solutions. Reformulates Ozbagci's algorithm for Lefschetz fibrations signatures.
problem Computing signatures of Lefschetz fibrations efficiently.
method Partial fiber sum decomposition and Wall's non-additivity formula.
result Algorithm simplification and new formula for signature computation.
The study explores dimensions for connected sums of almost complex manifolds and extends results to rational homology spheres.
problem Understanding dimensions for connected sums of almost complex manifolds and extending results to rational homology spheres.
method Obstruction theory and Yang's results on almost complex structures were used to answer questions about dimensions. The index of the twisted spin^c Dirac operator was applied to extend results to rational homology spheres.
result The study partially extends Datta and Subramanian's result on the nonexistence of almost complex structures on products of two even spheres to rational homology spheres.
Study the boundary operator property on simplicial complexes, proving essential properties for Hodge theory.
problem Characterize the boundary operator property ∂∂=0 on simplicial complexes. method Characterization in ℓ2 terms of recurrence of links, defining relative cohomology, and proving harmonic eigenforms. result Essential properties for Hodge theory, including weak decomposition and existence of harmonic eigenforms.
This paper characterizes Lie symmetries for a general Lienard-type equation.
problem Characterizing Lie symmetries for a general Lienard-type equation.
method Analyzing the Lie symmetry group of the general Lienard-type equation u¨=∑k=0nfku˙k for n≥4. result The paper provides a condition for the existence of another Lie symmetry and characterizes when the equation admits such symmetries.
New algorithm minimizes expert selection regret in partial bandit feedback.
problem Minimizing expert selection regret in partial bandit feedback.
method Develops a sequential minimax optimal algorithm for a generalized partial monitoring setting.
result Second order regret bounds against a general expert selection sequence.
This paper considers the problem of clustering a partially observed unweighted graph---i.e., one where for some node pairs we know there is an edge between them, for some others we know there is no edge, and for the remaining we do not know whether or not there is an edge. We want to organize the nodes into disjoint cl…
From the paper "Formality Conjecture" (Ascona 1996): "I am aware of only one such a class, it corresponds to simplest good graph, the complete graph with 4 vertices (and 6 edges). This class gives a remarkable vector field on the space of bi-vector fields on Rd. The evolution with respect to the t…
Transformations between different analytic descriptions of constant mean curvature (CMC) surfaces are established. In particular, it is demonstrated that the system \[ \begin{split} &\partial ψ_{1} = (|ψ_{1}|^{2} + |ψ_{2}|^{2}) ψ_{2} \\ &\bar{\partial} ψ_{2} =- (|ψ_{1}|^{2} + |ψ_{2}|^{2}) ψ_{1} \end{split} \] descripti…
Optimizes quantum channel mapping between Hilbert spaces.
problem Optimal mapping between Hilbert spaces based on wavefunction measurements.
method Maximizes total fidelity subject to partial unitarity constraints using an iterative algorithm.
result Developed an algorithm for finding the global maximum of the optimization problem.
Expanding FCCO to non-smooth weakly-convex problems, improving deep learning performance.
problem Addressing the limitations of current FCCO methods by tackling non-smooth weakly-convex problems.
method Developed a single-loop algorithm for non-smooth weakly-convex FCCO and extended it to tri-level problems.
result Established the complexity for finding ε-stationary points in the Moreau envelop of the objective function.
Proves non-existence of certain metrics on specific manifolds.
problem Existence of metrics with nonnegative scalar curvature.
method Connected sum technique and non-compact domination method.
result Connected sum of aspherical manifolds with non-compact manifolds does not admit metrics with nonnegative scalar curvature.
Let P be a Laplace type operator acting on a smooth hermitean vector bundle V of fiber CN over a compact Riemannian manifold given locally by P=−[gμνu(x)∂μ∂ν+vν(x)∂ν+w(x)] where u,vν,w are MN(C)-valued functions with u(x) positive and invertible. F…
We consider the finite sample properties of the regularized high-dimensional Cox regression via lasso. Existing literature focuses on linear models or generalized linear models with Lipschitz loss functions, where the empirical risk functions are the summations of independent and identically distributed (iid) losses. T…
Study proves value of non-Markovian games with partial, asymmetric info.
problem Value of non-Markovian Dynkin games with partial and asymmetric information.
method Probabilistic and functional analytic approach based on Sion's min-max theorem.
result Existence of optimal strategies for both players in randomised stopping times.
The study computes Bergman kernels and point process asymptotics on Kähler manifolds.
problem Computing asymptotics of Bergman kernels and point process distributions on Kähler manifolds.
method Equivariant and partial Bergman kernels, determinantal point processes, asymptotic analysis.
result The distribution of linear statistics converges to a centered normal variable with specific variances.
Unified local and global explanations through functional decomposition of low dimensional structures.
problem Tackles the challenge of extracting meaningful local and global explanations from machine learning models.
method Proposes a new identification constraint to decompose the global representation into main and interaction components of arbitrary order.
result Unified local and global explanations by connecting partial dependence plots and interventional SHAP values.
We prove a homological version of a conjecture about the homotopy type of diffeomorphism spaces of reducible 3-manifolds.
problem Proving a conjecture about the homotopy type of diffeomorphism spaces of reducible 3-manifolds.
method Homological approach to show finitely many nonzero homology groups, each finitely generated.
result BDiff(M, rel ∂) has finitely many nonzero homology groups, each finitely generated, for connected sums of irreducible 3-manifolds with nontrivial and non-spherical boundaries.
The paper improves asymmetric causality tests by addressing inefficiencies and statistical significance issues.
problem Inefficiencies and statistical significance issues in asymmetric causality tests.
method Improved asymmetric causality tests via partial cumulative sums for positive and negative components, explicitly testing differences between causal parameters.
result Efficiently tested hypotheses on asymmetric causal interaction between financial markets.
This paper tackles sample-efficient reinforcement learning for partially observable Markov games.
problem Learning in partially observable Markov games with incomplete information.
method A simple algorithm combining optimism and Maximum Likelihood Estimation (MLE) for self-play, and a variant of optimistic MLE for adversarial opponents.
result The proposed algorithms achieve approximate Nash, correlated, and coarse correlated equilibria in polynomial samples for weakly revealing POMGs.
We report on results concerning a partially aggregated Stock Flow Consistent (SFC) macroeconomic model in the stationary state where the sectors of banks and firms are aggregated, the sector of households is dis-aggregated, and the probability density function (pdf) of the wealth of households is exogenous, constrained…
The state sums defining the quantum hyperbolic invariants (QHI) of hyperbolic oriented cusped 3-manifolds can be split in a "symmetrization" factor and a "reduced" state sum. We show that these factors are invariants on their own, that we call "symmetry defects" and "reduced QHI", provided the manifolds are endowed w…