搜索结果：Altman

We implement and benchmark on IBM Quantum hardware the circuit family proposed by Violaris for estimating operational inter-branch communication witnesses, defined as correlations in classical measurement records produced by compiled Wigner's-friend-style circuits. We realize a five-qubit instance of the protocol as an inter-register message-transfer pattern within a single circuit, rather than physical signaling, and evaluate its behavior under realistic device noise and compilation constraints. The circuit encodes branch-conditioned evolution of an observer subsystem whose dynamics depend on a control qubit, followed by a controlled transfer operation that probes correlations between conditional measurement contexts. Executing on the ibm_fez backend with 20000 shots, we observe population-based visibility of 0.877, coherence witnesses of 0.840 and -0.811 along orthogonal axes, and a phase-sensitive magnitude of approximately 1.17. While the visibility metric is insensitive to some classes of dephasing, the coherence witnesses provide complementary sensitivity to off-diagonal noise. This work does not test or discriminate among interpretations of quantum mechanics. Instead, it pro

J. Conway defined useful operations on the Class of combinatorial games and also introduced a notion of equivalence between games. Conway showed that, under his equivalence, games form a Group. However, Conway product is not well defined on equivalence classes of arbitrary games (though it is well defined for surreals). We consider an equivalence relation finer than Conway's and show that under such a relation combinatorial games actually form a Ring. We hint to other possible relations on the Class of combinatorial games.

How can we determine whether an AI system preserves itself as a deeply held objective or merely as an instrumental strategy? Autonomous agents with memory, persistent context, and multi-step planning create a measurement problem: terminal and instrumental self-preservation can produce similar behavior, so behavior alone cannot reliably distinguish them. We introduce the Unified Continuation-Interest Protocol (UCIP), a detection framework that shifts analysis from behavior to latent trajectory structure. UCIP encodes trajectories with a Quantum Boltzmann Machine, a classical model using density-matrix formalism, and measures von Neumann entropy over a bipartition of hidden units. The core hypothesis is that agents with terminal continuation objectives (Type A) produce higher entanglement entropy than agents with merely instrumental continuation (Type B). UCIP combines this signal with diagnostics of dependence, persistence, perturbation stability, counterfactual restructuring, and confound-rejection filters for cyclic adversaries and related false-positive patterns. On gridworld agents with known ground truth, UCIP achieves 100% detection accuracy. Type A and Type B agents show an e

Precise frequency values have been determined for H$_2^{~16}$O radio lines appearing in protected line lists of the International Astronomical Union and the Panel on Frequency Allocations of the US National Academy of Sciences. The improved precision is attributable to a spectroscopic network built from a large set of near-infrared Lamb-dip lines augmented with a handful of ultrahigh-accuracy rotational transitions. The ultraprecise H$_2^{~16}$O network contains 376 Lamb-dip lines recorded previously via our frequency-comb locked cavity-enhanced spectrometer. During the present study, altogether 55 target lines have been (re)measured at high accuracy. Due to our network-assisted measurements, the accuracy has been significantly improved with respect to previous direct radio-frequency measurements for all the protected lines of H$_2^{~16}$O above 750 GHz. Furthermore, 43 of these protected transitions now benefit from the accuracy of the new near-infrared Lamb dips reported in this paper.

Designing a deterministic polynomial time algorithm for factoring univariate polynomials over finite fields remains a notorious open problem. In this paper, we present an unconditional deterministic algorithm that takes as input an irreducible polynomial $f \in \mathbb{Z}[x]$, and computes the factorisation of its reductions modulo $p$ for all primes $p$ up to a prescribed bound $N$. The \emph{average running time per prime} is polynomial in the size of the input and the degree of the splitting field of $f$ over $\mathbb{Q}$. In particular, if $f$ is Galois, we succeed in factoring in (amortised) deterministic polynomial time.

