Через дефис с предшествующим словом пишется частица -то, подчеркивающая, выделяющая слово, к которому относится. Правильно: а книгу-то ты прочитала? В остальных случаях (при употреблении в качестве местоимения, союза) то пишется без дефиса.

"Справка" не выполняет домашних заданий.

Спасибо за вопросы!

Вы указываете на одно из самых трудных и противоречивых мест в русском правописании. Сперва о кавычках. Принципиальной разницы между сочетаниями профессия "сварщик" и специальность "математика" нет, такие сочетания желательно писать единообразно. (Впрочем, все же есть одно различие: можно составить грамматически корректное согласованное сочетание профессия сварщика и нельзя составить согласованное сочетание специальность математики; это уже трудность в области грамматики, а не в области орформления текста, хотя последнее проистекает из первого).

А как единообразно - давайте исходить из складывающейся практики письма. Если приложение - изменяемое, склоняемое слово, то в случае падежного рассогласования и возникают кавычки, которые выступают именно как графический знак рассогласования. Поэтому на практике возникают такие сочетания, как по специальности "математика", по профессии "сварщик" и т. п. Сочетания же стиль + люкс, ретро, поп, ампир, барокко и другие - это сочетания с неизменяемыми приложениями, для того чтобы дополнительно отметить эту неизменяемость, кавычки не нужны.

Это полярные случаи. Названные же Вами примеры - промежуточные между двумя полюсами, поэтому в них и наблюдается оформительский разнобой.

Теперь о запятых. Корень проблемы - в том, что считать главным, а что зависимым словом в словосочетании, ведь словосочетание подразумевает подчинительную связь между своими частями, между входящими в него словами. Таким образом проблема вновь выходит из чисто пунктуационных рамок и передвигается в сферу грамматики, то есть устройства текста, его структуры, логических отношений между словами. А эти логические отношения выстраиваются автором текста, автором мысли, сообщения. И поэтому конечное решение - при выборе одного из возможных (подчеркнем: возможных, т. е. логически непротиворечивых) вариантов - за автором текста.

Существует следующее орфографическое правило: 

 При выборе написания о  или а  в безударных глагольных корнях не следует использовать для проверки глаголы несовершенного вида с суффиксом −ыва (−ива). Например, для проверки безударной гласной в корнях глаголов броса́ть, топта́ть, смотре́ть, молча́ть следует привлекать такие слова и формы, как бро́сить, перебро́ска, разбро́с, то́пчет, смо́трит, смо́тр, мо́лча, умо́лкнуть, но не глаголы типа набрасывать, вытаптывать, рассматривать, умалчивать, для которых характерно чередование гласных о – а (ср. зарабо́тать – зараба́тывать, усво́ить – усва́ивать и т. п.).

В правилах говорится, что «в начале предложения не разделяются запятой сочинительный и подчинительный союзы, а также подчинительный союз и союзное слово». В данном случае в начале предложения стоят два подчинительных союза, поэтому запятая между ними нужна.

Речь идет о другом правиле, см. § 26 (конец третьего абзаца).

Сочетания типа по теореме X являются скорее обстоятельством причины (≈ «поскольку такова теорема Х»), нежели ссылкой на источник информации; теорема может быть приведена в разных источниках, созданных разными авторами. Конструкции вроде по словам учёных или по расчётам кого-то заключают в себе субъективность, то есть высказывание основано на мнении, данных или расчётах, которые могут быть подвержены изменению интерпретации или оценке. Такая субъективность характерна для вводных конструкций. 

При этом сочетания типа по теореме Х могут быть выделены запятыми, как и любые другие обстоятельства, для попутного пояснения или смыслового выделения.