Source author record

Jeong Han Kim

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

22works
11topics
4close collaborators

Published work

22 publications

preprint2022arXiv

Directly Probing the CP-structure of the Higgs-Top Yukawa at HL-LHC and Future Colliders

Constraining the Higgs boson properties is a cornerstone of the LHC program and future colliders. In this Snowmass contribution, we study the potential to directly probe the Higgs-top CP-structure via the ttˉht\bar{t}h production at the HL-LHC, 100 TeV FCC and muon colliders. We find the limits on the CP phase (αα) at 95% CL are ∣α∣≲36∘|α| \lesssim 36^\circ with dileptonic ttˉ(h→bbˉ)t\bar t (h\to b\bar b) and ∣α∣≲25∘|α| \lesssim 25^\circ with combined ttˉ(h→γγ)t\bar t (h\to γγ) at the HL-LHC. The 100 TeV FCC brings a significant improvement in sensitivity with ∣α∣≲3∘|α| \lesssim 3^\circ for the dileptonic ttˉ(h→bbˉ)t\bar t (h\to b\bar b) , due to the remarkable gain in the signal cross-section and the increased luminosity. At future muon colliders, we find that the bounds with semileptonic ttˉ(h→bbˉ)ννˉt\bar t (h\to b\bar b) ν\barν are ∣α∣≲9∘|α| \lesssim 9^\circ for 10 TeV and ∣α∣≲3∘|α| \lesssim 3^\circ for 30 TeV, respectively.

preprint2022arXiv

Matching in pp→ttˉW/Z/h+pp \to t \bar{t} W/Z/h + jet SMEFT studies

In this paper, we explore the impact of extra radiation on predictions of pp→ttˉX,X=h/W±/Zpp \to t\bar{t}X, X = h/W^{\pm}/Z processes within the dimension-6 SMEFT framework. While full next-to-leading order calculations are of course preferred, they are not always practical, and so it is useful to be able to capture the impacts of extra radiation using leading-order matrix elements matched to the parton shower. While a matched leading-order calculation for ttˉXt\bar{t}X is not expected to reproduce the next-to-leading order inclusive cross section precisely, we show that it does capture the relative impact of the EFT effects by considering the ratio of matched SMEFT inclusive cross sections to Standard Model values, σSMEFT(ttˉXj)/σSM(ttˉXj)≡μσ_{\rm SMEFT}(t\bar{t}Xj)/σ_{\rm SM}(t\bar{t}Xj) \equiv μ. Furthermore, we compare leading order calculations with and without extra radiation and find several cases, such as the effect of the operator (φ†i ⁣D↔ ⁣μφ)(tˉγμt)(φ^{\dagger}i\!\overleftrightarrow{D}_{\!μ}φ) (\bar{t}γ^μt) on ttˉht\bar{t}h and ttˉWt\bar{t}W, for which the relative cross section prediction increases by more than 10%10\% -- significantly larger than the uncertainty derived by varying the input scales in the calculation, including the additional scales required for matching. Being leading order at heart, matching has the benefit that it can be applied to all operators and processes relevant to pp→ttˉX,X=h/W±/Z+pp \to t\bar{t}X, X = h/W^{\pm}/Z + jet, is computationally fast and not susceptible to negative weights. Therefore, it is a useful approach in ttˉX+t\bar{t}X+ jet studies where complete next-to-leading order results are currently unavailable or unwieldy.

preprint2022arXiv

Mirror Twin Higgs Cosmology: Constraints and a Possible Resolution to the H0H_0 and S8S_8 Tensions

The mirror twin Higgs model (MTH) is a solution to the Higgs hierarchy problem that provides well-predicted cosmological signatures with only three extra parameters: the temperature of the twin sector, the abundance of twin baryons, and the vacuum expectation value (VEV) of twin electroweak symmetry breaking. These parameters specify the behavior of twin radiation and the acoustic oscillations of twin baryons, which lead to testable effects on the cosmic microwave background (CMB) and large-scale structure (LSS). While collider searches can only probe the twin VEV, through a fit to cosmological data we show that the existing CMB (Planck18 TTTEEE+lowE+lowT+lensing) and LSS (KV450) data already provide useful constraints on the remaining MTH parameters. Additionally, we show that the presence of twin radiation in this model can raise the Hubble constant H0H_0 while the scattering twin baryons can reduce the matter fluctuations S8S_8, which helps to relax the observed H0H_0 and S8S_8 tensions simultaneously. This scenario is different from the typical ΛΛCDM + ΔNeffΔN_{\rm eff} model, in which extra radiation helps with the Hubble tension but worsens the S8S_8 tension. For instance, when including the SH0ES and Planck SZ data in the fit, we find that a universe with ≳20%\gtrsim 20\% of the dark matter comprised of twin baryons is preferred over ΛΛCDM by ∼4σ\sim4σ. If the twin sector is indeed responsible for resolving the H0H_0 and S8S_8 tensions, future measurements from the Euclid satellite and CMB Stage 4 experiment will further measure the twin parameters to O(1−10%)O(1-10\%)-level precision. Our study demonstrates how models with hidden naturalness can potentially be probed using precision cosmological data.