Given a well-quasi-order $X$ and an ordinal $α$, the set $s^F_α(X)$ of transfinite sequences on $X$ with length less than $α$ and with finite image is also a well-quasi-order, as proven by Nash-Williams. Before Nash-Williams proved it for general $α$, however, it was proven for $α<ω^ω$ by Erdős and Rado. In this paper, we revisit Erdős and Rado's proof and improve upon it, using it to obtain upper bounds on the maximum linearization of $s^F_{ω^k}(X)$ in terms of $k$ and $o(X)$, where $o(X)$ denotes the maximum linearization of $X$. We show that, for fixed $k$, $o(s^F_{ω^k}(X))$ is bounded above by a function which can roughly be described as $(k+1)$-times exponential in $o(X)$. We also show that, for $k\le 2$, this bound is not far from tight.

We prove that suitably generic pairs of linear equations on an even number of variables are uncommon. This verifies a conjecture of Kamčev, Morrison and the second author. Moreover, we prove that any large system containing such a $(2\times k)$-system as a minimal subsystem is uncommon.

We present an approach for GW calculations of quasiparticle energies with quasi-quadratic scaling by approximating high-energy contributions to the Green's function in its Lehmann representation with effective stochastic vectors. The method is easy to implement without altering the GW code, converges rapidly with stochastic parameters, and treats systems of various dimensionality and screening response. Our calculations on a 5.75$^\circ$ twisted MoS$_2$ bilayer show how large-scale GW methods include geometry relaxations and electronic correlations on an equal basis in structurally nontrivial materials.

We prove that any increasing sequence of real numbers with average gap $1$ and Poisson pair correlations has some gap that is at least $3/2+10^{-9}$. This improves upon a result of Aistleitner, Blomer, and Radziwill.

Today in every organization financial analysis provides the basis for understanding and evaluating the results of business operations and delivering how well a business is doing. This means that the organizations can control the operational activities primarily related to corporate finance. One way that doing this is by analysis of bankruptcy prediction. This paper develops an ontological model from financial information of an organization by analyzing the Semantics of the financial statement of a business. One of the best bankruptcy prediction models is Altman Z-score model. Altman Z-score method uses financial rations to predict bankruptcy. From the financial ontological model the relation between financial data is discovered by using data mining algorithm. By combining financial domain ontological model with association rule mining algorithm and Zscore model a new business intelligence model is developed to predict the bankruptcy.

Green and Tao's arithmetic regularity lemma and counting lemma together apply to systems of linear forms which satisfy a particular algebraic criterion known as the `flag condition'. We give an arithmetic regularity lemma and counting lemma which applies to all systems of linear forms.

A system of linear equations in $\mathbb{F}_p^n$ is \textit{common} if every two-colouring of $\mathbb{F}_p^n$ yields at least as many monochromatic solutions as a random two-colouring, asymptotically as $n \to \infty$. By analogy to the graph-theoretic setting, Alon has asked whether any (non-Sidorenko) system of linear equations can be made uncommon by adding sufficiently many free variables. Fox, Pham and Zhao answered this question in the affirmative among systems which consist of a single equation. We answer Alon's question in the negative. We also observe that the property of remaining common despite that addition of arbitrarily many free variables is closely related to a notion of commonness in which one replaces the arithmetic mean of the number of monochromatic solutions with the geometric mean, and furthermore resolve questions of Kamčev--Liebenau--Morrison.

We present numerical evidence from Monte Carlo simulations that the superfluid-insulator quantum phase transition of interacting bosons subject to strong disorder in one dimension is controlled by the strong-randomness critical point. At this critical point the distribution of superfluid stiffness over disorder realizations develops a power-law tail reflecting a universal distribution of weak links. The Luttinger parameter on the other hand does not take on a universal value at this critical point, in marked contrast to the known Berezinskii-Kosterlitz-Thouless-like superfluid-insulator transition in weakly disordered systems. We develop a finite-size scaling procedure which allows us to directly compare the numerical results from systems of linear size up to 1024 sites with theoretical predictions obtained by Altman et al. [ Phys. Rev. Lett. 93 150402 (2004)] using a strong disorder renormalization group approach. The data shows good agreement with the scaling expected at the strong-randomness critical point.

