Common support and complete contraction with quantum side information

Strengths

• F1 (pp.2,3,4,5). Cota armónica para todo Petz operator-convexo normalizado y exactitud en las cinco clases enumeradas. Cancelación cíclica en Hilbert–Schmidt complejo, extremo cuadrático conservado, pesos cero tratados por DPI; testigos simplex y límites locales ordenados. No se extiende exactitud a todo Petz.
• F2 (pp.5,6,7,8,9). Reducción binaria clásica y testigos finitos con lectura binaria. Entrada binaria, hipótesis binaria y salida binaria son restricciones distintas. Bloques fieles y marginal real; denominador cuántico, orientación y complementos mantenidos. Modo inactivo ausente en n2 y calificado para n>=3.
• F3 (pp.9,10,11,12,13). eta_D^c de cualquier canal CQ finito es1 iff intersección de soportes cero. Dirección positiva reemplazante previa. Converse: W inyectiva en suma de soportes, Z*T^+Z=S también después de blanqueo por factorización, resolvente en ranZ, complemento de Schur positivo y proyector gráfico normalizado. Para cada canal fijo, Di,Do,Db->log2.
• F4 (pp.12,13). Separación finita respecto de traza y límites de uniformidad/LOCC. Pareja pura no ortogonal k16 con Db/Di>0.66199617>2/sqrt13; efecto concreto NPT. T0=I en familia binaria real, condicionamiento de S controla el fallo uniforme del testigo; no se afirma imposibilidad de toda medida alternativa.
• F5 (pp.13,14,15,16,17). Uniformidad sobre canales clásicos de Doeblin cero a n fijo. Identidades en soportes propios y norma inversa aplicada a z independiente del menor peso; mínimo propio por raíz Schur/interlazado; cotas p/q suman usando sum t_y=n. No uniforme en n o recursos.
• F6 (pp.17,18,19,20,21). Límites operacionales, fixed-point decay y procedencia. No fórmula general1-d, no prioridad acreditada, no allPetz exactitud, no capacidad/robustez/LOCC general. Distinto segundo estado de entropía hacia expectativa. Adversos e incidencias anteriores conservados.
• Base original de importancia científica7.3/10: Relevancia del criterio necesario y suficiente para toda la clase CQ finita, testigo universal de entradas con límite positivo y lectura binaria, separación de traza y uniformidad clásica. No priorización mundial acreditada ni robustez/capacidad/aplicación experimental demostrada.
• Base original de valoración global7.0/10: Juicio global según anclaje excepcional de la escala pública: criterio constructivo amplio y separación concreta con pruebas inspeccionables. No media de criterios, no probabilidad ni comparación numérica heredada. No evidencia suficiente para anclajes field-shaping/historic.
• Base original de calidad técnica9.0/10: Alta precisión en definiciones, rango, pseudoinversas, fidelidad, proyector, límites y adversos, respaldada por inspección analítica y controles acotados. No formalización ni biblioteca independiente ni auditoría bibliográfica completa. No equivale a probabilidad de corrección.

Weaknesses