preprint2022arXiv

Resolving Combinatorial Ambiguities in Dilepton ttˉt \bar t Event Topologies with Neural Networks

We study the potential of deep learning to resolve the combinatorial problem in SUSY-like events with two invisible particles at the LHC. As a concrete example, we focus on dileptonic ttˉt \bar t events, where the combinatorial problem becomes an issue of binary classification: pairing the correct lepton with each bb quark coming from the decays of the tops. We investigate the performance of a number of machine learning algorithms, including attention-based networks, which have been used for a similar problem in the fully-hadronic channel of ttˉt\bar t production; and the Lorentz Boost Network, which is motivated by physics principles. We then consider the general case when the underlying mass spectrum is unknown, and hence no kinematic endpoint information is available. Compared against existing methods based on kinematic variables, we demonstrate that the efficiency for selecting the correct pairing is greatly improved by utilizing deep learning techniques.

preprint2021arXiv

Direct Higgs-top CP-phase measurement with ttˉht\bar{t}h at the 14 TeV LHC and 100 TeV FCC

The study of the Higgs boson's properties is a cornerstone of the LHC and future collider programs. In this paper, we examine the potential to directly probe the Higgs-top interaction strength and CP-structure in the ttˉht\bar t h channel with the Higgs boson decaying to bottom-quark pairs and top-quarks in the di-leptonic mode. We adopt the BDRS algorithm to tag the boosted Higgs and exploit the M2M_2-assisted reconstruction to compute observables sensitive to the CP-phase at the ttˉt\bar{t} rest frame, where the new physics sensitivity can be enhanced. Performing a side-band analysis at the LHC to control the continuum ttˉbbˉt\bar{t}b\bar{b} background, we find that the Higgs-top strength and CP-phase can be probed up to δκt≲20%δκ_t\lesssim 20\% and ∣α∣≲36∘| α| \lesssim 36^\circ at 95% CL, respectively. We also derive that a similar analysis at a 100 TeV future collider could further improve the precision to δκt≲1%δκ_t\lesssim 1\% and ∣α∣≲1.5∘| α| \lesssim 1.5^\circ, where the CP-odd observables play a crucial role, boosting the sensitivity on the CP-phase.

preprint2020arXiv

End-point resummation in squark decays

We study soft and collinear gluon emission in squark decays to quark--neutralino pair, at next-to-next-to-leading logarithmic (NNLL) accuracy in the end-point region, using Soft Collinear Effective Theory (SCET), and at next-to-leading (NLO) fixed order in the rest of the phase space. As a phenomenological case study we discuss the impact of radiative corrections on the simultaneous measurements of squark and neutralino masses at a linear e+e−e^{+}e^{-} collider based on s=3\sqrt{s} = 3 TeV Compact Linear Collider (CLIC). Since the majority of mass measurement techniques are based on edges in kinematic distributions, and these change appreciably when there is additional QCD radiation in the final state, the knowledge of higher-order QCD effects is required for precise mass determinations.

preprint2019arXiv

The motivation and status of two-body resonance decays after the LHC Run 2 and beyond

Searching for two-body resonance decays is a central component of the high energy physics energy frontier research program. While many of the possibilities are covered when the two bodies are Standard Model (SM) particles, there are still significant gaps. If one or both of the bodies are themselves non-SM particles, there is very little coverage from existing searches. We review the status of two-body searches and motivate the need to search for the missing combinations. It is likely that the search program of the future will be able to cover all possibilities with a combination of dedicated and model agnostic search approaches.

preprint2016arXiv

Probing Higgs self-interactions in proton-proton collisions at a center-of-mass energy of 100 TeV