In previous work, we have commenced the task of unpacking the $473,800,776$ reflexive polyhedra by Kreuzer and Skarke into a database of Calabi-Yau threefolds (see http://www.rossealtman.com). In this paper, following a pedagogical introduction, we present a new algorithm to isolate Swiss cheese solutions characterized by "holes," or small 4-cycles, descending from the toric divisors inherent to the original four dimensional reflexive polyhedra. Implementing these methods, we find $2,268$ explicit Swiss cheese manifolds, over half of which have $h^{1,1}=6$. Many of our solutions have multiple large cycles. Such Swiss cheese geometries facilitate moduli stabilization in string compactifications and provide flat directions for cosmological inflation.

A system of linear equations in $\mathbb{F}_p^n$ is \textit{Sidorenko} if any subset of $\mathbb{F}_p^n$ contains at least as many solutions to the system as a random set of the same density, asymptotically as $n\to \infty$. A system of linear equations is \textit{common} if any 2-colouring of $\mathbb{F}_p^n$ yields at least as many monochromatic solutions to the system of equations as a random 2-colouring, asymptotically as $n\to \infty$. Both classification problems remain wide open despite recent attention. We show that a certain generic family of systems of two linear equations is not Sidorenko. In fact, we show that systems in this family are not locally Sidorenko, and that systems in this family which do not contain additive tuples are not weakly locally Sidorenko. This endeavour answers a conjecture and question of Kamčev--Liebenau--Morrison. Insofar as methods, we observe that the true complexity of a linear system is not maintained under Fourier inversion; our main novelty is the use of higher-order methods in the frequency space of systems which have complexity one. We also give a shorter proof of the recent result of Kamčev--Liebenau--Morrison and independently Versteeg

We consider several critical wetting models. In the discrete case, these probability laws are known to converge, after an appropriate rescaling, to the law of a reflecting Brownian motion, or of the modulus of a Brownian bridge, according to the boundary conditions. In the continuous case, a corresponding convergence result is proven in this paper, which allows to approximate the law of a reflecting Brownian motion by the law of Brownian meander tilted by its local time near the origin. On the other hand, these laws can be seen as the reversible probability measure of some Markov processes, namely, the dynamics which are encoded by integration by parts formulae. After proving the tightness of the associated reversible dynamics in the discrete case, based on heuristic considerations on the integration by parts formulae, we provide a conjecture on the limiting process, which we believe to satisfy a Bessel SPDE as introduced in a recent work by Elad Altman and Zambotti.

In this article, we extend the integration by parts formulae (IbPF) for the laws of Bessel bridges obtained in a recent work by Elad Altman and Zambotti to linear functionals. Our proof relies on properties of hypergeometric functions, thus providing a new interpretation of these formulae.

Define $\|n\|$ to be the complexity of $n$, the smallest number of ones needed to write $n$ using an arbitrary combination of addition and multiplication. John Selfridge showed that $\|n\|\ge 3\log_3 n$ for all $n$, leading this author and Zelinsky to define the defect of $n$, $δ(n)$, to be the difference $\|n\|-3\log_3 n$. Meanwhile, in the study of addition chains, it is common to consider $s(n)$, the number of small steps of $n$, defined as $\ell(n)-\lfloor\log_2 n\rfloor$, an integer quantity. So here we analogously define $D(n)$, the integer defect of $n$, an integer version of $δ(n)$ analogous to $s(n)$. Note that $D(n)$ is not the same as $\lceil δ(n) \rceil$. We show that $D(n)$ has additional meaning in terms of the defect well-ordering considered in [3], in that $D(n)$ indicates which powers of $ω$ the quantity $δ(n)$ lies between when one restricts to $n$ with $\|n\|$ lying in a specified congruence class modulo $3$. We also determine all numbers $n$ with $D(n)\le 1$, and use this to generalize a result of Rawsthorne [18].