12,293 research outputs found
On monotone circuits with local oracles and clique lower bounds
We investigate monotone circuits with local oracles [K., 2016], i.e.,
circuits containing additional inputs that can perform
unstructured computations on the input string . Let be
the locality of the circuit, a parameter that bounds the combined strength of
the oracle functions , and
be the set of -cliques and the set of complete -partite graphs,
respectively (similarly to [Razborov, 1985]). Our results can be informally
stated as follows.
1. For an appropriate extension of depth- monotone circuits with local
oracles, we show that the size of the smallest circuits separating
(triangles) and (complete bipartite graphs) undergoes two phase
transitions according to .
2. For , arbitrary depth, and , we
prove that the monotone circuit size complexity of separating the sets
and is , under a certain restrictive
assumption on the local oracle gates.
The second result, which concerns monotone circuits with restricted oracles,
extends and provides a matching upper bound for the exponential lower bounds on
the monotone circuit size complexity of -clique obtained by Alon and Boppana
(1987).Comment: Updated acknowledgements and funding informatio
Hitchhiking Through the Cytoplasm
We propose an alternative mechanism for intracellular cargo transport which
results from motor induced longitudinal fluctuations of cytoskeletal
microtubules (MT). The longitudinal fluctuations combined with transient cargo
binding to the MTs lead to long range transport even for cargos and vesicles
having no molecular motors on them. The proposed transport mechanism, which we
call ``hitchhiking'', provides a consistent explanation for the broadly
observed yet still mysterious phenomenon of bidirectional transport along MTs.
We show that cells exploiting the hitchhiking mechanism can effectively up- and
down-regulate the transport of different vesicles by tuning their binding
kinetics to characteristic MT oscillation frequencies
Consistency of circuit lower bounds with bounded theories
Proving that there are problems in that require
boolean circuits of super-linear size is a major frontier in complexity theory.
While such lower bounds are known for larger complexity classes, existing
results only show that the corresponding problems are hard on infinitely many
input lengths. For instance, proving almost-everywhere circuit lower bounds is
open even for problems in . Giving the notorious difficulty of
proving lower bounds that hold for all large input lengths, we ask the
following question: Can we show that a large set of techniques cannot prove
that is easy infinitely often? Motivated by this and related
questions about the interaction between mathematical proofs and computations,
we investigate circuit complexity from the perspective of logic.
Among other results, we prove that for any parameter it is
consistent with theory that computational class , where is one of
the pairs: and , and , and
. In other words, these theories cannot establish
infinitely often circuit upper bounds for the corresponding problems. This is
of interest because the weaker theory already formalizes
sophisticated arguments, such as a proof of the PCP Theorem. These consistency
statements are unconditional and improve on earlier theorems of [KO17] and
[BM18] on the consistency of lower bounds with
Beyond basis invariants
Physical observables cannot depend on the basis one chooses to describe
fields. Therefore, all physically relevant properties of a model are, in
principle, expressible in terms of basis-invariant combinations of the
parameters. However, in many cases it becomes prohibitively difficult to
establish key physical features exclusively in terms of basis invariants. Here,
we advocate an alternative route in such cases: the formulation of
basis-invariant statements in terms of basis-covariant objects. We give several
examples where the basis-covariant path is superior to the traditional approach
in terms of basis invariants. In particular, this includes the formulation of
necessary and sufficient basis-invariant conditions for various physically
distinct forms of CP conservation in two- and three-Higgs-doublet models.Comment: 20 pages, no figure
- …