Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results for wlog
Search options not deleted
8 votes
0 answers
667 views

What can I further assume about the speeds of runners of Lonely Runner Conjecture WLOG?

It is known that for $k+1$ runners, one can assume the following WLOG: $\gcd(v_1,...,v_k)=1$ $(k+1)|v_1$ $V$ is neither the set of arithmetic/geometric progression nor prime numbers. … Although it wasn't stated in any paper, it is trivially verifiable that one can also assume the following WLOG: $\forall r\in\mathbb{Z}$ s.t. $2\leq r\leq k+1$, $\exists v_i\in V$ s.t. $r|v_i$. …
Math.StackExchange's user avatar
1 vote
1 answer
86 views

Can upper bounds on totally monotone functions be taken (WLOG) to be themselves totally mono...

Consider the following: fix a function $\bar{b} : \mathbf{R}_+ \to [0, \infty]$, and define \begin{align} \mathcal{S} \left( \bar{b} \right) := \left\{ b : \mathbf{R}_+ \to [0, \infty] \, \text{s.t.} …
πr8's user avatar
  • 801
12 votes
4 answers
2k views

Elements of infinite order in a profinite group

A start for (A): we can ask the same question for the closure of the torsion subgroup of G (a subgroup since G is abelian), so WLOG we can assume the torsion subgroup is dense in G. …
Andrew Critch's user avatar
14 votes
3 answers
2k views

What is the minimal degree of a smooth projective embedding of a hyperelliptic curve?

For a hyperelliptic curve $C$ of genus $g$ (over an algebraically closed field of characteristic not two) what is the smallest $d$ for which $C$ can be embedded in some $\mathbb{P}^n$ (I guess $n=3$ wlog
Felipe Voloch's user avatar
1 vote
1 answer
497 views

For a bounded sequence in a hilbert space, does $\|u_n\|^2 u_n \to \|u_0\|^2u_0$ ?

As there is a weakly converging sub-sequence, we can WLOG assume that $\{\|u_n\|^2u_n\}$ converges weakly to $u_0\in H$. Is it right that $u_0=\|u\|^2u$ ? …
jiahua's user avatar
  • 11
0 votes
1 answer
140 views

Can sum of two (co)type $p$ subspaces fail to have the same (co)type?

Since having type/cotype is a local property I guess we can assume wlog that $Y$ and $Z$ are finite dimensional, so that we can get rid of the closure but even then I don't know how to proceed. …
J.D. Bright's user avatar
1 vote
2 answers
113 views

"Super" multinomial coefficients

(WLOG null-pad to have $m=n$ and sort descendingly.) It's natural to ask when the value is an integer. …
Hauke Reddmann's user avatar
13 votes
3 answers
683 views

Does every Frobenius algebra in a monoidal *-category give a Q-system?

In other words, wlog can one assume that the coproduct is the * of the product? …
Noah Snyder's user avatar
  • 28.1k
14 votes
1 answer
576 views

Is the complement of an affine open in an abelian variety ample?

So, wlog $D_1$ is not an elliptic curve. But then $D_1$ is ample (by Nakai-Moishezon). And this implies that $D_1 +\ldots +D_n$ is also ample. I couldn't figure it out for abelian threefolds. …
Sjoerd's user avatar
  • 233
1 vote
1 answer
88 views

Convergence of probability measures which (asymptotically) concentrate along a submanifold

Now, if $V$ has a unique global minimiser at (wlog) $V \left(\mathbf{0}\right) = 0$, one can usually argue that as $\beta \to \infty$, $P_\beta$ converges in law to a delta measure at $\mathbf{0}$, maybe … My situation is that $V$ takes its minimum value (again, wlog taken to be $0$) along a codimension-1 submanifold, i.e. along $$\mathcal{F} = \{ x \in (-1, 1)^d : V(x) = 0 \}.$$ Now, I would like to reason …
πr8's user avatar
  • 801
1 vote
1 answer
104 views

Is a $\sigma$-algebra generated by complete independent $\sigma$-algebras also complete?

WLOG, we assume $\mu (A_1)=0$. Because $(\Omega, \cA_1, \mu)$ is complete, $C \in \cA_1 \subset \cB$. Let's prove that $\Sigma$ is a $\lambda$-system. … WLOG, we assume $\mu (A_2) >0$. Then $\mu (A_2) = \mu (A_1) >0$. …
Akira's user avatar
  • 835
3 votes
2 answers
1k views

Maximum area of intersection between annulus and circle? [closed]

When I was trying to solve the problem I assumed WLOG, due to symmetry, that the center of $C_3$ is placed at some point along the x-axis $(d,0)$ and found $d$ to satisfy $2(R_3^2 + d^2) = R_1^2 + R_2 …
Mike's user avatar
  • 171
1 vote
1 answer
232 views

The equation $ax^2 +by^2 =1 \mod P$ in cyclotomic field

Update: for $P$ above $2$, (wlog) $ord_P(a) = 0$ and $ord_P(b)=1$ there is an algorithm that outputs a solution (Algorithm 6.2) …
Don Freecs's user avatar
3 votes
1 answer
218 views

Exchangeable normal distribution mixing measure

I have a zero mean multivariate normal probability distribution where WLOG each marginal variance is unity and all pairwise correlation coefficient are equal and positive. …
Cyan's user avatar
  • 55
1 vote
2 answers
50 views

Cyclic inequality for 2 dimensional simplex elements

\end{equation} Indeed, if at least two of the three numbers are equal, then the inequality holds (with equality) (thus we may assume wlog $p_{1}<p_{2}<p_{3}$). …
Tobsn's user avatar
  • 289

1
2 3 4 5
33
15 30 50 per page