We present a phenomenological study of triple-Higgs production in which we estimate the prospects for measuring the form of the Higgs potential at future circular collider projects. We analyze proton-proton collisions at a center-of-mass energy of 100 TeV and focus on two different signatures in which the final state is made of four b-jets and either a pair of photons or a pair of tau leptons. We study the resulting sensitivity on the Higgs cubic and quartic self-interactions and investigate how it depends on the b-tagging, tau-tagging and photon resolution performances of detectors that could be designed for these future machines. We then discuss possible luminosity goals for future 100 TeV collider projects that would allow for a measurement of the Higgs potential and its possible departures from the Standard Model expectation.

preprint2016arXiv

Probing TeV scale Top-Philic Resonances with Boosted Top-Tagging at the High Luminosity LHC

We investigate the discovery potential of singly produced top-philic resonances at the high luminosity (HL) LHC in the four-top final state. Our analysis spans over the fully-hadronic, semi-leptonic, and same-sign dilepton channels where we present concrete search strategies adequate to a boosted kinematic regime and high jet-multiplicity environments. We utilize the Template Overlap Method (TOM) with newly developed template observables for tagging boosted top quarks, a large-radius jet variable MJM_J and customized b-tagging tactics for background discrimination. Our results show that the same-sign dilepton channel gives the best sensitivity among the considered channels, with an improvement of significance up to 10%-20% when combined with boosted-top tagging. Both the fully-hadronic and semi-leptonic channels yield comparable discovery potential and contribute to further enhancements in the sensitivity by combining all channels. Finally, we show the sensitivity of a top-philic resonance at the LHC and HL-LHC by showing the 2σ2σ exclusion limit and 5σ5σ discovery reach, including a combination of all three channels.

preprint2015arXiv

Boosted Event Topologies from TeV Scale Light Quark Composite Partners

We propose a new search strategy for quark partners which decay into a boosted Higgs and a light quark. As an example, we consider phenomenologically viable right handed up-type quark partners of mass ∼1\sim 1 TeV in composite pseudo-Nambu-Goldstone-boson Higgs models within the context of flavorful naturalness. Our results show that S/B>1S/B > 1 and signal significance of ∼7σ\sim 7σ is achievable at s=14\sqrt{s} = 14 TeV LHC with 35 fb−1fb^{-1} of integrated luminosity, sufficient to claim discovery of a new particle. A combination of a multi-dimensional boosted Higgs tagging technique, kinematics of pair produced heavy objects and bb-tagging serves to efficiently diminish the large QCD backgrounds while maintaining adequate levels of signal efficiency. We present the analysis in the context of effective field theory, such that our results can be applied to any future search for pair produced vector-like quarks with decay modes to Higgs and a light jet.

preprint2015arXiv

Discovering Heavy New Physics in Boosted ZZ Channels: Z→l+l−Z \rightarrow l ^+l^- vs. Z→ννˉ Z \rightarrow ν\barν

