共找到 20 条结果
We study the absorption time and spreading rate of the discrete-time quantum walk propagating on a line in the presence or absence of an absorber. We analytically establish that in the presence of an absorber, the average absorption time of the quantum walker is finite, contrary to the behavior of a classical random walker, indicating an infinite resource reduction on moving over to a quantum version of a walker. Furthermore, numerical simulations indicate a reversal of this behavior due to the insertion of disorder in the walker's step lengths. Additionally, we demonstrate that in the presence of an absorber, there is a speed-up in the spreading rate, and that a disordered quantum walk that is sub-ballistic regains the ballistic spreading of a clean quantum walk.
Pruning is a process designed to reduce the number of weights in a large neural network. This can substantially speed up inference but might cause a considerable reduction in the model's accuracy, and thus it is usually followed by a healing process that regains some of the lost accuracy. In this paper, we propose a new healing method, STARFISH, that can recover (most of) the accuracy of any pruned network efficiently. The main idea of STARFISH is to optimize the pruned network to align with the original network's internal state representations using a tiny calibration set of unlabeled examples. For the common case of removing 50% of the weights, STARFISH healing improves the recovered accuracy by up to 22% over the state-of-the-art methods on ViT-based networks. Its advantage is even more pronounced under aggressive pruning. For example, after eliminating 75% of the weights in a DeiT-B network for ImageNet, STARFISH uses only 0.4% of the number of training images as a calibration set and recovers 82% of the original dense accuracy, whereas competing recovery techniques reach only 40% of the dense model accuracy.
This paper introduces the Quest Graph, a formal framework for analyzing the capabilities of agentic systems with finite context. We define abstractions that model common reasoning techniques and establish their computational power: the base Quest Graph is equivalent to an unrestricted Turing machine; the forward-only Finite Quest Decision Process (FQDP), despite its wide use, is only equivalent to a pushdown automaton (context-free); and the Reference-Augmented QDP (RQDP) regains Turing completeness only when stateful queries are allowed. Since computability affects efficiency, we then analyze the theoretical efficiency of each model by simulating task dependencies in computation graphs. We show that this computational hierarchy translates to concrete performance trade-offs: reference-augmented (Turing-complete) systems can be exponentially more efficient at simulating complex graphs than their non-augmented (context-free) counterparts. This work provides a formal methodology for classifying and understanding the fundamental capabilities of agentic systems.
User-driven privacy allows individuals to control whether and at what granularity their data is shared, leading to datasets that mix original, generalized, and missing values within the same records and attributes. While such representations are intuitive for privacy, they pose challenges for machine learning, which typically treats non-original values as new categories or as missing, thereby discarding generalization semantics. For learning from such tabular data, we propose novel data transformation strategies that account for heterogeneous anonymization and evaluate them alongside standard imputation and LLM-based approaches. We employ multiple datasets, privacy configurations, and deployment scenarios, demonstrating that our method reliably regains utility. Our results show that generalized values are preferable to pure suppression, that the best data preparation strategy depends on the scenario, and that consistent data representations are crucial for maintaining downstream utility. Overall, our findings highlight that effective learning is tied to the appropriate handling of anonymized values.
Forecast reconciliation usually starts from a fixed measurement system and asks how forecasts should be projected onto a coherent space. We ask a different question: which additional linear measurements should be forecast and included in the reconciliation system? We propose REGAIN, a reconciliation-gain framework that learns normalized auxiliary directions, forecasts the induced series with a frozen forecasting oracle, and selects directions by their target-weighted loss reduction after augmented generalized least-squares reconciliation. Unlike variance-based components or predictability-based auxiliary selection, REGAIN optimizes the downstream effect of an auxiliary measurement on the final reconciled forecasts. We provide a statistical characterization showing that useful auxiliary directions must provide complementary information about unresolved target uncertainty, rather than merely being easy to forecast. The analysis also clarifies the covariance-risk reduction mechanism, the role of bias changes in realized quadratic risk, and the stability of estimated gain signals. A stagewise learning algorithm with held-out gain screening is developed, together with an optional joint
The effect of pressure on the structural evolution, enhancement of photoluminescence intensity and optical band gap of a vacancy ordered double halide perovskite Cs$_2$TeCl$_6$ is investigated systematically. We use synchrotron x-ray diffraction, Raman spectroscopy, optical band gap and photoluminescence measurements to explore the structural and the optical properties of Cs$_2$TeCl$_6$ under pressure up to 30.0 GPa. We find that Cs$_2$TeCl$_6$ undergoes a structural transition from cubic Fm$\bar{3}$m to monoclinic P2$_1$/n at very low pressure below 1.0 GPa. A significant increase in photoluminescence intensity and a rapid decrease in optical band gap are observed, which are related to the octahedral distortion and structural transition. Interestingly, with increasing pressure, the sample regains its ambient Fm$\bar{3}$m structure at around 3.4 GPa maintaining the cubic phase up to 30.0 GPa. The sample undergoes an iso-structural transition at around 14.1 GPa pressure with a slight decrease in compressibility.
We study discrete Laplacians on two-dimensional lattices under modular iterations, focusing on the emergence of nontrivial large-scale patterns. While purely binary or constant modular sequences quickly collapse into strict periodicity, the insertion of a single non-binary step k yields qualitatively new behavior. Through extensive computer-assisted exploration we identify a taxonomy of long-lived figures - rugs, quasi-carpets, and carpets - whose occurrence depends systematically on seed symmetry, neighborhood mask, and sequence structure. In particular, we show that mixed families of the form [2,k,2 to power s] can stabilize high-density carpets beyond the universal decay time characteristic of binary dynamics. Our approach combines algebraic replication laws with large-scale simulations and density tracking, producing both theoretical conditions (periodicity via Lucas theorem, non-overlap criteria) and experimental evidence of persistent quasi-aperiodic architectures. The results highlight how minimal modifications in discrete local rules generate unexpectedly rich multiscale geometries, bridging rigorous analysis with computer-assisted discovery.
Modern networks generate vast, heterogeneous traffic that must be continuously analyzed for security and performance. Traditional network traffic analysis systems, whether rule-based or machine learning-driven, often suffer from high false positives and lack interpretability, limiting analyst trust. In this paper, we present ReGAIN, a multi-stage framework that combines traffic summarization, retrieval-augmented generation (RAG), and Large Language Model (LLM) reasoning for transparent and accurate network traffic analysis. ReGAIN creates natural-language summaries from network traffic, embeds them into a multi-collection vector database, and utilizes a hierarchical retrieval pipeline to ground LLM responses with evidence citations. The pipeline features metadata-based filtering, MMR sampling, a two-stage cross-encoder reranking mechanism, and an abstention mechanism to reduce hallucinations and ensure grounded reasoning. Evaluated on ICMP ping flood and TCP SYN flood traces from the real-world traffic dataset, it demonstrates robust performance, achieving accuracy between 95.95% and 98.82% across different attack types and evaluation benchmarks. These results are validated against
This paper reexamines the classic problem of revenue maximization in single-item auctions with $n$ buyers under the lens of the robust optimization framework. The celebrated Myerson's mechanism is the format that maximizes the seller's revenue under the prior distribution, which is mutually independent across all $n$ buyers. As argued in a recent line of work (Caragiannis et al. 22), (Dughmi et al. 24), mutual independence is a strong assumption that is extremely hard to verify statistically, thus it is important to relax the assumption. While optimal under mutual independent prior, we find that Myerson's mechanism may lose almost all of its revenue when the independence assumption is relaxed to pairwise independence, i.e., Myerson's mechanism is not pairwise-robust. The mechanism regains robustness when the prior is assumed to be 3-wise independent. In contrast, we show that second-price auctions with anonymous reserve, including optimal auctions under i.i.d. priors, lose at most a constant fraction of their revenues on any regular pairwise independent prior. Our findings draw a comprehensive picture of robustness to $k$-wise independence in single-item auction settings.
The energetically most efficient way how a deformed red blood cell regains equilibrium is mathematically described by the gradient flow of the Canham-Helfrich functional, including a spontaneous curvature and the conservation of surface area and enclosed volume. Using a recently discovered multiplicity inequality, we prove global existence and convergence of smooth solutions for spheres and axisymmetric tori, provided the initial energy lies below explicit thresholds.
Impurities immersed in hard-core Bose gases offer exciting opportunities to explore polaron and bipolaron physics. We investigate the ground state properties of a single and a pair of impurities throughout the superfluid and insulating (charge density wave) phases of the bosonic environment. In the superfluid phase, the impurity exhibits polaron-like behavior, forming a dressed quasiparticle. In contrast, in the insulating phase, the impurity regains its particle-like character, moving through a potential landscape shaped by the charge density wave order. Moreover, we show that two impurities can form a bound state even in the absence of an explicit impurity-impurity coupling. We establish the stability of this bound state within both the superfluid and insulating phases. Our results offer valuable insights for ongoing lattice polaron experiments with ultracold gases.
In the era of AI, recommendation algorithms and generative AI challenge information autonomy by creating echo chambers and blurring the line between authentic and fabricated content. The Critical Canvas addresses these challenges with a novel information exploration platform designed to restore balance between algorithmic efficiency and human agency. It employs three key mechanisms: multi-dimensional exploration across logical, temporal, and geographical perspectives; dynamic knowledge entry generation to capture complex relationships between concepts; and a phase space to evaluate the credibility of both the content and its sources. Particularly relevant to technical AI governance, where stakeholders must navigate intricate specifications and safety frameworks, the platform transforms overwhelming technical information into actionable insights. The Critical Canvas empowers users to regain autonomy over their information consumption through structured yet flexible exploration pathways, creative visualization, human-centric navigation, and transparent source evaluation. It fosters a comprehensive understanding of nuanced topics, enabling more informed decision-making and effective p
The Roamn domination problem is one important combinatorial optimization problem that is derived from an old story of defending the Roman Empire and now regains new significance in cyber space security, considering backups in the face of a dynamic network security requirement. In this paper, firstly, we propose a Roman domination game (RDG) and prove that every Nash equilibrium (NE) of the game corresponds to a strong minimal Roman dominating function (S-RDF), as well as a Pareto-optimal solution. Secondly, we show that RDG is an exact potential game, which guarantees the existence of an NE. Thirdly, we design a game-based synchronous algorithm (GSA), which can be implemented distributively and converge to an NE in $O(n)$ rounds, where $n$ is the number of vertices. In GSA, all players make decisions depending on the local information. Furthermore, we enhance GSA to be enhanced GSA (EGSA), which converges to a better NE in $O(n^2)$ rounds. Finally, we present numerical simulations to demonstrate that EGSA can obtain a better approximate solution in promising computation time compared with state-of-the-art algorithms.
We propose a multilevel stochastic approximation (MLSA) scheme for the computation of the value-at-risk (VaR) and expected shortfall (ES) of a financial loss, which can only be computed via simulations conditionally on the realisation of future risk factors. Thus the problem of estimating its VaR and ES is nested in nature and can be viewed as an instance of stochastic approximation problems with biased innovations. In this framework, for a prescribed accuracy $\varepsilon$, the optimal complexity of a nested stochastic approximation algorithm is shown to be of the order $\varepsilon^{-3}$. To estimate the VaR, our MLSA algorithm attains an optimal complexity of the order $\varepsilon^{-2-δ}$, where $δ\in(0,1)$ is some parameter depending on the integrability degree of the loss, while to estimate the ES, the algorithm achieves an optimal complexity of the order $\varepsilon^{-2}|\ln{\varepsilon}|^2$. Numerical studies of the joint evolution of the error rate and the execution time demonstrate how our MLSA algorithm regains a significant amount of the performance lost due to the nested nature of the problem.
For common knowledge to arise in dynamic settings, all players must simultaneously come to know it has arisen. Consequently, common knowledge cannot arise in many realistic settings with timing frictions. This counterintuitive observation of Halpern and Moses (1990) was discussed by Arrow et al. (1987) and Aumann (1989), was called a paradox by Morris (2014), and has evaded satisfactory resolution for four decades. We resolve this paradox by proposing a new definition for common knowledge, which coincides with the traditional one in static settings but is more permissive in dynamic settings. Under our definition, common knowledge can arise without simultaneity, particularly in canonical examples of the Haplern-Moses paradox. We demonstrate its usefulness by deriving for it an agreement theorem à la Aumann (1976), showing it arises in the setting of Geanakoplos and Polemarchakis (1982) with timing frictions added, and applying it to characterize equilibrium behavior in a dynamic coordination game.
In its canonical formulation, general relativity is subject to gauge transformations that are equivalent to space-time coordinate changes of general covariance only when the gauge generators, given by the Hamiltonian and diffeomorphism constraints, vanish. Since the specific form taken by Poisson brackets of the constraints and of the gauge transformations and equations of motion they generate is important for general covariance to be realized, modifications of the canonical theory, suggested for instance by approaches to quantum gravity, are not guaranteed to be compatible with the existence of a covariant space-time line element. This caveat applies even if the modification preserves the number of independent gauge transformations and the modified constraints remain first class. Here, a complete derivation of covariance conditions, regained from the canonical constraints without assuming that space-time has its classical structure, is presented and applied in detail to spherically symmetric vacuum models. As a broad application, the presence of structure functions in the constraint brackets plays a crucial role, which in an independent analysis has recently been shown to lead to
There exists a natural $L_\infty$-algebra or $Q$-manifold that can be associated to any (gauge) field theory. Perturbatively, it can be obtained by reducing the $L_\infty$-algebra behind the jet space BV-BRST formulation to its minimal model. We explicitly construct the minimal models of self-dual Yang-Mills and self-dual gravity theories, which also represents their equations of motion as Free Differential Algebras. The minimal model regains all relevant information about the field theory, e.g. actions, charges, anomalies, can be understood in terms of the corresponding $Q$-cohomology.
The fascinating multiple magnetic states observed in the Ni-Mn-Sn based metamagnetic shape memory alloy are addressed through a combined muon spin relaxation (muSR) and neutron powder diffraction studies. The material used in the present investigation is an off-stoichiometric alloy of nominal composition, Ni[2.04]Mn[1.4]Sn[0.56]. This prototypical alloy, similar to other members in the Ni-Mn-Sn series, orders ferromagnetically below T[CA] (= 320 K), and undergoes martensitic type structural transition at T[MS] (= 290 K), which is associated with the sudden loss of magnetization. The sample regains its magnetization below another magnetic transition at T[CM] = 260 K. Eventually, the composition shows a step-like anomaly at T[B] = 120 K, which is found to coincide with the blocking temperature of exchange bias effect observed in the alloy. In our study, the initial asymmetry A_[10] ) of the $μ$SR data falls rapidly below T[CA], indicating the onset of bulk magnetic order. A[10] regains its full asymmetry value below T[MS] suggesting the collapse of the ferromagnetic order into a fully disordered paramagnetic state. Below the second magnetic transition at T[CM], asymmetry drops again,
The stable and unstable solutions of a square 2D extreme type-II superconductor are studied in the field of a magnetic disc. We use a preconditioned Newton-Krylov solver to find the solutions and use numerical continuation to track the solutions as the field strength varies. For a disc with a small radius, we have identified generic scenarios through which the state loses and regains its stability.
Entangled states are in conflict with a general physical principle which expresses that a composite entity exists if and only if its components also exist, and the hypothesis that pure states represent the actuality of a physical entity, i.e., its 'existence'. A possible way to solve this paradox consists in completing the standard formulation of quantum mechanics, by adding more pure states. We show that this can be done, in a consistent way, by using the extended Bloch representation of quantum mechanics, recently introduced to provide a possible solution to the measurement problem. Hence, with the solution proposed by the extended Bloch representation of quantum mechanics, the situation of entangled states regains full intelligibility.