Negative / Null Result ReportOpen accessComputer Science
H. B. Nielsen, A. V. Novikov, V. A. Novikov et al. · 1995 · arXiv
We consider the bounds for the values of higgs mass $M_H$ and of the mass of the extra quarks and leptons $M_{extra}$ derived from the stability of vacuum and from the absence of Landau pole in Higgs potential. We find that in the case of the absence of new physics up to the GUT scale the bounds for the mass of the 4th generation are so restrictive that the negative result of CDF search for extra quarks closes the window for fourth generation. In the case of the absence of new physics up to $10^5$ GeV we get weaker but still nontrivial bounds on $M_H$ and $M_{extra}$ as well.
View details →Negative / Null Result ReportOpen accessComputer Science
Thomas Epelbaum, Francois Gelis, Bin Wu · 2014 · arXiv
In this paper, we discuss questions related to the renormalizability of the classical statistical approximation, an approximation scheme that has been used recently in several studies of out-of-equilibrium problems in Quantum Field Theory. Although the ultraviolet power counting in this approximation scheme is identical to that of the unapproximated quantum field theory, this approximation is not renormalizable. The leading cause of this non-renormalizability is the breakdown of Weinberg's theorem in this approximation. We also discuss some practical implications of this negative result for si
View details →Negative / Null Result ReportOpen accessComputer Science
Sky Jafar, Julian Asilis, Shaddin Dughmi · 2025 · arXiv
We partly resolve an open question raised by Asilis et al. (COLT 2024): whether the algorithmic template of local regularization -- an intriguing generalization of explicit regularization, a.k.a. structural risk minimization -- suffices to learn all learnable multiclass problems. Specifically, we provide a negative answer to this question in the transductive model of learning. We exhibit a multiclass classification problem which is learnable in both the transductive and PAC models, yet cannot be learned transductively by any local regularizer. The corresponding hypothesis class, and our proof,
View details →Negative / Null Result ReportOpen accessEconomics, Econometrics and Finance
Roy Allen, John Rehbeck · 2021 · arXiv
Dworczak et al. (2021) study when certain market structures are optimal in the presence of heterogeneous preferences. A key assumption is that the social planner knows the joint distribution of the value of the good and marginal value of money. This paper studies whether relevant features of this distribution are identified from choice data. We show that the features of the distribution needed to characterize optimal market structure cannot be identified when demand is known for all prices. While this is a negative result, we show that the distribution of good value and marginal utility of mon
View details →Negative / Null Result ReportOpen accessComputer Science
Achim Geiser · 1998 · arXiv
The current case for atmospheric $ν_μ$ oscillations into active or sterile neutrinos is reviewed. It is argued that neither the study of neutral current events at Super-Kamiokande, nor the information obtained from future long baseline experiments might be sufficient to unambigously decide between these two scenarios. However, a combination of these results with the results from future short or intermediate baseline $τ$ appearance experiments would clearly resolve most of the remaining ambiguities. This conclusion does not strongly depend on whether the results from LSND will be confirmed or n
View details →Negative / Null Result ReportOpen accessComputer Science
Krzysztof Dembczynski, Wojciech Kotlowski, Eyke Huellermeier · 2012 · arXiv
We consider the problem of rank loss minimization in the setting of multilabel classification, which is usually tackled by means of convex surrogate losses defined on pairs of labels. Very recently, this approach was put into question by a negative result showing that commonly used pairwise surrogate losses, such as exponential and logistic losses, are inconsistent. In this paper, we show a positive result which is arguably surprising in light of the previous one: the simpler univariate variants of exponential and logistic surrogates (i.e., defined on single labels) are consistent for rank los
View details →Negative / Null Result ReportOpen accessComputer Science
Laura Bozzelli, Alberto Molinari, Angelo Montanari et al. · 2019 · arXiv
Planning is one of the most studied problems in computer science. In this paper, we consider the timeline-based approach, where the domain is modeled by a set of independent, but interacting, components, identified by a set of state variables, whose behavior over time (timelines) is governed by a set of temporal constraints (synchronization rules). Timeline-based planning in the dense-time setting has been recently shown to be undecidable in the general case, and undecidability relies on the high expressiveness of the trigger synchronization rules. In this paper, we strengthen the previous neg
View details →Negative / Null Result ReportOpen accessComputer Science
Thorben Tröbst, Vijay V Vazirani · 2023 · arXiv
The Hylland-Zeckhauser gave a classic pricing-based mechanism (HZ) for a one-sided matching market; it yields allocations satisfying Pareto optimality and envy-freeness (Hylland and Zeckhauser, 1979), and the mechanism is incentive compatible in the large (He et al., 2018). They also studied the exchange extension of HZ and gave an example showing that it may not even admit an equilibrium. In this paper, we consider two models of two sided matching markets: when utility functions are symmetric and when they are non-symmetric. We ask if these models always admit allocations satisfying the two b
View details →Negative / Null Result ReportOpen accessComputer Science
Marcin Pilipczuk, Magnus Wahlström · 2015 · arXiv
We prove that Multicut in directed graphs, parameterized by the size of the cutset, is W[1]-hard and hence unlikely to be fixed-parameter tractable even if restricted to instances with only four terminal pairs. This negative result almost completely resolves one of the central open problems in the area of parameterized complexity of graph separation problems, posted originally by Marx and Razgon [SIAM J. Comput. 43(2):355-388 (2014)], leaving only the case of three terminal pairs open. Our gadget methodology allows us also to prove W[1]-hardness of the Steiner Orientation problem parameterized
View details →Negative / Null Result ReportOpen accessComputer Science
François Le Gall, Oran Nadler, Harumichi Nishimura et al. · 2024 · arXiv
In this paper we study a quantum version of the multiparty simultaneous message-passing (SMP) model, and we show that in some cases, quantum communication can replace public randomness, even with no entanglement between the parties. This was already known for two players, but not for more than two players, and indeed, so far all that was known was a negative result. Our main technical contribution is a compiler that takes any classical public-coin simultaneous protocol based on "modified equality queries," and converts it into a quantum simultaneous protocol without public coins with roughly t
View details →Negative / Null Result ReportOpen accessEconomics, Econometrics and Finance
Qiufu Chen, Yuanmei Li, Xiaopeng Yin et al. · 2024 · arXiv
The impossibility theorem in Roth (1982) states that no stable mechanism satisfies strategy-proofness. This paper explores the Machiavellian frontier of stable mechanisms by weakening strategy-proofness. For a fixed mechanism $\varphi$ and a true preference profile $\succ$, a $(\varphi,\succ)$-boost mispresentation of agent i is a preference of i that is obtained by (i) raising the ranking of the truth-telling assignment $\varphi_i(\succ)$, and (ii) keeping rankings unchanged above the new position of this truth-telling assignment. We require a matching mechanism $\varphi$ neither punish nor r
View details →Negative / Null Result ReportOpen accessComputer Science
A. Esposito, A. Pilloni, A. D. Polosa · 2016 · arXiv
We propose a new interpretation of the neutral and charged X, Z exotic hadron resonances. Hybridized-tetraquarks are neither purely compact tetraquark states nor bound or loosely bound molecules. The latter would require a negative or zero binding energy whose counterpart in h-tetraquarks is a positive quantity. The formation mechanism of this new class of hadrons is inspired by that of Feshbach metastable states in atomic physics. The recent claim of an exotic resonance in the Bs pi+- channel by the D0 collaboration and the negative result presented subsequently by the LHCb collaboration are
View details →Negative / Null Result ReportOpen accessMathematics
Yvain Bruned, Paul Laubie · 2025 · arXiv
Rooted trees are essential for describing numerical schemes via the so-called B-series. They have also been used extensively in rough analysis for expanding solutions of singular Stochastic Partial Differential Equations (SPDEs). When one considers scalar-valued equations, the most efficient combinatorial set is multi-indices. In this paper, we investigate the existence of intermediate combinatorial sets that will lie between multi-indices and rooted trees. We provide a negative result stating that there is no combinatorial set encoding elementary differentials in dimension $d\neq 1$, and comp
View details →Negative / Null Result ReportOpen accessMathematics
Buddhadev Hajra · 2026 · arXiv
We study the descent behaviour of homotopy-theoretic properties of smooth complex affine surfaces under finite surjective morphisms. We first examine the Eilenberg-MacLane property and show, by means of an explicit counterexample, that it does not descend under proper morphisms in general. This negative result motivates the introduction of a weaker notion, the finite homotopy rank-sum property. Our main theorem establishes that this property does descend under proper morphisms between smooth affine surfaces of logarithmic Kodaira dimension at most zero. The proof relies essentially on the rece
View details →Negative / Null Result ReportOpen accessPhysics
N. B. Kopnin, G. E. Volovik · 1997 · arXiv
The condition for the appearance of event horizon is considered in such pair-correlated systems (superfluids and superconductors) where the fermionic quasiparticles obey the "relativistic" equations. In these systems, the Landau critical velocity of superflow corresponds to the speed of light. In conventional systems, such as s-wave superconductors, the superflow remains stable even above the Landau treshold. We showed that in the "relativistic" systems however the quantum vacuum becomes unstable and the superflow collapses after the "speed of light" is reached, so that horizon cannot appear.
View details →Negative / Null Result ReportOpen accessComputer Science
Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir et al. · 2022 · arXiv
In this paper we investigate the equational theory of (the restriction, relabelling, and recursion free fragment of) CCS modulo rooted branching bisimilarity, which is a classic, bisimulation-based notion of equivalence that abstracts from internal computational steps in process behaviour. Firstly, we show that CCS is not finitely based modulo the considered congruence. As a key step of independent interest in the proof of that negative result, we prove that each CCS process has a unique parallel decomposition into indecomposable processes modulo branching bisimilarity. As a second main contri
View details →Negative / Null Result ReportOpen accessMathematics
Bradley Stich · 2021 · arXiv
The group synchronization problem is to estimate unknown group elements at the vertices of a graph when given a set of possibly noisy observations of group differences at the edges. We consider the group synchronization problem on finite graphs with size tending to infinity, and we focus on the question of whether the true edge differences can be exactly recovered from the observations (i.e., strong recovery). We prove two main results, one positive and one negative. In the positive direction, we prove that for a sequence of synchronization problems containing the complete digraph along with a
View details →Negative / Null Result ReportOpen accessComputer Science
Gorjan Alagic, Cristopher Moore, Alexander Russell · 2005 · arXiv
We present a negative result regarding the hidden subgroup problem on the powers $G^n$ of a fixed group $G$. Under a condition on the base group $G$, we prove that strong Fourier sampling cannot distinguish some subgroups of $G^n$. Since strong sampling is in fact the optimal measurement on a coset state, this shows that we have no hope of efficiently solving the hidden subgroup problem over these groups with separable measurements on coset states (that is, using any polynomial number of single-register coset state experiments). Base groups satisfying our condition include all nonabelian simpl
View details →Negative / Null Result ReportOpen accessComputer Science
Gabriel P. Andrade, Rafael Frongillo, Georgios Piliouras · 2022 · arXiv
Games are natural models for multi-agent machine learning settings, such as generative adversarial networks (GANs). The desirable outcomes from algorithmic interactions in these games are encoded as game theoretic equilibrium concepts, e.g. Nash and coarse correlated equilibria. As directly computing an equilibrium is typically impractical, one often aims to design learning algorithms that iteratively converge to equilibria. A growing body of negative results casts doubt on this goal, from non-convergence to chaotic and even arbitrary behaviour. In this paper we add a strong negative result to
View details →Negative / Null Result ReportOpen accessMathematics
Austin Conner, Hang Huang, J. M. Landsberg · 2020 · arXiv
We determine the border ranks of tensors that could potentially advance the known upper bound for the exponent $ω$ of matrix multiplication. The Kronecker square of the small $q=2$ Coppersmith-Winograd tensor equals the $3\times 3$ permanent, and could potentially be used to show $ω=2$. We prove the negative result for complexity theory that its border rank is $16$, resolving a longstanding problem. Regarding its $q=4$ skew cousin in $ C^5\otimes C^5\otimes C^5$, which could potentially be used to prove $ω\leq 2.11$, we show the border rank of its Kronecker square is at most $42$, a remarkable
View details →Negative / Null Result ReportOpen accessMathematics
Mirna Džamonja, Saharon Shelah · 1997 · arXiv
This note gives two results on guessing unbounded subsets of lambda^+. The first is a positive result and applies to the situation of lambda regular, while the second is a negative consistency result which applies to the situation of lambda singular. Both results are connected to an earlier result of the same authors in which they showed that a certain version of clubsuit holds at a successor of singular just in ZFC. The first result here shows that that fact can to a certain extent be extended to the successor of singular. The negative result here gives limitations to the extent to which one
View details →Negative / Null Result ReportOpen accessMathematics
H. Beirao da Veiga, F. Crispo · 2010 · arXiv
We consider the problem of the strong convergence, as the viscosity goes to zero, of the solutions to the three-dimensional evolutionary Navier-Stokes equations under a Navier slip-type boundary condition to the solution of the Euler equations under the zero flux boundary condition. In spite of the arbitrarily strong convergence results proved in the flat boundary case, see [4], it was shown in reference [5] that the result is false in general, by constructing an explicit family of smooth initial data in the sphere, for which the result fails. Our aim here is to present a more general, simpler
View details →Negative / Null Result ReportOpen accessComputer Science
Stefan Borgwardt, Rafael Peñaloza · 2015 · arXiv
Fuzzy Description Logics (FDLs) are logic-based formalisms used to represent and reason with vague or imprecise knowledge. It has been recently shown that reasoning in most FDLs using truth values from the interval [0,1] becomes undecidable in the presence of a negation constructor and general concept inclusion axioms. One exception to this negative result are FDLs whose semantics is based on the infinitely valued Gödel t-norm (G). In this paper, we extend previous decidability results for G-IALC to deal also with qualified number restrictions. Our novel approach is based on a combination of t
View details →Negative / Null Result ReportOpen accessComputer Science
Kittiphon Phalakarn, Kittiphop Phalakarn, Vorapong Suppakitpaisarn · 2025 · arXiv
This paper introduces an optimal representation for a right-to-left parallel elliptic curve scalar point multiplication. The right-to-left approach is easier to parallelize than the conventional left-to-right approach. However, unlike the left-to-right approach, there is still no work considering number representations for the right-to-left parallel calculation. By simplifying the implementation by Robert, we devise a mathematical model to capture the computation time of the calculation. Then, for any arbitrary amount of doubling time and addition time, we propose algorithms to generate repres
View details →Negative / Null Result ReportOpen accessPhysics
J. A. Gonzalez, F. S. Guzman · 2011 · arXiv
In order to explore nonlinear effects on the distribution of matter during collisions within the Bose-Einstein condensate (BEC) dark matter model driven by the Schrödinger-Poisson system of equations, we study the head-on collision of structures and focus on the interference pattern formation in the density of matter during the collision process. We explore the possibility that the collision of two structures of fluid matter modeled with an ideal gas equation of state also forms interference patterns and found a negative result. Given that a fluid is the most common flavor of dark matter model
View details →Negative / Null Result ReportOpen accessComputer Science
Jamie Hayes · 2020 · arXiv
Randomized smoothing, a method to certify a classifier's decision on an input is invariant under adversarial noise, offers attractive advantages over other certification methods. It operates in a black-box and so certification is not constrained by the size of the classifier's architecture. Here, we extend the work of Li et al. \cite{li2018second}, studying how the choice of divergence between smoothing measures affects the final robustness guarantee, and how the choice of smoothing measure itself can lead to guarantees in differing threat models. To this end, we develop a method to certify ro
View details →Negative / Null Result ReportOpen accessMathematics
Michel Duprez, Pierre Lissy · 2017 · arXiv
This paper is devoted to studying the null and approximate controllability of two linear coupled parabolic equations posed on a smooth domain of R^N (N>1) with coupling terms of zero and first orders and one control localized in some arbitrary nonempty open subset of the domain. We prove the null controllability under a new sufficient condition and we also provide the first example of a not approximately controllable system in the case where the support of one of the nontrivial first order coupling terms intersects the control domain.
View details →Negative / Null Result ReportOpen accessComputer Science
Tourjana Islam Supti, Israa Abuelezz, Aya Muhanad et al. · 2025 · arXiv
This study investigates the efficacy of role-taking and literacy-based interventions in reducing the influence of appearance cues, such as gender, age, ethnicity, and clothing style, on trust and risk-taking in social engineering contexts. A-4 (Group: Control, Literacy, Persuader, Persuadee) * 2 (Time: Pre, Post) mixed factorial design was implemented over two weeks with 139 participants. The control group received no material. The literacy group attended two sessions focused on how behavior can be similar regardless of appearance cues. The persuader group completed three sessions, learning ho
View details →Negative / Null Result ReportOpen accessComputer Science
E. V. Arbuzova · 2024 · arXiv
The search for supersymmetric partners at Large Hadron Collider revealed negative result. Though, strictly speaking, it does not exclude low energy supersymmetry, but still it leads to strong constraints of the parameter space. Therefore the search for supersymmetric particles at higher energies becomes of interest. It is shown that in $R^2$-modified cosmology heavy particles with the interaction strength typical for supersymmetry could be promising candidates for carriers of dark matter. We consider the heating of the Universe at the post-inflationary stage via particle production by oscillat
View details →Negative / Null Result ReportOpen accessComputer Science
T. Maeno, M. Fujikawa, J. Kataoka et al. · 1995 · arXiv
We have searched for an exotic decay of orthopositronium into a single photon and a short-lived neutral boson in the hitherto unexplored mass region above 900 ${\rm keV}/{\it c}^{2}$, by noting that this decay is one of few remaining candidates which could explain the discrepancy of the orthopositronium decay-rate. A high-resolution measurement of the associated photon energy spectrum was carried out with a germanium detector to search for a sharp peak from this two-body decay. Our negative result provides the upper-limits of\mbox{ }$2.0 \times 10^{-4}$ on the branching ratio of such a decay i
View details →