# All Questions

4 views

### About irreducible representation of symmetric group [migrated]

Consider the tensor space $$\mathbb{C}^m\otimes \mathbb{C}^n\otimes\mathbb{C}^n\otimes\cdots\otimes\mathbb{C}^n$$ with $k$ factors. The symmetric group $S_k$ on $k$ letters acts on this space (on ...
39 views

### Arun Bhandari,Master of philosophy in applied mathematicsm, Kathmandu University ,Nepal [on hold]

Greetings from Arun Bhandari, I am doing research in Numerical methods for nonlinear differential equations. Currently, I am working on He's Variational Iteration Method for this I need following ...
24 views

### What would be the impact - to the foundation of First Order Logic - of a sentence whose truth value is impossible to verify or know?

Suppose there's a sentence F written in L(PA) that is undecidable in PA, and whose truth value is impossible to verify (know), then face value it seems both the formal systems T1 = PA + {F} and T2 = ...
6 views

### Avoiding the range of a bivariate function or Diophantine function

I have a bivariate integer function where x,y are positive integers in the function $f(x,y)=5+23x+7y+30xy$. The lattice points of this function, or its range, contain a large number of values. I'm ...
15 views

### Gauss Curvature Equation for hypersurface in Semi-Riemannian manifold

We have the Gauss curvature equation: $$\langle R(V,W)X,Y\rangle = \langle R'(V,W)X,Y\rangle - \langle II(V,X),II(W,Y)\rangle + \langle II(V,Y),II(W,X)\rangle$$ Here $M$ is an immersion in $N$. ...
40 views

### Is the locus of points which have irreducible fibers constructible?

Suppose $X \rightarrow Y$ is a map of projective schemes over a field $k$. Is $\{y \in Y: \pi^{-1}(y) \text{ is irreducible}\}$ a constructible subset of $Y$? Note: One cannot hope to do "better" ...
22 views

### Thomsen Blaschke condition

I am reading a paper (Paper 1: https://ideas.repec.org/p/cwl/cwldpp/76.html, that cites another paper ( Paper 2) for its proof. Paper 1, page 1, line 10 says : Consider the topological image G of a ...
18 views

### Brownian bridge on a Lie group as a stochastic differential equation

Brownian motion $g_t$ on a compact Lie group satisfies the stochastic differential equation $$dg_t = dB_t \circ g_t$$ where $B_t$ is Brownian motion on the Lie algebra and $\circ$ denotes ...
48 views

### Solving Shroedinger Equation for the electronic energies of the Molecular Ion Hydrogen H2+ in the Elliptic coordinate system

Electronic Energies of Molecular Ion Hydrogen $H_2^{+}$ $r_1$ is the distance between the proton $1$ and the electron. $r_2$ is the distance between the proton $2$ and the electron. $R$ is the ...
45 views

Let $Q$ be a quiver with finitely many edges and such that the underlying graph is connected. Let $I = \{1, \dots, n\}$ be the vertex set of $Q$, so we have $\mathbb{R}\{I\} \cong \mathbb{R}^n$. For ...
20 views

### Problem regarding sum of a recursive sequence

Problem of the recursive sum is as follows. Find the sum $$\sum_{r=1}^n U_r$$ where $$U_r = \frac{U_{r-1}M_r}{M_{r-1}(a+b M_r)}$$ and $$U_1 = \frac{M_1}{a+b M_1} , \ \ \sum_{r=1}^{n} M_r = 1.$$ Here ...
13 views

### A Statement from Brauer and Nohel's book on stability of time-depending linear systems

On page 158 (The qualitative theory of differential equations; an introduction) the authors cite a 2x2 couterexample by Vinograd to the system y'=A(t)y where A(t)= \begin{matrix} -1 -9 cos^2 6t + 12 ...
123 views

### Covering space theory, category theory

Requiring covering spaces of a well-behaved connected topological space $X$ to be connected, let $\mathcal{Cov}(X)$ be the category of covering spaces of $X$ and maps over $X$ and maps over $X$. Can ...
27 views

### Jordan-Hölder-like statements for modules with $\Delta$-filtrations over a quasihereditary algebra

Definitions Let $A$ be an Artin algebra (for instance, take $A$ to be a finite dimensional algebra over some field) and label the isomorphism classes of simple $A$-modules by the elements of a ...
87 views

### Complete regularity in C*-algebras

It is clear that commutative C*-algebras correspond to locally compact Hausdorff spaces. And locally compact Hausdorff spaces are completely regular. Now, does the complete regularity statement have ...
19 views

### How to compute the direction of flattest ascent for a convex function

Consider an infinitely differentiable convex function $f:\mathbb{R}^n\rightarrow\mathbb{R}$ at the point $x_0$. So long as $x_0$ is not the minimum, it is well known that we can compute a unit vector ...
19 views

### graph reconstruction via canonical labeling [on hold]

Graph edge deleted reconstruction: Given an edge deleted deck find the canonical lexicographically ordered largest representation for each card. Find the card with largest canonical label this is the ...
43 views

### Probability of having no cycles of fixed length in $d$-regular graphs

According to this paper, the probability that a random $d$-regular graph of order $n$ has no cycles of length $c_1,c_2,\ldots,c_t$ is $$P=\exp\left(-\sum_{i=1}^t\mu_i+o(1)\right)$$ as ...
58 views

### Why does optimization of a sum of two terms result in “neat” answers? [on hold]

This is a somewhat vague and philosophical question. Consider the following three problems: Problem 1: Minimize over all real-valued $x,$ the function $f(x) = bx-ax^2$ where $a,b>0.$ ...
23 views

### How much larger than the relaxation time can the mixing time be?

The notation is mostly taken from the book "Markov chains and mixing times" by Levin, Peres, and Wilmer. Consider an irreducible, aperiodic, time-reversible, discrete-time Markov chain on a finite ...
253 views

47 views

### A question regarding the relation between Freiling's Axiom of Symmetry and real-valued measurable cardnals

A major argument against Freiling's Axiom of Symmetry is the following (this from the wikipedia article of the same name): "The naive probabalistic notion used by Freiling tacitly assumes that there ...
26 views

### Homogeneous regular manifolds

In order to solve the well-known Plateau-Problem on a general (non-compact) Riemannian 3-manifold, Morrey first introduced the condition of homogeneous regularity and defined it in the following way: ...
43 views

### Parseval frame, convergence of $\sum_{k=0}^\infty \left\|g_k\right\|$

Let $\mu$ be a Borel probability measure on $[0, 1)$, and $\{g_k\}_{k=0}^\infty$ be a Parseval frame for $L^2(\mu)$. Does $$\sum_{k=0}^\infty \left\|g_k\right\|$$ converges?
40 views

67 views

### Dynamics of the distribution of prime factorization types in increasing intervals

I've tagged this as reference request as surely this question must be very well investigated, I just don't know how to look for it. Most likely the perfect answer will be in form of a keyword for ...
80 views

### almost complex embedding of $S^2$ and $S^6$ into $\mathbb{C}^N$ [migrated]

In Which Spheres are Complex Manifolds? , I find that $S^2=\mathbb{C}P^1$ is a complex manifold and $S^6$ is an almost complex manifold. Are there references about: What is the smallest integer $N$ ...