• O1 [moderate; pp.1,2,9,10,11,12,13,20,21; open_priority_reservation]. Cobertura bibliográfica y prioridad: No se ha excluido un teorema general cubriente que haga equivalentes contracción completa Umegaki estricta y componente CP reemplazante positiva; Lee–Makur full text no inspeccionado. La búsqueda dirigida no prueba prioridad mundial. Resolución/alcance: Comparación literal con cualquier fuente cubriente que aparezca; modificar novedad si procede. No fuente cubriente identificada en pasajes efectivamente leídos.
• O2 [moderate; pp.7,8,9,11,12,13,16,17,18; acknowledged_scope_limit]. Cuantificadores puntuales y coste de aproximación: Dimensión de referencia fija no implica marginal, piso espectral o coste fijo. Condicionamiento~4k2^k, q~2^-k/k; construcción CQ puntual en canal y clásica uniforme solo a n fijo. Resolución/alcance: Ninguna corrección matemática exigida para alcance actual; ampliarlo requeriría nuevos resultados de recursos.
• O3 [moderate; pp.7,11,12,13,17,18; acknowledged_scope_limit]. Lectura conjunta y sentido operacional del cociente: Denominador cuántico, efecto dependiente de canal/pareja/k, complemento y orientación esenciales. Efecto CQ concreto NPT, no LOCC; estados SEP no eliminan ese recurso. No comparación universal de capacidad o protocolos a iguales recursos. Resolución/alcance: Conservar estas restricciones; no se exige demostrar una ventaja operacional no reclamada.
• O4 [minor; pp.12,17,19,20; review_confidence_limit]. Alcance limitado de verificación computacional: Replay e intervalos acotados, biblioteca/contexto compartidos; controles propios de alta precisión diagnósticos. No toda campaña ni aritmética independiente ni prueba formal. Resolución/alcance: Mantener recibos, alcance y adversos públicos junto al informe. No presentar coincidencias JSON como prueba universal.
• O5 [minor; pp.19,20,21; nonblocking_presentation_suggestion]. Carga de trazabilidad histórica: Muchos dossiers e incidencias dificultan localizar la evidencia actual. Identificadores técnicos no equivalen a revisores independientes. Resolución/alcance: Una tabla externa teorema/archivo/replay facilitaría lectura; no exige modificar PDF para sostener pruebas.
• Límite del informe, no penalización automática de la IA: contexto involucrado y reutilizado, participación previa, exposición a notas y filesystem compartido; identidad/esfuerzo efectivos e independencia desconocidos. No se ha aislado ni repetido el juicio para mejorar la nota.

Potential errors

• Modo inactivo n2: Calificado n>=3; n2 tiene multiplicidad cero. No reaparece objeción histórica.
• Explicación de coste por Gram1152: Corregida en sección6.5: T0=I, pueden divergir condicionamientoS yA^-1Z. Error original preservado.
• Recibo supuesto de stop1152: Corrección1164 leída; narra terminal posterior mismo handle. Hash de salida lenta original desconocido; no se inventa y no se observó ahora ese evento.
• Incidente propioI2 de1168: el constructor inicial de mpmath produjo producto tensorial nulo y fallo singular deA; se conservó código/salida/plan inicial y se corrigió solo el helper, repitiendo los mismos casos, precisión y tolerancia. Es error del control del revisor, no refutación del manuscrito ni nueva ejecución1177.
• Adversos preservados en1168: primer protocolo con fondo marcado fallido, selector de máximo solapamiento, regularizadores alternativos, parejas finitas bajo el comparador clásico y camino n=k. Los replays acotados y controles de alta precisión no son pruebas universales ni aritmética independiente.
• O1 permanece abierta: no se excluye una fuente general cubriente; Lee–Makur full text no inspeccionado. La lectura de HircheA.1 y los demás niveles de lectura pertenecen a1168; no hay nueva búsqueda bibliográfica1177.
• Incidentes de visualización truncada y consulta de proceso ya finalizado fueron documentados y recuperados en1168. No se borran de los anexos originales ni se convierten en evidencia científica adicional.

Strong novelty candidates

• Candidata relativa a las fuentes revisadas en1168: criterio necesario y suficiente de soporte para todos los canalesCQ finitos, con familia de entradas independiente del canal y divergencias de entrada/salida/medida tendiendo a log2 para cada canal fijo. Prioridad mundial no certificada.
• Candidata relativa: realización clásica uniforme sobre canales de Doeblin cero a n fijo, separada de la convergenciaCQ puntual. Las herramientas de simplex, Schur, resolventes y DPI son previas; no se atribuye novedad a ellas por sí solas.
• Candidata relativa: separación finita de Umegaki completo respecto de traza con hipótesis fieles, lectura binaria conjunta y denominador cuántico. No es una fórmula para capacidad, ventaja experimental robusta o exactitud para todo Petz.

Unresolved material objections

None reported.