共找到 20 条结果
Neural networks can approximate solutions to partial differential equations, but they often break the very laws they are meant to model-creating mass from nowhere, drifting shocks, or violating conservation and entropy. We address this by training within the laws of physics rather than beside them. Our framework, called Constraint-Projected Learning (CPL), keeps every update physically admissible by projecting network outputs onto the intersection of constraint sets defined by conservation, Rankine-Hugoniot balance, entropy, and positivity. The projection is differentiable and adds only about 10% computational overhead, making it fully compatible with back-propagation. We further stabilize training with total-variation damping (TVD) to suppress small oscillations and a rollout curriculum that enforces consistency over long prediction horizons. Together, these mechanisms eliminate both hard and soft violations: conservation holds at machine precision, total-variation growth vanishes, and entropy and error remain bounded. On Burgers and Euler systems, CPL produces stable, physically lawful solutions without loss of accuracy. Instead of hoping neural solvers will respect physics, CPL
Ventricular arrhythmias, like ventricular tachycardia (VT) and ventricular fibrillation (VF), precipitate sudden cardiac death (SCD), which is the leading cause of mortality in the industrialised world. Thus, the elimination of VT and VF is a problem of paramount importance, which is studied experimentally, theoretically, and numerically. Numerical studies use partial-differential-equation models, for cardiac tissue, which admit solutions with spiral- or broken-spiral-wave solutions that are the mathematical counterparts of VT and VF. In silico investigations of such mathematical models of cardiac tissue allow us not only to explore the properties of such spiral-wave turbulence, but also to develop mathematical analogues of low-amplitude defibrillation by the application of currents that can eliminate spiral waves. We develop an efficient deep-neural-network U-Net-based method for the control of spiral-wave turbulence in mathematical models of cardiac tissue. Specifically, we use the simple, two-variable Aliev-Panfilov and the ionically realistic TP06 mathematical models to show that the lower the correlation length ξ for spiral-turbulence patterns, the easier it is to eliminate th
Before and after study frameworks are widely adopted to evaluate the effectiveness of transportation policies and emerging technologies. However, many factors such as seasonal factors, holidays, and lane closure might interfere with the evaluation process by inducing variation in traffic volume during the before and after periods. In practice, limited effort has been made to eliminate the effects of these factors. In this study, an extreme gradient boosting (XGBoost)-based propensity score matching method is proposed to reduce the biases caused by traffic volume variation during the before and after periods. In order to evaluate the effectiveness of the proposed method, a corridor in the City of Chandler, Arizona where an advanced traffic signal control system has been recently implemented was selected. The results indicated that the proposed method is able to effectively eliminate the variation in traffic volume caused by the COVID-19 global Pandemic during the evaluation process. In addition, the results of the t-test and Kolmogorov-Smirnov (KS) test demonstrated that the proposed method outperforms other conventional propensity score matching methods. The application of the prop
XML keyword search is a user-friendly way to query XML data using only keywords. In XML keyword search, to achieve high precision without sacrificing recall, it is important to remove spurious results not intended by the user. Efforts to eliminate spurious results have enjoyed some success by using the concepts of LCA or its variants, SLCA and MLCA. However, existing methods still could find many spurious results. The fundamental cause for the occurrence of spurious results is that the existing methods try to eliminate spurious results locally without global examination of all the query results and, accordingly, some spurious results are not consistently eliminated. In this paper, we propose a novel keyword search method that removes spurious results consistently by exploiting the new concept of structural consistency.
By using higher K-theory, we reinterpret and generalize an idea on eliminating obstructions to deforming cycles, which is known to Mark Green, Phillip Griffiths and TingFai Ng(for the divisor case). As an application, we show how to eliminate obstructions to deforming curves on a 3-fold. This answers affirmatively an open question by TingFai Ng.
The elimination of decoherence of a multiphoton two-state quantum system by using an appropriate external driving field is considered. The multiphoton process caused by the noise field has a supersymmetric Lie algebraic structure. The time-evolution equations for the off-diagonal elements of the density operator of the two-state system are derived in the interaction picture. A simple explicit formula is given for the time-dependent external driving field used to eliminate the decoherence of the multiphoton two-state system.
Skip connections made the training of very deep networks possible and have become an indispensable component in a variety of neural architectures. A completely satisfactory explanation for their success remains elusive. Here, we present a novel explanation for the benefits of skip connections in training very deep networks. The difficulty of training deep networks is partly due to the singularities caused by the non-identifiability of the model. Several such singularities have been identified in previous works: (i) overlap singularities caused by the permutation symmetry of nodes in a given layer, (ii) elimination singularities corresponding to the elimination, i.e. consistent deactivation, of nodes, (iii) singularities generated by the linear dependence of the nodes. These singularities cause degenerate manifolds in the loss landscape that slow down learning. We argue that skip connections eliminate these singularities by breaking the permutation symmetry of nodes, by reducing the possibility of node elimination and by making the nodes less linearly dependent. Moreover, for typical initializations, skip connections move the network away from the "ghosts" of these singularities and
We show on a 4x4 example that many dynamics may eliminate all strategies used in correlated equilibria, and this for an open set of games. This holds for the best-response dynamics, the Brown-von Neumann-Nash dynamics and any monotonic or weakly sign-preserving dynamics satisfying some standard regularity conditions. For the replicator dynamics and the best-response dynamics, elimination of all strategies used in correlated equilibrium is shown to be robust to the addition of mixed strategies as new pure strategies.
We perform a Hamiltonian constraint analysis of the multivielbein theory proposed in [Phys. Rev. Lett. 122 (2019) 251101]. The analysis shows that the secondary constraints have the correct form to eliminate the problematic ghost fields that generally plague theories of interacting spin-2 fields. In particular, the would-be ghost fields are eliminated by the constraints associated with the lapse functions. The subsequent constraints must then determine the ghost momenta and the remaining non-dynamical variables. To establish this, we work with a restricted set of vielbeins with equal boost functions. This allows us to explicitly compute the additional constraints that eliminate the canonical momenta associated with the ghost fields and fix the remaining non-dynamical variables. Our analysis confirms that, subject to this restriction on the boosts, the theory with N interacting vielbeins propagates 2+5(N-1) modes. This corresponds to a nonlinear theory of one massless and N-1 massive spin-2 fields free of Boulware-Deser ghost instabilities.
Quantifiers make first-order logic more expressive than propositional logic, but they also make solving satisfiability problems more difficult. To solve these problems efficiently, many techniques have been developed to eliminate quantifiers from logic formulas: model-based quantifier instantiation, E-matching, Skolemization, destructive equality resolution, ... I propose a table-based instantiation method for quantifier elimination. It can be used to solve satisfiability problems for "guarded" formulas, i.e., formulas where the use of defined functions in the matrix of quantifications effectively restricts the relevant range of their variables to a finite set. I have implemented this method in a pre-processor for SMT solvers. This "grounder" leverages an embedded relational database (SQLite) to execute relational operations efficiently. While this grounder does not accelerate 2025 benchmarks of the SMT-LIB library, it does improve performance of SMT solvers on public benchmarks for SAT and ASP solvers. The grounder has applications in, e.g., solving graph problems.
Let $C$ be the class of separable-algebraically maximal equi-characteristic Kaplansky fields of a given imperfection degree, admitting an angular component map. We prove that the common theory of the class $C$ resplendently eliminates quantifiers down to the residue field and the value group, in a three sorted language of valued fields with a symbol for an angular component map and symbols for the parameterized lambda-functions. As a consequence, we obtain that equi-characteristic NIP and NIP$_n$ henselian fields with an angular component map resplendently eliminate field quantifiers in this language. We also prove that this elimination reduces existential formulas to existential formulas without quantifiers from the home sort. Finally, we draw several conclusions following the AKE philosophy for elements of the class $C$, including the usual AKE principles for $\equiv,\equiv_{\exists},\preceq,\preceq_{\exists}$ and for relative decidability.
Recent advancements in DeepFakes attribution technologies have significantly enhanced forensic capabilities, enabling the extraction of traces left by generative models (GMs) in images, making DeepFakes traceable back to their source GMs. Meanwhile, several attacks have attempted to evade attribution models (AMs) for exploring their limitations, calling for more robust AMs. However, existing attacks fail to eliminate GMs' traces, thus can be mitigated by defensive measures. In this paper, we identify that untraceable DeepFakes can be achieved through a multiplicative attack, which can fundamentally eliminate GMs' traces, thereby evading AMs even enhanced with defensive measures. We design a universal and black-box attack method that trains an adversarial model solely using real data, applicable for various GMs and agnostic to AMs. Experimental results demonstrate the outstanding attack capability and universal applicability of our method, achieving an average attack success rate (ASR) of 97.08\% against 6 advanced AMs on DeepFakes generated by 9 GMs. Even in the presence of defensive mechanisms, our method maintains an ASR exceeding 72.39\%. Our work underscores the potential chall
We introduce the prodiabatic elimination, a powerful approximation technique that systematically extends the adiabatic elimination of fast degrees of freedom in light-matter coupled systems. Through a controlled expansion of operators, the prodiabatic elimination incorporates higher-order corrections and consistently includes noise contributions, leading to a significantly improved performance compared to standard adiabatic elimination. Importantly, it retains the simplicity and computational efficiency of the adiabatic elimination, making it convenient for practical applications. We demonstrate the approach on two setups: a driven dissipative Jaynes-Cummings model and a three-level system in a two-mode cavity that performs stimulated Raman adiabatic passage (STIRAP). These examples establish the prodiabatic elimination as a robust and broadly applicable tool for analyzing open quantum systems.
Despite the remarkable advancements in Visual Question Answering (VQA), the challenge of mitigating the language bias introduced by textual information remains unresolved. Previous approaches capture language bias from a coarse-grained perspective. However, the finer-grained information within a sentence, such as context and keywords, can result in different biases. Due to the ignorance of fine-grained information, most existing methods fail to sufficiently capture language bias. In this paper, we propose a novel causal intervention training scheme named CIBi to eliminate language bias from a finer-grained perspective. Specifically, we divide the language bias into context bias and keyword bias. We employ causal intervention and contrastive learning to eliminate context bias and improve the multi-modal representation. Additionally, we design a new question-only branch based on counterfactual generation to distill and eliminate keyword bias. Experimental results illustrate that CIBi is applicable to various VQA models, yielding competitive performance.
Recent work on distributed graph algorithms [e.g. STOC 2022, ITCS 2022, PODC 2020] has drawn attention to the following open question: are round elimination fixed points a universal technique for proving lower bounds? That is, given a locally checkable problem $Π$ that requires at least $Ω(\log n)$ rounds in the deterministic LOCAL model, can we always find a relaxation $Π'$ of $Π$ that is a nontrivial fixed point for the round elimination technique [see STOC 2016, PODC 2019]? If yes, then a key part of distributed computational complexity would be also decidable. The key obstacle so far has been a certain family of homomorphism problems [ITCS 2022], which require $Ω(\log n)$ rounds, but the only known proof is based on Marks' technique [J. AMS 2016]. We develop a new technique for constructing round elimination lower bounds systematically. Using so-called tripotent inputs we show that the aforementioned homomorphism problems indeed admit a lower bound proof that is based on round elimination fixed points. Hence we eliminate the only known obstacle for the universality of round elimination. Yet we also present a new obstacle: we show that there are some problems with inputs that re
Neural code models (NCMs) have been widely used to address various code understanding tasks, such as defect detection. However, numerous recent studies reveal that such models are vulnerable to backdoor attacks. Backdoored NCMs function normally on normal/clean code snippets, but exhibit adversary-expected behavior on poisoned code snippets injected with the adversary-crafted trigger. It poses a significant security threat. Therefore, there is an urgent need for effective techniques to detect and eliminate backdoors stealthily implanted in NCMs. To address this issue, in this paper, we innovatively propose a backdoor elimination technique for secure code understanding, called EliBadCode. EliBadCode eliminates backdoors in NCMs by inverting/reverse-engineering and unlearning backdoor triggers. Specifically, EliBadCode first filters the model vocabulary for trigger tokens based on the naming conventions of specific programming languages to reduce the trigger search space and cost. Then, EliBadCode introduces a sample-specific trigger position identification method, which can reduce the interference of non-backdoor (adversarial) perturbations for subsequent trigger inversion, thereby
The method of adiabatic elimination has been widely adopted in quantum optics in the past several decades. In the study of cavity-based light-matter interactions, the bad-cavity limit is often encountered, where the damping rate of the cavity is much larger than the interaction strength. The fast-damped cavity will quickly relax to a quasi-stationary state, and one can eliminate the cavity from the equation of motion by setting its time derivative to zero. Elimination of the cavity in the bad-cavity limit can reduce the dimensionality of the equations of motion of the system. However, we find that the adiabatic elimination procedure performed in the quantum Langevin equation leads to an incorrect commutation relation, which was rarely discussed in the former studies, as far as we know. Here, we show the incorrect commutation relation arises from the fact that the high frequency of the vacuum noise should be cut off to perform adiabatic elimination, but the noise with high frequency cutoff is still treated as white noise with infinite bandwidth and delta commutation relation. We also study the correlation function and show that the high frequency part of noise contributes very littl
Language models (LMs) are capable of conducting in-context learning for multiple choice reasoning tasks, but the options in these tasks are treated equally. As humans often first eliminate wrong options before picking the final correct answer, we argue a similar two-step strategy can make LMs better at these tasks. To this end, we present the Process of Elimination (POE), a two-step scoring method. In the first step, POE scores each option, and eliminates seemingly wrong options. In the second step, POE masks these wrong options, and makes the final prediction from the remaining options. Zero-shot experiments on 8 reasoning tasks illustrate the effectiveness of POE, and a following analysis finds our method to be especially performant on logical reasoning tasks. We further analyze the effect of masks, and show that POE applies to few-shot settings and large language models (LLMs) like ChatGPT.
Majority Illusion is a phenomenon in social networks wherein the decision by the majority of the network is not the same as one's personal social circle's majority, leading to an incorrect perception of the majority in a large network. In this paper, we present polynomial-time algorithms which can eliminate majority illusion in a network by altering as few connections as possible. Additionally, we prove that the more general problem of ensuring all neighbourhoods in the network are at least a $p$-fraction of the majority is NP-hard for most values of $p$.
One of the major challenges in finite element methods is the mitigation of spurious oscillations near sharp layers and discontinuities known as the Gibbs phenomenon. In this article, we propose a set of functionals to identify spurious oscillations in best approximation problems in finite element spaces. Subsequently, we adopt these functionals in the formulation of constraints in an effort to eliminate the Gibbs phenomenon. By enforcing these constraints in best approximation problems, we can entirely eliminate over- and undershoot in one dimensional continuous approximations, and significantly suppress them in one- and higher-dimensional discontinuous approximations.