We present an elementary argument that one can shield linearised gravitational fields using linearised gravitational fields. This is done by using third-order potentials for the metric, which avoids the need to solve singular equations in shielding or gluing constructions for the linearised metric.
Model analyzes debt recycling strategies under various fiscal regimes and jurisdictions.
problem Understanding debt recycling dynamics and their impact on repayment times and equity growth.
method Developed a calibrated model incorporating mortgage interest rates, borrowing costs, and tax shields.
result Introducing positive interest rates without tax shields contracts success regions and lengthens repayment times, but tax shields partially reverse these effects.
Shielded LMC samples from non-convex spaces with repulsive drift.
problem Sampling from non-convex spaces with convex holes.
method Combining adaptive temperature and repulsive drift.
result Advantages over unconstrained sampling in constrained spaces.
Safe reinforcement learning for robots using model predictive shielding.
problem Ensuring safety of learned policies in robotics tasks.
method Model Predictive Shielding (MPS) that switches between learned and backup policies.
result Guaranteed safety of learned policies in challenging robotics tasks.
Evaluates SHIELD's effectiveness against adaptive adversaries in various threat models.
problem Evaluating SHIELD's efficacy against adaptive adversaries in different threat models.
method Empirical analysis of SHIELD's robustness against adaptive attacks using Projected Gradient Descent (PGD) attacks in various threat models (white-box, gray-box).
result The targeted PGD attack success rate drops from 64.3% to 48.9% when models are trained from scratch instead of retrained.
Proves positive mass theorem for spin initial data sets with arbitrary ends and dominant energy shields.
problem Proving the positive mass theorem for spin initial data sets with various ends and energy shields.
method Modification of Witten's approach involving an additional independent timelike direction in the spinor bundle.
result Positive mass theorem for spin initial data sets with arbitrary ends and dominant energy shields.
Generalizes nonnegativity result for Brown-York mass using noncompact fill-ins.
problem Proving nonnegativity of Brown-York mass for noncompact fill-ins.
method Extending positive mass theorem to noncompact and shielded fill-ins.
result Proves nonnegativity of mean curvature for noncompact NNSC fill-ins.
New proof shows spacetime energy is always positive in higher dimensions.
problem Proving spacetime positive energy in arbitrary dimensions.
method Combines Schoen-Yau, Eichmair, Jang equation, shielding principle.
result Spacetime positive energy theorem proven in arbitrary dimensions.
New method provides scalable safety guarantees for RL agents.
problem Safe reinforcement learning in real-life scenarios.
method State-augmentation and shield design for probabilistic avoidance.
result Strict formal safety guarantees for RL agents, scalable and practical.
Extends positive mass theorem to arbitrary dimensions using a new inductive scheme.
problem Overcoming singularities in the Schoen-Yau proof for arbitrary dimensions.
method Inductive scheme combining shielding principle, conformal blow-up, and Cheeger-Naber bound.
result Proof of positive mass theorem in arbitrary dimensions.
Proves positive mass theorem for hyperbolic manifolds with ends.
problem Establishing positive mass theorem for complex initial data sets.
method Used spectral PSC, Jang equation, and quantitative shielding theorem.
result Proved positive mass theorem for asymptotically hyperbolic manifolds.
Improves diversity of text-to-image models without sacrificing FID.
problem Lack of diversity and tendency to recreate training set images.
method Adds sparse repellency terms to diffusion SDE to guide trajectories away from a reference set.
result Improves diversity of diffusion models with minimal impact on FID.
Defense strategy improves controller robustness against adversarial attacks.
problem Adversarial attacks on learning-enabled controllers in CPS.
method Two-stage defense strategy treating controller and environment as black-boxes with unknown dynamics.
result Defense strategy effectively improves controller robustness in realistic control domains.
TensorShield defends images from adversarial attacks using tensor decomposition.
problem Adversarial attacks on images can fool deep neural networks.
method Tensor decomposition to find low-rank approximations of images, reducing high-frequency perturbations.
result TensorShield outperforms existing methods like SLQ by 14% against FGSM attacks.
Paper discusses quasilocal mass and fill-ins, proving positivity and exploring definitions.
problem Exploring and defining quasilocal mass and fill-ins in general relativity.
method Analyzes several proposals of quasilocal mass based on Hamiltonian formulation and proves positivity under certain conditions.
result Positivity of Wang-Yau energy under a more general condition.
Graph neural networks predict solid-state NMR parameters from atomic structures.
problem Efficiently predicting NMR parameters from atomic structures for complex materials.
method Graph neural networks applied to tensor quantities for anisotropic magnetic shielding and electric field gradient.
result Improved accuracy in predicting NMR properties from diverse and complex materials.
Proves spacetime positive mass theorem for spin initial data sets with arbitrary ends.
problem Proving the spacetime positive mass theorem for specific spacetime configurations.
method Solving a mixed boundary value problem for the Dirac-Witten operator with a Callias potential.
result Established spacetime positive mass theorem for asymptotically flat spin initial data sets with arbitrary ends.
We perform an optimal localization of asymptotically flat initial data sets and construct data that have positive ADM mass but are exactly trivial outside a cone of arbitrarily small aperture. The gluing scheme that we develop allows to produce a new class of N-body solutions for the Einstein equation, which patently…
New method parameterizes solutions to linearized vacuum constraints on Einstein manifolds.
problem Parameterizing solutions to linearized vacuum constraints on Einstein manifolds.
method Parameterize solutions using unconstrained potentials and shield linearized gravitational fields.
result Showed how to shield linearized gravitational fields without TT gauge for any value of cosmological constant.
Flow taxes and stock taxes preserve portfolio neutrality under specific conditions.
problem Analyzing the impact of different types of taxes on portfolio choice.
method Extending the neutrality result to a full system of ownership taxes, showing how each tax modifies the drift of the wealth process.
result The combined system of taxes preserves portfolio neutrality under three conditions, and the drift-shift symmetry generalizes to a drift-shift-and-rescale symmetry.
This work introduces benchmarks for evaluating nanophotonic structures in design simulations.
problem Design and understanding of nanophotonic structures for various applications.
method Development of frameworks and benchmarks for evaluating nanophotonic structures in parametric design problems.
result Strategic use of evaluation fidelity in enhancing structure designs.
Changes in the capital structure before and after the global financial crisis for SMEs are studied, emphasizing their financing problems, distinguishing between internal financing and external financing determinants. The empirical research bears upon 158 small and medium-sized firms listed on Shenzhen and Shanghai Stoc…
The paper establishes distance estimates for manifolds with lower scalar curvature bounds.
problem Distance estimates on manifolds with lower scalar curvature bounds.
method Introduced a definition of relative index via a deformed Dirac operator trick and proved index coincidence with Callias operators.
result Proved short neck inequality and quantitative shielding result with positive scalar curvature.
Improved bio-surveillance through automated document classification.
problem Tracking infectious diseases across global news alerts.
method Recurrent neural networks, TF-IDF, Naive Bayes, logistic regression.
result 97% recall and 93.3% accuracy in bio-surveillance event classification.
Study identifies key parameters and input dimensions making LLMs and VLMs brittle.
problem Vulnerability of large language and vision-language models to perturbations.
method Proposed FI measure based on information geometry to quantify sensitivity.
result Small subset of high FI parameters significantly contribute to brittleness.
Pari-mutuel markets are trading platforms through which the common market maker simultaneously clears multiple contingent claims markets. This market has several distinctive properties that began attracting the attention of the financial industry in the 2000s. For example, the platform aggregates liquidity from the ind…
Privacy-preserving crypto exchanges adjust prices based on Gaussian noise.
problem Ensuring fair pricing in privacy-preserving cryptocurrency exchanges.
method Derive Kyle equilibrium with Gaussian noise perturbation, rescaling price-impact and strategy factors.
result Identify a privacy subsidy as a transfer from LP pool to traders, invariant to noise.
GraphShield uses dynamic graph learning to detect and visualize financial risks.
problem Detecting and mitigating risks in financial networks.
method Enhanced Cross-Domain Information Learning, Advanced Risk Recognition, Risk Propagation Visualization.
result GraphShield effectively identifies and visualizes hidden financial risks.
CLEANN detects and mitigates neural network Trojans without labeled data.
problem Trojans in embedded neural networks that bypass detection during inference.
method Dictionary learning and sparse approximation for identifying Trojan triggers, lightweight algorithm/hardware co-design.
result Efficient real-time execution on resource-constrained platforms, competitive attack resiliency.
Develops privacy-preserving methods for longitudinal linear regression.
problem Protecting individual information in longitudinal data with privacy-preserving statistics.
method Proposes a user-level private regression estimator and a privatized covariance estimator for longitudinal linear regression under user-level differential privacy.
result Establishes theoretical guarantees for practical user-level differential privacy estimation and inference in longitudinal linear regression.
Study shows large extra dimensions are hidden from view by black holes.
problem Difficulty in observing large extra dimensions in the universe.
method Analysis of conditions leading to black hole formation in lower dimensional theories.
result Extra dimensions larger than 10−19m are hidden inside black holes. MIOpen optimizes deep learning operators for GPUs, accelerating research.
problem Optimizing deep learning operators for efficient GPU execution.
method Highly optimized implementations, fusion, auto-tuning, bfloat16 support.
result Accelerates time to discovery in deep learning research.
TIP-Search optimizes market prediction accuracy and timeliness under uncertain load.
problem Real-time market prediction requires accurate predictions before a deadline.
method Filters feasible models, dispatches workers, trades accuracy for deadline risk.
result Optimized pool achieves 0.991 timely accuracy and 0.994 raw accuracy.
Bayesian inference calibrates Hall thruster model uncertainty at varying pressures.
problem Quantifying uncertainty in a multi-component Hall thruster model at different facility pressures.
method Bayesian inference applied to calibrate and quantify prediction uncertainty in a coupled multi-component Hall thruster model.
result Model reduces predictive errors in thrust and discharge current by more than 50% compared to a previous model.
Investigates optimal withdrawal strategies in VA contracts with tax and ratchet mechanisms.
problem Optimizing withdrawal strategies and behavior of policyholders in VA contracts with tax and ratchet mechanisms.
method Solving a backward dynamic programming problem to optimize cash flows from VA contracts, considering hybrid products and taxation effects.
result Tax-shielding effect of the cash fund enhances contract attractiveness, ratchet mechanism discourages early surrender, and cash fund discourages active withdrawals.
We evaluate the applicability of the generic Vickrey-Clarke-Groves (VCG) mechanism as an antimonopoly measure against a profit-maximizing producer with market power operating a portfolio of generating units at the centralized two-settlement energy market. The producer may indicate in its bid not only the altered cost f…
The starting point of this article is the question "How to retrieve fingerprints of rhythm in written texts?" We address this problem in the case of Brazilian and European Portuguese. These two dialects of Modern Portuguese share the same lexicon and most of the sentences they produce are superficially identical. Yet t…
Extends wealth tax neutrality framework to stochastic volatility and non-homothetic preferences.
problem Ensuring wealth taxes are neutral under various economic conditions.
method Extended Frøseth's neutrality framework to stochastic volatility and non-homothetic preferences, identified four channels of non-neutrality, and applied the framework to global minimum wealth taxes.
result Non-uniform assessment, general equilibrium effects, progressive thresholds, and endogenous labour supply can cause non-neutrality under CRRA preferences.
Bitcoin fails to function as a stable currency or store of value.
problem Bitcoin's failure to serve as a reliable currency or store of value.
method Quantitative finance methods and economic arguments applied to cryptocurrencies.
result Bitcoin does not function as a currency, store of value, or inflation hedge.
swTVM optimizes deep learning code for Sunway processors.
problem Efficiently compiling deep learning models for Sunway processors.
method Extends TVM to support Sunway, leveraging architecture features.
result 1.79x improvement on average across benchmarks.
Enhances cryptocurrency pair trading with DRL, outperforming classical methods.
problem Rigidity and divergence risks in traditional pair trading strategies in crypto markets.
method Hierarchical pair selection, Fixed Risk, Adaptive Mean execution model, PPO with LSTM.
result DRL outperformed heuristic baseline by a statistically significant margin.
Classifier-based AI safety gates fail in self-improvement, even with advanced verification methods.
problem Maintaining reliable oversight of AI systems as they improve over iterations.
method Comprehensive empirical testing on neural controllers and MuJoCo benchmarks, using various classifiers and verification methods.
result Classifier-based safety gates fail in maintaining reliable oversight, even with advanced verification methods.
Why do a market's prices move up or down? Claims about causes are made without actual information, and accepted or dismissed based upon poor or non-existent evidence. Here we investigate the price movements that ended with Apple stock closing at \$500.00 on January 18, 2013. There is a ready explanation for this price …
Insider threat detection is getting an increased concern from academia, industry, and governments due to the growing number of malicious insider incidents. The existing approaches proposed for detecting insider threats still have a common shortcoming, which is the high number of false alarms (false positives). The chal…
Model analyzes how firms balance full disclosure with selective disclosure to maintain a good reputation.
problem Managing reputation in financial markets through voluntary disclosure.
method Developed a dynamic model with two disclosure strategies: candid and sparing, using a piecewise-deterministic model.
result Firms are rewarded for full disclosure but may switch to selective disclosure to avoid potential downgrades.
Procedure for determining less discriminatory alternatives in AI audits with limited resources.
problem Difficulty in proving less discriminatory alternatives in AI audits due to resource constraints.
method Closed-form upper bound for loss-fairness Pareto frontier, enabling claimants to fit PFs without training large models.
result A scaling law for loss-fairness Pareto frontiers, allowing claimants to determine if an LDA exists with limited resources.