yusuke1997/dblp-id-title huggingface dataset:
Hybrid quantum-classical algorithms for approximate graph coloring
Out of the Loop: Structural Approximation of Optimisation Landscapes and non-Iterative Quantum Optimisation
Stationary Phase Method in Discrete Wigner Functions and Classical Simulation of Quantum Circuits
Efficient learning of t-doped stabilizer states with single-copy measurements
Engineering Schrödinger cat states with a photonic even-parity detector
Integrable Quantum Circuits from the Star-Triangle Relation
Quantum-classical correspondence of a system of interacting bosons in a triple-well potential
Certifying nonlocal properties of noisy quantum operations
Monte Carlo Simulation of Operator Dynamics and Entanglement in Dual-Unitary Circuits
Resource engines
Complete Information Balance in Quantum Measurement
The arrow of time in operational formulations of quantum theory
In situ upgrade of quantum simulators to universal computers
Architecture aware compilation of quantum circuits via lazy synthesis
Quantum-Classical Hybrid Systems and their Quasifree Transformations
Limitations of the Macaulay matrix approach for using the HHL algorithm to solve multivariate polynomial systems
A monogamy-of-entanglement game for subspace coset states
Projected Least-Squares Quantum Process Tomography
On the classification of two-qubit group orbits and the use of coarse-grained 'shape' as a superselection property
The Efficient Preparation of Normal Distributions in Quantum Registers
A link between symmetries of critical states and the structure of SLOCC classes in multipartite systems
Minimal-noise estimation of noncommuting rotations of a spin
Multi-spin counter-diabatic driving in many-body quantum Otto refrigerators
Towards a measurement theory in QFT: "Impossible" quantum measurements are possible but not ideal
Detecting mixed-unitary quantum channels is NP-hard
Quantum Rabi interferometry of motion and radiation
Phase-space negativity as a computational resource for quantum kernel methods
Minimax quantum state estimation under Bregman divergence
Sequential hypothesis testing for continuously-monitored quantum systems
The Multi-round Process Matrix
Entanglement Trajectory and its Boundary
Efficient Verification of Ground States of Frustration-Free Hamiltonians
On the properties of spectral effect algebras
Hayden-Preskill recovery in chaotic and integrable unitary circuit dynamics
From Non-Markovian Dissipation to Spatiotemporal Control of Quantum Nanodevices
Energy conservation and fluctuation theorem are incompatible for quantum work
The role of coherence theory in attractor quantum neural networks
Robust certification of arbitrary outcome quantum measurements from temporal correlations
Learning to rank quantum circuits for hardware-optimized performance enhancement
CSS code surgery as a universal construction
Multiport based teleportation - transmission of a large amount of quantum information
Approximating quantum channels by completely positive maps with small Kraus rank
Gauge invariant information concerning quantum channels
Ergodicity Breaking Under Confinement in Cold-Atom Quantum Simulators
Symmetry Protected Quantum Computation
Quantizing time: Interacting clocks and systems
Enhanced entanglement in multi-bath spin-boson models
Graded-index optical fiber emulator of an interacting three-atom system: illumination control of particle statistics and classical non-separability
Quantum capacity and codes for the bosonic loss-dephasing channel
The meaning of redundancy and consensus in quantum objectivity
Experimental Comparison of Bohm-like Theories with Different Primary Ontologies
An information-theoretic treatment of quantum dichotomies
Tutorial: projector approach to master equations for open quantum systems
Option pricing under stochastic volatility on a quantum computer
How to perform the coherent measurement of a curved phase space by continuous isotropic measurement. I. Spin and the Kraus-operator geometry of SL(2,C)
Optimal quantum metrology of distant black bodies
Computing Ground State Properties with Early Fault-Tolerant Quantum Computers
Holevo Cramér-Rao bound: How close can we get without entangling measurements?
General properties of fidelity in non-Hermitian quantum systems with PT symmetry
Modeling noise and error correction for Majorana-based quantum computing
Scaling of the quantum approximate optimization algorithm on superconducting qubit based hardware
Role of matter coherence in entanglement due to gravity
Purifying teleportation
Identification of quantum scars via phase-space localization measures
Diagnosing Barren Plateaus with Tools from Quantum Optimal Control
A Randomized Method for Simulating Lindblad Equations and Thermal State Preparation
Reinforcement Learning Based Quantum Circuit Optimization via ZX-Calculus
Polynomial Equivalence of Complexity Geometries
Non-onsite symmetries and quantum teleportation in split-index matrix product states
Dynamically Generated Logical Qubits
General Probabilistic Theories with a Gleason-type Theorem
A refinement of Reznick's Positivstellensatz with applications to quantum information theory
Private and Robust States for Distributed Quantum Sensing
Enhanced Gravitational Entanglement via Modulated Optomechanics
A robust W-state encoding for linear quantum optics
Device-independent uncloneable encryption
Parallel entangling gate operations and two-way quantum communication in spin chains
Resource Efficient Boolean Function Solver on Quantum Computer
Causal influence in operational probabilistic theories
A quantum algorithm for linear autonomous differential equations via Padé approximation
An Effective Way to Determine the Separability of Quantum State
Non-ergodic delocalized phase with Poisson level statistics
Wavefunction branching: when you can't tell pure states from mixed states
The geometry of passivity for quantum systems and a novel elementary derivation of the Gibbs state
Improved Quantum Query Complexity on Easier Inputs
Dissipation as a resource for Quantum Reservoir Computing
Separability of diagonal symmetric states: a quadratic conic optimization problem
Information and disturbance in operational probabilistic theories
Fast quantum circuit cutting with randomized measurements
Dissipative Floquet Dynamics: from Steady State to Measurement Induced Criticality in Trapped-ion Chains
Describing Trotterized Time Evolutions on Noisy Quantum Computers via Static Effective Lindbladians
Robust phase-controlled gates for scalable atomic quantum processors using optical standing waves
Compiling Quantum Circuits for Dynamically Field-Programmable Neutral Atoms Array Processors
The Bethe Ansatz as a Quantum Circuit
Improving entanglement purification through coherent superposition of roles
Efficient tensor networks for control-enhanced quantum metrology
Photonic entanglement with accelerated light
Families of d=2 2D subsystem stabilizer codes for universal Hamiltonian quantum computation with two-body interactions
Quantum-accelerated constraint programming
Neural Projected Quantum Dynamics: a systematic study
Kelly Betting with Quantum Payoff: a continuous variable approach
The Round Complexity of Local Operations and Classical Communication (LOCC) in Random-Party Entanglement Distillation
Thermodynamics of ultrastrongly coupled light-matter systems
Random translation-invariant Hamiltonians and their spectral gaps
Wigner Analysis of Particle Dynamics and Decoherence in Wide Nonharmonic Potentials
Synthesizing and multiplexing autonomous quantum coherences
Quantum complexity phase transitions in monitored random circuits
Lindblad engineering for quantum Gibbs state preparation under the eigenstate thermalization hypothesis
Experiments with Schrödinger Cellular Automata
QOSST: A Highly-Modular Open Source Platform for Experimental Continuous-Variable Quantum Key Distribution
Fast simulation of quantum algorithms using circuit optimization
Probability in many-worlds theories
Quantum-optimal information encoding using noisy passive linear optics
Tailoring Term Truncations for Electronic Structure Calculations Using a Linear Combination of Unitaries
Mitigation of readout noise in near-term quantum devices by classical post-processing based on detector tomography
Quantum state preparation via piecewise QSVT
Barren plateaus in quantum tensor network optimization
Polynomial-Time Classical Simulation of Hidden Shift Circuits via Confluent Rewriting of Symbolic Sums
Loss-tolerant architecture for quantum computing with quantum emitters
Certifying the quantum Fisher information from a given set of mean values: a semidefinite programming approach
Energy measurements remain thermometrically optimal beyond weak coupling
Robust quantum compilation and circuit optimisation via energy minimisation
Entangled resource for interfacing single- and dual-rail optical qubits
Stim: a fast stabilizer circuit simulator
QED driven QAOA for network-flow optimization
Beyond transcoherent states: Field states for effecting optimal coherent rotations on single or multiple qubits
Universal equilibration dynamics of the Sachdev-Ye-Kitaev model
Metrology and multipartite entanglement in measurement-induced phase transition
Counting stabiliser codes for arbitrary dimension
Approximate Quantum Codes From Long Wormholes
Resource-Optimized Grouping Shadow for Efficient Energy Estimation
Double-bracket quantum algorithms for diagonalization
Topological, multi-mode amplification induced by non-reciprocal, long-range dissipative couplings
Resonant Multilevel Amplitude Damping Channels
How to design quantum-jump trajectories via distinct master equation representations
Composably secure device-independent encryption with certified deletion
Superposition detection and QMA with non-collapsing measurements
Jet: Fast quantum circuit simulations with parallel task-based tensor-network contraction
Constant gap between conventional strategies and those based on C*-dynamics for self-embezzlement
Information capacity of quantum communication under natural physical assumptions
Block-encoding structured matrices for data input in quantum computing
Heisenberg scaling based on population coding
Quantum computed moments correction to variational estimates
Chiral superconductivity in the doped triangular-lattice Fermi-Hubbard model in two dimensions
The group structure of dynamical transformations between quantum reference frames
Construction of perfect tensors using biunimodular vectors
Entanglement marginal problems
Tensor-network-based variational Monte Carlo approach to the non-equilibrium steady state of open quantum systems
Synthesis and Arithmetic of Single Qutrit Circuits
Subsystem symmetries, quantum cellular automata, and computational phases of quantum matter
A relative interpolation theorem for infinitary universal Horn logic and its applications
Implicational (semilinear) logics II: additional connectives and characterizations of semilinearity
Around random algebra
Finite computable dimension does not relativize
Errata: on the role of the continuum hypothesis in forcing principles for subcomplete forcing
Definability in the enumeration degrees
On Harrop disjunction property in intermediate predicate logics
Local reflection, definable elements and 1-provability
On the non-measurability of ømega-categorical Hrushovski constructions
Complete and atomic Tarski algebras
Radin forcing and its iterations
Almost complemented Pi 0 1 classes
Countable Fréchet α 1 -spaces may be first countable
On two consequences of CH established by Sierpiński. II
Some weak fragments of Martin's axiom related to the rectangle refining property
Equivalence of bar recursors in the theory of functionals of finite type
The modal logic of continuous functions on the rational numbers
Imaginaries in Hilbert spaces
Algebraic disguises of Σ 1 0 induction
Random structures and automorphisms with a single orbit
Immunity properties and strong positive reducibilities
The recursive sets in certain monadic second order fragments of arithmetic
A proof-theoretical investigation of global intuitionistic (fuzzy) logic
Consistency proof without transfinite induction for a formal system for turing machines
Fuzzy equational logic
Relativized Schnorr tests with universal behavior
Bounding quantification in parametric expansions of Presburger arithmetic
Interpretations of the alternative set theory
Proof-relevance of families of setoids and identity in type theory
On the complexity of the theory of a computably presented metric structure
The tree property at the successor of a singular limit of measurable cardinals
Games characterizing certain families of functions
Zur Interpretation der Syllogistik
Ordinal diagrams for recursively Mahlo universes
Birkhoff variety theorem and fuzzy logic
Evasion and prediction
Cell decomposition for semibounded p-adic sets
Bolzano's propositional logic
Die Beziehungen Zwischen den Ordinalzahlsystemen Σ und Θ(ω)
Models of sfZFA in which every linearly ordered set can be well ordered
Large cardinals and projective sets
Satisfiability of formulae with one ∀ is decidable in exponential time
A hierarchy of hereditarily finite sets
Axiomatization of local-global principles for pp-formulas in spaces of orderings
Definability of types and VC density in differential topological fields
Linear orders with distinguished function symbol
Indescribable cardinals without diamonds
Hanf numbers for extendibility and related phenomena
On degree-preserving homeomorphisms between trees in computable topology
Dividing lines in unstable theories and subclasses of Baire 1 functions
μ-complete Souslin trees on μ +
The axiom of choice in metric measure spaces and maximal δ-separated sets
The externally definable Ramsey property and fixed points on type spaces
The joint embedding property and maximal models
Conjunctions of exponential diophantine equations over ${\mathbb {Q}}$
On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
A proof of strongly uniform termination for Gödel's T T by methods from local predicativity
Herbrandized modified realizability
Beweistheorie von KPN
The operator gap theorem in α-recursion theory
Joining to high degrees via noncuppables
Dedicated to James Earl Baumgartner
A small ultrafilter number at smaller cardinals
Fragments of Kripke-Platek set theory and the metamathematics of α-recursion theory
A type of fuzzy ring
Square principles with tail-end agreement
Axiomatization of abelian-by-G groups for a finite group G
A boundedness principle for the Hjorth rank
Logics that define their own semantics
The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic
Das Auflösungsproblem in der Klassenlogik
On countably closed mutually embeddable models
Some applications of illfoundedness
The noneffectivity of Arslanov's completeness criterion and related theorems
An ordinal analysis of stability
Ranks based on strong amalgamation Fraïssé classes
On elementary equivalence in fuzzy predicate logics
Castor quadruplorum
Towards a homotopy domain theory
Mixed logic and storage operators
A note on tight stable theorie
Well-partial-orderings and the big Veblen number
Polytime, combinatory logic and positive safe induction
Spectral MV-algebras and equispectrality
Well-foundedness in Realizability
Conjectures and questions from Gerald Sacks's Degrees of Unsolvability
Additivity of the two-dimensional Miller ideal
Halteprobleme von Fang-Systemen (tag systems)
On the consistency strength of critical leaps
Ramsey's theorem and König's Lemma
Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
Construction with opposition: cardinal invariants and games
Localization of a theorem of Ambos-Spies and the strong anti-splitting property
Gilt das Lemma von König "konstruktiv"?
Model-interpretability into trees and applications
Continuous versus Borel reductions
Incomparability in local structures of s-degrees and Q-degrees
The construction principle and non homogeneity of uncountable relatively free groups
Effective algebraicity
Determinacy separations for class games
A note on da Costa-Doria "exotic formalizations"
Strongly meager sets of size continuum
On the n-uniqueness of types in rosy theories
Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
Square below a non-weakly compact cardinal
On algebraic sums, trees and ideals in the Baire space
Some diophantine forms of gödel's theorem
Compositional truth with propositional tautologies and quantifier-free correctness
On some formalized conservation results in arithmetic
Mathias-Prikry and Laver type forcing; summable ideals, coideals, and +-selective filters
Good and bad points in scales
On the strength of no normal precipitous filter
Strong reducibility of partial numberings
Unramified forcing preserving the law of double negation
Completeness theorem for topological class models
Iterated trees of strategies and priority arguments
Quelques réflexions inévitables
More on full reflection below À w
Parameterized partition relations on the real numbers
Normal forms for fuzzy logics: a proof-theoretic approach
Generic relativizations of fine structure
Large normal ideals concentrating on a fixed small cardinality
Ordinal arithmetic and S 1 \Sigma_{1}-elementarity
A primer of simple theories
Quotients of Boolean algebras and regular subalgebras
Inequivalence of the fragments of new foundations
On the strength of several versions of Dirichlet's ("pigeon-hole"-)principle in the sense of first-order logic
Every Sierpiński set is strongly meager
On the theory of epistemic Łukasiewicz logic corresponding to the Chang algebra with application in Immune system
A Kuroda-style j-translation
Note on generalizing theorems in algebraically closed fields
Amalgamation property for the class of basic algebras and some of its natural subclasses
On poset Boolean algebras of scattered posets with finite width
Symmetries between two Ramsey properties
Supercompact extender based Prikry forcing
Derivatives of normal functions and ω-models
Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones
An induction principle over real numbers
A characterization of MV-algebras free over finite distributive lattices
Sweet & sour and other flavours of ccc forcing notions
Compact representations of BL-algebras
On potential isomorphism and non-structure
The Dirac delta function in two settings of Reverse Mathematics
Strong normalization of barrecursive terms without using infinite terms
Knowledge, behavior, and rationality: rationalizability in epistemic games
An ordinal-connection axiom as a weak form of global choice under the GCH
Some considerations on amoeba forcing notions
Classification theory for abelian groups with an endomorphism
Games played on partial isomorphisms
Interpolation in fuzzy logic
Generalizing Kruskal's theorem to pairs of cohabitating trees
Delta 1 Ultrapowers are totally rigid
Some remarks on category of the real line
On the definable ideal generated by the plus cupping c.e. degrees
Localizing the axioms
Normal hyperimaginaries
Axiomatizability by forall-exists-sentences
Garnir's dream spaces with Hamel bases
Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
Homomorphism reductions on Polish groups
Trees and Keislers problem
External automorphisms of ultraproducts of finite models
An example related to Gregory's Theorem
Strongly adequate sets and adding a club with finite conditions
Induktive Definitionen und Dilatoren
Successors of singular cardinals and coloring theorems I
An infinite class of maximal intermediate propositional logics with the disjunction property
Co-analytic mad families and definable wellorders
Tree-like constructions in topology and modal logic
Questions on cardinal invariants of Boolean algebras
Proof-functional connectives and realizability
Ein Satz über die Elementar-Arithmetischen Definierbarkeitsklassen
Einführung der Normalfunktionen Θ a ohne Auswahlaxiom und ohne Regularitätsbedingungohne Auswahlaxiom und ohne Regularitätsbedingung
Prenex normalization and the hierarchical classification of formulas
Extracting Herbrand disjunctions by functional interpretation
On minimal pairs and minimal degrees in higher recursion theory
Representations of structural closure operators
Subsets of models of arithmetic
On the elimination of Malitz quantifiers over Archimedian real closed fields
Con(u>i)
Some axioms for constructive analysis
Complete groups are complete co-analytic
On κ -complete reduced products
Ptykes in Gödels T und Definierbarkeit von Ordinalzahlen
Approximation Representations for ? 2 Reals
Minimal elementary extensions of models of set theory and arithmetic
Shelah's stability spectrum and homogeneity spectrum in finite diagrams
On the relationship between fixed points and iteration in admissible set theory without foundation
The Josefson-Nissenzweig theorem and filters on ømega
Forcing and antifoundation
Antichains in partially ordered sets of singular cofinality
A new proof of a theorem of Magidor
Splitting idempotents in a fibered setting
On fields definable in Q p
Codings and strongly inaccessible cardinals
Normal deduction in the intuitionistic linear logic
Free sequences in ℘(ω) / fin
Detecting properties from descriptions of groups
Uniform proofs of ACC representations
A semantical proof of De Jongh's theorem
Completeness of a cut-free calculus with equality and function constants
Implicational (semilinear) logics III: completeness properties
Elementary epimorphisms between models of set theory
More constructions for Boolean algebras
Two classes of intermediate propositional logics without disjunction property
A proof of Gentzen's Hauptsatz without multicut
A class of S 3 0 {Sigmas 3 0 } modular lattices embeddable as principal filters in L * ( V JPY )L^{\ast}(V infinity )
Many different covering numbers of Yorioka's ideals
Overspill and fragments of arithmetic
A note on undecidable extensions of monadic second order successor arithmetic
Intuitionistic weak arithmetic
The polarized Ramsey's theorem
Laver and set theory
On Herbrand consistency in weak arithmetic
Kurepa trees and spectra of ℒ ømega 1, ømega -sentences
Two applications of finite side conditions at $$\omega _2$$ ω 2
Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
Editorial Logic Colloquium '95, Haifa, Israel
Fuzzy logics based on [0, 1)-continuous uninorms
Non-saturation of the nonstationary ideal on P κ (λ) in case κ ≤ cf (λ) < λ
Bachmann-Howard derivatives
Decomposability of free Lukasiewicz implication algebras
Many simple cardinal invariants
Analytic Calculi for Product Logics
From hierarchies to well-foundedness
Universal forcing notions and ideals
A remark on the tree property in a choiceless context
The arithmetic and Turing degrees are not elementarily equivalent
Degrees of categoricity of computable structures
Reverse mathematics of separably closed sets
Model completeness for trivial, uncountably categorical theories of Morley rank 1
Δ 0 1 variants of the law of excluded middle and related principles
Symétrons et K-boucles ømega-stables ømega-stable symmetric spaces and K-loops
On omega-categorical simple theories
Diamond, square, and level by level equivalence
The structure of κ-maximal cofinitary groups
Friedberg numberings in the Ershov hierarchy
Über Hilbert's Reale Und Ideale Elemente
Chang's Conjecture with $\square _{\omega _1, 2}$ from an ømega 1 -Erdős cardinal
Some applications of computable one-one numberings
Sofic profiles of S(ømega ) and computability
Recursive ultrapowers, simple models, and cofinal extensions
Intuitionistic typical ambiguity
Higher complexity search problems for bounded arithmetic and a formalized no-gap theorem
On the Jordan-Hölder decomposition of proof nets
Rank-initial embeddings of non-standard models of set theory
Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger
More fine structural global square sequences
On the structure of initial segments of models of arithmetic
Some nondefinability results with entire functions in a polynomially bounded o-minimal structure
Amalgamation properties and finite models in Ln-theories
Sequent calculus for classical logic probabilized
Rank, join, and Cantor singletons
Splitting lattices of logics