We propose a strategy for new physics searches in channels which contain a boosted ZZ boson in the final state. Our proposal exploits the previously overlooked advantages of boosted Z→ννˉZ\rightarrow ν\barν topologies, where collimated neutrinos result in signals with large missing energy. We illustrate the advantage of this channel in a case study of singly produced TeV scale charge 2/3 fermionic top partners (T′T') which decay to t+Zt+Z. A comparison with the di-leptonic channel reveals that signals with missing energy offer superior probes of new physics at TeV scales, despite the large ttˉt\bar{t} backgrounds. The effect can be attributed to a factor of ∼3\sim 3 enhancement in the signal cross section, coming from the branching ratio of Z→ννˉZ\rightarrow ν\barν. We exploit the unique event topology of singly produced top partners to suppress the ttˉt\bar{t} background, as well as further improve on the existing proposals to detect T′T' in the boosted di-lepton channel. Our conclusions on advantages of Z→ννˉZ\rightarrow ν\barν can be extended to most physics searches which utilize a boosted ZZ boson in the final state.

preprint2015arXiv

Search Strategies for TeV Scale Fermionic Top Partners with Charge 2/3

Searches for fermionic top partners at the TeV scale will bring forward a new final state kinematic regime and event topologies, where Run I search strategies will inevitably fail. We propose concrete search strategies for singly produced charge 2/3 fermionic top partners (T′T') adequate for LHC Run II. Our analysis spans over all of the T′T' decay modes (i.e.i.e. tZtZ, thth and WbWb) where we present detailed discussion of the search performances, signal efficiencies and backgrounds rates. Our LHC Run II search proposals utilize signatures with large missing energy and leptons, as well as jet substructure observables for tagging of boosted heavy SM states, customized bb-tagging tactics and forward jet tagging. We analyze the prospects for discovery and exclusion of T′T' models within the framework of partially composite quarks at the LHC Run II. Our results show that the LHC Run II has good prospects for observing T′T' models which predict single production cross section of σT′∼70−140 (30−65)σ_{T'} \sim 70 -140 \, (30 -65) fb for MT′=1 (1.5)M_{T'} = 1\, (1.5)~TeV respectively with 100 fb−1^{-1} of integrated luminosity, depending on the branching ratios of the T′T'. Similarly, we find that cross sections of σT′∼27−60 (13−24)σ_{T'} \sim 27 -60\, (13 - 24) fb for MT′=1 (1.5)M_{T'} = 1\, (1.5) TeV respectively can be excluded with the same amount of data. Our results are minimally model dependent and can be applied to most T′T' models where ΓT′≪MT′Γ_{T'} \ll M_{T'}.

preprint2014arXiv

Constraints on composite quark partners from Higgs searches

In composite Higgs models, the generation of quark masses requires the standard model-like quarks to be partially or fully composite states which are accompanied by composite quark partners. The composite quark partners decay into a standard model-like quark and an electroweak gauge boson or Higgs boson, which can be searched for at the LHC. In this article, we study the phenomenological implications of composite quarks in the minimal composite Higgs model based on the coset SO(5)/SO(4)SO(5)/SO(4). We focus on light quark partners which are embedded in the SO(4)SO(4) singlet representation. In this case, a dominant decay mode of the partner quark is into a Higgs boson and a jet, for which no experimental bounds have been established so far. The presence of SO(4)SO(4) singlet partners leads to an enhancement of the di-Higgs production cross section at the LHC. This will be an interesting experimental signature in the near future, but, unfortunately, there are no direct bounds available yet from the experimental analyses. However, we find that the currently available standard model-like Higgs searches can be used in order to obtain the first constraints on partially and fully composite quark models with light quark partners in the SO(4)SO(4) singlet. We obtain a flavor- and composition parameter independent bound on the quark partner mass of $M_{U_h} > 310 \mbox{ GeV}$ for partially composite quark models and $M_{U_h} > 212 \mbox{ GeV}$ for fully composite quark models.

preprint2014arXiv

On Coupon Colorings of Graphs

Let GG be a graph with no isolated vertices. A {\em kk-coupon coloring} of GG is an assignment of colors from [k]:={1,2,…,k}[k] := \{1,2,\dots,k\} to the vertices of GG such that the neighborhood of every vertex of GG contains vertices of all colors from [k][k]. The maximum kk for which a kk-coupon coloring exists is called the {\em coupon coloring number} of GG, and is denoted χc(G)χ_{c}(G). In this paper, we prove that every dd-regular graph GG has χc(G)≥(1−o(1))d/log⁡dχ_{c}(G) \geq (1 - o(1))d/\log d as d→∞d \rightarrow \infty, and the proportion of dd-regular graphs GG for which χc(G)≤(1+o(1))d/log⁡dχ_c(G) \leq (1 + o(1))d/\log d tends to 11 as ∣V(G)∣→∞|V(G)| \rightarrow \infty.

preprint2014arXiv

Two Approaches to Sidorenko's Conjecture

Sidorenko's conjecture states that for every bipartite graph HH on {1,⋯ ,k}\{1,\cdots,k\}, ∫∏(i,j)∈E(H)h(xi,yj)dμ∣V(H)∣≥(∫h(x,y) dμ2)∣E(H)∣\int \prod_{(i,j)\in E(H)} h(x_i, y_j) dμ^{|V(H)|} \ge \left( \int h(x,y) \,dμ^2 \right)^{|E(H)|} holds, where μμ is the Lebesgue measure on [0,1][0,1] and hh is a bounded, non-negative, symmetric, measurable function on [0,1]2[0,1]^2. An equivalent discrete form of the conjecture is that the number of homomorphisms from a bipartite graph HH to a graph GG is asymptotically at least the expected number of homomorphisms from HH to the Erdős-Rényi random graph with the same expected edge density as GG. In this paper, we present two approaches to the conjecture. First, we introduce the notion of tree-arrangeability, where a bipartite graph HH with bipartition A∪BA \cup B is tree-arrangeable if neighborhoods of vertices in AA have a certain tree-like structure. We show that Sidorenko's conjecture holds for all tree-arrangeable bipartite graphs. In particular, this implies that Sidorenko's conjecture holds if there are two vertices a1,a2a_1, a_2 in AA such that each vertex a∈Aa \in A satisfies N(a)⊆N(a1)N(a) \subseteq N(a_1) or N(a)⊆N(a2)N(a) \subseteq N(a_2), and also implies a recent result of Conlon, Fox, and Sudakov \cite{CoFoSu}. Second, if TT is a tree and HH is a bipartite graph satisfying Sidorenko's conjecture, then it is shown that the Cartesian product T□HT \Box H of TT and HH also satisfies Sidorenko's conjecture. This result implies that, for all d≥2d \ge 2, the dd-dimensional grid with arbitrary side lengths satisfies Sidorenko's conjecture.

preprint2013arXiv

Universality of random graphs for graphs of maximum degree two

For a family F\mathcal{F} of graphs, a graph GG is called \emph{F\mathcal{F}-universal} if GG contains every graph in F\mathcal{F} as a subgraph. Let Fn(d)\mathcal{F}_n(d) be the family of all graphs on nn vertices with maximum degree at most dd. Dellamonica, Kohayakawa, Rödl and Ruciński showed that, for d≥3d\geq 3, the random graph G(n,p)G(n,p) is Fn(d)\mathcal{F}_n(d)-universal with high probability provided p≥C(log⁡nn)1/dp\geq C\big(\frac{\log n}{n}\big)^{1/d} for a sufficiently large constant C=C(d)C=C(d). In this paper we prove the missing part of the result, that is, the random graph G(n,p)G(n,p) is Fn(2)\mathcal{F}_n(2)-universal with high probability provided p≥C(log⁡nn)1/2p\geq C\big(\frac{\log n}{n}\big)^{1/2} for a sufficiently large constant CC.

preprint2012arXiv

A Sequential Algorithm for Generating Random Graphs

We present a nearly-linear time algorithm for counting and randomly generating simple graphs with a given degree sequence in a certain range. For degree sequence (di)i=1n(d_i)_{i=1}^n with maximum degree dmax⁡=O(m1/4−τ)d_{\max}=O(m^{1/4-τ}), our algorithm generates almost uniform random graphs with that degree sequence in time O(m dmax⁡)O(m\,d_{\max}) where $m=\f{1}{2}\sum_id_i$ is the number of edges in the graph and ττ is any positive constant. The fastest known algorithm for uniform generation of these graphs McKay Wormald (1990) has a running time of O(m2dmax⁡2)O(m^2d_{\max}^2). Our method also gives an independent proof of McKay's estimate McKay (1985) for the number of such graphs. We also use sequential importance sampling to derive fully Polynomial-time Randomized Approximation Schemes (FPRAS) for counting and uniformly generating random graphs for the same range of dmax⁡=O(m1/4−τ)d_{\max}=O(m^{1/4-τ}). Moreover, we show that for d=O(n1/2−τ)d = O(n^{1/2-τ}), our algorithm can generate an asymptotically uniform dd-regular graph. Our results improve the previous bound of d=O(n1/3−τ)d = O(n^{1/3-τ}) due to Kim and Vu (2004) for regular graphs.

preprint2012arXiv

Finding Weighted Graphs by Combinatorial Search

We consider the problem of finding edges of a hidden weighted graph using a certain type of queries. Let GG be a weighted graph with nn vertices. In the most general setting, the nn vertices are known and no other information about GG is given. The problem is finding all edges of GG and their weights using additive queries, where, for an additive query, one chooses a set of vertices and asks the sum of the weights of edges with both ends in the set. This model has been extensively used in bioinformatics including genom sequencing. Extending recent results of Bshouty and Mazzawi, and Choi and Kim, we present a polynomial time randomized algorithm to find the hidden weighted graph GG when the number of edges in GG is known to be at most m≥2m\geq 2 and the weight w(e)w(e) of each edge ee satisfies $\ga \leq |w(e)|\leq \gb$ for fixed constants $\ga, \gb>0$. The query complexity of the algorithm is O(mlog⁡nlog⁡m)O(\frac{m \log n}{\log m}), which is optimal up to a constant factor.

preprint2010arXiv

A Birthday Paradox for Markov chains with an optimal bound for collision in the Pollard Rho algorithm for discrete logarithm

We show a Birthday Paradox for self-intersections of Markov chains with uniform stationary distribution. As an application, we analyze Pollard's Rho algorithm for finding the discrete logarithm in a cyclic group GG and find that if the partition in the algorithm is given by a random oracle, then with high probability a collision occurs in Θ(∣G∣)Θ(\sqrt{|G|}) steps. Moreover, for the parallelized distinguished points algorithm on JJ processors we find that Θ(∣G∣/J)Θ(\sqrt{|G|}/J) steps suffices. These are the first proofs of the correct order bounds which do not assume that every step of the algorithm produces an i.i.d. sample from GG.

preprint2010arXiv

Diameters in supercritical random graphs via first passage percolation

We study the diameter of C1C_1, the largest component of the Erdős-Rényi random graph G(n,p)G(n,p) in the emerging supercritical phase, i.e., for p=1+εnp = \frac{1+ε}n where ε3n→∞ε^3 n \to \infty and ε=o(1)ε=o(1). This parameter was extensively studied for fixed ε>0ε> 0, yet results for ε=o(1)ε=o(1) outside the critical window were only obtained very recently. Prior to this work, Riordan and Wormald gave precise estimates on the diameter, however these did not cover the entire supercritical regime (namely, when ε3n→∞ε^3 n\to\infty arbitrarily slowly). Łuczak and Seierstad estimated its order throughout this regime, yet their upper and lower bounds differed by a factor of 1000/71000/7. We show that throughout the emerging supercritical phase, i.e. for any ε=o(1)ε=o(1) with ε3n→∞ε^3 n \to \infty, the diameter of C1C_1 is with high probability asymptotic to D(ε,n)=(3/ε)log⁡(ε3n)D(ε,n)=(3/ε)\log(ε^3 n). This constitutes the first proof of the asymptotics of the diameter valid throughout this phase. The proof relies on a recent structure result for the supercritical giant component, which reduces the problem of estimating distances between its vertices to the study of passage times in first-passage percolation. The main advantage of our method is its flexibility. It also implies that in the emerging supercritical phase the diameter of the 2-core of C1C_1 is w.h.p. asymptotic to (2/3)D(ε,n)(2/3)D(ε,n), and the maximal distance in C1C_1 between any pair of kernel vertices is w.h.p. asymptotic to (5/9)D(ε,n)(5/9)D(ε,n).

preprint2007arXiv

Near Optimal Bounds for Collision in Pollard Rho for Discrete Log

We analyze a fairly standard idealization of Pollard's Rho algorithm for finding the discrete logarithm in a cyclic group G. It is found that, with high probability, a collision occurs in O(∣G∣log⁡∣G∣log⁡log⁡∣G∣)O(\sqrt{|G|\log |G| \log \log |G|}) steps, not far from the widely conjectured value of Θ(∣G∣)Θ(\sqrt{|G|}). This improves upon a recent result of Miller--Venkatesan which showed an upper bound of O(∣G∣log⁡3∣G∣)O(\sqrt{|G|}\log^3 |G|). Our proof is based on analyzing an appropriate nonreversible, non-lazy random walk on a discrete cycle of (odd) length |G|, and showing that the mixing time of the corresponding walk is O(log⁡∣G∣log⁡log⁡∣G∣)O(\log |G| \log \log |G|).

preprint2001arXiv

The Scaling Window of the 2-SAT Transition

We consider the random 2-satisfiability problem, in which each instance is a formula that is the conjunction of m clauses of the form (x or y), chosen uniformly at random from among all 2-clauses on n Boolean variables and their negations. As m and n tend to infinity in the ratio m/n --> alpha, the problem is known to have a phase transition at alpha_c = 1, below which the probability that the formula is satisfiable tends to one and above which it tends to zero. We determine the finite-size scaling about this transition, namely the scaling of the maximal window W(n,delta) = (alpha_-(n,delta),alpha_+(n,delta)) such that the probability of satisfiability is greater than 1-delta for alpha < alpha_- and is less than delta for alpha > alpha_+. We show that W(n,delta)=(1-Theta(n^{-1/3}),1+Theta(n^{-1/3})), where the constants implicit in Theta depend on delta. We also determine the rates at which the probability of satisfiability approaches one and zero at the boundaries of the window. Namely, for m=(1+epsilon)n, where epsilon may depend on n as long as |epsilon| is sufficiently small and |epsilon|*n^(1/3) is sufficiently large, we show that the probability of satisfiability decays like exp(-Theta(n*epsilon^3)) above the window, and goes to one like 1-Theta(1/(n*|epsilon|^3)) below the window. We prove these results by defining an order parameter for the transition and establishing its scaling behavior in n both inside and outside the window. Using this order parameter, we prove that the 2-SAT phase transition is continuous with an order parameter critical exponent of 1. We also determine the values of two other critical exponents, showing that the exponents of 2-SAT are identical to those of the random graph.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.